Fa3 Uniform Boundedness
Fa3 Uniform Boundedness
is dense in X.
Corollary 3.3 Let (X, d) be a complete metric space, let (An )n∈N be a sequence of closed
and nowhere dense subsets of X. Then
[
X\ An (3.5)
n∈N
is dense in X.
32
Proof: We apply Proposition 3.1, setting Un = X \ An . 2
Proposition 3.1 and Corollary 3.3 imply in particular that D = ∩n Un resp. X \ ∪n An are
nonempty. Thus, they provide a way to prove existence of certain objects. For example
one can show in this manner (see Werner p.139) that the set of all continuous but nowhere
differentiable functions forms a dense subset of (C([a, b]), k · k∞ ).
We present another existence result.
Corollary 3.4 Let (X, d) be a complete metric space, let (An )n∈N be a sequence of closed
subsets of X such that [
X= An . (3.6)
n∈N
are also called sets of first category in X. Subsets of X which are not of first category
are called of second category in X. When one uses this terminology, a complete metric
space is always of second category (in itself).
The statement of the following proposition is called the principle of uniform boundedness.
Then
sup kT k < ∞ . (3.8)
T ∈T
An = {x : x ∈ X, sup kT xk ≤ n} . (3.9)
T ∈T
33
By assumption (3.7) we have [
X= An .
n∈N
Due to Corollary 3.4 we can choose a k ∈ N such that int (Ak ) 6= ∅. Let x0 ∈ Ak , ε > 0
with K(x0 ; ε) ⊂ Ak . Let now x ∈ X be arbitrary, x 6= 0, then
x
z = x0 + ε ∈ K(x0 ; ε) ⊂ Ak .
kxk
In addition, let T ∈ T be arbitrary. Then
kxk kxk kxk
kT xk = T (z − x0 ) = kT z − T x0 k ≤ 2k ,
ε ε ε
and therefore
2k
kT k ≤ , for all T ∈ T .
ε
2
Definition 3.6 (Open Mapping) Let (X, dX ), (Y, dY ) be metric spaces. A mapping
T : X → Y is called open if T (U ) is open in Y for every open subset U of X. 2
When the mapping T is open, the image of closed subset of X is not necessarily closed in
Y ; not even when T is linear (Example: exercise.)
(i) T is open.
(iii) T is surjective.
According to Corollary 3.4 we choose a k ∈ N such that int (T (B(0; k))) 6= ∅. We set
V = T (B(0; k)). Let now y ∈ V , ε > 0 such that
B(y; ε) ⊂ V .
34
Since V is symmetric (that is, z ∈ V ⇒ −z ∈ V ), we see that B(−y; ε) ⊂ V . Since V is
convex, it follows that
B(0; ε) ⊂ V = T (B(0; k)) . (3.10)
It now suffices to show that
B(0; ε) ⊂ T (B(0; 3k)) , (3.11)
because then (ii) is satisfied for δ = ε/3k. By (3.10), for every y ∈ B(0; ε) we find an
x ∈ B(0; k) such that ky − T xk < ε/2, so
It follows that
2−(j+1) yj+1 = 2−j yj − T (2−j xj ) , j ∈ N,
therefore !
m
X
T 2−j xj = y0 − 2−(m+1) ym+1 → y0 (3.14)
j=0
f”ur m → ∞. Since m
X
2−j kxj k ≤ 2k , (3.15)
j=0
Now (3.14) implies that T x = y0 , and (3.15) implies that kxk ≤ 2k < 3k. Thus (3.11) is
proved. 2
Proof: That T −1 is linear, is a result of linear algebra. It follows from Proposition 3.7
that T is open. Therefore, for every open U ⊂ X it follows that (T −1 )−1 (U ) = T (U ) is
open. Thus, T −1 is continuous. 2
Let us consider the situation when a vector space X is endowed with two different norms
k · k1 and k · k2 so that
kxk1 ≤ Ckxk2 , for all x ∈ X, (3.16)
holds with a constant C which does not depend on x. This means that k · k1 is weaker
than k · k2 in the sense that convergence w.r.t. k · k2 implies convergence w.r.t. k · k1 , but
not the other way round. (3.16) means that
id : (X, k · k2 ) → (X, k · k1 )
35
is continuous. We now conclude from Corollary 3.8 that
id : (X, k · k1 ) → (X, k · k2 )
is continuous, too, if (X, k · k1 ) and (X, k · k2 ) both are Banach spaces; in this case it
follows that both norms are equivalent, and
(X, k · k1 ) ' (X, k · k2 ) .
If (3.16) holds, but the two norms are not equivalent, then at least one of the spaces
(X, k · k1 ) and (X, k · k2 ) is not complete. Example: X = C([a, b]). C([a, b]) is complete
for k · k2 = k · k∞ , and for the L1 -Norm we have
kxk1 ≤ (b − a)kxk∞ ,
but these two norms are not equivalent (there exist sequences (xn )n∈N with kxn k1 → 0,
but kxn k∞ 9 0). Therefore (C([a, b]); k · k1 ) is not complete.
Proof: Exercise. 2
In the situation of Corollary 3.9, problems arise if one wants to solve T x = y for a given
y in a “stable” manner. The corollary implies that there exists a sequence (yn ) in Y of
approximations yn of y, namely yn → y, for which kxkn → ∞ holds for the exact solutions
xn of the equation T x = yn . We might want to use (xn ) as a sequence of approximate
solutions of T x = y; but they are worthless for large values of n.
The graph of a mapping T : X → Y is defined as
graph (T ) = {(x, T x) : x ∈ X} . (3.17)
Proof: “(ii)⇒(i)”: Let (xn , yn ) be a sequence in graph (T ) such that (xn , yn ) → (x, y) ∈
X × Y ; then yn = T xn , xn → x and T xn → T x, thus y = T x.
“(i)⇒(ii)”: As T is linear, graph (T ) is a closed subspace of X × Y and therefore a Banach
space. The projection PX |graph (T ) : graph (T ) → X is linear, continuous and bijective.
By Proposition 3.8, it has a linear and continuous inverse Q : X → graph (T ). It follos
that T = PY ◦ Q is continuous. 2
This result is useful when one wants to prove that a given T is continuous; it says that it
suffices to prove that if xn → x and T xn → y, then T x = y. (Otherwise one has to prove
first that if xn → x, then T xn converges to some y.)
36