Chapter 3 Linear Maps
Section 3A Vector Space of Linear Maps
3A.1
Suppose . Define by
Show that is linear if and only if .
Proof:
, so .
So , then .
3A.2
Suppose . Define by
Show that is linear if and only if .
Proof:
Consider , then
So .
Consider , then
On the other hand
So .
3A.3
Suppose that . Show that there exist scalars for and such that
for every .
Proof:
Let
3A.4
Suppose and is a list of vectors in such that is a linearly independent list in . Prove that is linearly independent.
Proof:
Assume
Then
So .
3A.5
3A.6
3A.7
Show that every linear map from a one-dimensional vector space to itself is multiplication by some scalar. More precisely, prove that if and , then there exists such that for all .
Proof:
Assume is a basis of . Let . We can assume Then assume .
3A.8
Give an example of a function such that
for all and all but is not linear.
Solution:
Consider the norm function:
3A.9
Give an example of a function such that
for all but is not linear. (Here is thought of as a complex vector space.)
Solution:
Consider .
Then let .
3A.10
Prove or give a counterexample: If and is defined by ππ = π β π, then is a linear map.
Solution: We provide a counterexample.
Let .
3A.11
Suppose is finite-dimensional and . Prove that π is a scalar multiple of the identity if and only if for every .
Proof:
is obvious.
Given is a basis with . is not a zero map. Without loss of generality, assume
Let for . Then
So . For the same reason, .
Now consider for all other .
So .
3A.12
Suppose is a subspace of with . Suppose and (which means that for some ). Define by
Prove that π is not a linear map on π .
Proof:
Consider , , then .
So we have a contradition.
3A.13
Suppose is finite-dimensional. Prove that every linear map on a subspace of can be extended to a linear map on . In other words, show that if is a subspace of and , then there exists such that for all .
Proof:
Consider is a subspace, is a basis of . Let . We can extend to .
Let , then from 3.4 linear map lemma, satisfy for all .
3A.14
Suppose is finite-dimensional with , and suppose is infinite-dimensional. Prove that is infinite-dimensional.
Proof:
Assume , and is a basis of of .
Also assume is linear independent in .
Let are linear mappings such that .
Since , then are linear dependent, i.e.
Then
So is linear dependent. We have a contradition.
3A.15
Suppose is a linearly dependent list of vectors in . Suppose also that . Prove that there exist such that no satisfies for each .
Proof:
We can find
Without loss of generality, assume .
Then let .
If for each
Then
So does not exist.
3A.16
Suppose is finite-dimensional with . Prove that there exist such that .
Proof:
Consider is a basis of .
Let , . And for all other .
Then
Since , then .
3A.17
Suppose is finite-dimensional. Show that the only two-sided ideals of are and .
A subspace of is called a two-sided ideal of if and for all and all .
Proof: I cannot figure it out now.
Section 3B Null Spaces and Ranges
3B.1
Give an example of a linear map with dim null and dim range .
Solution:
Consider
It is surjective, so dim range .
Note is a basis of , so dim null .
3B.2
Suppose are such that range . Prove that .
Proof:
Given any
Note .
So .
3B.3
Suppose is a list of vectors in . Define by
Anwser:
(a) What property of corresponds to spanning ?
Solution:
When is surjective.
(b) What property of corresponds to the list being linearly independent?
Solution:
When is injective.
3B.4
Show that is not a subspace of .
Solution:
Consider the following 2 maps:
Then we have
So .
This set is not closed under addition.
3B.5
Give an example of such that .
Solution:
Consider
Then
3B.6
Prove that there does not exist such that .
Proof:
From 3.21 fundamental theorem of linear maps,
So
Then .
3B.7
Suppose and are finite-dimensional with . Show that is not a subspace of .
Proof:
Let is a basis of and is linear independent vector.
Let , .
So . is injective.
This set is not closed under addition.
3B.8
Suppose and are finite-dimensional with . Show that is not a subspace of .
Proof:
Let is a basis of and is linear independent vector.
Let , .
So . is surjective.
This set is not closed under addition.
3B.9
Suppose is injective and is linearly independent in . Prove that is linearly independent in π.
Proof:
If
Then
Since is injective, so
Then . Thus is linearly independent in π.
3B.10
Suppose spans and . Show that spans .
Proof:
Let , then .
Let , so
3B.11
Suppose that is finite-dimensional and that π β β(π, π). Prove that there exists a subspace π of π such that
Proof:
Let be a basis of , we can extend a basis of it to .
Let .
If , and
So
3B.12
Suppose is a linear map from to such that
Prove that is surjective.
Proof:
Note
is a basis of , so .
Then is surjective.
3B.13
Suppose is a three-dimensional subspace of and that is a linear map from to such that . Prove that is surjective.
Proof:
Note , and . So is surjective.
3B.14
Prove that there does not exist a linear map from to whose null space equals
Proof:
Assume exists. Note
is a basis of , so has to be .
But is only 2 dimensional. So does not exist.
3B.15
Suppose there exists a linear map on whose null space and range are both finite-dimensional. Prove that is finite-dimensional.
Proof:
Assume otherwise, is a basis of and such that is a basis of .
We can see .
From 2.43 dimension of a sum, we can see
3B.16
Suppose π and π are both finite-dimensional. Prove that there exists an injective linear map from π to π if and only if dim π β€ dim π.
Proof:
It's the contrapositive of 3.22, i.e. linear map to a lower-dimensional space is not injective.
Assume , and is a basis of , and is linearly independent in .
Let be a linear map such that . Then if
So , so is injective.
3B.17
Suppose π and π are both finite-dimensional. Prove that there exists a surjective linear map from π onto π if and only if dim π β₯ dim π.
Proof:
It is the contrapositive of 3.24: linear map to a higher-dimensional space is not surjective.
Assume is a basis of . is linear independent in . Extend it to a basis of by adding .
Let . This map is surjective.
3B.18
Suppose π and π are finite-dimensional and that π is a subspace of π . Prove that there exists π β β(π, π) such that null π = π if and only if dim π β₯ dim π β dim π.
Proof:
Let be a basis of , extend it to a basis of by adding .
Since , then . We can find such that they are independent in .
Let .
3B.19
Suppose π is finite-dimensional and π β β(π, π). Prove that π is injective if and only if there exists π β β(π, π) such that ππ is the identity operator on π .
Proof:
First, since is injective, has to be finite-dimensional because of 3.22.
Assume is a basis of .
Also assume
Then extend to a basis of by adding . Consider as .
Then we have is the identity operator on π.
If , then . So is injective.
3B.20
Suppose π is finite-dimensional and π β β(π, π). Prove that π is surjective if and only if there exists π β β(π, π) such that ππ is the identity operator on π.
Proof:
is a basis of , and .
Let , then if , then
If is the identity operator. For any given , , . So is surjective.
3B.21
Suppose is finite-dimensional, , and is a subspace of . Prove that is a subspace of and
Proof:
We first show is a subspace of .
Let , , then we can find , so .
.
So is a subspace of .
Consider the linear mapping that limits on and call it .
Note that , so .
Also , so
3B.22
Suppose π and π are finite-dimensional vector spaces and π β β(π, π) and π β β(π, π). Prove that
Proof:
Use the exercise 3B.21, Let , then
So
And .
3B.23
Suppose π and π are finite-dimensional vector spaces and π β β(π, π) and π β β(π, π). Prove that
Proof:
If , then we can find such that , i.e. , . So .
Limit on .
Also .
So .
3B.24
(a) Suppose dim π = 5 and π, π β β(π) are such that ππ = 0. Prove that dim range ππ β€ 2.
Proof:
. So .
So , .
So .
(b) Give an example of π, with ππ = 0 and dim range ππ = 2.
Solution:
Consider ,
3B.25
Suppose that π is finite-dimensional and π, π β β(π, π). Prove that null π β null π if and only if there exists πΈ β β(π) such that π = πΈπ.
Proof:
Assume is a basis of . Then is independent in .
Then is independent in . This is because assume
Then
Then
So .
Then extend to a basis of by adding .
Consider
First are independent:
Note that we have is injective. Because
Then we have
Now, consider We also have
So we can find a basis of , i.e., , such that
Note that are also independent in because is injective.
Now, we can construct this way. We extend to a basis of by adding . Let .
Given , we can right it as
Where .
Then
On the other hand
So .
If , then . So . So
3B.26
Suppose that π is finite-dimensional and π, π β β(π, π). Prove that range π β range π if and only if there exists πΈ β β(π) such that π = ππΈ.
Proof:
Consider is a basis of . We can find
It's easy to prove .
Then let be a basis of . Together is a basis of .
Define .
Given , then
Also
So .
Assume , and assume , then , so . Then .
3B.27
Suppose π β β(π) and . Prove that .
Proof:
Consider , then .
So .
Assume .
Let . So .
On the other hand, , so .
3B.28
Suppose π· β β(π«(π)) is such that deg π·π = (deg π) β 1 for every non-constant polynomial π β π«(π). Prove that π· is surjective.
The notation π· is used above to remind you of the differentiation map that sends a polynomial π to πβ²
Proof:
Given a such that , so . Then .
Then we can also find such that and so on.
So is surjective.
3B.29
Suppose π β π«(π). Prove that there exists a polynomial π β π«(π) such that 5πβ³ + 3πβ² = π. This exercise can be done without linear algebra, but itβs more fun to do it using linear algebra.
Proof:
Note that satisfies 3B.28. So is surjective.
3B.30
Suppose π β β(π, π ) and π β 0. Suppose π’ β π is not in null π. Prove that π = null π β {ππ’ βΆ π β π }.
Proof:
Assume .
Give and .
Then
So .
Thus
Assume ,
Then , so .
Then .
So
3B.31
Suppose π is finite-dimensional, π is a subspace of π , and π is a finite-dimensional subspace of π. Prove that there exists π β β(π, π) such that null π = π and range π = π if and only if dim π + dim π = dim π .
Proof:
From 3.21 fundamental theorem of linear maps
Since and , then
Let be a basis of . is a basis of , and we can extend it to a basis of by adding elements .
Define .
3B.32
Suppose π is finite-dimensional with dim π > 1. Show that if π βΆ β(π) β π is a linear map such that π(ππ) = π(π)π(π) for all π, π β β(π), then π = 0.
Hint: The description of the two-sided ideals of β(π) given by Exercise 17 in Section 3A might be useful.
Proof:
Consider the , for all and all ,
So and .
is a two-sided ideal.
Since π is finite-dimensional with , then . Since the following 2 linear maps are linearly independent.
Also note . So from 3.22 linear map to a lower-dimensional space is not injective and 3.15 injectivity βΊ null space equals {0}.
Then , so , then π = 0.
3B.33
Suppose that π and π are real vector spaces and π β β(π, π). Define by
for all π’, π£ β π.
(a) Show that is a (complex) linear map from to .
Proof:
Also
(b) Show that is injective if and only if π is injective.
Proof:
is injective
Assume , then .
So , so .
is injective.
Assume , then , so , then .
(c) Show that range if and only if range π = π.
Proof:
Given , since is surjective, then we can find , i.e. .
Given , we can fine , then .
Section 3C Matrices
3C.1
Suppose π β β(π, π). Show that with respect to each choice of bases of π and π, the matrix of π has at least dim range π nonzero entries.
Proof:
Consider the matrix for is .
Then let , then . If only entries are nonzero, then it means the matrix has more than columns are .
That means , we reach a contradition.
3C.5
Suppose π and π are finite-dimensional and π β β(π, π). Prove that there exist a basis of π and a basis of π such that with respect to these bases, all entries of β³(π) are 0 except that the entries in row π, column π, equal 1 if 1 β€ π β€ dim range π.
Proof:
Let , and is a basis of .
Assume such that .
Assume , then expand with .
With these 2 basis of and , is what we want.
3C.6
Suppose is a basis of π and π is finite-dimensional. Suppose π β β(π, π). Prove that there exists a basis of π such that all entries in the first column of β³(π) [with respect to the bases and ] are except for possibly a in the first row, first column.
In this exercise, unlike Exercise 5, you are given the basis of π instead of being able to choose a basis of π .
Proof:
Let and extend to a basis of by adding .
Then is desired matrix.
3C.7
Suppose is a basis of π and π is finite-dimensional. Suppose π β β(π, π). Prove that there exists a basis of π such that all entries in the first row of β³(π) [with respect to the bases and ] are 0 except for possibly a in the first row, first column.
In this exercise, unlike Exercise 5, you are given the basis of π instead of being able to choose a basis of π.
Proof:
Let is a basis of . Assume the matrix . If , then then satisfies the requirement.
If , then for some . We can swap and . Then . Let , then .
For any such that , let
With , the first row of , , as required.
3C.16
Suppose is an -by- matrix with . Prove that the rank of is 1 if and only if there exist and such that for every and every .
Proof:
From 3.56 columnβrow factorization, since the rank of is , we can find a -by- matrix and -by- matrix such that .
Then and are what we need.
We have
So from 3.50 and 3.51, we have
That means the columns of are the scalar of . So 's rank is 1.
3C.17
Suppose , and and are bases of . Prove that the following are equivalent.
(a) is injective.
(b) The columns of are linearly independent in .
(c) The columns of span .
(d) The rows of span .
(e) The rows of are linearly independent in .
Proof:
Our strategy is to prove
.
If is injective, then .
Assume , and there are , where , i.e.
Then consider
Then , so , i.e. .
On the other hand, if
Then
Since is linearly independent, we have .
Since
And are linearly independent, we must have .
Then we have .
This completes the proof of .
Since are linearly independent, and , then is a basis of , so it spans .
Since spans , the column rank of is . Since the column rank of is , the row rank is also . Then spans .
spans , and the dimension of is , then is a basis of , then are linearly independent.
The reverse direction is similar.
Section 3D Invertibility and Isomorphisms
3D.1
Suppose π β β(π, π) is invertible. Show that is invertible and
Proof:
This is because
So
3D.2
Suppose π β β(π, π) and π β β(π, π) are both invertible linear maps. Prove that ππ β β(π, π) is invertible and that .
Proof:
This is because
3D.3
Suppose π is finite-dimensional and π β β(π). Prove that the following are equivalent.
(a) π is invertible.
(b) is a basis of π for every basis of π .
(c) is a basis of π for some basis of π .
Proof:
Our order is
If π is invertible. Then is surjective.
Given any basis , spans . So is a basis of .
is obvious.
If is a basis of π, then is surjective, so is invertible.
3D.4
Suppose π is finite-dimensional and dim π > 1. Prove that the set of noninvertible linear maps from π to itself is not a subspace of β(π).
Proof:
Assume . is a basis of .
Let .
Since are not injective, they are not invertible.
But .
3D.5
Suppose π is finite-dimensional, π is a subspace of π , and π β β(π, π). Prove that there exists an invertible linear map π from π to itself such that ππ’ = ππ’ for every π’ β π if and only if π is injective.
Proof:
If , since is injective, then , so is injective.
If is injective, and is a basis of . We can extend it to a basis of by adding .
Let . is linear independent since is injective. Extend to a basis of by adding , then let .
Now assume , let
Then
So and is invertible.
3D.6
Suppose that π is finite-dimensional and π, π β β(π, π). Prove that null π = null π if and only if there exists an invertible πΈ β β(π) such that π = πΈπ.
Proof:
Assume null π = null π, let be a basis of .
Extend with so they become a basis of .
So is basis of since .
For the same reason, is basis of
Let .
Assume , then . So .
Assume , then , since is injective, then . So .
3D.7
Suppose that π is finite-dimensional and π, π β β(π, π). Prove that range π = range π if and only if there exists an invertible πΈ β β(π) such that π = ππΈ.
Proof:
Assume is a basis of .
and .
Let be a basis of . Let be a basis of .
So is a basis of . Also is a basis of .
Let .
is an isomorphism and .
, assume then . Since is surjective, we can find such that , then .
On the other hand, assume , then , so .
3D.8
Suppose π and π are finite-dimensional and π, π β β(π, π). Prove that there exist invertible and such that if and only if .
Proof:
If , then and are isomorphic.
Assume is an isomorphism and we can extend it to .
If .
If
Therefore
Apply exercise 3D.6, we can have , such that .
Consider the subspace .
Assume , then , since is injective, .
So .
Assume , is injective, then we can find , , then , i.e. .
So . We have as required.
3D.9
Suppose π is finite-dimensional and π βΆ π β π is a surjective linear map of π onto π. Prove that there is a subspace π of π such that is an isomorphism of π onto π.
Proof:
Let be a basis of . And such that .
is independent.
Let , is an isomorphism.
3D.10
Suppose π and π are finite-dimensional and π is a subspace of π. Let
Prove the following
(a) Show that β° is a subspace of β(π, π).
Proof:
If and , then
So .
Same for .
(b) Find a formula for dim β° in terms of dim π , dim π, and dim π.
Hint: Define by . What is null ? What is range ?
Proof:
If , then , i.e. for , then . So .
On the other hand, if , then , so .
So
is surjective because for any , we can find such that .
Then
3D.11
Suppose π is finite-dimensional and π, π β β(π). Prove that
Proof:
is invertible, then is injective. So if then . That means , so is injective, so is invertible.
is invertible, then is surjective. Given any we can find , such that , so . So is surjective, then it's invertible.
π and π are invertible, then
So is the inverse of .
3D.12
Suppose π is finite-dimensional and π, π, π β β(π) and πππ = πΌ. Show that π is invertible and that .
Proof:
From 3.68, then . Then use 3.68 again .
3D.13
Show that the result in Exercise 12 can fail without the hypothesis that π is finite-dimensional.
Solution:
Consider , is the identity mapping. And
We know from the second example of 3.64 that is not invertible, but .
3D.14
Prove or give a counterexample: If π is a finite-dimensional vector space and π , π, π β β(π) are such that π ππ is surjective, then π is injective.
Proof:
is surjective, then it's invertible. From exercise 3D.11, is invertible. Again use 3D.11, is invertible, then is injective.
3D.15
Suppose π β β(π) and is a list in π such that spans π . Prove that spans π .
Proof:
Since spans , then is finite dimension. So is surjective means is invertible. Let , and assume
$$ Tv = a_1 Tv_1 + \cdots + a_m Tv_m \\ \Rightarrow \ STv = S(a_1 Tv_1 + \cdots + a_m Tv_m) \ \Rightarrow \ v = a_1 STv_1 + \cdots + a_m STv_m \ \Rightarrow (\text{ is identity operator and is linear}) \ v = a_1 v_1 + \cdots + a_m v_m $$
3D.16
Prove that every linear map from to is given by a matrix multiplication. In other words, prove that if , then there exists an π-by-π matrix π΄ such that for every .
Proof:
Given , consider
Then
The 2nd is because is linear. The 3rd is from the definitions of . The last equality is from 3.50.
3D.17
Suppose π is finite-dimensional and π β β(π). Define π β β(β(π)) by
for π β β(π).
(a) Show that .
Proof:
Consider this subspace of :
It's the . And its dimension is .
(b) Show that .
Proof:
Note is a linear map from , so
Then
as required.
3D.18
Show that π and β(π , π) are isomorphic vector spaces.
Proof:
Given , define this map from .
We first show is injective.
If , then . So is surjective.
Next we show is surjective.
Assume and , then given any ,
So is surjective.
In summary, is an isomorphism.
3D.19
Suppose π is finite-dimensional and π β β(π). Prove that π has the same matrix with respect to every basis of π if and only if π is a scalar multiple of the identity operator.
Proof:
We first consider when and consider 2 basis: and . Assume this same matrix is
From 3.84 change-of-basis formula
Then we have
So we must have . Then
Then we consider
Then we have
So we must have , then
We next consider when Assume this same matrix is:
and consider 2 basis: and .
Then
So we have
Next consider and .
Then we have .
Next consider and .
Then .
We have
For other dimensions, it's similar. So, we finished one direction.
Now assume if π is a scalar multiple of the identity operator. Then , so . as required.
3D.20
Suppose π β π«(π). Prove that there exists a polynomial π β π«(π) such that
for all π₯ β π.
Proof:
First note if , then . Then
Assume , then .
Then we have
So we have
Then we have a contradition. So .
Then is surjective, we can find for .
3D.21
Suppose π is a positive integer and for all . Prove that the following are equivalent (note that in both parts below, the number of equations equals the number of variables).
(a) The trivial solution is the only solution to the homogeneous system of equations
And
(b) For every , there exists a solution to the system of equations
Proof:
We can have 2 perspectives.
(i) Let then view as a liner map from to by mapping to .
Then (a) says is injective and (b) says is surjective. So they are equivalent.
(ii) We can treat as a vector in .
Then (a) says are independent and (b) says spans the . From the fundamental theorem of linear mapping, they are equivalent.
3D.22
Suppose π β β(π) and is a basis of π. Prove that
Proof:
Let and be its inverse matrix. Let be the linear map that .
Then
Then , from 3.68, we have .
Assume , then
3D.23
Suppose that and are bases of . Let π β β(π) be such that for each . Prove that
Proof:
Since , so
Then from
So we proved.
3D.24
Suppose π΄ and π΅ are square matrices of the same size and π΄π΅ = πΌ. Prove that π΅π΄ = πΌ.
Proof:
Let are by square matrices. Each of them induces a linear map from to , say they are . And their matrices w.r.t the standard basis are .
Since , then . From 3.68, we have .
From 3.81,
i.e.
Then we have as required.
Section 3E Products and Quotients of Vector Spaces
3E.2
Suppose that are vector spaces such that is finite-dimensional. Prove that is finite-dimensional for each .
Proof:
Since is finite-dimensional, then assume it can be spanned by vectors.
Take the 1st component from these vectors and they can span . So is finite-dimensional.
3E.3
Suppose are vector spaces. Prove that and are isomorphic vector spaces.
Proof:
Assume
Let
Let be a mapping, such that
It's easy to see, .
Then we can have this mapping
To see it's injective, assume
, then
To see it's surjective, given , and let
It's easy to see is a linear map.
We also have
so is surjective.
Then is an isomorphism.
3E.4
Suppose are vector spaces. Prove that and are isomorphic vector spaces.
Proof:
Given , let .
3E.5
Suppose that are vectors in and that are subspaces of such that . Prove that .
Proof:
Since are subspaces, then . So . Then we can assume
Then given , we have , i.e.
For the same reason, , i.e. .
3E.9
Prove that a nonempty subset π΄ of π is a translate of some subspace of π if and only if ππ£ + (1 β π)π€ β π΄ for all π£, π€ β π΄ and all π β π .
Proof:
Assume where is a subspace of . And if , then
Then we have
We will prove is a subspace.
If .
Note , then . So .
Similarly,
3E.10
Suppose and for some and some subspaces of . Prove that the intersection is either a translate of some subspace of π or is the empty set.
Proof:
Assume .
Let .
Assume , then .
We will show .
For the same reason, . Then , i.e. .
Now consider .
So .
Then is a subspace.
3E.11
Suppose .
(a) Show that is a subspace of
Proof:
Assume , then assume for all and .
Then has only finite non-zero items. So .
Similarly, .
(b) Prove that is infinite-dimensional.
Proof:
We prove by contradition. Assume it's finite-dimensional, and the dimension is , all we need to do is to find independent vectors in .
Consider the following group of vectors
Any linear combination of them cannot have finite non-zero items.
Anything example is
3E.12
Suppose . Let
(a) Prove that is a translate of some subspace of .
Proof:
We will prove is a subspace.
Note that
So .
Next
Note that
So , then is a subspace.
(b) Prove that if is a translate of some subspace of and , then .
Proof:
Assume and is a subspace. Then and
Then . So .
(c) Prove that is a translate of some subspace of of dimension less than .
Proof:
Now consider the space spanned by and call it .
For any ,
Consider , then
So .
On the other hand, for any , we have
So , i.e. .
Since , .
3E.13
Suppose is a subspace of such that is finite-dimensional. Prove that is isomorphic to .
Proof:
Given , and is a basis of . Assume , and let . We have a map:
It's easy to verify it's linear.
injective: if , then .
surjective: Given , Then .
So is an isomorphism.
3E.14
Suppose and are subspaces of and . Suppose is a basis of . Prove that is a basis of .
Proof:
Assume , and . Then , because . Then . So spans .
Now if , then
Since , then , then .
So is a basis of .
3E.15
Suppose is a subspace of and is a basis of and is a basis of . Prove that is a basis of .
Proof:
Given , then , then
So
Then spans .
Assume
Then , then
Then we have .
Then are independent.
3E.16
Suppose and . Prove that
Proof:
Assume .
Then .
Then we can find such that , so .
Then .
Then we have .
Since is arbitary, then any can be represented by a scalar of .
So
3E.17
Suppose is a subspace of such that . Prove that there exists such that .
Proof:
Since , let be a basis of .
For any , we have . Then .
Then we can consider .
If , then , so , i.e. . So .
3E.18
Suppose that is a subspace of such that is finite-dimensional.
(a) Show that if is a finite-dimensional subspace of and , then .
Proof:
All we need to prove is that the basis of spans .
Assume , we can write . Then , so .
So of spans . Then .
(b) Prove that there exists a finite-dimensional subspace of such that and .
Proof:
Let be a basis of , then consider the .
If and , then , then
So , then .
So .
If , then . Then .
So .
Combine these 2 parts, we have .
3E.19
Suppose and is a subspace of . Let denote the quotient map from onto . Prove that there exists such that if and only if .
Proof:
Assume , then , so .
So .
If , then let .
It's well defined, because if , then
Next, we show it's linear.
Section 3F Duality
3F.1
Explain why each linear functional is surjective or is the zero map.
Proof:
Assume , if .
Then for any
So is surjective.
3F.2
Give three distinct examples of linear functionals on .
Proof:
3F.3
Suppose is finite-dimensional and with . Prove that there exists such that .
Proof:
Extend to a basis of , then its dual basis satisfies .
3F.4
Suppose is finite-dimensional and is a subspace of such that . Prove that there exists such that for every but .
Proof:
So , then pick any .
3F.5
Suppose π β β(π, π) and is a basis of range . Hence for each , there exist unique numbers such that
thus defining functions from π to π . Show that each of the functions is a linear functional on .
Proof:
Let be the dual basis of . Then
So , which is a linear functional on .
3F.6
Suppose π, π½ β πβ² . Prove that null π β null π½ if and only if there exists π β π such that π½ = ππ.
Proof:
Assume , then
So
If , then can satisfy .
If , then ,
we can find such that .
Then .
If , then , we have a contradition.
So . Then let .
3F.7
Suppose that are vector spaces. Prove that and are isomorphic vector spaces.
Proof:
Note , then we just need to apply exercise 3E.3 by replacing with .
3F.8
Suppose is a basis of π and is the dual basis of . Define and by
Explain why and are inverses of each other.
Proof:
First, we need to prove .
Secondly, we need to prove
The last equation is from 3.114.
3F.9
Suppose is a positive integer. Show that the dual basis of the basis of is , where
Proof:
3F.10
Suppose is a positive integer.
(a) Show that is a basis of .
Proof:
(b) What is the dual basis of the basis in (a)?
Solution:
3F.11
Suppose is a basis of and is the corresponding dual basis of . Suppose . Prove that
Proof:
For all ,
So
3F.12
Suppose .
(a) Prove that
Proof:
Assume and .
So .
(b) Prove that for all .
Proof:
Assume and .
So
3F.13
Show that the dual map of the identity operator on is the identity operator on .
Proof:
Let be the identity operator, and be a linear map in .
.
So is the identity operator on .
3F.14
Define by
Suppose denotes the dual basis of the standard basis of and denotes the dual basis of the standard basis of
(a) Describe the linear functionals and .
Solution:
(b) Write and as linear combinations .
Solution:
3F.15
Define by
for each .
(a) Suppose is defined by . Describe the linear functional on .
Solution:
(b) Suppose is defined by . Evaluate .
Solution:
3F.16
Suppose is finite-dimensional and . Prove that
Proof:
Assume is a basis of , is the dual basis in , then
Another way to prove
3F.17
Suppose π and π are finite-dimensional and π β β(π, π). Prove that π is invertible if and only if πβ² β β(πβ², πβ²) is invertible.
Proof:
Since is invertible, we can find such that .
For the same reason . So is invertible.
We can use a different way: is invertible then, are the same dimension, so are the .
3F.18
Suppose π and π are finite-dimensional. Prove that the map that takes π β β(π, π) to πβ² β β(πβ² , πβ²) is an isomorphism of β(π, π) onto β(πβ² , πβ²).
Proof:
Since and are finite-dimensional, we just need to prove this map is injective is enough. From exercise 3F.16, it's indeed the case.
3F.19
Suppose . Explain why
Proof:
Let .
If , then for , , so . So .
If , then for , , so . So . So .
In summary .
3F.20
Suppose is finite-dimensional and is a subspace of . Show that
Proof
Let .
If , then for every , . So , i.e. .
Let . be a basis of .
For , we consider .
Given , and any , , so .
Then .
So , then , so .
In summary, .
3F.21
Suppose is finite-dimensional and and are subspaces of .
(a) Prove that if and only if .
Proof:
Assume , and give any , since , then . Then from ex 3F.20, we have .
Given , and any , since , , so . So .
3F.22
Suppose is finite-dimensional and and are subspaces of .
(a) Show that .
Proof:
if , then given then , so . Then . Similarly, . So . Then .
If , then and . Given
(b) Show that .
Proof:
If and , and .
Then
So .
On other other hand,
So
Then .
3F.23
Suppose is finite-dimensional and . Prove that the following three sets are equal to each other.
(a)
(b)
(c)
Proof:
The equivalence of and is the result from ex 3F.19.
From ex 3F.22 (b)
So we proved (a) and (b) are equivalent.
3F.24
Suppose is finite-dimensional and . Define a linear map
(a) Prove that spans if and only if is injective.
Proof:
If , then
Then , so .
Then is injective.
If is injective, and let . If , then .
Then , that means , i.e. .
(b) Prove that is linearly independent if and only if is surjective.
Proof:
Let be the dual basis, then which is a standard basis of . So is surjective.
Since is surjective, let be the mapping such that , so .
Let
So is linearly independent.
Now we try a different approach. First, we consider the following isomorphism from
Where is the dual basis of the standard basis .
Let , so
Also consider from
Let , then
On the other hand,
This shows is dual map of .
Now coming back the problem.
Also
3F.25
Suppose is finite-dimensional and . Define a linear map
by .
(a) Prove that spans if and only if is injective.
Proof:
Consider , note , so , then from . is injective.
If is injective, then we consider . From 23.b we know
Since is injective, then
Then .
(b) Prove that is linearly independent if and only if is surjective.
Proof
Since is surjective, we can find .
Then is the dual basis . Then is linearly independent.
I cannot prove the other side easily.
So we consider the dual map of , and is the dual basis of the standard basis of .
So .
Also
3F.26
Suppose is finite-dimensional and is a subspace of . Prove that
Proof:
Let
And be a basis of .
Then
Then from ex 2.22
3F.27
Suppose π β β(π« 5(π)) and null πβ² = span(π), where π is the linear functional on π« 5(π) defined by π(π) = π(8). Prove that
Proof:
Let .
Assume , since We have .
Then , i.e. , so .
On the other hand
So and has the same dimension.
Then we conclude .
3F.28
Suppose is finite-dimensional and is a linearly independent list in . Prove that
Proof:
Let
From ex 3F.23, . Since is a linearly independent list, .
Then .
3F.29
Suppose π and π are finite-dimensional and π β β(π, π).
(a) Prove that if and , then .
Proof:
If , since then , .
On the other hand,
(b) Prove that if and range , then .
Proof:
If , since , . Then .
So .
3F.30
Suppose is finite-dimensional and is a basis of . Show that there exists a basis of whose dual basis is .
Proof:
We will use ex 3F.26.
Let .
.
So , assume . If , then , we have a contradition.
So let . Assume .
The repeat this process, we can find the rest of .
3F.31
Suppose π is a subspace of π . Let π βΆ π β π be the inclusion map defined by π(π’) = π’. Thus πβ² β β(πβ², πβ²).
(a) Show that null .
Proof:
If , then , i.e.
On the other hand,
(b) Prove that if π is finite-dimensional, then range πβ² = πβ².
Proof:
For any , it's a linear mapping from to . Since is a subspace of , it's possible to extend from to , such that for , . Then we have
So .
(c) Prove that if is finite-dimensional, then is an isomorphism from onto .
Proof:
This is an immediate result from 3.107 (d) null space and range of .
3F.32
The double dual space of , denoted by , is defined to be the dual space of . In other words, . Define by
for each and each .
(a) Show that is a linear map from to .
Proof:
(b) Show that if π β β(π), then πβ³ β Ξ = Ξ β π, where πβ³ = (πβ²)β².
Proof:
First note by .
And by .
Assume ,
3F.33
Suppose π is a subspace of π . Let π βΆ π β π/π be the usual quotient map. Thus πβ² β β((π/π)β², πβ²).
(a) Show that πβ² is injective.
Proof:
This is because is surjective, then from 3.129, is injective.
(b) Show that .
Proof:
3.130 (b) states .
Also , so .
(c) Conclude that is an isomorphism from (π/π)β² onto .
Proof:
From (a) and (b) is both injective and surjective from to . So is an isomorphism.