Ch02 Matrix Algebra
2.9 Dimension and Rank
Coodinate Systems
- Suppose is a basis for , and suppose a vector in can be generated in two ways, say,
- Then, subtracting gives
- Since is linearly independent, the weights in (2) must all be zero.
- That is, for , which shows that the two representations in (1) are actually the same.
Definition : Coordinate Vector
Suppose the set is a basis for a subspace . For each in , the coordinates of relative to the basis are the weights such that , and the vector in
is called the coordinate vector of x (relative to ) or the -coordinate vector of x.
Example 1
Let , , , and . Then is a basis for because and are linearly independent. Determine if is in , and if it is , find the coordinate vector of relative to .
Solution
- If is in , then the following vector equation is consistent:
- The scalars and , if they exist, are the -coordinates of . Row operations show that
- Thus and .
- The basis determines a “coordinate system” on , which can be visualized by the grid shown in Fig. 1 below.
Definition: Dimension
The dimension of a nonzero subspace , denoted by dim , is the number of vectors in any basis for . The dimension of the zero subspace is defined to be zero.
Definition: Rank
The rank of a matrix , denoted by rank , is the dimension of the column space of .
Example 3 :
Determine the rank of the matrix
Solution :
Reduce to echelon form :
- The matrix has 3 pivot columns, so rank = 3.
Theorem 14 : Rank Theorem
If a matrix has columns, then rank + dim .
Theorem 15 :
Let be a -dimensional subspace of . Any linearly independent set of exactly elements in is automatically a basis for . Also, any set of elements of that spans is automatically a basis for .
Theorem : The Invertible Theorem (continued) :
Let be an square matrix. Then the following statements are each equivalent to the statement that is an invertible matrix.
- (13) The columns of form a basis of
- (14)
- (15) dim
- (16) rank
- (17)
- (18) dim
Proof
- Statement (13) is logically equivalent to statements (5) and (8) regarding linear independence and spanning.
- The other five statements are linked to the earlier ones of the theorem by the following chain of almost trivial implications:
- Statement (7), which says that the equation has at least one solution for each in , implies statement (14), because is precisely the set of all such that the equation is consistent.
- The implications follow from the definitions of dimension and rank.
- If the rank of is , the number of columns of , then dim , by the Rank Theorem, and so . Thus .
- Also, statement (17) implies that the equation has only the trivial solution, which is statement (4).
- Since statements (4) and (7) are already known to be equivalent to the statement that is invertible, the proof is complete.