Professional Documents
Culture Documents
Theory of Bases
Theory of Bases
Volume 18
Edited by B. D. Coleman
Co-Editors: R.Aris . L. Collatz . J. L. Ericksen
P. Germain' M. E. Gurtin . M. M. Schiffer
E. Sternberg . C. Truesdell
J iirg T. Marti
Introduction to the
Theory of Bases
I. Linear Transformations . . . 1
1. Linear Topological Spaces 1
2. Linear Transformations. . 7
3. Conjugate Spaces and Weak Topologies. 10
4. Special Banach Spaces . . . . . . 14
VII. Decompositions 86
1. Decompositions of F-Spaces . 86
2. Decompositions of Banach Spaces 90
Bibliography . . . . . . 130
Linear Transformations
In the four paragraphs of this chapter we present some basic
definitions and facts from functional analysis, as well as applications
in special spaces. These preliminaries will be used in the subsequent
chapters. Since many introductions to functional analysis are now
available, in order to save space, we omit proofs of all of the lemmas,
theorems and corollaries given here. Moreover, one will find here only
the working tools which are really needed for the development of the
theory of bases. We begin by defining various abstract spaces, and we
list their most important properties. Then we investigate linear trans-
formations of one space into another, continue with some facts on
conjugate spaces, and conclude with results for several spacial spaces.
It is supposed that the reader is familiar with the notions of a field,
a linear space (also called a vector space or a linear vector space), a
subspace of a linear space, an algebra, and with some elementary defi-
nitions from the theory of sets and the theory of measure and integration.
Let cP always denote the field of real (or complex) numbers IR (or C
respectively) and let X be a linear space over CPo Elements of cP are
called scalars. A finite sequence Xl' ... , Xn in X is linearly independent
if and only if L O:iXi=O, with O:i in CP, implies 0: 1 =0:2 = ... O:n=O.A subset
i~n
°
A subset A of a metric space is said to be totally bounded if for every
e > there is a finite set N of points in A such that for any x in A there
is a y in N for which d(x, y) < a (i. e. there is a finite a-net in A).
Lemma 9. A subset A of a metric space is compact if and only if it is
closed and sequentially compact. Moreover, A is compact if and only if
A is complete and A is totally bounded.
Let X be a linear space. A metric P on X is said to be invariant if
p(x,y)=p(x- y,O), X,YEX. Let p be an invariant metric on X with the
additional properties (i) limp(lXnx,O)=O whenever {lXn} is a sequence
in tP, x is in X and lim IXn =
n
n
° in the usual topology for tP, and (ii)
lim p(IXXmO)=O whenever IX is in tP, {x n} is a sequence in X and
n
lim p(xn,O)=O. Then the real number Ilxll, defined by Ilxll = p(x,O),
n
defines the quasinorm of an element x in X and X endowed with this
quasi-norm is a quasi-normed linear space. It follows easily that Ilxll =0
if and only if x=O, Ilx+ yll ~ Ilxll + Ilyll and II-xii = Ilxll. An F-space
is a complete quasi-normed linear space.
Theorem 10. An F-space is a linear topological space.
If the quasi-norm in a quasi-normed linear space X satisfies
IllXxll = 11X111xll, IXEtP, XEX, it is called a norm and X is called a normed
linear space. The closed set U={xEXlllxll~l} is called the unit ball
ofX.
Theorem 11. A normed linear space X is separable if and only if there
exists a total sequence in X.
Theorem 12. A bounded closed subset of a normed linear space X is
compact if and only if X is finite dimensional.
If Y is a closed linear subspace of the normed linear space X and if
we introduce the norm Ilx+ YII=inf{llyIIIYEx+ Y} for each element
x + Y of the factor space X / Y we have
Theorem 13. X / Y is a normed linear space.
A Banach space is a complete normed linear space. The metric
topology induced by the norm in a Banach space X is called the norm
°
or strong topology for X. Since Iltx+(l-t)yll~tllxll+(1-t)llyll, X,YEX
and tE [0, 1], the open balls about are convex so that, by Lemma 5,
each Banach space X is obviously locally convex.
Theorem 14. 1f a linear space X can be made into a Banach space by
two dUJerent choices of a norm, Ilxll and Ilxll' and if one of them defines a
weaker topology than the other, then there exist constants M 1 and M 2
such that O<M 1 ~ Ilxll'/llxll ~M 2 < CXJ for all x#O in X. (i.e. II II and 1111'
are equivalent) .
A (real or complex) Hilbert space is a linear space H over the field cP
(of real or complex numbers) together with a CP-valued function L .),
called inner product, defined for each pair of points x,y in H. This function
satisfies the following conditions:
(i) (x,x»O, xEH; (x,x)=O ifand only if x=O;
(ii) (x+ y,z)=(x,z)+(y,z), x,y,zEH;
(iii) (ax,y) = a(x, y), aE CP, X,YE H;
(iv) (x,y)=(y,x), x,YEH, and
(v) H is complete with respect to the metric defined by the norm
Ilxll = (x,x)±, XE H.
Theorem 15. H is a Banach space and for any x,y in H we have
l(x,y)1 ~ Ilxllllyll (Schwarz's inequality).
The orthocomplement A1- ofa set A in H is the set A 1- = {xEHI(x,A)= O}.
If A and A' are closed linear subspaces of H such that A n A' =
A + A' = H we write H = A E8 A' and H is called the direct sum of A
and °
and A'. Let AH denote (A1-)1-.
Lemma 16. If A is a closed linear subspace of H, then A1- is also a
closed linear subspace of H and we have H =A E8 A1-. Furthermore AH=A.
Let (5/1V be the Kronecker symbol, defined by (5/1v=O, f.1#v; (5/1/1= 1,
where f.1 and v are elements of an arbitrary index set. A sequence {xJ
in H is said to be orthonormal if and only if (x i,x)=(5ij' If {xJ is
such an orthonormal sequence, then Bessel's inequality applies, i. e.
w
l: l(x,xJI 2 ~ IIxl12 for every x in H.
i~ 1
A special example of a (finite dimensional) Hilbert space is the
Euclidean space En, denoted by [Rn if its field cP is [R and by C" if cP = C,
t?e li~ear sp~ce of all n-tuples a = {al>"" ani
of n.umbers in [R (re~pec
tIvely m C) wIth norm (or length) Iiall = (a, a)2 of a m En, where the mner
n
product is defined by (a,/3)= l: aiPi' a,/3EE n. A set {/31, ... ,/3n} of n
i~ 1
2. Linear Transformations 7
2. Linear Transformations
Let X and Y be linear topological spaces over the same scalar field tP.
A transformation T: X ---> Y is said to be additive if for all x 1 and x 2 in
X we have T(Xl +x z)= TXl + Tx z . An additive transformation T:X ---> Y
is said to be linear if T(rxx)=rxTx, rxEtP, XEX. The null-space of T,
denoted by T- l (0), is the set {xEXI T(x) = O}. The linear transformation
T is continuous at the point x in X if for every neighborhood V of Tx
8 1. Linear Transformations
xn-x, Txn-y, it always follows that xED and Tx= y. It is clear that
T is closed whenever D is closed and T is continuous.
Theorem 9. If T:D- Y is closed and if T- 1 exists, then T- 1 is also
closed.
Theorem 10. (Closed graph theorem) If T is closed and D=X,
then T is continuous.
Lemma 11. Let T: D- Y be a linear transformation with domain D in
a normed linear space X into another, Y. Then T is continuous if and only
if T has a finite norm II Til, defined by II Til = sup{11 Txll Illxll:':; 1, XE D}.
In the situation described in the above lemma, T is said to be bounded.
Theorem 12. If T is a bounded linear transformation on Dc X to Y,
then T has a unique bounded linear extension T' on jj and we have
IIT'II=IITII·
An isometric isomorphism of a Banach space X onto another, Y, is a
topological isomorphism of X onto Y for which II Txll = Ilxll, XE X.
Theorem 13. If T is a bounded linear transformation of a Banach
space X onto another, Y, then Y is topologically isomorphic to the factor
space XIT-l(O).
The linear space B(X, Y) (B(X)) of all bounded linear transformations
of a Banach space X into a Banach space Y (into X respectively) with the
definition of the norm which has preceded, is a Banach space. The topo-
logy in B(X, Y) defined by this norm is called the uniform operator topology.
An element of B(X) is called an endomorphism of X. Next, we have as a
consequence of Theorem 8:
Tx = lim T"x,
n
XE X and one has II Til:.:; supll
n
T"II < 00.
Let X be a linear topological space over the field CPo The conjugate
space X* of X is the set of all continuous linear functions of X into tP
and the elements of X* are called continuous linear functionals. A subset
A of X* is said to be total over X if for any X in X, x*(x}=O for all x*
in A implies that X = O.
Theorem 1. If X is locally convex and HausdOl:ff, then X* is total over X.
The weak topology for a linear topological space X is the topology
for X obtained by taking as a base at the points x of X the neighborhoods
N(x,T,E)={yilx*(y-x)1 <(;,X*Ef},
3. Conjugate Spaces and Weak Topologies II
r
where 1'>0 and is a finite subset of X*. If X is a Banach space, the
weak topology for X is, of course, weaker than the initial (i. e. norm)
topology for X.
Theorem 2. The weak topology for X is locally convex. It is Hausd0l11
whenever the topology for X is locally convex and H ausdorfJ
Theorem 3. x* belongs to X* if and only if x* is continuous in the
weak topology for X.
A set X is said to be weakly closed (weakly bounded) if and only if it
is closed (bounded) in the weak topology for X.
Theorem 4. If X is locally convex, then a convex subset of X is closed
if' and only if it is weakly closed, and a subset of X is bounded if and only
if' it is weakly bounded.
Theorem 5. Let X be defined as before and let Y be a lillear subspace
of x. Then to every continuous linear functional f on Y there exists an
X*EX* such that x*(y)=f(y),YEY.
Theorem 6. Let X be locally convex, let Y be a closed linear suhspace
of X and suppose that there exists an x in X which is not in Y. Then there
exists an x* in X* such that x*(y)=O, yE Y and x*(x)= 1.
Let now X be a Banach space over the field cP and let X*
be the conjugate space of X endowed with the norm defined by
Ilx*11 =sup{lx*(x)lillxll::::::; I}, X*EX*. The set Y~= {x*EX*lx*(Y)=O}
is called the orthogonal complement of the linear subspace Y of X.
Lemma 7. X* is a Banach space.
N(x*,r,G)={y*il(y*-x*)(x)I<G, XEr},
b) The set lp, 1 ~ p < OCJ of all elements a of s with finite norm
00 ~l/P
lIall =
(
n~l lanl) is a separable weakly sequentially complete Banach
space. 11 is not reflexive. If l<p<OCJ and l/p+l/q=l, Ip is reflexive
and I; is isometrically isomorphic with Iq, where the corresponding
00
(a,f3) = L an/jn)'
n=l
c) The set 100 of all bounded sequences a in IP with norm lIall = sup lanl
n
is a Banach space which is neither separable nor weakly sequentially
complete. It is easy to see that the set of all characteristic functions of
the subsets of the set of positive integers forms a total set in 100 , The
00
mapping T: 100 ~I'L defined by T f3(a) = L anf3n' aE ll' f3E 100 , is an
n= 1
isometric isomorphism of 100 onto It. It is known that weak and weak*
convergence of sequences are equivalent in I!,. Furthermore, every
bounded linear transformation of 100 into a weakly sequentially complete
Banach space sends weak Cauchy sequences into strongly convergent
sequences.
Theorem 3. Every separable Banach space is isometrically isomorphic
to a closed linear subspace of 100 ,
d) Let S be a compact metric space and let X be a Banach space.
The linear space C(S, X) over the field IP, of all continuous ( = uniformly
continuous) vector valued functions f:S~X for which the norm
IIfll = sup {lIf(s)lIisES} is finite is a separable Banach space, where
IIf(s)1I is the norm of f(s) as an element of X. If X = IP we simply
write C(S). We recall that a set E in C(S,X) is equicontinuous if and
only if to every 8> 0 and every s in S there is a neighborhood N of s
in S (which may depend on s) such that sup {lIf(s)-f(t)lIitEN} <8
for all f in E.
16 1. Linear Transformations
Theorem 6. If 1 < p < 00 and lip + llq = 1, Lp(S) is reflexive and L';(S)
is isometrically isomorphic with Lq(S); the corresponding isometric
isomorphism T:Lq(S)->L';(S) .is given by Tg(f) = S f(s)g(s)ds,fELp(S),
gELiS). S
I (~f(s,t)dt)ds = Hif(S,t)ds)dt.
Definition 1.
(i) LX; is unconditionally (or reordered) convergent if for every per-
mutatioin p of the integers the series LXp(i) converges in X.
i
(ii) LXi is unordered convergent
.
if lim LXi=x,
GEE.
where L is the set
l lEa
Proof. Let the series of the theorem be L Xi and let ~ be the set of
;
all increasing sequences fl of positive integers. By assumption there
exists for each fl in ~ an x/1 in X such that
L x*(x;)=x*(x/1)
iEJl
in 11 it follows lim Tx; = lim {x; (x;)} = {lim X; (x;)} = {x* (x;)} = Tx*. But
n n n
T, being closed and defined everywhere on X*, must be bounded (1.2.1 0).
Since x/1 is the weak limit of a sequence in X, we have X/1ESP{X;} (1.3.15).
Let now {x;} be a sequence in the closed unit ball U* of X*, and let
{y;} be its restriction on Y = sp {x;}. Since Y is separable, by Theorem
1.3.21, the unit ball in y* is sequentially compact in the weak* topology
of Y*. Thus there exists a subsequence {y;) of {y;}, converging to an
element Y6 in y* in the weak* topology of Y*. As a consequence of the
Hahn-Banach theorem there is a continuous extension X6 of Y6 to the whole
space X. Let X/1 be the characteristic function of fl. Evidently, X/1 is in 100
and the corresponding functional f", defined by j~(IX)= LX/1(i)IX;= L (X;
i iEJl
for every (X = {IX;} in 11' is an element of If. It then follows
20 II. Convergence of Series in Banach Spaces
iEIl
Now by 1.4.c, {XJLI.uE~} is a total set in 100 and since the mapping which
relates XJL and fJL is an isometric isomorphism of 100 onto Ii, UJLI.uE~} is
a total set in Ii. Hence, using the fact that the boundedness of T implies
that of the sequence Tx;, Tx; '''., we conclude from Theorem I.3.16,
that TX;j converges to Tx~ in the weak topology of Ii' Since weak and
strong convergence in 11 is the same (1.4.2) it is clear that T(U*) is com-
pact (1.1.9).
Next, let {1k} be a sequence of operators ef 11 to itself defined by
1k1X={O,,,.,O,lXbfik+l,,,.}~OBviously, 111k11=1 for all k so that {Td is
an equicontinuous set of functions on the compact space T( U*) to 11'
Since lim 1k1X=0 for each IX in T(U*) it follows from Theorem 1.4.4 that
k
liJ?sup{II1kIXIIIIXE T(U*)} =0, hence that
x JL - ~ Xill,,:;;sup f~ IX*(Xi)llx*EU*}
Il
,<k l'''k J
,,:;;supt~k Ix*(xi)11 X*E u*}.
Because the last term converges to zero for k---+oo, IXi is strongly
i
subseries convergent and the proof of the theorem is finished.
Theorem 3. The conditions (i), (ii), (iii) and (iv) of Definition 1 are
equivalent conditions for unconditional convergence of a series Xi in X. I
i
=
Proof. (i) (ii). Let the series be reordered convergent and suppose
that lim I Xi = X is not true. Then there exists an e> 0 such that for
crE1: .
all o"E~ there is a O"'~O" with Ilx- ,I Xiii ~e. Since ~Xi is convergent
'EfT
lEa' I
we can choose an 110 such that Ilx- i~n Xiii <e/2 for l1~no' We define
the sequence 0" 1 ~ 0" 2 ~ ... ~ 0" n ~ ••• in ~ such that the odd numbered sets
O"n contain all the integers less than or equal to max[l1o,sup{iliEO"n}]
and the even numbered sets O"n satisfy Ilx- ,I Xiii ~e. It is now apparent
lElTn
1. Relations among Different Types of Convergence 21
that which
(ii) => (iii). If X= lim L Xi exists, then for every 3> 0 there is an
aeE .
element ae in 1: for which Ilx- tXill<3 if a~ae' Let {nJ be any in-
lEU
for every q?> p and p such that np_ l?> sup {iii Ea.}. Therefore tL
l~n
Xn i }
(iii) => (iv). Let LXi be subseries convergent. Then by (1) there is
i
each 3> 0 an index n such that for all k?> n,
series L IX; in ~n is absolutely convergent in ~n. Let lXi = {lXki} and let
(L
i= 1
the norm in ~n, as usual, be given by Ilml = lf3kI2)t, f3E~n. If
k:S.n
1 ~ k ~ n we define the increasing sequences (j';: and (j'k such that i E (j'!
when ever IXki ~ 0 respectively. Since I
lXi is subseries convergent
i= 1
2. Unconditional and Absolute Convergence 23
t
~here are co~stants M > 0 for which s~p II. I + CX i I ~ M t, where (J m
ISthe set of mtegers ~ m. Then !E"m""k
vn I I Icxd
n
I Ilcxdl ~
i~m k=l i~m
~ 2 vn I max I
n
lakd
k =1 ± iEamnq~
2 vn I m}xl. I ~ cxkil
n
=
k =1 - IECim(\ak
~ 2 vn ~ m;x I . I CX I
n
0 i
k- 1 IEGmnak
2 vn I max Mt <00,
n
~
k= 1 ±
and the proof is complete.
In order to prove the Dvoretzky-Rogers theorem which states that in
every infinite dimensional Banach space there exists an unconditionally
convergent series which is not absolutely convergent, we prove a geomet-
rical lemma about symmetric convex bodies in the Euclidean space [Rn
(by a body we mean the closure of a bounded open set in [Rn). For the
rest of this chapter we assume X to be infinite dimensional.
Lemma 3. Let V be a symmetric convex body in [Rn. Then there are
points f31"'" f3n on the boundary of V such that Ii; 1 I CX i f3iE V for
i~r
(1)
j$;i j=i+ 1
j$;i j=i+ 1
The basic vectors U i + 1, ... , Un' SO far have no influence on the condi-
tions (i) and (ii). So we can choose U i + 1 orthogonal to U l' ... , U i in
sp{u 1,· .. ,U i,f3i+1} and we may complete the set {u 1, ... ,u i+d to anew
orthonormal basis of !Rn • It is clear that the coordinates of f3 j , j ~ i do not
change and that, under this coordinate transformation, the values of
the two sums in (3), as well as that of L f3f+ 1,j are invariant. Using
j~n
this, the evident equations f3i+1,j=0 for j>i+1, and the equation
L f3f+ 1,j= 1, (i) and (ii) follow immediately for i replaced by i + 1,
j~i
hence for all i ~ n (from the fact that the problem is symmetric with
respect to the origin it is clear that f3i may be chosen such that fiii is
non-negative for all i ~ n).
2. Unconditional and Absolute Convergence 25
~ I IIX;I [2(i-l)/n]t
i~r
I .I tIX! Yj+ .I (1- t)IX.i Yjll ~ [t+ (1- t)] mfx II.I IXJ Yjll ~ 1 (the sym-
~~n J~n }~n
metry is evident). Let 131"'" f3r be r points on the boundary of V such
that (211IXII)-1 I IXjf3j EV for any IX in [Rr, where the existence of the set
j:::;;r
{f3j} is given by the preceding lemma. Let AILr = 2 (~ Cit Defining
lEJlr
ct = 00
00 00
{nbnZ,n3, ... } of integers (used in the proof of the following theorem): Let
00 00
I (.I c )± <£/2,
k= v lEak
i
we have for any ()pq= {p,p+ 1, ... ,q} with q:;::, p>n v ,
(4 I
00
~ I ci )±
k =v ielTpqncrkna
2. Unconditional and Absolute Convergence 27
00
References for Chapter II: DAY [2], DVORETZKY and ROGERS [1],
HILDEBRANDT [1] and HILLE and PHILLIPS [1].
CHAPTER III
Throughout this chapter (and the next two) the basic space X will be
a Banach space. According to the three most common used topologies,
there are bases for the strong, the weak and the weak* topologies for
X, whose definitions are given in the first paragraph. It is shown that
every basis for X is a Schauder basis, a basis with continuous linear
coefficient functionals. The next paragraph shows under which conditions
a biorthogonal system is a basis for X, the equivalence of strong and
weak Schauder bases for X and relations between bases for X and bases
for the adjoint space X*. Three paragraphs are devoted to retro-,
shrinking, boundedly complete, unconditional, absolutely convergent
and uniform bases. Some applications of summability methods on the
theory of bases are given in the sixth section and in the last paragraph
bases for the special spaces Co, Ip(1 ~p < (0), C[O,1], Lp[O,1] (1 ~p < (0),
L 2 [O,2n] and A2 are considered.
Proof. Let Y be the vector space over the field cJj of all sequences
y= {cx;}, CXiEcJj for which li~ ,I CXiX i exists. Hence s~p II ,I CXiXi11 < 00
l:::;n l~n
for each yE Y. Clearly, the function Ilyll on Y, given by Ilyll = s~p L~n cxix;11
defines a norm on Yand supplied with this norm, Y becomes a normed
linear space. Now, let T: Y~X be the linear transformation defined by
x=lim I cx;x;. Since every x in X has a unique expansion of this form,
n i~n
T is one-to-one and onto. Obviously Ilxll = IITYII ~ Ilyll so that Tis
continuous. As we show later Y is complete and thus a Banach space.
Hence T is a topological isomorphism (Theorem I.2.6) and we have
lanlllxnli = 11;~n a;x;- ;"'~-1 cx;x;11 ~211yll ~21IT-lllllxll· From this and
from the uniqueness of the expansion coefficients CX; we conclude that
each an is a continuous linear functional on X.
It remains to show that Y is complete. Let {yp} be a Cauchy se-
quence in Y (each y defining a sequence {cx p ;} c cJj). Since for all i,
Icxp;- aq;lllxdl ~ 2s~p L~n (cx p;- CX q;) Xi II = 211Yp- Yqll, and since cJj is complete,
index r such that Ilyp- Yrll <8/3 forall p~r.Hence L~n (CXpi-ari)Xill <8/3,
p~r, uniformly for all n. Taking thelimit onp we obtain s~pt~n (cxi-CXr;)Xill
~8/3. Now, since YrE Y, there is an index n~, depending on r, such that
Ili~n CXriXil1 <8/3, m~n~n". Hence for each m,n~n, and m~n we have
30 III. Bases for Banach Spaces
s~p" i~n ct iXi I < 00. Since it will be apparent that Y is still a Banach space,
the first part of the proof for the theorem applies also in this situation
(where T is, naturally, defined by a weak limit). Thus each ctn is again a
strongly (and hence a weakly (1.3.3)) continuous linear functional on X.
If {Yp} is a Cauchy sequence in Y we have again a sequence
{ctJ in cP such that limctpi=ct i. The continuity of T (by (1.3.15),
p
II Tyll ~ s~p L~n ctiXil1 = Ilyll with y = {ctJ) and the completeness of X imply
that Typ converges, say, to an element Xin X. Given 8> 0, there is an index
r such that Ilyp - yqll <8/3 for all p,q ~ r. Hence s~plli~ (ctpi - ctq;)Xill <8/3
for p,q~r and it follows that s~plli~}cti-ctqi)xill~e/3, q~r. Now,
there is a fixed index q~r for which Ilx- Tyqll <8/3 and for each
X*EX* with Ilx*II~1 there is an H depending on x* and on q, such
G,
that Ix*C~n ctqi xi-TYq)l<e/3, H~HG· Hence for every H~nG we have
Ix* C~n ctiXi-X)1 ~ Ili~ (cti-ctq;)Xill + Ix* C~n ctqiXi- TY q) I+ IITyq-xll < e.
Thus Y is complete, since {ctJ is in Yand is the strong limit of {ctpJ in Y,
and so we are done.
Remark. A generalization of the above theorem to complete metric
linear spaces with translation-invariant metric, given in the last chapter
(Theorem IX.5.2), deserves mention. That is, the local convexity hypo-
thesis in the theorem may be omitted.
2. Biorthogonal Systems
clear that s~p[.I xl"(x)x*(x i)[ < 00, XEX, X*EX* and by (1.3.15),
l~n
Proof. The first part becomes clear from the fact that for reflexive X,
the weak* and weak topologies for X* are equivalent. This implies that
{xT,Jx;} is a weak basis for X* and by Corollary 5, a basis for X*.
Conversely, if {xT,xT*} is a basis for X*, then it is a weak* Schauder
34 III. Bases for Banach Spaces
and all x* in X*. Finally, the proof of the theorem follows by application
of the same principle once more.
Definition 11. A basis {xt} for X* is called a retro-basis if its biortho-
gonal sequence {xi*} is contained in leX).
It is apparent that each retro-basis for X* is a weak* Schauder basis
for X*.
Theorem 12. Let {xi} be a retro-basis for X* with corresponding bior-
thogonal sequence {JxJ Then {Xi' xi} is a basisfor X, and I X**(X{)X i
converges in X if and only if x** is an element of leX). i"""
Proof. By hypothesis, {Xi,Xt} is a biorthogonal system so that since
strong convergence in X* implies weak* convergence in X*, Theorem 6
applies and {xJ is a basis for X. Then it is clear that the series given in the
theorem converges if x** is in leX). On the other hand, let the series con-
verge (to an element y in X) and define Yn= L x**(x{)x i . For every x* in
the definition that the expansion Vnx for x converges in the weak
topology of X, uniformly on the unit ball of X.
Definition 2. A basis {xJ for X is said to be monotone!f IIVnxl1 is
a non-decreasing function of n jar all x in X.
Theorem 3. A basis {xJ for X is monotone if and only if sup IIVnll:( 1.
n
Proof. We assume {xJ to be not monotone. Then there is an n
and an x such that II V n+1 xii < II Vnxll· But this implies II Vnll;:;: II Vn Vn+ 1 xiii
IIVn+lxll=IIVnxII/IIVn+lxll>l. This shows that a basis {xJ with
sup II Vnll:( 1 is monotone. The converse is obvious.
n
s~p{lli~n xi"*(x*)xi"lllllx*ll:( I}
= s~p sup {Ii~n J xi(x*)xi"(x)I[llxll:(1, Ilx*11 :( I}
= s~p sup {Ix* C~n xi"{x) Xi) 1111xll:( 1, Ilx*ll:( I}
it is then clear that lim y~(xJ = (Xi' Thus the Banach-Steinhaus theorem
n
applies so that there exists a y* in X* with IIY*II ~ s~p IIY~II < 00, such
that limy~(x)=y*(x) forallxinX.Consequently, y*=lim L y*(x)xj
n m j~m
This concludes the proof of the theorem since we have shown that the
basis {xr} is boundedly complete.
Theorem 10. If {Xi,Xr} is a boundedly complete basis for X, then
I x**(xt)X i converges in X for each x** in X**.
i~n
Proof. For each y** in X** there is a sequence {yJ in X for which
y**(x*)=limJYix*)=limx*(y), X*EX*, because by I.3.22, J(X) is
J J
dense in X** in the weak* topology of X**. Moreover, from the weak
convergence of Yj we obtain (I.3.15) that sup Ily)1 < 00. Then
J
sup II I y**(xt)Xi II = sup II lim I xt(y)xill ~sup II Un II' supll yjll< 00 for
n i::;;n n J i~n n J
every y** in X**, where Un is defined in 2.1 and where we have used
Corollary 2.3. This, and the bounded completeness of the basis for
X imply the convergence of I y**(xt)x i in X.
i$;n
for each x* = xt, i = 1,2, ... and hence for each x* in sp {xn. Therefore,
X** =J(X)EB sp {xr}1.. Consequently, there is a projection of X** on
J(X) and (I. 2. 13) J(X) is topologically isomorphic to the factor space
X** /sp {xr} 1.. By I.3.8 it finally follows that the last quantity is
topologically isomorphic to sp {xr}*. This concludes the proof, since
then X is topologically isomorphic to sp {xr}*.
Corollary 12. If X has a boundedly complete basis, then X is topologi-
cally isomorphic to a conjugate space.
4. Unconditional Bases
Now, let L be the set of all finite subsets 11 of the set of all positive
integers and let {xJ be an unconditional basis for X. Furthermore,
let Y be the vector space of all sequences y= {O(i}, O(iECP, for which
L O(iXi converges to an element X in X. Let S be the set of all sequences
i~n
00
uniform boundedness (1.3.14) then implies that sup {II ~ YiO(iXi III {yJES,
=sUP{II~Yi(P;/O(i)O(iXilll{~JES' IlEL}~SUP{II~YiO(iXilll{YJES, Il EL }
= II{O(JII. Finally, if lim L O(iXi=O, it
m,n i:;::::m
follows from Lemma 2 and the
4. Unconditional Bases 39
n
Ton 11 (over the field tP) to X, defined by T{yJ = lim L YiYi, {Yi}El 1,
n i~n
is bounded. Since JJT{yJJJ ~eMJJ{yJJJ, {yJE1 1, T- 1 is also bounded so
that T is a topological isomorphism of 11 onto T(ll) c X (1.2.15). Hence
Ii is topologically isomorphic with T(ll)* (1.3.25), which is again topologi-
cally isomorphic with the factor space X* /T(ll)l. (1.3.8). But this is
. impossible since X* is separable and Ii is not (we observe that if {yj} is
a countable dense set in X*, so is {yj+T(ll)l.} in X*/T(ll)l.). This
contradiction leads to the conclusion that {xJ is shrinking and the theo-
rem is proved.
Theorem 5. If {xJ is an unconditional basis for X and X is weakly
sequentially complete, then {Xi} is boundedly complete.
Proof. All spaces occurring in the proof are supposed to be over the
same field. We use the facts that c~* is isometrically isomorphic with 100
4*
40 III. Bases for Banach Spaces
(I.4.a and c), that Co is separable (1.4.a), 100 is not separable (1.4.c) and that
J(co) is weak* dense in C6* (I.3.22). Consequently, for every y** in C6*
there is a sequence {yj in Co such that y**(x*)=li~x*(y;), , X*EC6. If Co
would be weakly sequentially complete, then y** would be in J(c o),
i.e. Co would be isometrically isomorphic to 100 , which is impossible.
Thus Co is not weakly sequentially complete. Since by (I.3.15), every
weakly converging sequence {yj in the weakly sequentially complete
space X converges weakly to an element in Sf>{yj, every closed linear
subspace of X is itself weakly sequentially complete, hence can not be
topologically isomorphic with Co (cf. proof of Corollary V.3.2).
Now, if {x;} is not boundedly complete, then, as we will demonstrate,
there exists a subspace of X which is topologically isomorphic to Co,
and this contradiction shows that {Xi} must be boundedly complete. In
order to show this, we suppose the existence of a sequence {lXj in <l> such
that sup {II~ lXiXi 11\.uE~} ~ 1 and such that i~n lXiXi does not converge
to any element of X. Thus, the series is not Cauchy in X and there exists
an 8>0 and sequences of integers {nJ and {mJ such that ni~mi<ni+l
for all i and IIj~n,lXiXi\\):!8 for each i. Next, let Zo be the set of all se-
quences 13= {f3J in Co which have only a finite number of non-vanishing
m,
elements and let T:Zo-"X be defined by Tf3=lim L f3i L IXjXj' f3EZo·
n i~n j=ni
By Lemma 2 and 3 there is a constant M > 0 such that
in the basis {xi} converges unconditionally (IL1.3) and this finishes the
proof.
Combining the results of Theorem 4.6,3.9 and 4.4 we get immediately
Corollary 7. If {Xi,Xi} is an unconditional basis for X and if X* is
separable, then {xi",J x;} is an unconditional boundedly complete basis for
X*.
Corollary 7 applies in the special instance where X is reflexive, since
then the separability of X implies the separability of X* (1.3.11).
Theorem 8. If {Xi' xi"} is an unconditional basis for X and X* is weakly
sequentially complete, then {xi} is an unconditional basis for X*.
Proof. Let L be the set of all subsets of the set of all positive integers.
00
s~p {Ix** (~ x* (Xi) xi") II fiE L } < 00 for every x** in X**. This shows that
verges to some element {exi} in 11 , Then li1p. L Ixt(y)llxdl-exd =0. But this
Ji= 1
implies that Ty = {ex i }, since xt(y)llxill = xt (lif1Yj) Ilxdl = lif1xt(y)llxill
=ex i for all i. Thus Tis closed and by (1.2.10) it follows that Tis bounded.
00
lemma there exists a basis {x 1, ... ,xm xi, ... ,x:} for X. Since X= I X{(X)X i
i= 1
for all x in X, the basis is obviously uniform. Conversely, the assumption
of a uniform basis {Xi' xi} for X with expansion operators Un, n = 1,2, ... ,
implies that li~III - Unll =Ii~sup {llx- i~nX{(X)XiIIIIIXII ~ 1} =0. Since
each Un is bounded and with finite dimensional range, by (I.1.12), each
Un is compact. It thus follows (I.2.17) that I is also compact, a fact which
is possible only in' finite dimensional spaces (I.1.12). This completes the
proof of the theorem.
6. T-Bases
00
(i) L Itijl~M<oo,
j= 1
i? 1,
00
by TJC(} = L
tijC(j, C(= {C(;}ECo. We first fix i and show that each Ti
j= 1
is bounded on Co. Assuming the contrary would imply that Ti is not in
00
c~, hence that .L Itijl = 00 (1.4.a). In other words the sequence {.L It ij l}
)=1 J~n
i~plies supIITill~M<oo.
!
Thus Ij=I tijC(jl~MSUPIC()'i=1'2'00.
1 J
and
By condition (ii) and (iii) and the convergence of {x;} there exists for
every B>O an n and an io depending on n, such that for i~io,
j~n Itijl <B/6, 1 1- j~l tij I<B/3 and Ilx-xjll <B/(3M),j~n. Hence, due to
and let zp= L tpn L ()(iXi= L tpn L ()(iXi' We define the norm in
n= 1 i~n n~p i~n
Yby Ilyll =sup Ilzpll, yE Y and we will show that the normed linear space
p
Y is complete.
If T - 1 = {urnn}, which is again a lower triangular matrix, we note that
00
in Y, where Yn = {()(nJ It is then clear that lim ()(ni= ()(i exists and we will
n
prove that Y = {()(J E Y and that Y = lim Yn in Y. To this end let
n
implies that liJ;l1 L tij= 1 for all n, hence that L 0niXi is T-limitable
L j=n i~m
to Xn which demonstrates that xr (xn) = bin and the theorem is proved.
Theorem 6. Let {Xi} be a total sequence in X with biorthogonal set {xn
in X* such that for some consistent matrix T={tij}, lim tni xj(x)Xj L L
exists for n=1,2, ... and s~pll.f
,=
tni~.Xj(X)Xjll<ooP f~~Pea:~ix in X.
1 l:!fl
Then {xJ is a T-basisfor X and {xr(;)} is the coefficient sequence corre-
sponding to X. 00
Proof. Let Tn:X ~X, n= 1,2, ... be defined by Tnx= L tni L xj(x)Xj'
i= 1 j~ r
The hypothesis and the principle of uniform bounded ness (1.3.14) then
imply that supllT,,1I ~M < 00. Since sp{xJ =X we have for each x in X
n
and every s>O an m and an elementy Ym in sp{xdi~m} such that Ilx- Ymll
<so On the other hand, since Tis consistent and since L Xr (Ym) Xi = Ym for
j~i
follows from the assumption lim L tni L CXjXj=O for some sequence
n i= 1 j~i
{IX;} in <P, and by multiplication of this equation with x!. Then
i=l,iodd i=l,iodd
48 III. Bases for Banach Spaces
rx in the topology of each of the spaces lp, 1 ~ p < 00. Therefore, the
theorem is a consequence of Theorem 2.4 and {C5J is a retro-basis
since for all i, C5; is an element of Co as well as of lq, 1 < q < 00. To show
that {C5J is unconditional, let {nJ be any increasing sequence of
integers. Since Ip is complete and because t~1l C5:,(rx)C5 n ,11 = C~1l Irxn,lpf/P
~ (~lrxIP) l/p for each rx in Ip and each finite set of integers fl, the expan-
!EIl
sion for rx is subseries convergent. Thus {C5J is unconditional for 1 ~ p < 00
(1I.1.3). Next, let p> 1 and let pi be such that 1 < pi < p. Then rx = {i- pl/P}
00 00 00
Theorem 4. Let Xl = {1,0,0, .. .},X2 = { -1, 1,0,0, .. . },X3 = {1,0, 1,0,0, ... },
.... Then {xJ is a weak* as well as an absolutely convergent basis for 11,
but {xJ is neither a retro-basis nor a weak* Schauder basis for II.
Proof. It can be verified directly that xT = {l, 1, -1,1, -1, ... } and
xt = C5;, i> 1, are biorthogonal functionals in IT = 100 • Let rx be in II. Then
Since the last term converges to zero with n, Theorem 2.4 implies that
{xJ is a basis for 11. The basis is absolutely convergent since
+L 1+ 2 L
00 00 00
Finally, {Xi} cannot be a retro-basis because x! ist not in Co. {Xi} can
not be a weak* Schauder basis for 11 since then Theorem 2.7 would imply
that X!EC o which is a contradiction. However, {x;} is a weak* basis for
11 since it is a basis for 11 and since lim I lXi(Xi)j=O,j~ 1, implies 0=1X2
= 1X 3='" and thus 1X1 =0. n i';;n
Recalling that XS denotes the characteristic function of a set S we
have
Theorem 5. The following sequence in C[O,IJ (Schauder's system) is
a monotone basisfor C[O,IJ:
Xo(t) = X[O,lj(t),
Xl (t)= t X[O,l](t),
integers. Then, since II i t X:'(X)xn, II = II itp (X, Xn) Xn, II = itp l(x,xn,W
00 00
the completeness of L2 [0,2 nJ implies that the sub series I (x, xn) x ni
i= 1
is convergent in L [0,2 nJ for every x in L2 [0,2 nJ and from (ILL 3)
the assertion follows.
To proof the next theorem we make use of the Rademacher functions IjJno
defined for n=1,2, ... ontheinterval [O,lJ oflRby IjJn(s)=signsin(2 nns),
where signs= -1, =0 or = 1, according to s<O, =0 or >0, respec-
7. Bases for Special Spaces 51
Proof. Let 1 < p < 00 and let q = p/(P -1). First we assume L p [0,2 n]
to be real. We take in L~ [0,2 n] (which is by (1.4.6) isometrically iso-
Z1<
morphic to L q [0,2n]) a sequence {xt} defined by xt(x) = Jxi(t)x(t)dt,
o
x E Lp [0,2 n], i = 0, 1, .... Clearly, the system {Xi' xt} is biorthogonal
and since by Theorem 1.4.11, li~llx-i~nxt(x)xill=O for every x in
Lp [0,2 n], as a consequence of Theorem 2.4, {x;} is a basis for Lp [0,2 n].
First we restrict ourself to a fixed p with 1 <p<2. Now, if for every
xi: h[0,2n] we would have i~O Ixt(xW<oo, then since !lit Xt(X)Xi/1:
= L Ix{(xW and since L z [0,2n] is complete, L xt(x)x i converges
i=n i~n
toyin Lp [0,2 n]. But because {Xi} is a basis for L p[0,2n] we have x=y
so that x is in L z [0,2n]. However, this result is impossible because for
instance x(t)=t-t, 0~t~2n is in L p[0,2n] but not in L z[0,2n]. This
00
f I~PiCOS(it+CPi)IPdt<MP.
o
Let {l/! n} be Rademacher's orthonormal system in L2 [0,1]' Next, let
sE[O,l] be fixed, let m be any positive integer and let Jl+ and Jl- be the
set of integers i, i ~ m, for which l/! ;(s) is positive, respectively negative.
Then
~{~[[I;E. P;COS(itH;)I'dtrr
~(2M)P<4MP.
( .L Icxi12)P12 ~Kp f
l~m l~m
o
where {cx;} is any set of real numbers and K P is a positive constant
depending on p only, one has
[ .2: pfCOS2(it+cp;)lPI2~Kpf
l::::Sm J
1
I.L Picos(it+cp;) 'Pi(S)IPds.
l~m
o
Integration of both sides over (0,2 n) and inverting the order of integration
becomes
2"
PI
f [ .L pf cos (it+ cp;)J 2 dt~4KpMP.
2
l~m
o
i~l pi 2 2 /p
E E
Thus I pi < 00 and this contradiction shows that for 1 < p< 2 the
i= 1
basis is not unconditional.
Finally, to treat the case 2 < p < 00 we assume {xJ to be an uncon-
ditional basis for L p [0,2 n J. Then by Theorem 4.6, {xl'} is an unconditio-
nal basis for L~ [0,2 n], so that by (1.4.6), {xJ is an unconditional basis
for Lq [0,2 n], 1 < q < 2. Since this is a contradiction the assertion of the
theorem follows. Finally, the complex case results from the fact that our
biorthogonal system {Xi' xT} is an (unconditional) basis for real L p [0,2 n]
if and only if it is an (unconditional) basis for complex L p [0,2 n J.
Remark. The trigonometrical system of the preceding theorem does
not form a basis for Ll [0,2 n J. F or, supposing the contrary, the sequence
of expansion operators {V n} of {xJ would be bounded (III.2.3). Since
2n
J
(V 2nX)(S) = (2 n)- 1 (sin it)- I sin(n +i) t xes - t)dt, 0":;;' s,,:;;. 2 n, XE Ll [0,2 n]
o
(the formula is known as Dirichlet's integral (DUNFORD and SCHWARTZ
[1 J, p. 359)), this would imply that 00 > supll Vnll ~ supsup{11 V 2nxlllllxli
2n: n n
":;;'1, XE LI [0,2 n J} ~ sup(2 n)- 1 S (sin it)- II sin (n +i) t Idt (hint: take
n 0
x(t)= l/s, O,,:;;.t,,:;;.s, x(t)=O else, and choose s>o arbitrarily small}.
2n n
But S(sinit)-llsin(n+!)tldt ~2 JS-l sin(2n+ l)sds~2[1 +t+~+···
o 0
+ 1/(4 n + 1)] which contradicts the above estimate. Hence {xJ cannot
be a basis for L 1 [0,2 n J.
Similarly, the trigonometrical system {xJ cannot be a basis for C[0,2 nJ
2n
either. For (2n)- I J (sinit)-llsin(n+!)tldt":;;'sup{I(V 2nx)(0)llllxll ":;;'1,
o
XE C[0,2 n]}":;;' sup{11 V 2nxlllllxli ":;;'1, XE C[0,2 n]}. The first inequality is
obtained by choosing for X continuous functions of norm one in C[0,2 n]
which approximate the function signsin(n+!)t with respect to the norm
in L I [0,2nJ.
The two results can be obtained as well from the knowledge of an
element x in L I [0,2n] whose Fourier series diverges in L 1 [0,2n]
References for Chapter III: BANACH [1], DAY [2], GELBAUM [1], JAMES
[4], KARLIN [2], RETHERFORD [4], SINGER [3, 7 and 12], WILANSKY [1] and
ZYGMUND [1].
CHAPTER IV
n i~n
5*
56 IV. Orthogonality, Projections and Equivalent Bases
in X for all x** in X**, then there exists a projection of X** on J(X).
Proof. Since {Xi} is a basis for X we havefor each x** in X**, J- 1 Px**
= lim L
X1(J-l P x**) Xi = lim L
P x**(x1) Xi = lim L
J' x1(P x**) Xi
n i::::;'n n i~n n i$:n
=lim L P*J'x1(x**)x i, where J' is the natural embedding of X*
n i $;n
into X***. It remains to insure the relations P*J'x1=J'x1, hence
that L
x**(x1)x i converges in X for each x** in X**:
i~n
which \\x - y\\ < a and we have \IPmx-x\\ ~ \IPmx- y\\ + \\y-x\\
=\IPm(x- y)\\ + \\x- y\\ «M + l)a for all m~n. This implies that
Pnx converges strongly to x. Let XTEX*, i= 1,2,... be defined by
xT(x) Xi = (Pi - Pi-l)X, XE X, taking Po = O. Since xT(x)x i = (Pi - Pi-l)Xj
=bijXi, {xi,xT} is a biorthogonal system for X. Now Un= I (P;- P;-l)= Pm
i~n
let x=.I (XiXi, (Xi E<1>, i= 1, ... ,m. Consequently, II.I (Xixill = \\Unx\\
l~m l~n
~s~ \\Un\\lli~m (Xixill for each n~m, and by the preceding theorem
{xJ is a basis for sp {xJ
Proof. By (i) we obviously may assume that \\xn\\ = 1, n= 1,2, '" . Let
n l , ... , nk be an arbitrary increasing finite set of integers, Zk= sp {xnili~k}
and let Sk={zEZkl\\z\\=l}, the unit sphere in Zk' Because Zk is finite
dimensional, it is clear that Sk is compact (1.1.12). Thus there are elements
Zl>""Zm in Sk such that inf{\\z-zi\\lzESk , i~m}«2k)-2/4 (i.e.
there exists a finite a-net with respect to Sk)' Now, there exist elements
z1, ... ,z; in rcx* such that 1-(2k)-2/4~\zT(zi)\~1 and \\zT\\=1.
From the hypothesis (ii) we infer that there exists an integer nk+ 1 > n k
for which sup{IZnXnk+)\li~m}«2k)-2/4. Next, let Z be in Sk and
(X in <1>, \(X\~2. Then \\z+(Xxnk+l\\~\(X\\\xnk+l\\-\\z\\~1>1-(2k)-2.
On the other hand, if \(X\ < 2, then there is an index i for which liz - ziI\
«2k)-2/4, and
\\Z+ (XX nk +
1 \\ ~ \zT(z+ (X xnk+J \ ~ \ZT(Zi)\-\zT(z- Zi)\-\ZT((Xx nk +)\
~ 1-(2k)-2 /4-\\z-ziI\-2\zT(x nk +1)\
~ 1-(2k)-2.
1. Bases and Projections 59
.I ct.;Xn'II~(1-(2kr2)-111. I ct.;xn,ll'
II l~k l~k+l
.I ct.;Xn,11 ~
II l~P k=p l~q
Since
n (1-(2k)-2t n (1-(2k)-2)-1
q-l
k=p
1 ~
OCJ
k=l
= .
n/2
sm(n/2)
= n/2,
Theorem 5 implies that {xnJ is a basis for sp {xnJ c X and the theorem
is verified.
Theorem 7. (GRINBLYUM) A sequence {x;} which is total in X is a
basis for X if and only if there exists a positive constant ct. such that for
all n,
is closed and since sp{xn+1,xn+z, ...} c(I - u,,)(X), one has Xnc(I - U,,)(X).
Moreover, it is clear that Sn is the unit sphere of Un (X). Hence
= ct..
Sufficiency. Let {ct.;} be an arbitrary sequence in ([> and let n,m be any
integers with n<m. Supposing that dist (Sn,Xn)~ct.>O, it then follows
that
60 IV. Orthogonality, Projections and Equivalent Bases
~ 1X!!i~n lXiXi!!
(if In lXiXi=O, !!i~m lXiXi!!~IX!!i~n lXiXi!! is trivially satisfied). Thus
Theorem 5 applies with M = IX-I + 1 and we are done.
3. Equivalent Bases
Definition 1. Let X and Y be Banach spaces, {x;} a basis for X and
{yJ a basis for Y. Then {Xi} and {yJ are said to be equivalent if for a
sequence {a;} c IP the convergence of I a i Xi in X is equivalent to the
convergence of I aiYi in Y. i~n
i:::;n
Theorem 2. The bases {xJ for X and {yJ for Yare equivalent if and
only if there is a topological isomorphism Tof X onto Y such that TXi= Yi'
i= 1,2, .... 00
thus has the unique expansion Y= I aiYi and the sufficiency is verified.
i= 1
Necessity. From the proof of Theorem IlLl.3 we know that X is topo-
logically isomorphic to a Banach space X' and that Y is topologically
isomorphic to a Banach space Y'; X' and Y' consisting of the vector
space of all sequences {aJ in IP for which lim I aixi and lim L aiYi
n i~n n i~n
respectively, exist, and which have norm s~p Ili~n aixil and s~p Ili~n aiYil1
respectively. The hypothesis implies that the identity mapping l' of X'
3. Equivalent Bases 63
into Y' is onto. Since the vanishing of the norm of {IXJ in Y' implies
IX; = 0 for all i, hence implies the vanishing of the norm of {IXJ in X', l' is
one-to-one. The following argument leads to the conclusion that l'
is closed: Let {IXJ, {PJ, {lXmJEX', m= 1,2, ... be such that
li~s~p 11;~n (IXm;-IX;)x;II=O and that li~s~p 11;~n (IXm;-P;)Y;II=O. Since
{xJ and {yJ are bases, uniqueness shows that xn,Yn#O for each
fixed n. For every e>O we then have an m for which
s~p max {11;~n (IXm; -1X;)x;11 ' 11;~n (IXm; - PJ Y;II} < e/2 .
Therefore,
1
IlXn-Pnl ~ IlXmn-lXnl + IlXmn-Pnl ~ Ilxnllll(lXmn-lXn)xnll
1
+ IIYnllll(lXmn-Pn)Ynll
~e/llxnli +e/llYnll
and we have {IXJ = {PJ, i. e. l' is closed. But l' is defined on the whole
of X', hence l' is bounded (1.2.10). From these properties of l' one con-
cludes that X' and Y' are topologically isomorphic so that X is topologi-
cally isomorphic to Y (1.2.6). Finally, since the topological isomorphisms
Tx and Ty of X (of Y) onto X' (onto Y' respectively) are such that
T x x;={c5ij} and that Ty y;={c5ij} it is clear that the transformation
T: X --+ Y of the theorem can be defined by Tx = Ty- 11' Tx x, X E X,
hence such that Tx; = Y; for all i and the theorem is verified.
Remark. The theorem remains true if X and Yare supposed to be
locally convex complete linear metric spaces (see ARSOVE [5J, Theorem 1).
Theorem 3. Let {x;,xt} be a basis for x. If the sequence {yJ in X
00
~211;~m lX;x;ll·
64 IV. Orthogonality, Projections and Equivalent Bases
n
:::;2M(II.I
l::S::n
OC;y;II+.I loc;lllx;-y;lI)
1= 1
00
:::;KII;~nOC;y;II'
where
Again by Theorem 1.5, this implies that {y;} is a basis for sp{y;}. Since
the above estimates show that
:::; :11;tmOC;y;lI,
it !s clear that {x;} is equivalent to {yJ
Theorem 4. Let Yand Z be closed linear subspaces of X and let {y;}
and {z;} be basesfor Y and Z respectively. Moreover, let P be a projectiOli
of X on Yand let {yi} be the associated biorthogonal sequence to {yJ If the
00
exist. From
it follows that 0< I-III - Til ~ IITII ~ 1 + III - Til <2. Thus T is a topo-
logical isomorphism of X onto itself (1.2.15). From the definition of Tit
is easy to see that T(Y)c:Z. Moreover, T has the property that {TyJ
00
i~n
then Ty=z, Tmaps Yonto Z. Finally, by TPT- 1 TPT-1=TPT- 1,
it follows immediately that T P T - 1 is the desired projection of X on Z.
Definition 5. Let {Xi} be a basis for X, {(Xi} a sequence in ifJ and {Pn}
a strictly increasing sequence of positive integers. A sequence {Yn} of non-
Pn+l
strictly increasing sequences of integers {Pn} and {qn} such that for n ~ 1
(starting with ql = 1),
66 IV. Orthogonality, Projections and Equivalent Bases
and
8MII.
l=qn+l
I +1
X{(YpJxill ~8/2n,
where M ~ 1 is the constant which occurs in Theorem 1.5. Let
qn+l
Zn= I X{(YpJx i, n~ 1.
i=qn+ 1
Then we have for n ~ 1,
28 8
I2-
00
~- n =-.
8M n=l 4M
Since {zn} is a block basis with respect to {x;}, there exists to {zn} a
biorthogonal sequence {z;} in sp{zn}*. Now, using Theorem 1.5 (cf.
also Corollary III.2.3), one has for all m,
Ilz~11 = sup{lz~(z) Illzll ~ 1,zEsp {zn}}
=2Msup{lz~(z)112Mllzll ~ 1, ZESP{Zn}}
n=l
Hence by Theorem 3, {YPJ is a basis for sp{YpJ which is equivalent to
the block basis {zn}.
Corollary 8. Let Y be an infinite dimensional closed linear subspace
of X and let {x;} be a basis for X. Then Y contains an infinite dimensional
closed linear subspace with a basis which is equivalent to a block basis
with respect to {xJ
3. Equivalent Bases 67
IIYnl1 = 1. Otherwise, for some n, we would have xt(Yn)=O for all i>n,
Thus there is a sequence {Yn} of unit norm in Y such that xt(Yn) = for
n>i, hence such that limxt(Yn)=O for all i. To complete the proof it
°
i. e. Yc sp {xAj:~ n}, and this is impossible since Y is infinite dimensional.
n
remains to apply Theorem 7.
The next two corollaries are consequences of the following interesting
lemma which is due to Banach and Mazur.
Lemma 9. If X is a separable Banach space, then X is isometrically
isomorphic to a closed subspace of the Banach space C[O,I].
Proof. Let U* be the unit ball of X*. Then, by Theorem I.3.21, U* is
sequentially compact in the weak* topology of X*. Hence there exists
a continuous transformation of Cantor's triadic point set P in [0,1], onto
U* (HAUSDORFF [1], p. 134 and 197). Since T is continuous on P we can
extend it linearly to the whole interval [0,1], the result T' being a continu-
ous transformation on [0,1] onto U*. Therefore, T'(x)EC[O,I] for
every x in X. Now, there is a point tin P such that IT'(x)1 = Ilxll (I.3.10),
where T,' is the functional in U* corresponding to the point t. But since
II T'(x)11 = sup{1 T,'(x)lltE[O,I]} ~ Ilxll we have II T'(x)11 = Ilxll. Evidently
T":X--?C[O,I], defined by T"x=T,'(x), tE[O,I], is then linear and
isometric (i.e. IIT"xll=llxll for all x in X). This shows finally (1.2.15)
that T" is an isometric isomorphism and that T"(X)cC[O,I].
Corollary 10. Each infinite dimensional Banach space X contains an
infinite dimensional subspace with a basis.
Proof. Without loss of generality we may assume that X is separable.
By the foregoing lemma, there exists an isometrical isomorphism T of
X into C[O,I] and, by Theorem III.7.5 this space has a basis. From the
preceding corollary we know that T(X) contains an infinite dimensional
linear subspace Y with a basis, say {yJ Since T is an isometric isomor-
phism, it is clear that {T- 1 yJ is a basis for the infinite dimensional
subspace T- 1 (y) of X.
°
Corollary 11. If a sequence {Yn} in a separable Banach space X conver-
ges weakly to and infllYnl1 >0, then a subsequence {YPJ of {Yn} forms
a basis for sp {y pJ. n
Proof. Let T be the transformation used in the proof of the above
corollary and let {zn be the associated biorthogonal sequence of a basis
for C[O,I]. Since Tmaps X into C[O,I], T* maps C*[O,l] into X*. Thus
68 IV. Orthogonality, Projections and Equivalent Bases
lim zt(TYn) = lim T* zt(Yn)=O for all i, for Yn converges weakly to zero.
n n
Due to infll TYnl1 = infllYnl1 >0 and Theorem 7 there exists a subsequence
n n
{YPJ of {Yn} such that {Typ,,} is a basis for sp{TYpJ. This finally shows
that {YPJ is a basis for sp{YpJ.
References for Chapter IV: BESSAGA [1], BESSAGA and PELCZYNSKI [2],
DAY [3], GELBAUM [1], GRINBLYUM [1], JAMES [1-3], LINDENSTRAUSS [1],
MICHAEL and PELCZYNSKI [1], NIKoL'sKII [1] and SINGER [12].
CHAPTER V
(1.3.15). Next, we define rxi=limxi"(y) for all i. From this it follows that
)
li?t~n(rxi-xi"(y))xill =0
- L t / j Umj-l Znj I
>cll.±
J=l
'fJ)(Umj-Umj_,)Znjll-2e'.~ IfJ) J=l
n n
~C I IfJ) Rex* [(U mj - Umj_,)znjJ - 2e' L IfJ)
j=l j=l
n
>[C£-2(C+1)e'J I IfJJ
j= 1
But
We can take e' < £ Cj2(C + 1) so that the linear transformation T :Ic-'X
(naturally, 11 is over the same field as X), defined by T{y;} = lim "YjZn,,
n L..
i~n
{y;} E 11> is bounded. Since II T {y;} II ~ [C £ - 2(C + 1)£'J II{ y;}ll, {y;} E 11 ,
T has a bounded inverse (1.2.15). Hence T is a topological isomorphism
of 11 with T(11). T(ll) is then weakly sequentially complete, because 11
is (l.4.b, cf. also proof of Corollary V.3.1). Since by the Hahn-Banach
1. Bases, Completeness and Separability 71
= lim
n
I
i~n
x;[X{(x) -liJP X{(Yj)] = lim
] n
I
i~n
x;[rx; -lim X{(Y)] = O. Conse-
J
quently, contrary to our assumption, y~, and hence yj' must converge
weakly to x. Thus X is weakly sequentially complete and we are done.
Applying Corollary III.4.7 we immediately obtain
Corollary 4. If X possesses an unconditional basis and if X* is sepa-
rable, then X* is weakly sequentially complete.
A further corollary one gets, from the combination of the above with
Theorem III.4.8.
Corollary 5. If {x;, xi} is an unconditional basis for X, then {xi} is
an unconditional basis for X* if and only if X* is weakly sequentially
complete.
Theorem 6. If X has an unconditional basis, then X is weakly sequen-
tially complete if and only if no subspace of X is topologically isomorphic
with co.
Proof. The necessity is proved just in the first part of the proof for
Theorem III.4.5. The sufficiency is clear by Theorem 3 if the condition
that no subspace of X is topologically isomorphic with Co implies that
each unconditional basis for X is boundedly complete. But this impli-
cation is proved exactly in the second part of the proof for Theorem
II1.4.5 and this concludes the proof of our theorem.
Theorem 7. If X has an unconditional basis, then the basis is shrinking
if and only if no subspace of X is topologically isomorphic to 11'
Proof. Sufficiency. We need only to show that if the basis is not
shrinking, then there is a subspace of X which is topologically isomor-
phic to 11' But this is established exactly in the principal part of the
proof for Theorem II 1.4.4.
Necessity. We assume that the basis is shrinking. Then Theorem
III.3.4. warrants the existence of a basis for X* and, evidently, X* is
separable. Now, if a subspace of X is topologically isomorphic to 11'
then by (I.3.8 and 25), a factor space of X* is topologically isomorphic
to the non-separable space Ii (cf. 1.4.c). By this contradiction no subspace
of X can be topologically isomorphic to 11 and the theorem now follows.
6*
72 v. Bases and Structure of the Space
and since sp{xn=X*. we have X**EJ(X) for every x** in X**. Hence
X is reflexive as we wished to prove.
Theorem 2. (JAMES) A Banach space X having a basis is reflexive if
and only if the basis is both shrinking and boundedly complete.
n
(L xt(x)xi) = y*(x)
z*(x)=Jx(z*)=lim Jx(y:) = lim y*
n i~n
and
co
we have L 100jllx*(vj)1 < 00 as a result of Riemann's theorem (II.2.2).
j=l
But because inflx*(vn)I>O this is true only if 0( is in 11 , Therefore we
n
can define the linear transformation T of 11 onto sP {v n}, by TO(
= lim L O(j Vj, 0( Ell' Evidently II Til::::;; sup II vnll < 00. The fact that {vn}
n i~n n
is a basis for sp{Vj} and the assumption TO(=O for any 0( in 11 imply
O(j = 0 for all i, hence that 0( is the zero element of 11 , Thus T is one-to-one,
and, by (1.2.6), is a topological isomorphism. That a subspace of X is
topologically isomorphic with 11 contradicts our hypothesis, thus
{zPn -ZqJ converges weakly to O.
Therefore the sequence {zn} converges in the weak topology for X,
because otherwise there would exist a y* in X* and sequences {Pn}
and {qn} of increasing integers such that infly*(zpn -ZqJl >0 which,
n
by the above results, is impossible. Thus every bounded sequence in X
contains a subsequence which converges in the weak topology for X
and the proof of the theorem is complete.
Theorem 9. In every separable non-reflexive Banach space X there
exists a subspace with a non-shrinking basis.
Proof. By (1.3.18), the unit ball U of X can not be weakly sequentially
compact. We thus have two possibilities: (i) X is not weakly sequentially
complete. In this case there exists a weakly convergent sequence {xn}
in X which has no weak limit in X. (ii) X is weakly sequentially complete
but U is not weakly sequentially compact. If this is the case, there is a
sequence {xn} in U such that no subsequence of {xn} is a weak Cauchy
sequence.
(i) Without loss of generality one may take Xl =0. Let J(J') be the
natural embedding of X(X*) into X** (into X*** respectively). Since
supllxnll<oo (1.3.15), we can define xi*EX** by xt*(x*)=limx*(x n),
n n
X*EX*. Obviously xt*¢J(X). Next, let x:*=xt*-Jxn, n=2,3, ....
It follows that supllx:*II::::;;llxt*ll+supllxnll<oo and, since xt*¢J(X)
n n
that infllx:*11 =infllxt* -J xnll >0. Since Ilx**11 = sup{lx**(x*)I\llx*ll::::;; 1,
n n
x*EX*}=sup{lx***(x**)llllx***II::::;; 1, X***EJ'(X*)}, J'(X*) is a deter-
mining manifold for X**. Moreover, lim J' x*(x:*) = xt*(x*) -limJ xix*)
n n
=xt*(x*)-limx*(xn)=O for all x* in X*. Thus Theorem IV.1.6 implies
n
theexistenceofasubsequence {X:k*} of {xt*,x!*,x~*, ... } with n 1 =1,
· h 'IS a b
W h IC ' rlor sp
aSIs - {**} - {**
Xnk =Sp Xl , Xl** - J Xnz , Xl** - J Xn3 ' ... }
=sP {xt* J x n2 ,J x n3 ,···}·
Let now Y=sP{x nz 'x n3 , ... } and Z=sP {X:k*+.} =sp{xt*-Jxn2 ,
xt*-Jxn3""}' Furthermore, let l' be the identity in B(sp{x:k*}) and
76 v. Bases and Structure ofthe Space
In this chapter we use the well known fact that the transformation
T:H-+H* defined by Ty(x)=(x,y), x,YEH, is a one-to-one additive
isometric map of H onto H* and that T(ay)=CiTy, aEiP, YEH. We
customarily denote the elements Ty and y by the same symbol. It is
evident that an orthonormal basis is normal, since then Ilx iI1 2 =(X i,X i)
= (Xi' xt)= xi"(x i) = 1 and in the same way one obtains Ilxfll = lo
Theorem 3. An orthonormal basis for H is monotone.
i~n i~n
i= 1
i~l lXiXi converges to some x in H, because H is complete and II itp lXiXi 112
q
= L: IlXd 2• But since {x;} is a basis for H, by uniqueness, we have
i=p
lXi=(X,XJ for all i. Therefore, {IX;} is in T(H) and the theorem now
follows.
Definition 6. The unit ball U of a Banach space X is strictly convex
provided that Iltx+(l-t)yll<l whenever X,YEU, Ilxll=IIYII=l, x#y
and O<t< 1.
Lemma 7. If the unit ball of the conjugate X* of a Banach space X
is strictly convex and if Z is an arbitrary proper closed linear subspace
of X, then for each z* in Z* there is a unique norm preserving extension
x* in X*.
Proof. We suppose to have two norm preserving extensions x* and
y* to the whole space X (at least one such extension exists by the Hahn-
Banach theorem (1.3.9)). Then z*(z)=(tz*+(l-t)z*)(z)=(tx*
+(l-t)y*)(z), ZEZ and hence Ilz*II:::;lltx*+(l-t)y*ll. But if O<t<l
and x*#y*, one has Iltx*+(l-t) y*ll/llz*ll<l which contradicts the
foregoing inequality. Hence we must conclude that x* = y* as we wished
to prove.
Corollary 8. If Z is an arbitrary proper closed linear subspace of H,
then for each z* in Z* there is a unique norm preserving linear extension
onH.
Proof. One has only to show that the unit ball U of H is strictly convex.
Let X,YEU, Ilxll=IIYII=l, x#y and O<t<1. Then Iltx+(1-t)yI12
= t 2+ (1-t)2+ 2(t-t 2)Re(x,y)= 1- 2(t-t 2)+2(t-t 2)Re(x,y) = l-(t- t 2)
[2-2Re(x,y)] = 1-(t-t2)llx- y112< 1.
Proof. Let {xi,xn be a basis for H such that Ilxdl = Ilxrll = 1 for
all i. Moreover, let j be an arbitrary index and let P j be the orthogonal
projection on the one-dimensional subspace M j of H, spanned by Xj.
On account of (1.3.23), Pj is a topological isomorphism of Mj onto
82 VI. Bases for Hilbert Spaces
= L IY.m(n+1)jn)1-(n+m+2)-12n(lnmrn+m+2
m=O
2. Unconditional Bases for Hilbert Spaces 83
Because (Xn Zn = (f, Xn)Xn(Z), zED, the series L (f, xn)xiz) converges
n=O
absolutely and uniformly to f(z) in each compact subset of D. The
00
r ~pl(f,
l(f,xn)12~lIfIl2.
n=O
tt}f, xJxn = xnW, the series n~o (f, xn)xn converges strongly
to an element, say g, in A2. Moreover, since a subsequence of
Lto (f, Xn)Xn(Z)} converges to g(z) almost everywhere on D, one has
g=f, and by Theorem III.2.4, {xn' xn} is an (orthonormal) basis for A2.
r
or in view of Bessel's inequality, for every X in H the series L I(x, XiW
is convergent. Therefore, since II itm (x, xni)xnf = itm I(x, Xnf)l~ 1 for each
00
m~n and since H is complete, the series L (x, Xi)X i is subseries, and
i=l
hence unconditionally convergent (Theorem II.l.3). This finishes the
proof of the theorem.
Next, let :E be the set of all finite subsets of the set of all positive
integers. We then have
Lemma 2. (ORLlCZ) Let S be a compact interval in ~ and let {Ii} be a
sequence in L 2(S). If sup {II ~.fi III jlE:E} <00, then one has s~p i~}.fi112<00.
!Ii~n fi(S)lJ'i(t) 12 d t .
1
i~n Ifi(S)1 2 ~
We now define the set
fl~ = {i IlJ'i(t)~O, i= 1, ... , n}, tE[O, 1J .
Integrating over S on both sides of the last inequality and applying the
Fubini-Tonelli theorem then gives
= S II.LlJ'i(t)j;112 d t
o l~n
Theorem 3. Let {Xi' xr} be a normalized basis for H. Then the basis
is unconditional if and only if L
I(x, x i)1 2 and L
I(x, xnl 2 converge for
each x in H. i:E;n i:E;n
Proof. "If part": Let x and y be arbitrary elements of H. From the
hypothesis and through application of Schwarz's inequality it follows
co
immediately that L I(x, xi") (y, x;)1 < 00. For every increasing sequence
(.L (x, x!)x y)
i= 1
of integers {m;}, therefore, li~ m ;' exists. H, as a
l~n
same field tP). From the section below Definition 111.4.1 we know that
{II III
sup ~ (x, xT) Xi fl E 1: } < 00 for every x in H. Thus, taking
Ii = (x, xT) T Xi' where T is an isometric isomorphism of H onto L2 [0, 1],
the assumptions of the preceding lemma are fulfilled. Hence
sup L l(x,xT)1 2=sup L lI(x,xT)XiIl 2=sup L 11/;11 2<00. In the same
n i~n n i.::s::n n i.::s;;n
way we infer that sup
n
L I(x, XJI2 = sup L I(x, Xi)
i:S;n n i::;;n
(Xi' xTW
~sup L II(x,Xi)xTI1 2<00, taking /;,=(X,Xi) TxT, using again the forego-
n i~n
ing lemma, and the fact that SUP{L II(x,xi)xTlllflE1:} < 00. This com-
pletes the proof of the theorem. ie/l
References for Chapter VI: GELBAUM [1], KARLIN [2] and ORLICZ [2].
Decompositions
1. Decompositions of F-Spaces
Y, because for each n there exists a Pn ~ n such that II j~n (XOj - xPn) II < 8,
E
mE~nE for which /ljt Xneill <8 for all n,m~me' Thus
7'
88 VII. Decompositions
for all n,m=m•. Hence lim I XOj exists in X, we have {XoJE Y and
n j~n
Y is complete.
We now define the linear transformation T: Y-7X by T({x j})
=lim I Xj' By uniqueness the last series vanishes if and only if {Xj} =0,
n j~n
that T is a topological isomorphism: //T({x j})// = IIJl Xjll ~s~p t~n Xjll
= /I {X j}/I. Therefore, by (1.2.7), T is continuous and this shows that T - 1
is also continuous (1.2.6).
Finally, let Yo be the limit of a convergent sequence Yl'Y2"" in N,
00 00
where Yo= I YOj' YOjEM j, and where h= I' hj' YkjEM j, hi=O, k= 1,
j= 1 j= 1
2, .... Using the fact that T is a topological isomorphism, we conclude
that {Yoj}=T-IYo=T-llimh=lim{hj}' But from the definition of
k k
the metric in Y it follows immediately that YOi=limYki=O, hence that
k
YoE N. Therefore N is closed and the proof of the lemma is complete.
Corollary 4. If {MJ is a weak Schauder decomposition of a Banach
space X, then for each i there exists a closed linear subspace Ni of X such
that MJBNi=X,
Proof. The corollary can be verified with almost the same formalism
used to prove the lemma. But now, Y is defined by weakly convergent
series, and by Theorem 1.3.15 one can use the same metric on Y. The
same theorem makes clear that {zp} is a Cauchy sequence in X, where
zp=weak-li,?1.I xpillzp-zqll ~s~p II.I (xpj-Xq)II)· Since X is com-
J~n \ J~n
plete it is then possible to define zo=limzp and one can show that
p
Ix*(zo- j~n xo j)! ~ IIzo-zpll + Ix* ~P- j~n x pj)/ +s~p t~}Xpj-XOj)11 <4c;
for all n?:c m.. Defining T by a weak limit, the rest of the proof applies
without modification.
Theorem 5. In an F-space X the following three conditions are equi-
valent:
I. Decompositions of F-Spaces 89
each Y in 100- Hence {p* x:} would be a sequence in C6**( = I!) which
converges to 0 in the weak* topology of C6**. If J is the natural (iso-
metrically isomorphic) embedding of Co into C6*, then by Phillips' lemma
(1.4.1) it follows that limllJ* P* x:11 =0. Since J* P* X:EC6 we have
n
It will turn out that the following corollary is only a special case of
Dean's theorem (2.13):
Corollary 3. There exists a decomposition of the Banach space 100
which is not a Schauder decomposition.
Proof. In the proof of the preceding theorem we take X = 100 and
P(X)= Y=c o' By Theorem 111.7.1 there is a basis {bJ for co, where
bi = {b ij }. But from the above lemma we know that P is not continuous.
Hence M I = P - 1 (0) is not closed, since otherwise P would be conti-
nuous. This shows that {MJ is not a Schauder decomposition of 100 ,
Lemma 4. If Y is any separable closed linear subspace of 100 such that
Co eYe 100 , there is a continuous projection of Yonto co.
Proof. From the separability of Y it follows the existence of a de-
numerable dense set in the unit ball of Y. Retaining only those elements
of this set which are linearly independent and which are not in Co, we
get a set {XI,X2""} in Y. We first suppose that there is only a finite
number n of elements in {X I ,X2""}' Obviously we have con sp{xili:::;n}
={O}. Let xbean element of y"=coEBsp{xili:::;n} and x=zo+ I>:iXi
i~n
L lXi(yjV) -
i~n
the vector jijv)) are different from zero it is clear that z(v) is
i~n
92 VII. Decompositions
an element z in Co.
Then
where we have used the fact that each entry of I aiY!') is infinitely
i~n
repeated (since each column vector tv)V) is infinitely repeated).
Next, let P n be the transformation of Yn into Co, which is given by
Pnx=z, XEYn" P n is linear, since for x'=z~+ I a;Xi' Pn(x+x')
i~n
t~n Pixil ~K t~m Pixil for every XEX. Setting Xi=PiX, this is the
necessary condition.
Sufficiency. Let {En} be a sequence of closed subspaces of X, given
by En=SP UMi' Starting from the obvious equation E1 =M 1 we
i~n
plies that IIxll = t~n xiii ~K Ili~n xi-xll=O. Thus En n Mn+ 1= {O}, im-
94 VII. Decompositions
for any xEEm and from IIQnmx11 = Ili~n Xiii ~K IIJmXil1 =KllxlI then
follows that the norm of each of the projections Qnm is bounded by K.
Since for fixed n, Qnm is the restriction of Qn.m + 1 to Em for all m ~ nand
since sp {M;} = X it is, through extension by continuity, clear that for
all of the projections Qnm (with domain Em) there exists a unique linear
extension Qn on the whole space X (1.2.12). Moreover the norm of Qn
is also bounded by K. Qn is a projection with range En> since En is closed
and since Q;x=QnnQnx=Qnx for all XEX. Again because
00
sp U Mi=X, we have for each XEX and every 8>0 an index p such
i= 1
that inf {lIx- ylli yEEp} <8. This implies IIx-Qnxll ~ lIy-Qnxll + IIx- yll
=IIQn(x-y)II+lIx-yll~(K+1)8 for n~p, where we have chosen a
YEEp for which IIx- yll ~8. Consequently, limllx-Qnxll =0 for every
n
XEX.
Finally, since with Qo=O for each i~l onehas Mi=(Qi-Qi-l)(X),
and since for arbitrary m,n one has QmQn=Qrnin(m.n)' by Theorem 1.4,
{M;} is a Schauder decomposition of X.
Corollary 8. Let {P;} be a sequence of mutually orthogonal continuous
00
(IV. 1.5), {Piy} is a basis for Y. This implies that there are unique coeffi-
cients f3iEI[> for which y=lim I f3iPiY in the strong (and hence in the
n .
lEan
converges in the strong, hence also in the weak topology for X to x. The
uniqueness is shown by the following reasoning: Suppose that {zJ is a
sequence in X such that ZiEMi and li~x*(.I Zi) =0 for all X*EX*.
I~n
Then each Zi must vanish since x*(zi)=li~P{ x*(.I Zj) =0 for all x*
)~n
X*(X}. Now, by Theorem 1.6, Theorem 1.5 (iii) and by what has
preceded, {Pi(X*)} is a Schauder decomposition of X*, where
{Pi} = {Qi,Q!-Qi,Q~ -QI, ... }.
On the other hand, applying again this procedure, it follows that
{Pi*(X**)} is likewise a Schauder decomposition of X**. Let J be the
natural embedding of X onto X** and let Pi=J- 1 Pi* J. Then Pi is a
L L
continuous projection of X and lim Pi X = r 1 lim Pi* J x = r 1 J x
n i~n n i:::;;n
=X and, again by Theorem 1.5 (ii), it is clear that {Pi(X)} is a Schauder
decomposition of X.
Corollary 12. If {Pi(X)} is a Schauder decomposition of X and X*
has the property that the convergence of a sequence in the weak* topology
of X* implies the convergence of that sequence in the weak topology of
X*, then {Pi(X*)} is a Schauder decomposition of X*.
We observe that there exist Banach spaces which are not reflexive
but which although have the convergence property mentioned in the
above corollary. An example of such a space is the conjugate space I!
of 100 (I.4.c). Based on this property and on the fact that each bounded
linear transformation of 100 into a reflexive Banach space maps weak
Cauchy sequences into strongly convergent sequences (I.4.c) we can now
prove the following theorem, and the subsequent proposition which is
used to verify the theorem.
Theorem 13. (DEAN) The Banach space 100 does not have a Schauder
decomposition.
Proof. We suppose that 100 has a Schauder decomposition, {Pi(loo)},
and show that this assumption leads to a contradiction. Without loss
of generality one may suppose that each subspace Pi(loo} is nontrivial.
We first choose a sequence {Xi} with xiEP;(l cx,} of norm one and a
sequence UJ with fiEP;(loo}*' also of norm one, and such that fi(x i)= 1
(which is possible by (1.3.1O)). According to the Hahn-Banach theorem
each fi has a norm-preserving extension xi in I!. It follows that Pi xi(xj}
=xi(Pixj)=bijxi(xi)=bijfi(xi)=bij. Let Y=sp{Pi xi} in I!. Since
IIPi xiii =sup{IPi x{(x)llllxll:( 1,XEloo } ~Pi xi(x;)= 1, and since by
Corollary 12 {Pi (I!)} is a Schauder decomposition of I!, Corollary 9
implies that {Pi xi} is a basis for Y. Moreover, we then have x*
=li~.IPix* in I! for every x*EI!. Since Ix*(xi)I:(IIPjx*(xi)1
l~n )<1
IITxdl =sup{ly*(xi)li y*E Y,lly*11 ~ 1} ~ IPi" xt(x i)I/11P7 x711 ~ 1/supllPnll >0
n
(by Corollary 8, supllPnll<oo). It now remains to show the following
n
j G~~en £>0 there is for any fixed xE/ro a k such that IIj~k PjXl1 <£,
sothat I(z;pp -Z;qq)(x)1 ~ I.I 1=1
(rxnpp,i-rxnqq)P7 x7(.L Pjx) I +211.f Pjxll
J<k J=k
< I L (rx npp , i-rxnqq)Pj xj(x)1 +2£ and this is smaller than, say 3£, if
j<k
P and q are chosen large enough. Thus {z;)x)} is a Cauchy sequence
in tP for each x in lro and the Banach-Steinhaus theorem implies the
existence of a z* in l~ which is the weak* limit of {z;jJ in I~. But then
one has limz;
j
.. =z* in the weak topology of I~ (l.4.c) and by (1.3.15)
JJ
References for Chapter Vll: DEAN [1], FAGE [1], GRINBLYUM [5],
McARTHUR and RETHERFORD [1], RETHERFORD [1], RUCKLE [2], SANDERS
[2, 3] and SOBCZYK [1].
CHAPTER VIII
is a (weak) n-ring, the proper (weak) n-ring of the decomposition {Pi (X), PJ.
Moreover, the proper weak n-rings and the proper n-rings are equivalent,
semi-simple, and isometrically isomorphic with the set of operators II
in B(X), defined by A(IX)x=lim I lXiPiX, XEX, IXEr. Based on an
n i~n
existence theorem for Schauder decompositions, which is a generalization
of the corresponding existence theorem for bases established by
NIKOL'SKII, we derive an alternative existence theorem for Schauder
decompositions of X which is related to the existence of proper n-rings.
If the proper n-rings of Schauder decompositions of Banach spaces
are partially ordered in a natural way by inclusion, there exists a minimal
n-ring with a corresponding minimal Schauder decomposition. The
basis for a special space of sequences, W o, ist shown to be minimal.
Naturally, the properties of a proper n-ring of a basis depend on the
type of the basis. Some results are established in the special case of
unconditional bases.
2. n-Rings 99
Proof. Let U x be the unit ball in X and let first have Ya basis with
the corresponding sequence of expansion operators {Un}. Then T(U x )
is conditionally compact and by (1.4.4) lim Un Tx = Tx, uniformly on
n
U x' Clearly Tn = Un T is of finite rank and the preceding consideration
yields limIITn-TII=O.
n
On the other hand, let X* have a retro-basis with the associated set of
expansion operators {Vn*}. The adjoint T* is also compact (1.3.27),
therefore T*(U y.) is conditionally compact and lim V; T* y* = T* y*
n
uniformly on U y •• Hence limllTVn- Til = lim IIV; T* - T*II =0. Again,
n n
Tn= TVn is of finite rank, where we note that we have used the fact
that by Theorem III.2.12 each Vn* is the adjoint of a linear operator Vn
of finite rank. This completes the proof of the theorem.
Definition 3. Let X be a Banach space, F(X) c B(X) the set of all
linear operators of finite rank of X and ~(X)cB(X) the set of all com-
pact endomorphisms of X.
2. n-Rings
Ilexll oo =suplexnl (1 )
n
is finite, then the underlying vector space of s is the Banach space 100 ,
Since Ilexf3lloo~llexlloollf3ll00' ex,f3El oo ' 100 is also a commutative B-algebra.
Hereafter, we use common symbols for the commutative B-algebras and
the corresponding complex Banach spaces.
Lemma 2. Let tes be a B-algebra such that onEt for all n. Then t is
a subset of 100-
Proof. Let 11'11 be the norm on t. Since lexnlilonil = Ilexonil ~ Ilexllllonll,
it follows immediately from the definition of Ilexooll that Ilexll oo ~ Ilexll,
hence that t is in 100-
Next, let t be the closure of an-ring t in the topology of 100- Then the
identity mapping of t into the closed linear subspace t of 100 is continuous
2. n-Rings 101
Po is in wand lim
p
Pp = Po·
8 Springer Tracts, Vol. 18 - Marti
102 VIII. Applications to the Theory of Banach Algebras
i= 1 i= 1
00 00
~supl/3l
J
L
i=l
lr:xi-r:xi+11+ suplal
J
L l/3i-/3i+11,
i=l
11r:x/3llw= SUplr:xi/3d +
l
L lr:xi/3i-r:xi+1/3i+ 11
i= 1
00 00
IIXnr:xllw=s~plail +
l-..;::n
L Ir:xi-ai+11 + lanl
i= 1
00
~2suplail +
l
L lr:xi-r:xi+1
i= 1
1 ~21Iallw'
We have
Lemma 1. A(()() is bounded for every ()(Er.
Proof. Let ()(Er. Since A(Xn()() is represented by a finite sum and all
of the P;,s are bounded, A(Xn()() is an endomorphism of X. The conver-
gence of (1) implies that supIIA(Xn()()xll < 00, XEX. As a consequence of
n
the Banach-Steinhaus theorem (I.2.14) it follows IIA(()()II < 00.
Next, we define the subset II = {A(()()I()(Er} of B(X). The following
lemma shows how II is related to r.
Lemma 2. The linear transformation A: r-+ II is one-to-one.
Proof. Let A(()()=O. Due to the orthogonality property PiPj=OijP j
we then have O=A(()()PiX=()(iPiX for all XEX and all i. Since the sub-
spaces Mi are nontrivial, each Pi must be different from zero. Thus ()(i=O
for all i, i. e. ()( = 0 and this shows that A is one-to-one.
Lemma 3. r is a subset of the space 100 •
Proof. Let ()(Er. Again from A(()()PiX=()(iPiX,XEX we obtain
l()(iIIIPiXII::::; IIA(()()IIIIPixll, hence 11()(1100 = sup I()(i I::::; IIA(()()II < 00.
Proof. Using the orthogonality relation PiP j = oijP j one gets for
A (()(), A({3)ElI, A(()()A({3)x=lim L ()(i PiA ({3)x=lim L Pi X = A(()({3)x, ()(i {3i
n i~n n i:$;n
XEX and thus A(()({3)ElI. Since A(e)x=lim L Pix=x, XEX, one has
n i~n
A(e)=I. Therefore A is a proper (algebraic) isomorphism of r onto n.
Moreover, II is a Banach space: Let {()(m} be a sequence in r such
that A(()(m) converges in the uniform operator topology of B(X), say to
AoEB(X). Since A(()(m)PiX=()(miPiX for each i and each XEX, we have
an ()(o~s such that lim()(mi=()(Oi. Moreover, lim A (()(m) Pi X= AOPix.
m m
8*
104 VIII. Applications to the Theory of Banach Algebras
for all IY.Er. Hence IlxnlY.ll = IIA(XnlY.)11 ~KIIA(IY.)II =KIIIY.II, and for lY.,pEr
we have IIIY.PII = IIA(IY.P)II = IIA(IY.)A(P)II ~ IIA(IY.)IIIIA(P)II = IIIY.IIIIPII. The
completeness of r follows from the fact that A is an isometric isomor-
phism of r onto II. Because of these properties, and since e, c5 n Er,
n = 1,2, ... , r is a n-ring. Finally, the semi-simplicity of II is a consequence
of the semi-simplicity of r, where the semi-simplicity of r follows from
Lemma 2.1.
Definition 5. r is said to be the proper n-ring of the Schauder decom-
position {Mi} of X.
The next theorem shows that the notions of strong and weak proper
n-rings of Schauder decompositions of X (corresponding to strong and
weak convergence of the series expansion which defines the operator
A(IY.)) are the same.
Theorem 6. Let {Mi' Pi} be a Schauder decomposition of x. If for
00
some IY. in s the series L lY.i PiX is weakly convergent for each xEX,
i= 1
then it is convergent in the strong topology for X for all xEX.
Proof. Let r be the proper n-ring of {MJ Obviously, XnlY.Er for
every finite n. By hypothesis, x*[A(XnlY.)x] converges for each x in X
and each x* in X*. Thus sup Ix*(A(XnlY.)x)1 < 00, XEX, X*EX* which,
n
as a consequence of the uniform boundedness principle (1.3.14), implies
sup IIA(XnlY.)11 ~ M, where M is some positive constant. Since for every
n
X in X and every a>O we have an index p such that Ilx-xpll <a/2M,
where xp= L PiX, we have
i~p
holds for every x in X. Let K' be the constant of Definition 2.3 which
corresponds to r'. Then
Since x=lim L PiX we have for each x in X and every e>O an index
.t
II l-P r:t.iPiXII = II.L r:t.iPi.t PjXl1 <K'IIA'IIIIr:t.llr' e
t!ESq J-P
and since X is complete, the right hand side of(2} is convergent. Therefore
r:t. is in r and this contradiction leads to the desired result that A is n-
maximal.
The concept of a proper n-ring can be extended in an obvious way
to a weak* Schauder basis {xi, xi*} of X*. Let r* be the subset of all r:t.
OC!
Since {xJ is a basis for X with biorthogonal sequence {xi} if and only if
{xi} is a weak* Schauder basis for X* with biorthogonal sequence
{xi*} such that xi*(x*}=x*(xJ for all X*EX* (III.2.7), we have
Next, let r be the proper n-ring of {Xi} and A the corresponding iso-
metric isomorphism of r into B(X}. From (3) it is apparent that A + (Xnr:t.)
is the adjoint of A(Xnr:t.} for all n and, as a consequence of the uniform
boundedness principle (1.3. 14}, supIIA(Xnr:t.}II<oo. Since limA(xnr:t.}x
n n
exists in X for each x in the total set {Xi}' it follows from the Banach-
Steinhaus theorem that A(r:t.}x exists for all x in X. Hence r*cr and
by (1) and (3),
x*(A(r:t.}x}= A+ (r:t.}x*(x), XEX, X*EX*,
4. Minimal Schauder Decompositions 107
in X and every 8>0 an index n such that for p,q~n, II.t P i xll<8.
Therefore, ,= p
.t
II I-P aiPixll= II.I
l~q
rt.iPi.t PjXII<KIIrt.llw8
J-P
IIA(rt.)11 ~K 11rt.llw for every rt. in w. This shows that w, as a set, is contained
in r.
We now introduce the ideal Wo of w, defined by
wo={rt.irt.EW, limrt.n=O}.
n
11rt.-XnlXllw~2suplrt.n+;I+ IIrt.n+i-rt.n+i+ll.
i~n i= 1
Since rt.EWocCo, the right hand side of the above inequality tends to
zero with increasing n. Thus sp {bJ = Wo0 On the other hand it is clear
that for m ~ n and any f3 in s,
.I f3ibill =
I l~n w
Ilxnf3llw~llxmf3llw= II.I f3ibill
l~m w
.
Theorem 3. A basis {Xi' x'[} for X is of the second category if and only
if it is unconditional.
Proof. Let {x;} be unconditional. A(a)x exists in X for each a in
100 and each x in X, because unconditional convergence of a series, by
Theorem 11.1.3, implies bounded multiplier convergence of the series.
Hence the proper n-ring of {Xi} contains 100 and since r c 100 we have, as
110 VIII. Applications to the Theory of Banach Algebras
a set, r= 100 . We now proceed to define the transformations Tn: 100 -+B(X)
by T,,(IX)=A(XnlX),IXEloo,n= 1,2, .... Since for fixed IX in 100 , sup 11T,,(IX)xll
n
=supIIA(XnlX)xll < 00, XEX, we have by the principle of uniform bound-
n
edness (1.3.14), sup II T" (IX) II < 00, IXEloo- Evidently each of the transfor-
n
mations T" is bounded. Applying now the same principle again it then
follows that sup suP{IIA(XnlX)111111X11 00 ~ 1} = sup II Tnll < 00 so that by
n n
Theorem 2, {x;} is of the second category.
Conversely, if {x;} is ofthe second category, then IIA(XnlX)11 ~MlllXlloo
for all IX in 100 and all n. Let {n;} be an arbitrary increasing sequence of
integers and let IX in 100 be such that IX j = 1 for j in {n i } and IXj=O else.
For every 8>0 we have an index p such that Ilx-xpll <8/(2M), where
xp= L
Xr(X)Xi and where x is a fixed but arbitrary element of
{.L lXiXr(X)Xi}
i~p
ni:::;;n
00
L xr(x)x i is sub series convergent, hence unconditionally convergent
i= 1
(11.1.3) and the theorem is proved.
Corollary 4. An element IX of s is in the proper n-ring of an unconditional
basis if and only if it is in 1 00 •
cation of both sides by (A-cxT 1xj, one obtains (A-CX)-l xj(AI - A (cx)) X
=xj(x) for allj. Since X= lim L
xt(x)x i, the assumption (AI - A(cx))x=O
n i~n
for all x in X, so that R (A, A (cx)) = (AI - A(cx)t 1 = A(Ae- CX)-l). Finally,
since the spectrum of A(cx) is closed in C (I.2.20), and since R(A,A(cx))
is bounded for each complex A which is not in the closure of {CX 1,CX 2, ... }
in C, the proof of the theorem is finished.
For the special value A=O it follows
Corollary 7. Under the conditions stated in the foregoing theorem,
whenever cx is in r, A(cx) has a bounded inverse if and only if it:J.flcx;l >0.
If this is the case, A(CX)-1=A(cx- 1). '
The topological isomorphism A may be used to investigate relations
between the unconditional bases for X and the orthogonal bases for X.
The last concept is explained in the following definition.
Definition 8. A basis {x;} for X is orthogonal if and only if the ine-
quality
is satisfied for all sequences cx in s and all disjoint subsets J1 and v of 1:,
where 1: is the set of all finite subsets of the set of positive integers.
Theorem 9. (SINGER) Each unconditional basis for X is an orthogonal
basis for a Banach space X', where X' is the same linear space as X,
supplied with an equivalent norm. .
Proof. Let {x;} be an unconditional basis for X. We then define a
new norm on the linear space X by
112 VIII. Applications to the Theory of Banach Algebras
This yields
Ilxll = IIA(e)xll :::;;sup{IIA(a)xll!lIalloo:::;; 1}= Ilxll'.
°
On the other hand, as we have shown in the proof of Theorem 2, there
is a constant M > such that
Ilxll' :::;;sup{MlIall oo Ilxll!lIalloo:::;; 1} =Mllxll·
This shows that the primed and the unprimed norms on X are equivalent.
Moreover, for 13 =1= 0,
IIA(f3)xll' = sup{IIA(a)A(f3)xll!lIalloo:::;; 1}
:::;;sup{IIA(af3)xll\lIall",:::;; 1}
= 11131100 sup{ IIA(a 13) xll/llf3ll 00 Illall 00 :::;; 1}
:::;; 111311 "'_ sup{IIA(a)xll!lIall 00:::;; 1} = 11131100 Ilxll'·
Hence the inequality IIA(f3)xll':::;; 11131100 Ilxll' holds for every 13 in 100 and
every x in X. Let XuE/", be the characteristic function of the set flEL.
Choosing 13 = XJl and =. x L aixi,
IEJlUV
VEL, aEs, we get II?= aixill' lEJl
Having introduced the basis concept for Hilbert and Banach spaces,
certain generalizations appear to be at least as important. First of all
one discards of almost all requirements used for the definition of a basis.
Beginning with the absolute minimum one takes a linear topological
space X, does not use the concepts of totalness and countability and
avoids all mention of series expansions. Thus, the starting point will be
a family {x,,} of elements of X and a biorthogonal family {f,,} of
continuous linear (coefficient) functionals on X. The biorthogonal system
{x"J,,} is said to be maximal if there is no biorthogonal system in which
it is properly contained. A biorthogonal system with respect to X is
called a generalized basis for X if, in addition, XEX and !,,(x)=O for
all A implies x = O. A generalized basis is always a maximal biorthogonal
system. If the set of basis elements {x ,,} of a biorthogonal system
{x"J,,} in X is total in X, then {x"J.J is called a dual generalized basis
for X. Moreover, if such a basis is also a generalized basis for X, it is
called a Markushevich basis for X if the set {x,,} is countable, and an
extended Markushevich basis for X if {x,,} is not countable. Finally,
introducing again the concept of a series expansion for elements of X,
then a Markushevich basis for X becomes a Schauder basis for X. Hence
one has the following hierarchy in terms of increasing generality:
Schauder basis
~
Markushevich basis
~
extended Markushevich basis
(= total generalized basis)
~~
generalized basis dual generalized basis
~ ~
maximal biorthogonal system --------» biorthogonal system
114 IX. Some Results on Generalized Bases for Linear Topological Spaces
Let X be a linear topological space over the field cI>, X* its conjugate
space and let A be an index set of arbitrary cardinality.
Definition 1. The do.uble-family {x .. , f .. } is a bio.rtho.go.nal system
if X .. EXand f .. EX* fo.r all AEA and if f ..(x,.}=b ..f.I' where b..f.I is the
Kro.necker symbol. {x .. ,f.. } is maximal with respect to. X if there is no.
bio.rtho.go.nal system which co.ntains {x .. ,f.. } pro.perly.
1. Definition and Fundamental Properties of Generalized Bases 115
and every x which is a finite linear combination of x;s. From the total-
ness of {x;.} and the continuity of f~ -fA we deduce that (f~ -fA)(X) =
for each x in X, hence that {fA} is unique. On the other hand, suppose
°
that {f.,.} is unique, but that {x A} is not total with respect to X. Then,
by Theorem 1.3.6 there is a non-zero fin X* such that f(x .. )=O on A.
Let v be a fixed element of A. (f.. +b"vf) (X/L)=b"/L shows that
{X ..,f.. +b ..vj} is a biorthogonal system with respect to X. Assuming
(f.. +b .. J)(x)=O for some x in X we infer that f .. (x) = - f(x)f.. (x v)
=jA(-f(x)x,), or in other words, F(x)=F(-f(x)x.). But since F is
one-to-one one has X= -f(x)x v • Hence f(x)=f( -f(x) xv) = -f(x)f(x v )
=0 and f .. (x)=O, ..lEA, which implies that x=o. Thus beside {x .. ,f;.}
there is another generalized basis for X, {x .. ,f.. +b"vj}, distinct from
{x .. ,f.. } and this contradiction leads to the conclusion that the family
{x .. } is total in X.
Theorem 7. (MARKUSHEVICH) There exists a M arkushevich basis for
every separable Banach space X.
°
ingnow zt(x)=O foralliandagivenxinX,onehas (TX'Yi)=Zt(X)=O
for all i. Since for every e > there is a set ()( 1, ... , ()(n in If> such that
IITx- i~n ()(iYill<e, one has
i~n i~n
<8 2 .
On the other hand, if one assumes that I! has a weak* basis {xr},
then to every x* in I! there is a unique sequence {a;} in cp such that
x* = lim L ai xT in the weak* topology of I!. But by (1.4.c) it is apparent
n i~n
that the series converges weakly to x*. Thus {xr} is a weak basis for
I"! which, since I"! is a Banach space, turns out to be a basis for I! (111.2.5).
Thus I"!, and so also 100 (1.3.11) would be separable in its strong topologies.
This contradiction (1.4.c) completes the argument.
Let X, X*, F and A have the same meaning as defined at the beginning
ofthe preceding section. There are then two types ofbiorthogonal systems
{xA,fJ:
(i) {x A,fA} is such that F is one-to-one.
(ii) {Xl,fA} is such that {x A} is total in X (i.e. sp{xA}=X).
It follows that the set of all biorthogonal systems of type (i) are the
generalized bases and that the set of all biorthogonal systems satisfying
(i) and (ii) are the (extended) Markushevich bases. As we shall see, the
biorthogonal systems oftype (ii) are in some sense dual to those oftype (i).
Definition 1. A biorthogonal system satisfying (ii) is called a dual
generalized basis for X.
Theorem 2. (KLEE) If X is separable, locally convex and HAUSDORFF
then there exists a dual generalized basis for x.
Proof. Since X is separable there is a sequence {yJ with sP {yJ = X,
and without loss of generality {Yi} may be assumed such that every
finite subset of it is linearly independent. Let N n be the linear subspace
of X spanned by {Y1, ... ,Yn}. First of all, let X1=Y1 and X2=Yz. Then
there are linear functionals f1 and f2 in N! with the properties f1 (x 1) = 1,
f1 (x 2)=O and f2(X 2)= 1, f2(X 1)=O (1.1.2 and 1.3.6). By (1.3.5) both f1
and f2 have continuous linear extensions x! and x!, respectively, onto
all of X. Thus x!, X!EX* and xT(x)=b ij , i,j= 1, 2. We now proceed
recursively. Let {x 1, ... ,xn,x!, ... ,x:} be such that sp{x 1, ... ,xn}=Nn
and that xT(xj)=b ij , i,j,,;;n. We observe that by the biorthogonality
relations, the set {Xl> ... , x n } is linearly independent. Then we define
Xn+1=Yn+1- L XT(Yn+1}X i, and it is clear that the set {X1,···,X n+1}
i~n
L
AEAxy
YA(XA+O AV L
JLEAxy
lY."x,,)= L
v=/=. AEAxy
(PA-YVIY.;)xA+yv(xV+ L
AEAxy
IY.AXA)
9*
120 IX. Some Results on Generalized Bases for Linear Topological Spaces
- Yv (x- L a/lx/l)
lLeA xy
3. Examples
Example 1. Let B(A) be the Banach space of all bounded functions
x:A~cP, the norm being Ilxll =sup{lx(2)1!2EA}. For every 2 in A we
define XA=XA' where XA(Il)=b A/l is the characteristic function of 2. The
functionals fA' defined by fA(x)=x(2) are obviously bounded, hence
continuous, and the set {x A,fA} is biorthogonal. {x A,f;,.} is a generalized
basis for B(A), since in addition to the properties shown above, fA (x) = 0
on A implies x(2)=O on A, hence x=O.
Example 2. In the preceding example we take A to be the set of positive
integers. Then B(A) = 100 , and though 100 is non-separable, it has a countable
generalized basis.
Example 3. Let Y be the subspace of 100 of all elements x such that
lim(l/n) L x(2) exists. It is clear that Y is closed in 100 and that {XA,j~}
n ).~n
zero, but vanishes at each xA. Thus {x A' fA} is not a dual generalized basis
for Y.
Example 4. Let A(D) be the Banach space described in 1.4.f. If Zo is
any real number such that 0 < Zo < 1, every x in A(D) has the Taylor series
expansion
x(n)(z)
L __0 (z-zot
cy,
x(z)= (1)
n=O n!
3. Examples 121
In the same way as in the preceding example, it can be shown that the
system {xn' fn} given by (2) and (3) is a generalized basis, but not a
Schauder basis for AF(D). The only change in the proof is for the
continuity of fn. We have Ifn(x)I=lx(n)(zo)l/n!~llxIIJ{1-2-k-zo)n
~2k+lllxll/{1-rk-zo)n, if k is chosen such that zo<1-rk and if
Ilxll is taken smaller than r k - 1 • As a result of WALSH [1, p. 26J the poly-
nomials in Z are dense in each C(Dk)' Hence {xn} il total in AF{D)
which means that {xn.!n} is a dual generalized basis for AF(D), and,
by the above, a Markushevich basis for AF(D).
122 IX. Some Results on Generalized Bases for Linear Topological Spaces
fn(xm)
[1 m
= -'-.1.... (. _ )'
'"
.,
l. .
z,-n -
1 - U~ nm L
m .,
1. zi-n-l
]
4. Similar Bases
index set A. {x;.} and {y;.} are similar, if there exist families {f;.} and
{g;.} of coefficient functionals for {x;.} and {y;.} respectively such that
F(X)= G(Y), where F and G are the coefficient mappings determined by
each family of coefJicient functionals.
The definition naturally implies that both X and Yare over the same
field CP.
Theorem 2. (ARSOVE-EDWARDS) {xJ and {y;.} are similar if and
only if there exists a topological isomorphism T of X onto Y such that
y;.=TX;.,AEA.
Proof. To show the sufficiency let T be a topological isomorphism of
X onto Y such that y;. = T x;. on A. Given the family of coefficient func-
tionals {f;.} for {x;.} wechoose {gJ for {Y;.} such that g;.(y)=f;.(T-1y),
yE Y. Since g;.(Yp.)=f;.(T- 1 Txp.) =f;.(xp.) = b;.p. and since g;.(y)=O on A
implies T- 1y=O and thus y=O, {g;.} is a family of coefficient func-
tionals for {yJ and from f;.(x)=f;.(T- 1 Tx)=g;.(Tx) we have the
result that F (X) = G( Y).
For the necessity condition we put Z = F(X) = G(Y). Observing that F
and G are ono-to-one one has two possibilities of metrizing Z. Let Px and
py be the metrics defined in X and Y respectively. Then one can define
as a metric on Z either p~ by p~(z, 0) = px(F- 1 z, 0) or p~ by p~(z, 0)
= py( G - 1 Z, 0), Z E Z, and in both cases Z becomes a complete linear
metric space (with translation-invariant metric). We can show that p~
and p'y define equal topologies for Z.
Taking p = p~ + p~ it is evident that p, again is a translation-invariant
metric on Z. If {zn} is a Cauchy sequence in this metric, then {zn} is
also a Cauchy sequence in both metrics p~ and p~ on Z, and there exist
limits Zx and Zy of {zn} in the p~ and p~ topologies respectively.
Since each functional f;. is continuous we infer that f;.(F- 1 zx)
=f;.(F-l(p~-)limzn) =f;.((px-)limF-1z n) = limf;.(F-1z n) = limzn(A)
n n n n
= lim g;.(G- 1 Zn)= gj(py- )lim G- 1 Zn)= g;.(G-l(p~_ )limzn )= g;.(G- 1Zy)
n n n
=Zy(A)=f;.(F-l Zy) for every A in A. Because {x;.,J;'} is a generalized
basis we inferlhat F-1zX=F-1z y, and, since F is one-to-one, that
Zx=Zy. Hence {zn} converges in the metric p to the point Zx. This
shows that Z is complete in the metric p.
Because the topologies induced by p~ and p~ are both weaker than
that defined by p, it follows from (1.1.8) that p~ and p~ induce the same
topology for Z. Therefore, F and G are topological isomorphisms of X
and Y, respectively, onto the linear topological space Z (1.2.6). Defining
T by T=G- 1F, T is the required topological isomorphism of X onto
Y and, finally we have TX;.=G-1F x;.=G- 1{fp.(x;.)}=G- 1{bp.;,}=y;'
which concludes the proof of the theorem.
124 IX. Some Results on Generalized Bases for Linear Topological Spaces
for all finite sequences AI,"" An in A and all finite sequences rx 1 ,··., rxn
in ([>, then
(i) {y;J is a total generalized basis for X (which is similar to {x,,}),
(ii) and there is a topological isomorphism T of X with itself such that
y,l = Tx,l on A and (l-rx)llxll ~ IITxl1 on X.
Proof. Let D be the set of all finite linear combinations of elements in
the set {X,l}. One has D=X, since {x,,} is total inX. Let U:D--->X be
a linear operator defined by Ux= I f"(x)(x,, - h), xED, which, by the
AEA
inequality of the hypothesis, is uniformly continuous. Hence U has a
unique uniformly continuous extension V:X --->X (1.2.5). Moreover, the
hypothesis implies that Iwnxll ~rxnllxll for all n;?:O and all x in X.
Now, for S:X --->X, given by the absolutely convergent series expan-
00
index n such that Ikto V k XII < 8/2 for each m;?: n, and this shows that
sion I IXiYi, where {IXJ is the coefficient sequence of the series expan-
i= 1
OCJ OCJ
sion I IXiX i for T- 1 y. The first series is unique, since I IXiYi=O im-
i= 1 i= 1
OCJ OCJ
limfl{Yn) = 1. Since (by 1.4.5) the polynomials are dense in the Banach
n
space C [0,1] we can choose to each n a polynomial Zn in Y such that
sup { IZn(t) - (1- n t) I I tE [O,lln]} ~ lin and that sup{ IZn(t)11 t E(lin, I)}
t
J
~ lin. Obviously Yn' defined on [0,1) by Yn{t)= zn(t/)dt' is a polynomial.
o
Therefore, fl(Yn)=limC 1 Yn{t)=Zn{O)E[l-l/n, 1 + lin] for n= 1,2, ....
t_O
1
But because suP{IYn(t)11 tE[0,1)}~Jlzn{t)ldt~1/(2n)+1In=3/(2n), the
sequence {Yn} converges to °in theo topology of Yand the assertion is
verified.
Theorem 2. (NEWNS) In a complete metric linear space X over IR (or
C) which has a translation-invariant metric, every basis for X is a Schauder
basis.
Proof. Since the metric p in X is translation-invariant we use the
.I II.I I
notation Ilxll =p(x,O), XEX. Let {Xi'!J be a basis for X. Since for each
x in X, J;(X) Xi converges to x, it is clear that Ilxll /= s~p fJX)Xi < 00.
l~n l~n
Therefore p'{X,y)= Ilx- yll ' defines a new metric on X which is stronger
than p. Later on we shall show that X is also complete in the metric p'.
Theorem U.S then ensures that p and p' define the same topology on X.
Because Ilfn(x)xnll = lIit/i{X)Xi- i"'~-l fi{x)xill ~21Ixll/, and on account
of the fact that fn{x) is a continuous odd function of fn(x)xn (1.1.7), each
linear functional fn is continuous in the metric p', and by what has
preceded, also in the metric p. In the following we show that X is com-
plete in the metric p'.
5. Continuity of the Coefficient Functionals 127
Let {Yk} be a Cauchy sequence in X in the metric p'. From the con-
tinuity of each fn in the metric p' we then infer that Un(Yk)} is a Cauchy
sequence in iP = IR( = q, hence converges with k to some !Xn in iP. By
hypothesis one has for every e > 0 an integer p such that for any m and
n;;:m,
(1)
n
and since X is complete in the metric p, L !XiXi is p-convergent in X,
i= 1
say to some point Y in X. Now, putting m= 1 in (1) yields in the limit
as q-H/J,
= lim
n
L fi(X)X i
i~n
I.I I
Corollary 6. Let X be a barrelled topological vector space and let
{Xi'!;} be a biorthogonal system Jor X such that s~p J(Xi)Ji(X) < 00,
l~n
XEX, JEX*. Then {Xi'!;} is a Schauder basis Jor sp{x;}.
Proof. Evidently, supIJ(Tnx)1 < 00, XEX, JEX*. Hence for all X,
n
{Tnx} is weakly bounded, and, by (I.3.4), bounded in X. The rest of the
proof is analogous to that of the theorem.
References for Chapter IX: ARSOVE [4,5], ARSOVE and EDWARDS [1],
DAVIS [1], DIEUDONNE [1], EDWARDS [2], KLEE [1], MARKUSHEVICH [1],
NEWNS [1] and SINGER [12, 15].
Bibliography
ABDELHAY, J.
[1] Caracterisation de l'espace de Banach de toutes les suites de nombres reels
tendant vers zero. C. R. Acad. Sci. Paris 229, 1111-1112 (1949).
AKUTOWICZ, E. J.
[1] Construction of a Schauder basis in some spaces of hoI om orphic functions
in the unit disc. Colloq. Math. 15,287-296 (1966).
ALAOGLU, L.
[1] Weak topologies of normed linear spaces. Ann. of Math. (2) 41, 252-267
(1940).
ALTMAN, M. S.
[1] On biorthogonal systems. Doklady Akad. Nauk SSSR (N. S.) 67, 413-416
(1949) (Russian). Math. Rev. 11, 114 (1950).
[2] On bases in Hilbert space. Doklady Akad. Nauk SSSR (N. S.) 69, 483-485
(1949) (Russian). Math. Rev. 11, 525 (1950).
ARSOVE, M. G.
[1] The Pincherle basis problem and a theorem of Boas. Math. Scand. 5, 271-275
(1957).
[2] Proper bases and automorphisms in the space of entire functions. Proc.
Amer. Math. Soc. 8, 264-271 (1957).
[3] Proper Pincherle bases in the space of entire functions. Quart. J. Math.
(Oxford) (2) 9, 4D-54 (1958).
[4] Proper bases and linear homeomorphisms in the space of analytic functions.
Math. Ann. 135,235-243 (1958).
[5] Similar bases and isomorphisms in Frechet spaces. Math. Annalen 135,
283-293 (1958).
[6] The Paley-Wiener theorem in metric linear spaces. Pacific J. Math. 10,
365-379 (1960).
ARSOVE, M. G., and R. E. EDWARDS
[1] Generalized bases in topological linear spaces. Studia Math. 19, 95-113
(1960).
BABENKO, K. I.
[1] On conjugate functions. Doklady Akad. Nauk SSSR (N. S.) 62, 157-160
(1948) (Russian). Math. Rev. 10, 149 (1949).
BANACH, S.
[1] Theorie des operations lineaires. Warsaw, 1932.
BANACH, S., and S. MAZUR
[1] 2ur Theorie der linearen Dimension. Studia Math. 4, 100-112 (1933).
[2] Sut la divergence des series orthogonales. Studia Math. 9, 139-155 (1940).
Bibliography 131
BARI, N. K.
[1] Biorthogonal systems and bases in Hilbert space. Moskov Gos. Univ. UC.
Zap. 148, Matematika 4,69-107 (1951) (Russian). Math. Rev. 14, 289 (1953).
BARIC, L. W.
[1] Some notes on sequences which are similar or related to a Schauder basis.
Duke Math. J. 35, 1-7 (1968).
BARIC, L. W., and W. RUCKLE
[1] Matrix transformations of Schauder bases. Studia Math. 28, 275-278
(1966/67).
BESSAGA, c.
[1] Bases in certain spaces of continuous functions. Bull. Acad. Pol. Sci. ClII,
5, 11-14 (1957).
[2] On topological classification of complete metric spaces. Fund. Math. 56,
25t-288 (1964/65).
[3] Topological equivalence of unseparable reflexive Banach spaces. Ordinal
resolution of identity and monotone bases. Bull. Acad. Polon. Sci. Ser. Math.
Astronom. Phys. 15, 397-399 (1967).
BESSAGA, c., and A. PELCZYNSKI
[1] An extension of the Krein-Milman-Rutman theorem concering bases to the
case of Bo-spaces. Bull. Acad. Pol. Sci. cm, 5, 379-383 (1957).
[2] On bases and unconditional convergence of series in Banach spaces. Studia
Math. 17, 151-164 (1958).
[3] A generalization of results of R. C. James concerning absolute bases in
Banach spaces. Studia Math. 17, 165-174 (1958).
[4] On subspaces of a space with an absolute basis. Bull. Acad. Pol on. Sci. Ser.
Sci. Math. Astr. Phys. 6, 313-315 (1958).
[5] Properties of bases in Bo-spaces. Prace Mat. 3, 123-142 (1959) (Polish).
Math. Rev. 23, 760 (1962).'
[6] Spaces of continuous functions (IV). Studia Math. 19, 53-62 (1960).
[7] Some remarks on homeomorphisms of Banach spaces. Bull. Acad. Polon.
Sci. Ser. Sci. Math. Astronom. Phys. 8, 757-761 (1960).
BOAS, R. P.
[I] General expansion theorems. Proc. Nat. Acad. Sci. USA 26,139-143 (1940).
BOCKAREv, S. V.
[1] Unconditional bases. Mat. Zametki 1, 391-398 (1967) (Russian). Math.
Rev. 35, 135 (1968).
BONDAREv, V. G.
[1] Weak reflexivity of spaces with Schauder basis. Vestnik Moskov. Univ. Ser.
I Mat. Meh. 22 no. 4, 46-49 (1967) (Russian). Math. Rev. 35, 865 (1968).
BOURBAKI, N.
[I] Espaces vectoriels topologiques, Ch. I-V, Elements de mathematique V.
Paris, 1953-55.
BUCK, R. C.
[1] Expansion theorems for analytic functions, Conference on functions of a
complex variable, Univ. of Michigan, 409-419 (1953).
CALKIN, J. W.
[1] Two-sided ideals and congruences in the ring of bounded operators in Hil-
bert space. Ann. of Math. (2) 42, 839-873 (1941).
132 Bibliography
CANTURIJA,Z.A.
[1] Some properties of biorthogonal systems in Banach space and their appli-
cation to spectral theory. Soobse. Akad. Nauk Gruzin. SSR 34, 271-276 (1964)
(Russian). Math. Rev. 30, 775 (1965).
[2] On the stability of bases of Banach spaces. Soobse. Akad. Nauk Gruzin.
SSR 36,269-272 (1964) (Russian). Math. Rev. 30, 87 (1965).
[3] Some properties of T-bases. SoohSe. Acad. Nauk Gruzin SSR 37, 271-274
(1965) (Russian). Math. Rev. 30, 956 (1965).
[4] On some properties of biorthogonal systems in Banach space. Thbilis.
Sahelmc. Univ. Srom. Mekh.-Makh. Mech. Ser. 110, 263-280 (1965) (Geor-
gian). Math. Rev. 33, 1356 (1967).
[5] On a problem of P. L. Ul'janov on the order of growth of the powers of a
polynomial basis. Mat. Zametki 1, 415-424 (1967) (Russian). Math. Rev. 34,
1500 (1967).
CEITLIN, JA. M.
[1] Unconditionality of a basis and partial order. Izv. Vyss. Ucebn. Zaved.
Matematika 51,98-104 (1966) (Russian). Math. Rev. 33, 1075 (1967).
[2] Reflexivity of spaces with a basis. Sibirsk. Math. Z. 8, 475-479 (1967)
(Russian). Math. Rev. 35, 624 (1968).
CIESIELSKI, Z.
[1] On Haar functions and on the Schauder basis of the space C [0,1]. Bull.
Acad. Pol. Sci. 7, 227-232 (1959).
[2] Some properties of Schauder bases of the space C [0, 1]. Bull. Acad. Pol on.
Sci. 7, 141-144 (1960).
[3] Properties of the orthonormal Franklin system. Studia Math. 23, 141-157
(1963).
CrVIN, P., and B. YOOD
[1] Quasi-reflexive spaces. Proc. Amer. Math. Soc. 8, 906-911 (1957).
CUTTLE, Y.
[1] On quasi-reflexive Banach spaces. Proc. Amer. Math. Soc. 12, 936-940
(1961).
DADIe, I.
[1] Variations of finite sets of independent vectors in Hilbert spaces. Glasnik
Mat. Ser. III 1 (21) 51-55 (1966).
DAVIS, W. J.
[1] Dual generalized bases in linear topological spaces. Proc. Amer. Math.
Soc. 17, 1057-1063 (1966).
[2] M-similarity and isomorphisms in Bo-spaces. Proc. Amer. Math. Soc. 19,
332-335 (1968).
[3] Schauder decompositions in Banach spaces. Bull. Amer. Math. Soc. 74,
1083-1085 (1968).
DAVIS, W. J., and D. W. DEAN
[1] The direct sum of Banach spaces with respect to a basis. Studia Math. 28,
209-219 (1966/67).
DAVIS, W. J., D. W. DEAN, and I. SINGER
[1] Complemented subspaces and A systems in Banach spaces. Israel 1. Math.
6,303-309 (1968).
DAY,M.M.
[1] The spaces Uwith O<p< 1, Bull. Amer. Math. Soc. 46,816-823 (1940).
Bibliography 133
Functions, No. I, 13-21 Izdat. Kazan. Univ., Kazan 1963 (Russian). Math.
Rev. 36, 1101 (1968).
GRINBLYUM, M. M.
[1] Certains theoremes sur la base dans un espace du type (B). Doklady Akad.
Nauk SSSR (N. S.) 31, 428-432 (1941) (Russian). Math. Rev. 3, 49 (1942).
[2] Biorthogonal systems in Banach space. Doklady Akad. Nauk SSSR (N. S.)
47, 79-82 (1945) (Russian). Math. Rev. 7, 125 (1946).
[3] Sur la theorie des systemes biorthogonaux. Doklady Akad. Nauk SSSR
(N. S.) 55, 287-290 (1947).
[4] On a property of a basis. Doklady Akad. Nauk SSSR (N. S.) 59, 9-11
(1948) (Russian). Math. Rev. 10, 307 (1949).
[5] On the representation of a space of type B in the form of a direct sum of
subspaces. Doklady Akad. Nauk SSSR (N. S.) 70, 749-752 (1950) (Russian).
Math. Rev. 11, 525 (1950).
GRUNBAUM, B.
[1] Some applications of expansion constants. Pacific 1. Math. 10, 194-201
(1960).
GURARII, V. I.
[1] On inclinations of spaces and conditional bases in Banach space. Doklady
Akad. Nauk SSSR 145, 504-506 (1962) (Russian). Math. Rev. 27, 553 (1964).
[2] Bases in spaces of continuous functions. Doklady Akad. Nauk SSSR 148,
483-495 (1963) (Russian). Math. Rev. 26, 556 (1963).
[3] Some geometric characteristics of subspaces and bases in Banach spaces.
Colloq. Math. 13, 59-63 (1964) (Russian). Math. Rev. 31, 467 (1966).
[4] The index of sequences in C and the existence of infinite dimensional
separable Banach spaces having no orthogonal basis. Rev. Roumaine Math.
Pures Appl. 10, 967-971 (1965) (Russian). Math. Rev. 34, 591 (1967).
[5] Bases for sets in Banach spaces. Rev. Roumaine Math. Pures Appl. 10,
1235-1240 (1965).
[6] Bases in spaces of continuous functions on compacta and some geometric
questions. Izv. Akad. Nauk SSSR Ser. Mat. 30, 289-306 (1966) (Russian).
Math. Rev. 34, 591 (1967).
[7] Subspaces and bases in spaces of continuous functions. Doklady Akad.
Nauk SSSR 167, 971-973 (1966) (Russian). Math. Rev. 33, 1358 (1967).
GURARII, V. I., and M. 1. KADEC
[1] Minimal systems and quasi-complements in Banach space. Doklady Akad.
Nauk SSSR 145,256-258 (1962) (Russian). Math. Rev. 26, 1276 (1963).
GUREVIC, L. A.
[1] On unconditional bases. Uspehi Mat. Nauk (N. S.) 8, no. 5 (57),153-156
(1953) (Russian). Math. Rev. 15, 631 (1954).
[2] A basis in the space of abstract functions. Doklady Akad. Nauk SSSR 136,
12-15 (1961) (Russian). Math. Rev. 24, 411 (1962).
[3] Conic tests for bases of absolute convergence. Problems of Math. Phys.
and Theory of Functions, II. p. 12-21. Naukova Dumka, Kiev, 1964 (Russian).
Math. Rev. 33, 1358 (1967).
HAAR, A.
[I] Zur Theorie der orthogonal en Funktionssysteme, I, Math. Ann. 69,
331-337 (1910), II, ibid. 71,38-53 (1911).
HALMos, P. R.
[I] Finite dimensional vector spaces. Princeton, 1958.
[2] A Hilbert space problem book. Princeton, 1967.
10*
136 Bibliography
HAUSDORFF, F.
[1] Mengenlehre. New York, 1944.
HILDEBRANDT, T. H.
[1] On unconditional convergence in normed vector spaces. Bull. Amer. Math.
Soc. 46, 959-962 (1940).
HILDING, S. H.
[1] Note on completeness theorems of Paley-Wiener type. Ann. of Math. (2)
49,953-955 (1948).
HILLE, E., and R. S. PHILLIPS
[1] Functional analysis and semi-groups. Amer. Math. Soc. Colloquium Publ.
31 (rev. ed.) (1957).
ISTRATESCU, V.
[1] Uber die Banachrliume mit zlihlbarer Basis I, Rev. Math. Pures Appl.
(Bucarest) 7, 481-482 (1962), II, Revue Roumaine Math. Pures Appl. 9,
431-433 (1964).
LYER, V. G.
[l] On the space of integral functions (III). Proc. Amer. Math. Soc. 3, 874-883
(1952).
JAMES, R. C.
[1] Orthogonality in normed linear spaces. Duke Math. J. 12,291-302 (1945).
[2] Orthogonality and linear functionals in normed linear spaces. Trans. Amer.
Math. Soc. 61, 265-292 (1947).
[3] Inner products in normed linear spaces. Bull. Amer. Math. Soc. 53, 559-566
(1947).
[4] Bases and reflexivity of Banach spaces. Ann. of Math. 52,518-527 (1950).
[5] A non-reflexive Banach space isometric with its second conjugate space.
Proc. Nat. Acad. Sci. USA 37,174-177 (1951).
[6] Projections in the space (m). Proc. Amer. Math. Soc. 6, 899-902 (1955).
[7] Separable conjugate spaces. Pacific J. Math. 10, 563-571 (1960).
[8] Characterizations of reflexivity. Studia Math. 23, 205-216 (1964).
[9] Weak compactness and reflexivity. Israel J. Math. 2, 10 1-119 (1964).
[10] Weakly compact sets. Trans. Amer. Math. Soc. 113, 129-140 (1964).
JAMES, R. C., and J. R. RETHERFORD
[I] Unconditional bases and best approximation in Banach spaces. Bull. Amer.
Math. Soc. 75, 108-112 (1969).
JONES, O. T., and J. R. RETHERFORD
[1] On similar bases in barrelled spaces. Proc. Arner. Math. Soc. 18, 677-680
(1967).
JULIA, G.
[1] Exemples des structures des systemes duaux de l'espace hilbertien. C. R.
Acad. Sci. (Paris) 216, 465-468 (1943).
KACZMARZ, S., and H. STEINHAUS
[1] Theorie der Orthogonalreihen. Warsaw, 1935.
KADEC, M. 1. (see also GURARII, V. 1.)
[I] On conditionally convergent series in the space Lp. Uspehi Mat. Nauk
(N. S.) 11, 107-109 (1954) (Russian). Math. Rev. 15, 802 (1954).
[2] Linear dimension of the spaces Lp and lp. Uspehi Mat. Nauk (N. S.) 13,
95-98 (1958) (Russian). Math. Rev. 21, 59 (1960).
Bibliography 137
[3] Bases and their spaces of coefficients. Dopovidi Akad. Nauk Ukrain. RSR
1, 1139-1140 (1964).
[4] Topological equivalence of all separable Banach spaces. Soviet Math.
Doklady 7, 319-322 (1966).
[5] Nonlinear operator-bases in a Banach space. Teor. Funkcll Funkcional.
Anal. i Prilozen. Vyp. 2,128-130 (1966) (Russian). Math. Rev. 34,1188 (1967).
KADEc, M. I., and A. PELCZYNSKI
[1] Bases, lacunary sequences and complemented subspaces in the spaces Lp.
Studia Math. 21, 161-176 (1962).
[2] Basic sequences, biorthogonal systems and nonning sets in Banach and
Frechet spaces. Studia Math. 25, 297-323 (1965).
KAKUTANI, S.
[1] Some characterizations ofEuklidean spaces. Jap. J. Math. 16,93 -97 (1939).
KARLIN, S.
[1] Unconditional convergence in Banach spaces. Bull. Amer. Math. Soc. 54,
148-152 (1948).
[2] Bases in Banach spaces. Duke Math. J. 15,971-985 (1948).
KELLEY, J. L., and I. NAMIOKA
[1] Linear topological spaces. Princeton, 1963.
KLEE, V.
[I] On the borelian and projective types of linear subspaces. Math. Scand. 6,
189-199 (1958).
KOTHE, G.
[I] Probleme der linearen Algebra in topo1ogischen Vektorraumen. Proc.
internat. sympos. on linear spaces 1960. Jerusalem, Academic Press 1961.
[2] Topologische lineare Raume. Berlin-Heidelberg-New York, 1966.
KOSTYUCENKO, A., and A. SKOHOROD
[I] Ona theoremofM. K. Bari. UspehiMat. Nauk(N. S.)8, no. 5 (57),165-166
(1953) (Russian). Math. Rev. 15, 632 (1954).
KozLOv, V. YA.
[I] On bases in the space L [0, I]. Mat. Sbornik N. S. 26 (68), 85-102 (1950)
(Russian). Math. Rev. 11, 602 (1950).
[2] On a generalization of the concept of a basis. Dok1ady Akad. Nauk SSSR
(N. S.) 73,643-646 (1950) (Russian). Math. Rev. 12, 110 (1951).
KREIN, M., D. MILMAN, and M. RUTMAN
[I] A note on a basis in Banach space. Comm. lnst. Sci. Math. Mec. Univ.
Kharkoff (Zapinski lnst. Mat. Mech.) (4) 16, 106-110 (1940) (Russian).
Math. Rev. 3, 49 (1942).
[2] On a property of a basis in Banach space. Kark. Zap. Matern. Obsh. (4) 16,
182 (1940) (Russian).
KUEHNER, D. G. (see ELLIS, H. W.)
LINDENSTRAUSS, J.
[I] Extension of compact operators. Mem. Amer. Math. Soc. 48 (1964).
[2] On a subspace of the space 1. Bull. Acad. Po1on. Sci., Ser. Sci. Math.
Astronom. Phys. 12, 539-542 (1964).
LINDENSTRAUSS, J., and M. ZIPPIN
[I] Banach spaces with a unique unconditional basis. J. Funct. Anal. 3,115-125
(1969).
138 Bibliography
RADEMACHER, H.
[I] Einige Siitze tiber Reihen von allgemeinen Orthogonalfunktionen. Math.
Ann. 87, 112-138 (1922).
REAY, J. R.
[I] Unique minimal representations with positive bases. Amer. Math. Monthly
73,253-261 (1966).
RETHERFORD, J. R. (see also DUBINSKY, E. L., JAMES, R. C., JONES, O. T., FLEMING,
R. J., and McARTHUR, C. W.)
[1] Basic sequences and the Paley-Wiener criterion. Pacific. J. Math. 14,
1019-1027 (1964).
[2] w*-bases and bw*-bases in Banach spaces. Studia Math. 25, 65-71 (1964).
[3] Bases, basic sequences and reflexivity of linear topological spaces. Math.
Ann. 164,280-285 (1966).
[4] Shrinking bases in Banach spaces. Amer. Math. Monthly 73, 841-846
(1966).
[5] Some remarks on Schauder bases of subspaces. Rev. Roumaine Math.
Pures Appl. 11, 787-792 (1966).
[6] On Cebysev subspaces and unconditional bases in Banach spaces. Bull.
Amer. Math. Soc. 73, 238-241 (1967).
[7] Some characterizations of Co and /1. Canad. Math. Bull. 10, 39-52 (1967).
RICKART, C. E.
[I] General theory of Banach algebras. Princeton, 1960.
ROGERS, C. A. (see DVORETZKY, A.)
RUCKLE, W. H. (see also BARIC, L. W.)
[I] Schauder decompositions and bases. Dissertation, Florida State Univ.,
1963.
[2] The infinite sum of closed subspaces of an F-space. Duke Math. J. 31,
543-554 (1964).
[3] Infinite matrices which preserve Schauder bases. Duke Math. J. 33,547-550
(1966).
[4] On the construction of sequence spaces that have Schauder bases. Canad.
J. Math. 18, 1281-1293 (1966).
[5] On the characterization of sequence spaces associated with Schauder bases.
Studia Math. 28, 279-288 (1966/67).
[6] Lattices of sequence spaces. Duke Math. J. 35, 491-503 (1968).
RUDIN, W.
[I] Real and complex analysis. New York, 1966.
Russo, J. P.
[I] Monotone and e-Schauder bases of subspaces. Canad. J. Math. 20, 233-241
1968).
RUTMAN, M. (see KREIN, M.)
RUTOWITZ, D.
[I] Absolute and unconditional convergence in normed linear spaces. Proc.
Cambro Phil. Soc. 58, 575-579 (1962).
SAIDUKOV, K. M.
[I] On the Lebesgue constants of bases in the space of continuous functions.
Functional Anal. Theory of Functions no. I, Izdat. Kazan Univ. Kazan,
122-133 (1963) (Russian). Math. Rev. 34, 1190 (1967).
142 Bibliography
[7] On Cesaro bases in Banach spaces. Rev. math. pures app!. (Bucarest) 7,
135-142 (1962).
[8] On a theorem of I. M. Gelfand. Uspehi Mat. Nauk 17, 169-176 (1962)
(Russian). Math. Rev. 24, 656 (1962).
[9] On Banach spaces reflexive with respect to a linear subspace of their con-
jugate space II, III. Math. Ann. 145, 64-76 (1962), Rev. math. pures app!. 8,
139-150 (1963).
[10] Weak* bases in conjugate Banach spaces II. Rev. Math. Pures App!.
(Bucarest) 8, 575-584 (1963).
[11] On bases in quasi-reflexive Banach spaces. Rev. Math. pures App!.
(Bucarest) 8,309-311 (1963).
[12] Bases in Banach spaces I, II and III. Studie si cercetari matematice 14,
533-585 (1963); 15,157-208 (1964); 15, 675-725 (1964) (Rumanian).
[13] A proof of the Dvoretzky-Rogers theorem, Israel 1. Math. 2, 249-250
(1964).
[14] Bases and quasi-reflexivity of Banach spaces. Math. Ann. 153, 199-209
(1964).
[15] On the basis problem in topological linear spaces. Rev. Roumaine Math.
Pures App!. 10,453-457 (1965).
[16] Bases in Banach spaces. Grund!. d. math. Wiss. 154, Berlin-Heidelberg-
New York, in preparation.
SIRETCHI, G.
[l] On certain spaces with a base. An. Univ. Bucaresti Ser. Stiint Natur. Mat.-
Mech. 13,141-144 (1964).
SKOHOROD, A. (see KOSTYUCENKO, A.)
SOBCZYK, A.
[I] Projection of the space (m) on its subspace (co). Bull. Amer. Math. Soc. 47,
938-947 (1941).
SOBOLEW, W. I. (see LJUSTERNIK, L. A.)
SOLOMYAK, M. Z.
[I] On orthogonal basis in Banach space. Vestnik Leningrad. Univ. 12, 27-36
(1957) (Russian). Math. Rev. 19,45 (1958).
STEINHAUS, H. (see KACZMARZ, S.)
SZILENK, W. (see also PELCZYNSKI, A.)
[I] Une remarque sur I'orthogonalisation des bases de Schauder dans I'espace
C. Colloq. Math. 15, 297-301 (1966).
TAYLOR, A. E.
[I] The extension of linear functionals. Duke Math. 1. 5, 538-547 (1939).
[2] The weak topologies of Banach spaces. Proc. Nat. Acad. Sci. USA 25,
438-440 (1939).
[3] A geometric theorem and its application to biorthogonal systems. Bul!.
Amer. Math. Soc. 53, 614-616 (1947).
[4] Introduction to functional analysis. New York, 1958.
TOEPLITz, O.
[1] Uber allgemeine lineare Mittelbildungen. Prace Math. Fiz. 22, 113-119
(1911).
TROJANSKII, S.
[I] The topological equivalence of the spaces coG':) and l(~). Bull. Acad. Polon.
Sci. Ser. Sci. Math. Astronom. Phys. 15, 389-396 (1967) (Russian). Math.
Rev. 36, 1099 (1968).
144 Bibliography
TSENG, Y. Y.
[1]. On generalized biorthogonal expansions in metric and unitary spaces.
Proc. Nat. Acad. Sci. USA 28,35-43 (1942).
VAlIER, F. S.
[1] On the basis in the space of continuous functions defined on a compact set.
Doklady Akad. Nauk SSSR 101,589-592 (1955) (Russian). Math. Rev. 16,
1031 (1955).
VAlc, B. E.
[1] On some properties of unconditioal bases. Uspehi Mat. Nauk 17 no. 6
(108), 135-142 (1962) (Russian). Math. Rev. 26, 797 (1963).
[2] Some stability properties of bases. Soviet Math. Doklady 5, 1141-1144
(1964).
[3] Characteristic properties of unconditional bases and theorems of stability.
Izv. Vyss. Ucebn Zaved Matematika 47, 24-36 (1965) (Russian). Math. Rev.
34, 1191 (1967).
VANICEK, J.
[1] Biorthogonal systems in a Banach space (Engl. summary). Acta Fac. Rev.
natur. Univ. Comenian. Math. 6, 319-325 (1961).
[2] Biorthogonal systems and limit methods. Casopis Rest. Mat. 87, 17-21
(1962) (Czech.). Math. Rev. 24, 533 (1962).
[3] Approximating sequences in Banach spaces. Casopis Rest, Mat. 87, 52-62
(1962) (Czech.). Math. Rev. 24, 533 (1962).
VANICEK, J., and H. VANICKOVA
[1] On the space of holomorphic functions. Casopis Rest. Mat. 86, 433-438
(1961) (Czech.). Math. Rev. 24, 616 (1962).
VANICKOVA, H. (see VANICEK, J.)
VINIKUROV, V. G.
[1] On biorthogonal systems spanning a given subspace. Doklady Akad. Nauk
SSSR (N. S.) 85,685-687 (1952) (Russian). Math. Rev. 14, 183 (1953).
VIzrrEI, V. N.
[1] Stability of bases consisting of subspaces of a Banach space. Studies in
Algebra and Math. Anal. Izdat "Karta Malovenjaske", Kishinev, 34-44
(1965) (Russian). Math. Rev. 34, 884 (1967).
VOLENEC, V.
[1] Variations of orthogonal basic sets in Euclidean space. Glasnik Mat. Ser.
III 1 (21) 51-55 (1966).
WALSH, J. L.
[1] Interpolation and approximation by rational functions in the complex
domain. Amer. Math. Soc. Colloquium Publ. 20, 1965.
WEILL, L. J.
[1] Stability of bases in complete barrelled spaces. Proc. Amer. Math. Soc. 18,
1045-1050 (1967).
WIENER, N. (see PALEY, R. E. A. C.)
WILANSKY, A.
[1] The basis in Banach space. Duke Math. J. 18, 795-798 (1951).
[2] Functional analysis. New York, 1964.
WOJTYNSKI, W.
[1] On bases in certain countably-Hilbert spaces. Bull. Acad. Polon. Sci. Ser.
Sci. Math. Astronom. Phys. 14,681-684 (1966).
Bibliography 145
YAMAZAKI, S.
[I] Normed rings and unconditional bases in Banach spaces. Sci. Pap. ColI.
Gen. Educ. Univ. Tokyo 14, 1-10 (1964).
[2] Normed rings and bases in Banach spaces. Sci. Pap. ColI. Gen. Educ. Univ.
Tokyo 15, 1-13 (1965).
[3] Remerk to "Normed rings and bases in Banach spaces". Sci. Pap. Coil.
Gen. Educ. Univ. Tokyo 16, 25-26 (1966).
YOOD, B. (see CIVIN, P.)
YOSIDA, K.
[I] Functional analysis. Berlin-Gottingen-Heidelberg, 1965.
ZAHARJUTA, V. P.
[I] Continuable bases in spaces of analytic functions of one and several vari-
ables. Sibirsk. Mat. Z. 8, 277-292 (1967) (Russian). Math. Rev:35, 1092 (1968).
ZIPPIN, M. (see also LINDENSTRAUSS, A.)
[I] On a certain basis in Co. Israel J. Math. 4, 199-204 (1966).
[2] On perfectly homogeneous bases in Banach spaces. Israel J. Math. 4,
265-272 (1966).
ZYGMUND, A. (see also PALEY, R. E. A. C.)
[I] Trigonometrical series. Warsaw, 1935.
Author and Subject Index
Sequence, Subspace 2
orthonormal 6 linear topological 3
T-limitable 43 Symmetric subset 4
Sequential compactness 2
Separable space 2 Taylor, A.E. 17,78
Set, Topology 2
bounded 4 equal 2
closed 2 locally convex 4
compact 2 metric 4
conditionally compact 2 norm 5
conditionally weakly sequentially strong 6
complete 12 stronger 2
sequentially compact 2 uniform operator topology 9
total 4 usual 4
total over 10 weak 10
weakly bounded 11 weak* 13
weakly closed 11 weaker 2
weakly sequentially complete 12 Total subset 4
simple .#i.-spaces 60 Totally bounded set 5
Singer, I. 54, 68, 112, 129 Transformation 1
Sobczyk, A. 97 additive 7
Space, continuous at a point 7
Banach space 5 linear 7
barrelled space (Barrel space) 4 Translation invariant metric 5
complete metric 4 Triangle inequality 4
conjugate 10 Trigonometrical system 50
Euclidean 6 Two-sided ideal 7
factor space 3
F-space 5 Uniform boundedness principle
finite dimensional 3 12
Hausdorff 2 Uniformly continuous linear
Hilbert space 6 transformation 8
homeomorphic (to) 2 Uniform operator topology 9
linear topological 3 Unit 7
locally convex 4
metric 4 Weak basis theorem 32
./11; -space 60 Weak convergence 12
simple 60 weakly bounded set 11
normed linear 5 weakly closed set 11
quasi-normed linear 5 Weakly sequentially complete 12
reflexive 13 Wiener, N. 125
separable 2 Wilansky, A. 17,54
topological 2 Wilansky theorem 34
Span 3
Spectrum of an operator 10 Yamazaki, S. 112
Steinhaus, H. 52 Y osida, K. 17
Stone-Weierstrass theorem 16
Strictly convex 81 Zygmund, A. 17,54
Springer Tracts in Natural Philosophy