![]()
MATH347 L11: Vector subspaces of a matrix
|
New concepts:
Span of a set of vectors, matrix column space
Matrix null space
Matrix row space
Matrix left null space
Vector space basis
Vector space sums
![]()
Vector span, matrix column space
|
Definition. The span of vectors is the set of vectors reachable by linear combination
The notation used for set on the right hand side is read: “those vectors in with the property that there exist scalars to obtain by linear combination of .
A linear combination is conveniently expressed as a matrix-vector product leading to a different formulation of the same concept
Definition. The column space (or range) of matrix is the set of vectors reachable by linear combination of the matrix column vectors
![]()
Null space
|
Introduce a characterization of the column vectors of a matrix related to linear dependence
Definition. The null space of a matrix is the set
If then the column vectors of are linearly independent, since the only way to satisfy (?) is by the trivial solution
For example below, for any scalar , hence
.
![]()
Column, null spaces as subspaces of codomain, domain of
|
Recall definitions of column space, null space of
Note that , means that are subsets of respectively. In fact, we can make a stronger statement, that they are vector subspaces
Proof. Let , . By defintion of there exist such that and . Using vector space properties
hence (it is obtained as the image through the linear mapping of )
![]()
Orthogonality implies linear independence
|
Recall that if , with then (orthogonal)
Proposition. If are non-zero () and pairwise orthogonal, for then they form a linearly independent set of vectors.
Proof. Consider the equation equating the linear combination to the zero vector
(1) |
Multiply on the left by and use orthogonality to obtain for . The only solution to (1) is , hence is a linearly independent set.
![]()
Row space, left null space
|
For , seen as a linear mapping , that given input vector returns output vector , we have defined the vector space of possible outputs, the column space of
The transpose can also be seen as a linear mapping. Given some input vector the mapping returns the output vector , . The set of possible outputs is the column space of . Since columns of are rows of , we can define the row space of as
Left null space, , the part of not reachable by linear combination of columns of
![]()
Basis of a vector space
|
Definition. A set of vectors is a basis for vector space if:
are linearly independent;
.
Definition. The number of vectors within a basis is the dimension of the vector space .
![]()
Direct sum, intersection of vector spaces
|
Definition. Given two vector subspaces , of the space , the sum is the set
Definition. Given two vector subspaces , of the space , the direct sum is the set (unique decomposition)
Definition. Given two vector subspaces , of the space , the intersection is the set
Definition. Two vector subspaces , of the space are orthogonal subspaces, denoted if for any .
Definition. Two vector subspaces , of the space are orthogonal complements, denoted , if they are orthogonal subspaces and , i.e., the null vector is the only common element of both subspaces.