Conway - A Course in Functional Analysis
Conway - A Course in Functional Analysis
Editorial Board
S. Axler K.A. Ribet
Graduate Texts in Mathematics
TAKEUTI/ZARING. Introduction to Axiomatic 39 ARVESON. An Invitation to C-Algebras.
Set Theory. 2nd ed. 40 KEMENY/SNELL/KNAPP. Denumerable
2 OxTOBY. Measure and Category. 2nd ed. Markov Chains. 2nd ed.
3 ScHAEFER. Topological Vector Spaces. 41 APOSTOL. Modular Functions and Dirichlet
2nd ed. Series in Number Theory. 2nd ed.
4 HILTON/STAMMBACH. A Course in 42 J.-P. SERRE. Linear Representations of Finite
Homological Algebra. 2nd ed. Groups.
5 MAC LANE. Categories for the Working 43 GILLMANIJERISON. Rings of Continuous
Mathematician. 2nd ed. Functions.
6 HUGHES/PIPER. Projective Planes. 44 KENDIG. Elementary Algebraic Geometry.
7 J.-P. Serre. A Course in Arithmetic. 45 LOEVE. Probability Theory I. 4th ed.
8 TAKEUn/ZARING. Axiomatic Set Theory. 46 LOEVE. Probability Theory II. 4th ed.
9 HuMPHREYS. Introduction to Lie Algebras 47 MOISE. Geometric Topology in Dimensions
and Representation Theory. 2 and 3.
10 CoHEN. A Course in Simple Homotopy 48 SAcHs/Wu. General Relativity for
Theory. Mathematicians.
II CoNWAY. Functions of One Complex 49 GRUENBERG/WEIR. Linear Geometry.
Variable I. 2nd ed. 2nd ed.
12 BEALS. Advanced Mathematical Analysis. 50 EDWARDS. Fermat's Last Theorem.
13 ANDERSON/FULLER. Rings and Categories 51 KLINGENBERG. A Course in Differential
of Modules. 2nd ed. Geometry.
14 GoLUBITSKYIGUILLEMIN. Stable Mappings 52 HARTSHORNE. Algebraic Geometry.
and Their Singularities. 53 MAN IN. A Course in Mathematical Logic.
15 BERBERIAN. Lectures in Functional Analysis 54 GRAVER/WATKINS. Combinatorics with
and Operator Theory. Emphasis on the Theory of Graphs.
16 WINTER. The Structure of Fields. 55 BRowN/PEARCY. Introduction to Operator
17 RoSENBLATT. Random Processes. 2nd ed. Theory I: Elements of Functional Analysis.
18 HALMos. Measure Theory. 56 MASSEY. Algebraic Topology: An
19 HALMOS. A Hilbert Space Problem Book. Introduction.
2nd ed. 57 CROWELL/Fox. Introduction to Knot Theory.
20 HUSEMOLLER. Fibre Bundles. 3rd ed. 58 KoBLITZ. p-adic Numbers, p-adic Analysis,
21 HUMPHREYS. Linear Algebraic Groups. and Zeta-Functions. 2nd ed.
22 BARNES/MACK. An Algebraic Introduction 59 LANG. Cyclotomic Fields.
to Mathematical Logic. 60 ARNOLD. Mathematical Methods in
23 GREUB. Linear Algebra. 4th ed. Classical Mechanics. 2nd ed.
24 HOLMES. Geometric Functional Analysis 61 WHITEHEAD. Elements of Homotopy
and Its Applications. Theory.
25 HEWITT/STROMBERG. Real and Abstract 62 KARGAPOLOVfMERIZJAKOV. Fundamentals
Analysis. of the Theory of Groups.
26 MANES. Algebraic Theories. 63 BOLLOBAS. Graph Theory.
27 KELLEY. General Topology. 64 EDWARDS. Fourier Series. Vol. I. 2nd ed.
28 ZARISKJ!SAMUEL. Commutative Algebra. Vol. I. 65 WELLS. Differential Analysis on Complex
29 ZARISKIISAMUEL. Commutative Algebra. Vol. n. Manifolds. 2nd ed.
30 JACOBSON. Lectures in Abstract Algebra I. 66 WATERHOUSE. Introduction to Affine Group
Basic Concepts. Schemes.
31 JACOBSON. Lectures in Abstract Algebra II. 67 SERRE. Local Fields.
Linear Algebra. 68 WEIDMANN. Linear Operators in Hilbert
32 JACOBSON. Lectures in Abstract Algebra III. Spaces.
Theory of Fields and Galois Theory. 69 LANG. Cyclotomic Fields II.
33 HIRSCH. Differential Topology. 70 MASSEY. Singular Homology Theory.
34 SPITZER. Principles of Random Walk. 2nd ed. 71 FARKAS!KRA. Riemann Surfaces. 2nd ed.
35 ALEXANDER/WERMER. Several Complex 72 STILLWELL. Classical Topology and
Variables and Banach Algebras. 3rd ed. Combinatorial Group Theory. 2nd ed.
36 KELLEYINAMIOKA eta!. Linear Topological 73 HUNGERFORD. Algebra.
Spaces. 74 DAVENPORT. Multiplicative Number Theory.
37 MONK. Mathematical Logic. 3rd ed.
38 GRAUERTIFRITZSCHE. Several Complex 75 HocHSCHILD. Basic Theory of Algebraic
Variables. Groups and Lie Algebras.
(continued after index)
John B. Conway
A Course in
Functional Analysis
Second Edition
~Springer
John B. Conway
Department of Mathematics
University of Tennessee
KnoxviIle, Tennessee 37996
USA
Editorial Board
S. Axler K.A. Ribet
Mathematics Department Mathematics Department
San Francisco State University University of California, Berkeley
San Francisco, CA 94132 Berkeley, CA 94720
USA USA
With 1 lIlustration.
15 14 13 12 11 10
springer. corn
For Ann (of course)
Preface
briefly touched here, but which constitute entire areas by themselves, are
topological vector spaces and ordered linear spaces. Both are beautiful
theories and both have books which do them justice.
The prerequisites for this book are a thoroughly good course in measure
and integration-together with some knowledge of point set topology. The
appendices contain some of this material, including a discussion of nets in
Appendix A. In addition, the reader should at least be taking a course in
analytic function theory at the same time that he is reading this book. From
the beginning, analytic functions are used to furnish some examples, but it is
only in the last half of this text that analytic functions are used in the proofs of
the results.
It has been traditional that a mathematics book begin with the most general
set of axioms and develop the theory, with additional axioms added as the
exposition progresses. To a large extent I have abandoned tradition. Thus the
first two chapters are on Hilbert space, the third is on Banach spaces, and the
fourth is on locally convex spaces. To be sure, this causes some repetition
(though not as much as I first thought it would) and the phrase "the proof is
just like the proof of ... " appears several times. But I firmly believe that this
order of things develops a better intuition in the student. Historically,
mathematics has gone from the particular to the general-not the reverse.
There are many reasons for this, but certainly one reason is that the human
mind resists abstraction unless it first sees the need to abstract.
I have tried to include as many examples as possible, even if this means
introducing without explanation some other branches of mathematics (like
analytic functions, Fourier series, or topological groups). There are, at the end
of every section, several exercises of varying degrees of difficulty with different
purposes in mind. Some exercises just remind the reader that he is to supply a
proof of a result in the text; others are routine, and seek to fix some of the ideas
in the reader's mind; yet others develop more examples; and some extend the
theory. Examples emphasize my idea about the nature of mathematics and
exercises stress my belief that doing mathematics is the way to learn
mathematics.
Chapter I discusses the geometry of Hilbert spaces and Chapter II begins
the theory of operators on a Hilbert space. In Sections 5-8 of Chapter II, the
complete spectral theory of normal compact operators, together with a
discussion of multiplicity, is worked out. This material is presented again in
Chapter IX, when the Spectral Theorem for bounded normal operators is
proved. The reason for this repetition is twofold. First, I wanted to design the
book to be usable as a text for a one-semester course. Second, if the reader
understands the Spectral Theorem for compact operators, there will be less
difficulty in understanding the general case and, perhaps, this will lead to a
greater appreciation of the complete theorem.
Chapter III is on Banach spaces. It has become standard to do some of this
material in courses on Real Variables. In particular, the three basic principles,
the Hahn-Banach Theorem, the Open Mapping Theorem, and the Principle of
Preface ix
John B. Conway
Preface to the Second Edition
The most significant difference between this edition and the first is that the last
chapter, Fredholm Theory, has been completely rewritten and simplified. The
major contribution to this simplification was made by Hari Bercovici who
showed me the most simple and elegant development of the Fredholm index I
have seen.
Other changes in this book include many additional exercises and
numerous comments and bibliographical notes. Several of my friends have
been helpful here. The greatest contributor, however, has been Robert B.
Burckel; in addition to pointing out mistakes, he has made a number of
comments that have been pertinent, scholarly, and very enlightening. Several
others have made such comments and this is a good opportunity to publicly
thank them: G.D. Bruechert, Stephen Dilworth, Gerald A. Edgar, Lawrence C.
Ford, Fred Goodman, A.A. Jafarian, Victor Kaftall, Justin Peters, John
Spraker, Joseph Stampfli, J.J. Schaffer, Waclaw Szymanski, James E. Thom-
son, Steve Tesser, Bruce Watson, Clifford Weil, and Pei Yuan Wu.
Preface vii
Preface to the Second Edition xi
CHAPTER I
Hilbert Spaces
§1. Elementary Properties and Examples 1
§2. Orthogonality 7
§3. The Riesz Representation Theorem 11
§4. Orthonormal Sets of Vectors and Bases 14
§5. Isomorphic Hilbert Spaces and the Fourier Transform for the Circle 19
§6. The Direct Sum of Hilbert Spaces 23
CHAPTER II
Operators on Hilbert Space
§1. Elementary Properties and Examples 26
§2. The Adjoint of an Operator 31
§3. Projections and Idempotents; Invariant and Reducing Subspaces 36
§4. Compact Operators 41
§5.* The Diagonalization of Compact Self-Adjoint Operators 46
§6. *An Application: Sturm-Liouville Systems 49
§7. *The Spectral Theorem and Functional Calculus for Compact Normal
Operators 54
§8.* Unitary Equivalence for Compact Normal Operators 60
CHAPTER III
Banach Spaces
§1. Elementary Properties and Examples 63
§2. Linear Operators on Normed Spaces 67
xiv Contents
CHAPTER IV
Locally Convex Spaces
§1. Elementary Properties and Examples 99
§2. Metrizable and Normable Locally Convex Spaces 105
§3. Some Geometric Consequences of the Hahn-Banach Theorem 108
§4. * Some Examples of the Dual Space of a Locally Convex Space 114
§5.* Inductive Limits and the Space of Distributions 116
CHAPTER V
Weak Topologies
§1. Duality 124
§2. The Dual of a Subspace and a Quotient Space 128
§3. Alaoglu's Theorem 130
§4. Reflexivity Revisited 131
§5. Separability and Metrizability 134
§6.* An Application: The Stone-Cech Compactification 137
§7. The Krein-Milman Theorem 141
§8. An Application: The Stone-Weierstrass Theorem 145
§9. * The Schauder Fixed Point Theorem 149
§10.* The Ryii-Nardzewski Fixed Point Theorem 151
§11. * An Application: Haar Measure on a Compact Group 154
§12.* The Krein-Smulian Theorem 159
§13.* Weak Compactness 163
CHAPTER VI
Linear Operators on a Banach Space
§1. The Adjoint of a Linear Operator 166
§2.* The Banach-Stone Theorem 171
§3. Compact Operators 173
§4. Invariant Subspaces 178
§5. Weakly Compact Operators 183
Contents XV
CHAPTER VII
Banach Algebras and Spectral Theory for
Operators on a Banach Space
§1. Elementary Properties and Examples 187
§2. Ideals and Quotients 191
§3. The Spectrum 195
§4. The Riesz Functional Calculus 199
§5. Dependence of the Spectrum on the Algebra 205
§6. The Spectrum of a Linear Operator 208
§7. The Spectral Theory of a Compact Operator 214
§8. Abelian Banach Algebras 218
§9.* The Group Algebra of a Locally Compact Abelian Group 223
CHAPTER VIII
C*-Algebras
§l. Elementary Properties and Examples 232
§2. Abelian C*-Algebras and the Functional Calculus in C*-Algebras 236
§3. The Positive Elements in a C*-Algebra 240
§4.* Ideals and Quotients of C*-Algebras 245
§5.* Representations of C*-Algebras and the Gelfand-Naimark-Segal
Construction 248
CHAPTER IX
Normal Operators on Hilbert Space
§1. Spectral Measures and Representations of Abelian C*-Algebras 255
§2. The Spectral Tpeorem 262
§3. Star-Cyclic Normal Operators 268
§4. Some Applications of the Spectral Theorem 271
§5. Topologies on aJ(£) 274
§6. Commuting Operators 276
§7. Abelian von Neumann Algebras 281
§8. The Functional Calculus for Normal Operators:
The Conclusion of the Saga 285
§9. Invariant Subspaces for Normal Operators 290
§10. Multiplicity Theory for Normal Operators:
A Complete Set of Unitary Invariants 293
CHAPTER X
Unbounded Operators
§1. Basic Properties and Examples 303
§2. Symmetric and Self-Adjoint Operators 308
§3. The Cayley Transform 316
§4. Unbounded Normal Operators and the Spectral Theorem 319
§5. Stone's Theorem 327
§6. The Fourier Transform and Differentiation 334
§7. Moments 343
xvi Contents
CHAPTER XI
Fredholm Theory
§I. The Spectrum Revisited 347
§2. Fredholm Operators 349
§3. The Fredholm Index 352
§4. The Essential Spectrum 358
§5. The Components of Y' _cy; 362
§6. A Finer Analysis of the Spectrum 363
APPENDIX A
Preliminaries
§I. Linear Algebra 369
§2. Topology 371
APENDIX B
The Dual of U(Jl.) 375
APPENDIXC
The Dual of C 0 (X) 378
Bibliography 384
Index 395
CHAPTER I
Hilbert Spaces
au(O, y) = 0 for all y in :r. This and similar reasoning shows that for a
semi-inner product u,
(e) u(x, 0) = u(O, y) = 0 for all x, y in fi£.
In particular, u(O, 0) = 0.
An inner product on fi£ is a semi-inner product that also satisfies the
following:
(f) If u(x, x) = 0, then x = 0.
An inner product in this book will be denoted by
(x,y) = u(x,y).
There is no universally accepted notation for an inner product and the reader
will often see (x, y) and (xI y) used in the literature.
1.2. Example. Let fi£ be the collection of all sequences {an: n ~ 1} of scalars
an from IF such that an = 0 for all but a finite number of values of n. If addition
and scalar multiplication are defined on fi£ by
{an}+ {/Jn} ={an+ /Jn},
a{an} = {o:o:n},
then fi£ is a vector space over IF.
If u( {o:n}, {Pn}) = L:'= 1 a2 nlfzm then u is a semi-inner product that is not
an inner product. On the other hand,
GO
1 -
L -an/Jn,
GO
({an}, {/Jn}) =
n= 1 n
00
({an},{/Jn})= L n 5 anlfn,
n=1
<f,g)= ftiJdJ.l,
then this defines an inner product on L 2 (J1).
Note that Holder's inequality also states that IJ!iJdJ.li ~ [Jifl 2 dJ1] 1i 2 •
[J igl 2 dJ1r 12 • This is, in fact, a consequence of the following result on
semi-inner products.
§ 1. Elementary Properties and Examples 3
for all x and y in fl£. Moreover, equality occurs if and only if there are scalars
IX and {3, both not 0, such that ( {Jx + IXy, {Jx + ay) = 0.
PROOF. If aeF and x and yefl£, then
1.5. Corollary. If(·,·) is a semi-inner product on !!land llxll = (x,x) 112 for
all x in fl£, then
(a) llx + Yll ~ llxll + IIYII for x,y in fl£,
(b) II~Xxll = I~XIIIxll for IX in F and x in fl£.
If .tt = e(Jl) and < f, g >= J! gdJl, then the associated norm is II! II =
[J Ifl 2 dJlr' 2 • It is a standard result of measure theory that L 2(Jl) is a Hilbert
space. It is also easy to see that F'd is a Hilbert space.
Remark. The inner products defined on L2 (Jl) and P' are the "usual" ones.
Whenever these spaces are discussed these are the inner products referred
to. The same is true of the next space.
1.7. Example. Let I be any set and let 12(/) denote the set of all functions x:
I-+ F' such that x(i) = Ofor all but a countable number ofi and Lieiix(iW < oo.
For x and y in 12(/) define
<x,y) = Ix(i)y(i).
i
1.9. Proposition. If fi( is a vector space and ( ·, ·) .:r is an inner product on fi(
and if Yf is the completion of fi( with respect to the metric induced by the norm
on .!l£, then there is an inner product ( ·, ·) Jlf on Yf such that ( x, y) Jlf = ( x, y) .'l
for x andy in fi( and the metric on Yf is induced by this inner product. That
is, the completion of fi[ is a Hilbert space.
The preceding result says that an incomplete inner product space can be
completed to a Hilbert space. It is also true that a Hilbert space over IR can
be imbedded in a complex Hilbert space (see Exercise 7).
This section closes with an example of a Hilbert space from analytic
function theory.
1.10. Definition. If G is an open subset of the complex plane <C, then L;(G)
denotes the collection of all analytic functions f: G-> ([ such that
IL f and L fdArea.
Note that L;(G) ~ L 2 (J1), where 11 =Areal G, so that L;(G) has a natural
inner product and norm from e(Jl).
f(a)=-
12
nr ff B(a;r)
f.
PROOF. By the mean value property, if 0 < t ~ r, f(a) = (1/2n) f~, f(a + tei8 )d0.
Hence
lf(a)l =~IJ·r
7tr JB(a;r) f·11
~ 1t:2[ft(a;r) IJI 2J'Tft(a~) 12 J/ 2
•
1.13. Proposition. L;(G) is a Hilbert space.
PROOF. If Jl = area measure on G, then L2 (JL) is a Hilbert space and
L;(G) s;; L2 (Jl). So it suffices to show that L;(G) is closed in L2 (JL). Let Un}
J
be a sequence_in L;(G) and letf EL2 (JL) such that lfn- fl 2 dJL-+0 as n-+ oo.
Suppose B(a; r) s;; G and let 0 < p < dist(B(a; r), iJG). By the preceding
corollary there is a constant C such that I fn(z)- fm(z)l ~ C II fn- fm 11 2 for all
n, m and for lz- al ~ p. Thus Un} is a uniformly Cauchy sequence on any
closed disk in G. By standard results from analytic function theory (Montel's
Theorem or Morera's Theorem, for example), there is an analytic function
g on G such that fn(z)-+ g(z) uniformly on compact subsets of G. But since
JI fn- f 12 dJl-+ 0, a result of Riesz implies there is a subsequence { fnJ such
that fnk(z)-+ f(z) a.e. [JLJ. Thus f = g a.e. [Jl] and so f EL;(G). •
ExERCISES
1. Verify the statements made in Example 1.2.
2. Verify that f2(1) (Example 1.7) is a Hilbert space.
3. Show that the space Jf in Example 1.8 is a Hilbert space.
4. Describe the Hilbert spaces obtained by completing the space ?£ in Example 1.2
with respect to the norm defined by each of the inner products given there.
§2. Orthogonality 7
5. (A variation on Example 1.8) Let n): 2 and let .Yf =the collection of all function
f: [0, 1]-+ F such that (a) f(O) = 0; (b) for 1 :::;; k:::;; n- 1, j<kl(t) exists for all t in
[0, 1] and J<kl is continuous on [0, 1]; (c) p•-ll is absolutely continuous and
p•lEe(O, 1). For f and gin .Yf, define
8. If G = {zE<C: 0 < lzl < 1} show that every fin L;(G) has a removable singularity
at z = 0.
9. Which functions are in L;(<C)?
10. Let G be an open subset of <C and show that if aEG, then {! EL;(G): f(a) = 0}
is closed in L;(G).
11. If {h.} is a sequence in a Hilbert space .Yf such that Ln II h. II< oo, then show
that L:'~ 1 h. converges in .Yf.
§2. Orthogonality
The greatest advantage of a Hilbert space is its underlying concept of
orthogonality.
If Jf = lR. 2 , this is the correct concept. Two non-zero vectors in lR. 2 are
orthogonal precisely when the angle between them is n/2.
2.2. The Pythagorean Theorem. If/ 1 , /2 , ••• Jn are pairwise orthogonal vectors
in Jf, then
8 I. Hilbert Spaces
2.3. Parallelogram Law. If .Yf is a Hilbert space and f and ge.Yf, then
II f + g 11 2 + II f - g 11 2 = 2( II f 11 2 + II g 11 2 ).
PROOF. For any f and g in .Yf the polar identity implies
II!+ gll 2 =II /11 2 + 2 Re (f,g) + llgll 2,
II/- gll 2 =II f 1 2 -2 Re (f,g) + llg 1 2 •
Now add.
The next property of a Hilbert space is truly pivotal. But first we need a
•
geometric concept valid for any vector space over F'.
2.4. Definition. If P£ is any vector space over F' and A s P£, then A is a convex
set if for any x and y in A and 0 ~ t ~ 1, tx + (1- t)yeA.
Note that {tx + (1- t)y: 0,;;; t,;;; 1} is the straight-line segment joining x
and y. So a convex set is a set A such that if x and yeA, the entire line
segment joining x and y is contained in A.
If :!£ is a vector space, then any linear subspace in :!£ is a convex set. A
singleton set is convex. The intersection of any collection of convex sets is
convex. If .Yf is a Hilbert space, then every open ball B(f; r) = {ge.Yf:
II f - g II < r} is convex, as is every closed ball.
2.5. Theorem. If .Yf is a Hilbert space, K is a closed convex nonempty subset
of .Yf, and he.Yf, then there is a unique point k 0 in K such that
llh- k0 ll = dist(h,K) =inf{llh- kll:keK}.
PROOF. By considering K- h = {k- h: keK} instead of K, it suffices to
assume that h = 0. (Verify!) So we want to show that there is a unique vector
k 0 in K such that
II k0 II = dist(O, K) = inf{ II k II: keK}.
Let d = dist(O, K). By definition, there is a sequence {kn} in K such that
II kn II -4 d. Now the Parallelogram Law implies that
§2. Orthogonality 9
hence h0 = k0 .
•
If the convex set in the preceding theorem is in fact a closed linear subspace
of Yf, more can be said.
2.6. Theorem. If A is a closed linear subspace of Yf, hE£, andf0 is the unique
element of A such that I h - f0 I = dist(h, A), then h -.f0 l_ A. Conversely, if
/ 0 E.H such that h- fo .1. .H, then I h- fo I = dist(h, A).
for any .fin A. Fix .fin A and substitute te; 0 fforfin the preceding inequality,
where <h- foJ) = rew, r? 0. This yields 2 Re {te- ;0 re; 0 } ~ t 2 ll f 1 2 , or
2tr ~ t 2 I f 1 2 . Letting t --+ 0, we see that r = 0; that is, h - f 0 l_ f.
For the converse, supposef0 EA such that h-f0 l_A. If /EA, then
h- fol_fo- f so that
=
If A ~ .Yl', Let A J. {f E.Yl':f _1_ g for all gin A}. It is easy to see that A .l is
a closed linear subspace of .ff.
Note that Theorem 2.6, together with the uniqueness statement in
Theorem 2.5, shows that if .A is a closed linear subspace of .Yl' and he.ff,
then there is a unique elementf0 in .A such that h-f 0 E.AJ.. Thus a function
P: .Yl'-+ .A can be defined by Ph= f 0 •
2.7. Theorem. If .A is a closed linear subspace of .Yl' and he.Yl', let Ph be the
unique point in .A such that h -Ph l_.A. Then
(a) P is a linear transformation on .Yl',
(b) II Ph II ~ II h II for every h in .Yl',
(c) P 2 = P (here P 2 means the composition of P with itself),
(d) ker P = .AJ. and ran P =.A.
PROOF. Keep in mind that for every h in .ff, h- Ph Evil J. and II h- Ph II =
dist (h, .A).
<
(a) Let h 1 , h2E.ff and a 1 , cx 2 EF'. Iff Evil, then [cx 1 h 1 + a 2h 2]- [a 1 Ph 1 +
< <
a 2Ph2], f) = cx 1 h 1 - Ph 1 , f) + a 2 h 2 - Ph 2, f) = 0. By the uniqueness
statement of (2.6), P(ah 1 + a 2h 2) = cx 1 Ph 1 + a 2Ph 2.
(b) If he.ff, then h = (h- Ph)+ Ph, Phe.A, and h- Phe.AJ.. Thus
llhll 2 =II h- Ph 11 2 + IIPhll 2 ~II Ph 11 2 •
(c) If fe.A, then Pf =f. For any h in .ff, PhE.A; hence P 2h P(Ph) =Ph. =
That is, P 2 = P.
(d) If Ph= 0, then h = h- PhE.A.l. Conversely, if hEM.l, then 0 is the unique
vector in .A such that h - 0 = h l_.A. Therefore Ph = 0. That ran P = .A
~cl~ •
2.10. Corollary. If A~ .Yl', then (A .l)J. is the closed linear span of A in .Yl'.
§3. The Riesz Representation Theorem 11
The proof is left to the reader; see Exercise 4 for a discussion of the term
"closed linear span."
2.11. Corollary. IfW is a linear manifold in Yf, then W is dense in Yf if!W .L = (0).
PROOF. Exercise.
EXERCISES
1. Let ff be a Hilbert space and suppose f and g are linearly independent vectors
in ff with II f II =II g II= 1. Show that II tf + (1- t)g II< 1 foro< t < l. What does
this say about {hEff: llhll ~ 1}?
2. If A:;::; ff and P = P 1r, show that I - Pis the orthogonal projection of ff onto
~H.l.
3. If .4t:;::; ff, show that .4t n A .l = (0) and every h in ff can be written as h = f + g
where jEA and gEAj_. If A+ All_= {(f,g): jEA, gEAj_} and T:
A+ .4t l_-> ff is defined by T(f, g)= f + g, show that T is a linear bijection and
a homeomorphism if A + A l_ is given the product t9pology. (This is usually
phrased by stating the A and A l_ are topologically complementary in ff.)
=
4. If A ~ ff, let VA the intersection of all closed linear subs paces of ff that contain
A. VA is called the closed linear span of A. Prove the following:
(a) VA :;::; ff and VA is the smallest closed linear subspace of ff that contains A.
(b) v A= the closure of u=~= I rxdk: n ~ 1, rxkEIF,fkEA}.
5. Prove Corollary 2.1 0.
(c)=>(a): Suppose Lis continuous at h0 and his any point in£. If hn-+h
in £, then hn- h + h0 -+ h0 • By assumption, L(h 0 ) = lim[L(hn- h + h0 )] =
lim[L(hn)- L(h) + L(h 0 )] = limL(hn)- L(h) + L(h 0 ). Hence L(h) = limL(hn).
(b)=>(d): The definition of continuity at 0 implies that C 1 ( {ocelF:Iocl < 1})
contains an open ball about 0. So there is a b > 0 such that
B(O; b) s:; L - 1 ( {ocelF: loci< 1} ). That is, II h II< b implies IL(h)l < 1. If h is an
arbitrary element of Yf and 1:: > 0, then II b( II h II + 1::) - 1 h II < b. Hence
EXERCISES
l. Prove Proposition 3.3.
2. Let Jf = P(IN). If N ;::. l and L: Jf--> IF is defined by L( {ex.})= exN, find the vector
h0 in Jf such that L(h) = ( h, h0 ) for every h in Jf.
3. Let Jf = l2(1N u {0} ). (a) Show that if {ex.}E.Yf, then the power series 2:;'= 0ex.z" has
radius of convergence ;::. 1. (b) If JA.I < l and L: Jf--> IF is defined by
L( {ex.})= 2:;'= 0ex.A.", find the vector h0 in Jf such that L(h) = ( h, h0 ) for every h
in Jf. (c) What is the norm of the linear functional L defined in (b)?
4. With the notation as in Exercise 3, define L: Jf--> IF by L( {ex.})= 2:;'= 1nex.;."- 1,
where I;. I < I. Find a vector h0 in Jf such that L(h) = ( h, h0 ) for every h in Jf.
5. Let Jf be the Hilbert space described in Example 1.8. If 0 < t ~ 1, define L: Jf--> IF
by L(h) = h(t). Show that L is a bounded linear functional, find I L 11. and find the
vector h0 in Jf such that L(h) = ( h, h0 ) for all h in Jf.
6. Let Jf = L2(0, l) and let C0 l be the set of all continuous functions on [0, 1] that
have a continuous derivative. Let tE[O, 1] and define L: C 0 >--> IF by L(h) = h'(t).
Show that there is no bounded linear functional on Jf that agrees with Lon C11,_
14 I. Hilbert Spaces
It is also true that the set in (4.3) is a basis, but this is best proved after
a bit of theory.
4.4. Example. If Jf = F'd and for 1 ~ k ~ d, ek = the d-tuple with 1 in the kth
place and zeros elsewhere, then {e 1 , ••. , ed} is a basis for Jf.
The proof of the next result is left as an exercise (see Exercise 5). It is very
useful but the proof is not difficult.
4.8. Bessel's Inequality. If {en: n eN} is an orthonormal set and he.tt', then
PROOF. Let hn = h- L~= 1 (h, ek)ek. Then hn.Lek for 1 ~ k ~ n (Why?) By the
Pythagorean Theorem,
llhll 2= 2+ttl
llhnll <h,ek>ekr
n
= llhnll 2 +L l(h,ek)l 2
k=1
n
~ L I (h,ek)l 2 .
k=l
PROOF. For each n ~ llet rffn = {eetff: l(h,e)l ~ 1/n}. By Bessel's Inequality,
U
tff n is finite. But ;"= 1 tffn = {ee$: (h, e) =/; 0}. •
This last corollary is just Bessel's Inequality together with the fact (4.9)
that at most a countable number of the terms in the sum differ from zero.
Actually, the sum that appears in (4.10) can be given a better inter-
pretation-a mathematically precise one that will be useful later. The
question is, what is meant by .L {h;: iei} if h;e.tt' and I is an infinite, possibly
uncountable, set? Let :F be the collection of all finite subsets of I and order
16 I. Hilbert Spaces
4.11. Definition. With the notation above, the sum L {hi: iEI} converges if
the net {hF: F Eff} converges; the value of the sum is the limit of the net.
~ L l<h,e.)l 2
n=N
4.13. Theorem. If@" is an orthonormal set in Yf, then the following statements
are equivalent.
(a) @" is a basis for Yf.
(b) IfhEYf and hl_@", then h=O.
(c) V !&" = Yf.
(d) IfhEYf, then h=L{<h,e)e: eE!&"}.
§4. Orthonormal Sets of Vectors and Bases 17
4.14. Proposition. If Jf is a Hilbert space, any two bases have the same
cardinality.
PROOF. Let 8 and !#' be two bases for Jf and put e = the cardinality of 8,
l'f =the cardinality of !F. If e or 17 is finite, then e = 17 (Exercise 15). Suppose
both e and 17 are infinite. Fore in 8, let !Fe= {JefF: (e,f) ;t: 0}; so !Fe is
countable. By (4.13b), each f in !#' belongs to at least one set !#' e• e in 8.
That is,!#'= u {IF.: ee&}. Hence 17 ~ d~ 0 =e. Similarly, e ~ l'f. •
EXERCISES
1. Verify the statements in Example 4.3.
2. Verify the statements in Example 4.4.
3. Verify the statements in Example 4.5.
4. Find an infinite orthonormal set in the Hilbert space of Example 1.8.
5. Using the notation of the Gram-Schmidt Orthogonalization Process, show that
up to scalar multiple e 1 = h 1 / II h 1 II and for n ~ 2, e.= II h.- f.ll- 1(h.- f.), where
f. is the vector defined formally by
-1 [(hl,:hl)
f.= 1 det ·
det[(h;,hi)J~.J=I (hl,hn-1)
hi
In the next three exercises, the reader is asked to apply the Gram-Schmidt
Orthogonalization Process to a given sequence in a Hilbert space. A reference for
this material is pp. 82-96 of Courant and Hilbert [1953].
6. If the sequence 1,x,x 2 , ••• is orthogonalized in L2( -1, 1), the sequence
e.(x) = [t(2n + 1)] 1' 2 P.(x) is obtained, where
P.(x) =1- -
2"n! dx
(d)" (x 2 -1)".
H.(x) = (- 1)"ex'( dx
d )" e-x.2
The functions H. are Hermite polynomials and satisfy H:(x) = 2nH._ 1(x).
8. If the sequence e-x/ 2 , xe-x12 , x 2 e-x12 , ••• is orthogonalized in L2 (0, oo), the sequence
e.(x) = e-x/ 2 L.(x)fn! is obtained, where
13. Let ~ be an orthonormal subset of .1f and let .It = V ~. If P is the orthogonal
projection of .1f onto .A, show that Ph= L. { <h, e )e: ee~} for every h in :ff.
14. Let .l. =Area measure on {ze«::: lzl < 1} and show that 1, z, z2 , •.. are orthogonal
vectors in L2(.l.). Find II z"ll, n ~ 0. If e.= I z"ll- 1 z", n ~ 0, is {e0 , e 1, •.• } a basis
for L2 (.l.)?
15. In the proof of (4.14), show that if either E or rf is finite, then E = rf.
16. If Jlf is an infinite dimensional Hilbert space, show that no orthonormal basis
for .1f is a Hamel basis. Show that a Hamel basis is uncountable.
I7. Let d ~ I and let J1 be a regular Borel measure on 1R4• Show that L2(J1) is separable.
18. Suppose L2(X,Q,J1) is separable and {E;: ie/} is a collection of pairwise disjoint
subsets of X, E;efl, and 0 < J1(E;) < oo for all i.. Show that I is countable. Can
you allow J1(E;) = oo?
I9. If {he:ff: I h II::;; I} is compact, show that dim .1f < oo.
20. What is the cardinality of a Hamel basis for 12 ?
5.1. Definition. If :Ye and %are Hilbert spaces, an isomorphism between :Ye
and % is a linear surjection U: :Ye ~% such that
( Uh, Ug) = (h,g)
for all h, g in ff. In this case :Ye and % are said to be isomorphic.
PROOF. Assume ( Vh, Vg)= (h, g) for all h, gin£. Then II Vh 11 2 = ( Vh, Vh) =
( h, h) = II h 11 2 and V is an isometry.
Now assume that V is an isometry. If h,gE£ and A.EIF, then
II h + A.g f = II Vh +A. V g V Using the polar identity on both sides of this
equation gives
II hll 2 + 2 Rei(h,g) + IA.I 2 IIg 11 2 =II Vhll 2 + 2 Rei( Vh, Vg) + 1..11 2 11 Vg 11 2 .
But II Vh II = II h II and II vg II = II g II, so this equation becomes
for any A. in IF. If IF= IR, take A. = 1. If IF= <C, first take A. = 1 and then take
< <
A.= i to find that h, g) and Vh, Vg) have the same real and imaginary
parts. •
Note that an isometry between metric spaces maps Cauchy sequences into
Cauchy sequences. Thus an isomorphism also preserves completeness. That
is, if an inner product space is isomorphic to a Hilbert space, then it must
be complete.
5.3. Example. Definite S: F-./ 2 by S(oc 1 ,oc 2 , •.. )=(0,a 1 ,oc 2 , ..• ). Then Sis an
isometry that is not surjective.
5.4. Theorem. Two Hilbert spaces are isomorphic if and only if they have the
same dimension.
PROOF. If U: .1t-+ f is an isomorphism and iff is a basis for £, then it is
easy to see that Uiff= { Ue: eEtff} is a basis for f . Hence, dim .1t =dim f .
Let .1t be a Hilbert space and let iff be a basis for £. Consider the Hilbert
space F(tff). If hE£, define h: iff-+ IF by h(e) = (h, e). By Parseval's Identity
hEl 2 (tff) and II h II = II h11. Define U: .1t-+ F(tff) by Uh =h. Thus U is linear
and an isometry. It is easy to see that ran U contains all the functions f in
F(tff) such that f(e) = 0 for all but a finite number of e; that is, ran U is dense.
But U, being an isometry, must have closed range. Hence U: .1t-+ /2 (tff) is
an isomorphism.
§5. Isomorphic Hilbert Spaces and the Fourier Transform 21
5.5. Corollary. All separable i'!finite dimensional Hilbert spaces are iso-
•
morphic.
This section concludes with a rather important example of an isomor-
phism, the Fourier transform on the circle.
The proof of the next result can be found as an Exercise on p. 263 of
Conway [1978]. Another proof will be given latter in this book after the
Stone-Weierstrass Theorem is proved. So the reader can choose to assume
this for the moment. Let lD= {zecr: lzl < 1}.
k= -m
e.(t) = exp(int). Hence {e.: nell} is a basis for ~ = L~([O, 2n], (2n)- 1 dt). If
fe~. then
0
" f(t)e- im dt
is called the nth Fourier coefficient off, n in 1l. By (5.7) and (4.13d),
L
00 ~
5.9 f = f(n)e.,
n=- oo
where this infinite series converges to f in the metric defined by the norm
of~. This is called the Fourier series of f. This terminology is classical and
has been adopted for a general Hilbert space.
If ~ is any Hilbert space and ~ is a basis, the scalars { <h, e); eE~} are
called the Fourier coefficients of h (relative to~) and the series in (4.13d) is
called the Fourier expansion of h (relative to ~).
Note that Parseval's Identity applied to (5.9) gives that L:'= _00 I](nW < oo.
This proves a classical result.
Iff eLHO, 2n], then the Fourier series off converges to f in L2 -norm.
It was conjectured by Lusin that the series converges to f almost everywhere.
This was proved in Carleson [1966]. Hunt [1967] showed that if
f eLHO, 2n], 1 < p ~ oo, then the Fourier series also converges to f a.e.
Long before that, Kolmogoroff had furnished an example of a function f in
LHO, 2n] whose Fourier series a.e. does not converge to f.
For f in LHO, 2n], the function ]: 1l-+ ([: is called the Fourier transform
off; the map U: LHO, 2n]-+ l 2 (1l) defined by U f = J is the Fourier transform.
The results obtained so far can be applied to this situation to yield the
following.
functions-not really functions. Since {0, 2n:} has zero measure, there is really
no ambiguity. In this way LH0,2n] can be identified with L~((lD), where
the measure on oD is normalized arc-length measure (normalized so that
the total measure of oD is 1). So LH0,2n] and L~(oD) are (naturally)
isomorphic. Thus, Theorem 5.11 is a theorem about the Fourier transform
of the circle.
The importance of Theorem 5.11 is not the fact that LHO, 2n] and [2 (Z)
are isomorphic, but that the Fourier transform is an isomorphism. The fact
that these two spaces are isomorphic follows from the abstract result that
all separable infinite dimensional Hilbert spaces are isomorphic (5.5).
EXERCISES
1. Verify the statements in Example 5.3.
2. Define V: L2 (0, oo )--+ L2 (0, oo) by (Vf)(t) = f(t -1) if t > 1 and (Vf)(t) = 0 if t:::::; 1.
Show that V is an isometry that is not surjective.
3. Define V: L2 (R)--+ L2 (R) by (Vf)(t) = f(t- 1) and show that Vis an isomorphism
(a unitary operator).
4. Let Jf be the Hilbert space of Example 1.8 and define U: Jf--+ L2(0, 1) by Uf = f'.
Show that U is an isomorphism and find a formula for U- 1 .
5. Let (X, Q, JI) be a IT-finite measure space and let u: X--+ IF be an !'!-measurable
function such that sup{lu(x)l: xeX} < oo. Show that U: L2 (X,f!,JI)-+L2(X,Q,JI)
defined by U f = uf is an isometry if and only if lu(x)l = 1 a.e. [JI], in which case
U is surjective.
6. Let rt1 = {! eC[O, 2n]: f(O) = f(2n)} and show that rt1 is dense in L2 [0, 2n].
9. If Jf and % are Hilbert spaces and U: Jf--+% is a surjective function such that
<U f, Ug) = (f,g) for all vectors f and gin Jf, then U is linear.
!!C(J)!iJJ are defined as {x(J)y: xefl, yeliJ/}, then (x 1 (£Jy 1 )+(x 2 (£JY2)=
(x 1 + x 2 )(£J(y 1 + y2 ), and so on.
6.1. Definition. If :Yf and .Yt are Hilbert spaces, :Yf (£) .Yt = { h (£) k: he:Yf,
kef} and
It must be shown that this defines an inner product on :Yf (J).Yt and that
:Yf (£) .Yt is complete (Exercise).
Now what happens if we want to define :Yf 1 (£) :Yf 2 (£) · · · for a sequence of
Hilbert spaces :Yf 1, :Yf 2 , ••• ? There is a problem about the completeness of
this infinite direct sum, but this can be overcome as follows.
6.2. Proposition. If :Yf 1 , Yf 2 , .•• are Hilbert spaces, let Yf = { (hn):'= 1 : h"EYf"
for all nand :E:'= 1 I h" 11 2 < 00 }. For h = (h") and g = (g") in Yf, define
L (hn,gn).
00
6.3 (h,g) =
n=1
Then <·, ·) is an inner product on Yf and the norm relative to this inner product
is llhll = [:E;'= 1 11hnll 2] 112 • With this inner product Yf is a Hilbert space.
PROOF. If h = (h") and g = (g")EYf, then the CBS inequality implies
:EI (h", g") I:::; L II h" II I g" II :::; (:E II h" II 2 ) 112(:E II g"
11 2 ) 112 < 00. Hence the series
in (6.3) converges absolutely. The remainder of the proof is left to the reader .
•
6.4. Definition. If :Yf 1, Yf 2 , ..• are Hilbert spaces, the space Yf of Proposition
6.2 is called the direct sum of :Yf 1 , Yf 2 ,... and is denoted by
Yf=Yfl(J)Yf2(£J···.
EXERCISES
l. Let {(X;,!l;,,u;): iE/} be a collection of measure spaces and define X, !l, and .u as
follows. Let X= the disjoint union of {Xi: iEI} and let !l = {L\ £;X: L\nXiE!li for
all i}. For L\ inn put ,u(L\)=I;;,u;(L\nX;) Show that (X,!l,,u) is a measure space
and L2 (X,!l,,u) is isomorphic to ${e(X;,!l;,,ui): iEI}.
§6. The Direct Sum of Hilbert Spaces 25
2. Let (X, Q) be a measurable space, let 11 1 ,11 2 be a-finite measures defined on (X, Q),
and put 11 = 11 1 + 11 2 • Show that the map V: e(X,Q,I1)-+L2(X,Q,I1 1 )E£)L2(X,Q,I1 2 )
defined by Vf = f 1 ®f2 , where fi is the equivalence class of L2(X,Q,11i)
corresponding to f, is well defined, linear, and injective. Show that V is an
isomorphism iff 11 1 and 11 2 are mutually singular.
CHAPTER II
As in (1.3.3), if
II All =sup{IIAhll: he.Yf, llhll ~ 1},
then
II A II = sup { II Ah II: II h II = 1}
=sup{ II Ah 11/11 h II :h # 0}
= inf {c > 0: II Ah II ~ c II h II, h in .Yf}.
Also, II Ah II ~ II A II II h 11. II A II is called the norm of A and a linear
transformation with finite norm is called bounded. Let &i(Jf, f) be the set
of bounded linear transformations from Jf into f. For Jf = f,
=
&i(Jf, Jf) 81(Jf). Note that &i(Jf, F)= all the bounded linear functionals
on Jf.
1.2. Proposition. (a) If A and Be81(Jf, f), then A+ Be&i(Jf, f), and
IIA +Ell~ II All+ liB II.
(b) If r:xeJF and Ae&i(Jf, f), then r:xAe&i(Jf, f) and II r:xA II = lrxlll A 11.
(c) If Ae&i(Jf,f)and Be&i(f,.P), thenBAe&i(Jf, .P)and IIBA II~ II Bllll A 11.
PROOF. Only (c) will be proved; the rest of the proof is left to the reader. If
kef, then II Bk II ~ II B 1111 k 11. Hence, if he.Yf, k = Ahef and so
IIBAhll ~ IIBIIIIAhll ~ IIBIIIIAIIIIhll. •
1.3. Example. If dim Jf = n < oo and dim f = m < oo, let {e 1 , ••• , en} be an
orthonormal basis for Jf and let {e1 , ... , em} be an orthonormal basis for
f . It can be shown that every linear transformation from Jf into f is
bounded (Exercise 3). If 1 ~j ~ n, 1 ~ i ~ m, let aii = ( Aei• ei). Then the m x n
matrix (rxii) represents A and every such matrix represents an element of
81(Jf,f).
=
1.4. Example. Let 12 l2 (1N) and let e 1, e2 , ••• be its usual basis. If Ae&~(IZ),
form r:xii = ( Aei, ei). The infinite matrix (r:xi) represents A as finite matrices
represent operators on finite dimensional spaces. However, this representa-
tion has limited value unless the matrix has a special form. One difficulty is
that it is unknown how to find the norm of A in terms of the entries in the
matrix. In fact, if 4 < n < oo, there is no known formula for the norm of an
n x n matrix in terms of its entries. (This restriction on the values of n is due
to our inability to solve polynomial equations of degree greater than 4.) See
28 II. Operators on Hilbert Space
1.5. Theorem. Let (X, n, .u) be a a-finite measure space and put
£ = U(X,Q,.u) = L2 (,U). If cjJEL"'(.u), define Mq,: L2 (.u)~L2 (.u) by Mq,f =¢f.
Then Mq,Egg(U(.u)) and IIMq,ll = llc/JIIw
PROOF. Here II ¢II oo is the .u-essential supremum norm. That is,
llc/JIIoo ::inf{sup{l¢(x)l: x¢N}: NEO,.u(N)=O}
= inf {c > 0: .u( {xEX: l¢(x)l > c}) = 0}.
Thus II¢ II oo is the infimum of all c > 0 such that Ic/J(x)l ~ c a.e. [Jl] and,
moreover, I¢(x)l ~ II¢ II oo a.e. [.u]. Thus we can, and do, assume that ¢ is a
bounded measurable function and I¢(x)l ~ II¢ II ro for all x. So iff EL2 (.u), then
fl¢fl 2 d.u~ II¢11~Jifl 2 d.u. That is, Mq,E[Jg(L2 (.u)) and IIMq,ll ~ llc/JIIoo· If
£ > 0, the a-finiteness of the measure space implies that there is a set .1 in
n, 0 < .u(-1) < oo, such that I¢(x) I ;;:;: II¢ II oo -~:on .1. (Why?) Iff= (.u(-1))- 112 XA,
then fEL 2 (.U) and llfll 2 =1. So IIMq,ll 2 ?::11¢fll~=(.u(.1))- 1 ftil¢1 2 d.u?::
(llc/JIIoo -£) 2 • Letting £~0, we get that IIMq,ll?:: llc/JIIoo· •
oo > J If 12 d.u;;:;: If(OW .u( {0} ). Hence every function in L2 (.u) vanishes at 0.
Therefore Mq, = 0 and II Mq, II< II¢ II oo·
There are more general measure spaces for which (1.5) is valid-the
decomposable measure spaces (see Kelley [1966]).
L lk(x,y)ld.u(y) ~c 1 a.e.[.u],
L lk(x,y)ld.u(x) ~c 2 a.e.[.u].
PROOF. Actually it must be shown that Kf EL2 (J1), but this will follow from
the argument that demonstrates the boundedness of K. Iff EL2 (J1),
!Kf(x)! ~ f!k(x,y)!l.f(y)!dJ1(Y)
Hence
f1Kf(xWdJ1(x) ~ c1 I f!k(x,y)!lf(yWdJ1(Y)dJ1(x)
= C1 fl.f(yW flk(x,y)!d,u(x)dJ1(Y)
~ ClC21i.fll 2.
Now this shows that the formula used to define K.fis finite a. e. [,u], K.f E L2(,u),
and II K.f 11 2 ~ C 1c2ll.f 11 2. •
EXERCISES
I. Prove Proposition 1.1.
2. Prove Proposition 1.2.
30 II. Operators on Hilbert Space
3. Suppose {e 1, e 2 , ••• ,} is an orthonormal basis for Jlf and for each n there is a
vector A e. in Jlf such that L II Ae. II < oo. Show that A has an unique extension
to a bounded operator on Jlf.
4. Proposition 1.2 says that d(A, B)= II A- B II is a metric on BI(Jif, $"). Show
that BI(Jif, Jf") is complete relative to this metric.
5. Show that a multiplication operator M., (1.5) satisfies M~ = M., if and only if¢>
is a characteristic function.
6. Let (X,!l,~t) be a a-finite measure space and let k 1 ,k 2 be two kernels satisfying
the hypothesis of (1.6). Define
L IXijPi ~ ppj,
i=l
00
L IXijpj~}'P;
j= I
for all i,j ~ 1. Show that there is an operator A on I2(1N) with <Aei, e;) = IX;i and
II A liz ~py.
10. (Hilbert matrix) Show that (Aei,e;)=(i+j+l)- 1 for O~i,j<oo defines a
bounded operator on 12(N v {0}) with IIA II ~ n. (See also Choi [ 1983] and
RedhetTer and Volkmann [1983].)
11. If A=[: : J put IX= [lal 2 + IW + lcl 2 + ldi 2 Jl 12 and show that II A II =
13. (Bari [1951]) Call a sequence of vectors{!.} in a Hilbert space Jf a Bessel sequence
if L I< f,f.) 12 < oo for every fin Jf. Show that a sequence {!.} of vectors in Jf
is a Bessel sequence if and only if the infinite matrix ( <fmJ.)) defines a bounded
operator on /2 • (Also see Shapiro and Shields [1961], p. 524.)
The prefix "sesqui" is used because the function is linear in one variable
but (for F' = <C) only conjugate linear in the other. ("Sesqui" means
"one-and-a -half.")
A sesquilinear form is bounded if there is a constant M such that
lu(h, k)l ~ M I h 1111 k II for all h in :tf and k in %. The constant M is called
a bound for u.
Sesquilinear forms are used to study operators. If AE8l(:tf, %), then
u(h, k) = ( Ah, k) is a bounded sesquilinear form. Also, if BE8l(:Yl, £),
u(h, k) = ( h, Bk) is a bounded sesquilinear form. Are there any more? Are
these two forms related?
2.2. Theorem. If u: :tf x .1[-+ F' is a bounded sesquilinear form with bound M,
then there are unique operators A in 81(£, %) and B in 81(%, :tf) such that
2.3 u(h,k) = (Ah,k) = (h,Bk)
for all h in :tt and k in .1l and I A II, I B II ~ M.
PROOF. Only the existence of A will be shown. For each h in :tf, define Lh:
.1l-+ F' by Lh(k) = u(h, k). Then Lh is linear and ILh(k) I ~ M I h I II k 11. By the
Riesz Representation Theorem there is a unique vector f in .1l such
that( k,f) = Lh(k) = u(h, k) and II f I ~ M II h 11. Let Ah =f. It is left as an
exercise to show that A is linear (use the uniqueness part of the Riesz
-- --
Theorem). Also, ( Ah, k) = ( k, Ah) = (k,f) = u(h, k).
If A 1 E81(:tf, :Yl) and u(h, k) = (A 1 h, k ), then (Ah-A 1 h, k) = 0 for all k;
thus Ah - A 1 h = 0 for all h. Thus, A is unique. •
From now on we will examine and prove results for the adjoint of operators
in ei(Jl'). Often, as in the next proposition, there are analogous results for
the adjoint of operators in YI(Jl', %). This simplification is justified, however,
by the cleaner statements that result. Also, the interested reader will have
no trouble formulating the more general statement when it is needed.
2.8. Example. Let (X,Q,Jl) be a a-finite measure space and let M.p be the
multiplication operator with sy!!lbol <jJ (1.5). Then M; is M;p, the multi-
plication operator with symbol </J.
PROOF. It has already been mentioned that S is an isometry (1.5.3). For (a.)
and (/3.) in 12 , (S*(a.), (/3.)) =((a.), S(/3.)) = ((a 1,a 2 , ... ), (0,/3 1 ,/3 2 , ... )) =
a2lf1 + rx3lf2 + ... = ((rx 2 ,1X 3 , ... ), (/3 1,/3 2 , ... )). Since this holds for every (/3.),
the result is proved. •
The operator S in (2.10) is called the unilateral shift and the operator S*
is called the backward shift.
The operation of taking the adjoint of an operator is, as the reader may
have seen from the examples above, analogous to taking the conjugate of a
complex number. It is good to keep the analogy in mind, but do not become
too religious about it.
In the analogy between the adjoint and the complex conjugate, hermitian
operators become the analogues of real numbers and, by (2.5), unitaries are
the analogues of complex numbers of modulus 1. Normal operators, as we
shall see, are the true analogues of complex numbers. Notice that hermitian
and unitary operators are normal.
In light of (2.8), every multiplication operator Mq, is normal; Mq, is
hermitian if and only if 4> is real-valued; Mq, is unitary if and only if 14>1 = 1
a.e. [Ill By (2.9), an integral operator K with kernel k is hermitian if and only
if k(x, y) = k(y, x) a.e. [/l x Ill The unilateral shift is not normal (Exercise 6).
PROOF. If A= A*, then (Ah, h)= (h, Ah) = (Ah,h); hence (Ah, h)EJR..
For the converse, assume (Ah,h) is real for every h in£'. If rxECf_ and
h,gE£', then (A(h + rxg), h + ag) = (Ah, h)+ &(Ah, g)+ rx(Ag, h)+
<
lrx 12 Ag, g )EIR. So this expression equals its complex conjugate. Using the
< <
fact that Ah, h >and Ag, g )EIR yields
a(Ag,h) + &(Ah,g) = + rx(g, Ah)
&(h, Ag)
= a.(A*h,g) + a(A*g,h).
By first taking IX= 1 and then a= i, we obtain the two equations
(Ag,h) + (Ah,g) = (A*h,g) + (A*g,h),
i(Ag,h)- i(Ah,g) =- i(A*h,g) + i(A*g,h).
A little arithmetic implies <Ag, h)= (A*g, h), so A= A*. •
The preceding proposition is false if it is only assumed that £' is an
IR-Hilbert space. For example, if A = [
-1 0
J
0 1 on JR 2 , then <Ah, h) = 0 for
34 II. Operators on Hilbert Space
The preceding corollary is not true unless A= A*, as the example given
after Proposition 2.12 shows. However, if a complex Hilbert space is present,
this hypothesis can be deleted.
A* A = B 2 - iCB + iBC + C 2 ,
AA* = B 2 + iCB- iBC + C 2 •
Hence A* A = AA * if and only if CB = BC, and so (a) and (c) are equivalent.
•
2.17. Proposition. If A E81(£), the following statements are equivalent.
(a) A is an isometry.
(b) A*A=I.
(c) (Ah,Ag) = (h,g) for all h,g in£.
PROOF. The proof that (a) and (c) are equivalent was seen in Proposition 1.5.2.
Note that if h,gE£, then (A*Ah,g) = (Ah,Ag). Hence (b) and (c) are easily
seen to be equivalent. •
Two facts should be noted. Since A**= A, it also holds that ker A*=
(ranA)1.. Second, it is not true that (ker A)J. =ran A* since ran A* may not
36 II. Operators on Hilbert Space
be closed. All that can be said IS that (ker A).L = cl(ran A*) and
(ker A*).L = cl(ran A).
EXERCISES
l. Prove Proposition 2.5.
2. Prove Proposition 2.6.
3. Verify the statement in Example 2.8.
4. Verify the statement in Example 2.9.
5. Find the adjoint of a diagonal operator (Exercise 1.8).
6. Let S be the unilateral shift and compute SS* and S* S. Also compute S" S*" and
S*"S".
7. Compute the adjoint of the Volterra operator V (1.7) and V + V*. What is
ran(V + V*)?
8. Where was the hypothesis that Jf is a Hilbert space over CC used in the proof
of Proposition 2.12?
9. Suppose A = B + iC, where B and C are hermitian and prove that B =
(A+ A*)/2, C =(A- A*)/2i.
10. Prove Proposition 2.15.
11. If A and B are self-adjoint, show that AB is self-adjoint if and only if AB = BA.
12. Let l::'=oiX•z" be a power series with radius of convergence R, 0 < R::::;; oo. If
Ae86'(Jf) and I A II< R, show that there is an operator Tin 86'(£') such that for
any h,g in Jf, <Th,g)=L.;'= 0 1X.<A"h,g). [If f(z)=L,IX.z", the operator Tis
usually denoted by /(A).]
13. Let A and T be as in Exercise 12 and show that II T- L.: = 0 IXkAk II -+ 0 as n-+ oo.
If BA = AB, show that BT = TB.
14. Ifj(z)=expz=L.;'= 0 z"/n! and A is hermitian, show thatf(iA) is unitary.
15. If A is a normal operator on Jf, show that A is injective if and only if A has
dense range. Give an example of an operator B such that kerB = (0) but ran B
is not dense. Give an example of an operator C such that C is surjective but
kerC =1=(0).
16. Let M"' be a multiplication operator (1.5) and show that ker M"' = 0 if and only
if J1( {x: if>(x) = 0}) = 0. Give necessary and sufficient conditions on if> that ran M"'
be closed.
The proof of part (c) is left as an exercise. There is also a converse to (c).
If A, JV ~ Yf, An JV = (0), and A+ JV = Yf, then there is an idempotent
E such that j { =ran E and JV = ker E; moreover, E is unique. The difficult
part in proving this converse is to show that E is bounded. The same fact is
true in more generality (for Banach spaces) and so this proof will be
postponed.
Now we turn our attention to projections, which are peculiar to Hilbert
space.
II h - Eh 11 2 = II h 11 2 - 2 Re <Eh, h) + II Eh 11 2 = 0.
That is, (ker E)j_ 5; ker(I- E)= ran E. On the other hand, if gEran E,
g=g 1 +g 2 , where g 1 EkerE and g 2 E(kerE)j_. Thus g=Eg=Eg 2 =g 2 ; that
is, ran E 5; (ker E)j_. Therefore ran E = (ker E)j_ and E is a projection.
38 II. Operators on Hilbert Space
3.6 A=[; ~l
where WE81J(A), XE!!J(Jt.l,A), YE81J(A,A.l), and ZE!!J(A.i).
§3. Projections and Idempotents; Invariant and Reducing Subspaces 39
3.7. Proposition. If A EBi(Jr), .A~ Jr, and P = P .Jt. then statements (a) through
(c) are equivalent.
(a) .A is invariant for A.
(b) PAP= AP.
(c) In (3.6), Y = 0.
Also, statements (d) through (g) are equivalent.
(d) .A reduces A.
(e) PA = AP.
(f) In (3.6), Y and X are 0.
(g) .A is invariant for both A and A*.
PROOF. (a)=>(b): If hEJr, PhEvll. So APhEvll. Hence, P(APh) = APh. That
is, PAP=AP.
(b)=>(c): If P is represented as a 2 x 2 operator matrix relative to
Jr =.A (f) .A 1., then
P=[~ ~l
Hence,
PAP=[~ ~]=AP=[~ ~l
So Y=O.
(c)=>(a): If Y = 0 and hE.A, then
(d)=>(e): Since both .A and .AJ. are invariant for A, (b) implies that
AP =PAP and A(I- P) = (1- P)A(I- P). Multiplying this second equation
gives A - AP = A - AP- P A + PAP. Thus P A =PAP= AP.
(e)=> (f): Exercise.
(f)=>(g): If X= Y = 0, then
A = [: ~ J and A* = [ ~* ;. J.
By (c), .A is invariant for both A and A*.
(g)=>(d): If hE.AJ. and gE.A, then (g, Ah) = (A*g, h)= 0 since A*gE.A.
Since g was an arbitrary vector in .A, AhEvll 1.. That is, AM J. ~ vH 1.. •
EXERCISES
=
I. Let .ff be the two-dimensional real Hilbert space .R2 , let .41 {(x,O)ER 2 : xER}
and let A"= { (x, xtan 0): xER}, where 0 < l:l < !n. Find a formula for the
idempotent E0 with ran E0 = .41 and ker E0 = %. Show that II E0 II =(sin l:l)- 1 .
2. Prove Proposition 3.2 (c).
3. Let{~#;: iEI} be a collection of closed subspaces of Jf and show that n{Jt/":
iEI} = [ V {.41;: iEI} F and [n {.41;: iEI} F = V {.41/·: iEI}.
4. Let P and Q be projections. Show: (a) P + Q is a projection if and only if
ran P .l ran Q. If P + Q is a projection, then ran(P + Q) =ran P +ran Q and
ker(P + Q) = ker P n ker Q. (b) PQ is a projection if and only if PQ = QP. If PQ
is a projection, then ran PQ = ran P n ran Q and ker PQ = ker P + ker Q.
5. Generalize Exercise 4 as follows. Suppose {.41;: iEI} is a collection of subspaces
of £ such that .41; .l.411 if i ¥= }. Let P; be the projection of .ff onto .41; and
show that for all h in ff,L_{P;h: iEI} converges to Ph, where Pis the projection
of£ onto V {.4/;:iEl}.
6. If P and Q are projections, then the following statements are equivalent. (a) P- Q
is a projection. (b) ran Q s; ran P. (c) PQ = Q. (d) QP = Q. If P- Q is a projection,
then ran(P- Q) =(ran P) 8 (ran Q) and ker(P- Q) =ran Q + ker P.
7. Let P and Q be projections. Show that PQ = QP if and only if P + Q- PQ is a
projection. If this is the case, then ran(P + Q- PQ) =ran P +ran Q and
ker(P + Q- PQ) = ker PnkerQ.
8. Give an example of two noncommuting projections.
9. Let AE86'(.ff) and let %=graph As;JfEjJ£. That is, fi={hEBAh: hE£}.
Because A is continuous and linear, % ::::; .ff EB .ff. Let .41 = Jf EB (0)::::; Jf EB .ff.
Prove the following statements. (a) Jt n AI = (0) if and only if ker A = (0).
(b) .eft+ Y is dense in .#' EB Jf if and only if ran A is dense in ff.
(c) J/t + .t · = Yf EB ff if and only if A is surjective.
10. Find two closed linear subspaces ult, A" of an infinite dimensional Hilbert space
ff such that .41 n% = (0) and .41 +% is dense in .ff, but .41 + A" ¥= Jf.
II. Define A: 12 (Z)-+1 2 (Z) by A( ... ,IX_ 1 ,& 0 ,1X 1, ••. )=( ... ,&_ 1 ,1X 0 ,1X 1 , ••• ), where sits
A
above the coefficient in the 0-place. Find an invariant subspace of A that does
not reduce A. This operator is called the bilateral shift.
12. Let Jl=Area measure on [)=:{zEd:: lz\<1} and define A: L2 (J1)-+L2(J1) by
(Af)(z) = zf(z) for jzj < I and fin e(Jl). Find a nontrivial reducing subspace for
A and an invariant subspace that does not reduce A.
§4. Compact Operators 41
It is easy to see that f11 00 (.Yf, f) is a linear space and P4 00 (.Yf, f) s;:
P4 0 (.Yf, f) (Exercise 2). Before giving other examples of compact operators,
however, the next result should be proved.
PROOF. (c):;.(a): This is immediate from (4.2b) and the fact that
~oo(.Yf', .Jt'") £ ~o(.Yf', .Jt'").
(a) :;.(c): Since cl [ T(ball Jff')] is compact, it is separable. Therefore
cl(ran T) = 2 is a separable subspace of .Jf". Let {e 1 , e2 , .•. } be a basis for
2 and let P,. be the orthogonal projection of .Jf" onto V {e/ 1:::;; j:::;; n}. Put
T,. = P,. T; note that each T,. has finite rank. It will be shown that II T,.- T II -t 0,
but first we prove the following:
Using the claim we can find an integer n0 such that I Thi- T,.hi II < e/3 for
1 :::;; j:::;; m and n;;:: n0 . So II Th- T,.h II < e uniformly for h in ball Jff'. Therefore
II T- T,.ll < e for n ;;:: n0 .
(c):;.(b): If {T,.} is a sequence in ~ 00 (£, .Jt'") such that II T,.- T li-tO, then
I T:- T* II= II T,.- T li-tO. But r:E~ 00 (Jff, .Jf") (Exercise 3). Since (c)
implies (a), T* is compact.
(b):;. (a): Exercise. •
A fact emerged in the proof that (a) implies (c) in the preceding theorem
that is worth recording.
4.5. Corollary. If TE~ 0 (Jff, .Jf"), then cl(ran T) is separable and if {e,.} is a
basis for cl(ran T) and P,. is the projection of .Jf" onto V {ei: 1:::;; j:::;; n}, then
IIP,.T- Til-tO.
4.6. Proposition. Let Jff be a separable Hilbert space with basis {e,.}; let
{a,.}£ F' with M =sup{ Ia,. I: n;;:: 1} < oo. If Ae,. = a,.e,. for all n, then A extends
by linearity to a bounded operator on Jff with I A II = M. The operator A is
compact if and only if a,.-t 0 as n -too.
PROOF. The fact that A is bounded and II A II = M is an exercise; such an
operator is said to be diagonalizable (see Exercise 1.8). Let P,. be the projection
of Jff onto V {e 1 , ... ,e,.}. Then A,.=A-AP,. is seen to be diagonalizable
with A,.ei = aiei if j > n and A,.ei = 0 if j:::;; n. So AP,.E~ 00 (Jff') and
I A,. II =sup{ lai I: j > n}. If a,. -tO, then II A,. li-tO and so A is compact since
§4. Compact Operators 43
f
(Kf)(x) = k(x, y)f(y)dJ.L(Y)
cf>ij(x, y) = eix)ei(y)
for i,j in I and x,y in X, then {cf>ii:i, jEI} is an orthonormal set in L2 (X x X,
Q x Q, 11 x J.L). If k and K are as in the preceding proposition, then
(k,cf>ii) = (Kej,ei>·
PROOF OF PROPOSITION 4.7. First we show that K defines a bounded operator.
In fact, if /EL2 (J.L), //Kf/1 2 = flfk(x,y)f(y)dJ.L(yWdJ.L(x)~f<f/k(x,yWdJ.L(Y))·
(fif(yWdJ.L(y)}dJ.L(X)= 1/k/1 2 1/f/1 2 • Hence K is bounded and 1/KII ~ llkll 2 •
Now let {ed be a basis for L2 (J.L) and define cf>ii as in Lemma 4.8. Thus
= ~~~Q:j((K- K.)ej,ei)l
2
= ~~~Q:m((K- K.)em,ek)l 2
~ ~ [ ~ /Q:m/ 2
][ ~ /((K- K.)em,ek)/ 2
J
44 II. Operators on Hilbert Space
00
= I
k=n+1 m=n+1
00
= I
k=n+ 1 m=n+ 1
Since Lk,m I< k, 1/1 km >12 < oo, n can be chosen sufficiently large such that for
any e > 0 this last sum will be smaller than e2 • Thus I K - K. II -+ 0. •
In particular, note that the preceding proposition shows that the Volterra
operator (1.7) is compact.
One of the dominant tools in the study of linear transformation on
finite dimensional spaces is the concept of eigenvalue.
4.12. Example. Let hEYf = L~(- rc, rc) and define K: Jf'-+ Jf' by (Kf)(x) =
(2rc)- 112 f~" h(x- y)f(y)dy. If Jc. = (2rc) - 112 r"
h(x) exp(- inx)dx = h(n), the
nth Fourier coefficient of h, then Ke. = Jc.en, where en(x) = (2rc) - 112 exp(- inx).
The way to see this is to extend functions in L~(- rc, rc) to IR by periodicity
and perform a change of variables in the formula for (Ken)(x). The details are
left to the reader.
Operators on finite dimensional spaces over <C always have eigenvalues.
As the Volterra operator illustrates, the analogy between operators on finite
dimensional spaces and compact operators breaks down here. If, however,
a compact operator has an eigenvalue, several nice things can be said if the
eigenvalue is not zero.
4.13. Proposition. If TE.s?l 0 (Jf'), AEap(T), and A =f. 0, then the eigenspace
ker(T- }.) is finite dimensional.
PROOF. Suppose there is an infinite orthonormal sequence {en} in ker(T- A).
Since T is compact, there is a subsequence {en.} such that {Ten.} converges.
§4. Compact Operators 45
4.14. Proposition. If Tis a compact operator on :Yf, A~ 0, and inf{ II (T- A)h II:
II h II = 1} =0, then AEa p(T).
PROOF. By hypothesis, there is a sequence of unit vectors {h"} such that
II (T- A)h" II-+ 0. Since T is compact, there is a vector f in :Yf and a sub-
sequence {hnJ such that II Th"k- f 11--.0. But hnk =A - 1 [(A- T)h"k + Th"k]--.
A- 1f. So 1 = IIA- 1fll = 1Ar 1 llfll and f ~0. Also, it must be that
Th"k --+A - 1 Tf. Since Th"k--. f, f =A - 1 Tf, or Tf = Aj. That is, feker(T- A)
and f ~ 0, so AEa p(T). •
It will be proved in a later chapter that if A. f. a p(T) and A.~ 0, then If, a p(T*).
More will be shown about arbitrary compact operators in Chapter VI.
In the next section the theory of compact self-adjoint operators will be
explored.
EXERCISES
l. Prove Proposition 4.2(c).
5.2
where the series converges to T in the metric defined by the norm of £1J(Jt').
[Of course, (5.2) may be only a finite sum.]
§5. The Diagonalization of Compact Self-Adjoint Operators 47
The proof of Theorem 5.1 requires a few preliminary results. Before begin-
ning this process, let's look at a few consequences.
The proof of (c) in the preceding corollary revealed an interesting fact that
deserves a statement of its own.
Th = L ,u.(h,e.)e•.
n;l
Note that there may be repetitions in the sequence {,u.} in (5.4). How
many repetitions?
5.5. Corollary. If TE£11 0 (£), T = T*, and ker T = (0), then Yf is separable.
PROOF. If hEker(A- A.) and gEker(A- Jl.), then the fact (5.6) that
A*g =jig implies that A.( h,g) = (Ah,g) = ( h, A*g) = (h, jig)= 11(h, g).
Thus ()" -Jl)(h, g)= 0. Since A. -11 # 0, h l_g. •
5.8. Proposition. If A= A* and AEap(A), then A. is a real number.
PRooF. If Ah = A.h, then Ah = A*h = Ih by (5.6). So (A.- I)h = 0. Since h can
be chosen different from 0, A. = X. •
The main result prior to entering the proof of Theorem 5.1 is to show
that a compact self-adjoint operator has nonzero eigenvalues. If (5.3c) is
examined, we see that there is a A.. in a p(T) with IA.. I= II T 11. Since the
preceding proposition says that A..ElR, it must be that A..= ± II T 11. That is,
either ± II T II EO' p(T). This is the key to showing that a p(T) is nonvoid.
PROOF OF THEOREM 5.1. By Lemma 5.9 there is a real number .A. 1 in aP(T)
with IA. 1 1= II T 11. Let tC 1 = ker(T- A. 1 ), P 1 =the projection onto tC 1 , .Yt' 2 = 6'f.
By (5.6) 6' 1 reduces T, so £ 2 reduces T. Let T2 = Tl£ 2; then T2 is a
self-adjoint compact operator on .Yt' 2. (Why?)
By (5.9) there is an eigenvalue .A. 2 for T 2 such that IA. 2 1= II T2 11. Let
Iff 2 = ker(T2 - A. 2). Note that (0) #Iff 2 ~ ker(T- .A. 2). If it were the case that
)" 1 =A 2 , then tff 2 ~ker(T-A. 1 )=tff 1 • Since tff 1 l_tff 2 , it must be that A. 1 ;i=A. 2 •
Let P 2 =the projection of .Yt' onto Iff 2 and put .Yt' 3 =(Iff 1 E9 Iff 2 )J.. Note that
II T2ll::::;; II Til so that I.A. 21::::;; IA. 1 1.
Using induction (give the details) we obtain a sequence {A..} of real
eigenvalues of T such that
(i) IA.~I~I.A.2I~ ... ;
(ii) If Iff.= ker(T- A..), IA.n+ 1 1 = II Tl(tff 1 E9 .. · E9 tff.)J.II.
By (i) there is a nonnegative number a: such that IA.. 1-+ a:.
Now put P. =the projection of Yf onto iff. and examine T- I.}= 1 A.iPi.
If hEiffk, 1 ~ k ~ n, then (T- L.'j= 1A.iP)h = Th- A.kh = 0. Hence iff 1EB ··· EB
iff.s;ker(T-L.)= 1 A.iP). If hE(iff 1EB···EBiff.)·L, then Pih=O for 1 ~j~n;
so (T- L.'j= 1 A.iP)h = Th. These two statements, together with the fact that
(iff 1EB · · · EB iff .).l reduces T, imply that
= IA..+ 1 I-+ o.
Therefore the series I.;'= 1 A..P. converges in the metric of £?6'(Yf) to T. •
EXERCISES
I. Prove Corollary 5.4.
2. Prove Corollary 5.5.
3. Let K and k be as in Proposition 4. 7 and suppose that k(x, y) = k(y, x). Show that
K is self-adjoint and if {fl.} are the eigenvalues of K, each repeated dim ker(K -fl.)
times, then :L~ lfl.l 2 < oo.
4. If Tis a compact self-adjoint operator and {e.} and {fl.} are as in (5.4) and if his a
given vector in £', show that there is a vector f in £' such that Tf = h if and
only if h .l ker T and L.fl; 2 1< h, e.) 12 < oo. Find the form of the general vector f
such that Tf = h.
5. Let T, {fl.}, and {e.} be as in (5.4). If .l. # 0 and .l. # fln for any fl., then for every
h in £' there is a unique f in £' such that (.l.- T)f = h. Moreover,
f=r 1 [h+:L:= 1 .l..(.l.-.l..)- 1 <h,e.)e.]. Interpret this when Tis an integral
operator.
6.5. Lemma. If IX, IX 1, p, P1 eJR., IX 2 +~Xi> 0, and P2 +Pi> 0, then there are
functions ha, hb in ~ a• ~b• respectively, such that L(ha) = 0 and L(hb) = 0 and
ha, hb are real-valued and not identically zero.
Note that W' = hah~ - h~hb = ha(qhb)- (qha)hb = 0. Hence W(x) = W(a) for
all x.
6.6. Lemma. Assuming (6.4), W(a) of. 0 and so ha and hb are linearly independent.
PROOF. If W(a) = 0, then linear algebra tells us that the column vectors in
the matrix used to define W(a) are linearly dependent. Thus there is a ). in
IR such that hb(a) = ),ha(a) and h~(a) = ).h~(a). Thus hbEE0 and L(hb) = 0. By (6.4),
hb = 0, contradiction. •
6.9. Theorem. Assume (6.4). If g is the Green function for L defined in (6.7)
r
and G: L2 [a,b]-+U[a,b] is the integral operator defined by
(Gf)(x) = g(x,y)f(y)dy,
then G is a compact self-adjoint operator, ranG= !:0, LGf = f for all fin
L2 [a,b], and GLh = hfor all h in !:0.
PRooF. That G is self-adjoint follows from the fact that g is real-valued and
g(x,y)=g(y,x); G is compact by (4.7). Fixfin U[a,b] and put h=Gf.It
r
must be shown that hEf0.
Put
r
Then
h(x) =
r r
g(x, y)f(y)dy
= C- 1 ha(y)hb(x)f(y)dy + c- 1 ha(x)hb(y)f(y)dy.
That is, h = Hahb + haHb. Differentiating this equation gives h' = (c- 1 haf)hb +
Hah~ + h~Hb + ha(- c- 1 hbf) = Hah~ + h~Hb a.e. Since Hah~ + h~Hb is absolutely
continuous, as part of showing that hEf0 we want to show the following.
52 II. Operators on Hilbert Space
6.10. Corollary. Assume (6.4). If he~, A.e<r\{0}, and Lh = A.h, then Gh =A. - 1 h.
lfheL2 [a,b] and Gh=A.- 1 h, then he~ and Lh=A.h.
PROOF. This is immediate from the theorem.
•
6.11. Lemma. Assume (6.4). lfcxeap(G) and ex :;CO, then dim ker(G-cx)= l.
PROOF. Suppose there are linearly independent functions h 1, h 2 in ker(G- a:).
By (6.10), h 1, h 2 are solutions of the equation
- h" + (q- cx- 1)h = 0.
Since this is a second-order linear differential equation, every solution of it
must be a linear combination of h 1 and h 2 • But h 1, h 2 E~ so they satisfy (6.2).
But a solution can be found to this equation satisfying any initial conditions
at a-and thus not satisfying (6.2). This contradiction shows that linearly
independent h 1, h2 in ker(G- a:) cannot be found. •
6.12. Theorem. Assume (6.4). Then there is a sequence {A. 1, A. 2 , ... } of real
numbers and a basis {e 1,e 2 , ... } for L2 [a,b] such that
(a) O<IA.ti<IA- 2 1< ... and 1)-nl-+oo.
(b) ene~ and Len= A.nenfor all n.
(c) If A.#A.nfor any A.n andfEL2 [a,b], then there is a unique h in~ with
Lh -A.h =f.
(d) If A.= A.nfor some n andf eL2 [a, b], then there is an h in~ with Lh- A.h = f
if and only if ( f, en) = 0. If ( f, en) = 0, any two solutions of Lh- A.h =.f
differ by a multiple of en.
PROOF. Parts (a) and (b) follow by Theorem 5.1, Corollary 6.10, and
§6. An Application: Sturm-Liouville Systems 53
Lemma 6.1. For parts (c) and (d), first note that
6.13 Lh- A.h = f if and only if h- A.Gh = Gf.
This is, in fact, a straightforward consequence of Theorem 6.9.
(c) The case where A= 0 is left to the reader. If A. =I= An for any n, A- 1 ~a p(G).
Since G = G*, Corollary 4.15 implies G-). - 1 is bijective. So iff EL2 [a, b],
there is a unique h in L 2 [a,b] with Gf =(A. - 1 - G)h. Thus hE~ and (6.13)
implies L(h/A.)- A.(h/A.) =f.
(d) Suppose )0 =An for some n. If Lh- A.nh = f, then h- AnGh = Gf.
Hence ( Gf,en) = (h,e.)- An( Gh,e.) = (h,e.)- A..(h,Gen) = (h,e.)-
A..<- 1 (h, en)= 0. So 0 = ( Gf,en) = (f, Ge.) = A.n(f, en>· Hence f l_e •.
Since <C en= ker(G- A.; 1 ), [en] .L =.AI reduces G. Let G 1 = Gl%. So G 1 is
a compact self-adjoint operator on .AI and A.; 1 ~a p(Gd. By (4.15),
ran(G 1 - )0; 1 ) =.AI. As in the proof of (c), iff l_ e., there is a unique hand .AI
such that Lh- A..h =f. Note that h + rx.en is also a solution. If h 1 , h2 are two
solutions, h 1 - h 2 Eker(L- A..), so h 1 - h2 = rx.en. •
What happens if ker L =1= (0)? In this case it is possible to find a real number
J1 such that ker(L- p) = (0) (Exercise 6). Replacing q by q- Jl, Theorem 6.12
now applies. More information on this problem can be found in Exercises 2
through 5.
EXERCISES
1. Consider the Sturm-Liouville operator Lh = - h" with a= 0, b = 1, and for each
of the following boundary conditions find the eigenvalues P.n}, the eigenvectors
{e.}, and the Green function g(x,y): (a) h(O) = h(l) = 0; (b) h'(O) = h'(l) = 0; (c)
h(O) = 0 and h'(l) = 0; (d) h(O) = h'(O) and h(l) = - h'(l).
2. In Theorem 6.12 show that I.;;~ 1 2.- 2 < oo (see Exercise 5.3).
3. In Theorem 6.12 show that hE.@ if and only if hEL2 [a, b] and I.;;= 1 .1.;1 <h, e. W < oo.
If hE£:0, show that h(x) = L.:'~ 1 <h, e.) e.(x), where this series converges uniformly
and absolutely on [a,b].
4. In Theorem 6.12(c), show that h(x) = L.;:'= 1 (A..- A.)- 1 <f,e.)en(x) and this series
converges uniformly and absolutely on [a, b].
5. In Theorem 6.12(d), show that if f l_ e. and Lh- A..h = f, then h(x) =
L, 1 ,.(A.1 - }•• )- 1 <f,e1 )e)x)+rx.e.(x) for some rx., where the series converges
uniformly and absolutely on [a, b].
6. This exercise demonstrates how to handle the case in which ker L #- (0). (a) If
r
h,gEC(ll[a,b] with h',g' absolutely continuous and h", g"EL2 [a,b], show that
(b) If h, gE£:0, show that <Lh, g)= <h, Lg ). (The inner product is in L2 [a, b].)
(c) If h, gE.@ and )., J1ElR, A.#- Jl, and if hEker(L- A.), gEker(L- Jl), then h l_ g.
(d) Show that there is a real number J1 with ker(L- Jl) = (0).
54 II. Operators on Hilbert Space
7.2. Definition. A partition of the identity on Jt" is a family {Pi: iei} of pairwise
orthogonal projections on Jt" such that V iPiJt" = Jt". This might be indicated
by 1 = L;P; or 1 = tfJ;P;. [Note that 1 is often used to denote the operator
on Jt" defined by 1(h) = h for all h. Similarly if aeF', a is the operator defined
by a(h) = ah for all h.]
Note that it was not assumed that the scalars a; in (7.3) are distinct. There
is no loss in generality in assuming this, however. In fact, if a;= ai, then we
can replace P; and Pi with P; +Pi.
Also note that if A = tfJ;a;P;, then A*= tfJ;fi;P; and A is normal (Exercise 5).
§7. The Spectral Theorem and Functional Calculus 55
7.5. Theorem. If A= ffi;cx;P; is diagonalizable and all the ex; are distinct, then
an operator Bin ~(Jt') satisfies AB = BA if and only iffor each i, ran P; reduces
B.
PROOF. If all the IX; are distinct, then ran P; = ker(A -a;). If AB = BA and
Ah = cx;h, then ABh =BAh= B(cx;h) = a;Bh; hence Bheran P; whenever
heranP;. Thus ran P; is left invariant by B. Therefore B leaves V {ran Pi
j =1= i} =.#';invariant. But since ffi;P; = 1, .#'; = (ranPJL. Thus ran P; reduces
B.
Now assume that B is reduced by each ran P;. Thus BP; = P;B for all i.
If he.J't', then Ah = L,;cx;P;h. Hence BAh= L,;cx;BP;h = L,;cx;P;Bh = ABh.
(Why is the first equality valid?) •
7.7
where this series converges to T in the metric defined by the norm on ~Jt').
L </J(A.n)Pn + </J(O)Po,
00
</J(T) =
n;l
where P 0 = the projection of Jf' onto ker T.
Note that ¢(T) is a diagonalizable operator and 11</J(T)II =sup{l¢(0)1,
I<PP-1) I, ... } (4.6). Much more can be said.
7.13. Definition. If A E.1i(Jf'), then A is positive if< Ah, h) ~ 0 for all h in Jr.
In symbols this is denoted by A ~ 0.
PROOF. Let T = L.~ AnPn. If T;;?; 0 and hePn~ with II h II= 1, then Th = Anh.
Hence An= ( Th, h) ;;?; 0. Conversely, assume each An;;?; 0. If he~,
h = h0 + L.:'= 1 hn, where h0 eker T and hnEPn~ for n;;?; 1. Then Th = L~ Anhn.
Hence (Th, h)= (L,;'= 1 Anhn,ho + L.;:= 1 hm) = L:'= 1 L.;:=oAn(hm hm) =
L.:'= 1 An II hn 11 2 ;;?; 0 since (hm hm) = 0 when n =I= m. •
EXERCISES
1. If {Pn} is a sequence of pairwise orthogonal nonzero projections and P = L.Pn,
show that II P- r.;=1 Pj II = 1 for all n.
3. If A = L: rx;P; as in (7.3), show that A is compact if and only if: (a) rx; = 0 for all
but a countable number of i; (b) P; has finite rank whenever rx; ¥- 0; (c) if
{rx 1 , rx 2 , ... } = {rx;: rx; ¥- 0}, then rx" -+0 as n-+ oo.
4. Prove Proposition 7.4.
5. If A= ffi;rx;P;, show that A*= ffi;IX;P;, A is normal, and II A II =sup{ lrxd: iel}.
6. Give the remaining details in the proof of (7.6).
7. If Aeg,J(£) and AT= T A for every compact operator T, show that A is a multiple
of the identity operator.
8. Suppose T is a compact normal operator on a <C-Hilbert space such that
dim ker(T- ).) ~ 1 for all A. in <C. Show that if Aeg,J(£) and AT= T A, then
A= cf>(T) for some 4> in / 00 (<C).
11. If AE<C, Jet t5 A be the unit point mass at A.; that is, t5 A is the measure on <C such
that bAM= 1 if AEd and t5AL1)=0 if A¢;11. If {A 1,A 2, ... } is a bounded sequence
of distinct complex numbers and {rxn} is a sequence of real numbers with rx" > 0
and L:nrxn < oo, let f.1 = L::= 1 rxnbA"; so J.1 is a finite measure. If c/>EI 00 (<C), let M q, be
the multiplication operator on L2 (f.1). Define T: L2(f.1)-+ mf.l) by (Tj)(A") = Anf(Anl·
Prove: (a) T is a normal operator; (b) T has a cyclic vector (see Exercise 10); (c)
if Aeg,J(£) and AT= T A, then A= M q, for some 4> in / 00 (<C); (d) T is compact
if and only if A" -+0. (e) If Tis compact, find all of the cyclic vectors for T. (f) If
T is compact, find the decomposition (7.7) for T.
12. Using the notation of Theorem 7.11, give necessary and sufficient conditions on
T and 4> that cf>(T) be compact. (Hint: consider separately the cases where ker T
is finite or infinite dimensional.)
13. Prove the uniqueness part of Theorem 7.16.
14. If Teg,J(£), show that T*T ~ 0.
15. Let T be a compact normal operator and show that there is a compact positive
operator A and a unitary operator U such that T = U A= AU. discuss the
uniqueness of A and U.
16. (Polar decomposition of compact operators.) Let T eg,J 0 (£) and let A be the unique
positive square root of T*T [(7.16) and Exercise 14]. (a) Show that II Ah II= II Th II
for all h in£. (b) Show that there is a unique oprator U such that II Uh II= II h II
when h _!_ ker T, Uh = 0 when he ker T, and U A = T. (c) If U and A are as in (a)
and (b), show that T =AU if and only if Tis normal.
17. Prove the following uniqueness statement for the functional calculus (7.11). If T
is a compact normal operator on a <C-Hilbert space£ and r: / 00 (<C)-+g,J(£) is
60 II. Operators on Hilbert Space
a multiplicative linear map such that II r(c/>) II= sup{ lc/>(A)I: AEup(T)}, r(l) = l, and
r(I/J) = T whenever 1/J(z) = z on up(T) u {0}, then r(c/>) = c/>(T) for every 4> in /00 (<C).
Hence my(A.) ~ 0 for all A. and my(A.) > 0 if and only if A. is an eigenvalue
for T. Note that by Proposition 4.13, my(A.) < oo if A.# 0.
If, T, S are compact operators on Hilbert spaces and U: Yf-+ :ff is an
isomorphism with UTU - 1 = S, then U ker(T- A.)= ker(S- A.) for every A.
in <C. In fact, if Th = A.h, then SUh = UTh = A.Uh and so UhEker(S- A.).
Conversely, if kEker(S- A.) and h = u- 1 k, then Th = TU- 1 k = u- 1 Sk = A.h.
In particular, it must be that my= ms. If S and T are normal, this condition
is also sufficient for unitary equivalence.
8.3. Theorem. Two compact normal operators are unitarily equivalent if and
only if they have the same multiplicity function.
PROOF. Let T, S be compact normal operators on Hilbert spaces Yf, :ff. If
T ~ S, then it has already been shown that my= ms. Suppose now that
my= ms. We must manufacture a unitary operator U: Yf-+ :ff such that
uru- 1 =S.
Let T =I.:= 1 A.nPn and letS= I.:= 1 /lnQn as in the Spectral Theorem (7.6).
So if n # m, then ),n # A.m and lln # llm• and each of the projections Pn and Qn
§8. Unitary Equivalence for Compact Normal Operators 61
has finite rank. Let P 0 , Q0 be the projections of .rt', .1{ onto ker T, ker S; so
P0 = ('L,~ Pn)j_ and Q0 = (L~Qn)J.. Put A.0 = Jlo = 0.
Since mr = m8 , 0 < mr(A.n) = m8 (A.n). Hence there is a unique Jli such that
Jli = A.n. Define n: IN-+ IN by letting Jln(nl = A.n. Let n(O) = 0. Note that 1t is
one-to-one. Also, since 0 < ms(Jln) = mr(Jln), for every n there is a j such that
n(j) = n. Thus n: IN u {0}-+ IN u {0} is a bijection or permutation. Since
dim p n = mr(A.n) = ms(Jl,(n)) =dim Qn(n)' there is an isomorphism un: p n.rt'-+
Q,<nl.i{ for n ~ 0. 'Define U: .rt'-+ .1{ by letting U = Unon Pn.rt' and extending
by linearity. Hence U = ffi:'= 0 Un· It is easy to check that U is an
isomorphism. Also, if hEPn.rt', n ~ 0, then UTh = A.nUh = Jln(nPh = SUh.
Hence UTU- 1 =S. •
If Vis the Volterra operator, then mv=O (4.11) and V and the zero
operator are definitely not unitarily equivalent, so the preceding theorem
only applies to compact normal operators. There are no known necessary
and sufficient conditions for two arbitrary compact operators to be unitarily
equivalent. In fact, there are no known necessary and sufficient conditions
that two arbitrary operators on a finite-dimensional space be unitarily
equivalent.
EXERCISES
1. Show that "unitary equivalence" is an equivalence relation on 81(.1f).
2. Let U: .1f -+%be an isomorphism and define p: 81(.1f)-+81(%) by p(A) = U AU- 1 •
Prove: (a) II p(A) II = II A II, p(A *) = p(A *), and p is an isomorphism between the
two algebras 81(.1f) and 81(%). (b) p(A)e81 0 (%) if and only if Ae81 0 (.1f). (c) If
Te81(.1f), then AT= T A if and only if p(T)p(A) = p(A)p(T). (d) If Ae81(.1f) and
..II~ .1f, then ..II is invariant (reducing) for A if and only if U..ll is invariant
(reducing) for p(A).
3. Say that an operator A on Jt' is irreducible if the only reducing subspaces for A
are (0) and Jt'. Prove: (a) The Volterra operator is irreducible. (b) The unilateral
shift is irreducible.
4. Suppose A= EtJ {A;: iei} and B = EtJ {B;: iei} where each A; and B; is irreducible
(Exercise 3). Show that A ~ B if and only if there is a bijection n: I-+ I such that
A;~B,<;r
5. If T is a compact normal operator and mT = m is its multiplicity function, prove:
(a){).: m(.l.) > 0} is countable and 0 is its only possible cluster point; (b) m(.l.) < oo
if).# 0. Show that if m: CC-+ Ill u {0, oo} is any function satisfying (a) and (b), then
there is a compact normal operator T such that mT = m.
6. Show that two projections P and Q are unitarily equivalent if and only if
dim(ran P) = dim(ran Q) and dim(ker P) = dim(ker Q).
7. Let A: L2(0, 1)-+ L2 (0, 1) be defined by (Af)(x) = xf(x) for f in L2(0, 1) and x in
(0, 1). Show that A~ A 2 •
8. Say that a compact normal operator T is simple if mT ~ 1. (See Exercises 7.10
and 7.11.) Show that every compact normal operator T on a separable Hilbert
62 II. Operators on Hilbert Space
Banach Spaces
1.2. Definition. A normed space is a pair (f!l', 11·11 ), where f!l' is a vector space
and 11·11 is a norm on !'£. A Banach space is a normed space that is complete
with respect to the metric defined by the norm.
1.4. Lemma. If p and q are seminorms on a vector space f£, then the following
statements are equivalent.
(a) p(x) ~ q(x) for all x. (That is, p ~ q.)
(b) { xEf£: q(x) < 1)} s;; {xEf£: p(x) < 1}.
(b') p(x) < 1 whenever q(x) < 1.
(c) {x: q(x) ~ l} s;; {x: p(x) ~ l }.
(c') p(x) ~ 1 whenever q(x) ~ l.
(d) {x: q(x) < 1} s;; {x: p(x) ~ l }.
(d') p(x) ~ 1 whenever q(x) < l.
PROOF. It is clear that (b) and (b'), (c) and (c'), and (d) and (d') are equivalent.
It is also clear that (a) implies all of the remaining conditions and that both
(b) and (c) imply (d). It remains to show that (d) implies (a).
Assume that (d) holds and put q(x)=IX. If e>O, then q((1X+e)-tx)=
(1X+e)-t1X< 1. By(d), 1 ~p((1X+e)-tx)=(1X+e)-tp(x), so p(x)~IX+e=q(x)+e.
Letting e--. 0 shows (a). •
If ll·llt and 11·11 2 are two norms on f£, they are said to be equivalent norms
if they define the same topology on f£.
1.5. Proposition. If 11·11 1 and II· 11 2 are two norms on f£, then these norms are
equivalent if and only if there are positive constants c and C such that
There are two types of properties of a Banach space: those that are
topological and those that are metric. The metric properties depend on the
§I. Elementary Properties and Examples 65
precise norm; the topological ones depend only on the equivalence class of
norms (see Exercise 4).
1.6. Example. Let X be any Hausdorff space (all spaces in this book are
assumed to be Hausdorff unless the contrary is specified) and let Cb(X) =all
continuous functionsf:X ~ 1F such that 11!11 = sup{lf(x)l:xEX} < oo. For
f, g in Cb(X), define (f +g): X~ F' by (f + g)(x) = f(x) + g(x); for a in F'
define (af)(x) = af(x). Then Cb(X) is a Banach space.
The proofs of the &tatements in (1.6) are all routine except, perhaps,
for the fact that Cb(X) is complete. To see this, let {!"} be a Cauchy
sequence in Cb(X). So if e > 0, there is an integer N, such that for n, m ~ N,,
e > llfn- fm II= sup{ lfn(x)--: fm(x)l: xEX}. In particular, for any x in
X, lfn(x)- fm(x)l ~ II fn- fm II < e when n, m ~ N,. So {f"(x)} is a Cauchy
sequence in F'. Let f(x) = limfn(x) if xEX. Now fix x in X. If n,m ~ N,, then
lf(x)- fn(x)l ~ lf(x)- fm(x)l + llfm- fnll < lf(x)- fm(x)l +e. Letting m~ 00
gives that lf(x)- fn(x)l ~ e when n ~ N,. This is independent of x. Hence
llf- fnll ~e for n~N•.
What has been just shown is that II!- fnll ~o as n~ oo. Note that this
implies that fn(x) ~ f(x) uniformly on X. It is standard that f is continuous.
Also, II f I ~ II f- fn II + II fn II < oo. Hence f ECb(X) and so Cb(X) is complete.
Note that a linear subspace llJJ of a Banach space fl£ that is topologically
closed is also a Banach space if it has the norm of fl£.
1.8. Example. If (X, n, Jl) is a measure space and 1 :s;;; p :s;;; oo, then I!(X, n, Jl)
is a Banach space.
1.9. Example. Let I be a set and 1 :s;;; p < oo. Define [P(I) to be the set of
all functions f:I-.F such that :L{If(i)IP:iei}<oo; and define llfllp=
11
(:L { lf(i)IP: iei} ) P. Then [P(I) is a Banach space. If I= IN, then /P(IN) = [P.
If n = all subsets of I and for each !!. in n, Jl(ll) = the number of points
in !!. if !!. is finite and Jl(ll) = 00 otherwise, then [P(I) = I!( I, n, Jl). So the
statement in (1.9) is a consequence of the one in (1.8).
1.11. Example. Let 1 :s;;; p < oo and n ~ 1 and let w;[o, 1] =the functions
f: [0, 1]---.. F such thatfhas n- 1 continuous derivatives, pn-lJ is absolutely
continuous, and J<">eiJ[O, 1]. For fin w;[o, 1], define
n
llfll = k~o
[ e
Jo IJ<k>(x)IPdx
]1/p
.
1.12. Proposition. If pis a seminorm on!!£, lp(x)- p(y)l :s;;; p(x- y) for all x, y
in !!£. If 11·11 is a norm, then I II x II - II y Ill :s;;; II x - y II for all x, y in !!£.
PROOF. Of course, the inequality for norms is a consequence of the one for
seminorms. Note that if x, yef!£, p(x) = p(x- y + y) :s;;; p(x- y) + p(y), so
p(x)- p(y) :s;;; p(x - y). Similarly, p(y)- p(x) :s;;; p(x- y). •
1.13. Definition. If!!£ and lfJJ are normed spaces, !!£ and lfJJ are isometrically
isomorphic if there is a surjective linear isometry from !!£ onto lfJJ.
EXERCISES
1. Complete the proof of Proposition 1.3.
2. Complete the proof of Proposition 1.5.
§2. Linear Operators on Normed Spaces 67
3. For 1 ~ p < oo and x = (x 1 , ... , xd) in IF", define II x liP= [L~= 1lxiiP] 11P; define
llxlloo =sup{lxil: 1 ~j~d}. Show that all of these norms are equivalent. For
1 ~ p, q ~ oo, what are the best constants c and C such that c II x liP~ II x 11 4 ~ C II x liP
for all x in IF"?
4. If 1 ~ p ~ oo and II·IIP is defined on lR 2 as in Exercise 3, graph {xelR 2 : II x liP= 1}.
Note that if 1<p<oo, llxllp=IIYIIP=l, and x#y, then for 0<t<1,
lltx+(l-t)yiiP< l. The same cannot be said for p= 1,oo.
5. Let c =the set of all sequences {a.}~, a. in IF, such that lim a. exists. Show that
c is a closed subspace of 100 and hence is a Banach space.
6. Let X = {n- 1 : n ~ 1} u {0}. Show that C(X) and the space of c of Exercise 5 are
isometrically isomorphic.
(a) Show that if 1 ~ p < oo and I is an infinite set, then IP(I) has a dense set of
the same cardinality as I.
(b) Show that if 1 ~ p < oo, /P(I) and /P(J) are isometrically isomorphic if and
only if I and J have the same cardinality.
7. If 100 ( / ) and I00 (J) are isometrically isomorphic, do I and J have the same
cardinality?
8. Show that 100 is not separable.
9. Complete the proof of Proposition 1.7.
10. Verify the statements in Example l.lO.
11. Verify the statements in Example l.ll.
12. Let X be locally compact and let X oo = Xu {oo} be the one-point compactification
of X. Show that C0 (X) and {feC(X 00 ):f(oo)=O}, with the norm it inherits as
a subspace of C(X oo ), are isometrically isomorphic Banach spaces.
13. Let X be locally compact and define Cc(X) to be the continuous functions/: X--. IF
such that sptf=cl{xeX:f(x)#O} is compact (sptfis the support off). Show
that Cc(X) is dense in C0 (X).
14. If w;[o, 1] is defined as in Example l.l1 and f e w;[o, 1], let 111!111 =
[Jif(x)IP dx] 11P+ [JIJC"l(x)IP dx] 11P. Show that 111·111 is equivalent to the norm
defined on w;[o, 1].
15. Let!!£ be a normed space and let fi be its completion as a metric space. Show
that fi is a Banach space.
16. Show that the norm on C([O, 1]) = Cb([O, l])does not come from an inner product
by showing that it does not satisfy the parallelogram law.
The proof of the first result is similar to that of Proposition 1.3.1 and is
left to the reader. [Also see (11.1.1) .] ~(.O.C, <?Y) = all continuous linear trans-
formations A: .or--+ <?Y.
2.1. Proposition. If .or and <?Y are normed spaces and A: .or--+ <?Y is a linear
transformation, the following statements are equivalent.
(a) AE~(.O.C,<?Y).
(b) A is continuous at 0.
(c) A is continuous at some point.
(d) There is a positive constant c such that II Ax II :::; c II x II for all x in X.
If AE~(.o.t, '?Y) and
11A II = sup { II Ax II: II x II :::; 1},
then
II All =sup{IIAxll: llxll = 1}
=sup{ II Ax 11/11 x II: x =I= 0}
= inf {c > 0: II Ax II :::; c II x II for x in .o.t}.
II A II is called the norm of A and &l(.o.t, <?Y) becomes a normed space if
addition and scalar multiplication are defined pointwise. &l(.o.t, <?Y) is a Banach
space if <?Y is a Banach space (Exercise 1). A continuous linear operator is
also called a bounded linear operator.
The following examples are reminiscent of those that were given in
Section 11.1.
2.2. Example. If(X, Q, Jl) is a a-finite measure space and c/>EL00 (X, Q, Jl), define
M.p: ll'(X,Q,Jl)--+ll'(X,Q,Jl), 1 :::;p:::; oo, by M.pf = c/>ffor all fin ll'(X,Q,Jl).
Then M.pEBI(ll'(X,Q,Jl)) and IIM.pll = llcf>lloo·
2.3. Example. If(X, n, Jl), k, c 1 , and c 2 are as in Example 11.1.6 and 1 !(. p !(. oo,
then K: 11'(11)--+ ll'(Jl), defined by
for allf in 11'(11) and x in X, is a bounded operator on 11'(11) and II K II :::; c!lqc~ 1 P,
where 1/p + 1/q = 1.
2. Let ?£ be a normed space, let qy be a Banach space, and let :i be the completion
of :!l. Show that if p: iJB(:i, qt;) -iJB(:!l, ql/) is defined by p(A) =A l:!l, then p is an
isometric isomorphism.
3. If (X, Q, ,u) is a a-finite measure space, ¢: X -IF IS an Q-measurable function,
I ~ p ~ oo, and 4>! EU(,u) whenever f EU(,u), then show that ¢EL"'(,u).
4. Verify the statements in Example 2.2.
5. Verify the statements in Example 2.3.
6. Verify the statements in Example 2.4.
7. Let A and r be as in Example 2.4. (a) Give necessary and sufficient conditions on
r that A be injective. (b) Give such a condition that A be surjective. (c) Give such
a condition that A be an isometry. (d) If X= Y, show that A 2 =A if and only if
r is a retraction.
8. (Wilansky [1951]) Assume that A::![ _qy is an additive mapping (that is,
A(x 1 + x 2 ) = A(xtl + A(x 2 ) for all x 1 and x 2 in :!l) and show that conditions (b),(c),
and (d) in Proposition 2.1 are equivalent to the continuity of A.
3.1. Theorem. If!!( is a finite dimensional vector space over F', then any two
norms on !!( are equivalent.
PROOF. Let {e 1 , ... ,ed} be a Hamel basis for fi£. For x=L,~=lxiei, define
llxlloo =max{lxil: 1 ~j~d}. It is left to the reader to verify that ll·lloo is a
norm. Let 11·11 be any norm on fi£. It will be shown that 11·11 and 11·11 oo are
equivalent.
If x=L,ixiei, then llxll ::;;L,ilxillleill ::;;CIIxlloo, when C=L.illeill. To
show the other inequality, let :Y be the topology defined on fi£ by 11·11 oo and
let IJlt be the topology defined on fi£ by 11-11. Put B = {xEfi£: II x II oo::;; 1}. The
first part of the proof implies :Y 21Jlt. Since B is :Y-compact and :Y 21Jlt, B
is IJII-compact and the relativizations of the two topologies to B agree. Let
A= {xEff: llxlloo < 1}. Since A is :Y-open, it is open in (B,!Jlt). Hence there
is a set U in IJlt such that U n B = A. Thus OE U and there is an r > 0 such
that {xEff: II x II< r} ~ U. Hence
3.2 II x II < r and II x II oo ::;; 1 implies II x II oo < 1.
a?: I, then II xja II < r/a ~ r, and hence II xja II oo < I by (3.2), a contradiction.
Thus II x II oo =a< I and the claim is established.
By Lemma I.4, II x II oo ~ r- 1 II x II for all x and so the proof is complete .
3.4. Proposition. Let!![ be a finite dimensional normed space and let !!If be any
•
normed space. If T: !!l'--+ !!If is a linear transformation, then T is continuous.
PROOF. Since all norms on !!l' are equivalent and T: !!l'--+ !!If is continuous
with respect to one norm on !!l' precisely when it is continuous with respect
to any equivalent norm, we may assume that IlL~~~ ~ieill =max{l~il: 1 ~j~d},
where {eJ is a Hamel basis for !!l'. Thus, for x = L ~iei, II Tx II = II Li~i Tei II ~
Lil ~illl Teill ~ Cll x II, where C = Lill Teill. By (2.1), Tis continuous. •
EXERCISES
I. Show that if El' is a locally compact normed space, then El' is finite dimensional.
(This same result, due to F Riesz, is valid in the more general topological vector
spaces-see IV. I.! for the definition. For a nice proof of this look at Pitcairn [1966].)
2. Show that 11·11 00 defined in the proof of Theorem 3.1 is a norm.
(c) A subset W of flf/Af is open relative to the norm if and only if Q- 1 (W)
is open in !I.
(d) If U is open in !I, then Q(U) is open in flf/A!.
PROOF. It is left as an exercise to show that (4.1) defines a norm on flf/Af.
To show (a), II Q(x) II = II x +AI II ~ II x II since OEAI; Q is therefore continuous
by (2.1 ).
(b) Let {x" +At} be a Cauchy sequence in flf/Af. There is a subsequence
{x"• + At} such that
II (x"• + At) - (x"k+, + At) II = II x"• - x"• +, + At II < 2- k.
Let y 1 = 0. Choose y 2 in AI such that
Because Q is an open map [part (d)], it does not follow that Q is a closed
map (Exercise 4).
4.3. Proposition. If!![ is a normed space, A ~!I, and Jll is a finite dimensional
subspace of !I, then A + Jll is a closed subspace of !I.
PROOF. Consider flf/Af and the quotient map Q: !I --+!I/A. Since
dim Q(JII) ~ dim Jll < oo, Q(JII) is closed in !![I A. Since Q is continuous
Q- 1 (Q(A')) is closed in !I; but Q- 1 (Q(JII)) =AI+ Jll. •
72 III. Banach Spaces
Now for the product or direct sum of normed spaces. Here there is a
difficulty because, unlike Hilbert space, there is no canonical way to proceed.
Suppose {X;: iel} is a collection of normed spaces. Then f1 {X;: iel} is a
vector space if the linear operations are defined coordinatewise. The idea is
to put a norm on a linear subspace of this product.
Let 11·11 denote the norm on each X;. For 1 :::; p < oo, define
Define
E90 X. = { XE }J1
X.: llx(n)ll--+0 };
4.4. Proposition. Let {X;: iel} be a collection of normed spaces and let
X= EIJpX;, 1:::; p:::; oo.
(a) X is a normed space and the projection P;: X -+X; is a continuous linear
map with II P;(x) II :::; II x II for each x in X.
(b) X is a Banach space if and only if each X; is a Banach space.
(c) Each projection P; is an open map of X onto X;.
A similar result holds for E90 X., but the formulation and proof of this is
left to the reader.
EXERCISES
1. Show that if .II~ f£, then (4.1) defines a norm on :!l/.11.
3. Show that if (X, d) is a metric space and {x.} is a Cauchy sequence such that
there is a subsequence {x•• } that converges to x 0 , then x.-+x 0 •
4. Find a Banach space f£ and a closed subspace .II such that the natural map
Q: f£ -+f£/.11 is not a closed map. Can the natural map ever be a closed map?
5. Prove the converse of (4.2b): Iff£ is a normed space, .II~ :Yf, and both .II and
f£ I.II are complete, then f£ is complete. (This is an example of what is called a
"two-out-of-three" result. If any two off£, .II, and f£/.11 are complete, so is the
third.)
6. Let .II= {xEIP: x(2n) = 0 for all n}, 1 ~ p ~ oo. Show that /Pj.JI is isometrically
isomorphic to /P.
§5. Linear Functionals 73
13. Let {.1";: iEI} be a collection of non-zero normed spaces. For 1 ~ p < oo, put
.'?l" = Etlp.'?l";. Show that .'?[ is separable if and only if I is countable and each .'?l"; is
separable. Show that (£J 00 .'?l"; is separable if and only if I is finite and each .'?l"; is
separable.
14. Show that EBo.'?l"n is separable if and only if each .'?[" is separable.
15. Let J s; I, and .'?l" = EBP{.'?l";: iEI}, At= {xE.'?l": x(j) = 0 for j in J}. Show that .'?CIA
is isometrically isomorphic to Etlp{.'?l"/ jEJ}.
16. Let :Yt be a Hilbert space and suppose At~ :Yt. Show that if Q: :Yt-> :Yt/At is
the natural map, then Q: At~ -> :YtI At is an isometric isomorphism.
If !l'=c 0 and f:fll-+IF is defined by f(ll 1 ,1l 2 , ... )=1l 1 , then kerf=
{ (1Xn)Ec 0 : !l 1 = 0} is closed in c 0 . To get an example of a dense hyperplane,
let fll = c0 and let en be the element of c0 such that en(k) = 0 if k-# n and
en(n) = 1. (It is best to think of c0 as a collection of functions on IN.) Let
x 0 (n) = 1/n for all n; so x 0 Ec 0 and {x 0 ,e 1 ,e 2 , ... } is a linearly independent
set in c 0 . Let I!IJ=a Hamel basis in c0 which contains {x 0 ,e 1 ,e 2 , ... }. Put
I!IJ= {x 0 ,e 1 ,e 2 , ... }u{b;: iEI}, b;#x 0 or en for any i or n. Define f: c 0 -+IF
by f(tX 0 X 0 + L.:'= 1 ilnen + L,;/J;b;) = ll 0 . (Remember that in the preceding
expression at most a finite number of the iln and {3; are not zero.) Since
enEker f for all n;?: 1, kerf is dense but clearly kerf-# c0 .
The dichotomy that exists for hyperplanes should be reflected in a
dichotomy for linear functionals.
5.3. Theorem. If fll is a normed space and f: fll-+ IF is a linear functional, then
f is continuous if and only if kerf is closed.
PROOF. Iff is continuous, kerf=f- 1 ({0}) and so kerf must be closed.
Assume now that kerf is closed and let Q: !l'-+ fll jker f be the natural map.
By (4.2), Q is continuous. Let T: !l'/ker f-+ IF be an isomorphism; by (3.4),
Tis continuous. Thus, if g = To Q: fll-+ IF, g is continuous and kerf= ker g.
Hence (5.1) f = ilg for some il in IF and so f is continuous. •
it suffices, since Cb(B) is complete (1.6), to show that p(~*) is closed. Let
Un}s~* and suppose geCb(B) such that IIP(/n)-gll-+0 as n-+oo. Let
xe~.lfrx.,peiF, rx.,p ¥0, such that rx.x,PxeB, then rx.- 1 g(rx.x) = limrx.- 1/n(rx.x) =
limp- 1fn(Px) = p- 1 g(px). Define/:~ -+IF by lettingf(x) = rx.- 1 g(rx.x) for any
rx. ¥0 such that rx.xeB. It is left as an exercise for the reader to show that
f e~* and p(f) = g. •
5.5. Theorem. Let (X, n, Jl) be a measure space and let 1 < p < oo. If
1/p + 1/q = 1 and geLq(X, n, Ji), define F9 : Il'(Ji)-+ IF by
Fg(f) =I fgdJi.
Then F9 ell'(Ji)* and the map g~--+F9 defines an isometric isomorphism of Lq(Jl)
onto LP(Jl)*.
Then F 9 eL1 (Jl)* and the map g~--+F9 defines an isometric isomorphism of L""(Jl)
onto U (Ji )*.
Then F"EC0 (X)* and the map Jl-+ F" is an isometric isomorphism of M(X)
onto C0 (X)*.
There are special cases of these theorems that deserve to be pointed out.
5.10. Example. If 1 < p < oo, the dual of [P is lq, where 1 = 1/p + 1/q.
What is the dual of L 00 (X, n, Jl)? There are two possible representations.
One is to identify L 00 (X, n, JL)* with the space of finitely additive measures
defined on n that are "absolutely continuous" with respect to J1 and have
finite total variation (see Dunford and Schwartz [1958], p. 296). Another
representation is to obtain a compact space Z such that L 00 (X, n, Jl) is
isometrically isomorphic to C(Z) and then use the Riesz Representation
Theorem. This will be done later in this book (VIII.2.1).
What is the dual of M(X)? For this, define L00 (M(X)) as the set of all F
in O{L00 (J1):J1EM(X)} such that if J1«V, then F(JL)=F(v) a.e. [Jl]. This is
an inverse limit of the spaces L 00 (J1), J1 in M(X).
5.12. Theorem. If X is locally compact and FEL00 (M(X)), define <DF: M(X)-+IF
I
by
EXERCISES
1. Complete the proof of Proposition 5.4.
2. Show that !:[* is a normed space.
3. Give an example of a measure space (X, Q, Jl) that is not a-finite for which the
conclusion of Theorem 5.6 is false.
4. Let {f:[i: iEI} be a collection of normed spaces. If 1:::::; p < oo, show that the dual
space of Ef1vf:{i is isometrically isomorphic to Ef1qf:{;*, where 1/p + 1/q = 1.
5. If !:[1 , !:[2 , ... are normed spaces, show that ( E[1 0 f:{.)* is isometrically isomorphic to
E!1, !:[.*.
6. Let n ~ 1 and let c<•l [0, 1] be defined as in Example 1.1 0. Show that II f II =
L:~:~IJ!kl(O)I + sup{IJ!"l(x)l: 0:::::; x:::::; 1} is an equivalent norm on c<•l[O, 1]. Show
that LE( c<•l[O, 1] )* if and only if there are scalars IX 0 , IX 1 , •.. , IX"_ 1 and a measure
J
J1 on [0, 1] such that L(f) = L:~:~IXd!kl(Q) + j<•l dJ1. If c<•l[Q, 1] is given this new
norm, find a formula for II L I in terms of j1X 0 I, !IX 1 !, ... , !IX._ 1 !, and I J111?
7. Give !:[ = C( [0, 1]) the norm I fll = J!f(t)idt and define L: !:[----> F by L(f) = f(!l·
Show directly (without using Theorem 5.6) that Lis not bounded. Now prove this
as a consequence of (5.6).
6.2. The Hahn-Banach Theorem. Let!!£ be a vector space over JR. and let q
be a sublinear functional on !!£. If .It is a linear manifold in !!£ and f: .It~ JR.
is a linear functional such that f(x)::::; q(x) for all x in .It, then there is a linear
functional F: !!£~JR. such that F I.It = f and F(x)::::; q(x) for all x in !!£.
Note that the substance of the theorem is not that the extension exists
but that an extension can be found that remains dominated by q. Just to
find an extension, let {e;} be a Hamel basis for .It and let {Yi} be vectors
in !!£ such that {e;} u {yi} is a Hamel basis for !!£. Now define F: !!£~JR. by
F(L;IX;e; + LiPiY) = L;IX;/(e;) = f('f.;IX;e;). This extends f. If {yi} is any
collection of real numbers, then F(L;IX;e; + LiPiY) = f('f.;IX;e;) + LiPi'Yi is
also an extension of f. Moreover, any extension of f has this form. The
difficulty is that we must find one of these extensions that is dominated by q.
Before proving the theorem, let's see some of its immediate corollaries.
The first is an extension of the theorem to complex spaces. For this a lemma
is needed. Note that if !!£ is a vector space over CC, it is also a vector space
over JR. Also, iff:!!£ ~cc is CC-linear, then Ref:!!£ ~JR. is JR-linear. The
following lemma is the converse of this.
6.4. Corollary. Let !!£ be a vector space, let .It be a linear manifold in !!£, and
let p: !!£ ~ [0, oo) be a seminorm. Iff: .It~ F is a linear functional such that
§6. The Hahn- Banach Theorem 79
lf(x)l ~ p(x) for all x in .A, then there is a linear functional F: ,q[-+ JF such
that FIJI= f and IF(x)l ~ p(x) for all x in ,qr_
PROOF. Case 1: JF =JR. Note that f(x) ~ 1/(x)l ~ p(x) for x in .A. By (6.2)
there is an extension F: f!(-+ IR. off such that F(x) ~ p(x) for all x. Hence
- F(x) = F( -x) ~ p( -x) = p(x). Thus IFI ~ p.
Case 2: JF = CC. Let / 1 =Ref. By (6.3c), l/1 1~ p. By Case 1, there is an
JR-linear functional F 1 : ,qr-+ JR. such that F 1 1.A= / 1 and IF 1 1~ p. Let
F(x) = F 1 (x)- iF 1 (ix) for all x in ,qr_ By (6.3c), IFI ~ p. Clearly, FIJI= f .
•
6.5. Corollary. If ,q[ is a normed space, .A is a linear manifold in ,q[, and
f: .A -+JF is a bounded linear functional, then there is an F in ,q[* such that
FI.A=fand IIFII=IIfll.
PROOF. Use Corollary 6.4 with p(x)= 11!11 llxll.
•
6.6. Corollary. If ,qr is a normed space, {x 1 , x 2 , ..• , xd} is a linearly independent
subset off!£, and a 1 , a 2 , ••• , ad are arbitrary scalars, then there is an f in ,q[*
such that f(xi) = ai for 1 ~j ~d.
PROOF. Let .A = the linear span of x 1 , ... , xd and define g: .A-+ JF by
g(L,iPixJ = LiPiai. So g is linear. Since .A is finite dimensional, g is
continuous. Let f be a continuous extension of g to f!£. •
6.8. Corollary. If ,q[ is a normed space, .A~ ,q[, x 0 Ef!£\.A, and d = dist(x 0 , A),
then there is an f in f!(* such that f(x 0 ) = 1, f(x) = 0 for all x in .A, and
llfll=d- 1 .
PROOF. Let Q: ,q[-+ ,q[I A be the natural map. Since II x 0 + A II = d, by the
preceding corollary there is a g in (,q[/A)* such that g(x 0 +A)= d and
II gil= 1. Let/= d- 1 goQ: ,q[ -+JF. Then/is continuous,f(x) =0 for x in .A,
and f(x 0 )=1. Also, lf(x)l=d- 1 ig(Q(x))l~d- 1 IIQ(x)ll~d- 1 llxll; hence
II !II ~ d- 1 . On the other hand, II g II = 1 so there is a sequence {xn} such
80 III. Banach Spaces
that lg(xn + .A)I->1 and II Xn +.A II < 1 for all n. Let YnE.A such that
llxn + Yn II< 1. Then lf(xn + Yn)l = d- 1lg(xn + .A)I-->d-1, so llfll = r 1. •
PROOF OF THE HAHN-BANACH THEOREM. Let !/' be the collection of all pairs
(.A1,fd, where .A1 is a linear manifold in El" such that .A1 2 .A and
f 1: .A1 ...... ]R. is a linear functional withf1I.A = fandf1 ::::; q on .A1. If(.A 1,fd
and (.A2 ,f2 )EY', define (.A1,fd -::5 (.A2 ,f2 ) to mean that .A1 <;;;. .A2 and
f 2 I.A 1 = f 1. So(!/', -::5) is a partially ordered set. Suppose C(} = {(.Ai,JJ iEI}
is a chain in !/'. If JV = u {.Ai: iEI}, then the fact that C(} is a chain implies
that JV is a linear manifold. Define F: JV ...... ]R. by setting F(x) = fi(x) if xE.Ai.
§6. The Hahn-Banach Theorem 81
It is easily checked that F is well defined, linear, and satisfies F:::::; q on .%.
So (.%, F)E!f' and (.%,F) is an upper bound for rtf. By Zorn's Lemma, !I'
has a maximal element (~,F). But the preceding lemma implies that ~ = f!C.
Hence F is the desired extension. •
6.13. Theorem. Iff!{ is a normed space and A is a linear manifold in f!C, then
ciA= n {kerf: f Ef!C* and A£ ker !}.
PROOF. Let .% = n {kerf: f Ef!C* and A£ ker !}. Iff Ef!C* and A£ kerf,
then the continuity of f implies that ciA£ kerf. Hence ciA£.%. If
x 0~cl A, then d = dist(x 0 , A) > 0. By Corollary 6.8 there is an fin f!C* such
that f(x 0 ) = 1 and f(x) = 0 for every x in A. Hence x 0 ~%. Thus .% £ciA
and the proof is complete. •
6.14. Corollary. Iff!{ is a normed space and A is a linear manifold in f!C, then
A is dense in f!{ if and only if the only bounded linear functional on f!C that
annihilates A is the zero functional.
EXERCISES
l. Complete the proof of Lemma 6.3.
6. If n ~ 1, does there exist a measure JJ on [0, 1] such that p'(O) = Jp dJJ for every
polynomial of degree at most n?
7. Does there exist a measure JJ on [0, 1] such that JpdJJ = p'(O) for every
polynomial p?
8. Let K be a compact subset of <C and define A(K) to be {f EC(K): f is analytic
on int K}. (Functions here are complex valued.) Show that if aEK, then there is
a probability measure JJ supported on aK such that f(a) = Jf dJJ for every fin
A(K). (A probability measure is a nonnegative measure JJ such that II J-l I = 1.)
9. If K = cl [) ([) = {lzl < 1}) and aEK, find the measure JJ whose existence was
proved in Exercise 8.
82 III. Banach Spaces
Since OE.A, dist(l, .A)~ l. Let xE/ 00 ; if (x- x')(n) ~ 0 for any n, then
111-(x- x')ll oo ~ 11 -(x(n)- x'(n))l ~ l. Suppose O~(x-x')(n) = x(n)- x'(n) =
x(n)- x(n + 1) for all n. Thus x(n + 1) ~ x(n) for all n. Since xE/ 00 , a= lim x(n)
exists. Thus lim(x- x')(n) = 0 and Ill- (x- x')lloo ~ 1. This proves the claim.
By Corollary 6.8 there is a linear functional L: [00 -+ JR. such that II L II = 1,
L(l) = 1, and L(Jt) = 0. So this functional satisfies (a) and (d) of the theorem.
To prove (b), we establish the following.
If xEc 0 , let x< 0 = x' and let x<•+ 0 = (x<•>y for n ~ 1. Note that
x<•+ 1 >- x = [x<•+ 1 >- x<•>J + ... + [x'- x]E.A. Hence L(x) = L(x<•>) for all
n ~ l. If £ > 0, then let n be such that lx(m)l < ~: for m > n. Hence
IL(x)l = IL(x<•>)l ~II x<•> II oo =sup { lx(m)l: m > n} <£.Thus XEker L. Condition
(b) is now clear.
To show (c), suppose there is an x in / 00 such that x(n) ~ 0 for all n and
L(x) < 0. If x is replaced by xj II x II 00 , it remains true that L(x) < 0 and it is
§8. An Application: Runge's Theorem 83
also true that 1 ~ x(n) ~ 0 for all n. But then Ill - x II 00 ::::; 1 and L(l - x) =
1 - L(x) > 1, contradicting (a). Thus (c) holds.
Now assume that F' =<C. Let L 1 be the functional obtained on lP._. If xelq:,
then x = x 1 + ix 2 where x 1 , x 2 elm_. Define L(x) = L 1 (x 1 ) + iL 1(x 2 ). It is left as
an exercise to show that Lis <C-linear. It's clear that (b), (c), and (d) hold. It
remains to show that II L II = 1.
Let E 1 , ... , Em be pairwise disjoint subsets of IN and let IX 1 , ••• , 1XmE<C with
IIXk I ::::; 1 for all k. Put x = :L;= 1 1XkXEk; so xeloo and II x II 00 ::::; 1. Then
L(x) = LkiXkL(xEJ = LkiXkLt(XEJ But L 1(XEJ ~ 0 and LkL 1(XEJ = L 1(XE),
where E = UkEk. Hence LkL 1(XEJ::::; 1. Because I1Xkl::::; 1 for all k, IL(x)l::::; 1.
If xis an arbitrary element of 100 , II x II 00 ::::; 1, then there is a sequence {x.} of
elements of l"' such that II x.- x II oo--+ 0, II x. II"' ::::; 1, and each x. is the type
of element of 100 just discussed that takes on only a finite number of values
(Exercise 3). Clearly, II L II ::::; 2, so L(x.)--+ L(x). Since IL(x.)l ::::; 1 for all n,
IL(x)l::::; l. Hence II L II::::; 1. Since L(t) = 1, II L II= 1. •
EXERCISES
I. If Lis a Banach limit, show that there are x andy in/"' such that L(xy) #- L(x)L(y).
2. Let X be a set and Q a u-algebra of subsets of X. Suppose Jl is a complex-valued
countably additive measure defined on Q such that I JJ.II = JJ.(X) < oo. Show that
JJ.(~) ~ 0 for every ~ in Q. (Though it is difficult to see at this moment, this fact is
related to the proof of (c) in Theorem 7.1 for the complex case.)
3. Show that if xEI"', llxlloo ~ l, then there is a sequence {x.}, x. in/"' such that
II x.ll oo ~ l, II x.- x II 00 -> 0, and each x. takes on only a finite number of values.
J
it suffices to show that if f-LEM(K) and gdf-1 = 0 for each g in ~(K, E), then
Jfdf-1=0.
Let R > 0 and let A. be area measure. Pick p > 0 such that B(O; R) s; B(z; p)
for every z in K. Then for z in K,
f
B(O;R) B(z;p)
jl(w) = Jdlf-ll(z)
lz-wl
when the integral is finite, and jl(w) = oo otherwise. The inequality above
implies
= dA.(w) dlf-ll(z)
K B(O;R) lz- wl
~ 2np II f-1 11.
,U(w) = f df-L(Z)
z-w
is in V(B(O; R), A.) for any R > 0, jJ. is analytic on <C 00 \K, and ,U( oo) = 0.
PROOF. The first statement follows from what came before the statement
of this lemma. To show that .U is analytic on 4:: 00 \K, let w, w0 e4::\K and note
f
that
,U(w)- ,U(w0 ) df-L(Z)
w- w0 = K(z- w )( z - w0)"
As w-+ w0 , [(z- w)(z- w0 )] - l -+(z- w0 )- 2 uniformly for z inK, so that .U
I
has a derivative at w0 and
d. 0 ) =
__£_(w (z- w0 )- 2 df.-I(Z).
dw K
{i(w) = I 1
--df.l(Z)
z-w
1
= --
w
f( 1---z )-1 df.l(Z).
w
Choose w near enough to infinity that lz/wl < 1 for all z in K. Then
oo a
8.4 =- L n:l'
n=O W
J
where a.= z" df.l(Z).
J
Now assume f.LEM(K) and gdfl = 0 for every rational function g with
poles in E. Let U be a component of <Coo \K, and Jet w0 EE n U. If w0 =f. oo,
then the hypothesis and (8.3) imply that each derivative of fi at w0 vanishes.
Hence fi = 0 on U. If w0 = oo, then (8.4) implies fi = 0 on U. Thus fi = 0 on
Coo \K.
Iff is analytic on an open set G containing K, let y 1 , ... , Yn be straight-line
I
segments in G\K such that
f f(z)df.l(z) = L " ff
1
~. J(w)
----=-dwdf.L(Z)
L I
K k=1 2m K Yk W Z
=- n 1
~. f(w)fi(w)dw
k= 1 2m Yk
EXERCISES
1. Let 11 be a compactly supported measure on <C that is boundedly absolutely
continuous with respect to area measure. Show that [1. is continuous on <Coo-
2. Let m =Lebesgue measure on [0, 1]. Show that mis not continuous at any point
of [0, 1].
86 III. Banach Spaces
9.1. Definition. An ordered vector space is a pair (,li[, ~) where ,li[ is a vector
space over 1R and ~ is a relation on ,li[ satisfying
(a) x ~ x for all x;
(b) if x ~ y and y ~ z, then x ~ z;
(c) if x ~ y and zE,Ii[, then x + z ~ y + z;
(d) if x ~ y and aE[O, oo), then ax~ ay.
Note that it is not assumed that ~ is antisymmetric. That is, it is not
assumed that if x ~ y and y ~ x, then x = y.
9.3. Proposition. (a) If(,ii[, ~)is an ordered vector space and P = {xE,Ii[: x ~ 0},
then P is a wedge. (b) If P is a wedge in the real vector space ,li[ and ~ is
defined on ,li[ by declaring x ~ y if and only if y- xEP, then (,ii[, ~) is an
ordered vector space.
PROOF. Exercise.
9.7. Definition. If (fir, ~)and (If§, ~)are ordered vector spaces and T: fir-+ If§
is a linear map, then Tis positive (in symbols T ~ 0) if Tx ~ 0 whenever x ~ 0.
9.8. Theorem. Let (f!f, ~) be an ordered vector space and let If§ be a linear
manifold in f!( that is confinal. Iff: If§-+ R is a positive linear functional, then
there is a positive linear functional J: f!(-+ R such that fill§ =f.
PRooF. Let P = {xEfir: x ~ 0} and put fir 1 =If§+ P- P. It is easy to see that
is a linear manifold in fir. If there is a positive linear functional g: fir 1 -+ R
f!( 1
that extends f, let f be any linear functional on fir that extends g (use a
Hamel basis). If x ~ 0, then xEP £ f!( 1 so that f(x) = g(x) ~ 0. Hence is f
positive. Thus, we may assume that f!( =If§+ P- P.
9.12. Corollary. Let (f!f, ~)be an ordered vector space with an order unit e.
If O.!J is a linear manifold in fir and eEO.!J, then any positive linear functional
defined on O.!J has an extension to a positive linear functional defined on fir.
88 III. Banach Spaces
EXERCISES
l. Prove Proposition 9.3.
2. Prove Proposition 9.4.
3. Show that e is an order unit for (El', ::::;;) if and only if for every x in El' there is a
t5 > 0 such that e ± tx ~ 0 for 0 ::::;; t ::::;; t5.
4. Show that C(R), the space of all continuous real-valued functions on R, has no
order unit.
5. Prove (9.11).
6. Characterize the order units of Cb(X). Does Cb(X) always have an order unit?
7. Characterize the order units of C0 (X) if X is locally compact. Does C0 (X) always
have an order unit?
8. Let El' = M 2(R.), the 2 x 2 matrices over R. Define A in M 2(R.) to be positive if
A= A* and (Ax,x) ~ 0 for all x in IR 2 . Characterize the order units of M 2 (1R).
9. If 1 ::::;; p < oo and El' = lf(O, 1), define f::::;; g to mean thatf(x)::::;; g(x) a.e. Show that
El' is an ordered vector space that has no order unit.
10.1. Theorem. If .It~ f!£ and .It l_ = {gef!£*: g(.lt) = 0}, then the map p:
f!£* I .It l_-+ .It* defined by
is an isometric isomorphism.
PRooF. It is easy to see that p is linear and injective. Iff ef£* and ge.lt l_,
then 11/l.ltll = II(/+ g)l.ltll ~ II!+ gil. Taking the infimum over all g we
get that 11/l.lt II~ II!+ .ltl_ 11. Suppose </Je.lt*. The Hahn-Banach Theorem
implies that there is an f in !!.{* such that f I.It = 4> and II f II = 114> 11. Hence
4> = p(f + .It l_) and II 4> II = II f I ~ II f + .It l_ 11. •
Now consider f!£I.It; what is (f!£I.It)*? Let Q: f!£-+ f!£I .It be the natural
map. If fe(f!£1.11)*, then foQef!£* and llfoQ II~ 11/11. (Why?) This gives a
way of mapping (f!£1.11)* -+f!£*. What is its image? Is it an isometry?
§II. Reflexive Spaces 89
If fi is a normed space, then we have seen that f'l* is a Banach space (5.4).
=
Because f'l* is a Banach space, it too has a dual space (,q[*)* ,q[** and f'l**
is a Banach space. Hence f'l** has a dual. Can this be kept up?
Before answering this question, let's examine a curious phenomenon. If
xEf'l, then x defines an element .X of ,q[**; namely, define .X: ,q[*--+ IF by
11.1 x(x*) = x*(x)
for every x* in f'l*. Note that Corollary 6.7 implies that I .X II = I x II for all
x in f'l. The map x--+ .X of fi--+ f'l** is called the natural map of fi into its
second dual.
EXERCISES
I. Show that (_q[*)** and (_q[**)* are equal.
2. Show that for a locally compact space X, Cb(X) is reflexive if and only if X is finite.
3. Let A ,;; q and let p .t< q--. _q[** and p .Jt: A--> A** be the natural maps. If i:
A--. q is the inclusion map, show that there is an isometry cf>: A**--> _q[** such
that the diagram
P.K
12.1. The Open Mapping Theorem. If fl£, ![If are Banach spaces and A:(![-+ ![If
is a continuous linear surjection, then A( G) is open in ![If whenever G is open in fl£.
PROOF. For r > 0, let B(r) = {xEEl: I x II< r}.
But (12.4ii) implies I Y.ll ~II A 112-"r; hence y.-tO. Therefore y 1 = 'L:'= 1 A(xd =
A(x)eA(B(r)), proving (12.3) and completing the proof of the theorem. •
The same method used to prove the Open Mapping Theorem can also
be used to prove the Tietze Extension Theorem. See Grabiner [1986].
The Open Mapping Theorem has several applications. Here are two
important ones.
12.5. The Inverse Mapping Theorem. If El" and <??! are Banach spaces and
A: El" -t <??! is a bounded linear transformation that is bijective, then A- 1 is
bounded.
PROOF. Because A is continuous, bijective, and open by Theorem 12.1, A is
a homeomorphism. •
12.6. The Closed Graph Theorem. If El" and<??! are Banach spaces and A: El" -t <??!
is a linear transformation such that the graph of A,
graA ={xEBAxeEl"EB <??1: xeEl"}
1
Let El" = all functions f: [0, 1] -t F' such that the derivative f' exists and
is continuous on [0, 1]. Let<??!= C[O, 1] and give both El" and<??! the supremum
norm: llfll=sup{lf(t)l:te[0,1]}. So El" is not a Banach space, though
<??! is. Define A: El" -t<??/ by Af = f'. Clearly, A is linear. If {!.} ~ El" and
92 III. Banach Spaces
I f~(s) I
qlf,
+I
SO
12.7. Proposition. If !if and qlj are normed spaces and A: !if -.qlj is a linear
transformation, then gra A is closed if and only if whenever xn-+ 0 and Ax"--+ y,
it must be that y = 0.
PROOF. Exercise 3.
Note that (12.7) underlines the advantage of the Closed Graph Theorem.
To show that A is continuous, it suffices to show that if x"-+ 0, then Ax"-+ 0.
By (12.7) this is eased by allowing us to assume that {Axn} is convergent.
It is possible to give a measure-theoretic solution to Exercise 2.3, but here
is one using the Closed Graph Theorem. Let (X, Q, J-L) be a a-finite measure
space, 1 ~ p ~ oo, and¢: X-+ F' an !"!-measurable function such that </Jf ELP(J-L)
whenever /El!(J-L). Define A: 1l'(J-L)-+11'(J-L) by Af = </Jf. Thus A is linear and
well defined. Suppose fn-+ 0 and </J fn-+ g in l!(J-L). If 1 ~ p < 00, then fn-+ 0
in measure. By a theorem of Riesz, there is a subsequence {fnJ such that
fnJx)-+ 0 a. e. [J-LJ. Hence </J(x)fnk(x)-+ 0 a. e. [J-LJ. This implies g = 0 and so
gra A is closed. If p = oo, then fn(x)-+ 0 a.e. [J-L] and the same argument
implies gra A is closed. By the Closed Graph Theorem, A is bounded. Clearly,
it may be assumed that II A II = 1. If c5 > 0, let E be a measurable subset of
§13. Complemented Subspaces of a Banach Space 93
{x: l¢(x)l ~ 1 + £5} with J.L(E) < oo. We want to show that J.L(E) = 0. But if
f = XE• then J.L(E) = 11!11: ~II Afll: =II <Pfll: =hi <PIP df.l ~ (1 + £5)PJ.L(E). Hence
J.L(E) = 0. Since E was arbitrary it follows that ¢ is an essentially bounded
function and II ¢ I oo ~ 1. •
12.8. Definition. If f£, lfJJ are Banach spaces, an isomorphism of f£ and lfJJ is
a linear bijection T: f£-+ lfJJ that is a homeomorphism. Say that f£ and lfJJ
are isomorphic if there is an isomorphism off£ onto lfJJ.
Note that the Inverse Mapping Theorem says that a continuous bijection
is an isomorphism.
The use of the word "isomorphism" is counter to the spirit of category
theory, but it is traditional in Banach space theory.
EXERCISES
1. Suppose?£ and 1!1/ are Banach spaces. If AEaJ(?£, 1!1/) and ran A is a second category
space, show that ran A is closed.
2. Give both c<I)[O, 1] and C[O, 1] the supremum norm. If A: cul[O, 1]-+ C[O, 1] is
defined by Af = f', show that A is not bounded.
3. Prove Proposition 12.7.
4. Let ?£ be a vector space and suppose 11·11 1 and 11·11 2 are two norms on ?£ and that
f 1 and f 2 are the corresponding topologies. Show that if?£ is complete in both
norms and f 1 2 f 2 , then f 1 = f 2 •
5. Let ?£ and 1!1/ be Banach spaces and let A EaJ(?£, 1!1/). Show that there is a constant
c > 0 such that II Ax I ~ c II x II for all x in ?£ if and only if ker A = (0) and ran A is
closed.
6. Let X be compact and suppose that !!£ is a Banach subspace of C(X). If E is a
closed subset of X such that for every gin C(E) there is an fin?£ with fiE= g,
show that there is a constant c > 0 such that for each g in C(E) there is an f in
?£with fiE= g and max{lf(x)l: xEX} ~ cmax{lg(x)l: xEE}.
7. Let 1 ~ p ~ oo and suppose (1Xii) is a matrix such that (Af)(i) = ~ f= 1 1Xiif(j) defines
an element Af of fP for every fin fP. Show that AEaJ(IP).
8. Let (X, Q, J.l) beau-finite measure space, 1 ~ p < oo, and suppose that k: X x X-+ IF
is an Q x Q measurable function such that for fin LP(J.l) and a.e. x,k(x, ·)f(·)EL1 (J.l)
J
and (Kf)(x) = k(x, y)f(y) dJ.l(Y) defines an element Kf of LP(J.l). Show that
K: LP(J.l)-+ LP(J.l) is a bounded operator.
EXERCISES
1. If :r is a vector space and .~ is a linear manifold in !I', show that there is a linear
manifold .. V in ;£ such that .~ n X= (0) and J!( + .AI= !I'.
2. Let ;£ be a Banach space and let E: ;£--+!I' be a linear map such that E 2 = E and
both ran E and ker E are closed. Show that E is continuous.
3. Prove Theorem 13.2.
4. Let !£ be a Banach space and show that if J!( is a complemented subspace of !I',
then every complementary subspace is isomorphic to !I'/J!(.
5. Let X be a compact set and let Y be a closed subset of X. A simultaneous extension
for Y is a bounded linear map T: C( Y)--+ C(X) such that for each g in C( Y),
T(g)i Y =g. Let C 0 (X\ Y) = {!EC(X): f(y) = 0 for ally in Y}. Show that if there
is a simultaneous extension for Y, then C 0 (X\ Y) is complemented in C(X).
6. Show that if Y is a closed subset of [0, 1], then there is a simultaneous extension
for Y (see Exercise 5). (Hint: Write [0, 1]\ Y as the union of disjoint intervals.)
7. Using the notation of Exercise 5, show that if Y is a retract of X, then C0 (X\ Y)
is complemented in C(X).
Since Lk II Yn" II < oo, LkYn" = y in ?l' (here is where the completeness of?£
is used.) Now for any k ~I,
=IIAnk+1Ynk+l-[- .± Ank+IYni-. I
j=l j=k+2
Ank+JYnjJII
I
00
~t+k- 2-j
j=k+2
~k.
14.4. Corollary. If?£ is a Banach space and As;?£*, then A is a bounded set
if and only if forevery x in!!£, sup{lf(x)l: fEA} < oo.
PROOF. Consider ?£* as 14(?£, IF).
•
Using Corollary 14.3, it is possible to prove the following improvement
of(l4.1).
14.5. Corollary. If !!£ is a Banach space and OJJ is a normed space and if
d s; 14(?£, OJJ) such that for every x in ?£ and g in OJJ*,
14.6. The Banach-Steinhaus Theorem. If?£ and OJJ are Banach spaces and
§14. The Principle of Uniform Roundedness 97
{A.} is a sequence in f!J(.Ol/!Y) with the property that for every x in .or there
is a y in '!If such that I A.x - y I -+ 0, then there is an A in f!J(Pl, '!If) such that
II A.x- Ax I -+ 0 for every x in Pl and sup I A. I < oo.
PROOF. If xEPl, let Ax= lim A.x. By hypothesis A: .or-+ '!If is defined and it
is easy to see that it is linear. To show that A is bounded, note that the PUB
implies that there is a constant M > 0 such that II A. II !'( M for all n. If xEPl and
llx II!'( 1, then for any n ~ 1, I Axil !'(II Ax- A.x II+ I A.x I !'(II Ax- A"x II+ M.
Letting n-+ oo shows that I Ax I !'( M whenever II x I !'( 1. •
ExERCISES
I. Here is another proof of the PUB using the Baire Category Theorem. With the
notation of (14.1 ), let B.= {xE,q[: I Ax I ~ n for all A in d}. By hypothesis,
U:~ 1 B.= q-. Now apply the Baire Category Theorem.
9. If (S, d) is a metric space and ?£ is a normed space, say that a function f: S-> ?£
is a Lipschitz function if there is a constant M > 0 such that II f(s)- f(t) II :( Md(s, t)
for all s, t in S. Show that iff: S-> ?£ is a function such that for all L in ?£*,
L of: S-> IF is Lipschitz, then f: S-> ?£ is a Lipschitz function.
10. Let:!{ be a Banach space and suppose {x.} is a sequence in:![ such that for each
x in ?£ there are unique scalars {oc.} such that lim.- oo II x- .L~ ~ 1 ockxk II = 0. Such
a sequence is called a Schauder basis. (a) Prove that :![ is separable. (b) Let
'Y={{oc.}EIF"::L:~ 1 oc.x. converges in P£} and for y={oc.} in '!If define
IIYII =sup.II:L~~ 1 ockxkll. Show that '!If is a Banach space. (c) Show that there is
a bounded bijection T: :![->'!If. (d) If n ~ 1 and f.::![-> IF is defined by
f.(:L;:'~ 1 ockxd = rJ.., show that f.E?£*. (e) Show that x.¢ the closed linear span of
{xk:ko;tn}.
CHAPTER IV
1.1. Definition. A topological vector space (TVS) is a vector space fi£ together
with a topology such that with respect to this topology
(a) the map of fi£ x fi£--+ fi£ defined by (x, y )r--- x + y is continuous;
(b) the map oflF x f![--.f![ defined by (cx,x)r---cxx is continuous.
It is easy to see that a normed space is a TVS (Proposition III.l.3).
Suppose f![ is a vector space and fJ> is a family of seminorms on fi£. Let
:T be the topology on fi£ that has as a subbase the sets {x: p(x- x 0 ) < s },
where pEfl>, x 0 Efl£, and s > 0. Thus a subset U of fi£ is open if and only if
for every x 0 in U there are p 1 , ... , Pn in fJ> and £ 1 , ... , en> 0 such that
100 IV. Locally Convex Spaces
(l}= 1 {xEq'": pix- x 0 ) < t:j} c;; U. It is not difficult to show that q- with this
topology is a TVS (Exercise 2).
The attitude that has been adopted in this book is that all topological
spaces are Hausdorff. The condition in Definition 1.2 that (lpEd"{x: p(x) =
0} = (0) is imposed precisely so that the topology defined by f1JJ be Hausdorff.
In fact, suppose that xi= y. Then there is a p in f1JJ such that p(x- y) i= 0; let
p(x-y)>t:>O. If V={z:p(x-z)<!t:} and V={z:p(y-z)<it:}, then
U n V = 0 and U and V are neighborhoods of x andy, respectively.
If q" is a TVS and x 0 Eq'", then XHX + x 0 is a homeomorphism of q'"; also,
if a ElF and a i= 0, xHax is a homeomorphism of q- (Exercise 4). Thus the
topology of q- looks the same at any point. This might make the next
statement less surprising.
1.3. Proposition. Let q" be a TVS and let p be a seminorm on q-_ The following
statements are equivalent.
(a) p is continuous.
(b) {xE,q": p(x) < 1} is open.
(c) 0Eint {xE,q": p(x) < 1}.
(d) 0Eint{xE,q": p(x)::::;; 1}.
(e) p is continuous at 0.
(f) There is a continuous seminorm q on ,q- such that p ::::;; q.
If f1JJ is a family of seminorms of ,q" that makes q" into a LCS, it is often
convenient to enlarge f1JJ by assuming that f1JJ is closed under the formation
of finite sums and supremums of bounded families [as in (1.4)]. Sometimes
§l. Elementary Properties and Examples 101
1.5. Example. Let X be completely regular and let C(X) = all continuous
functions from X into JF. If K is a compact subset of X, define
PK(f)=sup{lf(x)l:xeK}. Then {pK:K compact in X} is a family of semi-
norms that makes C(X) into a LCS.
1.6. Example. Let G be an open subset of ([ and let H(G) be the subset of
Co:( G) consisting of all analytic functions on G. Define the seminorms of(l.S)
on H(G). Then H(G) is a LCS. Also, the topology defined on H(G) by these
seminorms is the topology of uniform convergence on compact subsets-the
usual topology for discussing analytic functions.
1.7. Example. Let f!C be a normed space. For each x* in f!C*, define
Px•(x) = lx*(x)l. Then Px• is a seminorm and if & = {Px•= x*ef!C*}, 9 makes
?£ into a LCS. The topology defined on f!( by these seminorms is called the
weak topology and is often denoted by a(?£, f!C*).
1.8. Example. Let ?£ be a normed space and for each x in f!C define Px: f!C*--+
[0, oo) by Px(x*) = lx*(x)l. Then Px is a seminorm and 9 = {px: xef!C} makes
f!C* into a LCS. The topology defined by these seminorms is called the
weak-star(or weak* or wk*) topology on ?£*.It is often denoted by a(?£*, f!C).
The spaces ?£ with its weak topology and f!C* with its weak* topology
are very important and will be explored in depth in Chapter V.
Recall the definition of convex set from (12.4). If a, be?£, then the line
segment from a to b is defined as [a,b] = {tb + (1- t)a:O ~ t ~ 1}. So a set
A is convex if and only if [a, b] £ A whenever a, bE A. The proof of the next
result is left to the reader.
1.9. Proposition. (a) A set A is convex if and only if whenever x 1 , ... , xneA
and t 1 , .•• , tnE[O, 1] with L,iti = 1, then L.hxieA. (b) If {A;: iel} is a collection
of convex sets, then n;A; is convex.
all convex. In fact, if T: f!l'-+ ![If is a real linear map and C is a convex subset
of ![If, then T- 1 (C) is convex in f!l'.
1.11. Proposition. Let f!l' be a TVS and let A be a convex subset of f!l'. Then
(a) ciA is convex; (b) if aeintA and beciA, then [a,b)={tb+(1-t)
a: 0 :S;; t < 1} s; int A.
PROOF. Let aeA, becl A, and 0 :S;; t :S;; l. Let {x;} be a net in A such that
X;-+ b. Then tx; + (1- t)a-+ tb + (1 - t)a. This shows that
1.12 bin cl A and a in A imply [a, b] s; cl A.
Using (1.12) it is easy to show that cl A is convex. To prove (b), fix t,
0<t<1, and put c=tb+(1-t)a, where aeintA and beciA. There is an
open set V in f!l' such that Oe V and a+ V s; A. (Why?) Hence for any din A
A 2 td + (1 - t)(a + V)
=t(d-b)+tb+(1-t)(a+ V)
= [t(d- b)+ (1 - t)V] +c.
If it can be shown that there is an element d in A such that Oet(d- b)+
(1 - t)V = U, then the preceding inclusion shows that ceint A since U is
open (Exercise 4). Note that the finding of such a d in A is equivalent to
finding ad such that Oet- 1 (1-t)V+(d-b) or deb-t- 1 (1-t)V. But
Oe- t- 1(1 - t)V and this set is open. Since becl A, d can be found in A. •
A set As;!![ is balanced if IXXEA whenever xEA and IlXI :S;; 1. A set A is
absorbing if for each x in !![ there is an e > 0 such that txeA for 0 :S;; t <e.
Note that an absorbing set must contain the origin. If aeA, then A is absorbing
at a if the set A -a is absorbing. Equivalently, A is absorbing at a if for
every x in f!l' there is an e > 0 such that a+ txeA for 0 :S;; t <e.
If !![ is a vector space and p is a seminorm, then V = { x: p(x) < 1} is a
convex balanced set that is absorbing at each of its points. It is rather
remarkable that the converse of this is true. This fact will be used to give an
abstract formulation of a LCS and also to explore some geometric conse-
quences of the Hahn-Banach Theorem.
1.14. Proposition. If fl£ is a vector space over IF and Vis a nonempty convex,
balanced set that is absorbing at each of its points, then there is a unique
seminorm p on f!l' such that V = { xef!l': p(x) < 1}.
PROOF. Define p(x) by
p(x)=inf{t:t~O and xetV}.
Since V is absorbing, f!l' = U:'= 1 n V, so that the set whose infimum is p(x) is
§1. Elementary Properties and Examples 103
nonempty. Clearly p(O) = 0. To see that p(ax) = lalp(x), we can suppose that
a =1= 0. Hence, because V is balanced,
1.15. Proposition. Let fYl be a TVS and let !lit be the collection of all open
convex balanced subsets of fY£. Then fYl is locally convex if and only if !lit is a
basis for the neighborhood system at 0.
EXERCISES
I. Let PI be a TVS and let dlf be all the open sets containing 0. Prove the following.
(a) If U Edlf, there is a V in dlf such that V + V ~ U. (b) If U Edlf, there is a V in
dlf such that V~ U and aV~ V for alllal ~I. (Vis balanced.)
(Hint: If WEdlf and aW ~ U for Ia I~£, then cW ~flU for lfll ~ 1.)
104 IV. Locally Convex Spaces
11. Show that if A is a convex set and a, fJ > 0, then aA + {JA =(a+ {J)A, Give an
example of a nonconvex set A for which this is untrue.
12. If :I" is a TVS and A is closed, show that A is convex if and only if i(x + y)EA
whenever x and yEA.
13. Let s =the space of all sequences of scalars. Thus s =all functions x: IN-+ :F.
Define addition and scalar multiplication in the usual way. If x,yEs, define
d(f ) -
,g-
I If - g I d
1+1f-gl JL
18. If!¥ is a finite-dimensional vector space and ff1 , ff 2 are two topologies on !¥
that make!¥ into a TVS, then ff 1 = ff 2 •
19. If !¥ is a TVS and .A is a finite dimensional linear manifold in !¥, then .A is
closed and ifll + .A is closed for any closed subspace ifll of !¥.
20. Let !¥ be any infinite dimensional vector space and let ff be the collection of all
subsets W of !¥ such that if xe W, then there is a convex balanced set U with
x + U ~ W and U n .A open in .A for every finite dimensional linear manifold
.A in !¥. (Each such .A is given its usual topology.) Show: (a) (?£, ff) is a LCS;
(b) a set F is closed in!¥ if and only ifF n .A is closed for every finite dimensional
subspace .A of !¥; (c) if Y is a topological space and f: !¥-+ Y (not
necessarily linear), then f is continuous if and only if /I .A is continuous for every
finite dimensional space .A; (d) if ifll is a TVS and T: !¥-+ ifll is a linear map, then
T is continuous.
21. Let X be a locally compact space and for each 4> in C 0 (X), define pq,(f) = 114>! II oo
for fin Cb(X). Show that pq, is a seminorm on Cb(X). Let fJ =the topology defined
by these seminorms. Show that (Cb(X), fl) is a LCS that is complete. fJ is called
the strict topology.
22. For 0 < p < 1, let /P =all sequences x such that :E:'= 1 ix(n)IP < oo. Define
d(x,y)=:E;'= 1 ix(n)- y(n)IP (no pth root). Then dis a metric and (IP,d) is a TVS
that is not locally convex.
23. Let!¥ and ifll be locally convex spaces and let T: !¥-+ ifll be a linear transformation.
Show that T is continuous if and only if for every continuous seminorm p on ifll,
poT is a continuous seminorm on !¥.
24. Let !¥ be a LCS and let G be an open connected subset of !¥. Show that
G is arcwise connected.
PROOF. It is left as an exercise for the reader to show that d is a metric and
induces the same topology as {Pn}· If !'£ is a LCS and its topology is
determined by a countable family of seminorms, it is immediate that !'£ is
metrizable. For the converse, assume that !'£ is metrizable and its metric is
p. Let Un = {x: p(x,O) < 1/n}. Because !'£ is locally convex, there are
continuous seminorms q 1 , ... , qk and positive numbers e1 , ... , ek such that
n~= 1 {x: qi(x)<eJsUn. If Pn=e~ 1 q 1 +···+ek- 1 qk, then xeUn whenever
Pn(x) < 1. Clearly, Pn is continuous for each n. Thus if xr-> 0 in !![, then
for each n, Pn(xi)--+ 0 as j--+ oo. Conversely, suppose that for each n,
Pn(x)--+ 0 as j--+ oo. If e > 0, let n > e- 1• Then there is a j 0 such that for
j?: j 0 , Pn(xi) < 1. Thus, for j?: j 0 , XiEUn S {x: p(x,O) < e}. That is, p(xi, 0) < e
for j?: j 0 and so xi--+0 in!'£. This shows that {Pn} determines the topology
on !'£. (Why?) •
2.5. Definition. If!'£ is a TVS and B s !![, then B is bounded if for every open
set U containing 0, there is an t: > 0 such that t:B s U.
Also, notice that if 11·11 is a norm, {x: II x II < 1} is itself bounded. This is
not true for seminorms. For example, if C(1R) is topologized as in (1.5), let
p{f)=sup{lf(t)l: O~t~ 1}. Then pis a continuous seminorm. However,
§2. Metrizable and Normable Locally Convex Spaces 107
{!: p(f) < 1} is not bounded. In fact, if/0 is any function in C(1R) that vanishs
on [0, 1], {rxf0 : rx.ElR} s; {!: p(f) < 1}. The fact that a normed space posseses
a bounded open set is characteristic.
2.6. Proposition. If fll is a LCS, then fll is normable !f and only if fll has a
nonempty bounded open set.
PROOF. It has already been shown that a normed space has a bounded open
set. So assume that fll is a LCS that has a bounded open set U. It must be
shown that there is norm on fll that defines the same topology. By translation,
it may be assumed that OE U (see Exercise 4i). By local convexity, there is a
=
continuous seminorm p such that {x: p(x) < 1} V s; U(Why?). It will be
shown that p is a norm and defines the topology on fll.
To see that pis a norm, suppose that XE?l, xi= 0. Let W 0 , Wx be disjoint
open sets such that OE W0 and x E Wx. Then there is an e > 0 such that
W0 2 t:U 2 e V. But eV = {y: p(y) < e}. Since xlf W0 , p(x) ~e. Hence pis a norm.
Because p is continuous on fll, to show that p defines the topology of fll
it suffices to show that if q is any continuous seminorm on fll, there is an
rx > 0 such that q ~ rxp (Why?). But because q is continuous, there is an e > 0
such that {x: q(x) < 1} 2 eU 2 eV. That is, p(x) < e implies q(x) < 1. By
Lemma III.l.4, q ~ e- 1p. •
EXERCISES
1. Supply the missing details in the proof of Proposition 2.1.
2. Verify the statements in Example 2.2.
3. Verify the statements in Example 2.3.
4. Let !!f be a TVS and prove the following: (a) If B is a bounded subset of !!f, then
so is cl B. (b) The finite union of bounded sets is bounded. (c) Every compact set is
bounded. (d) If B £!I, then B is bounded if and only if for every sequence {xn}
contained in Band for every {l)(n} in c 0 , I)("X"---> 0 in !!f. (e) If '!If is a TVS, T: !![--->'!If
is a continuous linear transformation, and B is a bounded subset of !I, then T(B) is
a bounded subset of if//. (f) If !I is a LCS and B £ !!f, then B is bounded if and only
if for every continuous seminorm p, sup{p(b): bEB} < oo. (g) If !I is a normed
space and B £ !!f, then B is bounded if and only if sup {II b II: bEB} < oo. (h) If !I
is a Frechet space, then bounded sets have finite diameter, but not conversely. (i)
The translate of a bounded set is bounded.
5. If .r is a LCS, show that !![ is metrizable if and only if !I is first countable. Is this
equivalent to saying that {0} is a G;; set?
6. Let X be a locally compact space and give Cb(X) the strict topology defined in
Exercise 1.21. Show that a subset of Cb(X) is f:l-bounded if and only if it is norm
bounded.
7. With the notation of Exercise 6, show that (Cb(X), f:l) is metrizable if and only if
X is compact.
3.1. Theorem. If!![ is a TVS and f: !![-+ F is a linear functional, then the
following statements are equivalent.
(a) f is continuous.
(b) f is continuous at 0.
(c) f is continuous at some point.
(d) kerf is closed.
(e) x~-+lf(x)l is a continuous seminorm.
If!![ is a LCS and f!JJ is a family of semi norms that defines the topology on
!![, then the statements above are equivalent to the following:
(f) There are p 1 , ... , Pn in f!JJ and positive scalars IX 1, •.• , 1Xn such that
lf(x)l ~ L~= 1 1XkPk(x)for all x.
The proof of the next proposition is similar to the proof of Proposition 1.14
and will not be given.
3.2. Proposition. Let !![ be a TVS and suppose that G is an open convex subset
of fiE that contains the origin. If
q(x) = inf{t: t ~ 0 and xetG},
then q is a non-negative continuous sublinear functional and G = { x: q(x) < 1}.
Note that the difference between the preceding proposition and (1.14) is
that here G is not assumed to be balanced and the consequence is a sublinear
functional (q(1Xx) = IXq(x) if IX~ 0) that is not necessarily a seminorm.
The geometric consequences of the Hahn-Banach Theorem are achieved
by interpreting that theorem in light of the correspondence between linear
functionals and hyperplanes and between sublinear functionals and open
convex neighborhoods of the origin. The next result is typical.
3.3. Theorem. If fiE is a TVS and G is an open convex nonempty subset of!![
that does not contain the origin, then there is a closed hyperplane .A such that
.linG= 0.
§3. Some Geometric Consequences of the Hahn-Banach Theorem 109
3.4. Corollary. Let !!( be a TVS and let G be an open convex nonempty subset
of f!l. If®' is an affine subspace of(!( such that ®' n G = 0, then there is a
closed affine hyperplane .I{ in !!( such that ®'£.I{ and .I{ n G = 0.
PROOF. By considering G- x 0 and®'- x 0 for any x 0 in®', it may be assumed
that®' is a linear subspace of f!l. Let Q: !!( -+!!f/®' be the natural map. Since
Q- 1 (Q(G)) = {y + G: yE®'}, Q(G) is open in !!f/®'. It is easy to see that Q(G)
is also convex. Since ®' n G = D. O¢Q( G). By the preceding theorem, there
is a closed hyperplane .Kin!!(/®' such that .K n Q( G) = o. Let .I{ = Q- 1(%).
It is easy to check that .I{ has the desired properties. •
There is a great advantage inherent in a geometric discussion of real TVS's.
Namely, iff: !!f-+ 1R is a nonzero continuous JR-linear functional, then the
hyperplane kerf disconnects the space. That is, f!l\ker fhas two components
(see Exercises 4 and 5). It thus becomes convenient to make the following
definitions.
3.5. Definition. Let !!( be a real TVS. A subset S of !!( is called an open
half-space if there is a continuous linear functional f: (!(-+ 1R such that
S = {xEf!l:j(x) >a} for some a. Sis a closed half-space if there is a continuous
linear functional/: (!(-+ 1R such that S = {xEf!l: f(x) ~a} for some a.
Two subsets A and B of !!f are said to be strictly separated if they are
contained in disjoint open half-spaces; they are separated ifthey are contained
in two closed half-spaces whose intersection is a closed affine hyperplane.
110 IV. Locally Convex Spaces
In many ways, the next result is the most important "separation" theorem
as the other separation theorems follow from this one. However, the most
used separation theorem is Theorem 3.9 below.
3.7. Theorem. If!'£ is a real TVS and A and Bare disjoint convex sets with
A open, then there is a continuous linear functional f: !'£-+JR. and a real
scalar IX such that f(a) <IX for all a in A and f(b) ~IX for all b in B. If B is
also open, then A and B are strictly separated.
PROOF. Let G =A - B = {a- b: aeA, beB}; it is easy to verify that G is convex
(do it!). Also, G = u {A- b: beB}, so G is open. Moreover, because A nB = 0,
OrtG. By Theorem 3.3 there is a closed hyperplane A in f!l' such that
A nG = 0. Letf: f!l' -+1R be a linear functional such that A= kerf. Now
/(G) is a convex subset of 1R and 0¢/(G). Hence either f(x) > 0 for all x in
G or f(x) < 0 for all x in G; suppose f(x) > 0 for all x in G. Thus if aeA and
beB, 0 <f(a- b)= f(a)- f(b); that is, f(a) > f(b). Therefore there is a real
number ex such that
sup{J(b): beB} ~ex~ inf{J(a): aeA}.
But f(A) and f(B) are open intervals if B is open (Exercise 7), so f <IX on B
and f > ex on A. •
3.9. Theorem. Let :!( be a real LCS and let A and B be two disjoint closed
convex subsets of :!C. If B is compact, then A and B are strictly separated.
PROOF. By hypothesis, B is a compact subset of the open set :!C\A. The
preceding lemma implies there is an open neighborhood U 1 of 0 such that
B + U 1 c:; :!C\A. Because :!(is locally convex, there is a continuous seminorm
p on:!( such that {x: p(x)<l}c:;U 1 . Put V={x: p(x)<1}. Then
(B + U)n(A + U) = 0 (Verify!), and A+ U and B + U are open convex
subsets of:!( that contain A and B, respectively. (Why?) So the result follows
from Theorem 3.7. •
The fact that one of the two closed convex sets in the preceding theorem
is assumed to be compact is necessary. In fact, if:!(= 1R 2 , A= {(x, y)E1R 2 :
y ~ 0}, and B = {(x, y)E1R 2 : y ~ x- 1 > 0}, then A and B are disjoint closed
convex subsets of 1R 2 that cannot be strictly separated.
The next result generalizes Corollary 111.6.8, though, of course, the metric
content of (111.6.8) is missing.
3.10. Corollary. If:!( is a real LCS, A is a closed convex subset of :!C, and
xf/:A, then x is strictly separated from A.
3.11. Corollary. If:!C is a real LCS and A c:; :!C, then co (A) is the intersection of
the closed half-spaces containing A.
PROOF. Let Jlf be the collection of all closed half-spaces containing A. Since
each set in Jlf is closed and convex, co (A) c:; n {H: H EJ!f}. On the other hand,
ifx 0 ¢co (A), then (3.10) implies there is a continuous linear functional
f: fll--+ 1R and an a in 1R such that f(x 0 ) >a and f(x) <a for all x in
co(A). Thus H = {x:f(x) ~a} belongs to Jlf and x 0 ¢H. •
3.12. Corollary. If fll is a real LCS and A c:; fll, then the closed linear span of
A is the intersection of all closed hyperplanes containing A.
If fll is a complex LCS, it is also a real LCS. This can be used to formulate
and prove versions of the preceding results. As a sample, the following
complex version of Theorem 3.9 is presented.
3.13. Theorem. Let fll be a complex LCS and let A and B be two disjoint
closed convex subsets of fll. If B is compact, then there is a continuous linear
functional f: fll--+ <C, an a in 1R, and an c > 0 such that for a in A and b in B,
Re f(a) ~a< a+ c ~ Re f(b).
3.14. Corollary. If fll is a LCS and UJI is a linear manifold in fll, then UJI is
112 IV. Locally Convex Spaces
dense in PI if and only if the only continuous linear functional on PI that vanishes
on OJ/ is the identically zero functional.
3.15. Corollary. If PI is a LCS, OJ/ is a closed linear subspace of PI, and x 0 ePI\UJ/,
then there is a continuous linear functional f: PI-+ 1F such that f(y) = 0 for all
y in OJ/ and f(x 0 ) = 1.
These results imply that on a LCS there are many continuous linear
functionals. Compare the results of this section with those of §111.6.
The hypothesis that PI is locally convex does not appear in the results
prior to Theorem 3.9. The reason for this is that in the preceding results the
existence of an open convex subset of PI is assumed. In Theorem 3.9 such a
set must be manufactured. Without the hypothesis of local convexity it may
be that the only open convex sets are the whole space itself and the empty set.
3.16. Example. For 0 < p < 1, let 1!(0, 1) be the collection of equivalence
classes of measurable functions f: (0, 1)-+ 1R such that
((f))P = I1
lf(x)IP dx < oo.
It will be shown that d(f, g)= ((f- g))p is a metric on LP(O, 1) and that with
this metric 1!(0, 1) is a Frechet space. It will also be shown, however, that
1!(0, 1) has only one nonempty open convex set, namely itself. So 1!(0, 1),
0 < p < 1, is most emphatically not locally convex. The proof of these facts
begins with the following inequality.
3.17 For s, tin [0, oo) and 0 < p < 1, (s + t)P ~ sP + tP.
EXERCISES
1. Prove Theorem 3.1.
2. Let p be a sub linear functional, G ={
x: p(x) < 1}, and define the sublinear
functional q for the set G as in Proposition 3.2. Show that q(x) = max(p(x)), 0)
for all x in f£.
3. Let A <:;:: !1:, a TVS, and show that the following statements are equivalent :
(a) <$/ is an affine hyperplane; (b) there exists an x 0 in A such that A - x 0 is a
hyperplane; (c) there is a non-zero linear function f: !1:-> IF and an a in IF such
that A= {xE!J::f(x) =a}.
4. Let :'!' be a real TVS. Show: (a) if G is an open connected subset of !!l', then G is
arcwise connected; (b) iff: .UJ'-> JR. is a continuous non-zero linear functional, then
:'l'\kerfhas two components, {x:f(x)>O} and {x:f(x)<O}.
5. If!.[ is a complex TVS and f: ?£-> <C is a nonzero continuous linear function,
show that :'l'\ker f is connected.
6. Prove Proposition 3.6.
7. If[: :'!'->JR. is a continuous lR-linear functional and A is an open convex subset
of!£, then f(A) is an open interval.
14. Give an example of a TVS :?[ that is not locally convex and a subspace Cflf
of :![ such that there is a continuous linear functional f on Cflf with no
continuous extension to :?l.
15. Let :?[ be a real LCS and let A and B be disjoint compact convex subsets of :?l.
Suppose Cfl/ is a subspace of:?[ and f 0 : Cflf-+ IR is a continuous linear functional
such thatf0 (a) < 0 for a in A nCflf andf0 (b) > 0 forb in B nCflf. Show by an example
that it is not always possible to extend fo to a continuous linear functional on
:?[such thatf(a) < 0 or a in A andf(b) > 0 forb in B. (Hint: Let :?l = IR 3 and let
Cfl/ be the plane.)
4.2. Proposition. LE H(U)* if and only if there is an r < 1 and a unique function
§4. Some Examples of the Dual Space of a Locally Convex Space 115
for every fin H([)), where y(t) = peit, 0 ~ t ~ 2n, and r < p < 1.
PROOF. Let g be given and define Las in (4.3). If K = {z: lzl = p}, then
f(w) = ~1.
2m
f Y
f(z) dz
z- w
for Iwl < p; in particular, this is true for w in K. Thus,
L(f) = L f(w)dp(w)
= f [!__
K 2n
f2"
0
f~;eit)
pe - w
eitdt]dp(w)
= __!___
2m
fY
f(z)g(z)dz.
This completes the proof except for the uniqueness of g (Exercise 3). •
ExERCISES
I. Let {.'l;: iEI} be a family of LCS's and give .'l = Il {.'?l";: iEI} the product topology.
(See Exercise 1.17.) Show that LE.'?l"* if and only if there is a finite subset F
contained in I and there are x;
in .'?l"7 for j in F such that L(x) = LieFx;(x(j)) for
each x in :!l.
2. Show that the space s (Exercise 1.13) is linearly homeomorphic to C(IN) and
describes*.
116 IV. Locally Convex Spaces
5.1. Definition. An inductive system is a pair (,q£, {,q[";: iEJ} ), where ,q[" is a
vector space, ,q£; is a linear manifold in f£ that has a topology ff; such that
(ff;, ff;) is a LCS, and, moreover:
Note that condition (b) is equivalent to the condition that the inclusion
map ,qz-; c... ,qz-i is continuous.
5.2. Example. Let d ~ 1 and let Q be an open subset of1Rd. Denote by c~ool(Q)
all the functions <P: Q -.IF such that <P is infinitely differentiable and has
compact support in Q. (The support of <Pis defined by spt <P = cl{x: </J(x) "# 0}.)
If K is a compact subset of Q, define ~(K) = {</JEC~ool(Q): spt <P s;; K}. Let
~(K) have the topology defined by the seminorms
5.3. Proposition. If (q", {q-;, 5"J) is an inductive system, let fJI = all convex
balanced sets V such that V nq";Eff; for all i. Let §'=the collection of all
subsets U of q- such that for every x 0 in U there is a V in fJI with x 0 + V s;; U.
Then (,q[, ff) is a (not necessarily Hausdorff) LCS.
5.4. Definition. If (q", {,q[;}) is an inductive system and §' is the topology
defined in (5.3), §' is called the inductive limit topology and (q", §') is said to
be the inductive limit of {,q[;}.
For all we know the inductive limit topology may be trivial. However,
the fact that this topology has not been shown to be Hausdorff need not
concern us, since we will concentrate on a particular type of inductive limit
which will be shown to be Hausdorff. But for the moment we will continue
at the present level of generality.
5.6. Proposition. Let (q", {q-;}) be an inductive system and let§' be the inductive
118 IV. Locally Convex Spaces
5.7. Proposition. Let (fll, §)be the inductive limit of the spaces {(!J:i, §J iEJ}.
If C{lf is a LCS and T: f1l--+ C{lf is a linear transformation, then T is continuous
if and only if the restriction of T to each flli is §i-continuous.
PROOF. Suppose T: 9:--+ C{lf is continuous. By (5.6a), the inclusion map
(flli, §i)--+ (fll, §) is continuous. Since the restriction of T to flli is the
composition of the inclusion map flli--+ f1l and T, the restriction is continuous.
Now assume that each restriction is continuous. If p is a continuous
seminorm on C{lf, then po Tlflli is a §ccontinuous seminorm for every i. By
(5.6c), poT is continuous on fll. By Exercise 1.23, Tis continuous. •
It may have occurred to the reader that the definition of the inductive
limit topology depends on the choice of the spaces !J:i in more than the
obvious way. That is, if f1l = Ujl[lfj and each C{lfj has a topology that is
"compatible" with that of the spaces {fllJ, perhaps the inductive limit
topology defined by the spaces {C{lfj} will differ from that defined by the {9:J
This is not the case.
5.8. Proposition. Let (fll, {(flli, §J}) and (fll, {(C{Ifj, illtj)}) be two inductive
systems and let § and lllt be the corresponding inductive limit topologies on fll.
If for every i there is a j such that flli s; C{lfj and illtjl flli s; §i, then illt s; §.
PROOF. Let V be a convex balanced subset of 9: such that for every j,
V n C{lfjEilltj. If fll"i is given, let j be such that flli s; C{lfj and llltjl flli s; §i· Hence
V n!J:i = (V nl[lf)nflliE§i· Thus VEBI [as defined in (5.3)]. It now follows
that illt s; §. •
5.9. Example. Let 9: be any vector space and let {flli: iEI} be all of the
finite dimensional subspaces of 9:. Give each !J:i the unique topology from
its identification with a Euclidean space. Then (9:, { 9:J) is an inductive system.
Let § be the inductive limit topology. If C{lf is a LCS and T: f1l--+ C{lf is a
linear transformation, then Tis §-continuous.
5.10. Example. Let X be a locally compact space and let {Ki: iEI} be the
collection of all compact subsets of X. Let !J:i =all f in C(X) such that
sptf s; Ki. Then Uiflli = Cc(X), the continuous functions on X with compact
support. Topologize each !J:i by giving it the supremum norm. Then
(Cc(X), {flli}) is an inductive system.
§5. Inductive Limits and the Space of Distributions 119
Let {Ui} be the open subsets of X such that cl Ui is compact. Let C 0 (U)
be the continuous functions on Ui vanishing at oo with the supremum norm.
If jEC 0 (U) and f is defined on X by letting it be identically 0 on X\Ui,
then /ECAX). Thus (Cc(X),{C 0 (Ui)}) is an inductive system. Proposition
5.8 implies that these two inductive systems define the same inductive limit
topology on Cc(X).
5.11. Example. Let d~ 1 and put Kn= {xE1Rd: llxll :::;n}. Then (.qJ(1Rd),
{.@(K")} ;;"= 1 ) is an inductive system. By (5.9), the inductive limit topology
defined on 9tl(1Rd) by this system equals the inductive limit topology defined
by the system given in Example 5.2.
Example 5.11 shows that 9tl(1Rd), indeed .@(Q), is a strict inductive limit.
The following lemma is useful in the study of strict inductive limits as
well as in other situations.
PROOF. Let U = {yEqlj: p(y) < 1}. So U is open in qlj; hence there is an open
subset vl of Et such that vl n qy = U. Since OE vl and Et is a LCS, there is
an open convex balanced set V in Et such that V s; V1 . Let q =the gauge of
V. So if yEC!Y and q(y) < 1, then p(y) < 1. By Lemma 111.1.4, p::::; qlqy·
Let W = co(U u V); it is easy to see that W is convex and balanced since
both U and V are. It will be shown that W is open. First observe that
W={tu+(1-t)v:O::::;t::::;1, uEU, vEV} (verify). Hence W=u{tU+
(1- t)V: 0::::; t::::; 1}. Put W, = tU + (1- t)V. So W0 = V, which is open. If
0 < t < 1, W, = u {tu + (1 - t) V: uEU}, and hence is open. But W 1 = U, which
is not open. However, if uEU, then there is an e > 0 such that c:uEV. For
0 < t < 1, let y, = t- 1 [1- e + te]u (Eqlf). As t-d, y,-> u. Since U is open in
qlf, there is at, 0 < t < 1, withy, in U. Thus u = ty, + (1- t)(c:u)E W,. Therefore
W = u { W,: 0::::; t < 1} and W is open.
5.15. Corollary. If :l£ is the strict inductive limit of {:!l.}, k is fixed, and Pk is
a continuous seminorm on :!lk, then there is a continuous seminorm p on f![ such
that pi:!lk = Pk· In particular, the inductive limit topology is Hausdorff and the
topology on :l£ when restricted to f![k equals the original topology of :!lk.
PROOF. By (5.13) and induction, for every integer n > k, there is a continuous
seminorm Pn such that P.l :r. _1 = P. _ 1 . If xE:l£, define p(x) = P.(x) when xEf!l•.
Since :r. s; f![n+ 1 for all n, the properties of {p.} insure that pis well defined.
Clearly p is a seminorm and by (5.6c) p is continuous.
If xE:l£ and x # 0, there is a k ~ 1 such that xE:!lk. Thus there is a
continuous seminorm Pk on f![k such that pk(x) # 0. Using the first part of
the corollary, we get a continuous seminorm p on :l£ such that p(x) # 0. Thus
(f!l, §") is Hausdorff. The proof that the topology on :l£ when relativized to
:!lk equals the original topology is an easy application of (5.13). •
5.16. Proposition. Let :l£ be the strict inductive limit of {:!l.}. A subset B of :l£
is bounded if and only !f there is an n ~ 1 such that B <;; :r. and B is bounded
in x•.
The proof will be accomplished only after a few preliminaries are settled.
Before doing this, here are a few consequences of (5.16).
5.17. Corollary. Iff![ is the strict inductive limit of {:!l.}, then a subset K of
f![ is compact if and only if there is ann~ 1 such that K <;; f!l. and K is compact
in :r•.
5.18. Corollary. If :l£ is the strict inductive limit of Frechet spaces {X.}, OJ/ is
a LCS, and T: :l£-+ OJ/ is a linear transformation, then T is continuous if and
only if T is sequentially continuous.
PROOF. By Proposition 5.7, Tis continuous if and only if Tl:l£. is continuous
for every n. Since each :r. is metrizable, the result follows. •
Note that using Example 5.11 it follows that for an open subset n of JR.d,
.@(Q) is the strict inductive limit of Frechet spaces [each .@(K.) is a Frechet
space by Proposition 2.1]. So (5.18) applies.
5.22. Proposition. If f!( is a TVS and OJ/ ~ f!C, the following statements are
equivalent.
(a) There is a closed linear subspace:!£ off!( such that OJ/ n :!£ = (0), OJ/ + :!£ = f!C,
and the map of OJ/ x :!£ -.f!( given by (y,z)~y + z is a homeomorphism.
(b) There is a continuous linear map P: f!(--+ f!( such that Pf!( =OJ/ and P 2 = P.
PRooF. (a)=> (b): Define P: f!( -.f!( by P(y + z) = y, for yin OJ/ and z in :!£.
It is easy to verify that Pis linear and Pf!C =OJ/. Also, P 2 (y + z) = PP(y + z) =
Py = y = P(y + z); so P2 = P. If {Y; + z;} is a net in f!( such that Y; + z;-. y + z,
then (a) implies that Y;-. y (and z;-. z). Hence P(y; + z;)-. P(y + z) and P is
continuous.
(b) => (a): If P is given, let :!£ = ker P. So :!£ ~ f!C. Also, x = Px + (x- Px)
andy= PxEOJJ, and z = x- Px has Pz = Px- P2 x = Px- Px = 0, so zE:!L.
Thus, OJ/+:!£= f!C. If xEOJ/ n :!£, then Px = 0 since XE:!L; but also x = Pw for
some w in f!( since xEOJ/ = Pf!C. Therefore 0 = Px = P 2 w = Pw = x; that is,
OJ/n:!£=(0). Now suppose that {y;} and {z;} are nets in OJ/ and:!£. If Y;-+y
and z;--+ z, then Y; + z;--+ y + z because addition is continuous. If, on the other
122 IV. Locally Convex Spaces
5.23. Definition. If!![ is a TVS and !!If :s.; !!l, !!If is topologically complemented
in !![ if either (a) or (b) of (5.22) is satisfied.
5.24. Proposition. If !![ is a LCS and !!If :s.; !![ such that either dim !!If < oo or
dim fll"/i!lf < oo, then !!If is topologically complemented in !!l.
PROOF. The proof will only be sketched. The reader is asked to supply the
details (Exercise 9).
(a) Suppose d =dim !!If < oo and let y 1, ... , yd be a basis for !!If. By the
Hahn-Banach Theorem (111.6.6), there are / 1 , ... , fd in!![* such that/;(yi) = 1
if i = j and 0 otherwise. Define Px = I.1=J/x)yi.
(b) Suppose d =dim !!l/i!lf < oo, Q: !![--+ !!l/i!lf is the natural map, and
z 1, ... ,zdE!!l such that Q(zd, ... ,Q(zd) is a basis for !!l/i!lf. Let !!L = v {z 1 , ... ,zd}·
•
PROOF OF PROPOSITION 5.16. Suppose !![ is the strict inductive limit of
{ (fll"n, ffn}) and B is a bounded subset of !!l. It must be shown that there is
an n such that B.,; !![n (the rest of the proof is easy). Suppose this is not the
case. By replacing {fll"n} by a subsequence if necessary, it follows that for each
n there is an xn in (Bn!!ln+d\fll"n. Let p 1 be a continuous seminorm on fl£1
such that p 1 (x 1 )= 1.
5.25. Claim. For every n:;:,: 2 there is a continuous seminorm Pn on !![n such
that Pn(xn)=n and Pnlfll"n- 1 =Pn- 1·
The proof of (5.25) is by induction. Suppose Pn is given and let !!If= !![n v
{xn+d· By (5.24), !!ln and v {xn+d are topologically complementary in !!If.
Define q: !!If --+[0, oo) by q(x + axn+ 1 ) = Pn(x) + (n + l)lal, where XE!!ln and
aElF. Then q is a continuous seminorm on (I!IJ,ffn+ 1 II!IJ). (Verify!) By
Proposition 5.13 there is a continuous seminorm Pn+ 1 on !![n+ 1 such that
Pn+ 1ii!lf = q. Thus Pn+ 1l!!ln = Pn and Pn+ 1 (xn+ 1 ) = n + 1. This proves the claim.
Now define p: !![--+ [0, oo) by p(x) = Pn(x) if XE!!ln. By (5.25), pis well defined.
It is easy to see that pis a continuous seminorm. However, sup {p(x): xEB} = oo,
so B is not bounded (Exercise 2.4f). •
EXERCISES
I. Verify the statements made in Example 5.2.
2. Fill in the details of the proof of Proposition 5.3.
3. Prove Proposition 5.6.
4. Verify the statements made in Example 5.9.
5. Verify the statements made in Example 5.10.
§5. Inductive Limits and the Space of Distributions 123
Weak Topologies
The principal objects of study in this chapter are the weak topology on a
Banach space and the weak-star topology on its dual. In order to carry out
this study efficiently, the first two sections are devoted to the study of the
weak topology on a locally convex space.
§1. Duality
As in §IV.4, for a LCS :!£, let :!£* denote the space of continuous linear
=
functionals on :!l.lf x*,y*e:!l* and o:eJF, then (o:x* + y*)(x) o:x*(x) + y*(x),
x in:!£, defines an element o:x* + y* in:!£*. Thus:!£* has a natural vector-space
structure.
It is convenient and, more importantly, helpful to introduce the notation
(x, x*)
to stand for x*(x), for x in :!£ and x* in !!£*. Also, because of a certain
symmetry, we will use <x*, x) to stand for x*(x). Thus
x*(x) = (x,x*) = (x*,x).
We begin by recalling two definitions (IV.1.7 and IV.1.8).
1.1. Definition. If:!£ is a LCS, the weak topology on :!£, denoted by "wk" or
a(:!l, :!£*),is the topology defined by the family of seminorms {Px•: x*e:!l*},
where
Px•(x) = l(x,x*)l.
The weak-star topology on :!£*, denoted by "wk*" or a(!!£*,:!£), is the
§l. Duality 125
A net {x;} in f!l' converges weakly to x 0 if and only if (X;, x*)-+ ( x 0 , x*)
for every x* in q'*. (What are the analogous statements for the weak-star
topology?)
Note that both (q", wk) and (q"*, wk*) are LCS's. Also, f!l' already possesses
a topology so that wk is a second topology on q", However, q"* has no
topology to begin with so that wk* is the only topology on q"*. Of course
if f!l' is a normed space, this last statement is not correct since q"* is a Banach
space (III.5.4). The reader should also be cautioned that some authors abuse
the language and use the term weak topology to designate both the weak
and weak-star topologies. Finally, pay attention to the positions of q- and
f!l'* in the notation u(f!l', q'*) = wk and u(f!l'*, f!l') = wk*.
If {X;} is a net in q- and X;-+ 0 in f!l', then for every x* in q"*, (X;, x*) -+ 0.
So if f7 is the topology on f!l', wk s f7 (A.2.9) and each x* in q'* is weakly
continuous. The first result gives the converse of this.
1.5. Corollary. A convex subset of f!l is closed if and only if it is weakly closed.
1.6. Definition. If A s;: f!l, the polar of A, denoted by A o, is the subset of f!l*
defined by
Ao = {x*Ef!l*: l(a,x*)l::::;; 1 for all a in A}.
If B s;: f!l*, the pre polar of B, denoted by o B, is the subset of f!l defined by
oB ={xEf!l: I(x, b*) I~ 1 for all b* in B}.
If As;: f!l the bipolar of A is the set (A 0 0
). If there is no confusion, then it is
also denoted by o A o.
The prototype for this idea is that if A is the unit ball in a normed space,
Ao is the unit ball in the dual space.
PROOF. The proofs of parts (a) through (d) are left as an exercise. To prove
(e) note that A£ 0 A 0 by (d), so CAT£A 0 by (b). But A 0 £ 0 (AT by an
analog of (d) for prepolars. Also, 0 (AT = CA 0 t. •
There is an analogous result for prepolars. In fact, it is more than analogy
that is at work here. By Theorem 1.3, (f!l*, wk*)* = f!l. Thus the result for
prepolars is a consequence of the preceding proposition.
§1. Duality 127
1.8. Bipolar Theorem. Iff!{ is a LCS and A s; fl£, then o A o is the closed convex
balanced hull of A.
PROOF. Let A 1 be the intersection of all closed convex balanced subsets of
f!{ that contain A. It must be shown that A 1 = o A Since o Ao is closed, convex,
0
•
1.9. Corollary. If fl£ is a LCS and B s; fl£*, then (0 Bt is the wk* closed convex
balanced hull of B.
Using the weak and weak* topologies and the concept of a bounded
subset of a LCS (IV.2.5), it is possible to rephrase the results associated with
the Principle of Uniform Roundedness (§III.l4). As an example we offer the
following reformulation of Corollary III.14.5 (which is, in fact, the most
general form of the result).
t.l 0. Theorem. If fl£ is a Banach space, C!Y is a normed space, and d s !14(fl£, C!Y)
such that for every x in fl£, {Ax: A Ed} is weakly bounded in C!Y, then d is
norm bounded in !!4 (fl£, C!Y).
EXERCISES
I. Show that wk is the smallest topology on(![ such that each x* in f!C* is continuous.
2. Show that wk* is the smallest topology on f!C* such that for each x in f!C,
x*H<x,x*) is continuous.
128 V. Weak Topologies
2.2. Theorem. If!!{ is a LCS, A:(:!!{, and Q: !!{ --.!!{jvlf is the natural map,
thenfHfoQ defines a linear bijection between (!!{jvlf)* and A1.. If (!!{jvlf)*
has its weak-star topology a((!!{l A)*, !!{j A) and A l. has the relative weak-star
topology a(!!{*, .o£)1 A 1., then this bijection is a homeomorphism. If .or is a
normed space, then this bijection is an isometry.
PROOF. Let p:(.ol"IA)*--+AJ. be defined by p(J)=foQ. It was shown prior
to the statement of the theorem that pis well defined and maps (.ol"/A)* into
A l.. It is easy to see that p is linear and if 0 = p(J) = f o Q, then J = 0 since
Q is surjective. So p is injective. Now let x* Evil l. and define f: .utiA--+ F
by f(x +A)= (x, x* ). Because A<;; ker x*, f is well defined and linear.
Also, Q- 1 {x +A: 1/(x +A) I< 1} = {xE.ol": I(x, x* )I< 1} and this is open
in!!{ since x* is continuous. Thus {x +A: lf(x +A) I< 1} is open in !!{jvlf
and so f is continuous. Clearly p(J) = x*, so p is a bijection.
If .or is a normed space, it was shown in (III.10.2) that p is an isometry.
It remains to show that pis a weak-star homeomorphism. Let wk* = a(.ot*, !!{)
and let a*= a((.ol"/A)*, .utiA). If{!;} is a net in (f!l'/A)* and /;--+O(a*), then
for each x in .or, (x,p(J;)) =/;(Q(x))--+0. Hence p(J;)--+O(wk*). Conversely,
if p(J;)--+ O(wk*), then for each x in .or, /;(x +A)= ( x, p(J;))--+ 0; hence
/;--+ O(a*). •
Once again let A:(: .ot.lf x*E!!{*, then the restriction of!!{* to A, x*IA,
belongs to A*. Also, the Hahn-Banach Theorem implies that the map
x*Hx*IA is surjective. If p(x*)=x*IA, then p: .ot*--.A* is clearly linear
as well as surjective. It fails, however, to be injective. How does it fail?
It's easy to see that ker p = A l.. Thus p induces a linear bijection
p: .ot*I.Al. -+A*.
2.3. Theorem. If .0£ is a LCS, ult:::::; fl£, and p: .0£*--+ ult* is the restriction map,
then p induces a linear bijection p: fl£* IA l.--+ ult*. If .ot* Iult l. has the quotient
topology induced by a(fl£*, fl£) and ult* has its weak-star topology a(ult*, ult),
then f5 is a homeomorphism. If fl£ is a normed space, then f5 is an isometry.
PROOF. The fact that f5 is an isometry when .or is a normed space was shown
in (III.lO.l). Let wk*=a(ult*,ult) and let IJ* be the quotient topology on
;J[* Iult l. defined by a(.ot*, .o£). Let Q: f'l*--+ .ot*Iult l. be the natural map.
Therefore the diagram
fl£* ~vi{*
Q\ !p
.ot* Iu~t l.
commutes. If yEult, then the commutativity of the diagram implies that
Q- 1 (,0- 1 {y* Eult*: I(y,y*) I< 1}) = Q- 1 {x* + ultl.: I(y,x* )I< 1}
= {x*E.o£*: l(y,x*)l < 1},
130 V. Weak Topologies
which is weak-star open in :!{*. Hence p: (:!{*I.A J_' 17*) -.(..It*, wk*) is
continuous.
How is the topology on :!{*I..It _j_ defined? If x e:!{, Px(x*) = I< x, x*) I is a
typical seminorm on :!{*. By Proposition 2.1, the topology on :!{*I..It _j_ is
defined by the seminorms {fix: xe:!{}, where
Px(x* +..It _j_) = inf{ I(x, x* + z* )I: z* E...lt _j_ }.
In fact, let :!Z = {lXX: IX E F'}. If x ¢..It, then :!Z n ..It = (0). Since dim :!Z < oo,
..It is topologically complemented in :!Z + ...lt. Let x*efl* and define f:
:!Z +..It--.. F' by f(iXx + y) = (y, x*) for y in ..It and IX in F'. Because ..It is
topologically complemented in :!Z + ..It, if a;x + Y;--.. 0, then Y;--.. 0. Hence
f(a;x+y;)=(y;,x*)--..0. Thus f is continuous. By the Hahn-Banach
Theorem, there is an xj in:!{* that extends f. Note that x*- xje..H_j_. Thus
Px(x* +..It _j_) = px(xj +..It _j_) ~ Px(xi) =I (x, xi) I= 0. This proves (2.4).
Now suppose that {x~+...lt_j_} is a net in Pl*l...lt_j_ such that
p(x~+...lt_j_)=x~l...tt--.O(wk*) in ..It*. If xe:!{ and x¢...1t, the Claim (2.4)
implies that Px(x~ +..It _j_) = 0. If x E.A, then Px(x~ +..It _i) ~I ( x, x~) I--.. 0.
Thus x~ + ...lt_j_ --..0('7*) and pis a weak-star homeomorphism. •
EXERCISES
1. In relation to Claim 2.4, show that if :IE~ f£, dim~< oo, and .It~ f£, then~+ .It
is closed.
2. Show that if .It~ f£ and .It is topologically complemented in f£, then .It .L is
topologically complemented in f£* and that its complement is weak-star and
linearly homeomorphic to f£*/.lt.L.
That is, r(x*) is the element of the product space D whose x coordinate is
(x, x* ). It will be shown that r is a homeomorphism from (ball:!{*, wk*)
§4. Reflexivity Revisited 131
onto r(ball.T*) with the relative topology from D, and that r(ball.T*) is
closed in D. Thus it will follow that r(ball.T*), and hence ball.T*, is compact.
To see that r is injective, suppose that r(x!) = r(xn. Then for each x in
r>
ball.T' <X, X = <X, XD. It follows by definition that X = X;. r
Now let {xn be a net in ball.T* such that x[-+ x*. Then for each X in
ball.T, r(x[)(x)=<x,xi)-+<x,x*)=r(x*)(x). That is, each coordinate of
{r(xi)} converges to r(x*). Hence r(xi)-+ r(x*) and r is continuous.
Let x; be a net in ball.T*, let /ED, and suppose r(xi)-+ f in D. So
f(x) = lim<x,xi) exists for every x in ball.T. If xE.T, let a> 0 such that
II ax I ::::; 1. Then define f(x) =a- 1/(ax). If also f3 > 0 such that II f3x II ::::; 1, then
o:- 1/(ax) = o:- 1 lim< o:x, xi)= p- 1 lim <f3x, xi)= p- 1f(f3x). So f(x) is well
defined. It is left as an exercise for the reader to show that f: .T-+ IF is a
linear functional. Also, if llxll ::::; 1, f(x) E Dx so lf(x)l ::::; 1. Thus x* E ball
.T* and r(x*) =f. Thus r(ball.T*) is closed in D. This implies that r(ball
.T*) is compact. The proof that r- 1 is continuous is left to the reader. •
EXERCISES
1. Show that the functional f occurring in the proof of Alaoglu's Theorem is linear.
2. Let !1£ be a LCS and let V be an open neighborhood ofO. Show that vo is weak-star
compact in !1£*.
3. If !1£ is a Banach space, show that there is a compact space X such that !1£ is
isometrically isomorphic to a closed subspace of C(X).
4.2. Theorem. If!!£ is a Banach space, the following statements are equivalent.
(a) !!£ is reflexive.
(b) !!£* is reflexive.
(c) a(!!£*, !!£) = a(!!£*, f£* *).
(d) ball!!£ is weakly compact.
PRooF. (a)=>(c): This is clear since!!£=!!£**.
(d)=>(a): Note that a(!!£**,!!£*)1!!£ =a(!!£,!!£*). By (d), ballf£ is a(!!£**,!!£*)
closed in ball!!£**. But the preceding proposition implies ball!!£ is a(!!£**,!!£*)
dense in ball!!£**. Hence ball!!£= ball!!£** and so !!£ is reflexive.
(c)=>(b): By Alaoglu's Theorem, ball!!£* is a(!!£*, !!£)-compact. By (c), ball
!!£*is a(!!£*,!!£**) compact. Since it has already been shown that (d) implies
(a), this implies that !!£* is reflexive.
(b)=>(a): Now ball!!£ is norm closed in!!£**; hence ball!!£ is a(!!£**,!!£***)
closed in !!£** (Corollary 1.5). Since !!£* = !!£*** by (b), this says that ball!!£
is a(!!£**,!!£*) closed in !!£**. But, according to (4.1), ball!!£ is a(!!£**,!!£*)
dense in ball!!£**. Hence ball!!£= ball!!£** and !!£ is reflexive.
(a)=>(d): By Alaoglu's Theorem, ball!!£** is a(f£**,!!£*) compact. Since
!!£ = !!£**, this says that ball!!£ is a(!!£,!!£*) compact. •
4.4. Corollary. If !!£ is reflexive, then every weakly Cauchy sequence in !!{
converges weakly. That is, !!£ is weakly sequentially complete.
PROOF. Since { (xn,x*)} is a Cauchy sequence in lF for each x* in!!£*, {xn}
§4. Reflexivity Revisited 133
It is not generally true that the distance from a point to a linear subspace
is attained. If .A £;; q-, call .A proximinal if for every x in q- there is a y in
.A such that II x - y II = dist(x, .A). So if q- is reflexive, Corollary 4.6 implies
that every closed linear subspace of q- is proximinal. If ;!{ is any Banach
space and .A is a finite dimensional subspace, then it is easy to see that .A
is proximinal. How about if dim(;![f-A)< oo?
4.7. Proposition. Jfq- is a Banach space and x*Eq-*, then ker x* is proximinal
if and only if there is an x in ;!{, II x II = 1, such that ( x, x* ) = II x* [f.
PROOF. Let .A = ker x* and suppose that .A is proximinal. If f: q- j .A --+IF
is defined by f(x +.A)= (x, x* ), then f is a linear functional and
II f II = II x* 11. Since dim q-/.A= 1, there is an x in;!{ such that II x +.A II = 1
and f(x +.A)= II f 11. Because .A is proximinal, there is a yin .A such that
1 = llx +.A[[= fix+ y[[. Thus (x + y,x*) = (x,x*) = f(x +.A)= 11!11 =
llx* 11.
Now assume that there is an x 0 in ;!{ such that II x 0 II = 1 and
(x 0 ,x*) =II x* If. If XEq- and II x +.A II= a> 0, then II a- 1x +.A II= 1. But
also II x 0 +.A II= 1. (Why?) Since dim .sl""/.A = 1, there is a P in lF, IPI = 1,
such that a- 1 x +.A= P(x 0 +.A). Hence a- 1 x- Px 0 E.A, or, equivalently,
x- aPx 0 E.A. However, II x- (x- aPx 0 ) II = II aPx 0 II =a= dist(x, .A). So the
distance from x to .A is attained at x- aPx 0 • •
L(f) = I!/2
f(x)dx-
I! f(x)dx,
0 1/2
134 V. Weak Topologies
EXERCISES
l. Show that if ?I is reflexive and vii::;;;?£, then ?£/vii is reflexive.
2. If ?I is a Banach space, vii::;;;?£, and both vii and ?1"/vll are reflexive, must ?I be
reflexive?
3. If(X,Q,p) is a a-finite measure space, show that L1 (X,Q,p) is reflexive if and only
if it is finite dimensional.
4. Give the details of the proofs of the statements made in Example 4.5.
5. Verify the statement made in Example 4.8.
6. If (X, n, Jl) is a a-finite measure space, show that L 00 (Jl) is weak-star sequentially
complete but is reflexive if and only if it is finite dimensional.
7. Let X be compact and suppose there is a norm on C(X) that is given by an inner
product making C(X) into a Hilbert space such that for every x in X the functional
Jt-+ f(x) on C(X) is continuous with respect to the Hilbert space norm. Show that
X is finite.
5.1. Theorem. If fl£ is a Banach space, then ball fl£* is weak-star metrizable if
and only if fl£ is separable.
PROOF. Assume that fl£ is separable and let {xn} be a countable dense subset
of ball fl£. For each n let Dn = {IX EF': IlXI::;;;; 1}. Put X= n:=
1Dn; X is a compact
metric space. So if (ball fl£*, wk*) is homeomorphic to a subset of X, ball fl£*
is weak-star metrizable.
Definer: ballfl£* ~x by r(x*) = {(x",x*) }. If {xi} is a net in ballfl£*
and x{~x* (wk*), then for each n;:.:l, (xn,xi>~<xn,x*); hence
r(x{) ~ r(x*) and r is continuous. If r(x*) = r(y*), ( xn, x* - y*) = 0 for all
n. Since {xn} is dense, x*- y* = 0. Thus r is injective. Since ball fl£* is wk*
compact, r is a homeomorphism onto its image (A.2.8) and ball fl£* is wk*
metrizable.
Now assume that (ballfl£*, wk*) is metrizable. Thus there are open sets
{Un: n;:.: 1} in (ballfl£*,wk*) such that OeU" and n:=
1 Un=(0). By the
§5. Separability and Metrizability 135
I
<X)
d(¢,1/t)= 2-ji<PU)-1/tU)I
j= 1
II!. II = 2: 1/.(j)l
j= 1
<e
whenever n ~ m 1 •
EXERCISES
L;'= 0 2-"1f:X"dp.-
l. L1et B =ball M[O, l] and for p., v in M[O, l] define d(p., v) =
J0x"dvl. Show that dis a metric on M[O, l] that defines the weak-star topology
on B but not on M[O, 1].
2. Let X be a compact space and let 1111 = {(U, V): U, V are open subsets of X and
cl U £ V}. For u = (U, V) in o/1, let f.: X-+ [0, l] be a continuous function such
that f.= l on cl U and f.= 0 on X\ V. Show: (a) the linear span of {!.: ueo/1} is
dense in C(X); (b) if X is a metric space, then C(X) is separable; (c) if X is a
a-compact metrizable locally compact space, then C0 (X) is separable. (X is
a-compact if X is the union of a countable number of compact subsets.)
3. If fi" is a Banach space and f!"* is separable, show that (a) fi" is separable; (b) if K
is a weakly compact subset of f!", then K with the relative weak topology is
metrizable.
4. If B = ball 1 show that d( ¢, 1/1) = L J= 1 2- i Ic/J(j) - Y,(j) I defines a metric on B and
00
,
Fix fin Cb(X) and define Jf1: f3X-+ IF by Jf1(-r:) = (/, r) for every r in f3X.
[Remember that f3X ~ Cb(X)*, so that this makes sense.] Clearly jP is
continuous and jPoA(x) = jP(JJ = (/, Jx) = f(x). So Jf1oA = f and (c) holds.
To show that f3X is unique, assume that n is a compact space and n:
X-+ Q is a continuous map such that:
(a') n: X-+ n(X) is a homeomorphism;
(b') n(X) is dense in Q;
(c') if /ECb(X), there is an] in C(Q) such that ]on= f.
Define g: A(X)-+ Q by g(A(x)) = n(x). In other words, g =no A- 1 . The idea
is to extend g to a homeomorphism of f3X onto n. If r 0 E/3X, then (b) implies
that there is a net {xi} in X such that A(xJ-+r 0 in f3X. Now {n(xJ} is a net
in Q and Since Q is compact, there is an Wo in Q SUCh that n(xi) ~ W 0 .
If FEC(!l), let f =£on; so /ECb(X) (and F =]). Also, f(xJ = (/Jx)-+
(/, r 0 ) = Jf1(r 0 ). But it is also true that f(xJ = F(n(xJ) ~ F(w 0 ). Hence
F(w 0 ) = Jf1(r 0 ) for any F in C(!l). This implies that w 0 is the unique cluster
point of {n(xJ }; thus n(xi)-+ w 0 (A.2.7). Let g(r 0 ) = w 0 . It must be shown
that the definition of g(r 0 ) does not depend on the net {xJ in X such that
A(xJ-+ r 0 . This is left as an exercise. To summarize, it has been shown that
To show that g: f3X -+!l is continuous, let {ri} be a net in f3X such that
ri-+r. If FEC(Q), let f = Fon; so /ECb(X) and]= F. Also, jP(rJ-+ fP(r).
But F(g(ri)) = jP(rJ-+ jP(r) = F(g(r)). It follows (6.1) that g(ri)-+g(r) in n.
Thus g is continuous.
It is left as an exercise for the reader to show that g is injective. Since
g(f3X) :2 g(A(X)) = n(X), g(f3X) is dense in n. But g(f3X) is compact, so g is
bijective. By (A.2.8), g is a homeomorphism. •
The compact set f3X obtained in the preceding theorem is called the
Stone-Cech cornpactiflcation of X. By properties (a) and (b), X can be
considered as a dense subset of f3X and the map A can be taken to be the
inclusion map. With this convention, (c) can be interpreted as saying
that every bounded continuous function on X has a continuous extension
to f3X.
The space f3X is usually very much larger than X. In particular, it is
almost never tf'le that f3X is the one-point compactification of X. For
example, if X= (0, 1], then the one-point compactification of X is [0, 1].
However, sin(l/x)ECb(X) but it has no continuous extension to [0, 1], so
f3X =I [0, 1].
To obtain an idea of how large f3X\X is, see Exercise 6, which indicates
how to show that if IN has the discrete topology, then fJIN\IN has
2!-:o pairwise disjoint open sets. The best source of information on the
§6. An Application: The Stone-Cech Compactification 139
for eachf in Cb(X). Then the map w--+ Lit is an isometric isomorphism of M(f3X)
onto Cb(X)*.
PROOF. Define V: Cb(X)....,. C(f3X) by Vf = jP. It is easy to see that Vis linear.
Considering X as a subset of f3X, the fact that {JX = cl X implies that V is
an isometry.lf gEC({JX) and f = gl X, then g = fP = Vf; hence Vis surjective.
If J1.EM({JX) = C({JX)*, it is easy to check that LltECb(X)* and I Lit II= I Jl.ll
since vis an isometry. Conversely, if LECb(X)*, then La v-l EC({JX)* and
IILo v- 1 1 = IlLII. Hence there is a J1. in M(f3X) such that SfgdJ1. =La v- 1(g)
for every g in C(f3X). Since v- 1 g =I X, it follows that L = Lw •
The next result is from topology. It may be known to the reader, but it
is presented here for the convenience of those to whom it is not.
and h = 1 on F. Put fk = ihh for 1 ~ k ~nand let fn+ 1 = 1- L~= Jk· Clearly
O~fk~1 if 1~k~n. If xEclV, then fn+ 1 (x)=1-(L,~= 1 gk(x))h(x)=1-
h(x); so O~fn+ 1 (x)~ 1 on cl V. If xEX\V, then fn+ 1 (x)= 1 since h(x)=O.
Hence O~fn+ 1 ~ l.
Clearly (a) holds. Let 1 ~ k ~ n; if xEX\Uk, then either xE(cl V)\Uk or
xE(X\cl V)\ U k· If the first alternative is the case, then gk(x) = 0, so fk(x) = 0.
If the second alternative is true, then h(x) = 0 so that fk(x) = 0. If
XEX\Un+ 1 =F, then h(x)= 1 and so fn+ 1 (x)= 1- L~= 1 gk(x)=0. •
~ L lf(x) -aklfinl(x).
k
EXERCISES
1. If xeX and bx(f) = f(x) for all fin Cb(X), show that I bx II = 1.
2. Prove that a subset of a completely regular space is completely regular.
3. Fill in the details of the proof of Theorem 6.2.
4. If X is completely regular, Q is compact, and f: X -+!lis continuous, show that
there is a continuous map jP: {JX -+Q such that JI'IX = f
5. If X is completely regular, show that X is open in {JX if and only if X is locally
compact.
6. Let N have the discrete topology. Let {r.: neiN"} be an enumeration of the rational
numbers in (0, l]. LetS= the irrational numbers in [0, 1] and for each sinS let
{r.: neN,} be a subsequence of {r.} such that s =lim {r.: neN,}. Show: (a) if s, teS
and s#-t, N,nN, is finite; (b) if for each sinS, clN,=the closure of N, in {JN
and A,= (cl N ,)\IN", then {A,: seS} are pairwise disjoint subsets of {JIN"\N that are
both open and closed.
7. Show that if X is normal, 1:e{JX, and there is a sequence {x.} in X such that x. -+7:
in {JX, then 7:EX. If X is not normal, is the result still true?
8. Let X be the space of all ordinals less than the first uncountable ordinal and give
X the order topology. Show that {JX =the one point compactification of X. (You
can find the pertinent definitions in Kelley (1955].)
7.2. Examples.
(a)If f!£=R 2 and K={(x,y)ER 2 : x 2 +y 2 :s::;1}, then extK={(x,y):
x2 + y2 = 1}.
(b) If!!{= R 2 and K = {(x,y)ER 2 : x :s::; 0}, then ext K = 0.
(c) Iff!(= R 2 and K = {(x,y)ER 2 : x < 0} u {(0, 0)}, then ext K = {(0,0)}.
(d) If K =the closed region in R 2 bordered by a regular polygon, then
ext K = the vertices of the polygon.
(e) If f!( is any normed space and K = {xEf!£: II x I :s::; 1}, then ext K £:
{x: I x II = 1}, though for all we know it may be that ext K = 0.
(f) If !!£=V[O,l] and K={!EV[O,l]: llfll 1 :s::;l}, then extK=O. This
142 V. Weak Topologies
last statement requires a bit of proof. Let f EL1 [0, 1] such that II f 11 1 = 1.
t.
Choose x in [0, 1] such that J~lf(t)ldt = Let h(t) = 2f(t) if t ~ x and 0
otherwise; let g(t) = 2f(t) if t): x and 0 otherwise. Then II h 11 1 = II g 11 1 = 1
and f = i(h +g). So ball L 1 [0, 1] has no extreme points.
The next proposition is left as an exercise.
PROOF. (Leger [ 1968].) Note that (7.3e) says that a point a is an extreme
point if and only if K\{a} is a relatively open convex subset. We thus look
for a maximal proper relatively open convex subset of K. Let Olf be all the
proper relatively open convex subsets of K. Since !£ is a LCS and K #- D
(and let's assume that K is not a singleton), 011 #- 0. Let Olf 0 be a chain in Olf
and put U 0 = u { U: U EOlf 0 }. Clearly U 0 is open, and since Olf 0 is a chain, U 0
is convex. If U 0 = K, then the compactness of K implies that there is a U
in Olf 0 with U = K, a contradiction to the property of U. Thus U 0 E Olf. By
Zorn's Lemma, uu has a maximal element U.
If XEK and 0 ~ ), ~ 1, let Tx.;.: K-> K be defined by Tx.;.(Y) =.Icy+ (1- ),)x.
Note that Tx.;. is continuous and TxJL.}= 1 aiyi) = L.}= 1 ai Tx.;.(Y) whenever
y 1 , .•. ,y.EK, cx 1 , .•. ,a.): 0, and L.}= 1 ai = 1. (This means that Tx.;. is an affine
map of K into K.) If xEU and 0 ~ .lc < 1, then Tx.;.(U) s U. Thus Us r;l(U)
and T;J(U) is an open convex subset of K. If yE(cl U)\U, Tx.;.(Y)E[x,y) s U
by Proposition IV.l.ll. So cl Us T;l(U) and hence the maximality of U
implies T~ 1 (U) = K. That is,
x.A
In fact, (7.5) implies that V u U is convex so that the claim follows from
the maximality of U.
It now follows from the claim that K\U is a singleton. In fact, if a,bEK\U
and a#- b, let Va, Vb be disjoint open convex subsets of K such that aE Va
§7. The Krein-Milman Theorem 143
7.7. Example. c0 is not the dual of a Banach space. That is, c0 is not iso-
metrically isomorphic to the dual of a Banach space. In light of the preceding
comments, in order to prove this statement, it suffices to show that ball c0
has few extreme points. In fact, ball c 0 has no extreme points. Let xEball c0 .
It must be that 0 =lim x(n). Let N be such that lx(n)l < i for n ~ N. Define
y 1 ,y2 in c0 by letting y 1 (n)=y 2 (n)=x(n) for n~N, and for n>N let
y 1 (n) = x(n) + rn and y 2 (n) = x(n)- 2 -n. It is easy to check that y 1 and
Y2Eballc 0 ,i(y 1 + y 2 )=x, and y 1 f=x.
Since x 0 EK, x 0 = 1:~= 1 r:xkxk, xkEKk, r:xk ~ 0, r:x 1 + ... + r:xn = 1. But x 0 is an
extreme point of K. Thus, x 0 = xkEKk for some k. But this implies that
x 0 E Kk s; Yk + cl U 0 s; c/ ( F + U 0 ), a contradiction. •
You might think that the set of extreme points of a compact convex subset
would have to be closed. This is untrue even if the LCS is finite dimensional,
as Figure V -1 illustrates.
Figure V-1
Note that it is possible that there are extreme points x of K such that
T(x) is not an extreme point of T(K). For example, let T be the orthogonal
projection of 1R 3 onto 1R 2 and let K = ballJR 3 .
EXERCISES
1. If (X, Q, /1) is a a-finite measure space and 1 < p < oo, then the set of extreme
points of ball IJ(/1) is {!Elf(/1): llfllp= 1}.
2. If (X,Q,/1) is a a-finite measure space, the set of extreme points of ball L 1(/1) is
{axE: E is an atom of /1, aEIF, and lal=/1(£)- 1 }.
3. If (X, Q, /1) is a a-finite measure space, the set of extreme points of ball L"'(/1) is
{!EL"'(/1): lf(x)l = 1 a.e. [/1]}.
[1965] ). If IF= lR, then this characterizes totally disconnected compact spaces
(Goodner [1964]).)
6. Show that ball / 1 is the norm closure of the convex hull of its extreme points.
7. Show that if X is locally compact but not compact, then ball C 0 (X) has no
extreme points.
8. If ?I is a LCS and K 1 , ..• , K. are compact convex subsets of !!{, then
co(K 1 u · · · u K.) = co(K 1 u · · · u K.) and this convex hull is compact.
9. Let K be convex and let T: K ..... '!If be an affine map. If y is an extreme point of
T(K) and xis an extreme point of r- 1(y), then xis an extreme point of K.
Let xEX, x =f. x 0 . By (b) there is an / 1 in d such that / 1 (x 0 ) =f. / 1 (x) = {3.
By (a), the function {3Ed. Hence / 2 = / 1 - /3Ed, / 2 (x 0 ) =f. 0 = / 2 (x). By
(c), / 3 = l/2 12 = / 2 f 2 Ed. Also, / 3 (x) = 0 < / 3 (x 0 ) and / 3 ~ 0. Put f =
(11/3 11+1)- 1/ 3 . Then /Ed, f(x)=O, f(x 0 )>0, and O~f<l on X.
Moreover, because d is an algebra, gf and g(1- /)Ed for every g in d.
Because J.1.Ed J., 0 = J gfdJ.1. = J g(1 - f)dJ.1. for every gin d. Therefore !J.1. and
(1- /)J.1.EdJ..
(For any bounded Borel function h on X, hJ.1. denotes the measure whose
value at a Borel set~ is J<1hdJ.1.. Note that II hJ.1.11 = JlhldiJ.1.1.)
Put LL= 11/JJ.II = JfdiJ.1.1. Since f(x 0 )>0, there is an open neighborhood
U of x 0 and an E > 0 such that f(y) > E for y in U. Thus,
LL = SfdiJ.1.1 ~ SufdiJ.1.1 ~ t:IJJ.I(U) > 0 since U nK =f. D. Similarly, since f(x 0 ) <
1, LL < 1. Therefore, 0 < LL < 1. Also, 1- LL = 1- JfdiJJ.I = J(l- f)diJJ.I =
11(1- J}J.1.11. Since
What are the extreme points of the unit ball of M(X)? The characterization
of these extreme points as well as the extreme points of the set P(X) of
probability measures on X is given in the next theorem. [A probability measure
is a positive measure J1. such that JJ.(X) = 1.]
8.4. Theorem. If X is compact, then the set ofextreme points of ball M(X) is
Suppose that J.l is an extreme point of ball M(X) and let K be the support
of J.l. It will be shown that K is a singleton set.
Fix x 0 in K and suppose there is a second point x in K, x =I= x 0 • Let U
and V be open subsets of X such that x 0 E U, xE V, and cl U ncl V =D. By
Urysohn's Lemma there is an f in C(X) such that 0 ~ f ~ 1, f(y) = 1 for y
in cl U, and f(y) = 0 for y in cl V. Consider the measures !J.l and (1 - J)J.l.
Put a=!I!J.lii=JifldiJ.li=JfdiJ.ll. Then a=JfdiJ.li~IIJ.l\1=1 and a=
JfdiJ.ll ~ IJ.li(U) > Osince U is open and U nK =I= o. Also, 1- a= 1- JfdiJ.ll =
J(l- f)diJ.ll =II (1- J)J.l\1 and so 1- a~ JvO- f)diJ.ll = IJ.li(V) > 0 since
xEK. Hence 0 <a< 1.
But fJ.lla and (1- J)J.l/(1-a)EballM(X) and
Since J.l is an extreme point of ball M(X) and a =I= 0, J.l = f J.l/a. This can only
happen iff= a< 1 a.e. [J.l]. But f = 1 on U and IJ.li(U) > 0, a contradiction.
Hence K = {x 0 }.
Since the only measures whose support can be the singleton set {x 0 } have
the form a<>xo• a in F', the theorem is proved. •
EXERCISES
1. Suppose that d is a subalgebra of C(X) that separates the points of X and 1ed.
Show that if x 1 , •.• , x. are distinct points in X and a 1 , ••• , a. EIF, there is an f in d
such that f(x) = ai for 1 ~j ~ n.
2. Give the details of the proof of Corollary 8.3.
3. If X is compact, show that for each x in X,b" is an extreme point of P(X) and
ab", Ia I= 1, is an extreme point of ball M(X).
4. Let X be compact and let d be a closed subalgebra of C(X) such that 1 Ed and
d is closed under conjugation. Define an equivalence relation - on X by declaring
x- y if and only if f(x) = f(y) for all f in d. Let X I- be the corresponding
quotient space and let n: X-+ X I- be the natural map. Give X I- the quotient
topology. (a) Show that if fed, then there is a unique function n*(f) in C(X/-)
such that n*(f)on =f. (b) Show that n*: d-+ C(X/-) is an isometry. (c) Show
that n* is surjective. (d) Show that d = {f eC(X): f(x) = f(y) whenever x- y}.
5. (This exercise requires Exercise IV.4.7.) Let X be completely regular and topologize
C(X) as in Example IV.l.5. If dis a closed subalgebra of C(X) such that led,
d separates the points of X, and fed whenever fed, then d = C(X).
6. Let X, Y be compact spaces and show that iff eC(X x Y) and e > 0, then there
are functions g" ... ,g. in C(X) and h1 , ••• ,h. in C(Y) such that lf(x,y)-
I:;= 1 gk(x)hk(y)l < e for all (x,y) in X x Y.
7. Let d be the uniformly closed subalgebra of Cb(R) generated by sin x and cos x.
Show that d = {f eCb(IR): f(t) = f(t + 2n) for all t in IR}.
8. If K is a compact subset of CC, f eC(K), and e > 0, show that there is a polynomial
p(z, £) in z and z such that lf(z)- p(z, £)1 < e for all z in K.
§9. The Schauder Fixed Point Theorem 149
9.1. Brouwer's Fixed Point Theorem. If 1 ~ d < oo, B = the closed unit ball
of JR.d' and f: B ~ B is a continuous map, then there is a point x in B such that
f(x) = x.
9.2. Corollary. If K is a nonempty compact convex subset ofa finite dimensional
normed space f![ and f: K ~ K is a continuous function, then there is a point
x in K such that f(x) = x.
PROOF. Since f![ is isomorphic to either (Cd or JRd, it is homeomorphic to
either 1R Zd or JR.d. So it suffices to assume that f£ = JRd, 1 ~ d < oo. If
K = {xeJRd: I x II~ r}, then the result is immediate from Brouwer's Theorem
(Exercise). If K is any compact convex subset of JRd, let r > 0 such that
=
K s B {xeJRd: II x II~ r}. Let¢: B~ K be the function defined by ¢(x) =the
unique point y in K such that I x- y II = dist(x, K) (1.2.5). Then ¢ is
continuous (Exercise) and ¢(x) = x for each x inK. (In topological parlance,
K is a retract of B.) Hence fo¢: B~K s B is continuous. By Brouwer's
Theorem, there is an x in B such that f(¢(x)) = x. Since fo¢(B) s K, xeK.
Hence ¢(x) = x and f(x) = x. •
9.4. Lemma. If K is a compact subset of the normed space f£, e > 0, and A is
a finite subset of K such that K s U{B(a;e): aeA }, define ¢A: K ~x by
.+. ( )-_L{ma(x)a:aeA}
'+'A X -
L {ma(x): aeA}
'
!50 V. Weak Topologies
for all x in K.
PROOF. Note that for each a in A, ma(x)~O and I:{mo(x): aEA} >0 for all
x in K. So ¢A is well defined on K. The fact that ¢A is continuous follows
from the fact that for each a in A, rna: K--+ [0, B] is continuous. (Verify!)
If xEK, then
,~..
'I'A X
( )_ X_- L {ma(x)[a- x]: aEA} .
L{ma(x):aEA}
If ma(x) > 0, then II x- a II <B. Hence
EXERCISE
1. Let E = { xEI 2 (N): II x II ~ 1} and for x in E define f(x) =((!- II x 11 2 ) 112 , x(l), x(2), ... ).
Show that f(E) s; E, f is continuous, and f has no fixed points.
n k=o
If sand TE:#' and n,m ~ 1, then it is easy to check that s<nly(m) = y<m)s(n).
Let % = { y<nl(K): TE:#', n ~ 1}. Each set in % is compact and convex.
If T1 , ... , TPE:#' and n 1 , ... ,nP~ 1, then the commutativity of:#' implies
that T\"d .. · T~pl(K) c;; n}= 1 Tj"jl(K). This says that % has the finite inter-
section property and hence there is an Xo inn {B: BE%}. It is claimed that
x 0 is the desired common fixed point for the maps in :#'.
If TE:#' and n ~ 1, then x 0 ET<"l(K). Thus there is an x inK such that
1
x0 = y<nl(x) = -[x + T(x) + .. · + T"- 1 (x)].
n
Using this equation for x 0 , it follows that
10.4. Claim. K 1 #- K.
In fact, if K 1 = K, then K = co(D\ W) so that ext K s D\ W (Theorem 7.8).
This implies that D s D\ W, or that W n D = 0, a contradiction to (10.3).
Now (10.3) implies that K 2 sa+ S; so the definition of S implies that
p-diamK 2 ~e/2. Let 0<r~1 and define f,: K 1 xK 2 x[r,1]-+K by
f,(x 1 ,x 2 ,t)=tx 1 +(1-t)x 2 . So f, is continuous and C,=f,(K 1 x K 2 x
[r, 1]) is weakly compact and convex. (Verify!)
10.6. Definition. Let :5[ be a LCS and let Q be a nonempty subset of f!l". If
Y' is a family of maps (not necessarily linear) of Q into Q, then Y' is said to
be a noncontracting family of maps if for two distinct points x and y in Q,
O¢cl { T(x)- T(y): TEY'}.
The next lemma has a straightforward proof whose discovery is left to
the reader.
10.7. Lemma. If f!l" is a LCS, Q s; f!l", and Y' is a family of maps of Q into Q,
then Y' is a noncontracting family if and only iffor every pair of distinct points
x and y in Q there is a continuous seminorm p such that
inf {p(T(x)- T(y)): TEY'} > 0.
10.9. Claim. If { T1 , ... , T.} s; Y', then there is an x 0 in Q such that Tkxo = x 0
for 1 ~ k ~ n.
=Xo.
154 V. Weak Topologies
Thus it may be assumed that Tk(x 0 ) =I= x 0 for all k, but T 0 (x 0 ) = x 0 . Make
this assumption.
By Lemma 10.7, there is ant:> 0 and there is a continuous seminorm p
on f'l such that for every T in !I' and 1 ~ k ~ n,
10.10
.
for all T in F}. By Claim 10.9, QF =I= D for every F in ff. Also, since each
T in !I' is weakly continuous and affine, QF is convex and weakly compact.
It is easy to see that {QF: F Eff} has the finite intersection property. Therefore,
n
there is an Xo in {QF: FE ff}. The point Xo is the desired common fixed
~~~~
EXERCISES
1. Was local convexity used in the proof of Theorem 10.1?
2. Show that if X is locally compact and X= u:= IF"' where each F. is closed in
X, then there is an integer n such that int F. =1= 0. (Hint: Look at the proof of the
Baire Category Theorem.)
11.2. Examples
(a) IN and 1R,. 0 are topological semigroups under addition.
(b) ll, JR., and ([are topological groups under addition.
(c) olD is a topological group under multiplication.
(d) If X is a topological space and G = {! eC(X): f(X) colD}, define
(fg)(x) = f(x)g(x) for f, g in G and x in X. Then G is a group. If G is
given the topology of uniform convergence on X, G is a topological group.
(e) For n ~ 1, let M"(<C) =the n x n matrices with entries in <C; O(n) =
{AeM"(<C): A is invertible and A- 1 =A*}; SO(n)= {AeO(n): detA= 1}.
If M"(<C) is given the usual topology, O(n) and SO(n) are compact
topological groups under multiplication.
There are many more examples and the subject is a self-sustaining area
of research. Some good references are Hewitt and Ross [1963] and Rudin
[1962].
11.3. Definition. If Sis a semigroup and f: S-+ JF, then for every x inS define
fx: S-+ 1F and J: S-+ 1F by fx{s) = f(sx) and J(s) = f(xs) for all s in S. If S
is also a group, let f#(s) = f(s- 1) for all s in S.
Before proving Theorem 11.5, we need the following lemma. For a compact
topological group G, if xEG, define Lx: M(G)-+M(G) and Rx: M(G)-+M(G)
by
<f,LAil)) = Ixfdll,
for fin C(G) and 11 in M(G). It is easy to check that Lx, Rx, and S 0 are linear
isometries of M(G) onto M(G) (Exercise 5).
11.6. Lemma. If G is a compact topological group, 11EM(G), and p: G x G--+
(M(G), wk*) is defined by p(x, y) = LxRy(/1), then p is continuous. Similarly, if
p0 : G x G-+(M(G),wk*) is defined by p0 (x,y)=S 0 LxRy(/1), then p is
continuous.
PROOF. Let f E C( G) and let e > 0. Then (Exercise 10) there is a neighborhood
U of e (the identity of G) such that lf(x)- f(y)l <e whenever xy- 1 EV or
x- 1 yEV. Suppose {(x;,y;)} is a net in G x G such that (x;,y;)-+(x,y). Let i0
be such that fori?::- i 0 ,x;x- 1 EU and Y;- 1 YEV. IfxEG, then lf(x;ZY;)- f(xzy)i ~
.
lf(x;ZY;)- f(xzy;)l + lf(xzy;)- f(xzy)j. But if i?;:. i0 and zEG, (x;zy;)(xzy;) - l =
x;x- 1 E U and (xzy;)- 1 (xzy) = Y;- 1 yE U. Hence I f(x;ZY;- f(xzy)l < 2e for
i?;:. i0 and for all z in G. Thus lim; Jj(x;ZY;)dll(z) = Jj(xzy)d11(z). Since f was
arbitrary, this implies that p(x;,y;)-+p(x,y)wk* in M(G). The proof for p0
~~~
LxRy = RyLx
LxLy = Lyx
11.7 RxRy = Rxy
S~ = Le = Re =the identity on M(G)
S 0 LxRy = Ly- 1 Rx_ ,S 0
§ 11. An Application: Haar Measure on a Compact Group 157
for x, y in G. Hence
=Luy-IRx-lv·
Hence if S 1 =the identity on M(G),
g' = {S;LxRy: i = 0, 1; X, yEG}
is a group of surjective linear isometries of M(G). Let Q =the probability
measures on G; that is, Q = {,uEM(G): .u? 0 and ,u(G) = 1}. So Q is a convex
subset of M(G) that is wk* compact. Furthermore, T(Q) ~ Q for every TinY'.
In fact, Lemma 11.6 implies that {T(,u): TEY'} is weak* closed. Since each
Tin Y' is an isometry, T(,u) i= 0 for every Tin .'/'.
By Claim 11.8, Y' is a noncontracting family of affine maps of Q into
itself. Moreover, if T = S 0 LxRy and {.U;} is a net in Q such that .U;-+ ,u(wk*),
then for every fin C(G), <f,T(,u;))=Jf(xs- 1 y)d,u;(s)-+Jf(xs- 1 y)d.u=
<f. T(.u) ). So each Tin Y' in wk* continuous on Q. By the Ryll-Nardzewski
Fixed Point Theorem, there is a measure m in Q such that T(m) = m for all
TinY'.
By definition, (a) holds. Also, for any x in G and fin C(G), Jf(xs)dm(s) =
<f,LAm)) = Jfdm. By similar equations, (c) holds. Now suppose /EC(G),
f? 0, and f i= 0. Then there is an B > 0 such that U = {xEG: f(x) >a} is
nonempty. Since U is open, G = u { Ux: xEG}, and G is compact, there are
x 1 ,x 2 , ... ,xn in G such that G~U~= 1 Uxk. (Why is Ux open?) Define
gk(x) = f(xx; 1 ) and put g = L:~= 1 gk. Then gEC(G) and fgdm = L:~= Jgkdm =
nJfdm by (c). But for any x in G there is an xk such that xx; 1 EU; hence
g(x)? gk(x) = f(xx; 1 ) >B. Thus
ff dm =~ fg dm ? ajn > 0.
I I[f
fd.u= f(y)d,u(y)]dm(x)
f[ I = f(xy)d,u( y) }m(x)
158 V. Weak Topologies
= f[ f f(xy)dm(x) ]d11(y)
= f[ f f(x)dm(x) }11( y)
f
= fdm.
Hence 11 = m.
For further information on Haar measure see Nachbin [1965].
•
What happens if G is only a semigroup? In this case Lx and Rx may not
be isometries, so {LxRy: x, yEG} may not be noncontractive. However, there
are measures for some semigroups that are invariant (see Exercise 7). For
further reading see Greenleaf [1969].
EXERCISES
I. Let G be a group and a topological space. Show that G is a topological group
if and only if the map of G x G-+ G defined by (x, y)~-+ x- 1 y is continuous.
2. Verify the statements in (11.2).
3. Show that Theorems (11.4) and (11.5) are equivalent.
4. Let G be a locally compact group. If m is a regular Borel measure on G, show
that any two of the following properties imply the third: (a)m(~x) = m(~) for
every Borel set ~ and every x in G; (b) m(x~) = m(~) for every Borel set ~ and
every x in G; (c) m(8) = m(~ - 1 ) for every Borel set~.
5. Show that the maps S0 , Lx, Rx are linear isometries of M(G) onto M(G).
6. Prove (11.7).
7. LetS be an abelian semigroup and show that there is a positive linear functional
L: I"'(S)-+ IF such that (a) L(1) = 1, (b) L(fx) = L(f) for every f in I00 (S).
12.2. Lemma. If!£ is a Banach space, r > 0, and ff, is the collection of all
finite subsets of {xE!£: llxll ~r- 1 }, then
n{Fo: FEff,} {x*EX*: llx* II~ r}.
=
12.6. Corollary. lf!?t is a Banach space and O!J is a linear manifold in!![*, then
O!J is weak-star closed if and only if O!J n ballEt* is weak-star closed.
PROOF. Because Et is separable, r(ball !!£*) is weak -star metrizable for every
r > 0 (Theorem 5.1). So if A is weak-star sequentially closed, An [r(ball Et*)]
is weak-star closed for every r > 0. Hence the Krein-Smulian Theorem
applies. •
§ 12. The Krein-Smulian Theorem 161
This last corollary is one of the most useful forms of the Krein-Smulian
Theorem. To show that a convex subset A of?£* is weak-star closed it is
not necessary to show that every weak-star convergent net from A has its
limit in A; it suffices to prove this for sequences.
12.8. Corollary. If fl£ is a separable Banach space and F: ?£* --+ F' is a linear
functional, then F is weak-star continuous if and only if F is weak-star
sequentially continuous.
PROOF. By Theorem IV.3.1, F is wk* continuous if and only if kerF is wk*
closed. This corollary is, therefore, a direct consequence of the preceding
on~ •
12.9. Theorem. Let fl£ be a Banach space and let A be a weak-star closed
subset of f!C*. If I!IJ = the linear span of A, then I!IJ is norm closed in ?£* if and
only if I!IJ is weak-star closed.
The proof will not be presented here. The interested reader can consult
Dunford and Schwartz [1958], p. 429.
There is a method for finding the weak-star closure of a linear manifold
that is quite useful despite its seemingly bizarre