Professional Documents
Culture Documents
ANALYSIS
MAA STUDIES IN MATHEMATICS
Published by
THE MATHEMATICAL ASSOCIATION OF AMERICA
Committee on Publications
E. F. BECKENBACH, Chairman
F. F. Bonsall
University of Edinburgh, Scotland
E. W. Cheney
University of Texas, Austin
J. Duncan
University of Stirling, Scotland
William B. Johnson
The Ohio State University, Columbus
R. R. Phelps
University of Washington
Hi. H. Schaefer
University of Tiibingen
Federal Republic of Germany
Studies in Mathematics
Volume21
R. G. Bartle, editor
University of Illinois at Urbana-Champaign
Currentprinting(lastdigit):
10987654321
INTRODUCTION
ROBERT G. BARTLE
CONTENTS
INTRODUCTION
Robert G. Bartle, vii
NUMERICAL RANGES
F. F. Bonsall and J. Duncan, |
INDEX, 223
INDEX OF SYMBOLS,227
xi
NUMERICAL RANGES
x <Tx,x),
CX, YD =X HAn®s
with a* denoting the complex conjugate of a€C. They will be
familiar with canonical quadratic forms and their application to
the study of conics and quadrics. They will have encountered
positive quadratic forms and their application to inequalities and
max-min problems. But it is likely that they have never met the
classical numerical range of T, namely the set W(T) of complex
numbers given by
Ilxl|=<x,x)2.
The symbol T will denote a boundedlinear operator on H, and I
will denote the identity operator on H. Werecall that there is then
a unique bounded linear operator 7*, the adjoint of 7, which
satisfies (Tx, y>=<x,T*y> for all x, ye H. We recall that T is
self-adjoint if T* = T,is positive if it is self-adjoint and <Tx,x> 20
for all x EH,is normal if T*T=TT*, and is unitary if T* T= 7T*
=I, The notation T 20 denotes that T is positive.
W(T)CReT*=T. (1.2)
that is, the convex hull of the spectrum is contained in the closure
of the numerical range.
(T)=|T|l. (1.8)
Let A(a,«) denote the closed disc in the complex plane with center
a and radius x, and suppose that Sp(T) Cc A(a,k). Then Sp(T— al)
CA(0,x), and so, by (1.7), r(T—al)<«. But T—al is normal.
Therefore || T—al||<«, and Giii) gives W(T— al) CA(Q,«), and so
W(T)cA(a,). We have proved that every closed dise containing
Sp(T) contains W(T), and therefore clW(T)CcoSp(T). With
(1.5), this proves (1.6).
Besides giving a set within which the point spectrum mustlie,
the numerical range can be used to prove that certain points are
eigenvalues. The simplest result of this kind is as follows:
[| Sxqll? <W(S)CSxy5%p)s
and so lim,_,,, Sx, =0, that is lim,,,.(7 + T*)x, =0. By (1.10), we
may replace T by eT with —&<6@<6, and so lim,_,,,(e°T+
e~°T*)x,=0 for all such @. Therefore lim,_,,,7x,=0, and so
0ESp(T).
If also OG W(T) the sequence {x,} is replaced by a vector x
with ||x||=1 and <7x,x>=0. Then we obtain Sx=0 and finally
Tx =0 as required.
1 1
(5(r- T*\y.¥) = (KD.9)~&, BY) = 21MTY».
T*=T>||T||=0(T). (1.15)
This follows easily from the fact that r(T)=]|T|| for self-adjoint
operators T. Alternatively, by (iii) it is enough to prove that
|| 7 || <w(T). Suppose that w(T) <1; then +¢Tx,x> <<x,x>, and
so 1+ T>0. By(vii) we have
w(T)=0=>T=0.
NUMERICAL RANGES 9
0 1 0 0
001 0
000 1;
0 0 0 0
Consequently, there was some surprise when C. Berger (see [3])
proved the following ‘power inequality.’
Re((I- T")x,x> 20
I(Tx)
with xEX and fEX’ chosen in some way. If we examine the
classical numerical range from this point of view somepossibilities
soon becomeapparent,
Given a Hilbert space H and a vector y EH,let f, denote the
linear functional on H defined for x GE H by
[x,y]=0 fory=0,
W(T)CcV(T).
The following example shows that W(T) may be quite a thin
subset of V(T).
IxIlo0=sup{|x(1)|:0<t<1).
For each x E S(X) choose a point 7, €[0,1] at which the func-
tion x(-) attains its norm, i.e., for which |x(¢,)|=1. Then let y(x)
NUMERICAL RANGES 13
W(T)={x(t,)*(Tx)(t,):x €S(X)}.
In particular, let ¢€ C[0,1] and let M, denote the multiplication
operator on X given by
Then we have
W(M,)=($(t,):xES(X)}.
(a) Given 1€[0,1], we can choose a function x@S(X) that
attains its norm only at t, and so has 4,=¢. Thus
W(M,)= {¢(1):1€[0,1]};
hence, this numerical range of the operator M, is the curve given
by the range of ¢.
(b) On the other hand,if p is any probability measure on [0,1],
then the corresponding functional on X is an element of D(1)
where | is the function with the constant value ]. Thus
1
fodu()= n(o) = w(Mgl) € VM);
and so V(M,) contains the convex hull of the range of9.
Also (T"x, T’x> =||T"x||?= ||x||?, and so ¥({< 7x, T"x) }) = || x||?.
It is now easy to see that [ , ] is a semi-inner product determining
the norm of X, and the translation invariance of Y showsthatit
satisfies (2.3).
NUMERICAL RANGES 15
V(B,T)={9(T):¢€ D(D)}.
16 F. F. Bonsall and J. Duncan
V(T)CV(B,T). (3.2)
To see this, let xe S(X) and f€ D(x), and define @ on B by
¢(T)=f(Tx). Then |p(T)| < || fll [| TxIl <|| Tl] and ¢)=fe)=1.
Thus ¢€ D(J) and f(Tx)EV(B,T). Thus (3.2) holds, and the
mapping 7+ V(B,T)is a printer.
For the rest of this section we assume that ® is a printer on
BL(X) and that T € BL(X). With A a complex number, we denote
by d(A,®(T)) the distance of A from ®(7). Many results follow
easily from the simple observation that
All the examples of printers that we have discussed above have the
stronger property
which gives
thatis,
where G,,...,G, are the Gershgorin discs for the matrix (a;,).
Given x& S(X), we choose an integer k(x) €{1,2,...,2} such
that |f,.()|=1. We then define a mapping yy: S(X)—S(X’) by
taking
W(T) = {Y(x)(Tx):xES(X)}
= { feo) "fro Tx): x S(X )}.
WT)c U &.
1<k<oo
(Tx)(z)=zx(z) forzEE,xEX.
Then we have
For the spatial numerical range V(T), more has been proved.
An important theorem of Bishop and Phelps (1961) on the geome-
try of Banach spacestells us that the set of functionals fe S(X’)
such that fE D(x) for some x€S(X) is norm dense in S(X’).
Using this theorem, Williams (1967) proved that
-1 -l -1
Ja,w, 2) + aw, Zy++°: +a,W, 2,|<1
4 ay
72
a2
|n z a,
pe tla
a2 Zz a,
Ab 41-A Am 41-A Ww,n
<1.
WwW) W2
Therefore
Wehave
and as A-0,
Zz
Oem ay tee tay,
There exist eigenvectors a),...,a, with a, 40, Ta, =\,a, (1 <k <r).
The vectors a,,...,a, are linearly independent, and so Theorem 8
gives complex numbers w,,...,w, such that x=w,a,+--> +w,a,€
S(X) and f € D(x) such that f(w,a,)= a, for k=1,...,7. Then
The proof has three ingredients; the fact that 9Sp(T) CapSp(T), a
classical theorem of Carathéodory on convexsets in finite dimen-
sional spaces, according to which each point of coSp(T) is a
convex combination of at most three points of dSp(T), and
Zenger’s theorem. The ingredients are put together with an ap-
proximation argument. (For the details, see NR II, pp. 19-20.)
30 F. F. Bonsall and J. Duncan
>6\[x|| for all xEX and ||\(¢T- S)*f{| >| f|| for all fEX’; it
follows that {7— S is invertible in BL(X). Finally
t1-T-'S=T-({T-S),
and so {/— T'Sis invertible, or § ¢Sp(T ~'S).
T=2A,P,,
NUMERICAL RANGES 33
and that } is the best possible powerof n; in fact, that sup, n2|Aql
<oo is not enough.
If we replace convergence of the series SA, P,, by Fejér-Bochner
summation of the sameseries, the theorem holds withoutrestric-
tion on the eigenvalues. This was proved for weakly complete
Banach spaces by Yu. I. Lyubié [Ju. I. Ljubié] (1960) (see NR II,
§28) and extended to general Banach spaces by Bollobas [5]. A
key step in the proofis the fact that for each x EX and fEX’, the
mapping tt>f((expitT)x) of R into C is uniformly almost periodic
on R, whenever 7 is a compact Hermitian operator on X.
= jim
lim 7! "(||1 + tal] - 1), .
(6.2)
max Re V(a)= sup ¢~' log||exp(ta)||
t>0
= Jim
lim ¢7! £~"logilexp(ta)|{ . .
(6.3)
1 dz
a= Fai JexPea)S,
This gives Re(e?f(a”)) <0 for all |0|<y, and so f(a’)=0. The
above reasoning now gives
1>|14+22°e*%(a*)}-O(t4) (190+)
and hence f(a?)=0. By induction we obtain f(a")=0 for all
n= 1,2,3,... and so
_fl 0)
3 (5 o}"
It is evident that Sp(a)= {0,1}, and with sufficient industry, it may
be verified that V(a)=co{0,1,5(1+4), $(1—i}.
(h,K)Rhk + kh.
The first statement follows from (6.2) and consideration of the
identity
= ||1+2h?||
=1+0() (#0).
Thus A=p, h+iA@Her(A), and since Sp(h*)=Sp(h)* and also
Sp(A+ iA) CR,it follows that \=0, A Her(A). The Vidav-Palmer
theorem has useful applications even in the commutative case.
THEOREM 15: Let Her(A’) denote the real linear span of D(1).
Then J(A)= A if and only if Her(A’)n iHer(A’)= {0}.
For aGA we write v(a) for the numerical radius of a; that is,
o(a)=max|V(a)|. In Theorem 12 we applied a contour integration
argumentto establish that ||a||<ev(a). Given an element a of A
such that V(a) CE, where E denotes the closed unit disc in C, the
norm ofa is at moste. It is natural] to seek estimates for the norms
of polynomials in a.
e n
lla a ll<nt(
f= n
=) v(a)’. (8.1)
n_ ni dz
0 Oni fexp(za) ar
it follows that ||a”|| <n!e"/n", as required.
V(a)= () {A:|z-N<jlz—all}.
zEc
(9.1)
It follows that the numerical range of a is unchangedif we work in
any subalgebra of A that contains | and a. Thesituation for
quotient algebras is rather different.
VAT)=V(a(T)),
where V(r(T)) is the algebra numerical range in the Calkin
algebra over X.
when X is a Hilbert space follows easily from the fact that the
Hermitian elements of a B*-algebra are precisely the self-adjoint
elements.
The Calkin algebra over an arbitrary Banach space has been the
object of considerable study (see [2]), but in this generality many
questions about essential numerical ranges remain unresolved.
For the remainder of this section H denotes an infinite dimen-
sional separable Hilbert space and A= BL(H). We shall now
denote the essential numerical range of TEA by WT) in order
to relate it to the classical numerical range W(T). Given a closed
linear subspace M of H, we write P,, for the (orthogonal) projec-
tion of H onto M, and pr,,(T) for the compression of T to M;
thatis,
Pry (T)=PyT|M.
Tim,
:
|x yx x,1?=1-|[x1?.
Ho p—nyi2
(9.3)
Supposethat||x||=1. Then, by (9.3), lim,_,.,||x — x,|]=0 and so
-0 as n>.
We have now shown that there exist a,8>0 with ia, —iBE
cl W(T), contrary to the hypothesis that 0G extcl W(T). The proof
is complete.
REFERENCES
Books
NR I F. F. Bonsall and J. Duncan, Numerical Ranges of Operators on’ Normed
Spaces and of Elements of Normed Algebras, London Math. Soc. Lecture
Note Series, no. 2, Cambridge University Press, Cambridge-New York,
1971.
NRII » Numerical Ranges II, London Math. Soc. Lecture Note Series, no.
10, Cambridge University Press, Cambridge-New York, 1973.
NUMERICAL RANGES 49
E. W. Cheney
Lx= D f(y
i=]
(2)
where the functionals f, are real-valued and defined on X. Elemen-
tary arguments show that each f; is linear and continuous. Thus f,
belongs to the conjugate space X*. Equation (2) can also be
written in the equivalent tensor form
L= > f®y,
i=]
(3)
If no additional assumptions are made, almost nothing useful
can be said about the accuracy of the approximations produced by
L (i.e., about(|x — Lx||). The missing ingredient here is an assump-
tion about how close the numbers||x — Lx|| and dist (x, Y) are to
each other. Let us impose, then, an eminently reasonable condi-
tion
n n t—t
Px= D> x(t)y, where y()= I] —~ forij=I,...,n.
i=l ga GG
i#i
Onecan see easily that y,€ Y and y,(¢,)=4,,. It follows that Px is a
polynomial of degree at most n—1 and agrees with x at the points
t,,-..,f, This in turn implies that if y @ Y then Py=y (for Py —y is
a polynomial of degree <n—1 having n roots, and must therefore
be 0). The projection P can be written in tensor form as
P= 37215 OY)
where the notation f denotes the point-functional corresponding to
t: (x)= x(2) for all x € C[a,b].
3. PROJECTION CONSTANTS
Thus, there are sound practical reasons for seeking those projec-
tions of X onto Y for which ||P || is least. The number
ACY) =sup{A(¥,X):XD Y}
is the absolute projection constant of Y.
Px=Zf(x)L~o,==(L*0,x)L~',
= L~'D(v,,Lx)v,= L~'S(Lx,v,)v,= L~'Lx =x.
Thus P is a projection of Z onto X. In orderto estimate||P ||, let
zEZ, ||z||<1, pEX*, and |/p|| <1. By the Cauchy-Schwarz In-
equality,
< (ZIFIP)(21g?)
< (SIL*o2)'7(3(L*-19,0,))
<(Vn)|L*~'9ll< Va.
Hence ||P||< Vn. O
Proof: If both factors in the right side are finite, it is clear that
ACY) < oo. Let P be any projection of X onto Y. Let A CB andlet
LE&(A,Y). Then LE&(A,X). For any €>0, by the equivalence
of (1) and (4) in the preceding theorem, Z has an extension
L’'E£(B,X) such that ||L’|| <[e+ACX)]||Z||. Observe that Z has
PL’ as an extension in £(B, Y) and that
4. MINIMAL PROJECTIONS
THEOREM 12: The Fourier projection of C,,, onto the nth order
trigonometric polynomials is minimal.
(Fx=
F 32xs+)D,(s)ds
1;
in which D,(s)=sin(n+})s/sin}s (the Dirichlet kernel). Conse-
quently, the norm of the operator F,, which is obtained by taking
the supremum of || F,x|| as x ranges over the unit sphere of C,,, is
the number
1 7
P,= Qn J |PaCsdIs.
62 E. W. Cheney
This numberis known asthe nth Lebesgue constant, after the work
of Lebesgue [33]. Many other authors have studied this sequence,
among them Szeg6, Fejér, Watson, Rivlin, and Stetkin. Perhaps
the most elegant result is this one of Galkin [13]:
=(4/7?)log2n+l)+1—-6, (0<e,<0.0103).
The next example is a projection of rank m in the space C[a,DJ.
Select points (“nodes”) a=1,<t,<-+-+ <1,=05. Let Y be the n-
dimensional subspace of functions which are linear in each inter-
val [¢,,t,4.,]. This is a useful subspace; it plays a réle, for example,
in the Trapezoid Rule for numerical integration. A natural projec-
tion onto is the operation of interpolation at the nodes. Thusfor
each x€C[a,b], Px is the unique element of Y which takes the
same values at the nodes as x. For #€[t¢,,t,, ,], (Px)(#) is a convex
combination of x(t) and x(t,,,). Hence ||Px||<max,|x(¢,)| < ||>||
and ||P ||=1.
The subspace Y described above is obviously isometric to /,
and it is therefore not surprising that it is the range of a norm-1
projection.
Next we consider a space Y in C(T) whichis isometric to /(”.
Let T be the union of 2” disjoint closed sets T;, and let a basis
Y»--+¥n for Y be defined as follows: on T; the function y(t) is
constantly equal to (—1)*, where k is the greatest integer in
(j—1)2'—". These functions are called Rademacher functions after
the original work [43]. In order to define a projection, select a
point 4€T7, (1<i<2”) and let Px=X<x,y,>y, with (x,uw)=
2-727.(ius).
The verification that this projection is minimal proceeds in four
steps. First one proves that Y is isometric to /{”. In fact, for any
n-tuple (a,,...,a,), we have ||5?_,a,y;||,o= 27—1|a;|. Secondly, one
requires the fact that A(/{)=2- "(m+ ny 2m ), with m=| ” 5 ‘|.
This was established by Griinbaum in [16]. See also Daugavet’s
work [6]. Thirdly, one requires a calculation to show that ||P||
equals this very same number; this was done by Rademacherin
[43]. The proof is completed by an appeal to Theorem 9 above.
Why do we not give as examples the minimal projections of
C[a,b] onto IL, or onto subspacesof spline functions? The answer
PROJECTION OPERATORS IN APPROXIMATION THEORY 63
is that these are not known, in general. The case of IJ, is trivial
and is subsumed by the example of piecewise-linear functions
described above. However, for n 22, the minimal projections and
the projection constants of II, are not known. The spaces II, are
of such importance that there would be much interest in discover-
ing their projection constants. The scarch would undoubtedly lead
to some newprojections of great practical value, especially if they
utilize simple linear functionals. The best currently available
estimates of A(II,,) are given in the next theorem.
\toP || =|| P||. These special points are exactly the maximum points
of the Lebesgue function of P: Ap(t)=||¢° PI.
Someof the results cited above enable us to answer in a simple
manner the following question: Do there exist projections
P,:C[—1,1]-I, such that || P,x—x||0 for all x&C[—1,1)? If
such projections exist, then by the uniform boundednessprinciple,
sup,||P,|| <0. But we have just seen that|| P,|| > 4p, >(2/)logn,
and thus the question must be answered negatively. Of course, the
non-linear proximity maps M,: C[—1,1]-IL, do indeed have the
property ||4,x — x||0, and they are idempotent. Thusit must be
the property of linearity required of P,, which spoils their conver-
gence properties. Moreprecisely, it must be the additivity require-
ment, for the maps M, are homogeneous.
If P, is a projection of C[—1, 1] onto II,for what functions x is
it true that ||x—P,x||-0? By Theorem 5, each x satisfying
||P, ||\dist(x,II,)—-0 has the property ||x— P,x||->0. For an exam-
ple, let P, denote the Fourier-Tchebycheff projection. If x€
C[-1,1] and if x possesses a continuous derivative, then
dist(x, II,)<k/n by Theorem 2. Thus
v3 iA a
Wall —1+—35~ max,max 4-4? P49 PAD, J
The right side of this inequality can becomeinfinite with n for
some choices of nodes.
& bee ow ee ee
~
~
a
rx)
oe
FS
uw
By means of an affine map thr’=at+B, the nodes can be
spread out so that a=t,<-:- <4 =b,It is not difficult to see that
the interpolating projection corresponding to the new nodes has
norm no greater than that of the original projection. Thus if our
goalis to discover the distribution of nodes for which||P || is least,
we can assume that the endpoints of the interval are nodes. This
reduces the set of parameters to {t,,...,f,_}.
It was conjectured by S. Bernstein [BernStein] in 1932 that when
the minimum of|| P|| is reached, the local maxima of the Lebesgue
functions must be equal. (In stating this conjecture it is assumed
that the endpoints are nodes; thus there are n—1 local maxima.)
The correctness of this conjecture was finally established in July
1976 by T. A. Kilgore [27].
To some extent, the theory of finite dimensional interpolating
projections can be carried over to more general subspaces YC
C(T). Butif an interpolating projection P=2"_,f,®y; onto ¥ is to
exist for any choice of n nodes ¢,,...,¢,, then Y must have the
“Haar” property previously defined. This property was introduced
by Haar[17] in 1918. By a theorem of Mairhuber[35], extended by
Curtis [5] and Sieklucki [47], the space C(7) can contain a Haar
subspace of dimension 2 or greater only if T is homeomorphic to a
subset of a circular arc. Thus the hypothesis that 7 is a real
interval does not impose a severe restriction in these problems.
70 E. W. Cheney
0=Ly,= >fly)== p=
S£0) S
> Si(4)y, (1<j<n).
Since the set {y,,...,¥,} is linearly independent, then we must
have Di f(u,)£(,)=0 for 1<i,j<n. This condition can be
written in matrix form as BA=0, with B,=(f(u,)) and 4, =
(f,(,)). Thus an admissible set {u,,...,u,,} can be obtained from
any matrix B satisfying B4=0 via the equations u,=27_,B,,y,
(1 <»<m). Now the rows of B must be orthogonal to the columns
of A, and the orthogonal complement of the columnsspace of A is
generated by the rows of the matrix
nei forn<j<m.
Thus each row of B must be a linear combination of rows of D,
and the matrix equation B=CD is valid with C an unconstrained
nX(m-— n)-matrix. Thus
n m—n
P=0-L=Sf@ly-> Sc
i=l p=l j=l
where ext denotes the set of extreme points and S(X) is the unit
sphere of a space X. The norm of P can be expressed as
with
7, PROJECTIONS IN £,-SPACES
G(t)=u(t)+e, on B,
=(1-e)u(t) onC.
16 E. W. Cheney
Acknowledgments. When there were matters that I did not understand, I tuned
for help to my colleagues Elton Lacey and Carlo Franchetti. I thank them fortheir
assistance and their patience. They are not to be blamed for myerrors.
REFERENCES
Uspehi Mat. Nauk, 28 (1973), no. 6 (174), 77-94= Russian Math. Surveys, 28
(1973), 77-95.
26. M.I. Kadec and M. G. Snobar, “Some functionals over a compact Minkowski
space,” Mat. Zamerki, 10 (1971), 453-457 = Math. Notes, 10 (1971), 694-696;
MR45 # 861.
27. T. A. Kilgore, “A proof of Bernstein’s conjecture in the theory of interpola-
tion” (to appear).
28. T. A. Kilgore and E. W. Cheney, “A theorem on interpolation in Haar
subspaces,” Aequationes Math., 14 (1975), 391-400.
29. A. N. Kolmogorov, “Uber die beste Annaherung von Funktionen einer
gegebenen Funktionenklasse,” Ann. of Math., (2) 37 (1936), 107-111.
30. P. P. Korovkin, Linear Operators and Approximation Theory, Fizmatgiz,
Moscow, 1959 (Russian); translation, Hindustan Publishing Corp., Delhi, 1960.
31. , “On convergenceof linear positive operators in the space of continu-
ous functions,” Dokl. Akad. Nauk SSSR, 90 (1953), 961-964 (Russian).
32. H.E. Lacey, The Isometric Theory of Classical Banach Spaces, Springer-Verlag,
Berlin, 1974,
33. H. Lebesgue, “Sur les intégrales singuliéres,” Ann. Fac. Sci. Univ. Toulouse,
Ser. 3, 1 (1909), 25-117.
. G. G. Lorentz, Bernstein Polynomials, Univ. of Toronto Press, Toronto, 1953.
35. J. C. Mairhuber, “On Haar’s theorem concerning Chebychev approximation
problems having unique solutions,” Proc. Amer. Math. Soc., 7 (1956), 609-615.
36. J. Marcinkiewicz, “Quelques remarques sur l’interpolation,” Acta Litt. Sci.
Szeged, 8 (1937), 127-130.
37. P. D. Morris and E. W. Cheney, “On the existence and characterization of
minimal projections,” J. Reine Angew. Math., 270 (1974), 61-76.
38. F. J. Murray, “On complementary manifolds and projections in spaces L, and
J,” Trans. Amer. Math. Soc., 41 (1937), 138-152.
39. V. P. Odinec, “On uniqueness of minimal projections in Banach spaces,” Dokl.
Akad, Nauk SSSR, 220 (1975)= Sov. Math. Dokl., 16 (1975), 151-154,
. S. Paszkowski, Polynomeset series de Tchebycheff, Séminaire d’Analyse Numé-
rique, Univ. Grenoble, 19 May 1971.
41. R. R. Phelps, “Uniqueness of Hahn-Banach extensions and unique best ap-
proximation,” Trans. Amer. Math. Soc., 95 (1960), 238-255,
42. E. D. Positselskii [Posicelskii], “Projection constants of symmetric spaces,”
Mat. Zametki, 15 (1974), 719-727 (Russian) = Math, Notes, 17 (1974), 430-435.
43. H. Rademacher, “Einige Satze uber Reihen von allgemeinen Orthogonalfunk-
tionen,” Math. Ann., 87 (1922), 112-138.
. T. J. Rivlin, The Chebyshev Polynomials, Wiley, New York, 1974.
45. N. A. Sapogov, “Norms of linear polynomial operators,” Soviet Math. Dokl., 3
(1962), 602-604.
. R. Scholz, “Abschatzungen linearer Durchmesser in Sobolev- und Besov-Rat-
men,” Manuscripta Math., 11 (1974), 1-14; MR 50 # 8054.
47. K.Sieklucki, “Topological properties of sets admitting the Tschebycheff sys-
tems,” Bull. Acad. Polon., 6 (1958), 603-606.
48 . P. C. Sikkema, “Der Wert einiger Konstanten in der Theorie der Approxima-
80 E. W. Cheney
.
William B. Johnson
1. INTRODUCTION
In [2] Per Enflo gave the first example of a Banach space which
fails to have the approximation property, thus solving the best-
known open problem in the geometric theory of Banach spaces. It
is not surprising that Enflo’s results and techniques have been
used to solve many other problems in Banach spaces and such
closely related fields as uniform algebras. In this paper we will
describe, for example, how A. Szankowski and the author [8]
applied extensions developed by Davie [1] and Figiel [3] of Enflo’s
result and techniques, to prove the nonexistence of a separable
Banach space which is complementably universal for the class of
all separable Banach spaces.
The research for this paper was supported in part by NSF-MPS 72-04634-A03.
81
82 William B. Johnson
There are now two ways to complete Problem 2.1. The more
direct way is to show that, when X is separable, there is a
continuous function from [0,1] onto the compact metrizable space
(By.,w*). This can be done by proving that there is a continuous
function from [0,1] onto any compact, connected, locally con-
88 William B. Johnson
X(%,)=Sim =1 forn=m,
=0 forném."
s( 2 ax)= Day
i=l i=l
Theoperator S extends to an isomorphism from X =span(x,) onto
Y=span(y,) and Sx =X9_|x*(x)y,, where (x) is the sequence in
X* which is biorthogonalto (x,).
With these preliminaries out of the way, we can state a recent
(slight) improvement by Schechtman [21] of a result of Pelezynski
[16].
Before hints on how to solve Problem 2.2 are given, two simple
remarks are in order. First, a subsequence of a basic sequenceis
basic (the uniqueness condition follows from the continuity of the
biorthogonalfunctionals). Second,it is not true that, givenabasis
(x,) for X and subsequence (x,) of (x,), the subspace span (x,)
92 William B. Johnson
D %2Z, <r
i=l i=] i=l
that is, (S,) acts like the partial sum projections with respect to
some basis, except that dimS,X is not necessarily n. One can,
however, define the basis-like structure E,=(S,—S,_,)X (where
S)=0). Then (E,) is a sequence of finite dimensional subspaces of
X, E,N£,,=& for n#m, and for each x EX, there is a unique
sequence e, GE, (namely, e,=(S,—S,_,)x) which satisfies
||~-_=_,e,||->00 as Noo. For obvious reasons, (E,) is called
the finite dimensional decomposition (or {.d.d.) for X determined by
S,- As in the basis case, if (E,) is a sequence of finite dimensional
subspaces of X and there is a constant A< oo such that ||>7,e\|| <
All=7_=1 el] whenever e,€ E,, n<m, then (E,) forms an f.d.d. for
span E,..
N
m+i1
(X ®X@---),O(XOX@--+),O-++),
is isometrically isomorphic to (X ®X @---),, no matter what X is.
PROBLEM 2.8 (i): The operator Pis a norm one Projection, and
hence extends to a norm one projection from A onto x.
n(1) n(2)
H2)=e0+| > «iad))=+( > ass8)3(08)}?
tees t(-++)z7,
where n is the degree of f. Argue that [u(z)| <1 whenever |z| <1.
Use the Cauchy integral formula to show that |u’()|<1, and
observe that u'(0)= D7, c,£,(x#)= P(x).
PROBLEM 2.8 (ii): Jf, in the notation of Problem 2.8, X has the
b.a.p., then A may be taken to have the b.a.p.
98 William B. Johnson
Later (after Problem 4.8 below), we give a hint for Problem 4.6,
but first we want to indicate how Problem 4.6 is related to Enflo’s
original intuition. The counterexample in J, to the c.a.p. requires
estimates in the norm of /,({—1,1}”) which come out of Problem
4.6. Estimates in |, (2<p<oo) can be gotten from estimatesin /,
104 William B. Johnson
w+? DS <Twllliz?)
wEew
Be BPR2)
wewr wEew wewt
<7[204),
wEw 00
=0 otherwise;
Therefore,
SeSSE 3)
xr Aw-
wewt wew-
Am < | 724-721,
wo
7f=|G\"' SU,TU,(/).
gEG
PROBLEM 4.8: IT Veo < IIT Heo: The mean trace of T over any
subset A of W is the same as the mean trace of T over A. The
operator T commutes with each U.J, and hence T is diagonal with
respect to the basis W.
Hint for Problem 4.8: The point of Problem 4.8is that 7 is the
diagonal of T relative to the basis W. This purely algebraic fact is
106 William B. Johnson
k
y= I a- Ry — Ry Ry .Ry) Ta Roy +i):
j=
|A|=3[2[=2"7), |[Bl=317|=2",
|p(B)NAl=1, |p~'(a)|=4
108 William B. Johnson
for aE U , Ai and | p(B) 0 p(B,)| <2 when j,k EJ, j#k. Conse-
quently, there is a function h from (W,,:n=5,6,...5 1<j<2"}
into V=U {W,5n=4,5,...5 1<j<2")} such that for each n>5,
J,k <2", and wE& V, we have:
n—t
moreover, define
Our goalis to show that X, fails to have the c.a.p. for all p >2.
We begin with a trivial problem:
lo(T)-Y(T)| <2-14?)TI].
The point of the gluing procedure used to construct X, is that
¢,(*) simultaneously acts like the mean trace over U, W,", and
the mean trace over LU, W,,.1,,- Thatis, (¢,41— $,(T).looks like
the mean trace of T over U,W,41,, minus the mean trace of T
over U, Writ, which should be small relative to ||/7||; more
precisely, that
so that
2"
Jw=e, ifwew,t,
= Cn(w) if we Wake
and extend J linearly to an operator from span W,,, into X,. Let
Y=Vnk=Zwews,."— Zwew,, be as in Problem 4.8, andset A,,
={2'-JU,y :g EG,,}-
Hint: We have
Note that ||Z)||,. = ||Z3l|,,= 1. Problem 4.9 (ii) and (iv) imply that
IlZsllo <2. Observe that z,~z,=U,y, so that by Problem 4.6, we
have ||z,;—Z4l|. <2-2"/2.
REFERENCES
R. R. Phelps
1. CHOQUET’S THEOREM
The author would like to express his thanks to Erik Alfsen, Niel Bogue, Richard
Bourgin, Alexander Petczynski, and David Pengelley, who read andcriticized the
first draft of his manuscript. He would also like to thank Boston Marathoner and
artist, Mary Miller, who did the drawings.
115
116 RR. Phelps
D> ax, EK
k=l
x=i(y+z), y,zEK
6(A)=1 if xEA,
=0 ifx¢A.
ffau= INS,
118 R. R. Phelps
B= D>) O65
1
T{ ax+(1—a)y]=aT(x)+(1—a)T(y)
Ifll=sup{|f(x)[xEX}, fEec(x).
The Borel subsets of X are defined to be the smallest o-algebra of
subsets of X which contains all the closed subsets. By a measure
on X we will mean a nonnegative finite measure » on the Borel
sets that is regu/ar in the sense that, for each Borel set B CX, we
have
ur>(u,z)
{xEK:f(x)<A}
is open. Since open sets are Borel sets, this also shows that the
function f is Borel measurable. It also follows easily from the
definition of f and fromthe fact that the functions in A(K) are
affine that the function f is always concave. Since A(K) contains
the constant functions, any upper boundfor f is an upper bound
INTEGRAL REPRESENTATIONS FOR ELEMENTS OF CONVEX SETS 123
FIGURE 1.
so A represents x and
8(x)—|lg—fll<a
whenever gGA(K). Indeed, if hE A(K), then 2(x)—A(x)<
lle-All<|lg—fil+llA—SIl, so
a(x) —|e-fIl <A(x) + IA -Sil;
now take the infimum of the right-hand side. Next, define LZ on B
126 R.R. Phelps
by
L(h+ rf)=h(x) + ra (hE A(K),r real).
This is an extension to B of the evaluation functional ZL, on A(K),
so L(1)=1. We also have ||Z||=1. To show this we need only
show that||Z|| <1; thatis,
—a(x)+a<||g-fll
which is immediate from the definition of a. The case r=0 is
obvious, while if r<0, the desired inequality is equivalent (again
writing g=—r~'h) to
g(x)-a<||g—-fll
which is in turn equivalent to the useful inequality proved above.
By the Hahn-Banachtheorem,we can extend L to a functional
L’ of norm 1 on all of C(K). Since ||L’||=] and L’(1)=1, we have
L’(g)>0 whenever g€C(K) and g20. [Indeed, if g>0, then
0<|| gl|-—g<|lg||, which shows that
Nl gll—s)il<igll-
Consequently
If h’€ A(K) and h’ >f, then h’ >f so ph’) > p(A) and therefore the
right side of the above inequality dominates p(f). The infimum of
the left side over all Ain A(K)is precisely a= L(f)=n(/f), so that
uCS) 2 w(S). Since f < f, the reverse inequality is immediate and the
proof is complete.
T(L)=(2-"L(5,)/ Walnet?
The sequence 7(L) is an elementof /,, since |L(f,)|<™M||J,|| for
each n and therefore
LPeL(f)
Since { f,} is bounded, we have|| f,|| <M for some Mf >0, hence
|LCf,)|<M for each LEU. By hypothesis, L(f,)—>L(Jo) for each
LeextU and hence, by the Lebesgue dominated convergence
theorem,
LAh=fEMtdau(L)>fiL(fo)du(L) = LolSe)-
Sincethis is true for each L,€ E*, the proof is complete.
generated by {f,} and fo, then uses the Hahn-Banach and Krein-
Milman theorems to show that each extreme point of the (metriz-
able) unit ball of Ef is the restriction to Ey of an extreme point of
the unit ball of E*.]
M(f)=L(fg)-L(/)L(g), fec(x).
INTEGRAL REPRESENTATIONS FOR ELEMENTS OF CONVEX SETS 131
from X into P, (in the weak* topology); the fact that C(X)
separates points of X shows that @ is one-one and hence the
compactness of X implies that ¢ is a homeomorphism from X onto
1p(X) =ext P;. This completes the proof.
LAA =f L(f)du(L).
ex tK
only measurable sets B which satisfy 7TB=B are Q and the empty
set. Since one wants to consider more general maps 7, we replace
TB=B by T~'B=B and,in orderto ignore sets of measure zero,
we replace the conclusion that B=@ or B=Q by p(B)=0 or
p(B)=(Q), which we assumeis finite. Finally, we can further
ignore sets of measure zero if we replace T-'B=B by
p(T ~'BAB)=0, where, for any two measurable sets B,, B,, the
symmetric difference B,AB, is defined to be the set (B,\B,U
(B,\B,). Thus wearrive at the following definition.
p= (A), +[1—p(A)] »,
we see that p, is also invariant; moreover, pw is a nontrivial convex
combination of invariant measures, hence is not extreme.
The proof of the converse, while still elementary, requires more
work; werefer the interested reader to [12, Section 10].
dividing by A, we obtain
2(u—y,z) <Allu—y|].
If we then take the limit of this as A-0, wesee that theleft side is
bounded above by 0; hence
R*K= (Ax:A20,xE K}
(b)
x (p+ x)n(P+y)
— eee ee
(@)
FiGure 2
145
146 R. R. Phelps
J$@)du(x)=10)
for any continuousaffine function f on K. But since u(ext K)=1,
INTEGRAL REPRESENTATIONS FOR ELEMENTS OF CONVEX SETS 151
<h(0),
whichis a contradiction.
Borel set B by
The result above clearly shows how the Choquet theorem sharp-
ens the Krein-Milman theorem,since the former always gives us a
representing measure on the extreme points, rather than on their
closure. Thatthis is a significant improvementis bestillustrated by
an example due to Poulsen [14]: There exists a compact convex
simplex K C H such that ext K is dense in K. (For any point x in
this set, then, the point mass €, gives a representing measure which
sits on the closure of ext K, hence the “trivial representation”is as
good as that provided by the Krein-Milman theorem.)
f= f*e-™dNa).
By differentiating under the integral sign it is easily seen that
any function which can be represented by such an integral for-
mula is completely monotone, so BernStein’s formula actually
characterizes the completely monotone functions.
REFERENCES
1. Erik M. Alfsen, Compact Convex Sets and Boundary Integrals, Ergebnisse der
Math. (Band 57), Springer-Verlag, Berlin-Heidelberg-New York, 1971.
2. R. D. Bourgin and G. A. Edgar, “Noncompact simplexes in Banach spaces
with the Radon-Nikodym property,” J. Functional Analysis, 23 (1976),
162-176.
3. G. Choquet, Lectures on Analysis, Benjamin, New York, 1969.
<
. Mahlon M. Day, Normed Linear Spaces, 3rd ed., Ergebnisse der Math. (Band
21), Springer-Verlag, Berlin-Heidelberg-New York, 1973.
. Joseph Diestel, Geometry of Banach Spaces—Selected Topics, Lecture Notes in
Math., No. 485, Springer-Verlag, Berlin-Heidelberg-New York, 1975.
. J. Dieudonné, Foundations of Modern Analysis, Academic Press, New York-
London, 1960.
. N. Dunford and J. Schwartz, Linear Operators, Part I: General Theory, Inter-
science Publishers, New York-London, 1958.
. G. A. Edgar, “A noncompact Choquet theorem,” Proc. Amer. Math. Soc., 48
(1975), 354-358.
, “Extremal integral representations,” J. Functional Analysis, 23 (1976),
145-161.
10. D. G. Kendall, “Simplexes and vector lattices,” J. London Math. Soc., 37
(1962), 365-371.
Ih. L. Mirsky, “Results and problems in the theory of doubly-stochastic matrices,”
Z. Wahrscheinlichkeitstheorie und Verw. Gebiete, 1 (1963), 319-334.
12. Robert R. Phelps, Lectures on Choquet’s Theorem, D. Van Nostrand, Princeton,
NJ., 1966.
13. , Lectures on Choquet’s Theorem, rev. ed., Ergebnisse der Math.,
Springer-Verlag, Berlin-Heidelberg-New York (to appear).
14. Ebbe Thue Poulsen, “A simplex with dense extreme points,” Ann. Inst. Fourier,
11 (1961), 83-87.
15. James W. Roberts, “A compact convex set without extreme points,” Studia
Math., @ (1977), 255-266.
16. Jean Saint Raymond,“Representation intégrale dans certains convexes,” Sem.
Choquet, Initiation a V’Analyse, 14e année, 1974/75, 11 pp.
ASPECTS OF BANACH LATTICES
H. H. Schaefer
INTRODUCTION
xLyo|x+y|=|x—y, (4)
tThere are certain analogies between Riesz spaces and commutative algebras
over R, which extend well into the realm of Banach lattices and real commutative
Banachalgebras (cf. Part II).
164 HH.Schaefer
homomorphism. (It should be noted that (I) does not imply that
E/J is Archimedean, even if E is; for a detailed discussion, see
[12, §60}. In our later applications, only ideals J for which E/J is
Archimedean will be considered.)
To workefficiently with (I), we need the following basic result.
(D) [0,x]+[0,y]=[Ox+y].
(+J)0 K=INK+JInk.
Wehave remarked above that for any Riesz space E and ideal J
of E, E/J is a Riesz space; if E is a normed Riesz space and J
closed, the quotient norm on E/J is a Riesz norm [16,II.5.4].(in
particular, the quotient of a Banachlattice over a closed ideal is a
Banachlattice), Maximal ideals do not always exist in Banach
lattices, but it can be shown that a maximal ideal in a Banach
lattice is necessarily closed (see §5 below).
ASPECTS OF BANACH LATTICES 167
Proof: Let fEE* be given and define, for each x E,, the
number
r(x): =sup{ f(y) f(z): y,zE Eyytz=x)}.
(x):= SEA
sup f(x) (x Ey)
defines an additive, positive homogeneous map ft: E,—>R, which
extends to a positive linear form g as above; clearly we have
g=supA in E*.
168 ff, H. Schaefer
Proof: For each xEE, let us denote by < the element q(x).
Obviously q is linear, and we have to show that (X)* =(x*)~. Now
x <x* implies f(x) < f(x*) for all fEG,, hence <(x*)” and so
(%)* <(x*)*. To prove the converse inequality, for each fEG,
ASPECTS OF BANACH LATTICES 169
Proof: Let U denote the closed unit ball of EF. Since xeU
implies |x|@U by Axiom (NL) (§1), for each positive fE E’ we
have
f= iIx[|<1
sup f(lx))= {lx|) <1,x>0
sup f(x). (2)
Nowlet g € E’satisfy|| g|| < 1. By Formula (1) we have| g|(|x|) <1
for all x€U, and hence |g|€£’ and |{|g|||<1. By (2) above,
|g|<|f| implies that || g||<{|f|| so Axiom (NL)issatisfied. Fi-
nally, if fEk’, ge E*, and if |g|<|/fl, then | g(x)|<|g\(|x)<
(f|(x)) < [fll |x|], which implies that gE’. Therefore, E’ is an
ideal of E* and it follows from Proposition 3.1 that E’ is order
complete. [J
170 Hi.H. Schaefer
formulas
T\/ S(x)=sup{ Ty + Sz: y,zEE,,y+z=x},
Proof: It is obvious from (2) and (3) above that the r-norm is a
Riesz norm (Axiom (NL), §1); so we have only to show that
(’(E,F) is norm complete. Let (7,) be a Cauchy sequence in
{’ (E,F); by selecting a subsequence, if necessary, we may assume
that || 7,— 7,,4,||,-<2 ”" for all n. Because (by (3)) the r-norm is
greater than the operator norm, (7,) converges in the operator
norm to a bounded linear operator T: EF. This operator is at
once seen to satisfy
wo
for each x E,. This implies that T is order bounded and that
||| —7,|x|| <27" uniformly for xEE,, ||x|| <1; thus we obtain
||7— T,||,<2~" and the proof is complete. [
Proof: First, since the closed unit ball of C(K) is the order
interval [—e,e] (e the constant-one function), it is clear that each
T E&(E,F)) is order bounded. Second, for any non-void order
bounded subset A of C(K), we have ||supA||=sup{|| f||:f€A},
and so we have||sup{|Tu|: |u| <x}||=sup{|| Zul]: |u| <x} for each
TEL(E,F) and xEE,. Therefore, ||7||=|||7|||=||T ||, as
asserted. [J
bidual F”. For details and further related results, we must refer
the interested reader to [16, Chapter 4, §1 and Exercise 16].
Proof: Since the theorem and its proof are very well known,
we can be brief. Clearly, H:={fEE4: f(e)}=1} is weak* com-
pact in £’; since each extreme ray of E4, is generated by exactly
one extreme point of H, Proposition 1.1 implies that the extreme
boundary K of H agrees with the set of all Riesz homomorphisms
f: E->R normalized to satisfy f(e) (=||/||)=1. This latter char-
acterization shows K to be weak* closed, hence compact. Thus the
map q:xtg, (where g,(f):=/(x) for all fEK) is a Riesz homo-
morphism, and by PartI, §3, (3), ¢ is an isometry of E into C(K).
Since E separates the points of K and q(e) is the constant-one
function on K, it follows from Lemma 1.2 that g(E£) is dense in
C(K). But £ is norm complete and so qE)=C(K).
180 H. H. Schaefer
=UP_[f<a-n'].
n=l
PROPOSITION 2.1: If E has p-additive norm (1 < p< 0o) then the
norm of E is order continuous; in particular, E is order complete.
Proof: (a) First we consider the case that E has a weak order
unit u. By Theorem 1.3 and Proposition 1.4, the principalideal E,,
is an AM-space C(K) (K compact). Since £ is order complete by
Proposition 2.1, E,, is order complete and so K is Stonian (1.5). Let
Q denote the Boolean algebra of open-and-closed subsets of K,
and let LZ denote the linear span of the set of characteristic
functions {xy: U€Q}. Since L is a (subalgebra and) Riesz
subspace of C(K) satisfying the hypotheses of Lemma1.2, L is
dense in C(K) for the uniform norm. Wedefine a set function py
on Q by (UV): =I|xyll? (norm of x, in £); by the p-additivity of
the norm of E, py is additive and (trivially) countably additive on
Q. By the Carathéodory extension theorem (see [2, Chapter 9]), tg
can be extended to a measure p on the o-algebra > generated by Q
(which is the o-algebra of Baire subsets of K). Now if fEZ then
f=2721%Xy, for a suitable disjoint family {U,: i=1,...,2} in Q;
since E has p-additive non, then
n
P= frat? dite
Let = denote the o-ring of subsets of X generated by U.%,,
where =, denotes the Baire field of K,; then each SES is a
disjoint countable union U,S,, where S,€2, (i EN). Defining
BCS): =Z721 MCS.) yields a measure p and measure space
(X, 2, ) for which E is clearly isomorphic to L?(z). O
tThe subsequent proof shows an analogous result to hold for a Baire measure
on K.
ASPECTS OF BANACH LATTICES 187
oS R
So
194 H. H. Schaefer
Thenit is easy to see that C(K, x K,) is Riesz and norm isomor-
phic to a closed Riesz subspace of J, J being considered (cf. II.1.4)
an AM-space with unit ball the order interval [—u@®v,
u@v] of C(K,, x K,,). (Indeed C(K, x K,) is a closed subalgebra of
I containing the unit u®v of I; in general, it is not all of J.)
Therefore, E,® F, can be viewed as the Riesz subspace ofC(K,, Xx
K,,) generated by E,@F,; since E,@F,CE,@F,, E,@F, can
naturally be identified with a Riesz subspace of "E, SF, This
identification defines the desired homomorphism $(u,4,30,0,).
It is clear that these homomorphisms compose as they should;
that is, if O<u <u, <u, in E and 0<v<v, <v,in F, then $(u, nu;
©, 02) = (4, Ua; 01, 02)°O(U,u,;0,0,). Thus the family (£,@F;:
(u,v) E, X F,] forms an inductive system with respect to the
natural ordering of E,XF, and the maps ; we define
E@F: = lim E,@F, as ‘the corresponding inductive limit. The
space E@F can also be viewed as the union of the Riesz spaces
E,@F, with identification of elements related by the maps ¢. In
this sense each element wE E ®F is contained in some E,@F,;
we define w>0 if w is positive in E,OF,. This definition is
unambiguous, since each map (4,450, 0,) is an injective Riesz
homomorphism; it follows that E@F is an Archimedean Riesz
space because each E, ® F, is such a space (as a Riesz subspace of
C(K, x K,)). From the construction it also follows that there is a
natural (linear) injection p: E@F-E® F and we observe that, if
x denotes the canonical bilinear map E X F>E ® F, the composi-
tion 0: =p°x is a Riesz bimorphism.
2. Universal Mapping Property and Unicity of E ® F. As before,
weidentify each E,® F, with its canonical image in E @Fso that
E® is the union of the upwarddirected family { E,®F,: (u,v)€
E,XF,}. If yi: EX FG is a given Riesz bimorphism, then SO is
its restriction y,,, to E, x F,; hence, y,, , can be considered a Riesz
bimorphism into G,, where w:=7(u,v). Since G,=C(Z,) by a
now-familiar argument, Proposition 2.1 implies that Yao has a
continuous extension factoring through C(K,xK,): E,X Fo
C(K,, x K,)>C(Z,), where the second map is a Riesz homomor-
phism 7, ,. Since G is a Riesz subspace of C(Z,), 7,,(G)is a Riesz
subspace‘of C(K, < K,) which contains E,,@ F, and hence E,@F.
we denote therestriction of 7,,,, to E,®F, by Ty,y: It is veadily
202 H. H. Schaefer
EQ@F
‘|3
where 1,, 7, are Riesz homomorphisms. Since the identity maps of
H and E @F are Riesz homomorphisms,the unicity of + required
in the statement of Theorem 2.2 implies 1,°7,;=1,, and_7,°T,=
lpor; thus, 7, is a Riesz isomorphism of H onto E®@F, and
o=7,°0""
3. Additional Properties of E ®F. (i) Let weEE @F.Thereexist
elements uvEE,, vEF, such that wE EL, @F,; but E,@F, is
dense in C(K, x K,) so for each 6 >0, there exists z€ E, @F, such
that ||w —z|| <6. In termsof thelattice structure of C(K, x K,) this
meansthat |w— z|<6(u@v)as claimed.
(ii) Again, identifying w>0 in E@F with an element of some
E,® FF, and hence with a continuous function on K, x K,, there
exist elements xEC(K,), and yEC(K,), satisfying O<x@y <w.
Since E,, is dense in C(K,), there exists x€ E, satisfying |X — X|<
eu for preassigned «>0 and, similarly, |¥—y|<ew for suitable
YEF,. We let x:=(x—eu)* CE, and y:=(y—ev)t EF,, choos-
ing € sufficiently small to ensure (X¥—2eu)* >0, (f—2ev)* >0.
Then 0<x <X, O<y <¥ and so O0<x@y <w.
(iii) If 6: E X F->G is a positive bilinear map and isrelatively
uniformly complete, then for each (u,v)EE, X F, the restriction
ASPECTS OF BANACH LATTICES 203
The proof follows at once from (ii) of Theorem 2.2 and can be
left to the reader.
Proof: (i) Let G denote the dual Banachlattice ©’(E, F’Y and
consider the bilinear map y: E X F->G given by (x, y)(T):=
<Tx, y>. A moment’s reflection shows that, by virtue of Proposi-
tion 1.3.3, Corollary, y is a Riesz bimorphism. Moreover, (x,
y)>0 whenever x >0 and y >0, so Theorem 2.2 andits corollary
show that E ® F can beidentified with a Riesz subspace of G. The
ASPECTS OF BANACH LATTICES 205
Dq(x,@Oy)= Tl lLill< 1 for allue VACE @F); thus q(u) < p(u)
for alluG E®F as claimed.
By the preceding proof, the set V (see (2)) is dense in the unit
ball of E ®,F and, hence, (2) yields the following explicit char-
acterization of the p-norm; here the relation |u| <2x;®y, (or
equivalently, +u<2x,®y,) can be interpreted as meaning +¢(u)
<2¢(x,y;) for each positive bilinear form ¢ on E X F.
n nt
tIt can be shown that the injective objects are the sameif BL is understood to be
the category of all Banach lattices with morphisms the regular operators with
r-norm <1.
ASPECTS OF BANACH LATTICES 207
and (g,) in (Fy), such that |u| <2z,®@g, and 2||z,|I || ll <p(u)+e
(e>0 being preassigned). Evidently we can assume here that
lg l|=1 for all 7 and f,>0, ||f||=1 for all i. Now if we let
x:=sup,x; in Eo, westill have x <2jz, and hence, keeping in mind
that |u| <x®e (e the constant-one ‘function on K), we obtain
Po(4) < [x] < Z1]z,|| <p(u) +. Therefore, pg(u)=p(u) and the im-
bedding E,®,Fo—> E @, Fy is indeed an isometry. [
x’ =x, — x3 such that||x;|| <M||x'|| and such that the measures pi,
are positive (i= 1,2). ,
a [fos 1 — Srl dx
LEMMA 3.3: Suppose g& G isa function such that gf © G for all
SES and such that sup{|| gf||:fES,||f||<1}< +00. Then g is
finite (or equivalently, g € C(K)).
Theorem 3.4 is due to Bade [1] (see also [5]) and is valid, without
the assumption that G be cyclic, for any complete B.a.p. P. As
shown by Rall [14], this more general version can be obtained,
with the present means andlittle additional effort, for a t-com-
plete P which is complete as an abstract Boolean algebra. Healso
gave necessary and sufficient conditions for an analogue of Theo-
rem 2.3 to hold without assuming the existence of a cyclic vector
in G.
ASPECTS OF BANACH LATTICES 221
REFERENCES
223
224 INDEX
Ea(X), 42 v(a), 41
E(K,Y), 51 V(a), 35
Et., 168 V(T), 11
ext K, 71, 116 VAT), 45
ext(K), 6 V(B,T), 10
e,, 117
w(T), 2
f.d.d., 94 W(G), 102
W(T), 1, 2
Her(A), 37
4, 21, 161
\(Z), 164 ~, 96
®, 200
KL(X), 45 @,, 204
1,.(S), 58 @,, @,, 195
L"(E,F), 175
227