Linear Topological Spaces
Linear Topological Spaces
Editorial Board
P. R. Halmos
Indiana University
Department of Mathematics
Swain Hali East
Bloomington, Indiana 47401
F. W. Gehring C. C. Moore
University of Michigan University of California at Berkeley
Department of Mathematics Department of Mathematics
Ann Arbor, Michigan 48104 Berkeley, California 94720
structure of the second adjoint and the relation of this space to the first
adjoint is still complex, and many features appear pathological compared
to the classical Banach space theory.
The Appendix is intended as a bridge between the theory of linear topo-
logical spaces and that of ordered linear spaces. The elegant theorems of
Kakutani characterizing Banach lattices which are of functional type, and
those which are of L 1-type, are the principal results.
A final note on the preparation of this text: By fortuitous circumstance
the authors were able to spend the summer of 1953 together, and a complete
manuscript was prepared. We feit that this manuscript had many faults,
not the least being those inferred from the old adage that a camel is a horse
which was designed by a committee. Consequently, in the interest of a
more uniform style, the text was revised by two of us, I. Namioka and
myself. The problern lists were revised and drastically enlarged by Wendy
Robertson, who, by great good fortune, was able to join in our enterprise
two years ago.
J. L. K.
Berkeley, California, 1961
II I.
ACKNOWLEDGMENTS
IX
CONTENTS
4 TOPOLOGICAL SPACES 27
Brief review of topological notions, products, etc.
X
CONTENTS Xl
PAGE
PROBLEMS • 32
A Compact and locally compact spaces; B Separability;
C Complete metric spaces; D Hausdorff metric on a space
of subsets; E Contraction mapping
5 LINEAR TOPOLOGICAL SPACES, LINEAR FUNCTIONALS, QUO-
TIENT AND PRODUCTS 33
Local bases, continuity of linear functions, product and quo-
tient spaces.
PROBLEMS • 41
A Exercises; B Natural, non-vector topologies; C Pro-
jective topology; D Attempt at a strongest vector topology;
E Strongest vector topology I; F Box topology; G Alge-
braic closure of convex sets I; H Linearly closed convex
sets I ; I Locally convex sets
6 NoRMABILITY, METRIZABILITY, AND EMBEDDING; LOCAL
CONVEXITY • 43
Embedding in normed spaces, metrizable spaces, and in
products of pseudo-normed spaces.
PROBLEMS • 51
A Exercises; B Mappings in pseudo-normed spaces I;
C Topologies determined by pseudo-metrics; D Products
and normed spaces; E Positive linear functionals; F Locally
convex, metrizable, non-normable spaces; G Topology of
pointwise convergence; H Bounded sets and functionals;
I Strongest locally convex topology I ; J Inner products;
K Spaces of integrable functions I; L Spaces of measurable
functions I ; M Locally bounded spaces; N Spaces of in-
tegrable functions II
7 CoMPLETENEss • 56
Completeness and total boundedness, characterization of
finite dimensional spaces, completion.
PROBLEMS • 64
A Finite dimensional subspaces; B Completion of a pseudo-
metrizable, pseudo-normable, or locally convex space; C Com-
pleteness for stronger topologies; D Extension of a one-to-one
mapping; E Complementary subspaces; F Totally bounded
sets; G Topologies on a direct sum; H Hilbert spaces;
I Hilbert spaces: Projection; J Hilbert spaces: Orthogonal
complements; K Hilbert space: Summability; L Hilbert
spaces: Orthonormal bases; M Spaces of integrable func-
tions III; N Spaces of measurable functions II; 0 The sum
of closed subspaces
Xll CONTENTS
PAGE
8 FuNCTION SPACES 68
Uniform convergence on the members of a family, com-
pleteness, equicontinuity, compactness and countable com-
pactness.
PROBLEMS • 79
A Converse of 8.1; B Mappings in pseudo-normed spaces li;
C Pointwise Cauchy nets; D Product of ff.91 and ff111
E Functional completion; F Additive set functions; G
Boundedness in B.91; H Compactness of sets of functions;
I Spaces of continuous functions I; J Distribution spaces I
CHAPTER 5 DUALITY
16 PAIRINGS 137
Paired spaces, weak topologies, polars, compactness criteria,
completeness relative to uniform convergence on the mem-
bers of a family, subspaces, quotients, direct sums, and
products.
XlV CONTENTS
PAGe
PROBLEMS • 148
A Duality between totally bounded sets; B Polar of a sum;
C Inductive Iimits II; D Projective limits; E Duality be-
tween inductive and projective Iimits; F Sequential con-
vergence in V (X,p.) II; G Dense subspaces; H Helly's
condition; I Tensor products I
17 THE WEAK TOPOLOGIES 153
W eak and weak* topologies, weak compactness, subspaces,
quotients, products, and direct sums.
PROBLEMS • 161
A Exercises; B Total subsets; C Uniformly convex spaces
I; D Vector-valued analytic functions; E Stone-Weierstrass
theorem; F Completeness of a direct sum; G Inductive
Iimits III; H Integration proof of theorem 17.11 ; I Weakly
compact convex extensions; J W eak* separability; K Helly's
choice principle; L Existence of weakly convergent sequence
18 ToPOLOGIEs FOR E AND E* 165
Admissible topologies, strong topology, equicontinuous,
weak* compact, strong bounded and weak* bounded sets,
barrelled spaces, topologies yielding a given dual, Mackey
spaces, products, sums, etc.
PROBLEMS • 176
A Exercises; B Characterization of barrelled spaces; C
Extension of the Banach-Steinhaus theorem; D Topologies
admissible for the same pairing; E Extension of the Banach-
Alaoglu theorem ; F Counter-example on weak* compact sets;
G Krein-Smulian theorem; H Example and counter-example
on hypercomplete spaces; I Fully complete spaces; J Closed
graph theorem III; K Spaces of bilinear mappings; L Tensor
products II
19 BouNDEDNEss 180
Bound topologies, products and quotients.
PROBLEMS • 188
A Inductive Iimits IV; B Closed graph theorem IV; C
Completeness of the adjoint
20 THE EVALUATION MAP INTO THE SECOND ADJOINT 189
Semi-reflexive, evaluable and reflexive spaces.
PROBLEMS • 195
A Example of a non-evaluable space; B An evaluable prod-
uct; C Converse of 20.7(i); D Counter-example on quo-
tients and subspaces; E Problem; F Montel spaces; G
Strongest locally convex topology; H Spaces of analytic func-
tions I; I Distribution spaces II; J Closed graph theorem
for a reflexive Banach space; K Evaluation of a normed
CONTENTS XV
PAGE
space; L Uniformly convex spaces II; M A nearly reflexive
Banach space
21 DUAL TRANSFORMATIONS • 199
Existence and uniqueness of duals, continuity and openness
relative to admissible topologies, adjoint transformations,
continuity and openness.
PROBLEMS . 206
A Completely continuous mappings; B Riesz theory; C
Complete continuity of the adjoint; D Schauder's theorem;
E Closable mappings; F Stone-Cech compactification
22 PsEUDO-METRIZABLE SPACES 209
Boundedness properties, weak* closed convex sets, structure
of adjoint space.
PROBLEMS • 217
A Condition for completeness: B Embedding theories; C
lnductive Iimits V; D Spaces of analytic functions II; E
Spaces /P ( w) ; F Köthe spaces; G Counter-example on
Frechet spaces; H An adjoint with a bound topology; I
Example on Montel spaces; J Spaces of analytic functions 111
LINEAR SPACES
1 LINEAR SPACES
Each linear space is characterized, to a linear isomorphism, by a
cardinal number called its dimension. A subspace is characterized by
its dimension and its co-dimension. After these results have been
established, certain technical propositions on linear functions are
proved (for example, the induced map theorem, and the theorem
giving the relation between the linear functionals on a complex linear
space and the functionals on its real restriction). The section ends
with a number of definitions, each giving a method of constructing
new linear spaces from old.
non-void set E and two operations called addition and scalar mul-
tiplication. Addition is an operation EB which satisfies the following
axwms:
(i) For every pair of elements x and y in E, x EB y, called the sum
of x and y, is an element of E;
(ii) addition is commutative: x EB y = y EB x;
(iii) addition is associative: x EB (y EB z) = (x EB y) EB z;
(iv) there exists in E a unique element, 8, called the origin or the
(additive) zero element, suchthat for all x in E, .x EB 8 = x;
and
(v) to every x in E there corresponds a unique element, denoted
by -x, suchthat X EB ( -x) = e.
Scalar multiplication is an operation · which satisfies the following
axwms:
(vi) For every pair consisting of a real (complex) number a and
an element x in E, a · x, called the product of a and x, is an
element of E;
(vii) multiplication is distributive with respect to addition in E:
a·(x EB y) = a·x EB a·y;
(viii) multiplication is distributive with respect to the addition of
real (complex) numbers: (a + b)·x = a·x EB b·x;
(ix) multiplication is associative: a·(b·x) = (ab)·x;
(x) 1 · x = x for all x in E.
From the axioms it follows that the set E with the operation
addition is an abelian group and that multiplication by a fixed scalar
is an endomorphism of this group.
In the axioms, + and juxtaposition denote respectively addition
and multiplication of real (complex) numbers. Because of the rela-
tions between the two kinds of addition and the two kinds of multi-
plication, no confusion results from the practice, to be followed
henceforth, of denoting both kinds of addition by + and both kinds
of multiplication by juxtaposition. Also, henceforth 0 denotes,
ambiguously, either zero or the additive zero element 8 of the abelian
group formed by the elements of E and addition. Furthermore, it is
customary to say simply " the linear space E" without reference to
the operations. The elements of a linear space E are called vectors.
The scalar field K of a real (complex) linear space is the field of real
(complex) numbers, and its elements are frequently called scalars.
The real (complex) field is itself a linear space under the convention
that vector addition is ordinary addition, and that scalar multiplication
SEC. 1 LINEAR SPACES 3
is ordinary rnultiplication in the field. If it is said that a linear space
Eis the real (cornplex) field, it will always be understood that Eis a
linear space in this sense.
Two linear spaces E and F are identical if and only if E = F and
also the operations of addition and scalar rnultiplication are the sarne.
In particular, the real linear space obtained frorn a cornplex linear
space by restricting the dornain of scalar rnultiplication to the real
nurnbers is distinct frorn the latter space. It is called the real
restriction of the cornplex linear space. It rnust be ernphasized
that the real restriction of a cornplex linear space has the sarne set of
elernents and the same operation of addition; rnoreover, scalar
rnultiplication in the cornplex space and its real restriction coincide
when both are defined. The only difference-but it is an irnportant
difference-is that the dornain of the scalar rnultiplication of the real
restriction is a proper subset of the dornain of the original scalar
rnultiplication. The real restriction of the cornplex field is the two-
dirnensional Euclidean space. (By definition, real (complex)
Euclidean. n-space is the space of all n-tuples of real (complex,
respectively) nurnbers, with addition and scalar rnultiplication
defined coordinatewise.) It rnay be observed that not every real
linear space is the real restriction of a cornplex linear space (for
exarnple, one-dirnensional real Euclidean space).
A subset A of a linear space Eis (finitely) linearly independent
if and only if a finite linear cornbination .L {a 1x1 : i = 1, · · ·, n}, where
x1 E A for each i and x1 # xj for i # j, is 0 only when each a1 is zero.
This is equivalent to requiring that each rnernber of E which can be
written as a linear cornbination, with non-zero coefficients, of distinct
rnernbers of A have a unique such representation (the difference of
two distinct representations exhibitslinear dependence of A). A sub-
set B of E is a Hamel base for E if and only if each non-zero elernent
of E is representable in a unique way as a finite linear cornbination
of distinct rnernbers of B, with non-zero coefficients. A Harne! base
is necessarily linearly independent, and the next theorern shows that
any linearly independent set can be expanded to give a Harne! base.
1.1 THEOREM Let E be a linear space. Then:
(i) Each linearly independent subset of E is contained in a maximal
linearly independent subset.
(ii) Each maximallinearly independent subset is a Hamel base, and
conversely.
(iii) Any two Hamel bases have the same cardinal number.
4 CH. 1 LINEAR SPACES
PROBLEMS
A CARDINAL NUMBERS
If :F is the family of all finite subsets of an infinite set A, then k(:F) =
k(A). What is the cardinal number of the family of countable subsets
of A?
cardinal 2Ko. Hence any space which is the product of infinitely many
non-trivial factor spaces necessarily has dimension at least 2Ko; thus there
are linear spaces which are not isomorphic to any product of copies of K.
(c) If E is a direct sum L: {Et: t E A} of linear spaces, then the algebraic
dual E' of Eis isomorphic to the product X{Et': t E A}. For any linear
space E, E' is isomorphic to X {Kt: t E A} where Kt is the field K for each
t and A is a Hamel base for E. In particular, if Eis finite dimensional then
E' and E are isomorphic. (Cf. 14.7.)
F NULLSPACESAND RANGES
Let T be a linear mapping of one linear space E into another linear space
F and let N be the null space of T. Then EjN is isomorphic to the
subspace T[E] of F.
H SET FUNCTIONS
Let .sd be a family of sets in a linear space E, and assume that for each
subset A of E there exists a smallest member cf>(A) of .sd containing A.
Let A, Al> · · ·,An, and At for t in B be arbitrary subsets of E. Then
c/>(U {At: t E B}) = c/>(U {cf>(At): t E B}). If .sd is closed under scalar
multiplication, then, cf>(aA) = acf>(A). If .sd is closed under translation,
then cf>(L:{A 1 :i= 1,2, .. ·,n}) :::::> L:{cf>(A 1):i= 1,2, .. ·,n}. If .sd is
closed under addition, then cf>(L: {A 1 : i = 1, 2, · · · , n}) c L: {cf>( A 1): i =
1, 2, · · ·, n}.
The union of all line segments with one end point in a set A and
the other in a set B is sometimes called the join of A and B. The
last proposition in the preceding Iist then implies that the join of two
non-void convex sets is convex, and is the convex extension of the
unwn.
A set A is circled if and only if aA c A whenever !a! ~ 1. A
circled set A has the property that aA = A whenever !a! = 1. In
particular, a circled set A is always symmetric, in the sense that
A = - A. It is easy to see that A is circled and convex if and only
if A contains ax + by whenever x and y are in A and Iai + !bl ~ 1.
In a real linear space, a set is convex and circled if and only if it is
convex and symmetric. The smallest linear subspace containing a
non-void convex circled set Ais simply the set U {nA: n = 1, 2, · · · }.
The smallest circled set containing a set A is called the circled
extension of A and is denoted by (A). Clearly (A) = U {aA:
!a! ~ 1}. The convex extension of a circled set is circled. The
smallest convex circled set containing A is ((A)), and this is precisely
the set of alllinear combinations 2 {a;x;: i = 1, · · ·, n} where X; E A
and 2 {!a;!: i = 1, · · ·, n} ~ 1.
A subset A of a linear space is called radial at a point x if and
only if A contains a line segment through x in each direction. More
precisely stated, A is radial at x if and only if for each vector y different
from x there is z, z -1= x, such that [x:z] c [x:y] n A. The radial
kernel of a set A is the set of all points at which A is radial. It
should be observed that, even in two-dimensional real Euclidean
space, a set•may be radial at a single point (see problern ZH). The
radial kernel of the radial kernel of A is usually quite different from
SEC. 2 CONVEXITY AND ÜRDER 15
the radial kerne! of A. However, if A is convex, then the situation is
simpler.
2.2 THEOREM Let A be a convex subset of a linear space E. If x is
a member of the radial kerne! of A and y E A, then the half-open interval
[x:y) is contained in the radial kerne! of A.
Consequently the radial kerne! of a convex set is convex and is its own
radial kerne/.
PROOF Let v = ax + (1 - a)y, with 0 < a ~ 1. For any fixed z
in E there is a positive number r such that x + bz E A whenever
0 < b < r. Since A is convex, a(x + bz) + (1 - a)y = v + abz E
A for all b such that 0 < b < r. Hence v + cz E A if 0 < c < ar,
and it follows that v is in the radial kerne! of A-I II
It is worth observing that if f is a linear map of E onto a vector
space F, and if a subset A of E is radial at x, then the set f[A] is
radial at f(x). In particular, if f is a linear functional which is not
identically zero and A is radial at x, then f[A] is radial at f(x); and
if A is convex and radial at each of its points, then f [A] is open.
Certain convex sets which are radial at 0 can be described by
means of real valued functions. If U is a set which is radial at 0,
the Minkowski functional for U is defined to be the real valued
function p defined on E by p(x) = inf {a: ~ x EU, a > 0}. A
a
simple computation shows that p(ax) = ap(x) whenever a ~ 0; that
is, p is non-negatively homogeneous. If U is convex, then p is
subadditive; that is, p(x + y) ~ p(x) + p(y). If U is circled, then
p(ax) = lalp(x); that is, p is absolutely homogeneous. A non-
negative functional on E which is absolutely homogeneaus and sub-
additive is called a pseudo-norm.
PROBLEMS
A MIDFOINT CONVEXITY
A subset A of a linear space E is midpoint convex iff -!(x + y) is in A
whenever x and y are in A.
(a) The following conditions are equivalent:
(i) A is midpoint convex;
(ii) A + A = 2A;
(iii) a1 A + a 2 A + · · · + anA = A whenever a 1 , a 2 , · · ·, an is any
finite collection of non-negative dyadic rationals whose sum is 1.
(b) Amidpoint convex set of real numbers is convex if it is either open
or closed.
C MINKOWSKI FUNCTIONALS
(a) Let u be a convex setradial at 0 and assume that u = n{ut: t E A}
where each U1 is convex. If p and Pt are Minkowski functionals for U
and ut, then p(x) = sup {Pt(x): t E A}.
(b) If U and V are radial at 0 and if p and q are the Minkowski functionals
for U and V respectively, then inf {p(v) + q(v- x): v E V} is the Min-
kowski functional for the join of U and V.
(c) Let p be the Minkowski functional for a convex set U radial at 0.
Then {x: p(x) > 1} is the radial kerne! of the complement of U.
I Z - A DICTIONARY ORDERING
Let B be a Harne! base for an infinite dimensional real linear space E
and Iet B be weil ordered without the maximum element. Define an
ordering of E by: x ~ 0 iff x = 0 or, on writing x as a linear combination
of members of B, its last (relative to the ordering of B) non-zero coefficient
is positive. Then E is linearly ordered by ~ , and ~ is a vector ordering.
Moreover, for each x in E there is y in E such that y ~ 0 and x + ay ~ 0
for every positive number a.
J HELLY'S THEOREM
In Rn Iet {A 1 : i =-= 1, · · ·, r}, for r > n + 1, be convex setssuchthat for
n n
{A,: i =F k} is non-void. Then {A: i = 1, · · ·, r} is also non-
each k,
n
void. (Let xk E {A;: i =F k}. It is possible to choose r numbers IX;, not
all zero, such that L, {1X1 : 1 ~ i ~ r} = 0 and L, {1X1x1 : 1 ~ i ~ r} = 0.
Separate the terms having IX; ~ 0 and those for which IX; < 0.)
Let C(f be a family of compact (see 4) convex subsets of Rn such that
every n + 1 sets in C(f have a non-void intersection. Then the intersection
of all the members of C(f is non-void.
PROBLEMS
A SEPARATION OF A LINEAR MANIFOLD FROM A CONE
If F is a linear manifold in a real linear space E and P is a cone in E,
the radial kernel of which is non-void and disjoint from F, then there
exists a linear functional f on E and a non-positive constant a such that
f(x) = a for every x in F,f(x) ~ 0 for each x in P, andf(x) > 0 for each x
in the radial kernel of P.
Archimedean, and hence EfF has dimension 1, so that Fis the null space
of a linear functional that does not vanish identically.
D EXAMPLE
Not every proper cone is contained in a half-space. (See 2I.)
G EXAMPLE ON NON-SEPARATION
In R 3 consider the closed cone defined by the equations x ~ 0, y ~ 0,
z 2 ;;::;; xy, and the line having the equations x = 0 and z = 1. There is no
plane in R 3 which contains the line and has the cone lying on one side of it;
yet the line is disjoint from the cone.
4 TOPOLOGICAL SPACES
This section reviews 1 a number of topological definitions and results,
the most noteworthy being the Tychonoff product theorem.
A topology for a set X is a family !7 of subsets of X, to be called
open sets, suchthat the void (empty) set, the set X itself, the union
of arbitrarily many open sets, and the intersection of finitely many
open sets, are open. If several topologies for X are being con-
sidered, the members of !7 will be called !7-open, or open relative
to !7, and a similar convention will hold for other topological objects
to be defined. The set X with the topology !7 is a topological
space; it is denoted by (X,!/). A subset A of Xis closed if and
only if the complement X "' A of A is open. The intersection of all
closed sets containing a set A is a closed set called the closure of A ;
the closure of A is denoted by Ä or A-. A subset B of A whose
closure contains A is dense in A. The union of all open sets con-
tained in A is an open set called the interior of A and denoted by A 1•
A set U is a neighborhood of a point x if and only if x belongs to the
interior of U. The family IJI/x of neighborhoods of x is the neighbor-
hood system of x, and a subfamily fJIJ of IJI/x suchthat each member
of IJI/x contains a member of fJIJ is a base for the neighborhood
system of x. A topological space is regular if and only if for each
point x, the family of closed neighborhoods of x is a base for the
neighborhood system of x. Thus, X is regular if and only if for each
x in X and each neighborhood U of x there is a closed neighborhood
V of x such that V c U. A topological space X is separable if
and only if there exists a countable subset A of X which is dense in X.
If X and Y are topological spaces, then Y is a topological sub-
space of X if and only if Y c X and the sets which are open in Y
are precisely the intersections of Y with open subsets of X. Equiva-
lently, a subset of Y is closed in Y if and only if it is the intersection
of Y and a elosed subset of X. If Z is a subset of X, then Z may be
given a topology such that it becomes a topological subspace of X.
The relative (induced) topology on Z, or the relativization of the
1 For more complete treatment of the topics in this section, see Kelley [5].
28 CH. 2 LINEAR ToPOLOGICAL SPACES
PROBLEMS
A COMPACT AND LOCALLY COMPACT SPACES
(a) If (X,.r) is compact and (X,Olf) is Hausdorff, and if o/1 is weaker than
.r, then o/1 = .r.
A compact subset of a regular space has a compact closure.
(b) Let X be a locally compact Hausdorff space. If A is a compact
subset of X and U is an open set containing A, then there is a compact set
B with A c B 1 c B c U.
If also X is the union of a sequence of compact sets, then there is a
sequence {Bn: n = 1, 2, · · ·} of compact sets whose union is X such that
Bn c Bn+li for each n.
ß SEPARABILITY
(a) A compact metric space is separable.
(b) If k(A) ~ 2No and if, for each t E A, X 1 is a separable space, then
X {X1: t E A} is separable.
C COMPLETE METRIC SPACES
A sequence {xn: n = 1, 2, · · ·}in a metric space is Cauchy iff d(xm,xn)-+ 0
as m,n-+ oo; a metric space is complete iff every Cauchy sequence is
convergent.
A compact metric space is complete; the converse is not true.
Completeness is not a topological property: there are metrics d1 and d2 on
SEc. 5 LINEAR ToPOLOGICAL SPACES AND PRonucTs 33
I = {x: 0 < x < 1}, both giving the usual topology, such that (l,d1 ) is
complete but (l,d2 ) is not.
E CONTRACTION MAPPING
Let (X,d) be a complete metric space and f a contraction mapping of X
into itself: that is, d(f(x),j(y)) :;;:; rd(x,y) for some constant r < 1 and all
x and y in X. Then there is a unique point z in X with f(z) = z.
It is an irresistible temptation to describe here the elegant classical
application of this result, which proves Picard's theorem on the existence
of solutions of a differential equation. Consider the differential equation
dyfdx = cp(x,y). Suppose that there is a neighborhood U of the point
(a,b) in which cp is continuous, and a constant l such that lcf>(x,y 1 ) -
cp(x,y 2 )1 :;;:; lly 1 - y 2 1 whenever (x,y 1 ) EU and (x,y 2 ) E U. Then there is
one and only one solution y = y(x) of the differential equation with
y(a) = b.
(First, let m = sup {lcf>(x,y)l: (x,y) E U}. Choose h and k so that {(x,y):
lx - al :;;:; h, Iy - bl :;;:; k} lies in U and so that hl < 1 and hm :;;:; k.
Next, let X be the set of continuous functions on the interval [a - h:
a + h], to the interval [b- k: b + k], with the metric d(y,z) = sup
{I y(x) - z(x)l: lx - al :;;:; h}. Now define a mapping f of X into itself
by f(y)(x) = b + gcp(t,y(t))dt. Then f is a contraction mapping, and the
unique fixed point is the required solution.)
PROBLEMS
A EXERCISES
(1) Any hyperplane in a linear topological space is either dense or closed.
(2) If A is a closed set of scalars not containing 0 and B is a closed sub-
set of a linear topological space not containing 0, then U {aB: a E A} is
closed.
(3) If §' is a topology foralinear space E suchthat the mappings (x,y)-
x + y and (a,x)- ax are continuous. in each variable separately, and
continuous at (0,0) in E x E and at (0,0) in K x E respectively, then §' is
a vector topology.
C PROJECTIVE TOPOLOGY
Let X be a linear space and F a dass of linear functions, each member f
of F mapping X into a linear topological space Y1 • Then the projective
topology for X, the weakest making each member of F continuous (see
Section 4) is a vector topology for X. (Cf. 16D.)
F BOX TOPOLOGY
Let {Ea: cx E A} be an infinite family of non-zero Hausdorff linear topo-
logical spaces and Iet F = X{Ea: cx E A}. Then the topology which has
for a local base all sets of the form X{Va: cx E A}, where Va belongs to a
local base in Ea, is not a vector topology on F. With this topology, Fis not
connected; the component of 0 is the direct sum L: {Ea: cx E A}.
There are, of course, many linear topological spaces which are not
locally convex. The theory of such spaces is meager; however, it is
possible to describe in a natural way those spaces which are metrizable.
A consequence of this description will be the fact that an arbitrary
linear topological space can be embedded in a product of pseudo-
metrizable spaces.
Notice that if p is a pseudo-norm for E and d is the associated
pseudo-metric, then disinvariant in thesensethat d(x + z, y + z) =
d(x, y) for all x, y, and z in E. Moreover, d is absolutely homo-
geneous in the sense that d(tx,ty) = itid(x,y) for all x and y in E
and for every scalar t. Conversely, if d is an invariant, absolutely
homogeneaus pseudo-metric, then d is the pseudo-metric associated
with the pseudo-norm p, where p(x) = d(O,x). It follows that if a
pseudo-metric is to be constructed for a linear topological space
which is not locally convex, then one cannot hope to obtain both
invariance and absolute homogeneity.
PROBLEMS
A EXERCISES
(1) A family o/1 of subsets of a linear space E is a local base for a locally
convex vector topology for E if the following conditions are satisfied.
(i) Each U E 0lt is midpoint convex ( U + U c 2 U ), circled and
radial at 0;
(ii) the intersection of any two members of o/t contains a member of o/t;
(iii) for each U E o/t there is some V E o/t with 2 V c U.
(2) If E is a real linear space and .r is a topology for E such that the
family of all convex neighborhoods of 0 is a base for the neighborhood
system of 0, and if x + y and ax are continuous in each variable separately,
then .r is a vector topology.
(3) A linear topological space E is pseudo-metrizable if and only if
there exists a nested local base (that is, a base linearly ordered by in-
clusion).
(4) If E and F arereallinear topological spaces with F Hausdorffand T
is an additive bounded mapping of E into F, then T is linear.
(5) Let E be a separable pseudo-metrizable linear topological space of
dimension greater than one. Then E contains a countable dense set A no
three points of which lie on any straight line. The complement of A is
radial at each of its points, but has void interior. (Let {xn} be dense, and
put Sn = {x: XE E, d(x,xn) < 1/n}. Letyl = xl; choose Y2 in s2 ,..., {xl};
choose y 3 in S3 but not on the line determined by y 1 and y 2 and so on.
Let A = {yn: n = 1, 2, · · ·}.)
(6) The following four conditions on a subset A of a linear topological
space are equivalent:
(i) A is bounded;
(ii) given any neighborhood U of 0 there is some e > 0 such that
aA c U for all a with Iai < e;
(iii) every countable subset of A is bounded;
(iv) if {xn} is any sequence in A, then !im xnfn = 0.
K SPACES OF INTEGRABLE FUNCTIONS I (see 6N, 7M, 14M; also 9I, 16F,
22E)
Let (X, .'/, fL) be a measure space. For each p > 0, LP(X, fL), or more
shortly LP(fL), denotes the space of all real or complex valued measurable
functions f on X such that IJIP is integrable. (For measure theory, we
generally follow the definitions and notations used in the book by Halmos
[4].) Then LP(fL) isalinear space and if p;;;; 1 the mappingf~ 11/l!v =
(f IJIPdfL) 11 P is a pseudo-norm on LP(fL) suchthat 11/llv = 0 if and only if
f(x) = 0 almost everywhere. It is usually called the LP-norm and con-
vergence relative to it is called convergence in mean of order p. In case Y:'
is the set of all subsets of X and fL(A) is the number of elements of A (with
fL(A) = + 00 when A is an infinite set) the space LP(fL) is usually denoted
by fP(X). The function f belongs to fP(X) if and only if f(x) = 0 for all
but a countable number of values of x and 11/IIP = (.2 {lf(x)/P: x EX,
f(x) i= 0}) 11 P < oo. In particular, when X is the set of positive integers,
we write simply fP; it is the space of sequences x = {xn} with !Jxl!v =
(2: {/xn/P: n = 1, 2, })1/P < oo.
The proofthat II· !IP is a pseudo-norm for p > 1 requires the Hölder
0. 0
7 COMPLETENESS
A product space is complete if and only if the factors are complete.
For a subset, compactness is equivalent to completeness tagether with
total boundedness. For a Hausdorff linear topological space, the
space being finite dimensional is equivalent to the space being topolog-
ically isomorphic to Euclidean space, and to the existence of a totally
bounded non-void open set. Finally, each space can be embedded
densely in a complete space, called a completion, and the completion
is essentially unique.
and {yn} in E'\ let d'"({xn}, {Yn}) = lim d(xn,Yn)· With the defini-
tions {xn} + {yn} = {xn + Yn} and a{xn} = {axn}, E 11 is a linear
topological space with invariant pseudo-metric d 11 • For an x in E
let T(x) be the sequence each of whose terms is x. Clearly T pre-
serves distance, and the problern reduces to showing that E 11 is
complete relative to d 11 • Observe that T[E] is densein E 11 , because
T(xn) is near {xn} if n is large. It follows that for each Cauchy
sequence in E 11 there is a Cauchy sequence in T [ E] so that the
distance between the n-th term of the former and the n-th term of
the latter converges to zero. Consequently E 11 will be proved
complete relative to d 11 if it is shown that each Cauchy sequence in
T[E] converges to some member of E 11 • But if {T(xn)} is a Cauchy
sequence, then {xn} is a Cauchy sequence and is therefore a member
of E'\ and T(xn) converges to {xn}· Since d 11 is an invariant pseudo-
metric, E 11 is complete by 7.1.111
PROBLEMS
A FINITE DIMENSIONAL SUBSPACES
If F is a finite dimensional subspace of a linear topological space E, then
F is topologically isomorphic to G x H where G is a Euclidean space and
H is a finite dimensional space with the trivial topology.
E COMPLEMENTARY SUBSPACES
(a) Let E be a Hausdorff linear topological space and Iet F be a closed
subspace with finite co-dimension. Then any subspace complementary
to Fis isomorphic to EfF.
(b) Let E be a Hausdorff locally convex space and Iet F be a finite
dimensional subspace. Then there exists a (closed) complementary
subspace isomorphic to EfF.
(c) Let E be a Hausdorff linear topological space on which there are no
continuous linear functionals not identically zero. Then no finite-
dimensional subspace has a closed complement.
space and Iet H be its completion. Then the inner product on E can be
uniquely extended to H x H so that the extended function is an inner
product for the completion H. Therefore, any inner product space has a
completion which is a Hilbert space.
then Un(x)} converges a.e., to f(x), say. Fatou's Iemma now shows that
Je V' and 11/n- /IIP- 0.)
If J, g E L 2 , then Jg is integrable and {f,g) = Jjgdp. is an inner product
defining the norm. Thus U(X,p.) is a Hilbert space (see the previous
problems) and so every space L 2 (X,p.) is isomorphic to a suitable space
[2(Y).
8 FUNCTION SPACES
This section is concerned with completeness and compactness proper-
ties of various families of functions on a set S to a linear topological
space E, where the family is given the topology ~ of uniform con-
vergence on members of a collection d of subsets of S. In particular,
we consider the family of functions which are bounded or totally
bounded on members of d, and we also study families of linear
functions and families of continuous functions. A criterion for
compactness of the latter (equicontinuity) and a surprising relation-
ship to countable compactness_ are obtained.
Let S be any set, and Iet E be a linear topological space. The set
F(S,E) of all functions on S to E, with addition and scalar multiplica-
tion defined pointwise, is a linear space. For each subset A of S,
and for each n<:;ighborhood U of 0 in E, Iet N(A,U) be the family of
all membersf of F(S,E) with the property thatf[A] c U. Observe
that N(A, U) is circled if U is circled. A subset Gof F(S,E) is open
relative to the topology of uniform convergence on A if and only
if for each f in G there is a neighborhood U of 0 in E such that
f + N(A, U) c G. It is easy to verify that this definition gives a
topology for F(S,E) such that the family of sets of the form f +
N(A, U) is a base for the neighborhood system of f. Howe':er, this
topology need not be a vector topology for F( S,E) because the
neighborhoods of 0 need not be radial at 0. In fact, if U is circled,
then N(A, U) is radial at 0 if and only if for each f there is a scalar s
such that f E sN(A, U), that is, f[A] c sU. It follows that if G is
SEC. 8 FUNCTION SPACES 69
a subspace of F(S,E) such that G with the relativized topology of
uniform convergence on A is a linear topological space, then J[ A] is
a bounded subset of E for each member f of G. Weshall say that a
function f is bounded on a set A if and only if f[A] is a bounded
subset of E.
A net {Jy, y Er} in F(S,E) converges to f uniformly on a set A
if and only if the net converges to f relative to the topology of uniform
convergence on A. Clearly this is the case if and only if /y - f is
eventually in N(A,U), for each neighborhood U of 0 in E.
lf .91 is an arbitrary non-void family of subsets of S, then the topol-
ogy !/;; of uniform convergence on members of .91 is defined
to be the weakest topology which is stronger than that of uniform
convergence on A, for every A in d. Convergence relative to .9d
can be described in a somewhat less esoteric fashion: a net converges
to f relative to ffd if and only if the net converges to f uniformly on
each member of .91. A base for the neighborhood system of 0 relative
to .9d is the family of all finite intersections of sets of the form
N(A,U), where Ais a member of .91 and U is a neighborhood of 0 in
E. Since N(A,U) n N(B,U) = N(A u B,U), the topology of
uniform convergence on members of .91 is identical with the topology
of uniform convergence on members of ifß, where fJß is the family of
all finite unions of members of .91. lf the union of two members of
.91 is always contained in some member of .91 (that is, if .91 is directed
by :::> ), then the intersection of two sets of the form N(A, U) contains
a set of the same form, and consequently the family of such sets is a
base for the neighborhood system of 0.
The pointwise topology, or the topology of pointwise convergence,
is the topology ~ where .91 is the family of all sets {t} for all t in S.
The topology of uniform convergence on S is often called the uniform
topology. It is identical with the topology ~"' where .91 = {S}.
Many of the theorems of this section concern the topology of uniform
convergence on S. Most of these theorems have corollaries which
have to do with the topology .'Td of uniform convergence on each
member of a family .91 of subsets of the domain set S. The proofs of
these corollaries are, for the most part, omitted; they are Straight-
forward extensions of the theorems and of the foregoing remarks.
Throughout, E is a fixed linear topological space, and .91 is a fixed
family of subsets of S.
PROBLEMS
A CONVERSE OF 8.1
Let G be a subspace of the space F ( S,E) of all functions on S to E. If
the uniform topology for G is a vector topology, then each function of G
is bounded.
E FUNCTIONAL COMPLETION
Let E be a linear topological space which is composed of real valued
functions on a set S, addition and scalar multiplication being defined as
they are usually defined in function spaces. Assurne that E has the property
(P) If Ua} is a net in E converging to J,
then fa(t) ~ f(t) for each t in S.
(In other words, the topology of E is stronger than that of pointwise
convergence.) Is it always possible to embed E in a complete linear
topological space which is composed of functions on S and which has the
property (P)?
G BOUNDEDNESS IN B.s;(S,E)
Let S be a set, E be a linear topological space, and .91 be a family of sub-
sets of S. Then a subset Gof B",;(S,E) is ff",; bounded if and only if it is
uniformly bounded on each A in .91; this is the case if and only if {g(s):
g E G, s E A} is bounded for each A in .91.
PROBLEMS
A EXERCISE ON CATEGORY
The set of rational numbers is not the intersection of a countable number
of open subsets of the space of all real numbers.
ß PRESERVATION OF CATEGORY
Let X and Y be topological spaces, and Iet f be a continuous mapping of
X into Y such that the image of each open subset of X is a somewhere
dense subset of Y. Let A be a subset of X and B a subset of Y.
(a) If Bis nowhere densein Y,f- 1 [B] is nowhere densein X.
(b) If B is of the first category in Y, then f- 1 [ B] is of the first category
in X.
(c) If A is of the second category in X, f [A] is of the second category
m Y.
cfon is absolutely continuous with respect to v. For then applying (a) with
this rneasure v, it follows that cfo is countably additive, v being finite. Now if
!Ln is the total variation of cfon (Halrnos [4] p. 122; also 141), then Cn =
sup{,un(A):AE9'} < 00 andv = 2;{2-"(1 + cn)- 1 p.n:n = 1,2,···} will
suffice.
For (c), apply (a) again with the rneasure v to deduce that cfon(B) is srnall
uniforrnly in n if P.n(B) is srnall enough for a finite nurnber of n's, say
1 ~ n ~ m; use the convergence along 9'0 of cfon for 1 ~ n ~ m to find
A E 9' 0 so that B n A = cfo and BE 9'0 irnply that P.n(B) is srnall for 1 ~
n ~ m.)
PROBLEMS
A CONTINUITY OF ADDITIVE MAPPINGS
(a) Let T be an additive function on one linear topological space E to
another, F. Suppose that there is a set A of the second category in E and
satisfying the condition of Baire such that T considered as a function only
on A is continuous. Then T is continuous as a function on E. (By a
translation argument and the condensation theorem, A can be assumed
to be of the second category at 0.)
(b) Any pseudo-norm defined on a linear topological space that is
bounded on some non-void open set, or on some set of the second category
that satisfies the condition of Baire, is continuous.
(c) Let T be an additive function on a linear topological space E to a
pseudo-normed space F with pseudo-norm p. Then T is continuous if
either of the following two conditions holds:
(i) there is a real function 4> defined on some set A of the second category
in E such that tf>(x) ~ p(T(x)) for each x in A, and the set An =
{x: x E A, tf>(x) ;;;; n} satisfies the condition of Baire in E for each
positive integer n;
(ii) E is pseudo-metrizable and of the second category, and
lim sup p(T(xn)) ~ p(T(x))
whenever lim Xn = x in E.
PROBLEMS
A COMPARISON OF TOPOLOGIES
Let f/ 1 and f7 2 be topologies for a linear space E such that (E,f/ 1 ) and
(E,f/ 2 ) are complete metrizable linear topological spaces. Then the
following are equivalent:
(i) f/1 =!= f7 2·
(ii) The vector topology, whose subbase is f/ 1 U f/ 2 is not complete.
(iii) The topology f/ 1 n f/ 2 is not Hausdorff.
(iv) There is a non-zero vector x such that x E U + V for each f/ 1-
neighborhood U of 0 and for each f7 2 -neighborhood V of 0.
(v) There is a sequence {xn} in E suchthat Xn ~ 0 relative to f/ 1 and
Xn ~ y =!= 0 relative to f7 2 •
(Prove in the order (i) => (ii) => (iii) => (iv) => (v) => (i).)
B suBsPAcE oF LP nu
Let E be a closed linear subspace of each of D'(f') and Lq(!-')(0 < p,
q ~ oo ). Then the two topologies induced on E coincide. (Show that
(v) of the previous problern cannot hold by extracting a subsequence
convergent almost everywhere.)
C SYMMETRIC OPERATORS
A linear operator T (defined everywhere) on a Hilbert space His sym-
metric if and only if (Tx,y) = (x,Ty) for all x and y in H.
A symmetric linear operator is continuous.
Part (e) of 7I can now be stated as follows. An idempotent symmetric
linear operator (defined everywhere) on a Hilbert space His the projection
of H on some closed linear subspace.
PROBLEMS
A BOUNDEDNESS OF NORMS OF TRANSFORMATIONS
Let {Ta: a E A} be a family of continuous linear mappings of a pseudo-
normable space E of the second category into a pseudo-normed space
(F,p). If sup{p(Ta(x)): aEA} < oo for each x in E, then sup{IITall:
a E A} < 00.
E CLOSED GRAPH THEOREM I (see 13G, 18J, 19B; also 11I, 201)
In the Statement of the closed graph theorem 11.1, the condition (ii) is
also automatically satisfied when the spaces are locally convex and E is
barrelled. Thus any linear mapping, with a closed graph, of a barrelled
space into a complete locally convex pseudo-metrizable space is con-
tinuous. It is natural to try to generalize these conditions on the two
spaces E and F. In the case of F, this may be clone (see 13G, 181). On
the other hand, the condition that E be barrelled is, in a certain sense,
necessary: suppose that E is a locally convex space with the property that
every linear mapping, with a closed graph, of E into any Banach space is
continuous. Then Eis barrelled. (Let B be a barre! and N = n {(1/n)B:
n = 1, 2, · · · }. Let F be the completion of EfN, normed by taking Q[B]
as its unit sphere, Q being the quotient mapping. It is sufficient to prove
that the graph of Q is closed; one way of doing this is to use the condition
in llH, and the fact that Q[B] is a closed subset of EfN.)
The conditions on the two spaces E and F cannot be reversed: even if E
is a Banach space and F a complete barrelled space, the theorem fails.
This situation may be realized by anticipating a result of 14D, stating that
any space is complete for its strongest locally convex topology (see the
previous problem).
F CONTINUOUS FUNCTIONS NON-DIFFERENTIABLE ON SETS OF POSITIVE
MEASURE
Let E be the space of continuous real-valued functions on [0,1], with the
norm given by llxll = sup {jx(t)i: 0 ~ t ~ 1}, and let F be the space of
Lebesgue measurable functions on [0, 1] with the topology of convergence
in measure (6L). Suppose the functions x extended beyond t = 1, for
example by periodicity, and for each n = 1, 2, · · · Iet Tn be the linear
mapping of E into F defined by Tn(x)(t) = n(x(t + 1/n) - x(t)).
(a) Each Tn is continuous.
(b) There are functions of E which are non-differentiahte on sets of
positive Lebesgue measure. (If each x were differentiable almost every-
where, then lim Tn(x) would exist for each x: use 12C.)
G BILINEAR MAPPINGS
Let E, F, and G be three linear topological spaces. A mapping f of
E x F into Gis called bilinear iff, for each y E F, the mapping x ~ f(x,y)
isalinear mapping of E into G and, for each x E E, the mapping y ~ f(x,y)
is a linear mapping of F into G. When G is the scalar field, f is called a
bilinear functional.
(a) A bilinear mapping f is continuous if and only if it is continuous at
the origin of E x F. The continuous bilinear mappings of E x F into
G form a linear space B. If E, F, and G are pseudo-normed spaces, with
pseudo-norms p, q, and r, f is continuous iff there is a constant k with
r(f(x,y)) ~ kp(x)q(y). The smallest such constant is sup {r(f(x,y)):
p(x) ~ 1, q(y) ~ 1}; denoting it by s(f), s is a pseudo-norm for B. If r is
a norm, so is s.
(b) If E and F are barrelled metrizable spaces and G is locally convex,
every pointwise bounded family of continuous bilinear mappings of E x F
SEC. 12 PROBLEMS 107
into Gis equicontinuous. (Let {fa: cx E A} be the family. Foreach closed
convex circled neighborhood W of 0 in G, and each x E E, {y:fa(x,y) E
W for all cx} is a barrel in F. Hence if Yn----'>- 0, {fa(x,yn): cx E A, n =
1, 2, · · ·} is bounded in G. Thus {x:fa(x,yn) E W for all cx and all n} is a
barrel in E, so that, if Xn----'>- 0, {fa(xmYn): cx E A, n = 1, 2, · · ·} is bounded
in G.)
(c) If E, F, and G are locally convex, E and F are metrizable and E is
barrelled, every separately continuous bilinear mapping f of E x F into G
is continuous (f is called separately continuous iff all of the linear mappings
y----'>- f(x,y) and x----'>- f(x,y) are continuous). (The proof is similar to that
of (b).)
(d) Let E, F, and G be locally convex spaces and f a separately con-
tinuous bilinear mapping of E x F into G. Also Iet A be a bounded sub-
set of E and B a complete, sequentially closed, convex, circled bounded
subset of F. Then /[ A x B] is bounded in G. (If W is a closed convex
circled neighborhood of 0 in G, {y: f(x,y) E W for all x E A} is a barrel in F.
Now use 10.3.)
Chapter 4
CONVEXITY IN LINEAR TOPOLOGICAL
SPACES
PROBLEMS
A MIDPOINT CONVEXITY
Let E be a linear topological space. A subset A of Eis called midpoint
convex iff 1 (x + y) E A wherever x E A and y E A.
(a) If A is a subset of E such that A + A c 2A-, then A- is convex;
if Ai + A' c 2A, then Ai is convex. (First show that A- and A' are mid-
point convex. For x andy in A- and 0 ;;:; t ;;:; 1, Iet cp(t) = tx + (1 - t)y,
and use 2A.)
(b) The closure A- and interior A' of a midpoint convex set A are con-
vex. If A is also circled, then A- and Ai are circled.
F HYPERCOMPLETE SPACES
The set of non-void subsets of a linear topological space E can be made
into a uniform space in the following way. Let o/1 be a local base and for
each U E o/1 put
Vu = {(A,B): Ac B + U) and B c A + U}.
Then {V u: U E 0//} is the base of a uniformity, called the H ausdorff uni-
formity, because it is the uniformity of the Hausdorff metric (see 4D) when
E is a metrizable space.
With this uniformity, the space of subsets of E does not satisfy Haus-
dorff's separation axiom, because the uniformity fails to distinguish a set
from its closure. To avoid this superßuity, we res"trict attention to the set
C of non-void closed subsets of E, with the-Hausdorff uniformity.
A net {Ar: y E T} in Cis convergent to A E C if for each U E o/1 there is
some y(U) with Ar c A + U and A c Ay + U for all y ~ y(U); it is
Cauchy if for each U E Oll there is some y( U) with Aa c Aß + U for all
a,ß ~ y(U).
When Eis complete and metrizable, then (by 4D) ~' is complete. How-
ever, without the hypothesis of metrizability, 11' may fail to be complete,
even when E .is a locally convex Hausdorff space; numerous examples will
soon transpire.
A locally convex Hausdorff space E is called hypercomplete if the set Cf}
of convex circled non-void closed subsets of E is complete under the
Hausdorff uniformity. A hypercomplete space is complete. Since Cf} is
always a closed subset of C, a complete metrizable locally convex space is
hypercomplete.
To ensure that Cf} is complete, it is sufficient that every decreasing
Cauchy net should converge. (For if {Ar: y E T} is any Cauchy net, Iet
Cr be the closed convex extension of U {Aa: a ~ y}. Then {Cy: y E T}
is a decreasing Cauchy net; it therefore converges, to c = n{Cy: y E T}.
Now for each convex circled neighborhood U of 0, there is some y( U) with
Cy c C + U, C c Cy + U and Aa c Ap + U for all a, ß, y ~ y(U).
Hence Ar c Cy c C + U; also U {Aa: a ~ y} c Ar+ U and so Cy c
(Ar+ U)- c Ar+ 2U Thus C c Ar+ 3U and so {Ar: y E T} con-
verges to C. The device used here for dealing with the closure is often
useful: if Ais any set and o/1 a local base, then A- =n {A + U: U E o/1}.)
The image by an open continuous linear mapping of a hypercomplete
space is hypercomplete (cf. 11.3), and therefore so is the quotient by a
closed subspace. Hypercompleteness is also inherited by closed sub-
spaces. An example of a non-metrizahle hypercomplete space is given
in 18H.
PROOF Recall that a local base for the product topology is the family
of sets U of the following form: U is the set of all x in the product
such that, for each t in a fixed finite set B of indices, x 1 belongs to a
given neighborhood U 1 of zero in E 1 If f is a continuous linear
0
{t: y(t) :/= 0}; theny belongs to the 9-closure of u n CL {Et: t E B}).
(This is a consequence of the fact that, if z E U, then a point obtained
from z by replacing one or more coordinates of z by 0 is still in U.)
The set B is finite, and the direct sum topology relativized to L {Et:
t E B} is identical to the relativized 9; hence y E U-. Since the
direct sum topology is stronger than 9, U - is 9-closed.lll
Finally, the following description of the bounded and the totally
bounded subsets of a product and of a direct sum is given for ref-
erence; its proof is left to the reader.
14.8 BouNDED AND ToTALLY BouNDED SuBSETS OF PRonucTs AND
SUMS
(i) The family of all products of totally bounded (or bounded) subsets
of the factors is a co-base for the family of totally bounded (or
bounded) subsets of the product of linear topological spaces.
Equivalently, a subset of a product is totally bounded (or
bounded) if and only if its projection into each coordinate space is
totally bounded (or bounded).
(ii) The family of all convex extensions of finite unions of images
under injection of totally bounded (or bounded) subsets of the
factors is a co-base for the family of totally bounded (or bounded)
subsets of the direct sum of locally convex Hausdorff spaces.
PROBLEMS
A EXERCISES
(1) There is a non-trivial continuous linear functional on a linear topo-
logical space E if and only if E properly contains a convex body.
(2) If for each x in a linear topological space Ethereis a convex neighbor-
hood of zero not containing x, then there are enough continuous linear
functionals on E to distinguish points.
(3) A linear manifold in a linear topological space is contained in a
closed hyperplane if and only if its complement contains a convex body.
(4) If A is a closed convex subset of a locally convex space E and Bis a
subset of E, then B c A if and only if f[B] c f[A] for every continuous
linear functional f on E.
(5) A closed linear manifold in a locally convex space is the intersection
of all the closed hyperplanes containing it.
F li (see SG)
n
ALGEBRAIC CLOSURE OF CONVEX SETS
If A is a convex circled subset of a linear space E, then {r A: r > 1} is
the closure of A in the strongest locally convex topology on E. (In the
linear subspace generated by A, with its strongest locally convex topology,
Ais a neighborhood of zero; use SG.)
I COMPLEX MEASURES
The adjoints of spaces of continuous functions can be identified with
spaces of measures. When the functions are complex valued, so are the
measures. Some of the properties of complex valued measures which are
not immediate extensions of those of real valued measures are collected in
this problem; they are sometimes omitted from texts on measure theory.
If /L 1 and /L 2 are two signed measures defined on the same a-ring !/' of sub-
sets of a set X, the set function /L = /L 1 + il-' 2 will be called a complex
measure on X.
(a) For each A in !/', Iet I~LI(A) denote the supremum, over all finite
families {Br: 1 ~ r ~ n} of disjoint subsets of A, of the sums 2: {I/L(Br)l:
1 ~ r ~ n}. Then I~LI is a measure on X, called the total variation of /L·
For a signed measure ~-'• I~LI = /L + + /L-, where /L + and /L- are the upper
and lower variations of ~-'• at least one of which is finite, and /L = /L + - /L-.
The set of all finite complex measures on X, defined on the a-ring !/' of
subsets of Xis a Banachspace with the norm II~LII = sup {I~LI(A): A E !/'}.
(b) A complex valued function I = 11 + if2 on X is integrable with
respect to the complex measure /L = /L 1 t il-' 2 iff both 11 and 12 are in-
tegrable with respect to the upper and lower variations of both /L 1 and /L 2 ;
when it is, f ld/L is defined to be the obvious linear combination of eight
terms. If I is measurable with respect to !/',I is integrable with respect
to /L iff II I is integrable with respect to I~LI, and then I ffd /L I ~ f I I Id I~LI·
(c) If Xis a topological space, the set belonging to the a-ring generated
by the compact subsets of X are called Bore/sets. A (positive, signed or
complex) measure /L on X defined on the Bore! sets is called a Bore/ measure
iff I~LI(A) is finite for every compact subset A of X. The Bore! measure
/L = /L 1 + i/L 2 is said to be regular iff, for each Bore! set A,
I~LI(A) = sup {I/LI (B): B c A and B compact}
= inf {I~LI (C): C :::> A and C open Bore/},
or equivalently, iff the upper and lower variations of /L1 and /L 2 are all
regular. For a finite regular Bore! measure, the total variation, II~LII as
defined in (a) is the supremum, over all finite families {Br: 1 ~ r ~ n} of
disjoint compact subsets of X, of the sums 2: {I!L(Br)l: 1 ~ r ~ n}. Every
continuous function vanishing at infinity on X is Bore! measurable.
15 EXTREME POINTS
The principal result of this section is the powerful theorem of Krein
and Milman: each convex compact subset of a locally convex linear
topological Hausdorff space has extreme points, and is in fact the
closed convex extension of the set of its extreme points.
A point x of a convex set A is an extreme point of A if and only if
x is not an interior point of any line segment whose endpoints belang
to A. Thus, in the Euclidean plane, the "corner" points of the set
{(x,y): max {lxl, IYl} ;;;; 1} are extreme points, and every point of the
circumference of {(x,y): x 2 + y 2 ;;;; 1} is an extreme point of this set.
An open convex set clearly has no extreme points; however, the
existence of extreme points of a bounded closed convex set is a likely
sounding conjecture. Unfortunately it is false even for Banach
spaces (see problern A of this section). However, if a convex set is
compact, and the containing linear topological space is locally convex
and Hausdorff, then extreme points da exist. This existence theorem,
which has far reaching consequences, is the principal result of this
section.
A set A is a support of a convex set B in a linear space if and only
if A satisfies the following conditions:
(i) A is a non-void convex subset of B;
(ii) if an interior point of a segment in B belongs to A, then the
segment is a subset of A; in other words, if x E B, y E B, and
tx + (1 - t)y E A for some t such that 0 < t < 1, then
x E A and y E A.
The supports enjoy the following properties. If A is a support of
a convex setBandBis a support of a convex set C, then A is a support
of C. If, for each t in a set S, B 1 is a support of a convex set C, then
SEc. 15 ExTREME PoiNTS 131
the intersection n {Bt: t ES} is either void or a support of c also.
Finally, suppose f is a linear transformation of a linear space E into F.
If Bis a support ofj[C], where Cis a convex set in E, thenf- 1 [B] n C
is a support of C. A point x is an extreme point of a convex set A in
a linear space E if and only if {x} is a support of A.
The following theorem is the fundamental result of the section.
PROBLEMS
A A BOUNDED SET WITH NO EXTREME POINT
The unit sphere in the space c0 (see 14K) has no extreme point.
(!im sup Aa), that is, !im sup Aa contains all the extreme points of
!im sup Ca.
(Let Ba= (U {Ap: ß;?; a})- and use (b).)
16 PAIRINGS
This section is concerned with a bilinear pairing of spaces E and F.
The relationship between the spaces is studied by means of the topol-
ogy w(E,F) that F induces on E, and by means of polars. A number
of properties of a subset Qf E, most notably w(E,F)-compactness, can
be described in terms of polars. The completeness of E relative to
the topology of uniform conyergence on members of a family of sub-
sets of Fis characterized. There arealso a number of" tool" theorems
concerning subspaces, quotients, etc.
The study of a linear topological space and its adjoint is facilitated
by a further abstraction of certain essentials. If E is a vector space
and F is a linear space of linear functionals on E, then the relation in
which E stands to F is not dissimilar to that in which F stands to E.
In particular, each point x of E corresponds to a linear functional 4>
on F by means of the definition: 4>(!) = f(x) for all f in F. It is
convenient to choose a setting in which the roles of the two spaces are
entirely symmetric since theorems are obtained thereby which have
consequences both for the space E and for the space F of functionals
on E. It turns out that the abstraction which is made also yields a
highly efficient mechanism for many linear space computations.
Let E and F be two linear spaces over the same scalar field. A
bilinear functional on the product E x F is a functional B such
that
B(ax + by,f) = aB(x,f) + bB(y,f)
and
B(x,af + bg) = aB(x,f) + bB(x,g)
for all x and y in E, allfand g in F, and all scalars a and b. A pairing
isanordered pair <E,F) of linear spaces together with a fixed bilinear
functional on their product. The fixed bilinear functional in a
pairing is usually written in the common inner product notation; that
is, B(x,y) is written <x,y). Mention of the functional is sometimes
omitted, and it is said that E and F are paired spaces. In contexts
where an ordered pair of spaces has already been specified, the word
" pairing ", or the words "pairing of the spaces", may be used to
signify the bilinear functional alone.
Each pairing of two linear spaces E and F defines a mapping from
either of the two spaces into the space of all scalar functions on the
other. The canonical map T on F carries a member f of F into
the function T(f) on E such that T(f)(x) = <x,f) for all x in E.
The space P of all scalar functions on E is simply the product X {K:
x E E}, where K is the scalar field, obviously, P is a linear space.
138 CH. 5 DuALITY
I
and the dual of (iv). As to (vi), it is obvious that (x,f) ~ 1 for each I
x in the union of the members of a family of sets if and only if it holds
for each x in each member. From (iv) and the dual of (vi) it follows
that
(n {At: t E C}) 0 = (n {At o: t E C})
0 0 = (U {At
t E C})0 °,
0 :
PROBLEMS
A DUALITY BETWEEN TOTALLY BOUNDED SETS
Suppose that E and F are paired linear spaces, that A is a w(E,F)-
bounded subset of E and that B is a w(F,E )-bounded subset of F. Then
A is totally bounded in the topology on E of uniform convergence on B if
and only if B is totally bounded in the topology on F of uniform con-
vergence on A. (Use 8.17 and 16.1(vi).)
If d and f!J are families of w(E,F)- and w(F,E)-bounded subsets of E
and F, then each A E d is totally bounded in the topology of uniform con-
vergence on members of f!J if and only if each B E f!J is totally bounded in
the topology of uniform convergence on members of d.
ß POLAR OF A SUM
Let (E,F) be a pairing and Iet A and B be non-void subsets of E. If A
and B are convex and circled, then 1(A0 n B 0 ) c (A + B) 0 c A 0 n B 0 ,
To obtain a precise expression for (A + B) 0 , valid more generally, define
the following operation 6. : if X and Y are subsets of F, Iet X 6 Y =
U {r X n s Y: r ~ 0, s ~ 0, r + s ~ 1}. Then X n Y c 2(X 6. Y) and if
X and Y are circled, X 6. Y c X n Y. Now if A and B are circled, and e
is a number suchthat O<e<l, then e(A + B) 0 c A 0 6.B 0 c (A+Bt.
C INDUCTIVE LIMITS li (see 11, 17G, 19A, 22C)
Let E be a linear space and {E1,f1 : t E A} be a family of locally convex
spaces E1 and linear mappings ft of E1 into E. The strongest locally
convex topology for E which makes each / 1 continuous is called the in-
ductive topology for E determined by {E 1,f1 : t E A}.
(a) Let E 0 be the linear span of U {f1[E1]: t E A}. If M is a complement
of E 0 in E, then the inductive topology is the direct sum of its relativization
to E 0 and the strongest locally convex topology for M.
This means, roughly speaking, that any parts of E outside E0 have a
topology independent of the determining family {E1,f1 : t E A}: this con-
tributes very little to the utility of the notion of inductive topology. It is
therefore reasonable to assume, whenever this is convenient, that the linear
span of U {/1[ E1]: t E A} is the whole given linear space E.
(b) Let {E1 : t E A} be an inductive system (see Section 1) and Iet E =
lim ind {E1 : t E A}. The space Eis (algebraically) isomorphic to a quotient
of the direct sum 2: {E1: t E A}. If each E 1 is locally convex, there is a
natural topology for E, namely, the quotient of the direct sum topology.
If Q denotes the quotient mapping and / 1 the injection of E 1 into the direct
sum, then this topology for E is the strongest locally convex topology
which makes each Q o / 1 continuous. Thus the natural topology of an
inductive Iimit is an inductive topology.
SEC. 16 PROBLEMS 149
Suppose also that, for t ~ s, the canonical mappings Q18 of E. into E1 are
all continuous. The natural topology of E is then the same as the natural
topology defined by any cofinal subset B of A (cf. 11).
In these circumstances, this topology will be called the inductive Iimit
topology for lim ind {E1 : t E A}.
Suppose now that the space E has the inductive topology determined by
{Et>ft: t E A}, and Iet E0 be the linear span of U {ft[E1]: t E A}.
(c) A local base is formed by the family of all convex circled subsets U
of E radial at 0 for which ft -l[ U] is a neighborhood of zero in E1 for each
t E A. Let o//1 be a local base in E1 for each t E A and assume that E 0 = E.
Then the family of all convex circled extensions of sets U {f1[U1]: t E A},
as U1 runs through o//1 for each t E A, is also a local base.
(d) A linear mapping T of E into a locally convex space is continuous if
and only if each T o f 1 is continuous.
(e) The quotient topology of any locally convex space by a subspace is a
special case of an inductive topology; so also is a direct sum topology.
(f) When E 0 = E, the inductive topology determined by {Et>ft: t E A}
is a quotient of the direct sum topology for L: {E1: t E A}. (The kernel of
the quotient mapping is the null space of the mapping .L {x(t): t E A}--+
L: {ft(x(t)): t E A}.)
(g) An inductive topology may fail to be Hausdorff, even if each E 1 is a
Hausdorff space; it may fail to be complete, even if each E1 is complete.
(For the last part, see the counter-example in 20D.)
(h) Let F be a locally convex space such that, for each t, any linear
mapping T of E1 into F is continuous provided that its graph is closed.
Then any linear mapping of E into F has the same property. (Use (e),
and exhibit the graph T o f 1 as an inverse image of the graph of T.)
(i) Let K(X) be the set of continuous real or complex valued functions
of compact support on a topological space X. Foreach compact subset B
of X, Ka(X) is the subspace of K(X) of functions whose supports lie in B,
with the topology of uniform convergence on B; the topology of K(X) is
defined by the local base consisting of all convex circled sets U radial at 0
such that, for each compact subset B of X, U n K 8 (X) is a neighborhood
of 0 in KR( X) (see 8I). This is the inductive topology determined by the
spaces K 8 (X) and their injections into K(X). For, ordering the compact
subsets of X by inclusion, the spaces K 8 (X) form an inductive system, and
if B c C, the injection of K 8 (X) into Kc(X) is continuous (in fact a
homeomorphism). Then K(X) = lim ind {K8 (X): B compact, B c X}
and the inductive topology for K(X), being the strongest locally convex
topology making the injection of each K 8 (X) into K(X) continuous, has
the local base described. In view of (b ), it is sufficient to determine the
topology of K(X) by means of any co-base for the compact subsets of X;
that is, any family of compact subsets {Ba} of X with the property that each
compact subset of Xis contained in some {Ba}·
U) Let !7) be the set of infinitely differentiable real or complex valued
functions on Rn of compact support. For each compact subset K of Rn,
!l)K is the subspace of !7) offunctions with supports in K, with the metrizable
topology defined by the sequence {qm} of pseudonorms, where qm(f) =
sup {IDPj(x)l: x E K, 0 ~ IPI ~ m} (see 8J). A local base for the topology
150 CH. 5 DUALITY
of P} is formed by all convex circled sets U radial at 0 such that, for each
compact subset K of Rn, U n P}K is a neighborhood of 0 in P}K· This is
the inductive topology determined by the spaces P}K and their injections
into !1), For each positive integer r, let K (r) = {x: lxd ;;:; r, 1 ;;:; i ;;:; n};
then {K (r): r = 1, 2, · · ·} is a co-base for the compact subsets of Rn, and,
again by (b ), the family {!1)K<r>: r = 1, 2, · · ·} is sufficient to determine the
inductive topology for !1).
0 PROJECTIVE LIMITS
Let F be a linear space and {Ft>g1 : t E A} a family of locally convex
spaces F1 and linear mappings g1 of F into F1• The weakest topology for F
which makes each g1 continuous is called the projective topology for F
determined by {Ft>g1: t E A}.
(a) Let N = n {g1 - 1(0): t E A}. Then the projective topology for F is
the product of its quotient for FfN and the trivial topology for N.
Thus the assumption that N = {0} involves no loss; clearly it is essential
if F with the projective topology is to be a Hausdorff space.
(b) A projective limit (see Section 1) has a natural topology, the relativi-
zation of the product; this is a projective topology.
(c) If Fhasthe projectivetopology determined by{Ft>g1: t E A} and if N =
{0}, thenFmay be exhibitedas lim proj {g1[F]: t E A}withits natural topology.
Suppose now that F has the projective topology determined by {Ft>g 1 :
t E A}, and let N = n {gt -l(O): t E A}.
(d) The projective topology is locally convex; a local subbase is formed
by the family of all sets g1 -l[U1], as U1 runs through a local base in F 1•
(e) A linear mapping T of any linear topological space into F is con-
tinuous if and only if each g1 a T is continuous.
(f) Relativization and product are special cases of projective topologies.
(g) If N = {0}, the projecti~ topology is a relativization of the product
topolQgy for X {F1 : t E A}.
(h) Any locally convex topology is the projective topology determined
by a family of normed spaces or Banach spaces. (For each convex circled
neighborhood U of 0 in F, let Fu = Ffn {eU: e > 0}. Compare (g) and
(h) with 6.4.)
(i) lf N = {0} and each F1 is a Hausdorff space, then so is F; even if
each F1 is complete, F may fail to be complete.
(j) A subset B of F is [totally] bounded if and only if each g1[B] 1s
[totally] bounded.
(k) The space t! is the projective limit of the spaces c<m> (see 81).
G DENSE SUBSPACES
Let E and F be paired linear spaces, and Iet .91 be a family of w(F,E)-
bounded, w(F,E )-closed, convex and circled subsets of F, directed by ::>,
whose union spans F. If G is a subspace of E and ~~ the topology of
uniform convergence on the members of .91, the following are equivalent:
(i) Gis ~;-dense in E;
(ii) w(F,G) and w(F,E) agree on members of .91;
(iii) w(F,E)-closed convex subsets of members of .91 are w(F,G)-closed;
(iv) whenever B is a w(F,E)-closed convex subset of some member of
.91 and x rf: B, there is an element of G which strongly separates B
and x.
(The implications (i) => (ii) => (iii) and the equivalence of (iii) and (iv)
are Straightforward; to show that (iii) implies (i) use Grothendieck's
completeness theorem 16.9.)
H HELLY'S CONDITION
(a) Let E be a linear space and B a convex circled subset of E. Sup-
pose that {fi: 1 ;:;; i ;:;; n} is a finite set of linear functionals on E and
{ci: I ;:;; i ;:;; n} a set of scalars. Then for each e > 0 there is a point
x. E (1 + e)B with fi(x.) = ci if and only if
(*)I L {aici: 1 ;:;; i;:;; n}l ;:;; sup {I.L {aij;(x): 1 ;:;; i;:;; n}l: x EB}
for all choices of the scalars {ai: 1 ;:;; i;:;; n}. (Map each z in E into the
point (/1 (x), · · · .fn(x)) of Kn, and use a Hahn-Banachtheorem in Kn.)
(b) It can be deduced from (a) that if <E,F) is a pairing and A a non-
void subset of E, the w(E,F)-closed convex circled extension of A is A 0 0
(16.3(iv)). (Let B be the convex circled extension of A; then B 0 0 = A 0 0 •
If z E A 0 0 but z rf: B-, there arelinear functionalsft E F with l.t;(z - x)l > 1
for all x E B. Put c, = J,(z) and use (a).)
(c) Let E be a linear topological space and B a convex circled compact
subset of E. Suppose that F is a family of continuous linear functionals
on E and {c1 : f E F} a family of scalars. Then there is a point x 0 E B with
152 CH. 5 DUALITY
= c1 for all f E F if and only if the condition (*) holds for every choice
j (x 0 )
of/1 , /2 , · · ·,fn in Fand c1 = c11 for 1 ~ i ~ n.
(d) It follows from (c) that if (E,F) is a pairing and Ba convex circled
w(E,F)-compact subset of E, then any linear functional on F bounded on
B 0 is represented by a member of E (cf. Smulian's weak compactness
criterion 16.6).
[When E is the adjoint of a Banach space, or a reflexive Banach space,
and Bis its unit sphere, (c) becomes a theorem of Hahn on the existence of
solutions of an infinite system of linear equations.]
I TENSOR PRODUCTS l
Let E and F be linear spaces, with algebraic duals E and F For each
1 1
•
k(E,F).
(a) Any element z of E ® F may be written in the form :L {x 1 ® y 1 :
x 1 E E, y 1 E F, 1 ~ i ~ n}; z is the bilinear form defined by z(x 1 ,y1 ) =
L {(xh:~~><Y~>Y'>= 1 ~ i ~ n}.
(b) The set of linear forms on E ® F is isomorphic to the set of bilinear
forms on E x F: to g E (E ® F)' corresponds the bilinear form g o k on
E x F. (To show that each bilinear form b is the image of some g, put
g(x 0 y) = b(x,y) and g(:L x1 ® y 1) = :L b(xhy1). Forthistobe meaning-
ful, it is necessary that :L x1 ® y 1 = 0 should imply :L b(xhy1) = 0. To
prove this, express each x, and y 1 in terms of linearly independent elements,
and choose X E EI and y' E Fl suitably.)
1
(c) If Gis any third linear space, the set of linear mappings of E ® F
into G is isomorphic to the set of bilinear mappings of E x F into G.
Suppose that E and F are locally convex spaces.
(d) There is one and only one locally convex topology !T for E ® F
such that, for every locally convex space G, the set of continuous linear
mappings of E ® F into G corresponds to the set of continuous bilinear
mappings of E x F imo G, that is, the isomorphism in (c) preserves
continuity. lf Oll and "Y are local bases in E and F, a local base for !T is
formed by the convex circled extensions of all the sets U 0 V = {x ® y:
x E U, y E V}, as U and V run through Oll and "f/". (Show that the topology
with this local base produces the correct continuous linear mappings; to
prove uniqueness, take G = E ® F and consider the identity mapping.)
(e) lf E and F are Hausdorff spaces, so is E ® F with the topology .r.
(lf z 0 =f 0, z 0 may be written :L {x1 ® y 1 : 1 ~ i ~ n} with the x 1 and the y 1
linearly independent. There are continuous linear forms f and g with
f(x 1 ) > 1, g(y 1 ) > 1, and f(x 1) = g(y1) = 0 for 2 ~ i ~ n. If U =
{x: if(x)i ~ 1} and V = {y: lg(y)i ~ 1}, then iz{f,g)l ~ 1 for z E U 0 V
and z 0 {f,g) > 1.)
SEC. 17 THE WEAK TOPOLOGIES 153
The completion of E ® F with the projective tensor product topology Y is
~
denoted by E ® F. ,,
(f) lf E and F are metrizable, E ® F is a Fn!chet space. lf also E and
F are barrelled, so is E ® F. (See 12G(b).)
The results on pairing are applied here to the case of a space E with
locally convex topology Y and adjoint (E,Y)*. Many of the standard
theorems on weak and strong closure, weak boundedness, weak*
compactness, and continuity of functionals follow easily from earlier
work. The most profound theorem of the section gives conditions
ensuring the weak compactness of the closed convex extension of a set.
Finally, we identify the weak and weak* topologies for subspaces,
quotients, and so on.
PROOF Let Sil he the smallest algehra of sets containing the sequence
{Ak} and I. The algehra d is countahle; hence there is a sequence
{ii} of integers such that lim c(A n I 1,)fc(I11 ) exists for each A in d.
j
PROOF Without loss of generality, one can assume that the sequence
{/,.} is in the polar C 0 in E* of C. Assurne that for some x in ( C)- it
is false that limf,.(x) = 0. Then, if necessary by taking a sub-
sequence, we can " assume that, for some positive number e, IJ,.(x)l > e
for all n. F or each i, there is an x 1 in ( C) such that I/,.( x 1) I > e for
each n ~ i. It is possible to choose x1 in the form: x1 = 1fc(I1) .Z: {xa:
a E I 1}, where I 1 is a finite index set and Xa E C for each a in I 1• Let
I= U {I1 : i = 1, 2, · · ·} and Ak = {a: a EI and IA(xa)l > e/2}. If
i ~ k, then
e < 1/k(xt)l ~ 1/c(It) .Z: {lfk(xa)l: a E It}
= 1/c(It)[.Z: {IA(xa)l: a E Ak n I;}
+ .Z: {lfk(xa)l: a EI; "' Ak}]
~ 1fc(I1)[c(Ak n. I 1) + (ef2)c(I1 "' Ak)]
~ c(Ak n I 1)/c(I1) + ef2.
PROBLEMS
A EXERCISES
(1) An infinite dimensional pseudo-normed linear space is of the first
category in its weak topology.
(2) If U is a weak neighborhood of zero in a linear topological space E
and N = n {eU: e > 0}, then E/N is finite dimensional.
(3) The subsets of the adjoint E* of a linear topological space E which
are equicontinuous relative to the weak topology are the finite dimensional
weak* bounded subsets.
ß TOT AL SUBSETS
(a) A subset A of a linear topological space is total if and only if each
continuous linear functional vanishing on A is identically zero. If Nx =
{/:jE E*,J(x) = 0}, then A is total if and only if n {Nx: XE A} = {0}.
A subset A is total if and only if the subspace generated by A is w(E,E*)-
dense in E.
(b) A subset A of the adjoint of a Hausdorff linear topological space E is
total if and only if x = 0 whenever f(x) = 0 for all f E A. A subset A is ·
total if and only if the subspace generated by Ais w(E*,E)-dense in E*.
If there is a finite total subset of E *, then E is finite dimensional.
(c) Let E be the space of all bounded real valued functions on an
infinite set S with the topology of uniform convergence. If A is a total
subset of E, then k(A) :i;; 21ccs); there is a total subset A with k(A) =
2k(s). (k(X) denotes the cardinal of X.)
E STONE-WEIERSTRASS THEOREM
Let X be a locally compact Hausdorff space, Iet C 0 (X) be the Banach
space of all real valued continuous functions on X vanishing at oo, and Iet
S be the unit sphere {f: II/ I ; ;:; 1}. The adjoint of C0 (X) is the set of all
finite regular Borel measures on X with total variation as the norm (141).
Lemma Let F be a subspace of C0 (X) and Iet f.L be a non-zero regular
Borel measure which is an extreme point of the weak* compact set F 0 n S 0 •
Let g be a member of C 0 (X) with the property that f fgdf.L = 0 for all f in
F. Then g is a constant function almost everywhere relative to IILI·
(By adding a constant and by multiplying by a scalar, one can assume that
g ~ 0 and f gdlf.LI = 1. lf llg I ; ;:; 1, then g is 1 a.e. If llgll > 1, put
t = llgll- 1 ; then f.L = (1- l}f.L 1 + lf.L 2 , where f.L 1 (A) = fA[(1- tg)f
(1- t)]df.Landf.L 2 (A) = fAgdf.L.)
Theorem Let F be a subspace of C0 (X) satisfying:
(a) for each x in X, there is an f in F such that f(x) # 0;
(b) for each distinct pair x andy in X, there is anfin F such thatf(x) #
f(y);
(c) Fis closed under multiplication.
SEC. 17 PROBLEMS 163
Then Fisdensein C0 (X). (If Fis notdensein C0 (X), then by the Krein-
Milman theorem there is a measure satisfying the condition of the lemma.
Let C be the support of lt-tl. that is, C = {x: each neighborhood of x has a
positive lt-tl-measure}. Then eachfin Fis constant on C.)
J WEAK* SEPARABILITY
Let E be a locally convex spaceo
(a) If E is separable, the equicontinuous subsets of its adjoint E* are
weak* metrizable.
SEc. 18 ToPOLOGIES FOR E AND E* 165
(b) If Eis separable and pseudo-metrizable, then E* is weak* separable.
(c) If Eis pseudo-metrizable, the converse of (a) is true.
holds). The collection of topologies for E that yield the same adjoint
E* is explicitly described. Finally, the canonical sorts of calculation
for subspaces, quotients, and products are made.
PROOF Let E be a linear space with locally convex topology :Y, and
let d be the family of all bounded closed convex circled subsets of E.
Then d is an admissible family of subsets of E, because a convex set
is weakly closed (or weakly bounded) if and only if it is :Y-closed
(:Y -bounded, respectively). All of the assertions of the theorem are
now easy consequences of theorems 18.2, 16.9, and the fact that
continuity of a linear functional on a convex circled set is equivalent
to closure of the intersection of the set and the null space of the
functional.lll
It is worthwhile noticing that part (iii) of the foregoing theorem can
be restated: E* is strongly complete if and only if a maximal linear
subspace of E is closed whenever its intersection with every closed
bounded convex circled subset is closed (see 13.5).
170 CH. 5 DUALITY
If E is a pseudo-normed space, then the strong topology for E* is
identical with the norm topology. Moreover, in this case a subset of
E* is strongly bounded if and only if it is equicontinuous. Un-
fortunately, no such simple equivalence exists in the more general
case. The following theorem gives relations which do subsist
between strong and weak* boundedness, weak* compactness, and
equicontinuity. The proofs lean very heavily on earlier results.
PROBLEMS
A EXERCISES
(1) lf (E,F) is a pairing and .'Y an admissible topology for E, then every
w(E,F)-compact convex subset of Eis .'Y-bounded.
(2) On a normed space, the norm is weakly lower semicontinuous.
(3) The adjoint (E, .'Y)* with the strong topology is norrnable if and only
if E with ffb (see §19) is pseudo-norrnable.
(4) In the adjoint of a barrelled space, the weak* closed convex extension
of a weak* compact set is weak* compact.
G KREIN-SMULIAN THEOREM
In 17.7 it is proved that a locally convex space E is complete if and
only if every hyperplane in its adjoint is weak* closed whenever its inter-
section with every equicontinuous set Cis weak* closed in C. The Krein-
Smulian theorem asserts that the same is true with "convex set" in place
of "hyperplane" if E is metrizable (see 22.6). Hypercompleteness (see
13F) is equivalent to the same property, this time for convex circled sets:
a locally convex space E is hypercomplete if and only if every convex
circled subset in its adjoint is weak* closed whenever its intersection with
every equicontinuous set Cis weak* closed in C. (Sketch of proof: Let
o/1 be a base of convex circled neighborhoods of 0.
(a) Suppose that Eis hypercomplete and that A is a convex circled sub-
setofE*withU0 n Aweak*closedforeach UEiill. Thenet{(U 0 n A)o:
U E o/1} is Cauchy. (For if V c U and W c U,
(VO n A)o + 2U ::::J {{V 0 n A)0 + U)- = ({VO n A)o + U) 0 0 ::::J
((Von A)o U U) 0 o = ((V 0 n A) 0 °n U 0 ) 0 =(V 0 n A n U 0 ) 0 ::::J {W 0 n A) 0 ).
Hence the net, being decreasing, converges to B = n {(
U 0 n A) 0 :
u E o/1}. Then A = B 0 • ForA c B0 is immediate; if u E o/1 and r > 1,
there is V E o/1 with (V 0 n A)0 c B + (r - l)U c (B U U) 0 0 +
(r - l)(B u U)0 o = r(B u U)0 o. By taking polars, it follows tliat U 0 n
B 0 c rA and thus
U 0 n B0 c n {r(U 0 n A): r > 1} c (U 0 n A)- = uo n A c A.
(b) For the converse, suppose that {Ay: y Er} is a decreasing Cauchy
net (cf. 13F). Let B = U {A/: y Er} and Iet n- be the algebraic
closure n {rB: r > 1} of B (cf. 14F). Then B- is convex and circled,
since the net decreases, and U 0 n B- is weak* closed for each U E 0//,
178 CH. 5 DUALITY
L TENSOR PRODUCTS II
Let E and F be locally convex Hausdorff spaces with adjoints E* and
F*. For each x E E and y E F, the bilinear functional x ® y on E' x F'
defines by restriction abilinear functional on E* x F*, which is separately
continuous when E* and F* have their weak* topologies. On the space
of all separately continuous bilinear fu11ctionals on E* x F*, the topology
of uniform convergence on products of equicontinuous subsets of E* and
F* is a vector topology (sec (b) of the previous problem). The relative
topology for E 0 F is the topology of bi-equicontinuous convergence.
(a) The space E* 0 F* is a subspacc of the algebraic dual of E ® F
(sec 16I(b )). The topology of bi-cquicontinuous convergence is thc topol-
ogy of uniform convergence on the sets U 0 C29 V 0 , as U and V run through
local bases in E and F. With this topology, E ® Fis a Hausdorff space.
(b) The topology of bi-equicontinuous convergence is weaker than the
projective tensor product topology.
The completion of E C29 F w,i~h the topology of biequicontinuous con-
verge11ce will be denoted by E ® F.
(c) If E and F are complete, E@ Fis a subspace of the space of separately
continuous bilinear functionals on E* x F* (see (c) of the previous
problem).
19 BOUNDEDNESS
The family of all bounded sets characterizes thc topology of a normed
space, but in general the relationship between boundedness and the
topology is less intimate. Begin11ing with the family !!J of bounded
sets we may try to reconstruct the topology in either of two ways.
W e may make an external construction by considering the dass E b of
SEc. 19 BouNDEDNESS 181
bounded linear functionals and from this obtain the Mackey topology
m(E,Eb) of the pairing, or we may consider the topology with local
base the class of all convex circled subsets of E which absorbs each
member of f-4. Both of these constructions yield the same topology
ffb, but ffb may be distinct from the original topology ff. Spaces for
which ffb = ff are called bound (or bornivore). We investigate the
relation between this notion and that of barrelled spaces, and discuss
the permanence properties of bound spaces.
If E is a linear space with pseudo-normable topology ff, then ff
determines and is determined by either the adjoint E* or by the family
fJß of all ff -bounded subsets of E. In this case each of ff, fJß, and
E* determines the other two, and this fact has important consequences.
In the more general situation the relations between ff, fJß, and E*
are less intimate, but those which do exist are still of considerable
importance. The relation between the topology .r
and the adjoint
E* has been studied at some length in the preceding section, and the
present one is devoted primarily to a discussion of the relations of
these two with fJß. Certain relations are clear. The adjoint space
E* is surely determined by .r,
and, if .r
is locally convex, E* deter-
mines the family fJß, for the ff-bounded sets are precisely the weakly
bounded sets. In attempting to reconstruct .r
from the family f!ß of
bounded sets, two approaches suggest themselves. Directly, the
family of all convex circled sets which absorb each member of f!ß
may be used as a local base for a topology, or, indirectly, the natural
pairing of E with the space E b of all bounded linear functionals may
be used to define a topology. It turns out that these two approaches
yield the same topology ffb for E, a topology which in general is
properly stronger than .r. This topology ffb is examined brießy in
the present section. A few of the results of the section are valid for
spaces which are not locally convex; however, for simplicity of
Statement, the development is confined to the locally convex case.
First, let us consider brießy the abstract process which Ieads to
the notion of bounded set. Let C(/ be the family of all non-void
convex circled subsets of a linear space E. For each subfamily .~
of C(! let ,91- be the family of all members of C(! which absorb each
member of .91, and dually, let .91 _ be the family of all members of
C(/ which are absorbed by each member of .91. It is easy to establish
the following proposition about .91 _ and .91- by Straightforward
computation.
It is evident that, if .s1 is a local base for a topology !Y, then .s1 _ is
the family of convex circled !Y -bounded sets. If .s1 is a family of
subsets of E which covers E, then the foregoing rules show that .s;~
is a local base for a locally convex topology. This topology, which
has a local base consisting of all convex circled sets which absorb each
member of d, is called the d-absorbing topology. A familiar
concept can be rephrased in terms of the d-absorbing topology.
Suppose that F is a family of linear functions, each on E to a locally
convex space H, and suppose that A is a subset of E. Then, according
to 12.1, the following conditions are equivalent: the family F is
uniformly bounded on A (that is, F[A] is bounded), Fis bounded
relative to the topology of uniform convergence on A, and, for each
neighborhood V of 0 in H the set n {.f -l[V]: f E F} absorbs A.
These equivalences yield the following result about a family of
subsets of E (the details of the verification are omitted).
constant m-almost everywhere, but we shall not need this fact). For
each t in A choose / 1 in E1* such that f 1 is not identically zero, and for
x in X {E1: t E A} letg(x) = fAf1(x 1)dm(t). Theng is evidently linear,
and it may be seen that g is bounded by means of the following
argument. Each bounded subset of the product is contained in a
bounded set of the form B = X {B 1 : t E A}, where each B 1 is a
bounded subset of E1. Then sup {jg(x)J: x E B} ~JA sup {l/1(x1)j:
x 1 E B 1}dm(t), and this integral of a scalar valued function exists.
Hence g is bounded on bounded subsets of the product and it remains
to be proved that g is not continuous. But if g were continuous there
would be a finite subset C of A suchthat g(x) = 0 whenever x1 = 0
for all t in C, by 14.6. But if x is chosen so that x1 .= 0 fort in C and
.ft(x1) = 1 fort in A "' C, theng(x) = fA!t(x 1)dm(t) = m(A "' C) = 1,
and it follows that g is not continuous.JJJ
PROBLEMS
A INDUCTIVE LIMITS IV (see 11, 16C, 17G, 22C)
(a) Let E be a linear space with an inductive topology, determined by a
family {E1,ft: t E A}, each E 1 being a locally convex space. Then if each
E1 is barrelled, so is E; if each E1 is a bound space, so is E; if each E1 is a
Mackey space, so is E.
(b) The topology of a locally convex space E is bound if and only if it is
the inductive topology determined by a family of pseudo-normed spaces;
if also E is a Hausdorff space, " pseudo-normed" may be replaced by
"normed "; if in addition E is sequentially complete, "normed" may be
replaced by "Banach". (Compare 19.7, and use the same device.)
ß CLOSED GRAPH THEOREM IV (see 12E, 13G, 181)
Let E be a linear space with the inductive topology determined by a
family of locally convex spaces of the second category. Let F be a Haus-
dorff inductive limit of a sequence of fully complete spaces (see 17R, 181).
(a) A linear mapping of E into F is continuous if its graph is closed.
(Sketch of proof: by 16C(i) it is enough to prove the theorem when Eis a
locally convex space of the second category. Suppose that F is the in-
ductivelimitofthesequence{Fn}· ThenE = U{T- 1 [Fn]:n = 1,2, ···}
and so there is some n with H = T - 1 [Fn] of the second category in E,
and then H - = E. The graph of the restriction of T to H is closed in
H x Fn; it follows from 18J that T is continuous on H. There is a con-
tinuous extension S of T mapping E into Fn; the graph of S in E x Fn
is the closure of its graph in H x Fn. It follows that the graph of S is con-
tained in the graph of T, because the graph of T is closed. Thus S = T
and so T is continuous.) In particular, the theorem applies when E has
an inductive topology determined by Banach spaces, and so whenever E is
a sequentially complete bound space (see the previous problem).
(b) Assurne also that E is a Hausdorff space. Then a linear mapping
of F onto E is open if its graph is closed. (If the graph of T is closed, so is
SEC. 20 EVALUATION MAP INTO THE SECOND ADJOINT 189
T - 1 (0); Fj T - 1 (0) is then an inductive Iimit of a sequence of fully complete
spaces, and, if T = So Q, (a) applies toS - 1 .)
C COMPLETENESS OF THE ADJOINT
The adjoint of a bound space is complete under its strong topology
(19.5 (iii)). This result may be sharpened considerably. Let s1' be an
admissible family of subsets of a bound space E suchthat every sequence in
E convergent to 0 is contained in some set of s1'. Then E* is complete
under the topology of uniform convergence on the sets of s1'. (It is
sufficient, by 16.9 and 19.4, to show that every linear functional continuous
on each A E s1' is bounded.)
Let E be abound space which is complete (or has the property that the
closed convex extension of every compact set is compact). Then E* is
complete relative to any admissible topology between the strong topology
and the topology of uniform convergence on convex circled compact sets.
In particular, E* with the Mackey topology m(E*,E) is then complete.
The example in 18F shows that it is not sufficient to assume only that E
is bound.
PROOF Propositions (i) and (ii) have already been noted in the
discussion preceding the theorem. To prove (iii), notice that if Q is
the quotient map of an evaluable space E onto EfF and Disabound
absorbing barrel in EfF, then Q- 1 [D] is abound absorbing barrel in
E and is hence a neighborhood of 0. But Q is open, and consequently
Dis a neighborhood of 0 in EfF.
To prove (iv), suppose that an evaluable space F is a dense sub-
space of a sequentially complete space E, and that D is a barrel in E.
In view of theorem 10.3, D absorbs each closed convex circled
bounded subset of E, that is, D is bound absorbing. Therefore
D n F is a bound absorbing barrel in F. Since F is evaluable,
D n F is a neighborhood of 0 in F; hence D is a neighborhood of 0
in E. Therefore E is a barrelled space.
If D is a bound absorbing barrel in a direct sum 'L {E1 : t E A} of
evaluable spaces, then (considering each E1 as a subspace of the sum)
the intersection D n E1 is a bound absorbing barrel in E1 and is
consequently a neighborhood of 0 in E1• It follows that D is a
neighborhood of 0 in the direct sum, and the direct sum of evaluable
spaces is therefore evaluable.
The simplest proof that a product X {E1 : t E A} of evaluable
spaces is a space of the same sort relies on proposition 18.10, which
states that the adjoint of a direct sum (a product) is, with the strong
topology, topologically isomorphic to the product (the direct sum,
respectively) of the adjoints, where each factor is given the strong
topology. From this fact it follows that (to a topological isomorphism)
the evaluation map I of X {E1 : t E A} can be described by I(x) 1 =
I 1(x1), where I 1 is the evaluation map of E1 into E1**. If each I 1 is
continuous, then I is ah.o continuous, which shows that the product
is evaluable.lll
There is a useful corollary to part (i) of the preceding theorem.
Suppose E is a linear topological space and E*, with the strong
topology, is semi-reflexive. Then each strongly bounded closed
194 CH. 5 DUALITY
convex circled subset of E* is weakly (w(E*,E**)) compact, and hence
weak* (that is, w(E*,E)) compact. Such a subset is consequently
equicontinuous relative to the Mackey topology m(E,E*).
20.5 CoROLLARY lf Eis a linear topological space and E*, with the
strong topology, is semi-reflexive, then E, with the Mackey topology, is
evaluable.
On the other band, it may happen that E* is evaluable and yet E,
with the Mackey topology, fails to be evaluable (see problern 20A).
That the adjoint of an evaluable space need not be evaluable is
demonstrated by an example in problern 22G.
A linear topological space E is reflexive if and only if the evaluation
map of E into E** is a topological isomorphism onto. Wehave already
derived conditions under which evaluation is continuous, and condi-
tions which ensure that evaluation carries E onto E**. These facts
(propositions 20.1, 20.4, and 20.5), and the observation that evaluation
map of a locally convex space E is one-to-one if and only if E 1s
Hausdorff, yield the following theorem.
20.6 CHARACTERIZATIONS OF REFLEXIVE SPACES A locally convex
H ausdorff space is reflexive if and only if it is semi-reflexive (bounded
weakly closed sets are weakly compact) and evaluable (strongly bounded
subsets of the adjoint are equicontinuous).
Equivalently, a locally convex Hausdorff space E is reflexive if and
only if it is a Mackey space and both E and E* are semi-reflexive.
20.7 PROPERTIES OF REFLEXIVE SPACES
(i) lf Eis reflexive so is E*.
(ii) Each reflexive space is a barrelled space, and each closed bounded
subset of a reflexive space is complete.
(iii) Products and direct sums of reflexive spaces are reflexive.
PROOF Part (i) is a direct consequence of the definition of a reflexive
space. A reflexive space is evaluable, and hence by 20.4 each bound
absorbing barrel is a neighborhood of 0. But each closed convex
circled bounded set is weakly compact (Eis semi-reflexive) and hence,
by corollary 10.2 of the absorption theorem, every barrel absorbs
such a set. Consequently each barrel is a neighborhood of 0, and it
follows that each reflexive space is a barrelled space. It has already
been observed in 20.2 that a closed bounded subset of a semi-reflexive
space is complete, and part (ii) of the theorem is thereby established.
Part (iii) is an immediate consequence of 20.2 and 20.4.111
SEC. 20 PROBLEMS 195
Neither a closed subspace nor a quotient space of a reflexive space
is necessarily reflexive. In fact, of the two parts which make up
reflexivity-being evaluable and being semi-reflexive-one may fail
for subspaces and the other for quotients (see problern 20D). Finally,
the converse of 20.7(i) does not hold in general: it may be that the
adjoint E* is reflexivebutthat Eis not reflexive, or even semi-reflexive
(with its Mackey topology, the only one for which it is sensible to ask
the question; it is necessarily evaluable by 20.5). An example, and
a restricted form of converse, are displayed in problern 20C.
PROBLEMS
A EXAMPLE OF A NON-EVALUABLE SPACE
Let F be a non-reflexive Banachspace and Iet E = F* with the topology
m(F*,F). Then E* = F and the strong topology on E* is the norm
topology (for the w(F*,F)-bounded sets are norm bounded, by 18.5(iii)).
Thus
(a) Eis a Mackey space which is not evaluable, and so neither barrelled
nor bound;
(b) in E*, there is a convex weak* closed strongly bounded set which is
not weak* compact (cf. 18.5(ii));
(c) E* is evaluable;
(d) Eis semi-reflexive and E* is not semi-reflexive;
(e) Eis complete (see 19C).
ß AN EVALUABLE PRODUCT
Let E be a barrelled space which is not bound (see t) and F a bound
space which is not barrelled (see 18F). Then E x F is evaluable, but is
neither barrelled nor bound.
E PROBLEM
1s every reflexive space complete?
F MONTEL SPACES
A Hausdorff barrelled space m which every closed bounded set is
compact is a Montel space.
(a) A Montel space is reflexive; its adjoint with the strong topology is
also a Montel space.
(b) A normed space can only be a Montel space if it is finite dimensional.
(c) A Montel space topology coincides with its weak topology on every
bounded set.
(d) A product or a direct sum of Montel spaces is a Montel space;
neither a closed subspace nor a Hausdorff quotient of a Montel space is
necessarily a Montel space (see 221).
(e) A strict inductive Iimit (sec 17G(b)) of a sequence of Montel spaces
is a Montel space.
21 DUAL TRANSFORMATIONS
A natural continuation of the program of describing a linear topological
space in terms of its adjoint is the description of a linear transformation
in terms of the transformation induced on the adjoint. This section
is devoted to the relationship between continuity and openness of a
mapping and of its adjoint, relative to the several possible topologies.
The results for Frechet spaces are especially sharp.
This section is devoted to the study of linear transformations by
means of the fundamental duality. Each continuous linear trans-
formation T of a linear topological space E into a linear topological
space F induces, in a natural way, an adjoint transformation T* of
F* into E*. The properties of T are intimately related to those of
T*, and, in particular, it is possible to characterize continuity and
openness of T in terms of T*.
In order to preserve symmetry as far as possible, we begin with a
discussion of paired linear spaces. Let E and F, and G and H, be
paired linear spaces, let T be a linear transformation of E into G and
let T' be a linear transformation of H into F. The transformations
T and T' are dual if and only if <T(x), h) = (x,T'(h)) for all
members x of E and all members h of H. If T is dual to T ', and if
S and S 1 are duallinear transformations of E into G and H into F,
then aS + bT is dual to aS + bT for all scalars a and b. More-
1 1
dual to U o T.
The existence of a transformation which is dual to a given linear
transformation T can be described in terms of the continuity properties
ofT.
PROBLEMS
A COMPLETEL Y CONTINUOUS MAPPINGS
Let E and F be Hausdorff linear topological spaces and let T be a linear
mapping of E into F. Then T is called completely continuous iff there is
some neighborhood U of zero which is mapped by T into a compact set.
For Banach spaces, this coincides with the usual definition of a completely
continuous mapping as one which maps bounded sets into totally bounded
sets (cf. SB and 21D). A completely continuous mapping is continuous.
Let I be a topological isomorphism of E onto F and let S = I + T. Then
(a) the null space of S is finite dimensional;
(b) S is an open mapping of E onto S[E];
(c) the range of S is closed.
(Sketch of proof: let N be the null space S - 1 [0]. For (a), show that
N n U is totally bounded and use 7.8. For (b ), suppose that S is not open,
so that there is a neighborhood U1 of zero, which may be taken tobe a sub-
set of U, with S [U1 ] not a neighborhood of zeroinS [E]. If "Y' is a base
of circled neighborhoods of zero in F, for each V E "f/' there is a point y in
V with y rt S[ U1 ] and then there is some ,\ with 0 ;;;;; ,\ ;;;;; 1 so that ,\y E V n
S[2UI] but ,\y rt S[U1]. Thus for each V there is a point Xv E 2U1 but
Xv i ul + N with s (xv) E V. Now use the properties of T and I to show
that a subnet converges to a point of N, thus contradicting Xv rt U1 + N.
For (c), suppose that {S(xa): a E A} converges to y E F. It follows from
(b) that S (xa) E S [ Xp + U] for some ß and all a ;:;;: ß, and hence that
(xp + U) n S -l[y + V] f= ~ for each V E "f/'. If zv is a point of this
set, then S(zv) ~ y and, by an argument similar tothat for (b), a subnet of
{ Zv: V E "Y'} is convergent.)
SEC. 21 PROBLEMS 207
ß RIESZ THEORY
The theorem of the previous problern forms the foundation for the Riesz
theory of completely continuous linear mappings of a linear topological
space into itself. The following- sequence of results gives an outline of
the theory.
Let E be a linear topological space and T a completely continuous linear
mapping of E into itself. Suppose throughout that Ais a non-zero scalar,
and write AI - T = S.
(a) Lemma: Let G be a closed proper subspace of a subspace F of E
suchthat S[F] c G. If U is a convex circled neighborhood of 0 mapped
by T into a compact set, then there is a point x E F n (ZU) but x rf= G + U.
(b) The sequence {S - r[O]} of subspaces increases; there is an integer
n ~ OsuchthatS-r[O] c s-<r+l>[O]properlyforO ~ r < nands-r[O] =
s-<r+l>[O] for r ~ n. (Suppose not, and apply (a) with G = S -r[O] and
F = S -<r+l>[O]. Use the sequence {xr} thus provided to contradict the
fact that T[2 U] is totally bounded.)
(c) The sequence {Sr[EJ} decreases; there is an integer m ~ 0 suchthat
sr[E] ::::> sr+ 1 [E] properly for 0 ~ r < m and sr[E] = sr+ 1 [E] for
r ~ m. (Proof similar to that of (b); each Sr[E] is closed by (c) of the
previous prob lern.)
(d) The integers n and m of (b) and (c) are equal, and Eis the direct
sum of S -n[O] and sn[E].
By (a) and (c) of 21A and by 7E, Eis then isomorphic to the product of
S -n[O] and sn[E] (in fact, it is their topological direct sum when it is
locally convex).
It follows that the existence of a completely continuous endomorphism
on a linear topological space which is not locally convex ensures the ex-
istence of continuous linear functionals, if S - 1 [0] =1= {0} (that is, if .\ is an
eigenvalue ofT): in fact the linear functionals in the subspace (Sn[E]) 0 of
the algebraic dual E' are continuous, and this subspace has the dimension
of S -n[O].
(e) The following are equivalent: (i) Ais not an eigenvalue ofT; (ii) the
range of AI - T is the whole of E; (iii) >.I - T is an isomorphism. (The
integer n above is zero: use (d) and 21A(b ).)
(f) E is isomorphic to the product of two closed subspaces M and N, N
being finite dimensional; S = AI - T maps each of M and N into itself
and is an isomorphism on M. For all positive integers r, dim S -r[O] =
dim EfSr[E]. (Use 21A(b) applied to the restriction of S to M; for
the last part, observe that since N is finite dimensional, dim S -r[O] =
dim NfSr[N].)
(g) The eigenvalues of T form a finite set or a sequence convergent to
zero. (If e > 0, there are at most a finite number of eigenvalues with
l.\1 ~ e. Suppose not; choose a sequence {xn} of linearly independent
eigenvectors, and Iet Hn be the subspace spanned by x1 , · · ·, Xn· Apply
(a) with G = Hn_ 1 , F = Hn and S = Anl- T, An being the eigenvalue
corresponding to Xn, and so again contradict the fact that T[U] is totally
bounded.)
208 CH. 5 DUALITY
D SCHAUDER'S THEOREM
Let E and F be locally convex Hausdorff spaces and T a weakly con-
tinuous linear mapping of E into F. Let E* have the strong topology.
Then T maps bounded sets into totally bounded sets if and only if T*
maps equicontinuous sets into totally bounded sets. (Use 16A applied to
<F,F*), with .91 the family of images of bounded sets and PA the family
of equicontinuous sets, and use the identity <T(x), y*) = <x,T*(y*)).)
The linear mapping T is called totally bounded if it maps bounded sets
into totally bounded sets. If, in addition to the above hypotheses, F is
~valuable and F* has the strong topology, then T is totally bounded if and
only if T* is totally bounded. When E and F are Banach spaces, this
becomes Schauder's theorem: T is completely continuous if and only if T*
is completely continuous.
E CLOSABLE MAPPINGS
Let E and F be locally convex Hausdorff spaces. This problern is
concerned with linear mappings which are defined only on subspaces of E
and take values in F. Let T be a linear mapping with domain D c: E
and range in F; T is called closed if its graph G is a closed subspace of
E x F, and closable if it has some closed extension. This is the case if and
only if G- is the graph of a closed linear mapping which has the smallest
domain of all the closed extensions of T. The mapping T is closed if
and only if y = T(x) whenever there is a net {xy: y E T} in D with xy-+ x
and T(xy)-+ y; it is closable if and only if y = 0 whenever there is a net
{xy: y E T} in D with Xy-+ 0 and T(xy)-+ y.
Let E* and F* be the adjoints of E and F. The mapping x-+ <T(x),g)
defines a linear functional on D. Let D* be the subspace of F* consisting
of those elements g for which this linear functional is continuous on D.
This sets up a mapping of D* into E*JD 0 • Now if (and only if) Dis dense
in E, there is a unique continuous linear functional f on E with f(x) =
<T(x),g) for all x E D; in this case we may write f = T*(g), and T* is a
linear mapping of D* into E*. Suppose then that Dis densein E.
(a) With the weak* topologies on the adjoint spaces, T* is closed. In
fact, the graph of - T* in F* x E* is the polar of the graph of T.
(b) The mapping T is closable if and only if D* is densein F*. (For
if D* is densein F*, the process can be repeated to give a closed extension
T**. Conversely, if T is closable, Iet S be the closed extensionofT with
SEc. 22 PsEuno-METRIZABLE SPACES 209
smallest domain, and let o/1 be a local base of convex circled neighborhoods
of 0 in this domain. Then D* 0 = (T*- 1 [E*]) 0 = (S*- 1 [E*]) 0 =
n
<U {S*- 1 [U 0 ]: u E o//})0 = <U {(S[U])o: u E o//})0 = {S[U]: u E o/1},
and 11 H Ieads to the required results.)
F STONE-CECH COMPACTIFICATION
Let X be a completely regular space and B(X) the set of bounded
continuous real-valued functions on X with the norm II/ I = sup {1/(x)l:
XEX}.
(a) The mapping e of X into the adjoint M(X) of B(X) with the weak*
topology, defined by (e(x))(f) = f(x), is a homeomorphism of X onto a
subset of the surface of the unit sphere of M(X). Let ß(X) = e[X]-;
ß(X) is a compact Hausdorff space, the Stone-Cech compactification of X.
(b) Every f E B(X) has a unique continuous extension to ß(X) (suppose
e[X] and X identified).
(c) If t is a continuous mapping of X into any compact Hausdorff space
Y, then t has a unique continuous extension F mapping ß(X) into Y.
(Let T be the linear mapping of B( Y) into B(X) induced by t; obtain F by
restricting T* to ß(X).)
(d) Let H be the subset of M(X) consisting of homomorphisms: that is,
H = {4>: 4> E M(X), 4>(fg)=4>(f)4>(g)for allf,g E B(X)}. Then His weak*
closed and H"' {0} is a subset of the surface of the unit sphere. (Consider
the mappings 4>-+ 4>(/g) - 4>(f)4>(g).)
(e) H = ß(X) U {0}. (Clearly e[X] c H. Suppose that X is com-
pact, and show that if 4> EH, but 4> 'f. 0, then 4> E e[X]. For this, show
that there is some x for which 4>(/) = 0 implies f(x) = 0. For if not, a
function g can be constructed (as a finite sum of squares) so that 4>(g) = 0
but g(x) > 0 for all x EX. Thus g- 1 E B(X) and it follows that 4> = 0.
For general X, use (b).)
22 PSEUDO-METRIZABLE SPACES
This section is concerned with special properties of pseudo-metrizable
spaces. Such spaces are always bound, and both the strong and the
weak* topologies for the adjoint have localizability properties. How-
ever, the adjoint may still have a rather intricate structure, and we are
able to discover very little about the structure of the second adjoint.
This section is devoted to a number of results which are peculiar
to locally convex pseudo-metrizable spaces. The topology of such a
space E is always bound, and the weak* topology for E* has a note-
worthy "localization" property. The strong topology for E* may,
however, exhibit pathological features, and we are able to establish
relatively little concerning its structure.
Webegin with a boundedness property of E.
210 CH. 5 DUALITY
22.1 SEQUENTIAL ABSORPTION THEOREM lf Eisa pseudo-metrizable
linear topological space and A is a subset of E which absorbs each sequence
converging to 0, then A is a neighborhood of 0.
PROOF Let {Un} be a local base for the topology of E, and assurne
that A is not a neighborhood of 0. Then, for each positive integer
n, there is a point Xn in (~ un) ~ A. Evidently the sequence {nxn}
converges to 0, but nxn rf= nA. It follows that A does not absorb the
sequence {nxn}, and hence each set which absorbs every sequence
which converges to 0 is necessarily a neighborhood of 0.[[[
PROOF The first half is evident. E** with the strong topology is
obviously locally convex and metrizable, and the completeness of E**
follows immediately from part (iii) of theorem 18.4.111
Although the strong topology for the adjoint of pseudo-metrizable
space may fail to be bound, there are boundedness properties which
are of importance. The following result is the key to these properties.
PROBLEMS
A CONDITION FOR COMPLETENESS
A locally convex pseudo-metrizable space is complete if the closed
convex circled extension of every sequence convergent to zero is weakly
218 CH. 5 DUALITY
ß EMBEDDING THEORIES
(a) Let R be the space of real numbers and C (R) the space of con-
tinuous scalar-valued functions on R with the topology of compact
convergence. Any locally convex metrizable separable space E is iso-
morphic to a subspace of C (R). (The theorem can be established by
proving the following
Lemma There is a continuous mapping f of R onto the adjoint E*
with the weak* topology, such that the family of sets f[K], where K is a
compact subset of R, form a co-base for the equicontinuous subsets of E*.
To prove this, choose a co-base {Bn: n = 0, 1, · · ·} of the equicontinuous
subsets of E* so that each Bn is convex, circled, weak* compact and weak*
metrizable, and so that Bn c Bn +1 for each n. There is a continuous
function fn on the Cantor set in [0, 1] onto Bn with the weak* topology: see,
for example, Kelley [5] Ch. V, 0. Define f by f(2n + s) = fn(s) whenever
s belongs to the Cantor set, and by continuity and linearity elsewhere.)
(b) A separable normed space is isometrically isomorphic to a subspace
of the space C([O, 1]) of continuous scalar-valued functions on [0, 1] with
the topology of uniform convergence.
(j,g') = -21
7Tt
.J
ow
f(~)</>(h/)d~ = .PUo') where j 0 (z) = -21 .J /W
7Tt ow .. - z
d~,
using, for example, approximating sums or vector integration. Now
j 0 (z) = f(z) in some open set containing K; thus </>(/0 ') = </>(/).)
220 CH. 5 DuALITY
E SPACES /P(w)
A non-negative real valued function w defined on a set A defines a
measure !Lw on the a-ring of all subsets of A by the formula fLw(B) =
L: {w(t); t E B}; w is called the weight function for the measure fLw· The
space LP(A,fLw) bears a close resemblance to the zv spaces and it will there-
fore be denoted by /P(w). Thus /P(w) is the space of (equivalence classes of)
real or complex valued functions x with
llxllv = (f lx(t)IPdfLw(t)) 11P = (L: {lx(t)!Pw(t): t E A}) 11P < oo,
two functions x andy being regarded as equivalent iff x(t) = y(t) whenever
w~t) 'f 0. ThB adjoint of /P(w) for 1 ;;:; p < oo is lq(w), where q is the
index conjugate top (q = oo if p = 1 and q = pf(p - 1) if p > 1).
(a) lf y isareal or complex valued function on A suchthat xy E P(w) for
all x E zv(w), then y E lq(w).
(b) lf w(t) > 0 for all t E A, then /P(w) is reflexive for 1 < p < oo, and
l 1 (w) and / (w) arereflexive if and only if Ais a finite set.
00
F KÖTHE SPACES
These spaces are projective and inductive Iimits of spaces of the type
/P(w), defined in the previous problem, and their adjoints. For each
weight function w on A, denote by /P(w)+ the space of real or complex
valued functions y on A such that y(t) = 0 whenever w(t) = 0 and
L: {lx(t)y(t)i: t E A} < oo for all x E l 11(w).
(a) The spaces /P(w) and zv(w)+ are paired by the bilinear functional
<x,y) = L: {x(t)y(t): t E A}; y E /P(w)+ if and only if there is a z E (ZP(w))*
with y = wz, and the natural norm associated with the pairing is IIYII =
llzllq, where q is the index conjugate top. This pairing does not depend
explicitly on the function w and is convenient when a family of weight
functions comes simultaneously under consideration.
(b) There is a natural partial ordering among weight functions in which
w ~ a means that w(t) ~ a(t) for all t in A. Let Q be a family of weight
functions directed by this partial ordering. If w ~ a, zv(w) c /P(a) and so,
with injections for the canonical mappings, the family {ZP( w): w E Q} forms
a projective system. The projective Iimit of this system is algebraically
isomorphic to EP(Q) = n {ZP(w): w E Q}. The space EP(Q) is dense in
each zv(w). We suppose that EP(Q) has the projective Iimit topology; the
intersections of spheres in zv( w) with E P( Q) form a local base for this
topology.
SEC. 22 PROBLEMS 221
(c) The space EP(Q) is Hausdorff iff to each t E A corresponds an w E Q
with w(t) > 0. For each p with 1 ~ p : :;:; w, EP(Q) is complete. The
adjoint of EP(Q) is algebraically isomorphic to EP(Q)+ = U {/P(w)+:
w E Q} with the canonical pairing (x,y) = 2: {x(t)y(t): t E A} for x E EP(Q)
and y E EP(Q)+.
(d) In EP(Q) each sequence which is Cauchy in the weak topology is
convergent in the projective Iimit topology.
(e) 1f w ~ a, /P(a)+ c /P(w)+ and so, with injections for the canonical
mappings, the family {/P(w)+: w E Q} forms an inductive system, for which
EP(Q)+ is the inductive Iimit. The inductive Iimit topology on EP(Q)+ is
stronger than the strong topology, but if 1 < p < w they coincide and
EP(Q) is semi-refl.exive. (Prove that any linear functional continuous
relative to the inductive Iimit topology on EP(Q)+ is the evaluation at a
member of EP(Q).)
The case of P itself shows that this last result may fail for p = 1.
Here the contour integral is taken· round a circle of radius r(z) < 1, which
may depend on z, and the kerne! B has the following properties:
(i) the mapping (~,z) ~ B(~,z) is continuous in the two variables, for
1~1 ~ 1 and lzl < 1;
(ii) to each r < 1 corresponds an r' < 1 such that, whenever lzl < r,
the mapping ~ ~ B(~,z) is analytic on g: 1~1 > r'} and vanishes at
infinity;
(iii) for each ~ with 1~1 > 1 the mapping z ~ B(~,z) is analytic on U.
Conversely, if B is a kerne! satisfying the conditions (i), (ii), (iii), it defines
a unique continuous linear mapping of A( U) into itself. (Let vzW =
(~- z)- 1 ; if T is given, put B(~,z) = uz(~) where U 2 = T*(vz)· In the
converse, the main difficulty is to show that the function T (f) defined by
such a kerne! is an analytic function in U. This can be clone using (ii) and
Hartogs' lemma-s~e, for example, Bochner and Martin [2].)
Appendix
24 L AND M SPACES
We prove two theorems of Kakutani which characterize Banach
lattices of (roughly speaking) continuous function type, and Banach
lattices of U type. The adjoint of an M space is an L space, and
dually, the adjoint of an L space is an M space.
In this section two especially important vector lattices will be
examined. The principal theorems concern vector lattices with a
lattice norm-that is, a normsuch that, if lxl ~ IYI, then llxll ~ IIYII·
Such spaces are called normed lattices and, if the space is complete
relative to the norm, they are Banach lattices.
Many, if not most, of the real Banach spaces which are commonly
considered are Banach lattices under some natural ordering. For
example, if m is a measure on a a-ring !/ of subsets of a set X and
p ~ 1, then the space LP( m) of all !/-measurable real functions f such
that IJIP is m-integrable is a Banach lattice, relative to the usual
ordering of the real functions and with the norm: II/II = (f IJIPdm) 11 P.
(Measure theoretic terminology is that of Halmos [4].) The space
L"'(m) of all m-essentially bounded !/-measurable real functions is
also a Banach lattice; it has the noteworthy features that II/ V gll =
max [11/11, llgll] for all f ~ 0 and g ~ 0, and the function which is
constantly one is interior to the positive cone. The space of all
continuous real valued functions on a compact Hausdorff space is
also a Banach lattice, if the norm is the usual supremum norm, and
this space shares the two special properties of L "'(m) noted above.
The space V(m) also possesses a special property: if f and g are
positive members of V(m), then II/ + gll = II/II + JJgJJ. If X is
a-finite relative to the measure m, then there is another description of
(an isomorph) of V(m) which is useful. Each countably additive
real function on !/ which is of bounded total variation and is absolutely
continuous with respect to m is, by the classical Radon-Nikodym
theorem, theindefinite integral of a member of V(m), and the space
of all such countably additive functions, with variation for norm, is
isomorphic and isometric to V(m). It will be shown that a Banach
lattice is essentially of this sort if it is true that II/ + gll = 11/IJ +
JJgJJ for all positive elementsfand g.
It is convenient, before proceeding, to establish a connection
between ordering and extreme points, preparatory to an application
SEC. 24 LAND M SPACES 237
PROOF It is first shown that (i) implies (ii). Assuming (i), suppose
that x and y are arbitrary positive members of E. Then x - x (\ y
and y - x (\ y are disjoint positive elements and consequently
0 = (f(x) - f(x (\ y)) (\ (f(y) - f(x (\ y)) = f(x) 1\ f(y) -
f(x 1\ y), the latter equality being a consequence of the translation
formula for meets: (a + b) (\ (c + b) = a 1\ c + b. It follows that
f preserves meets of positive elements, and, using the translation
formula again, it is easy to see that meets of arbitrary elements are
preserved.
To show that (ii) implies (iii) assume that f is a lattice homo-
morphism, that 0 ~ g ~ J, and that x is a point of E at which f
vanishes. It will be shown that g also vanishes at x, and hence, since
the null space of g includes the null space of J, it will follow that g is a
scalar multiple of f. Write x = x+ - x and notice that, since x+
and x- are disjoint, either f(x+) or f(x-) is 0. Since f(x) = 0 also,
f(x+) = f(x-) = 0, and since 0 ~ g ~ j, it follows that g(x+) =
g(x-) = 0 and therefore g(x) = 0.
Finally, it must be proved that (iii) implies (i). Suppose that x
and y are disjoint positive elements of E and that f(x) "#- 0. The
application of lemma 23.12 to fand x ensures the existence of a linear
functioaal g such that 0 ~ g ~ J, g(x) = f(x) and g(y) = 0. The
first two properties of g and (iii) imply that f = g; hence, f(y) =
g(y) = 0. Itfollowsthatf(x) 1\J(y) = Owhetherf(x) = Oornot.lll
The two types of normed lattices which are the concern of this
section satisfy especial conditions on the norm and the ordering. A
normed lattice is of type M (respectively of type L) if and only if for
every pair x and y of positive elements it is true that llx V Yll =
llxll V IIYII (respectively, llx + Yll = llxll + IIYII)· A Banach
lattice of type M (of type L) is an M space (respectively, an L space ).
These two sorts of normed lattice are, in a sense, dual to each other.
Each is studied by means of its adjoint space, which turns out to be a
space of the dual sort, as noted in the following theorem.
SEC. 24 LAND M SPACES 239
Cauchy net. Observe that for a fixed, 1Jx0 - xall is monotonic for
ß~ a, and bounded, and hence converges. Since the norm is linear
on the positive cone, for y ~ ß ~ a it is true that llxr - x0 l =
llxr - xall - llx 0 - xall· From this it follows easily that the net is
Cauchy and hence converges to a member x of E. It is not hard to
verify that x is the supremum of the members Xa, by making use of
the fact that the set {z: z ~ y} is always closed. Finally, to prove the
first Statement of the Iemma, if B is a subset of E (or of E*) with an
upper bound, then Iet d be the family of finite subsets of B directed
by ::::>, and for A in d Iet xA be the supremum of the set A. Then
the net {xA, A E d} is monotonically increasing and bounded, and its
Iimit is the supremum of B.lll
The preceding Iemma has important consequences which concern
the topological structure of the spectrum X and the nature of the
measures mx.
24.11 LEMMA The closure of each open set in X is both open and
closed. For each x in E, the measure mx vanishes on Borel sets of the
first category.
PROOF Let U be an open set in X, Iet B be the family of all non-
negative continuous real functions which are 0 on X ~ U and are
bounded by 1, and Iet f be the supremum of the set B. Then f is a
continuous functirm which is 1 on U, because for each s in U there
is a member of B which assumes the value 1 at s. Qn the other hand,
if s f/3 U - then there is a function g which is an upper bound for B
such that g(s) = 0. It follows that f must be the characteristic
function of U-, and hence U - is both open and closed. To prove
the second statement of the Iemma it is necessary only to show that
mx(S) vanishes for each nowhere dense Bore! subset S of X, and it
may be assumed that x is a positive member of E. Let B be the
family of all continuous real functions on X which are bounded by 1,
are non-negative, and are zero on S. Then B is directed by ~ , and,
since S is nowhere dense, it is easy to see that the supremum of B is
the function which is identically one. The net {!, f E B} converges
w* to 1, and hence Jfdmx-+ f1dm:r. For e > 0 there is then f in B
such that e > f (1 - f)dm:r ;:;; 0, and since (1 - f)(s) = 1 for s in
S, m:r(S) < e.[[l
The second statement of the preceding Iemma shows that the L
space E maps into a sublattice of the space of all signed regular Bore!
measures which vanish on first category Bore! subsets of X. It
remains to show that E maps onto the latter dass. The following
SEC. 24 LAND M SPACES 245
method of attack is used. Suppose n is a positive regular Borel
measure which vanishes on sets of the first category. Let B be the
set of measures of the form mx such that 0 ;:;;; mx ;:;;; n, and let p be the
supremum of B. This supremum exists, in view of lemma 24.10
applied to the L space E**, and the suprema of finite subsets of B
converge top relative to the norm topology. Since E is isometric to
a closed subspace of E** it follows that p = my for some y in E. If
p = n then n belongs to the image of E; otherwise n- pisapositive
regular Borel measure, zero on sets of the first category, such that no
non-zero positive mx is less than n - p. The following lemma then
completes the proof.
248
LIST OF SYMBOLS
(Page nurober indicates where symbol first appears)