1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
---
title: Reflexive Spaces
parent: Functional Analysis Basics
nav_order: 2
# cspell:words
---
# {{ page.title }}
{: .definition-title }
> Definition (Canonical Embedding)
>
> Let $X$ be a normed space.
> The mapping
>
> $$
> C : X \longrightarrow X'', \quad x \mapsto g_x,
> $$
>
> where the functional $g_x$ on $X'$ is defined by
>
> $$
> g_x(f) = f(x) \quad \text{for $f \in X'$,}
> $$
>
> is called the *canonical embedding* of $X$ into its bidual $X''$.
{: .lemma }
> The canonical embedding $C : X \to X''$ of a normed space into its bidual
> is well-defined and an embedding of normed spaces.
{% proof %}
{% endproof %}
In particular, $C$ is isometric, hence injective.
{: .definition-title }
> Definition (Reflexivity)
>
> A normed space is said to be *reflexive*
> if the canonical embedding into its bidual
> is surjective.
If a normed space $X$ is reflexive,
then $X$ is isomorphic with $X''$, its bidual.
James gives a counterexample for the converse statement.
{: .theorem }
> If a normed space is reflexive,
> then it is complete; hence a Banach space.
{% proof %}
{% endproof %}
{: .theorem }
> If a normed space $X$ is reflexive,
> then the weak and weak$^*$ topologies on $X'$ agree.
{% proof %}
By definition, the weak and weak$^*$ topologies on $X'$
are the initial topologies induced by the sets of functionals
$X''$ and $C(X)$, respectively.
Since $X$ is reflexive, those sets are equal.
{% endproof %}
The converse is true as well. Proof: TODO
{: .theorem }
> If a normed space $X$ is reflexive,
> then its dual $X'$ is reflexive.
{% proof %}
Since $X$ is reflexive,
the canonical embedding
$$
C : X \longrightarrow X'', \quad C(x)(f) = f(x), \quad x \in X, f \in X',
$$
is an isomorphism.
Therefore, the the dual map
$$
C' : X''' \longrightarrow X', \quad C'(h)(x) = h(C(x)), \quad x \in X, h \in X''',
$$
is an isomorphism as well.
A priori, it is not clear how $C'$ is related to
the canonical embedding
$$
D : X' \longrightarrow X''', \quad D(f)(g) = g(f), \quad f \in X', g \in X''.
$$
To show that $D$ is surjective,
consider any element $h$ in $X'''$.
We claim that $h=D(f)$ with $f=C'(h)$.
Let $g$ be any element of $X''$.
It is of the form $g=C(x)$ with $x \in X$ unique, because $X$ is reflexive.
We have
$$
h(g) = h(C(x)) = C'(h)(x) = f(x)
$$
by the definition of $C'$.
On the other hand,
$$
D(f)(g) = g(f) = C(x)(f) = f(x)
$$
by the definitions of $D$ and $C$.
This shows that $D$ is surjective, hence $X'$ is reflexive.
In fact, we have shown more: $D = (C')^{-1}$.
{% endproof %}
{: .theorem }
> Every finite-dimensional normed space is reflexive.
>
{: .theorem }
> Every Hilbert space is reflexive.
|
