Duality
[33/0%]Explain why each linear functional is surjective or is the zero map.
Give three distinct examples of linear functionals on .
Suppose is finite-dimensional and with . Prove that there exists such that .
Suppose is finite-dimensional and is a subspace of such that . Prove that there exists such that for every but .
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 .
Suppose . Prove that if and only if there exists such that .
Suppose that are vector spaces. Prove that and are isomorphic vector spaces.
Suppose is a basis of and is the dual basis of . Define and by
Explain why and are inverses of each other.
Suppose is a positive integer. Show that the dual basis of the basis of is , where
Here denotes the derivative of , with the understanding that the derivative of is .
Suppose is a positive integer.
Show that is a basis of .
What is the dual basis of the basis in (a)?
Suppose is a basis of and is the corresponding dual basis of . Suppose . Prove that
Suppose .
Prove that .
Prove that for all .
This exercise asks you to verify (a) and (b) in 3.120.
Show that the dual map of the identity operator on is the identity operator on .
Define by
Suppose denotes the dual basis of the standard basis of and denotes the dual basis of the standard basis of .
Describe the linear functionals and .
Write and as linear combinations of .
Define by
for each .
Suppose is defined by . Describe the linear functional on .
Suppose is defined by . Evaluate .
Suppose is finite-dimensional and . Prove that
Suppose and are finite-dimensional and . Prove that is invertible if and only if is invertible.
Suppose and are finite-dimensional. Prove that the map that takes to is an isomorphism of onto .
Suppose . Explain why
Suppose is finite-dimensional and is a subspace of . Show that
Suppose is finite-dimensional and and are subspaces of .
Prove that if and only if .
Prove that if and only if .
Suppose is finite-dimensional and and are subspaces of .
Show that .
Show that .
Suppose is finite-dimensional and . Prove that the following three sets are equal to each other.
Suppose is finite-dimensional and . Define a linear map by .
Prove that spans if and only if is injective.
Prove that is linearly independent if and only if is surjective.
Suppose is finite-dimensional and . Define a linear map by .
Prove that spans if and only if is injective.
Prove that is linearly independent if and only if is surjective.
Suppose is finite-dimensional and is a subspace of . Prove that
Suppose and , where is the linear functional on defined by . Prove that
Suppose is finite-dimensional and is a linearly independent list in . Prove that
Suppose and are finite-dimensional and .
Prove that if and , then range .
Prove that if and range , then .
Suppose is finite-dimensional and is a basis of . Show that there exists a basis of whose dual basis is .
Suppose is a subspace of . Let be the inclusion map defined by . Thus .
Show that .
Prove that if is finite-dimensional, then range .
Prove that if is finite-dimensional, then is an isomorphism from onto .
The isomorphism in (c) is natural in that it does not depend on a choice of basis in either vector space.
The double dual space of , denoted by , is defined to be the dual space of . In other words, . Define by
for each and each .
Show that is a linear map from to .
Show that if , then , where .
Show that if is finite-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.
Suppose is a subspace of . Let be the usual quotient map. Thus .
Show that is injective.
Show that range .
Conclude that is an isomorphism from onto .
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.