<?xml version="1.0" encoding="UTF-8"?>

<record version="10" id="2236">
 <title>rank of a linear mapping</title>
 <name>RankLinearMapping</name>
 <created>2002-02-19 18:49:58</created>
 <modified>2007-01-18 05:06:54</modified>
 <type>Definition</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <author id="146" name="rmilson"/>
 <author id="1858" name="matte"/>
 <classification>
	<category scheme="msc" code="15A03"/>
 </classification>
 <synonyms>
	<synonym concept="rank of a linear mapping" alias="rank"/>
 </synonyms>
 <related>
	<object name="Nullity"/>
	<object name="RankNullityTheorem2"/>
 </related>
 <preamble>\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}

\newcommand{\rank}{\operatorname{rank}}</preamble>
 <content>The \emph{rank} of a linear mapping $L\colon U\to V$ is defined to be
the $\dim L(U)$, the dimension of the mapping's image.  Speaking less
formally, the rank gives the number of independent linear constraints
on $u\in U$ imposed by the equation
\[ L(u)=0. \]

\subsubsection*{Properties}
\begin{enumerate}
\item If $V$ is finite-dimensional, then $\rank L=\dim V$ if and only
  if $L$ is surjective.
\item If $U$ is finite-dimensional, then $\rank L=\dim U$ if and only
  if $L$ is injective.
\item Composition of linear mappings does not increase rank.  If
  $M\colon V\to W$ is another linear mapping, then \[\rank ML \le
  \rank L\] and
  \[\rank ML \le \rank M.\] Equality holds in the first case if
  and only if $M$ is an isomorphism, and in the second case if and
  only if $L$ is an isomorphism.
\end{enumerate}</content>
</record>
