Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

5.4: Dimension

( \newcommand{\kernel}{\mathrm{null}\,}\)

We now come to the important definition of the dimension of a finite-dimensional vector space. Intuitively, we know that R2 has dimension 2, that R3 has dimension 3, and, more generally, that Rn has dimension n. This is precisely the length of every basis for each of these vector spaces, which prompts the following definition.

Definition 5.4.1

We call the length of any basis for V (which is well-defined by Theorem 5.4.2 below) the dimension of V, and we denote this by dim(V).

Note that Definition 5.4.1 only makes sense if, in fact, every basis for a given finite-dimensional vector space has the same length. This is true by the following theorem.

Theorem 5.4.2.

Let V be a finite-dimensional vector space. Then any two bases of V have the same length

Proof

Let (v1,,vm) and (w1,,wn) be two bases of V. Both span V.

By Theorem 5.2.9, we have mn since (v1,,vm) is linearly independent. By the same theorem, we also have nm since (w1,,wn) is linearly independent. Hence n=m, as asserted.

Example 5.4.3. dim(Fn)=n and dim(Fm[z])=m+1. Note that dim(Cn)=n as a complex vector space, whereas dim(Cn)=2n as an real vector space. This comes from the fact that we can view C itself as an real vector space of dimension 2 with basis (1,i).

Theorem 5.4.4. Let V be a finite-dimensional vector space with dim(V)=n. Then:

  1. If UV is a subspace of V, then dim(U)dim(V).
  2. If V=span(v1,,vn), then (v1,,vn) is a basis of V.
  3. If (v1,,vn) is linearly independent in V, then (v1,,vn) is a basis of V.

Point 1 implies, in particular, that every subspace of a finite-dimensional vector space is finite-dimensional. Points 2 and 3 show that if the dimension of a vector space is known to be n, then, to check that a list of n vectors is a basis, it is enough to check whether it spans V (resp. is linearly independent).

Proof.

To prove Point~1, first note that U is necessarily finite-dimensional (otherwise we could find a list of linearly independent vectors longer than dim(V) ). Therefore, by Corollary 5.3.6, U has a basis (u1,,um) (say). This list is linearly independent in both U and V. By the Basis Extension Theorem 5.3.7, we can extend (u1,,um) to a basis for V, which is of length n since dim(V)=n. This implies that mn, as desired.

To prove Point~2, suppose that (v1,,vn) spans V. Then, by the Basis Reduction Theorem 5.3.4, this list can be reduced to a basis. However, every basis of V has length n; hence, no vector needs to be removed from (v1,,vn). It follows that (v1,,vn) is already a basis of V.

Point~3 is proven in a very similar fashion. Suppose (v1,,vn) is linearly independent. By the Basis Extension Theorem 5.3.7, this list can be extended to a basis. However, every basis has length n; hence, no vector needs to be added to (v1,,vn). It follows that (v1,,vn) is already a basis of V.

We conclude this chapter with some additional interesting results on bases and dimensions. The first one combines the concepts of basis and direct sum.

Theorem 5.4.5. Let UV be a subspace of a finite-dimensional vector space V. Then there exists a subspace WV such that V=UW.

Proof.

Let (u1,,um) be a basis of U. By Theorem 5.4.4(1), we know that mdim(V). Hence, by the Basis Extension Theorem 5.3.7, (u1,,um) can be extended to a basis (u1,,um,w1,,wn) of V. Let W=span(w1,,wn).

To show that V=UW, we need to show that V=U+W and UW={0}. Since V=span(u1,,um,w1,,wn) where (u1,,um) spans U and (w1,,wn) spans W, it is clear that V=U+W.

To show that UW={0}, let vUW. Then there exist scalars a1,,am,b1,,bnF such that

v=a1u1++amum=b1w1++bnwn,

or equivalently that

a1u1++amumb1w1bnwn=0.

Since (u1,,um,w1,,wn) forms a basis of V and hence is linearly independent, the only solution to this equation is a1==am=b1==bn=0. Hence v=0, proving that indeed UW={0}.

Theorem 5.4.6. If U,WV are subspaces of a finite-dimensional vector space, then

dim(U+W)=dim(U)+dim(W)dim(UW).

Proof.

Let (v1,,vn) be a basis of UW. By the Basis Extension

Theorem 5.3.7, there exist (u1,,uk) and (w1,,w) such that (v1,,vn,u1,,uk) is a basis of U and (v1,,vn,w1,,w) is a basis of W. It suffices to show that

B=(v1,,vn,u1,,uk,w1,,w)

is a basis of U+W since then

dim(U+W)=n+k+=(n+k)+(n+)n=dim(U)+dim(W)dim(UW).

Clearly span(v1,,vn,u1,,uk,w1,,w) contains U and W, and hence U+W. To show that B is a basis, it remains to show that B is linearly independent. Suppose

a1v1++anvn+b1u1++bkuk+c1w1++cw=0,

and let u=a1v1++anvn+b1u1++bkukU. Then, by Equation (5.4.1), we also have that u=c1w1cwW, which implies that uUW. Hence, there exist scalars a1,,anF such that u=a1v1++anvn.

Since there is a unique linear combination of the linearly independent vectors (v1,,vn,u1,,uk) that describes u, we must have b1==bk=0 and a1=a1,,an=an. Since (v1,,vn,w1,,w) is also linearly independent, it further follows that a1==an=c1==c=0. Hence, Equation (5.4.1) only has the trivial solution, which implies that B is a basis.


This page titled 5.4: Dimension is shared under a not declared license and was authored, remixed, and/or curated by Isaiah Lankham, Bruno Nachtergaele, & Anne Schilling.

  • Was this article helpful?

Support Center

How can we help?