Articulo de referencia

Rank–nullity theorem

Rank–nullity theorem The rank–nullity theorem is a theorem in linear algebra , which asserts: the number of columns of a matrix M is the sum of the rank of M and the nullity of ...

Rank–nullity theorem

The rank–nullity theorem is a theorem in linear algebra, which asserts:

It follows that for linear transformations of vector spaces of equal finite dimension, either injectivity or surjectivity implies bijectivity.

Stating the theorem

Linear transformations

Let T:VW{\displaystyle T:V\to W} be a linear transformation between two vector spaces where T{\displaystyle T}'s domain V{\displaystyle V} is finite dimensional. Then rank(T) + nullity(T) = dimV,{\displaystyle \operatorname {rank} (T)~+~\operatorname {nullity} (T)~=~\dim V,} where rank(T){\textstyle \operatorname {rank} (T)} is the rank of T{\displaystyle T} (the dimension of its image) and nullity(T){\displaystyle \operatorname {nullity} (T)} is the nullity of T{\displaystyle T} (the dimension of its kernel). In other words, dim(ImT)+dim(KerT)=dim(Domain(T)).{\displaystyle \dim(\operatorname {Im} T)+\dim(\operatorname {Ker} T)=\dim(\operatorname {Domain} (T)).} This theorem can be refined via the splitting lemma to be a statement about an isomorphism of spaces, not just dimensions. Explicitly, since T{\displaystyle T} induces an isomorphism from V/Ker(T){\displaystyle V/\operatorname {Ker} (T)} to Im(T),{\displaystyle \operatorname {Im} (T),} the existence of a basis for V{\displaystyle V} that extends any given basis of Ker(T){\displaystyle \operatorname {Ker} (T)} implies, via the splitting lemma, that Im(T)Ker(T)V.{\displaystyle \operatorname {Im} (T)\oplus \operatorname {Ker} (T)\cong V.} Taking dimensions, the rank–nullity theorem follows.

Matrices

Linear maps can be represented with matrices. More precisely, an m×n{\displaystyle m\times n} matrix M represents a linear map f:FnFm,{\displaystyle f:F^{n}\to F^{m},} where F{\displaystyle F} is the underlying field.[5] So, the dimension of the domain of f{\displaystyle f} is n, the number of columns of M, and the rank–nullity theorem for an m×n{\displaystyle m\times n} matrix M is rank(M)+nullity(M)=n.{\displaystyle \operatorname {rank} (M)+\operatorname {nullity} (M)=n.}

Proofs

Here we provide two proofs. The first[2] operates in the general case, using linear maps. The second proof[6] looks at the homogeneous system Ax=0,{\displaystyle \mathbf {Ax} =\mathbf {0} ,} where A{\displaystyle \mathbf {A} } is a m×n{\displaystyle m\times n} with rankr,{\displaystyle r,} and shows explicitly that there exists a set of nr{\displaystyle n-r}linearly independent solutions that span the null space of A{\displaystyle \mathbf {A} }.

While the theorem requires that the domain of the linear map be finite-dimensional, there is no such assumption on the codomain. This means that there are linear maps not given by matrices for which the theorem applies. Despite this, the first proof is not actually more general than the second: since the image of the linear map is finite-dimensional, we can represent the map from its domain to its image by a matrix, prove the theorem for that matrix, then compose with the inclusion of the image into the full codomain.

First proof

Let V,W{\displaystyle V,W} be vector spaces over some field F,{\displaystyle F,} and T{\displaystyle T} defined as in the statement of the theorem with dimV=n{\displaystyle \dim V=n}.

As KerTV{\displaystyle \operatorname {Ker} T\subset V} is a subspace, there exists a basis for it. Suppose dimKerT=k{\displaystyle \dim \operatorname {Ker} T=k} and let K:={v1,,vk}Ker(T){\displaystyle {\mathcal {K}}:=\{v_{1},\ldots ,v_{k}\}\subset \operatorname {Ker} (T)} be such a basis.

By the Steinitz exchange lemma, there is a linearly independent set S={w1,,wnk}{\displaystyle {\mathcal {S}}=\{w_{1},\ldots ,w_{n-k}\}} of nk{\displaystyle n-k} vectors such that the union B=KS={v1,,vk,w1,,wnk}{\displaystyle {\mathcal {B}}={\mathcal {K}}\cup {\mathcal {S}}=\{v_{1},\ldots ,v_{k},w_{1},\ldots ,w_{n-k}\}} is a basis of V{\displaystyle V}. From this, it follows ImT=SpanT(B)=Span{T(v1),,T(vk),T(w1),,T(wnk)}=Span{T(w1),,T(wnk)}=SpanT(S).{\displaystyle {\begin{aligned}\operatorname {Im} T&=\operatorname {Span} T({\mathcal {B}})=\operatorname {Span} \{T(v_{1}),\ldots ,T(v_{k}),T(w_{1}),\ldots ,T(w_{n-k})\}\\&=\operatorname {Span} \{T(w_{1}),\ldots ,T(w_{n-k})\}=\operatorname {Span} T({\mathcal {S}}).\end{aligned}}} We now claim that T(S){\displaystyle T({\mathcal {S}})} is a basis for ImT{\displaystyle \operatorname {Im} T}. The above equality already states that T(S){\displaystyle T({\mathcal {S}})} is a generating set for ImT{\displaystyle \operatorname {Im} T}; it remains to be shown that it is also linearly independent to conclude that it is a basis.

To this end, consider a linear combination j=1nkαjT(wj)=0W{\displaystyle \sum _{j=1}^{n-k}\alpha _{j}T(w_{j})=0_{W}} for some αjF{\displaystyle \alpha _{j}\in F}. We must show that all the coefficients αj{\displaystyle \alpha _{j}} are equal to 0{\displaystyle 0}. Owing to the linearity of T{\displaystyle T}, it follows that T(j=1nkαjwj)=0W,{\displaystyle T\left(\sum _{j=1}^{n-k}\alpha _{j}w_{j}\right)=0_{W},} and therefore that (j=1nkαjwj)KerT=SpanK.{\displaystyle \left(\sum _{j=1}^{n-k}\alpha _{j}w_{j}\right)\in \operatorname {Ker} T=\operatorname {Span} {\mathcal {K}}.} Therefore, there are coefficents β1,,βk{\displaystyle \beta _{1},\ldots ,\beta _{k}} such that j=1nkαjwj=i=1kβivi{\displaystyle \sum _{j=1}^{n-k}\alpha _{j}w_{j}=\sum _{i=1}^{k}\beta _{i}v_{i}}, and so that j=1nkαjwji=1kβivi=0V{\displaystyle \sum _{j=1}^{n-k}\alpha _{j}w_{j}-\sum _{i=1}^{k}\beta _{i}v_{i}=0_{V}}. This last relation expresses 0V{\displaystyle 0_{V}} as a linear combination of the basis B{\displaystyle {\mathcal {B}}}; since B{\displaystyle {\mathcal {B}}} is a basis, all the coefficients αj{\displaystyle \alpha _{j}} are equal to zero. This shows that T(S){\displaystyle T({\mathcal {S}})} is linearly independent, and more specifically that it is a basis for ImT{\displaystyle \operatorname {Im} T}.

To summarize, we have K{\displaystyle {\mathcal {K}}}, a basis for KerT{\displaystyle \operatorname {Ker} T}, and T(S){\displaystyle T({\mathcal {S}})}, a basis for ImT{\displaystyle \operatorname {Im} T}.

Finally we may state that Rank(T)+Nullity(T)=dimImT+dimKerT{\displaystyle \operatorname {Rank} (T)+\operatorname {Nullity} (T)=\dim \operatorname {Im} T+\dim \operatorname {Ker} T}

=|T(S)|+|K|=(nk)+k=n=dimV.{\displaystyle =|T({\mathcal {S}})|+|{\mathcal {K}}|=(n-k)+k=n=\dim V.}

This concludes our proof.

Second proof

Let A{\displaystyle \mathbf {A} } be an m×n{\displaystyle m\times n} matrix with r{\displaystyle r}linearly independent columns (i.e. Rank(A)=r{\displaystyle \operatorname {Rank} (\mathbf {A} )=r}). We will show that:

  1. There exists a set of nr{\displaystyle n-r} linearly independent solutions to the homogeneous system Ax=0{\displaystyle \mathbf {Ax} =\mathbf {0} }.
  2. That every other solution is a linear combination of these nr{\displaystyle n-r} solutions.

To do this, we will produce an n×(nr){\displaystyle n\times (n-r)} matrix X{\displaystyle \mathbf {X} } whose columns form a basis of the null space of A{\displaystyle \mathbf {A} }.

Without loss of generality, assume that the first r{\displaystyle r} columns of A{\displaystyle \mathbf {A} } are linearly independent. So, we can write A=(A1A2),{\displaystyle \mathbf {A} ={\begin{pmatrix}\mathbf {A} _{1}&\mathbf {A} _{2}\end{pmatrix}},} where

  • A1{\displaystyle \mathbf {A} _{1}} is an m×r{\displaystyle m\times r} matrix with r{\displaystyle r} linearly independent column vectors, and
  • A2{\displaystyle \mathbf {A} _{2}} is an m×(nr){\displaystyle m\times (n-r)} matrix such that each of its nr{\displaystyle n-r} columns is linear combinations of the columns of A1{\displaystyle \mathbf {A} _{1}}.

This means that A2=A1B{\displaystyle \mathbf {A} _{2}=\mathbf {A} _{1}\mathbf {B} } for some r×(nr){\displaystyle r\times (n-r)} matrix B{\displaystyle \mathbf {B} } (see rank factorization) and, hence, A=(A1A1B).{\displaystyle \mathbf {A} ={\begin{pmatrix}\mathbf {A} _{1}&\mathbf {A} _{1}\mathbf {B} \end{pmatrix}}.}

Let X=(BInr),{\displaystyle \mathbf {X} ={\begin{pmatrix}-\mathbf {B} \\\mathbf {I} _{n-r}\end{pmatrix}},} where Inr{\displaystyle \mathbf {I} _{n-r}} is the (nr)×(nr){\displaystyle (n-r)\times (n-r)}identity matrix. So, X{\displaystyle \mathbf {X} } is an n×(nr){\displaystyle n\times (n-r)} matrix such that AX=(A1A1B)(BInr)=A1B+A1B=0m×(nr).{\displaystyle \mathbf {A} \mathbf {X} ={\begin{pmatrix}\mathbf {A} _{1}&\mathbf {A} _{1}\mathbf {B} \end{pmatrix}}{\begin{pmatrix}-\mathbf {B} \\\mathbf {I} _{n-r}\end{pmatrix}}=-\mathbf {A} _{1}\mathbf {B} +\mathbf {A} _{1}\mathbf {B} =\mathbf {0} _{m\times (n-r)}.}

Therefore, each of the nr{\displaystyle n-r} columns of X{\displaystyle \mathbf {X} } are particular solutions of Ax=0Fm{\displaystyle \mathbf {Ax} ={0}_{{F}^{m}}}.

Furthermore, the nr{\displaystyle n-r} columns of X{\displaystyle \mathbf {X} } are linearly independent because Xu=0Fn{\displaystyle \mathbf {Xu} =\mathbf {0} _{{F}^{n}}} will imply u=0Fnr{\displaystyle \mathbf {u} =\mathbf {0} _{{F}^{n-r}}} for uFnr{\displaystyle \mathbf {u} \in {F}^{n-r}}: Xu=0Fn(BInr)u=0Fn(Buu)=(0Fr0Fnr)u=0Fnr.{\displaystyle \mathbf {X} \mathbf {u} =\mathbf {0} _{{F}^{n}}\implies {\begin{pmatrix}-\mathbf {B} \\\mathbf {I} _{n-r}\end{pmatrix}}\mathbf {u} =\mathbf {0} _{{F}^{n}}\implies {\begin{pmatrix}-\mathbf {B} \mathbf {u} \\\mathbf {u} \end{pmatrix}}={\begin{pmatrix}\mathbf {0} _{{F}^{r}}\\\mathbf {0} _{{F}^{n-r}}\end{pmatrix}}\implies \mathbf {u} =\mathbf {0} _{{F}^{n-r}}.} Therefore, the column vectors of X{\displaystyle \mathbf {X} } constitute a set of nr{\displaystyle n-r} linearly independent solutions for Ax=0Fm{\displaystyle \mathbf {Ax} =\mathbf {0} _{\mathbb {F} ^{m}}}.

We next prove that any solution of Ax=0Fm{\displaystyle \mathbf {Ax} =\mathbf {0} _{{F}^{m}}} must be a linear combination of the columns of X{\displaystyle \mathbf {X} }.

For this, let u=(u1u2)Fn{\displaystyle \mathbf {u} ={\begin{pmatrix}\mathbf {u} _{1}\\\mathbf {u} _{2}\end{pmatrix}}\in {F}^{n}}

be any vector such that Au=0Fm{\displaystyle \mathbf {Au} =\mathbf {0} _{{F}^{m}}}. Since the columns of A1{\displaystyle \mathbf {A} _{1}} are linearly independent, A1x=0Fm{\displaystyle \mathbf {A} _{1}\mathbf {x} =\mathbf {0} _{{F}^{m}}} implies x=0Fr{\displaystyle \mathbf {x} =\mathbf {0} _{{F}^{r}}}.

Therefore, Au=0Fm(A1A1B)(u1u2)=A1u1+A1Bu2=A1(u1+Bu2)=0Fmu1+Bu2=0Fru1=Bu2{\displaystyle {\begin{array}{rcl}\mathbf {A} \mathbf {u} &=&\mathbf {0} _{{F}^{m}}\\\implies {\begin{pmatrix}\mathbf {A} _{1}&\mathbf {A} _{1}\mathbf {B} \end{pmatrix}}{\begin{pmatrix}\mathbf {u} _{1}\\\mathbf {u} _{2}\end{pmatrix}}&=&\mathbf {A} _{1}\mathbf {u} _{1}+\mathbf {A} _{1}\mathbf {B} \mathbf {u} _{2}&=&\mathbf {A} _{1}(\mathbf {u} _{1}+\mathbf {B} \mathbf {u} _{2})&=&\mathbf {0} _{\mathbb {F} ^{m}}\\\implies \mathbf {u} _{1}+\mathbf {B} \mathbf {u} _{2}&=&\mathbf {0} _{{F}^{r}}\\\implies \mathbf {u} _{1}&=&-\mathbf {B} \mathbf {u} _{2}\end{array}}}u=(u1u2)=(BInr)u2=Xu2.{\displaystyle \implies \mathbf {u} ={\begin{pmatrix}\mathbf {u} _{1}\\\mathbf {u} _{2}\end{pmatrix}}={\begin{pmatrix}-\mathbf {B} \\\mathbf {I} _{n-r}\end{pmatrix}}\mathbf {u} _{2}=\mathbf {X} \mathbf {u} _{2}.}

This proves that any vector u{\displaystyle \mathbf {u} } that is a solution of Ax=0{\displaystyle \mathbf {Ax} =\mathbf {0} } must be a linear combination of the nr{\displaystyle n-r} special solutions given by the columns of X{\displaystyle \mathbf {X} }. And we have already seen that the columns of X{\displaystyle \mathbf {X} } are linearly independent. Hence, the columns of X{\displaystyle \mathbf {X} } constitute a basis for the null space of A{\displaystyle \mathbf {A} }. Therefore, the nullity of A{\displaystyle \mathbf {A} } is nr{\displaystyle n-r}. Since r{\displaystyle r} equals rank of A{\displaystyle \mathbf {A} }, it follows that Rank(A)+Nullity(A)=n{\displaystyle \operatorname {Rank} (\mathbf {A} )+\operatorname {Nullity} (\mathbf {A} )=n}. This concludes our proof.

A third fundamental subspace

When T:VW{\displaystyle T:V\to W} is a linear transformation between two finite-dimensional subspaces, with n=dim(V){\displaystyle n=\dim(V)} and m=dim(W){\displaystyle m=\dim(W)} (so can be represented by an m×n{\displaystyle m\times n} matrix M{\displaystyle M}), the rank–nullity theorem asserts that if T{\displaystyle T} has rank r{\displaystyle r}, then nr{\displaystyle n-r} is the dimension of the null space of M{\displaystyle M}, which represents the kernel of T{\displaystyle T}. In some texts, a third fundamental subspace associated to T{\displaystyle T} is considered alongside its image and kernel: the cokernel of T{\displaystyle T} is the quotient spaceW/Im(T){\displaystyle W/\operatorname {Im} (T)}, and its dimension is mr{\displaystyle m-r}. This dimension formula (which might also be rendered dimIm(T)+dimCoker(T)=dim(W){\displaystyle \dim \operatorname {Im} (T)+\dim \operatorname {Coker} (T)=\dim(W)}) together with the rank–nullity theorem is sometimes called the fundamental theorem of linear algebra.[7][8]

Reformulations and generalizations

This theorem is a statement of the first isomorphism theorem of algebra for the case of vector spaces; it generalizes to the splitting lemma.

In more modern language, the theorem can also be phrased as saying that each short exact sequence of vector spaces splits. Explicitly, given that 0UVTR0{\displaystyle 0\rightarrow U\rightarrow V\mathbin {\overset {T}{\rightarrow }} R\rightarrow 0} is a short exact sequence of vector spaces, then URV{\displaystyle U\oplus R\cong V}, hence dim(U)+dim(R)=dim(V).{\displaystyle \dim(U)+\dim(R)=\dim(V).} Here R{\displaystyle R} plays the role of ImT{\displaystyle \operatorname {Im} T} and U{\displaystyle U} is KerT{\displaystyle \operatorname {Ker} T}, i.e. 0kerTVTimT0{\displaystyle 0\rightarrow \ker T\mathbin {\hookrightarrow } V\mathbin {\overset {T}{\rightarrow }} \operatorname {im} T\rightarrow 0}

In the finite-dimensional case, this formulation is susceptible to a generalization: if 0V1V2Vr0{\displaystyle 0\rightarrow V_{1}\rightarrow V_{2}\rightarrow \cdots \rightarrow V_{r}\rightarrow 0} is an exact sequence of finite-dimensional vector spaces, then[9]i=1r(1)idim(Vi)=0.{\displaystyle \sum _{i=1}^{r}(-1)^{i}\dim(V_{i})=0.} The rank–nullity theorem for finite-dimensional vector spaces may also be formulated in terms of the index of a linear map. The index of a linear map THom(V,W){\displaystyle T\in \operatorname {Hom} (V,W)}, where V{\displaystyle V} and W{\displaystyle W} are finite-dimensional, is defined by indexT=dimKer(T)dimCokerT.{\displaystyle \operatorname {index} T=\dim \operatorname {Ker} (T)-\dim \operatorname {Coker} T.}

Intuitively, dimKerT{\displaystyle \dim \operatorname {Ker} T} is the number of independent solutions v{\displaystyle v} of the equation Tv=0{\displaystyle Tv=0}, and dimCokerT{\displaystyle \dim \operatorname {Coker} T} is the number of independent restrictions that have to be put on w{\displaystyle w} to make Tv=w{\displaystyle Tv=w} solvable. The rank–nullity theorem for finite-dimensional vector spaces is equivalent to the statement indexT=dimVdimW.{\displaystyle \operatorname {index} T=\dim V-\dim W.}

We see that we can easily read off the index of the linear map T{\displaystyle T} from the involved spaces, without any need to analyze T{\displaystyle T} in detail. This effect also occurs in a much deeper result: the Atiyah–Singer index theorem states that the index of certain differential operators can be read off the geometry of the involved spaces.

Citations

  1. Axler (2015) p. 63, §3.22
  2. 12Friedberg, Insel & Spence (2014) p. 70, §2.1, Theorem 2.3
  3. Katznelson & Katznelson (2008) p. 52, §2.5.1
  4. Valenza (1993) p. 71, §4.3
  5. Friedberg, Insel & Spence (2014) pp. 103-104, §2.4, Theorem 2.20
  6. Banerjee, Sudipto; Roy, Anindya (2014), Linear Algebra and Matrix Analysis for Statistics, Texts in Statistical Science (1st ed.), Chapman and Hall/CRC, ISBN 978-1420095388
    • Strang, Gilbert. Linear Algebra and Its Applications. 3rd ed. Orlando: Saunders, 1988.
  7. Strang, Gilbert (1993), "The fundamental theorem of linear algebra"(PDF), American Mathematical Monthly, 100 (9): 848–855, CiteSeerX 10.1.1.384.2309, doi:10.2307/2324660, JSTOR 2324660
  8. Zaman, Ragib. "Dimensions of vector spaces in an exact sequence". Mathematics Stack Exchange. Retrieved 27 October 2015.

References

  • Gilbert Strang, MIT Linear Algebra Lecture on the Four Fundamental Subspaces, from MIT OpenCourseWare