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

<record version="5" id="2238">
 <title>rank-nullity theorem</title>
 <name>RankNullityTheorem</name>
 <created>2002-02-19 18:56:16</created>
 <modified>2002-02-22 10:58:33</modified>
 <type>Theorem</type>
 <creator id="146" name="rmilson"/>
 <author id="146" name="rmilson"/>
 <classification>
	<category scheme="msc" code="15A03"/>
	<category scheme="msc" code="15A06"/>
 </classification>
 <related>
	<object name="Overdetermined"/>
	<object name="Underdetermined"/>
	<object name="RankLinearMapping"/>
	<object name="Nullity"/>
	<object name="UnderDetermined"/>
	<object name="FiniteDimensionalLinearProblem"/>
 </related>
 <preamble>\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}

\newcommand{\reals}{\mathbb{R}}
\newcommand{\natnums}{\mathbb{N}}
\newcommand{\cnums}{\mathbb{C}}

\newcommand{\lp}{\left(}
\newcommand{\rp}{\right)}
\newcommand{\lb}{\left[}
\newcommand{\rb}{\right]}

\newcommand{\supth}{^{\text{th}}}


\newtheorem{proposition}{Proposition}</preamble>
 <content>The sum of the rank and the nullity of a linear mapping gives
the dimension of the mapping's domain. More precisely, let
$T:V\rightarrow W$ be a linear mapping. If $V$ is a
finite-dimensional, then
$$\dim V = \dim \mathop{\mathrm{Ker}} T + \dim \mathop{\mathrm{Img}}
T.$$

The intuitive content of the Rank-Nullity theorem is the principle that
\begin{quote}\em
  Every independent linear constraint takes away one degree of freedom.
\end{quote}
The rank is just the number of independent linear constraints on $v\in
V$ imposed
by the equation
$$T(v)=0.$$
The dimension of $V$ is the number of unconstrained degrees of freedom.
The nullity is the degrees of freedom in the resulting space of
solutions.
To put it yet another way:
\begin{quote} \em
  The number of variables {\bf minus} the number of independent linear
  constraints {\bf equals} 
 the number of linearly independent solutions.
\end{quote}</content>
</record>
