Exercises 3F
[[3F-1]]Β Explain why each linear functional is surjective or is the zero map.
[[3F-2]] Β Give three distinct examples of linear functionals on π[0,1].
[[3F-3]] Β Suppose π is finite-dimensional and π£ β π with π£ =ΜΈ 0. Prove that there exists π β πβ² such that π(π£) = 1.
[[3F-4]] Β Suppose π is finite-dimensional and π is a subspace of π such that π =ΜΈ π. Provethatthereexistsπ β πβ² suchthatπ(π’) = 0foreveryπ’ β πbutπ =ΜΈ 0.
[[3F-5]] Β Suppose π β L(π, π) and π€1, ..., π€π is a basis of range π. Hence for each π£ β π, there exist unique numbers π1(π£), ..., ππ(π£) such that
ππ£ = π1(π£)π€1 + β― + ππ(π£)π€π,
thus defining functions π1, ..., ππ from π to π
. Show that each of the functions π1, ..., ππ is a linear functional on π.
[[3F-6]] Β Suppose π, π½ β πβ². Prove that null π β null π½ if and only if there exists
π β π
such that π½ = ππ.
[[3F-7]] Β Suppose that π1,...,ππ are vector spaces.
Prove that (π1 Γβ―Γππ)β² and π1β² Γ β― Γ ππβ² are isomorphic vector spaces.
[[3F-8]] Β Suppose π£1, ..., π£π is a basis of π and π1, ..., ππ is the dual basis of πβ².
Define
ΞβΆ π β π
π and ΞβΆ π
π β π by
Ξ(π£) = (π1(π£), ..., ππ(π£)) and Ξ(π1, ..., ππ) = π1π£1 + β― + πππ£π.
Explain why Ξ and Ξ are inverses of each other.
[[3F-9]] Β Suppose π is a positive integer.
Show that the dual basis of the basis 1,π₯,...,π₯π of π«π(π) is π0,π1,...,ππ, where
ππ(π) = π(π)(0)/ π!
Here π(π) denotes the πth derivative of π, with the understanding that the 0th derivative of π is π.
[[3F-10]] Β Suppose π is a positive integer.
(a) Show that 1,π₯ β 5,...,(π₯ β 5)π is a basis of π«π(π).
(b) What is the dual basis of the basis in (a)?
[[3F-11]] Β Suppose π£1, ..., π£π is a basis of π and π1, ..., ππ is the corresponding dual basis of πβ². Suppose π β πβ².
Prove that π = π(π£1)π1 + β― + π(π£π)ππ.
Prove that π = π(π£1)π1 + β― + π(π£π)ππ.
[[3F-12]] Β Suppose π,π β L(π,π).
(a) Prove that (π+π)β² =πβ² +πβ².
(b) Prove that (ππ)β² = ππβ² for all π β π
.
This exercise asks you to verify (a) and (b) in 3.120.
[[3F-13]] Β Show that the dual map of the identity operator on π is the identity operator on πβ².
[[3F-14]] Β DefineπβΆπ3βπ2by
π(π₯,π¦,π§) = (4π₯+5π¦+6π§,7π₯+8π¦+9π§).
Suppose π1,π2 denotes the dual basis of the standard basis of π2 and π1, π2, π3 denotes the dual basis of the standard basis of π3.
(a) Describe the linear functionals πβ²(π1) and πβ²(π2).
(b) Write πβ²(π1) and πβ²(π2) as linear combinations of π1, π2, π3.
[[3F-15]] Β DefineπβΆπ«(π)βπ«(π)by (ππ)(π₯) = π₯2π(π₯) + πβ²β²(π₯) for each π₯ β π.
1. (a) Β Suppose π β π«(π)β² is defined by π(π) = πβ²(4). Describe the linear functional πβ²(π) on π«(π).
2. (b) Β Suppose π β π«(π)β² is defined by π(π) = β«1 π. Evaluate (πβ²(π))(π₯3). 0
[[3F-16]] Β Suppose π is finite-dimensional and π β L(π, π). Prove that πβ² = 0 βΊ π = 0.
[[3F-17]] Β Suppose π and π are finite-dimensional and π β L(π, π). Prove that π is invertible if and only if πβ² β L(πβ², πβ²) is invertible.
[[3F-18]] Β Suppose π and π are finite-dimensional. Prove that the map that takes
π β L(π, π) to πβ² β L(πβ², πβ²) is an isomorphism of L(π, π) onto L(πβ², πβ²).
[[3F-19]] Β Suppose π β π. Explain why π0 = {π β πβ² βΆπ β nullπ}.
[[3F-20]] Β Suppose π is finite-dimensional and π is a subspace of π. Show that π = {π£ β π βΆ π(π£) = 0 for every π β π0}.
[[3F-21]] Β Suppose π is finite-dimensional and π and π are subspaces of π.
(a) Prove that π0 βπ0 if and only if πβπ.
(b) Prove that π0 =π0 if and only if π=π.
[[3F-22]] Β Suppose π is finite-dimensional and π and π are subspaces of π.
(a) Show that (π + π)0 = π0 β© π0. (b) Show that (π β© π)0 = π0 + π0.
[[3F-23]] Β Suppose π is finite-dimensional and π1, ..., ππ β πβ². Prove that the following three sets are equal to each other.
(a) span(π1, ..., ππ)
(b) ((nullπ ) β© β― β© (nullπ ))0
(c) {π β πβ² βΆ (nullπ1) β© β― β© (nullππ) β nullπ}
[[3F-24]] Β Suppose π is finite-dimensional and π£1, ..., π£π β π. Define a linear map ΞβΆπβ² βπ
π byΞ(π)=(π(π£1),...,π(π£π)).
(a) Prove that π£1, ..., π£π spans π if and only if Ξ is injective.
(b) Prove that π£1, ..., π£π is linearly independent if and only if Ξ is surjective.
[[3F-25]] Β Suppose π is finite-dimensional and π1, ..., ππ β πβ². Define a linear map ΞβΆπβπ
π byΞ(π£)=(π1(π£),...,ππ(π£)).
(a) Prove that π1, ..., ππ spans πβ² if and only if Ξ is injective.
(b) Prove that π1, ..., ππ is linearly independent if and only if Ξ is surjective.
[[3F-26]] Β Suppose π is finite-dimensional and Ξ© is a subspace of πβ². Prove that Ξ© = {π£ β π βΆ π(π£) = 0 for every π β Ξ©}0.
[[3F-27]] Β Suppose π β L(π«5(π)) and nullπβ² = span(π), where π is the linear functional on π«5(π) defined by π(π) = π(8). Prove that range π = {π β π«5(π) βΆ π(8) = 0}.
[[3F-28]] Β Suppose π is finite-dimensional and π1, ..., ππ is a linearly independent list
in πβ². Prove that
dim((null π1) β© β― β© (null ππ)) = (dim π) β π.
[[3F-29]] Β Suppose π and π are finite-dimensional and π β L(π, π).
(a) Prove that if π β πβ² and null πβ² = span(π), then range π = null π.
(b) Prove that if π β πβ² and range πβ² = span(π), then null π = null π.
[[3F-30]] Β Suppose π is finite-dimensional and π1, ..., ππ is a basis of πβ². Show that
there exists a basis of π whose dual basis is π1, ..., ππ.
[[3F-31]] Β Suppose π is a subspace of π. Let π βΆ π β π be the inclusion map defined by π(π’) = π’.
Thus πβ² β L(πβ², πβ²).
1. (a) Β Showthatnullπβ² =π0.
2. (b) Β Prove that if π is finite-dimensional, then range πβ² = πβ².
3. (c) Β Prove that if π is finite-dimensional, then πβ²Μ is an isomorphism from πβ²/π0 onto πβ².
The isomorphism in (c) is natural in that it does not depend on a choice of basis in either vector space.
[[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 π β πβ².
1. (a) Β Show that Ξ is a linear map from π to πβ²β².
2. (b) Β ShowthatifπβL(π),thenπβ²β²βΞ=Ξβπ,whereπβ²β² =(πβ²)β².
3. (c) Β Showthatifπisfinite-dimensional,then Ξ is an isomorphism from π onto πβ²β².
Suppose π is finite-dimensional. Then π and πβ² are isomorphic, but finding an isomorphism from π onto πβ² generally requires choosing a basis of π. In contrast, the isomorphism Ξ from π onto πβ²β² does not require a choice of basis and thus is considered more natural.
[[3F-33]] Suppose πis a subspace of π. Let πβΆπβπ/π be the usual quotient map.
Thus πβ² β L((π π)', πβ²).
(a) Show that πβ² is injective.
(b) Show that range πβ² = π0.
(c) Conclude that πβ² is an isomorphism from (π/π)β² onto π0.
The isomorphism in (c) is natural in that it does not depend on a choice of basis in either vector space.
In fact, there is no assumption here that any of these vector spaces are finite-dimensional.
---