Linear Functionals
[21/52%]Suppose is a normed vector space and is a linear functional on . Suppose . Prove that the following are equivalent:
-
is a bounded linear functional.
-
is a closed subset of .
-
.
Suppose is a linear functional on a vector space . Prove that if is a subspace of such that , then or .
Suppose and are linear functionals on the same vector space. Prove that
if and only if there exists such that .
For this exercise and the next, should be endowed with the norm as defined in Example 6.34.
Suppose and is a normed vector space. Prove that every linear map from to is continuous.
For this exercise, as for the previous one, should be endowed with the norm as defined in Example 6.34.
Suppose , is a normed vector space, and is a linear map that is one-to-one and onto .
Show that
Prove that is a bounded linear map.
Suppose .
Prove that all norms on have the same convergent sequences, the same open sets, and the same closed sets.
Prove that all norms on make into a Banach space.
Suppose and are normed vector spaces and is finite-dimensional. Prove that every linear map from to is continuous.
Prove that every finite-dimensional normed vector space is a Banach space.
Prove that every finite-dimensional subspace of each normed vector space is closed.
Give a concrete example of an infinite-dimensional normed vector space and a basis of that normed vector space.
Show that the collection of subsets of satisfies the hypothesis of Zorn's Lemma (6.60).
6.60 (Zorn's Lemma): Suppose is a set and is a collection of subsets of with the property that the union of all the sets in is in for every chain . Then contains a maximal element.
Prove that every linearly independent family in a vector space can be extended to a basis of the vector space.
Suppose is a normed vector space, is a subspace of , and is a bounded linear functional. Prove that has a unique extension to a bounded linear functional on with if and only if
for every .
Show that there exists a linear functional such that
for all and
for all such that the limit above on the right exists.
Suppose is an open ball in a normed vector space such that . Prove that there exists such that
for all .
Show that the dual space of each infinite-dimensional normed vector space is infinite-dimensional.
A normed vector space is called separable if it has a countable subset whose closure equals the whole space.
Suppose is a separable normed vector space. Explain how the Hahn-Banach Theorem (6.69) for can be proved without using any results (such as Zorn's Lemma) that depend upon the Axiom of Choice.
A normed vector space is called separable if it has a countable subset whose closure equals the whole space.
Suppose is a normed vector space such that the dual space is a separable Banach space. Prove that is separable.
A normed vector space is called separable if it has a countable subset whose closure equals the whole space.
Prove that the dual of the Banach space is not separable; here the norm on is defined by .
The double dual space of a normed vector space is defined to be the dual space of the dual space. If is a normed vector space, then the double dual space of is denoted by ; thus . The norm on is defined to be the norm it receives as the dual space of .
Define by
for and . Show that for every .
The map defined above is called the canonical isometry of into .
Suppose is an infinite-dimensional normed vector space. Show that there is a convex subset of such that and such that the complement is also a convex subset of with .
See 8.25 for the definition of a convex set: a subset of a vector space is convex if for all and all (i.e. contains the line segment connecting each pair of points in it). This exercise should stretch your geometric intuition because this behavior cannot happen in finite dimensions.