next up previous


Four Subspaces of a Matrix

Let us consider an tex2html_wrap_inline7067matrix
displaymath7733
with real elements. The matrix A can be expressed both by the column-vectors tex2html_wrap_inline7797= 1 : n) of A or by the row-vectors tex2html_wrap_inline7801=1 : m) by the transpose of A
displaymath7734
where tex2html_wrap_inline7805 and tex2html_wrap_inline7807 and tex2html_wrap_inline7809

Definition 2.4.1. The subspace tex2html_wrap_inline7811 of the set tex2html_wrap_inline7813 of column-vectors of the matrix A is called the subspace of column-vectors of the matrix A, and denoted by tex2html_wrap_inline7819 or ran(A).

Definition 2.4.2. The subspace tex2html_wrap_inline7823 of the set tex2html_wrap_inline7825 of the row-vectors of the matrix A is called the subspace of row-vectors of the matrix A, and denoted by tex2html_wrap_inline7831 or ran(AT).

Definition 2.4.3. The rank of the matrix A is the greatest natural number k, for which there exist a minor of order k different from zero. We denote the rank of A by rank(A).

Let rank(A)=r. Due to the theorem about the rank of the matrix, we get

Proposition 2.4.1. The rank of the matrix is equal to the dimension of the subspace of its row-vectors or column-vectors, i.e.,
displaymath7735

Definition 2.4.4. The (right) null space of the matrix A is the set of all solutions
displaymath7736
of the system of equations
 equation2769
  It is a subspace, denoted tex2html_wrap_inline7851 or null(A).

Proposition 2.4.2. For every matrix tex2html_wrap_inline7193 with the rank r, it holds
displaymath7737

Proof. The matrix of the system has the rank r, and the number of variables in (4) equals n. Therefore, the number of degrees of freedom of the system is n-r. The number of degrees of freedom gives the dimension of the null space. Thus, tex2html_wrap_inline7865 We can rewrite the system (4) in form
displaymath7738
Therefore, tex2html_wrap_inline7867 tex2html_wrap_inline7869 tex2html_wrap_inline7871= 1 : m), i.e., the row-vectors of A are orthogonal to any vector of the null space tex2html_wrap_inline7851 of the matrix A. Hence tex2html_wrap_inline7881 As, in addition, tex2html_wrap_inline7883 and tex2html_wrap_inline7885 tex2html_wrap_inline7887 and the space tex2html_wrap_inline5777 can be expressed by direct sum

displaymath7739

Definition 2.4.5. The (left) null space of the matrix A is the set of all solutions
displaymath7740
of the system of equations
 equation2821
This subspace is denoted by tex2html_wrap_inline7893 or null(AT).

Proposition 2.4.3. For every matrix tex2html_wrap_inline7193 with the rank r, it holds
displaymath7741

Proof. The matrix of the system AT has the rank r, and, the number of variables in (5) equals m. Therefore, the number of degrees of freedom of the system is m-r and
displaymath7742
The system (5) can be expressed in form
displaymath7743
So tex2html_wrap_inline7909 tex2html_wrap_inline7871= 1 : m) and tex2html_wrap_inline7915 As tex2html_wrap_inline7917 and tex2html_wrap_inline7919 tex2html_wrap_inline7921 and the space Rm can be expressed by direct sum

displaymath7744

Example 2.4.1. Let us find the dimensions and bases of the subspaces tex2html_wrap_inline7925 tex2html_wrap_inline7927 tex2html_wrap_inline7831 and tex2html_wrap_inline7893 for the matrix
displaymath7745
We will illustrate the assertion of propositions 2.4.2 and 2.4.3 in case of this example.

We start with the examination of the space tex2html_wrap_inline7819. Substracting from the second column of A two times the first column, we get
displaymath7746
then substracting from the third column the new second one, from the forth column the first one and from the fifth column the first one and the new second one, we get
displaymath7747
The symbol tex2html_wrap_inline7937 between the matrices marks that tex2html_wrap_inline7819 is not changed. The last matrix has only two columns different from the null vector tex2html_wrap_inline5741 tex2html_wrap_inline7943 The basis in the space tex2html_wrap_inline7819 will be
displaymath7748
To describe the space tex2html_wrap_inline7893, we solve system (5):
displaymath7749
i.e.,

displaymath7750


displaymath7751
Let us check by scalar product that tex2html_wrap_inline7949
displaymath7752

displaymath7753
The union tex2html_wrap_inline7951 contains three linearly independent vectors of tex2html_wrap_inline7953. These vectors form a basis in tex2html_wrap_inline7953. Thus, tex2html_wrap_inline7957 To describe the space tex2html_wrap_inline7831 let us find its dimension and basis:
displaymath7754

displaymath7755
To describe the space tex2html_wrap_inline7851, we solve system (4):
displaymath7756
tex2html_wrap_inline7963
displaymath7757

displaymath7758
The vectors of the basis tex2html_wrap_inline7965 are orthogonal to the vectors of the basis tex2html_wrap_inline7967 Thus, tex2html_wrap_inline7969 and the union tex2html_wrap_inline7971 forms a basis in tex2html_wrap_inline7973 Therefore

displaymath7759

Problem 2.4.1. Let tex2html_wrap_inline7975 Show that tex2html_wrap_inline7977

Problem 2.4.2. Show that
eqnarray3001

Problem 2.4.3.* Find the dimensions and bases of the subspaces tex2html_wrap_inline7925 tex2html_wrap_inline7927 tex2html_wrap_inline7831 and tex2html_wrap_inline7893 of the matrix A. Demonstrate the assertion of proposition 2.4.2 and 2.4.3 on the matrix A, where
displaymath7760

displaymath7761

Problem 2.4.4.* Find the dimensions and bases of the subspaces tex2html_wrap_inline7995 tex2html_wrap_inline7997 tex2html_wrap_inline7999 and tex2html_wrap_inline8001 of the product AB, where
displaymath7762
Compare the results obtained with the results of Problem 2.4.3* in case b) and c).


next up previous