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.

fig1

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.

results matching ""

    No results matching ""