Fa 18 Exsol
Fa 18 Exsol
is equivalent to
1
sup ||T x||β ∀α ∈ F : ||x||α ⩽ 1 < .
r
This shows that (ii) is equivalent to (iii).
If we regard the topology on R as the topology induced by | · |, then Proposition V.11 says
that continuity of a functional f : V → R is equivalent to the existence of a finite set of
continuous seminorms F on V with
2. Let V be a finite-dimensional normed space. Show that the weak topology and the norm
topology on V coincide.
Solution: Consider a basis (f1 , , . . . , fn ) of V ∗ and define the seminorms ||v||i := |f (vi )| for
i = 1, . . . , n. Any functional f ∈ V ∗ is continuous with respect to the topology defined by
the seminorms || · ||i because we can write f = λ1 f1 + · · · + λn fn and then
for all v ∈ V . This implies the weak topology is generated by the finite set ||·||i . In particular,
the weak topology is the topology defined by the norm
|| · || := || · ||1 + · · · + || · ||n .
Thus the weak topology coincides with the (unique) norm topology on V .
3. Let X be a set, F = {(φ, Yi ) : i ∈ I} a family of pairs consisting of topological spaces Yi
with a map φi : X → Yi and equip X with the initial topology with respect to F . Prove
that a sequence (xn )n ∈ X converges to x ∈ X if and only if φi (xn ) converges to φi (x) for
all i ∈ I.
Solution: Suppose (xn )n∈N is a sequence in X. If the sequence has a limit point x ∈ X then
φi (x) is a limit point of (φi (xn ))n∈N for each i ∈ I because the functions are continuous.
For the other direction, define
[
B := {φ−1
i (V )|V ⊂ Yi open} ⊂ P(X).
i∈I
1
D-MATH Functional Analysis I HS 2023
Prof. Marc Burger
Equip X with the topology whose opens are unions of finite intersections U1 ∩ · · · Un with
Ui ∈ B. This is the smallest topology which contains B and hence the initial topology.
Suppose there exists x ∈ X such that φi (x) is a limit point of φi (xn ) for all i ∈ I. Let W be
a generic neighborhood of x ∈ X. There exists i1 , . . . , im ∈ I and opens Vj ⊂ Yij such that
\
x∈ φ−1
ij (Vj ) ⊂ W
j
because such sets form a basis for the topology. There exists N ⩾ 0 such that φij (xn ) ∈ Vij
for each j and n ⩾ N . In particular, we get xn ∈ W for all n ⩾ N. This implies that x is a
limit point of (xn )n .
4. Show that on L2loc (R) (where we take the Lebesgue measure) there is no norm inducing the
topology defined in Example V.10.
Solution: Suppose L2loc (R) is a normed space with norm || · ||. Set
||χR\K || = 0
and therefore χR\K = 0. But the set K is compact which means R\K is a non-empty open
set and hence χR\K ̸= 0. This is the desired contradiction.