Professional Documents
Culture Documents
1. Let X be a normed real vector space and A ⊂ X be a convex set containing 0 in its
interior. Define
x
pA (x) = inf{t > 0 | ∈ A}.
t
Show that pA is a Minkowski functional.
2. Let X be a normed real vector space and f : X → R be a nonzero linear functional.
Show that the map f : X → R is open.
3. Let X be a normed real vector space and f : X → R be a linear functional such that
sup f (x) < +∞
x∈U
for some neighbourhood U of 0. Show that f is bounded.
The Hahn–Banach theorem
4. Let p1 , . . . , pn beP
seminorms on a vector space X. Assume f is a linear functional on
X such that |f P (x)| ≤ nk=1 pk (x) for all x ∈ X. Show that there exist linear functionals fk
such that f = nk=1 fk and |fk (x)| ≤ pk (x) for all x ∈ X and k = 1, . . . , n. Hint: consider
the space X n and its subspace consisting of the vectors (x, . . . , x), x ∈ X.
5. Let X be an infinite dimensional normed space.
(i) Construct by induction vectors xn ∈ X and linear functionals fn ∈ X ∗ such that
kxn k = kfn k = fn (xn ) = 1 for all n and fn (xm ) = 0 for all n < m.
(ii) Show that if X is complete, then there exists an injective linear map `∞ → X.
(iii)∗ Show that the vector space `∞ has a continuum of linearly independent vectors.
We thus conclude that any infinite dimensional Banach space has a continuum of linearly
independent vectors.
6. Recall (or prove yourself, or read Theorem 25.17 in [D]) that given a normed space X
and a closed subspace Y ⊂ X, the quotient space X/Y becomes a normed space with the
norm
kx + Y k = inf kx + yk.
y∈Y
(Furthermore, if X is a Banach space, then X/Y is also a Banach space.)
Now, define the annihilator of Y by
Y ⊥ = {f ∈ X ∗ | f = 0 on Y }.
Show that:
(i) Elements of Y ⊥ can be considered as linear functionals on X/Y , and elements of X ∗ /Y ⊥
can be considered as linear functionals on Y .
(ii) The identifications in (i) give the equalities
(X/Y )∗ = Y ⊥ and Y ∗ = X ∗ /Y ⊥
of normed spaces (meaning that we also have equalities of the norms).
7. Recall that c∗0 = `1 and show that any bounded functional on c0 has a unique Hahn-
Banach extension to `∞ (that is, an extension which preserves the norm of the functional).
1
2