Chapter 3 Linear Maps
Section 3A Vector Space of Linear Maps
Section 3B Null Spaces and Ranges
Section 3C Matrices
3.31 definition: matrix of a linear map,
Suppose and is a basis of and is a basis of .
The matrix of with respect to these bases is the -by- matrix whose entries are defined by
3.35 matrix of the sum of linear maps
Suppose Then .
Proof:
Assume .
So .
3.38 the matrix of a scalar times a linear map
Suppose and . Then .
Proof:
Assume , then
So
3.44 notation: ,
Suppose is an -by- matrix.
-
If , then denotes the -by- matrix consisting of row of .
-
If , then denotes the -by- matrix consisting of column of .
3.50 linear combination of columns
Suppose is an -by- matrix and is an π-by-1 matrix. Then
In other words, π΄π is a linear combination of the columns of π΄, with the scalars that multiply the columns coming from π.
Proof:
The th row on the left is
Which is the same as the th row on the right.
3.56 columnβrow factorization
Suppose is an -by- matrix with entries in and column rank . Then there exist an -by- matrix and a -by- matrix , both with entries in , such that .
Proof:
The column can be reduced columns which is a basis of the span of the columns of . Put these columns together to make .
Each columns of is the linear combination of the columns of . Then make the coefficients into column of .
Then .
3.57 column rank equals row rank
Suppose . Then the column rank of π΄ equals the row rank of π΄.
Proof: Assume column rank is , then . is and is .
Each row of is the linear combination of the row of , so row rank of .
To prove the other direction, consider ,
So column rank and row rank are equal.
Section 3F Duality
3.108 definition: linear functional
A linear functional on is a linear map from to . In other words, a linear functional is an element of .
3.109 example: linear functionals
- Define π βΆ π«(π) β π by
Then π is a linear functional on π«(π).
- Define π βΆ π«(π) β π by
for each π β π«(π). Then π is a linear functional on π«(π).
3.110 definition: dual space, πβ²
The dual space of π, denoted by πβ², is the vector space of all linear functionals on π. In other words, πβ² = β(π, π ).
3.111 dim πβ² = dim π
Suppose is finite-dimensional. Then is also finite-dimensional and
Proof:
3.127 condition for the annihilator to equal {0} or the whole space
Suppose is finite-dimensional and is a subspace of . Then
(a)
Proof:
(b)
Proof:
3.128 the null space of πβ²
Suppose π and π are finite-dimensional and π β β(π, π). Then
(a)
Proof:
If , then . Also
So .
If , then , then So .
So .
(b)
Proof:
3.129 π surjective is equivalent to π' injective
Suppose π and π are finite-dimensional and π β β(π, π). Then
Proof:
3.130 the range of
Suppose and are finite-dimensional and . Then
(a) ;
Proof:
Another way
(b)
Proof:
We first prove .
Assume , then we can find , such that .
Then if
So .
Next, we compute this
3.131 injective is equivalent to surjective
Suppose and are finite-dimensional and . Then
Proof: