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 m≤n since (v1,…,vm) is linearly independent. By the same theorem, we also have n≤m 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:
- If U⊂V is a subspace of V, then dim(U)≤dim(V).
- If V=span(v1,…,vn), then (v1,…,vn) is a basis of V.
- 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 m≤n, 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 U⊂V be a subspace of a finite-dimensional vector space V. Then there exists a subspace W⊂V such that V=U⊕W.
Proof.
Let (u1,…,um) be a basis of U. By Theorem 5.4.4(1), we know that m≤dim(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=U⊕W, we need to show that V=U+W and U∩W={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 U∩W={0}, let v∈U∩W. Then there exist scalars a1,…,am,b1,…,bn∈F such that
v=a1u1+⋯+amum=b1w1+⋯+bnwn,
or equivalently that
a1u1+⋯+amum−b1w1−⋯−bnwn=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 U∩W={0}.
Theorem 5.4.6. If U,W⊂V are subspaces of a finite-dimensional vector space, then
dim(U+W)=dim(U)+dim(W)−dim(U∩W).
Proof.
Let (v1,…,vn) be a basis of U∩W. 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(U∩W).
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+⋯+cℓwℓ=0,
and let u=a1v1+⋯+anvn+b1u1+⋯+bkuk∈U. Then, by Equation (5.4.1), we also have that u=−c1w1−⋯−cℓwℓ∈W, which implies that u∈U∩W. Hence, there exist scalars a′1,…,a′n∈F such that u=a′1v1+⋯+a′nvn.
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=a′1,…,an=a′n. 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.
Contributors
- Isaiah Lankham, Mathematics Department at UC Davis
- Bruno Nachtergaele, Mathematics Department at UC Davis
- Anne Schilling, Mathematics Department at UC Davis
Both hardbound and softbound versions of this textbook are available online at WorldScientific.com.