This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
1, and use Section 15.4, Problem 19 to show that A is hermitian. Finally, to show that ( y ) implies (6), observe that for each hermitian element a such that p(a) i1 there exists in A a hermitian element b, commuting with a, such that bZ = e - a’ (Section 15.4, Problem 17); consequently u = a ib is unitary, and a = t ( u f u*).)
+
+
5.
Let A be a Banach algebra with unit element e, endowed with a hermitian involution XHX*.
(a) Let x E A be such that p(x) < 1 . Show that x(e - x*x)’/’ = ( e - x x * ) ’ / ’ x (cf. Section 15.2, Problem ll(f)). (b) Under the same hypotheses, show that the function F(<) = (e - xx*)-’/’(Ce
+ x)(e + Cx*)-’(e - x*x)’j2
356
XV
NORMED ALGEBRAS A N D SPECTRAL THEORY
+
is defined and holomorphic in an open disk 15 I < 1 E , for some E > 0, and that F(<)isunitarywhen 1<1=1.(lf I { I = l , a n d i f w e p u t a = e - x * x , b = e - x x * , y = <e -1- x , we have e (x* =
+
+
' sZx
x = F(0) = -
2n
F(e") dr.)
0
6. Let A be a Banach algebra with unit element, endowed with a (not necessarily continuous) involution x HX*. Show that the following properties are equivalent: ( a ) A is a star algebra. (/3) /IxIJ< p ( x ) for all x E A. ( y ) I/x* 11 . IlxlI = JIx*xI/for all normal x E A. (6) llxll= 1 for all unitary x E A. (To prove that (6) implies (p), observe first that (6) implies that A is a star algebra relative to some norm equivalent to the given norm (Problem 4), and in particular that A is hermitian; then apply Problem 5(c).)
7. TRACES, BITRACES, A N D HILBERT ALGEBRAS
Let A be an algebra with involution a n d f a positive linear form on A. In general f ( x y ) # f ( y x ) for x , y E A, as example (15.6.6) shows. We say that f is a trace on A iff is a positive linear form satisfying the condition
f (74 =f (XY)
(15.7.1)
for all x , y in A. Forf to be a trace it is sufficient that f ( x x * ) =f (x*x) for all x E A; for, replacing x by x + y and using (15.6.2.1), we obtain a(f (y*x)) = W(f(xy*)), and then, replacing x by ix we get X ( f ( y * x ) ) = X(f(xy*)), so that f ( y * x ) = f ( x y * ) for all x , y in A. The condition (15.7.1) is trivially satisfied if A is commutative.
Example (15.7.2)
Let A
= Y(H),
where H is a Hilbert space of finite dimension n.
Then the positive linear formf(T) = x ( T * e i I e i )is a trace, for it is the trace Tr(T) =
n
i=1
1Cii of the endomorphism T. On the other hand, it is easily seen
i= 1
7 TRACES, BITRACES, AND HILBERT ALGEBRAS
357
that there exists no trace on Y(H) if H is an infinite-dimensional Hilbert space (Problem at the end of this section). The corresponding notion for positive Hilbert forms is that of a bitrace. A bitrace on A is by definition a positive Hilbert form g on A which satisfies the additional condition (15.7.3)
&*, x) = g(x9 Y).
This reduces to (15.7.1) when g(x, y ) =f(y*x),fbeing a positive linear form. Example (15.7.4) Consider the algebra Y,(E) of Hilbert-Schmidt operators on an infinite-dimensional separable Hilbert space (15.4.8). For any Hilbert basis (a,) of E and any pair (u, v) of Hilbert-Schmidt operators on E, the sum C (u(a,) I v(a,)) is defined, because (u(a,) I v(a,)) = ((u*u)(an)I u,), and we have n
seen that the double family ((v*u)(a,)I am)is absolutely summable (1 5.4.8), since u*u is a Hilbert-Schmidt operator. Moreover, for each Hilbert basis (b,) of E, we have
and therefore
This shows that the sum
(u(a,)
I v(a,)) does not depend on the orthonormal
basis (a,) originally chosen. If we denote this sum by g(u, v), then it is immediately seen that g is a positive hermitian form on Y,(E), such that g(u, u) = Ilull:. Also, if u, v, w are three Hilbert-Schmidt operators, then (u(u(a,))I w(a,)) = (v(a,) I u*(w(a,))), hence g(uu, w ) = g(v, u*w); and the calculation above shows that g(v*, u*) = g(u, u). Hence g is a bitruce on Y2(E). It can be shown that it does not come from a trace on this algebra (Problem). Note also that g satisfies conditions (U) and (N) of (15.6). For (U), this follows from the inequality (15.4.8.2); for (N), observe that the endomorphisms of finite rank are dense in Y,(E) (15.4.8) and that if u(E) = F is finitedimensional then we may write u = PF 0 u (in the notation of (6.3.1)) where PF is also of finite rank.
358
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
Remark (15.7.4.1) If E is a Hilbert space of finite dimension n, we can define a scalar product (u I v) on Y(E) = End,(E) as in (15.7.4). As in (15.4.8) we see that, if we put Ilull: = ( u l u), then llullz is a norm on Y(E) such that 11 uvll 5 11 uII )Ivll ; it is necessarily equivalent to the usual norm (1 uII (5.9.1), but does not satisfy (15.1.2) unless n = 1, because )I 1Ell = nl/’. (15.7.5) Let A be an arbitrary algebra with involution, and let g be a bitrace on A. Since g(s*, s*) = g ( s , s ) , the left ideal n defined in (15.6.8) is seuadjoint and is therefore a two-sided ideal. The vector space A/n is therefore naturally an algebra. Since n is self-adjoint, the mapping SHS* induces an involution on A/n such that r(s*) = (n(s))*; also the scalar product ( x I y ) on A/n induced by g is a bitrace on A/n; finally, if g satisfies the condition (U) (resp. (N)), then the same is true of the scalar product on A/n.
A Hilbert algebra is defined to be an algebra A with involution, endowed with the structure of aprehilbert space defined by a bitrace ( x I y ) satisfying the conditions (U) and (N). In other words, this scalar product satisfies the following conditions: (15.7.5.1 )
(Y*Ix*)=(xlY)
(15.7.5.2)
(XY
I 4 = (Y I x*z)
(15.7.5.3) For each x E A there exists a real number M, 2 0 such that
I
(XY XY)
s M A Y I Y).
(15.7.5.4) The elements of A of the form xy, with x total set in A.
EA
and y
Note that it follows from (15.7.5.1) and (15.7.5.2) that
For (yx I z) = (x*y* I z*) = (y* I xz*) = ( y I zx*). Furthermore, we have
because (yx I y x )
= (x*y*
I x*y*) 5 MJy* I y*) = M,& Iy).
E A, form
a
8 COMPLETE HILBERT ALGEBRAS
359
The inequalities (15.7.5.3) and (15.7.5.6) express that the linear mappings X H X ~ are continuous on A with respect to its topology as a prehilbert space. But it should be carefully noted that in general A is not a normable algebra for this topology (15.1.8) : that is to say, in general the mapping ( x , y ) Hxy is not continuous.
y ~ x and y
Finally, we have (15.7.5.7)
The relation x * x
= 0 for x E A
implies that x
= 0.
For it follows from (15.7.5.2) that (xy I xy) = (x*xy I y ) = 0, hence xy = 0 for all y E A. Hence, by (15.7.5.5), (x I y z ) = (xz* I y ) = 0 for all y and all z, and by (15.7.5.4) this implies that x = 0. In particular, the right (resp. left) annihilator of A consists only of 0, and for each x # 0 in A the left ideal Ax is nonzero. In the next two sections we shall determine the structure of two of the most important types of Hilbert algebras.
PROBLEM
(a) Show that on the algebra A = M,(C) of all n x n matrices with complex entries, the only linear forms f such that f ( X Y ) =f( Y X ) for all pairs of matrices A', Y are scalar multiples Xt-+pTr(X) of the trace. (b) Deduce that, if H is an infinite-dimensional separable Hilbert space, there exists no trace on the algebra Y(H) or on the algebra Y,(H). (Consider a compact operator U such that U(e,) = h, en, where the en form an orthonormal basis of H and the h, are real numbers > 0 such t h a t c h : converges but hn does not. Use (a) by considering
c
the restriction of a hypothetical tracefto the algebra of endomorphisms of the vector subspace of H generated by the e, with k 5 n.)
8. COMPLETE HILBERT ALGEBRAS
Throughout this section we shall assume that the Hilbert algebra A is complete (and thus a Hilbert space) with respect to the norm llxll = (x I x)'". We shall also assume that the bilinear mapping (x, y ) ~ x of y A x A into A is continuous with respect to this norm (it can be shown (Section 12.16, Problem 8c)) that this is in fact a consequence of the other hypotheses). Every closed self-adjoint subalgebra B of A is a complete Hilbert algebra.
360
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
(1 5.8.1) Let b be a closed left ideal in A, and put ub(x)* y = x y for all y E b and all x E A. Then X H U ,(x) is a representation of the algebra A on the Hilbert space b. First of all, U b ( x )is a continuous operator on b, by (15.7.5.3).Clearly U,(xx') = U,(x)U,(x'). For y , z in 6,we have
(ub(x)* * y I z,
=(y
I Ub(x> z>= ( y I xz) = (x*y I z> = (ub(x*) y I '
*
by virtue of (15.7.5.2), hence U,(x)* = ub(x*). Also if A has a unit element e, then U,(e) is the identity transformation. When b = A, we write U ( x ) in place of U,(x); the representation U is called the regular representation of A. It is.faithful(15.5)by virtue of (15.7.5.7). Moreover, X H U(x) is a continuous linear mapping of A into LZ(A), by the continuity of (x,y ) H xy. The study of complete Hilbert algebras is founded on the consideration of their minimal left ideals and the idempotents which generate them. For each left ideal I of A, we denote by I* the image of I under the involution S H S * ;clearly I* is a right ideal.
(1 5.8.2) For each left ideal I of A, the orthogonal supplement I' of the closure I of I is a left ideal. Since i is a left ideal (15.1.3),we may as well assume that 1 is closed. If
y E 1' and z E A, then for each x E 1 we have ( z y I x ) = ( y I z*x) = 0 because I is
a left ideal, whence it follows that zy E 1'.
(15.8.3) Let e # 0 be an idempotent in A. Then (9 llell 2 1; (ii) e* is idempotent; (iii) the left ideal Ae is the set of all X E Asuch that x = xe, and is closed in A. The first assertion follows from the inequality llell = lle211 5 Ilel12. The second is trivial. As to (iii), it is clear that if x = xe then x E A e , and conversely if x E A e , then x = ye for some y E A, hence xe = ye2 = ye = x. The fact that A e is closed then follows from the continuity of the mapping X H X - xe, and (3.15.1). Consider in particular the self-adjoint idempotents (cf. (1 5.5.3.1)):
(1 5.8.4) If el, e2 are self-adjoint idempotents in A, then the following properties are equioalent: (a) (el I e,) = 0 ; (b) e1e2 = 0; (c) e2 el = 0.
8 COMPLETE HlLBERT ALGEBRAS
361
Since (e1e2)* = efe: = e, el, it is clear that (b) and (c) are equivalent. If (el le,) = 0 then by (15.7.5.2) and (15.7.5.5) we have 0 = (e: le:) = (e1e2 I e1e2)= lle1e211', so that (a) implies (b). Conversely, if e1e2 = 0, then (el I e,) = (e: I e,) = (el I e l e z ) = 0, and therefore (b) implies (a). (15.8.5)
Every left ideal I # (0) in A contains a self-adjointidernpotent #O.
Let x be a nonzero element of I. Then z = x*x # 0 (15.7.5.7), and z is a self-adjoint element of I. Multiplying z by a suitable nonzero real scalar, we may assume that IIU(z)((= 1, where U is the regular representation of A (15.8.1). Hence, by (15.8.1) and (11.5.3), IIU(z')l( = 1, and therefore IIU(z2")11= 1 by induction on n. On the other hand, we have
II U(Zk+l)II= II U(z)U(zk)ll5 II U(z)II II U(z"Il
= II ~(z"II(
for all k , hence the sequence (IIU(zk))ll)is decreasing. Since it has infinitely many terms equal to 1, it follows that 11 U(zk))I= 1 for all integers k , and hence that I(zk(l4 1/ 11 UII for all k. We shall show that the sequence ( z Z kis) a Cauchy sequence in the Hilbert space A. Let n, p be two integers > 0 , and put m = n f p . Then (ZZm
I z2n)
=(
z 2 P p
I p )= ( z P + Z n I Z P + 2 n )
= 11 U ( Z P )
- (ZZn I and
*
z 2 y 2
IZ Z n )
1- II ~ Z( ~ ) . Z ~ + ~ n l l Z j ( Z ~ + Z n ~ Z =~( +Z ZZmn~)Z Z n )
( Z Z m l Z2 m
so that, for all m > n, l / U112 5 ( Z Z m I Z Z m ) 5 ( z 2 m 122") 5 (zZn I z'"). This shows that the sequence moreover, we have IlzZm
- ZZnllZ
( 1 1 ~ ~ ~ 1 is 1 ~ decreasing ) and has a limit a > 0;
= (z2m
5
I z 2 m ) - 2(22" IZZn)
llzZn112
+ (z2n 1 z2")
-a
which proves that ( z z k )is a Cauchy sequence, as asserted. Hence the sequence a limit e. By continuity, ez = l i m ( ~ = ~ e, ~ )and e* = lim(z*)Zk= e
( z z k ) has
k-+ do
k+ m
because z is self-adjoint, and finally ez2 = limzZk+2 =e, so that e E I. Finally, since llzk(lL I /
k- m
11 (Ill for all k 2 1, we have llell > 0, and the proof is complete.
A self-adjoint idempotent e # 0 is said to be reducible if there exist two orthogonal self-adjoint idempotents e l , e , , each nonzero, and such that e = el e , . In this case, by (15.8.4), we have eel = e,e = el and ee, = e, e = e2 . If e # 0 is not reducible, it is said to be irreducible.
+
362
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
(15.8.6) (i) Every self-adjoint idempotent e # 0 is the sum ofafinite number of irreducible self-adjoint idempotents belonging to Ae. (ii) Every left ideal 1 # (0) contains an irreducible self-adjoint idempotent. Clearly (ii) is a consequence of (i) and (15.8.5). Hence it is enough to prove (i). If l\e1I2 < 2, then e must be irreducible, for otherwise we should have llellZ = lle11I2 lle2\12,where el and e, are self-adjoint idempotents # O , hence lle11* 2 2 by (15.8.3). We shall proceed by induction on the smallest integer n such that l\ellZ< n. If e = el + e, is reducible, where el and e2 are orthogonal self-adjoint idempotents #O, then el = ele and e, = e2 e, so that el and e, lie in A e ; moreover, we have
+
lle,ll
2
=
2
llell - Ile,lIZ 5 Ilel12 - 1 < n - 1
and similarly Ile,IIZ < n - 1, so that the inductive hypothesis can be applied to el and e, . This completes the proof. A left ideal I in A is said to be minimal if I # ( 0 ) and if there exists no nonzero left ideal I' # I contained in 1. Similarly for minimal right ideals.
(1 5.8.7) A left ideal I in A is minimal if and only if it is where e is an irreducible self-adjoint idempotent # 0.
of
the form I
= Ae,
If 1 is minimal, it contains an irreducible self-adjoint idempotent e # 0 (1 5.8.6). We have A e c I, and e = ez E A e , hence A e = I. Conversely, let e be an irreducible self-adjoint idempotent # O , and let I = A e . Suppose that I contains a left ideal I' distinct from (0) and I. Let e' be a self-adjoint idempotent # O contained in I' (1 5.8.5). Then we can write e = el e2 , where e2 = ee' and el = e - ee'. We shall show that e, and e2 are orthogonal selfadjoint idempotents. Since e' E A e , we have e' = e'e (15.8.3), hence
+
e2Z = eeleel
= eel2 = ee' = e2 Y
ee, = e2,
e, e
= ee'e = ee' = e,
,
and therefore elez = ( e - eJe2 = 0, e: = ( e - e2)'
e, el = e2(e - e,) = e - e, = el ;
= 0,
finally eT = (ee'e)* = ee'e = e, , and hence e, = e - e2 is also self-adjoint. We shall obtain a contradiction if we can show that e, and e, are both nonzero. If el = 0 , it follows that e = ee' E 1', hence I = 1', contrary to hypothesis. On the other hand, e'e2 = e'ee' = er2= e' # 0, and therefore e , # 0. This completes the proof.
8 COMPLETE HILBERT ALGEBRAS
363
In view of (15.8.6) and (15.8.3),we obtain the following corollary: (1 5.8.8) Every left ideal in A contains a minimal left ideal. Every minimal left ideal is closed.
(15.8.9) (i) If e, e‘ are two orthogonal self-adjoint idempotents, then the left ideals A e and Ae‘ are orthogonal. be a finite family of pairwise orthogonal, self-adjoint (ii) Let (ei)l
idempotents. Then for each x E A, the element x A e j (1 5 j 5 n).
-
n
i= 1
xe, is orthogonal to each
(i) We have (xe I ye’) = (xe I ye”) = (xee’ I ye’) = 0 , by (15.7.5.5) and (15.8.4). (ii) Likewise,
for all j . (1 5.8.10) For each x E A , there exists a finite or infinite sequence (en)of pairwise orthogonal, irreducible self-adoint idempotents belonging to the closure I of the ideal A x , such that x = xe,, (this series being convergent in A), and
llx112 =
1 Ilxen1I2.
n
n
We may assume that x # 0. Then there exists at least one self-adjoint idempotent e E I such that xe # 0, for the construction in (1 5.8.5) produces a self-adjoint idempotent e # 0 in I such that e(x*x)’ = e, and therefore ex* # 0, so that xe = (ex*)* # 0. Since e is the sum of a finite number of irreducible self-adjoint idempotents belonging to A e (I5.8.6), there exists at least one of these idempotents whose product with x is #O. We next remark that if (ei)l is a finite sequence of pairwise orthogonal, self-adjoint idempotents such that IIxeil12 2 u > 0 for all i, then by virtue of (15.8.9) we have
and therefore n S llxl12/a. Now define inductively an increasing sequence (cp(n))nz, of integers 2 0 ; a (finite or infinite) sequence (ek) of pairwise orthogonal, irreducible self-adjoint idempotents belonging to I; and a
364
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
sequence ( x , ) , ~ of ~elements o f A, as follows: xo = x , q(0) = 0 ; suppose that cp(n) has been defined and that the ek have been defined for 1 5 k 5 cp(n), and let x,
=x -
v(n)
1 xek . If x, =0, the sequence (ek)is finite and has cp(n)elements;
k=
1
we take x,, = x, = 0 for m 2 n, and cp(m) = q(n) for m 2 n. If x , # 0, take a finite (possibly empty) sequence i s r of irreducible self-adjoint idempotents belonging to 1, orthogonal in-pairs and orthogonal to each ek for 1 k 5 cp(n), such that Ilxe:I12 2 I I x ~ ( ~ / ~ “ + ~ , and that the number r is as large as possible among all finite sequences having the above properties. (We have seen above that this number is s2“+’.) Then put cp(n + 1) = q(n) + r ;
s
ek = ei for k
= cp(n)
r
+ i, 1 2 i 2 r ; and x , + ~= x, - 1xe: . If no x, vanishes, i= 1
the sequence (cp(n)) tends to +a;for if it were bounded, we should have q ( m ) = q ( n ) for some n and all m 2 n, and by definition this would mean that for each irreducible self-adjoint idempotent e’ in the orthogonal supplement
F of
1 Ae,,
v(n)
we should have xe’
= x,e’ = 0 ;
but x,
E
F, x, # 0, and F is a
k= 1
closed left ideal (15.8.2), so that this would contradict what was established at the beginning of the proof. This being so, it is clear from the construction that Ilxe,(IZI llx1I2 by
1
virtue of (15.8.9); hence if the series
n
1 xe, is not a finite sum, it converges in n
any case to an element y E I which is the orthogonal projection of x on the closure of the left ideal a which is the sum of the Ae, (for x - y , being the limit of x -
m
1 xek, is orthogonal
k= 1
to all the en) (6.5.2). If x - y # 0,
there would exist in the left ideal a’ an irreducible self-adjoint idempotent e” E 1 such that xe” = ( x - y)e” # 0. If n is the smallest integer such that Ilxe”l12 2 ll~11~/2”+’, the existence of e” would contradict the maximality of Q.E.D. the family of e, such that cp(n) < i 5 cp(n + 1). (1 5.8.1 1) Suppose that the algebra A is separable. Then every closed lefi ideal
b is the Hilbert sum of a (jinite or injinite) sequence of minimal left ideals 1, = Ae, , where e, is an irreducible self-adjoint idempotent. For each x E b we have x = 1 xe, , and for all x , y in b we have ( x I y ) = 1 (xe, I ye,). n
n
The second and third assertions are consequences of the first and of the definition of a Hilbert sum (6.4), since xe, is the orthogonal projection of x on Ae, (15.8.9). To prove the first assertion, let ( x , ) , , ~be~ a dense sequence in b (3.10.9). We define inductively, for each n, a (finite or infinite) sequence (en,i ) i s , , of irreducible self-adjoint idempotents, as follows. For (el,J i e , ,
8 COMPLETE HILBERT ALGEBRAS
365
we take any sequence of pairwise orthogonal, irreducible self-adjoint idempotents belonging to b and such that x1 = q e , , (15.8.10). Now suppose that
1 i
the em, have been defined for m 5 n in such a way that they are pairwise orthogonal and belong to 6,and are such that the x, with m 5 n belong to the closure a, c b of the left ideal which is the sum of the ideals Ae,, for all m S n and i E I, for each m. Let x;+ be the orthogonal projection of x,+, on a' n b; then take for (e,+,,i)iE,n+la sequence of pairwise orthogonal irreducible self-adjoint idempotents which belong to a' n b and are such that xA+, = X A + ~ ~ , + ~ , (15.8.10). It is clear that the double family (en,i),
1 I
arranged in a single sequence, has the required properties, by virtue of (15.8.9) and (6.4.2). This theorem applies in particular when b = A . In this case we get a decomposition of A as a Hilbert sum of minimal left ideals. It shouId be remarked that in general there will exist infinitely many such decompositions (see later (15.8.14)). More precisely: (15.8.11 .I ) Suppose that A is separable, and let 1 be a minimal left ideal of A. Then there exists a decomposition of A as a Hilbert sum of minimal left ideals I,, such that I , = 1.
Apply (15.8.11) to b = 1'. (15.8.12) Let e, e' be two irreducible self-adjoint idempotents, and let 1 = Ae, 1' = Ae' be the corresponding minimal left ideals. (i) Every homomorphism of the A-module I into the A-module I' is of the form fa : x ~ x a where , a E eAe' = e A n Ae'; it is either zero or bijective, and the mapping a w f a is an isomorphism of the complex vector space eAe' onto Hom,(l, 1') such that fa6 =f b o f , . (ii) The C-algebra eAe, isomorphic to End,(l), is afield, equal to Ce (and therefore isomorphic to C). (iii) If I and I' are not isomorphic as A-modules, then e and e' (and consequently I and 1') are orthogonal, and 11' = 1'1 = (0). If I and 1' are isomorphic as A-modules, then eAe' is a complex vector space of dimenston I , and 11' = 1'. (iv) Zf x E A , then Ix is a leji ideal which is either zero or isomorphic (as A-module) to 1.
(i) If g : I -+ I' is an A-module homomorphism and a = g(e), then for all x E I we have g(x) = g(xe) = xg(e) = xu (15.8.3(iii)). Since a E I' we
366
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
have a = ae’ (15.8.3(iii)), and on the other hand a = g(e2)= eg(e) = ea, so that a E eAe’, and g = f a . It is clear that eAe’ c e A n Ae’; conversely, if y E e A n Ae.‘, then y =ye’ and y = ey (15.8.3(iii)), so that y = eye’ E eAe‘. The image g(1) is a left ideal contained in I’, so it is either ( 0 ) or 1’; likewise, the kernel g-’(O) is a left ideal contained in I, hence is either ( 0 ) or I. If g-l(O) = I, then g(I) = ( 0 ) ; if g-’(O) = {G}, then we must have g(1) # {0}, hence g(1) = I’ and g is bijective. Finally, if f a = 0, we have f,(e) = ea = 0 ; but a E eAe’, so that ea = a, and consequently a = 0. (ii) The C-algebra eAe is a closed subalgebra of A (15.8.3(iii)). Since we have seen above that every element of End,([) is either zero or invertible, it follows that End,(I) is a (possibly noncommutative) field, and hence the same is true for eAe. Clearly e is the unit element of eAe, and because A is a normable algebra (1 5.1.8) it follows from the Gelfand-Mazur theorem that eAe = Ce. (iii) If I and I’ are not isomorphic, we have eAe’ = {0} by (i) above, and in particular ee’ = 0; hence e and e’ are orthogonal (15.8.4). The same is true of I and I’ (15.8.9), and II’ = ( 0 ) . If 1 and I’ are isomorphic, and if g is an isomorphism of I onto 1’, then every homomorphism of I into I’ is of the form g u, where u is an endomorphism of 1. Hence eAe‘ is a complex vector space of dimension 1, by virtue of (i) and (ii) above. Clearly 11’ is a left ideal contained in 1‘; since it contains eAe‘ # {0}, it must be equal to 1’. (iv) Since Ix is the image of 1 under the homomorphism y w y x of I into A, it is a left ideal isomorphic to I/[’, where I’ is the kernel of the above homomorphism. But I’ must be equal to either {0} or 1, and so y w y x is either zero or injective. 0
(15.8.1 3) Suppose that A is separable. Then : (i) There exists afinite or infinite sequence ( I k ) k e J of minimal left ideals, no pair of which are isomorphic, such that every minimal left ideal of A is isomorphic (as an A-module) to some Ik . (ii) For each index k E J, the closure of the sum of all the minimal left ideals of A which are isomorphic to I , is a self-adjoint two-sided ideal ak . Every minimal left ideal of the Hilbert algebra ak is a minimal left ideal of A, isomorphic to I,, and the algebra ah contains no closed two-sided ideals other than ( 0 ) and a k . (iii) Each of the algebras a k is the Hilbert sum of a (finite or infinite) sequence of minimal left ideals isomorphic to I,. The algebra A is the Hilbert sum of the sequence (akIkE,, and ah ah = ( 0 ) whenever h # k. Start with a decomposition of A as a Hilbert sum of minimal left ideals 1; (15.8.11). We take I, = I; and define inductively & + I to be equal to I;,
8 COMPLETE HILBERT ALGEBRAS
367
where m is the smallest integer such that ;1 is not isomorphic to any of the ideals I,, . . . , I,. (If all the 1; are isomorphic to one or other of I,, . . . , Ik, the induction stops at Ik .) Let J be the sequence of indices k so obtained, and for each k E J let Ij be the sequence of integers n such that I: is isomorphic to 1., We define ak to be the Hilbert sum of the 1; for n E 1,. Clearly A is the Hilbert sum of the left ideals ak (6.4.2). Let I be any minimal left ideal in A . Then I must be isomorphic to one of the Ik, for otherwise it would be orthogonal to all the 1; (15.8.12(iii)) and hence orthogonal to A itself, which is absurd. The same argument shows that I is orthogonal to all the ah with h # k . Hence, as ak is the orthogonal supplement of the Hilbert sum of the a,, such that h # k, we must have I c ak. From this it follows already that a k is the closure of the sum of all the minimal left ideals of A which are isomorphic to Ik , and therefore ak is independent of the decomposition of A as the Hilbert sum of the I;, from which we started. Moreover, for each x E A and each n E I,, 1;x is a left ideal which is either (0) or isomorphic to 1; (15.8.12(iv)), hence is contained in ak. This proves that ak is a two-sided ideal. If 1; = Ae;, where e; is an irreducible self-adjoint idempotent, then I;* = e; A , hence a: = ak. Let I” be a minimal left ideal of the Hilbert algebra ak . We have I” = ake”, where e“ is a self-adjoint idempotent (15.8.7), and e; e” cannot vanish for all n E I,, otherwise I” would be orthogonal to all the 1; (n E Ik) and therefore to the closure of their sum, namely to ak : which is absurd because I” # ( 0 ) . Hence there exists at least one index n E 1, such that 1; I” # ( 0 ); since 1; I” is a left ideal in a k , we must have 1; I” = I”, which shows that I” is a minimal left ideal of A, necessarily isomorphic to 1; and therefore to I, (15.8.12(iii)). If now b is a nonzero two-sided ideal of the algebra ak, it contains at least one minimal left ideal I” of this algebra (15.8.8), hence also contains all the I”1; ( n E lk). But 1’7; = 1; (15.8.12(iii)), and therefore b contains the sum of all the 1; (n E Ik). If b is closed, it follows that b = a k . Finally, a h a k c ah n ak = ( 0 ) if h # k , because ah and ak are two-sided ideals.
A complete Hilbert algebra A is said to be topologically simple if it contains no closed two-sided ideal other than A and ( 0 ) .It follows from (15.8.13) that the study of the structure of a separable complete Hilbert algebra A reduces completely to the study of the a k , that is to the case where A is topologically simple. (15.8.1 4) Let A be a topologically simple, complete, separable Hilbert algebra. Thenfor each minimal left ideal 1 of A, the representation X H U,(x)of A in the Hilbert space I is faithfur. If A is injnite-dimensional, then so is I. The image of A under U , is the algebra Y2(I)of Hilbert-Schmidt operators on I (15.4.8), and there exists a
368
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
constant y > 0 such that
(for the scalar product defined in (1 5.7.4)). If A is finite-dimensional, then the image of A under U , is the algebra End,-(I) of all endomorphisms of the vector space I , and the relation (15.8.14.1) remains valid, for the scalar product defined in (15.7.4.1) (from the scalar product on I which is the restriction of that on A). We can assume that A is the Hilbert sum of a (finite or infinite) sequence of minimal left ideals I,, = Ae,, where I = I , (15.8.11.1) and all the I, are isomorphic (15.8.13). If x # 0 and Li,(x) = 0, that is, if X I = {0}, we should have (Ax)I = {0}, and since the ideal A x is nonzero, it contains a minimal left ideal I’ (15.8.8), which must be isomorphic to I (15.8.1 3); hence 1’1 = (O), contrary to (15.8.12(iii)). Hence the representation U, is faithful. Put P,,= U,(e,,), which is the orthogonal projection of I = A e , onto the one-dimensional subspace enA e , (15.8.12), because (xel - enxe, I eny e , ) = (enxe, - ei xel lye,) = 0. Since erne,= 0 if m # n, we have PmP, = 0 and therefore the subspaces enA e , are orthogonal in pairs. Moreover, I i s the Hilbert sum of the subspaces enAe,, because, if xe, is orthogonal t o all these subspaces, we have P,,(xe,) = 0 for all n, so that e,,xe, = 0 for all n, and therefore xe, belongs to the right annihilator of A, which is zero (15.7.5.7). This shows that the sequence (I,,) is finite if and only if 1 (and therefore each I,) is finite-dimensional over C, or equivalently if and only if A is finite-dimensional. Let (a,,) be an orthonormal basis of I such that a,, E e,Ae, for each n. Then a,,a,* E e,Ae,,, hence ana: = A, en for some A,, E C* (15.8.12). Likewise a,* a,, = A; el. We have A; = A,, , because on the one hand and on the other hand
a,, aza, a: =,.:A
a,, a,*a, a: = A; a, e,a,* = A; a,, a,* = A; A, e n ,
8 COMPLETE HILBERT ALGEBRAS
for all n, and all the 2, have the same value y A, we have
369
I e l ) - ' . Hence, for all x , y in
= (el
(xa, I van) = ( Y * X I a, a,*) = (Y*X I ye,)
=ybe,
I ye,);
since the series with general term (xe, I ye,) is absolutely convergent, with sum (x I y ) (1 5.8.1 I ) , it follows that if A is infinite-dimensional then U,(x) is a Hilbert-Schmidt operator, and the relation (15.8.14.1) is valid. Since A is a Hilbert space, so is its image under U , , and to show that this image is the whole of the Hilbert space Y z ( l(15.4.8), ) it is enough to show that U,(A) is dense in Yz(l). Now, for each pair, m, n with m # n, we have
emAel, * e, Ae, = e,(Ae,)(Ae,)
= emA e ,
(15.8.12(iii)), and since e,Ae, = C a n , it follows that there exists em, E elnAe, such that emnun= a, (which implies that em,,= y-'a,a,*), and clearly emnap= 0 if p # n. We conclude from this that Em, = U,(e,,) is the continuous endomorphism of the Hilbert space 1 such that Em,, * a,, = a, and Em,,ap = 0 if p # n. Our assertion now follows from the fact that the finite linear combinations of the El,, are dense in Y2(I) (15.4.8). The proof is analogous but simpler when A is finite-dimensional.
-
We remark that, in all cases, the U#,) consist of endomorphisms of the form U(x) o P,,and therefore consist of endomorphisms of rank 1 of I.
Under the hypotheses of (1 5.8.1 4), if there exists an element # 0 in the center of A, then A isjinite-dimensioiial. In that case the center of A is Cu, where u is the unit element of A. (1 5.8.1 5)
If c E A belongs to the center of A , then U,(c) is an endomorphism of the A-module I, hence is a homothety X H ~ X - ,where 2 E C (15.8.12). But clearly a homothety cannot be a Hilbert-Schmidt operator on an infinite-dimensional Hilbert space, unless it is zero. (15.8.16) Let A be a separable complete Hilbert algebra and let ak ( k E J) be the topologically simple Hilbert algebras which are the Hilbert summands of A (1 5.8.1 3 ) . For each k E J, let 1, be a minimal left ideal of ak . Let V be a nondegenerate representation (15.5.5) of A in a separable Hilbert space H, such that V : A H 2 ( H ) is continuous. (i) H is the Hilbert sum of subspaces H, ( k E J) stable with respect to V , such that if V , is the restriction of V to H, we have v&) = 0 for all s E ah and all h # k : so that V , may be considered as a representation of a k on H, . (ii) If ah isjinite-dimensiond over c, the representation v k is the Hilbert sum of a (finite or injinite) sequence of irreducible representations, each equivalent to the representation U,, of ak (15.8.14).
370
NORMED ALGEBRAS AND SPECTRAL THEORY
XV
Let H, be the closure of the vector subspace of H generated by the vectors v(sk) . x, where sk E a, and x E H. Since each s E A can be written in the form s = sk with s, E a,, and since V is continuous, we have
1 k
k
(5.5.2), and therefore H is the closure of the sum of the H k . Also, if I? # k a n d E ah, sk E a k , we have
sh
(V(sh)
’
I v(sk> Y ) = (V(s,*sh> I Y ) = ’
’
because a,, is self-adjoint and ak ah = to). This proves (i). Now assume that A is topologically simple and finite-dimensional over C, and therefore has a unit element; we can then restrict ourselves to the case where there exists a totalizer xo for V (1 5.5.6). The vector subspace of H generated by the V ( s ) xo is finite-dimensional, hence closed (5.9.2) and so equal to H. We may therefore argue by induction on the dimension of H. Since A is the sum of a finite number of minimal left ideals, there is at least one minimal left ideal, say I, such that the subspace E = V(1) xo is nonzero. The surjection S H V(s)* xo of I onto E is then an A-module homomorphism, and since its kernel is a left ideal I‘ contained in I and distinct from I, we have 1’ = (0). Hence E is a stable subspace of H with respect to V , such that the restriction of V to E is equivalent to U , . Since the orthogonal supplement H’ of E in H is stable with respect to V and of dimension strictly less than the dimension of H, we have only to apply the inductive hypothesis to complete the proof. The result of (15.8.16(ii)) can be shown to be valid without assuming that ak is finite-dimensional (Problem 1). PROBLEMS 1. Let A be a topologically simple, separable, complete Hilbert algebra. Let V be a nondegenerate representation of A in a Hilbert space H. With the notation of the proof of (15.8.14), put En= V(e.) and A, = V(a,). The Enare orthogonal
projectors on subspaces H, of H, such that H is the Hilbert sum of the H,, and we have A.(H,) = H, and A:(H.) = H I . If (bkl)kEI is a (finite or infinite) orthonormal basis of H,, then for each n the vectors bx. = y - 1 ’ 2 A , ( b r l form ) an orthonormal basis for H, as k runs through the index set 1. Deduce that, if H; is the subspace of H generated by the bk, (n 2 l), then Hi is stable with respect to V , and V is the Hilbert sum of the restrictions Vkof V to H; . Each of those representations is topologically cyclic, bkl being a totalizer because El . b k l = b k l . Show that this representation is equivalent to the representation Ul . 2. Let H be an infinite-dimensional separable Hilbert space, A = 9 A H ) the Banach
algebra of Hilbert-Schmidt operators on H, and B a closed self-adjoint subalgebra of
9 THE PLANCHEREL-GODEMENT THEOREM
371
A . Show that there exists a decomposition of H as a Hilbert sum of a subspace Ho and a (finite or infinite) sequence of closed subspaces Hkstable with respect to B, with the following properties: (1) the restrictions to Ho of the operators belonging to B are all zero; (2) each HI,is the Hilbert sum of a Jinife sequence (HLp),d p d r k of subspaces of the same dimension (finite or not) which are stable with respect to B; the restrictions to H x l of the operators belonging to B form the algebra of Hilbert-Schmidt operators on H k l ;moreover, for 2 5 p 5 r k , there exists an isometric isomorphism T, of Hkt onto H,, such that, if U, is the restriction to Hkl of an operator U E B, then the restriction of U to HkDis T,UIT;'.
9. T H E PLANCHEREL-GODEMENT T H E O R E M
In this section we shall study commutative (but not necessarily complete) Hilbert algebras. More generally it will be convenient, in view of applications, to consider a commutative algebra A with involution, endowed with a bitrace g (15.7) satisfying conditions (U) and (N) of (15.6). We shall denote by it, the two-sided ideal of elements s E A such that g(s, s) = 0, and by ng : A + A/n, the canonical mapping. We recall that A/n, is canonically endowed with a structure of Hilbert algebra (15.7). We shall assume throughout that the prehilbert space A/n, is separable, and hence is a dense subspace of a separable Hilbert space, which we denote by H,. Thus, starting from g, we obtain canonically a representation of A in H, (15.6.10), which we denote by U , . The image of A under U , is a commutative subalgebra with involution (15.6.1) of Y(H,). Let d,denote its closure in Y(H,), so that d, is a commutative star algebra (and therefore consists of normal operators (15.4.11)). We shall assume that this algebra d,is separable (this is not a consequence of the separability of A/n,, cf. Problem 1). A particular example of a trace on A (which therefore gives rise to a bitrace, by the canonical procedure (15.6.2)) is provided by the hermitian characters of A, i.e., the characters x of A which satisfy
Xb*)
(15.9.1 )
=
xo
for all x E A. It follows that x(x*x) = I x(x)lz 2 0, and if we put g(x3
v> = X ( Y * X )
= XOX(X),
the condition (U) of (15.6) is trivially verified, because
On the other hand, the ideal n,, which is here the kernel of X, is a hyperplane in A, so that the algebra A/n, can be identified with C, and the condition (N)
372
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
follows immediately from the fact that ~ ( x#)0 implies ~ ( x ’ )# 0. The corresponding representation U, is evidently irreducible. We denote by H(A) the set of hermitian characters of A ; it is a subset of the product space CA and is closed in the product topology (3.15.1). We give H(A) the topology induced by the product topology (i.e., the weak topology (12,lS)). When A is a separable commutative Banach algebra with involution, having a unit element e # 0, the space H(A) is a compact metrizable subspace of X(A) (15.3.2). In this situation it can happen that H(A) # X(A) (Section 15.4, Problem 3), but H(A) is equal to X(A) if A is a separable star algebra (1 5.4.14).
We shall show that the bitraces g satisfying the conditions at the beginning of this section can all be obtained, by a canonical process of “integration ”, from hermitian characters: (Plancherel-Godement theorem) Let g be a bitrace on a coin(15.9.2) mutative ulgebra A with inriolution, satisfying (U) and (N),and such that the prehilbert space A/n, and the star algebra d,c U(H,) are separable. (I) We can dejine canonically: (1) a subspace S, of H(A), whose closure in CA is either S, or S, v (0) and is metrizable and compact (so that S, is locally
compact, metrizable and separable); (2) a positive measure my on S, , with the follo MYng properties: ) to $P:(S,, m,) (i) For each x E A, the function X H ~ ( X ) = ~ ( xbelongs and we hal;e
for all x , y in A. (ii) As x runs through A, the set of functions i is contained in %?;(S,) (1 3.20.6) and is dense in this Banach space.
(iii) The support of the measure m, is the whole of S , . (iv) The mapping X H i factorizes into x H x,(x) 2 2,and the mapping To of A/n, into %$(S,) extends to an isomorphism T o f the Hilbert space H, onto L@,, m,) such that for all x E A we have U,(x) = T-’M(i?)T, where M ( 2 ) is multiplication by the class of i? in L$(S,, m,) (cf. (13.21.5)). Also 1 1 1 I”, a
for all 1 E C arid x
E
+ U,(X>II = I l l + 41
A.
(11) Conversely, let S be a subspace of H(A) such that S u ( 0 ) is compact and metrizable, and let m be a positive measure on S, with support equal to S,
9 THE PLANCHEREL-GODEMENT THEOREM
such that for all x E A the function
373
x i(x) = ~(x)belongs to H
Y ; ( S , m) n %?g(S).
Then g'(x, y ) = fs R(x)y(x)dm(x) is a bitraee on A saridying (U) and (N), such that A/n,, and d,, are separable; and we have S,, = S and m,. = m . The proof of this theorem is in several steps. (1 5.9.2.2)
Construction of S, and proof of (ii).
The subalgebra C * IH9 + d,= ,Pei is closed in 9(H,) (5.9.2) and hence is a commutative star algebra with unit element. For each character 5' E X ( d & it follows from (15.4.14) that 5' Or, is identically zero on A or else is a hermitian character of A : in other words, w : ('-5' U, is a mapping of X ( d i ) into H(A) u (0). This mapping o is injectiw, because we have t'(lHg) = 1 for all 5' E X ( d i ) , and since t;' is continuous on di, the values of <'on U,(A), which is dense in d,, completely determine the character t;'. On the other hand, it follows from the definitions that o is continuous with respect to the weak topologies on X ( d i ) and C"; since X ( d i ) is metrizable and compact, the same is true of its image 0
0
w ( X ( d $ ) )= S$ c H ( A ) u {0},
and o is a homeomorphism of X ( d i ) onto Si (12.3.6). If IH, ~ d ,then , d,; = ,Peg, and Si does not contain the element 0 of C". In this case we put S, = Si . If on the other hand 1H, $ d,, then d,is a closed hyperplane and an ideal in di,hence is a maximal ideal, and there exists a character 4; of di whose kernel is d,(15.3.1); its image under w is therefore the element 0 of C", and we put S, = Sh - (0) in this case. In each case, S, is separable, metrizable and locally compact, and the complements in S, u ( 0 ) of the compact subsets of S , are the open neighborhoods of 0 in S, u ( 0 ) . For each x E A, the function x' H(w-'(x'))( U,(x)), which is the composition of the Gelfand transformation SU,(x) and w-',is continuous on Si, and its restriction to S, is 2. We denote this function also by R, by abuse of notation. When 0 E S; we have o - ' ( O ) = (b and hence 2(0) = 0, which shows that 2 E %$(S,) in every case (13.20.6). T o prove the density assertion in (ii), note that the Gelfand transformation is an isometry of di onto %?,-(X(di))(15.4.14); the functions 1 + 2 (where A E C) therefore form a dense subset of %?,(Si), whence the assertion follows in all cases. (15.9.2.3) Preliminaries to the construction of m,
374
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
For all x, y in A, the mapping V H ( V . n,(x) I n,(y)) is a continuous linear form on d 6 and so, by virtue of the isomorphism of Wc(Si) and di, there exists (13.1 ) a (complex) measure p x , on Si such that d z x , Y ) = (U,(Z) . n,@)
(15.9.2.4)
I ng(Y))=
6,.
X ’ ( 4 &JX’)
for all z E A. When 0 E Si , we have seen (15.9.2.2) that the function 1 : X’H ~ ’ ( z is) zero at the point 0; consequently, if m X , ?is the measure induced on S , by p x , (1 3.1.8), we can write in all cases
(15.9.2.5) It is clear that the measures m x , yare bounded. Moreover, for given x and y in A , the measure m x , y is the only bounded measure m‘ on S , such that g(zx, y ) = 1(~) dm’(X) for all z E A, because the functions 1 are dense in %$(S,) (13.20.6).
ssg
If the formula (15.9.2.1) is true, then for all x, y , z in A we must have g(zx, y ) = L(x)i(x)9(x)dm,(x). Comparing this with (15.9.2.5), what we s. shall in fact prove is the existence of a measure m, on S , such that
I
mx,
(15.9.2.6)
=t
j m, *
for all x, y in A (cf. (13.1.5)).
If we have constructed such a measure, then for all functions F E Xc(S,) we shall have (1 5.9.2.7)
F.rn,,,=(FP~).m,=(R~j.m,,
where we have put mF = F m , , which is a bounded measure (13.14.4). We into Mi@,), shall begin by constructing a h e a r mapping F H m , of Xc(Sg) satisfying the equality (1 5.9.2.8)
F * mx, = (Rp) *
mF
for all x,y in A, and such that mF 2 0 whenever F 2 0. Having achieved this, the measure m, will be simply the linear form F ~ m , ( l )(13.3.1).
9 THE PLANCHEREL-GODEMENT THEOREM
(15.9.2.9)
375
De$nition of mF.
Let us denote by @ c%‘g(S,) the set of all continuous functions F which tend to 0 at injinity and for which there exists a bounded measure mF on S, satisfying (15.9.2.8) for all x , y in A. We shall prove that @ contains X,-(S,), by means of the following three lemmas. (15.9.2.10) @ is an ideal in the algebra %‘g(S,).
It is clear that @ is a vector space. Also if F E @ and G E %‘g(S,),it follows from (1 5.9.2.8) that
(GF) * mx,y= (GAD) mF = (39) * (G . mF),
so that GF E @, and we may take mGF= G * mF (because G is m,-integrable (13.20.5)). (15.9.2.11 ) For each function F E @, there exists only one bounded measure mF satisfying (15.9.2.8) for all x, y in A. The mapping F H m , is linear, and mF 2 0 whenever F 2 0.
To prove the uniqueness of m F ,it is enough to show that the functions of the form if (where x , y E A) form a total set in the Banach space %‘g(S,),or again that the functions of the form A + 29 (A E C) form a total set in the Banach space WC(Si). Now, from the fact that A is an algebra and x ~ is an i algebra homomorphism, it follows that the set B of these functions is a subalgebra of %‘&), containing the constants. This subalgebra separates rhe points of S i . For if xl,x2 are two distinct points of S,, then by virtue of (ii) there exists x E A such that 2(xl) # 2(x2).Hence either i 2 ( x 1 ) # i2(x2) or i 3 ( x 1 ) # i 3 ( x 2 ) . On the other hand, if Si = S, u {0}, then for each x # 0 there exists x E A such that i(x) # 0, and therefore i 2 ( x ) # 0, which proves our assertion. Finally, since 2 = (x*)^ (15.9.1), the conjugate of each function in B belongs to B. Hence we may apply the Stone-Weierstrass theorem (7.3.2), which establishes the uniqueness of mF . The linearity of the mapping F w m F follows immediately from the uniqueness just established. It remains now to show that the relation F 2 0 implies that mF2 0. Let G 2 0 be a function belonging to XR(S,). By virtue of (ii), there exists a sequence (x,) of elements of A such that the functions g n converge uniformly on S, to the function G’”. The functions 3,zn therefore converge uniformly on S, to G , and hence, by virtue of (15.9.2.8)
376
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
Hence it is enough to show that, for each x E A , the measure m,, ,is positive, o r equivalently that G(x) dm,, ,(x) 2 0 for all functions G 2 0 belonging t o XR(Sg). By the same reasoning, we reduce to showing that, for each y E A, we have 1j(x)I2dm,,,(x) >= 0; but by (15.9.2.5), this is equivalent to g(y*yx, x ) 2 0, which can also be written g ( y x , y x ) 2 0 (15.6.3). This completes the proof of (15.9.2.11).
s
(15.9.2.12) Every function of the form F = 2 j , where x, y and we have m F = m,, y .
E A,
belongs to 0,
We have to show that, for all u, u in A ,
(am“, ” = (06). m,, *
y
3
o r equivalently (in view of (ii)) that, for all z E A,
But the left-hand side of this relation is equal to g(zxy*u, u ) , and the righthand side to g(zuu*x, y ) . From (15.6.3) and the commutativity of A, we have g(zxy*u, v ) = g(y*zxu, 27)
= g(zxu, yu)
and g(zuu*x, y ) = g(v*zux, y ) = g(zux, uy) = g(zxu, yu). Hence (15.9.2.12). We can now prove that every function G E Xx,(Sg) belongs to @. Let K = Supp(G); then it is enough to show that there exists a function F E @ which does not vanish on K. F o r then we can write G = G’F, with G‘E %$(Sg), a n d the lemma (15.9.2.10) will show that G E @. For each x E K, there exists by definition a n element x E A such that i ( x ) # 0, and hence a neighborhood V(x) of x in S, such that i ( x ’ ) # 0 for all x‘ E V(x). Cover K by a finite number of such neighborhoods V ( x i ) .If x i are the corresponding elements of A, then the function F = does what is required, by virtue of (15.9.2.12).
1i j z i
(15.9.2.1 3)
De$nition of m, and proof ofti).
From (15,9.2.11), the linear form F w m F ( l ) is a positive measure m, on S, . Also, for each function F E 0,we have (1 5.9.2.14)
mF = F * m,.
9 THE PLANCHEREL-GODEMENT THEOREM
377
To prove this, observe that for each G E X,-(S,) we have m,(GF) = mGF(l) and, by virtue of (15.9.2.10), mGF= G . m,; hence m G J ) = SG(x) dm,(x); but since mGF(1) = SG(x)F(x) dm,(x) by definition, this implies the relation (15.9.2.14). In particular, bearing in mind (15.9.2.12), we have (1 5.9.2.15)
in,,,
= A$
. m,
for all x , y in A. Since m,,, is a bounded measure, this relation implies that 29 is m,-integrable (13.14.4). The functions 2 therefore all belong to L?$(S,, m,);also, it follows from (15.9.2.15) and (15.9.2.5) that, for all z E A,
In other words, we have proved (15.9.2.1) in the particular case where x is replaced by a product zx. It remains to show that (15.9.2.1) is true in general. The remark at the beginning of (15.9.2.3) shows that, for all operators VEdi,
in particular, taking V = l H , , we have n
(1 5.9.2.18)
But, from (15.9.2.15), we have
jS:(x)m
dm,(x)
=
6,
dm,,,(x).
Since the measure mx,, is by definition induced by pX,,on S,, it follows that what we have to prove is that, when 0 E Sh (and therefore S, = Sh - (0))
Now it follows immediately from the definition of p X , , that the mapping (x, y ) F+ p x , is sesquilinear, and hence (13.1 6.1) the complex-valued function (x, y ) Hp x ,,( (0)) is a sesquilinear form on A x A. Moreover, it follows
,
directly from (15.9.2.17) and the Gelfand-Neumark theorem (15.4.14) that, for each continuous function F on the compact space S; = S, u (0},
378
xv
NORMED ALGEBRAS AND SPECTRALTHEORY
hence (IpX,,ll2 IIn,(x)ll
*
lln,(y~Il, and therefore
lPXJ@Hl 2
lb,(x)Il
*
ll~,(Y)Il.
-
Since A/n, is dense in H,, we infer that there exists a vector E x E H, such that lpx,,({O})l = ( E * x I n,(y)) for all y E A (6.3.2), and we have llE*xll I IIn,(x)ll.
This shows first that E x depends only on n,(x) and can therefore be written in the form W, . 7rg(x),where W , is a linear mapping of A/n, into H,; also, we have I/ W , . n,(x)II 5 ~ ~ n , ( x )so I ~that , W , is continuous, and extends to a continuous operatcr W E 5?(Hg). Next, replacing x by zx in (15.9.2.17) and noting that V . n,(zx) = ( VU,(z)) ng(x)for V E di,we obtain Kx,,
= ((gug(z>> O w-I>
.P x , y .
Since the function x'~(gU,(z))(w-~(~')) is zero at the point 0, we see that p z x ,,((O)) = 0 for all z E A, or equivalently ( W * n,(zx) 1 n,(y)) = 0. Since the elements ng(y)are dense in H,, it follows that W n,(zx) = 0 for all z and all x in A; but by virtue o f t h e condition (N) (which is used only at this point of the proof) the n,(zx) form a rotal set in H,. Hence we have W = 0, and the proof of (i) is complete.
-
(15.9.2.20) Proofof(iii).
To show that the support of m, is the whole of S,, it is enough to prove that, for each x E S, and each open neighborhood V of in S,, there exists at least ofie continuous functim F >= 0, with support contained in V, and such that m,(F) # 0. Suppose that this is not the case. Then for every F as above we have
x
j
s
F(x) dmx,y(X>= F(x)WE(x>dm,(x)
=0
for all x , y in A. But by virtue of the Gelfand-Neumark theorem (15.4.14), F is the restriction to S, of a function of the form 9 V w - ' , where V Ed;, and by (15.9.2.17) we have ( V . ng(x)I n,(y)) = 0 for all x , y in A. Since A/n, is dense in H,, it follows that V = 0 and therefore F = 0, which is absurd (4.5.2). 0
(1 5.9.2.21) Proof of (iv).
By virtue of (iii), the vector space %$!(S,) n Y;(Sg, m,) (and therefore also its subspace A'-&,)) can be identified (algebraically) with a dense subspace of L@,, m,) (13.11.6). Since on the other hand the relation (15.9.2.1) can be put in the form (n,(x) I n,(y)) = Sa(x)JT)dnz,(x) and therefore defines
9 THE PLANCHEREL-GODEMENT THEOREM
379
an isomorphism To of the prehilbert space A/n, onto its image in gg(S,) such that To * n,(x) = 2 , it is enough to show that this image is dense in %@,) n L?;(Sg, m,), with respect to the topology of LZ;(Sg, m,). Given E > 0 and any function F E Xc(Sg), it is sufficient to prove the existence of x E A such that
s
IF(x) - %dl’ dm,(x) 5 E 2 .
Now, we have seen earlier that there exists a function 12
=x
i
g i % (xieA)
which does not vanish on Supp(F), so that we may write F = G12,where G E X,-(S,). By virtue of (ii), there exists y E A such that IG(x) - E(x)l for all
x E S,, and it follows that
s &/N2(12)
Finally, for x and y in A, we have by definition
-
To * (U,(x) * ng(Y))= To n,(xJ4
= 29 = Wf)
*
(To . ng(J9),
and by extending To by continuity to an isomorphism Tof H, onto Lz(S,, m,) we have TU,(x) = M(2)T. The equality of the norm of 1 IH, U,(x) in L?(H,) and the norm of 1 2 in Vc(Si) is a consequence of the GelfandNeumark theorem (15.4.14).
+
(15.9.2.22)
+
Uniqueness of S , and mg .
It is immediately checked that the hermitian form g’satisfies (1 5.6.3) and (15.7.3), hence is a bitrace on A. Since the functions 2 are bounded, we have g’(xy,
XY)
=
s
l~(x>l’lE(x>I’ M x ) s ll~l12g‘(Y,Y ) ,
so that g’ satisfies the condition (U). To prove that g’ satisfies (N), let S’ denote the closure of S in H(A) u {0}, so that S’ = S if S is compact, and S‘ = S u ( 0 ) otherwise. By virtue of (13.1 1.6), it is enough to show that the functions 1 + 2j3, where A E C and x,y E A, form a total set in the space %&c(S’). The proof is the same as in (15.9.2.11), using the Stone-Weierstrass theorem and the fact that by definition the functions ,f separate the points of S u ( 0 ) . The ideal ng, is the set of all x E A for which 2 is m-negligible; but since the support of m is S, and 2 is continuous, 2 can be m-negligible only if i= 0, and therefore n,,(x)H f is an isomorphism of A/n,. onto the algebra of the functions R such that (n,,(x) 1 z,,(y)) = /R(,y)pz) dm(x). The argument of (15.9.2.21) then shows that the set of functions 2 is dense in LZ’;(S, m), and
380
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
therefore the isomorphism above extends to an isomorphism of Hilbert spaces T' : H,, + L@, m),such that U,.(x) = T'-'M($)T'. Let us now show that 1 1 1+ AIL or equivalently that, if F E gc(S'), the continuous operator M(F) (" multiplication by F") on the Hilbert space Li(S, m) has norm equal to llFll. It follows immediately from (13.12.5) that IIM(F)))5 IlFll. On the other hand, there exists x1 E S' such that IF(xl)l = IlFll (3.17.10); hence, for all E > 0, there exists a compact neighborhood V of x1 in S' such that IF(x)l 2 llFll - E for all x E V. Since by hypothesis the support of m is the whole of S , and since in all cases xl lies in the closure of S in S', we have m(V n S) = q v dm = (N,(qv &)' > 0; also it is clear that IFq, sI 2 (IlFll - &)qV s , so that 1 1 1*
1H8'
+ U&>Il
=
1
NZ(FVV n S ) 2 (/IF// - ~ ) N z ( q vn s ) and consequently IIM(F)I(2 llFll - E . Since E > 0 was arbitrary, this proves our assertion. Hence the isomorphism 1 1", + V,.(x)H I + 2 extends by continuity to an isometry of d ; .onto WC(S'). Having regard to the fact that every character of %,(Sf) is of the form F H F(x') for some x' E S' (15.3.7), we conclude that Sit = S' and hence that Sn,= S. It remains to show that m,. = m, or equivalently that JF(x) dm&) = JF(x) dm(x) for all functions F E X&). But by virtue of (i) we have n
n
and since the functions I , as z runs through A, form a total set in %g(S), this establishes the equality of the bounded measures 2F. m,. and f j m for ail x, y in A. On the other hand, we have seen earlier that there exists a function 0 = ai< (where the x i belong to A) which does not vanish on Supp(F), so i
that F = GG with G E Xc(S).Consequently we have from above
n
This completes the proof of the Plancherel-Godement theorem.
9 THE PLANCHEREL-GODEMENT THEOREM
381
The Plancherel-Godement theorem applies in particular when the bitrace g is of the form ( x , y ) Hf (y*x), where f is a positive linear form on A (and therefore a trace since A is commutative). When g comes from a tracef, the formula (15.9.2.1) leads us to ask whether we also have (15.9.3)
A partial answer to this question is provided by the following theorem: (15.9.4) (Bochner-Godement theorem) (i) Let .f be a positive linear form on a commutative algebra A with involution, such that the bitrace g(x, y ) = f ( x y * ) satisjes the hypotheses of (15.9.2). Then, if the formula (15.9.3) is true and if the measure m, is bounded, f satisfies the condition
(B) There exists a real number M > 0 such that If (x)I2S M . f ( x x * ) f o r all x
E
A.
(ii) Conversely, let f be a positive linear form on A which satisfies the condition (B), and suppose that the corresponding bitrace g(x, y ) =f ( x y * ) satisfies (U) and is such that the prehilbert space A/n, and the star algebra d , are separable. Then g also satisfies (N),the measure m, is bounded, and the formula (15.9.3) is valid. (i) If m, is bounded and if (15.9.3) holds, then the Cauchy-Schwarz inequality (13.1 1.2.2) gives us
and hence the inequality of (B), with M = m,(S,). (ii) Recall that the definition of the Hilbert space H, does not presuppose that the condition (N) is satisfied. The inequality in (B) can be put in the form If(x)12 5 M \ \ n , ( ~ ) 1 \ ~ and , shows that f vanishes on n,; hence we may write f = f ‘ n,, where f ’ is a linear form on A/n,. Also I f’(ng(x>)l25 M l\ng(x)l12,so that f ‘ is continuous on the prehilbert space A/n, (5.5.1) and therefore extends to a continuous linear form on the Hilbert space H, (5.5.4). Hence, by (6.4.2), there exists a well-determined vector a E H, such that 0
From this it follows that, for all x E A, we have (15.9.4.2)
U,(x) a = ng(x).
382
XV
For if y
NORMED ALGEBRAS AND SPECTRAL THEORY E A,
then
(n,(y) I U,(x) a) = (u,(x*> * n,(y)
I4 = (n,(x*v>I4 = f ( x * y ) = (n,(y) I n,(x)),
and (15.9.4.2) follows because A/n, is dense in H,. We are now in a position to show that g satisfies the condition (N). Let b E H, be a vector belonging to the orthogonal supplement of the subspace generated by the elements n,(xy) for all x,y in A ; then we have (n,(xy) I b) = 0, that is (U,(x) * n,(y) 1 b) = 0, or again (n,(y) 1 U,(x*) . b) = 0 for all x and y in A. Since the elements n,(y) form a dense subspace of H,, it follows that ( a I U,(x*) 6) = 0, hence (U,(x) * a I b) = 0, hence finally (n,(x) I b) = 0 and therefore b = 0, because A/n, is dense in H,. Now consider the positive linear form f"(V ) = ( V * a 1 a) on the algebra di . We have
I~"(v) I I 11 v
*
all
IbII 5 11 v /I . llaliZ;
by virtue of the Gelfand-Neumark theorem (15.4.14), we may writef"(V) = h ( 9 V ) where h is a linear form on V c ( X ( d ; ) ) and , since l19VlI = IIVII, it follows that h is an (a priori complex) measure on the compact space X(&i). Since any continuous function G 2 0 on X ( d J is of the form F F, hence of the form 9 V - 9 V * = 9 ( V V * ) , we have h(G) = I/ V . all2 2 0, so that h is a positive measure. Taking into account (15.9.4.2), (15.9.4.1 ) and the canonical homeomorphism w of X ( d i ) onto Si, we see therefore that there exists a positive measure v on S, (induced by the measure o(h) on S i , and therefore bounded) such that f(x)
= (U,(x>
for all x E A. Thus it remains to show that v
a I a) =
s
$(XI 4 X )
= m,. Since
it is sufficient, by virtue of (15.9.2(11)) to show that (1) the functions ?. (where x E A) belong to Y$(S,,v ) ; ( 2 ) the support of v is S,. The first assution is trivial, because the functions 2 are bounded and continuous and the measure
s
s
v is bounded. To prove (2), sLppose that there exists a function F 2 0 belonging to Xx,(S,)such that F(x) d v ( ~=) 0. Then F(z)R(x)E(X) dv(x) = 0 for all x, y E A. Since F w is a continuous function on X ( d i ) , it is of the form 9 V where V E di,and the relation above now takes the form 0
9 THE PLANCHEREL-GODEMENT THEOREM
383
or
( V U , ( x ) . a ( u , ( y ) - a )= O .
-
But, by virtue of (15.9.4.2), ( V ng(x)1 n,(y)) = 0 for all x, y in A. Since Afn, is dense in H,, it follows that V = 0 and hence F = 0. Q.E.D.
Examples (15.9.5) We have seen (15.6.2.4) that a positive linear form f on an algebra with involution A having a unit element always satisfies the condition (B). We recall that if A is in addition a Banach algebra, then the corresponding Hilbert form g also satisfies (U) (15.6.11). If A is a separable Banach algebra with unit element e, then the prehilbert space A/n, and the star algebra d,are also separable. The first assertion follows from the continuity off (1 5.6.1I),which implies that Iln,(x)ljZ = f ( x * x ) 2 llfll Ilx*xil 6 llfll llxll’ and shows therefore that the image under ng of a denumerable dense set in A is dense in the prehilbert space Afn,. The separability of d,follows from the fact that the representation U, is continuous (1 5.5.7) and therefore transforms a denumerable dense set in A into a denumerable dense set in d,. Hence the BochnerGodement theorem can be applied to every positive linear form on A.
-
-
(15.9.6) If S H U(s) is a representation of A on a Hilbert space H, then for each xo E H the form fx,(s) = ( U ( s ). x0 I x0) satisfies the condition (B), because by (6.2.4)
Ifxo(.~>12 5 It U ( s > .xO1l2. IIxo/iz= ~ I X ~ ~ ~ % ~ ( ~ * ~ ) ~ By (15.5.6) this shows that knowledge of the hermitian characters of a commutative algebra A with involution which has a unit element determines all the representations of A. In addition, we have seen in the course of the proof of (15.9.4) that, iff is a positive linear form satisfying the conditions of (15.9.4(ii)), then the corresponding representation X H U,(x) admits a totalizer a (15.9.4.2).
Remarks It can happen that the formula (15.9.3) (and the conditions of (15.9.2)) are satisfied bdt that the measure m yis not bounded (and therefore f does not satisfy (B)) (Problem 2). On the other hand, there are examples in which the conditions (U) and ( N ) are satisfied but (B) is not (Problem 4), and examples in which (B) and (N) are satisfied but (U) is not (Problem 5).
(15.9.7)
384
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
PROBLEMS
1.
Let A be the algebra with involution WZ(R) of continuous bounded complex-valued functions on R, and let p be a bounded positive measure on R,with support equal t o R. Show that d x ,Y)= jx(r)Zl ddt)
is a bitrace on A for which the prehilbert space A / n , = A is separable, but that the star algebra d , is not separable (Section 7.4, Problem 4). 2.
s
Let A be Lebesgue measure on R and let A be the subalgebra with involution of Vg(R) consisting of square-A-integrable functions. Then g ( x , y ) = x(f)y(r) dh(t) is a bitrace
on A satisfying (U) and (N), but the measure m, is not bounded, and the right-hand ':(R) consisting side of (15.9.3) is not defined for all x E A. If B c A is the subalgebra of % of A-integrable functions, then
J
is a positive linear form on B satisfying (15.9.3) but the measure m, is not bounded. 3.
Let A be the subalgebra with involution of %,-(I), where I = [0, I], consisting of functions x with continuous second-order derivative on I and such that x ( 0 ) = 0. Show that A x ) = Jol x ( t ) dt
+~ " ( 0 )
is a positive linear form on A, such that the corresponding bitrace g satisfies the condition (U) but not the condition (N). (If (f.) is a sequence of functions belonging to Wc(I), with values in [O, 11 and continuous second derivatives, and such that f . ( t ) = 1 in a neighborhood of 0 and fn(t) = 0 for t 2 l/n, consider in the Hilbert space H, the sequence of functions x. E A such that x.(t) = tf(r).) 4.
Let A be the subalgebra with involution of %',-(I) consisting of continuously differentiable functions on I which vanish at 0. Show that the formf(x) = x ' ( 0 ) on I is a positive linear form for which the corresponding bitrace g is zero (and therefore satisfies (U) and (N))but does not satisfy (B).
5.
Let A be the algebra with involution (the involution being X H ~ )of complex-valued functions on [0, 11 of the form P(r, log t ) , where P is a polynomial in two variables with complex coefficients. Then the linear form f ( x )
=
Jol
x(t)
dt is positive, and satisfies
(B) because A has a unit element; the corresponding bitrace g satisfies (N) but not (U).
r be a set endowed with an associative law of composition ( x , y ) w x y and a neutral element e, and let X H X * be an involution on r (i.e., a bijection of r onto r such that e* = e , (x*)* = x and (xy)* = y*x*). A representation of r in a Hilbert
6. Let
9 THE PLANCHEREL-GODEMENT THEOREM
385
space H is a mapping x H U(x) of r into Y(H) such that U ( e )= l H , U(xy) = U(x)U(y) and U(x*) = U(x)*. Let E be a Hilbert space and x ~ T ( x a) mapping of r into Y(E). In order that there should exist a Hilbert space H which is the Hilbert sum of E and another Hilbert space F, and a representation x H U(x) of r on H such that T(x) = PU(x) I E for all x E r, where P is the orthogonal projection of H on E, it is necessary and sufficient that T should satisfy the following three conditions: (1) T(e)= I E and T(x*) = T(x)* for all x E E. (2) If g : I' + E is any mapping such that g(x) = 0 for all but a finite set of elements x of r, then (T(X*Y) .9(Y) I g(x)) L 0.
x
(I,Y ) E
x
E
i-xr
(3) Ifg : r -+ E is any mapping such thatg(x) = 0 for all but a finite set of elements F, then for each z E I- there exists a constant M, > 0 such that
Moreover, if U and H satisfy these conditions and are such that the elements U(x) ,f(x E r and f~ H) form a total set in H, then the representation U is determined up to equivalence (equivalence of representations being defined as in (15.5)). (To show that these conditions are sufficient, let G be the subspace of E' consisting of mappings g : r -+ E such that g(x) = 0 for all but a finite set of elements x E r, and consider the form on G x G
which is a positive hermitian form. If N is the set of all g E G such that B(g, g) = 0, then B induces a nondegenerate positive hermitian form (0, h ) w ( 4 I / I ) = B(Q, h) on G/N which makes G / N a prehilbert space. Assume that G/N is a dense subspace of a Hilbert space Ho . Define an injection j : G/N + Er as follows: for each g E G , the image j ( g ) of .4 is the mapping
X H C W * Y ) .g(y). p e r
By transporting the scalar product on G/N by means o f j , we have a structure of prehilbert space on j ( G / N ) and hence, extending by continuity, an isomorphism of Ho onto a Hilbert space H. Then define U(x) by the condition that U(x) . j ( g ) is the mapping z T ( Z * X Y ) . g(y).)
Hx
Y E r
7. Let A be a separable commutative Banach algebra with involution, having a unit
element e . Let P be the set of positive linear forms on A (or of traces on A), which is a subset of the dual A' of the Banach space A (15.6.11). Iff;,f, E P, we writef, to mean that f2 -fi E P. (a) If f , f o are traces on A such that fo gf,show that there exists a sequence (y,) of elements of A such thatfo(x) = limf(y,tx) for all x E A. (If g is the bitrace correspond-
sf2
"+ m
ing t o f,note that fo may be written in the form fo = I I 0 mxg,where u is a continuous linear form on H, .) (b) Let P, be the set of tracesf€ P such that ilfii = f ( e ) 5 I ; then PI is convex and weakly compact. Show that the set of extremal points of P, (Section 12.15, Problem 5) is equal to (P n X(A)) u {O}. (Use (a) to show that if a character is a trace it must
386
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
be an extremal point of P,. To prove the converse, show that i f f € PI is such that I/(e)l then there exists z E A such that lltll < 1 and f(z*z) # 0. Using 1 (15.6.11.1), show that the linear forms f i ( x )= f ( z * z x ) / f ( z * z ) and -:
:
fdx)
- z*z>x)/(f(e) -ffz*z))
belong to P,, and that i f f is an extremal point then f=f, = f 2 . Hence we have f ( z * r x ) - z f ( x ) f ( z * z ) ; replacing z by r(e y ) where y is small, deduce that f is a character.) (c) Show that for each f~ P, there exists a unique positive measure pf on P I , with niass 1, such that for each x E A we have
+
f ( x ) = Jpnx(*:(x)
&Ax).
(Use Section 13.10, Problem 2(b). For the uniqueness of pr, use the Stone-Weierstrass theorem.)
10. R E P R E S E N T A T I O N S O F ALGEBRAS O F C O N T I N U O U S F U N C T I O N S
Let K be a coinpact nzetrizable space. The application of the results of Scction 15.9 to the case where A = %‘,-(K) allows us to describe very simply all the representations of this algebra. We consider first the topologically cjdic. representations u H T(u). (15.10.1) Let K be a compact metrizable space and A = %,(K). Then every topologically cyclic representation of the commutative algebra with involution A, in a sc>jiarabie Hilbert space E, is equivalent to one of the representations UH M,,(u) (lefined as,follows: let p be a positive measure on K, and for each u E A, let M J u ) dcnote the continuous operator on Lz(K, p) induced by multiplication by u : that is, .for each f E 2’t(K, p), M,(u) * f is the class of uf in
G ( K >10.
Let a be a totalizing vector for a representation U H T(u) of A in a separable Hilbert space E. The representation Tis determined up to equivalence by the positive linear form f,(u) = ( T ( u ) a I a) on A (15.6). Since A is separable (7.4.4),the Bochner-Godement theorem applies ; all the characters of A are hermitian, and the spectrum X(A) can be canonically identified with K (15.3.7).Hence the proposition is an immediate consequence of (1 5.9.qiv)). It follows from the definition (15.10.1) of M , that
10 REPRESENTATIONS OF ALGEBRAS OF CONTINUOUS FUNCTIONS
387
(with respect to the measure p). For it follows from (13.12.2) that //M,(u)/l2 N,(u); also, for every positive real number a < Nm(u), there exists a nonnegligible integrable subset P of K such that lu(t) I 2 c( for all t E P; hence N,(ucp,) 2 ci * N2(qP),from which (15.10.2) follows. The measure p is not uniquely determined. We shall come back to this point a little later (15.10.7). The definition of M,(u) given in (15.10.1), and the formula (15.10.2), still make sense if u is not necessarily continuous on K, but simply p-nieasurable and bounded in measure (by virtue of (13.12.5)). The mapping u w M J u ) extended in this manner is a representation of the algebra with involution Y,"(K, p) on the Hilbert space Lf(K, p). Clearly, if u1 and u2 are equal almost etlerywhere with respect to p, we have M,(u,) = M,(u,). Usually we shall restrict the representation M , to a self-adjoint subalgebra of Y","K, p) which does not depend on the choice of p, namely the algebra diC(K) of universally measurabfe, bounded complex-cafued ,functions on K (13.9). By (13.9.8.1) this is indeed a C-algebra with involution, and it is a Banach subalgebra of BC(K) by virtue of Egoroff's theorem (13.9.1 0). (15.10.3) Again let u- T(u) be a representation of %',-(K) in a separable Hilbert space E, admitting a totalizing vector a. (These hypotheses will be in force up to and including (15.10.7).) The preceding remarks show that the representation T may be extended to the algebra with involution @c(K). The extended representation (also denoted by T ) does not depend on the choice of totalizing vector a. To prove this assertion, let x and y be two vectors belonging to E. For each u E Vc(K), we have I/ T(u)I/ 5 /Iull (15.5.7) and therefore
consequently the linear form U H ( T ( u ). x I y ) is a measure p x , yon K such that llPx,yll 5 llxll . llull. From this definition it follows immediately that (15.10.3.2)
-
Also, if x = T(v) a and y = T(w) a, where 2) and each function u E q C ( K ) we have
-
14'
are in q C ( K ) , then for
( T(u) x I y ) = (T(uo). a I T(w) * a) = ( T(M'ur)* a I a) =
388
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
and therefore
The independence asserted above will be a consequence of the following more precise result: (15.10.4) (i) For all x, y E E and all u E %,-(K) we have
s
. x IY ) = 4 0 d P x , y ( o .
(15.10.4.1)
(ii) Zf(u,) is a uniformly bounded sequence offunctions in %,(K) which conoerges to u, then
for all x , y in E. It is enough to prove (15.10.4.2) for x, y lying in a rota1 subspace of E: the sesquilinear functions (x,y ) H(T(u,) x I y ) form an equicontinuous set, because
(7.5.5). Take x by definition,
=
-
T(s,) a and y = T(s2) a, with s1 and s2 in %,-(K); then,
(T(u,) . x I Y ) = (T(3,unsI) * a I a ) =
s
~2
u,si d p ?
and it is enough to apply the dominated convergence theorem (13.8.4) to the measure p. As to (15.10.4.1), it is valid by definition when u E %,(K), and in general it follows by applying the dominated convergence theorem twice to the measure p L x , yand , using (13.7.1). (15.10.5) For the operator T(u) to be hermitian (resp. positive hermitian (11.5), resp. zero, resp. unitary) it is neces’sary and suficient that u(x) should be real (resp. u(x) 2 0, resp. u(x) = 0, resp. lu(x)l = 1) almost euerywhere with
respect to the measure p .
389
10 REPRESENTATIONS OF ALGEBRAS OF CONTINUOUS FUNCTIONS
It is immediately verified that if U is a hermitian (resp. positive hermitian, resp. unitary) operator on a Hilbert space E, and if S is an isomorphism of E onto a Hilbert space E', then the operator SUS-' on E' has the same property (since these properties involve only the Hilbert structure). Hence we may take T(u) = M,(u), and in this case the sufficiency of the conditions stated is clear. On the other hand, if for example there exists a measurable subset X of K such that p ( X ) = a > 0 and 9 ( u ( x ) )2 fl > 0 for all x E X, then we have 9(( T(u) . qXI qX)) = u dp) 2 ctfl and therefore T(u) is not hermitian. The other cases are dealt with similarly.
9(Ix
(15.10.6) (i) The orthogonal projectors belonging to the algebra T ( @ J K ) ) are the operators of the form T(cpx),where X is a universally measurable subset of K . (ii) T(@,(K)) is a maximal commutative subalgebra of,ri4(E). (iii) A closed vector subspace F of E is stable under T ifand only if it is of the form T ( q x ) ( E ) ,where X is a universally measurable subset of K .
(i) By virtue of the characterization of orthogonal projectors on E (15.5.3.1) and by (15.10.5),it follows that T(u)is an orthogonal projector if and only if u is almost everywhere equal to a p-measurable bounded real-valued function u such that u2 = u. Hence v = cpx, where X is a p-measurable subset of K, and the result follows. (ii) It is clearly enough to prove that a continuous operator V E 9 ( E ) which commutes with T(u) for all u E @&) is of the form T(u). If a is a totalizing vector for T, then for each universally measurable subset X of K we have
5 IIVII . llT('px). all2 = IIVII
*
s
' p x dP.,a = 1 I VII.
.s
dP
because T('px)is an orthogonal projector which commutes with V. The Lebesgue-Nikodym theorem (13.15.5(c')) therefore shows that p v . o , r r= h * p for some p-integrable function h. Since also it follows from the inequality above that
we conclude that the linear form for every step function WE&&), WH h w d p defined on the vector space of these step functions extends by
s
390
XV
NORMED ALGEBRAS A N D SPECTRAL THEORY
continuity to L?A(K, p) ((13.9.12) and (13.9.13)). Hence, by (13.17.1), h is bounded in measure with respect to p, and we may assume that 12 E %,-(K). For all s, t E @c(K) we have (b‘T(s). u I T(t). a )
= (T(s)V * u
=
pl
1 T ( t ) .U ) =
s
si dp“..,.
dp = ( T ( h ) T ( s )u. I T ( t ) .a ) ;
since the vectors T ( s ). a form a total set in E, it follows that V = T ( h ) . (iii) To say that F i s stable with respect to T means that the orthogonal projector f’, commutes with T(u) for all u E %,(K) (15.5.3); hence P, E T(J2/c(K))by virtue of (ii), and is of the form T(cp,) by virtue of (i). We can also characterize all the totalizing vectors of the given representation: (15.10.7) For a cector Lj E Li(K, p) to be totalizing f o r the representation M,, of ‘e,(K), it is necessary and sufficient that g ( t ) # 0 alyost everywhere with respect to p . In order that the classes (fg)-,where f runs through V,(K), should generate a subcpace which I S not dense i n the Hilbert space LE(K, p), it is necessary and sufiicienl that there should exist a nonnegligibIe h E 9’$(K, p) such
i
that fgh dp = 0 for all f E %‘,(K) (6.3.1). Also we have gh E P,!.(K, p) (1 3.11.7) ; hence the measure ( g h ) * p is zero, which implies that g ( t ) h ( t )= 0 almost everywhere with respect to p (13.14.4). But since by hypothesis the integrable set A of points t E K at which h ( t ) # 0 is not negligible, we must have g ( t ) = 0 almost everywhere in A. This proves the proposition. To such a totalizing vector Lj for M,, corresponds by definition (15.10.1) the positive measure 1gI2 . p on K. Since 1gI2 is p-integrable and # O almost everywhere, we obtain in this way all the positive measures on K which are equivalent to 11 (13.15.6). In other words, the measure p of the statement of (1 5.10.1) is determined on/^ up to equicalence by the representation T.
(1 5.10.8) Now let us consider an arbitrary nondegenerate representation Tof ‘ec(K) in a separable Hilbert space E. From (15.5.6) we know that E is the Hilbert sum of a sequence (En)of closed subspaces stable with respect to T , and such that the restriction T,, of T to En admits a totalizing vector a,,, for each n. The definition of the measures p x , ygiven in (15.10.3) applies without
10 REPRESENTATIONS OF ALGEBRAS OF CONTINUOUS FUNCTIONS
391
change. Also, for each function u E %&), we define T,(u) on En (15.10.1), and by virtue of (15.10.2) we have llT,,(u)~lI llull for each n. Now we have the following lemma: (15.10.8.1) Let E be a Hilbert space which is the Hilbert sum of a sequcnce (En) of closed subspaces. For each n let U , be a continuous operator on En, and suppose that the sequence of norms (11 U J ) is bounded. Then there exists a unique continuous operator U on E whose restriction to En is U,, for euch Also, the restriction of U * to En is U,* . Suppose that /I U,ll all n and llxll2 =
5 a for all n. For each x
c llx,l12 (6.4), we have
=
n.
1x, E E, where x, E En for n
n
C IIUn
xn/125
n
a2 C IIxnI12 =a211xI12, n
which shows that the series 1U , * x, converges in E. If U . x denotes its sum, n
it is clear that U is linear and that, from above, 11 U . xi1 5 allxll, so that U is a continuous operator (5.5.1). The uniqueness of U follows from the fact that the union of the subspaces En is a total set in E (6.4). Finally, we have 11 U,*l/ = /I U J 5 a for all n, and therefore there exists a continuous operator Y on E whose restriction to Enis U,* for all n . If y = y,, with y , E En for all n
and
c
1
llynllZ= lly(I2,then (6.4) we have
n
(u . x I Y > = Cn ( u n
*
xn I yn) =
C (xn I UT . yn> = (X I I/
Y),
n
which proves that V = U *. Applying (15.10.8.1), we see that there exists a unique normal continuous operator T(u)on E whose restriction to Enis T,(u), for each n. It is immediate that UI+ T(u) is a representation of @&) in E which extends the representation T of qC(K). Next, the proposition (15.10.4) generalizes without any change in the proof: we have only to observe that we can take as a total subset of E the set of all T,(s) a,, where s E VC(K) and n is arbitrary. In general there exist infinitely many decompositions of E as a Hilbert sum of subspaces with the properties of (15.10.8). However, there is the following result : (15.10.9) There exists a decomposition of E as a Hilbert sum of a (finite or infinite) sequence (En) of closed subspaces, stable with respect to T , such that the
392
XV
NORMED ALGEBRAS A N D SPECTRAL THEORY
restriction of T to Enadmits a totalizing vector a, and such that, if p, is the positive measure on K corresponding to a, (15.10.1), then p, + is a measure with base p,, (13.1 3) f o r each n. We begin with a decomposition of E as the Hilbert sum of any sequence (F,) as described above. Let b, be a totalizing vector for the restriction of T to F, , and let v, be the corresponding positive measure on K. Since the measure v, is determined only up to equivalence (15.10.7), we may multiply it by a strictly positive constant so as to ensure that the series of norms ~ ~ v ,con,~~ verges. By induction on n 1 2 we define two sequences (v;), (v:) of positive measures on K, as follows. The measures v; and vl; are those which appear in the Lebesgue canonical decomposition of v 2 relative to v,, v; being a measure with base vl, and vl; disjoint from v, (13.8.4). For k > 2, the measures v; and v; are likewise such that vk = v; + v;, where v; is a measure with base (v, vl; v;- 1) and v; is disjoint from v, vl; + * * . + v;To each of these decompositions there corresponds a partition of K consisting of two universally measurable sets B; and B; such that v; is concentrated on B; and v: is concentrated on B; . Let Fk= F; 0 FL be the corresponding decomposition of F, as a Hilbert sum of mutually orthogonal subspaces. If F, is identified with Lg(K, vk) (15.10.1) then F; and F; admitb; = @,.,and 6; = @s..,astotalizing vectors, respectively (15.10.6). The sequence of measures v1 + v'; + . . + v; is increasing, and the norms of these measures are bounded above by
+ + +
,.
+
-
m
I(v,ll. Hence (13.4.4) this sequence has a least upper bound p1 in M,(K),
n= 1
and p, is also the vague limit of the sequence. The preceding construction allows us to assume that, if v1 is concentrated on B,, then the sets B,, Bl;, . . . , B;, . . . are pairwise disjoint, and vg is identified with q,.., * p,. If El is the Hilbert sum of F, and the F; for k 12, then E is the Hilbert sum of El and the F; ( k 1 2). The subspace El is identified with Lg(K, p J ; since + 6; 11b~1I2= vk(B;) I IIVkll, the series 6, + bl; + converges in El, and its sum a, is identified with @*,,where A, is the union of B, and the B; (k 2 2). Clearly a, is a totalizing vector for the restriction of T to El. Thus, starting with the given decomposition (F,) of E, we have constructed a decomposition of E into El and the F;, where for each k 2 2 the measure v; corresponding to F; is a measure with base pl.Repeating the construction, we define for each n a decomposition of E as the Hilbert sum of subspaces El, . . . , En,F!,'J , . . . , F$!,, . . . , all stable under T, such that the restriction of T to each subspace admits a totalizing vector, and such that if the corresponding measure is pk for E, (1 5 k j n) and $1,' for F?jk, then pk+l is a measure with base pk for 1 5 k 5 n - 1, and v!,'jk is a measure with base p, for all k 2 1. To achieve this we have only to apply the previous reasoning to
+
,
10
REPRESENTATIONS OF ALGEBRAS OF CONTINUOUS FUNCTIONS
the Hilbert sum E,, @ FP! @ . . * @ FPJ, @ . that
F, 0 F,
0
s
.
.
. + .
393
It is clear from the construction
0 F, c El 0 E, @ ... @ E n
for each n ; since E is the Hilbert sum of the Fk,it follows that E is also the Hilbert sum of the E, (6.4.2), and the subspaces E, and measures C(k therefore satisfy the required conditions. Put pk = gk p,, and let Sk be the set of points t E K such that gk(t) > 0. Evidently we may assume that the sequence ( s k ) is decreasing and that each s k is universally measurable (13.9.3). Put M, = K - S, and M, = s k - s k + , fGr k 2 2; also put M, = S,. For 1 5 i S k, let Hi, = T(qMk)(Ei). Then
n
kgl
it follows from (15.10.6) that the restrictions of T to the k subspaces Hi, (1 5 i 5 k ) are equivalent, and we put Gk= H,, 0 - . . @ H,, . Clearly Gk is the Hilbert sum of the subspaces H i , (1 2 i 5 k ) . Similarly, put Hi, = T(qM,)(Ei)for each i 2 1. The restrictions of T to all the subspaces Him( i 2 1) are equivalent, and we denote by G , the Hilbert sum of the H i m for all i 2 1. Then it is clear that E is the Hilbert sum of the G, ( k 2 1) and G, . It can be shown (Problem 5) that the measures are determined up to equivalence, and hence that the S, (and consequently the M,) are determined up to a p1-negligible set. The subspaces G, = T(q,,)(E) are uniquely determined by T. The restriction of T to Gk(resp. to G,) is said to have multiplicity k (resp. injinite multiplicity). A representation of multiplicity 1 is therefore topologically cyclic.
(15.10.10) Since the measures pk are determined only up to equivalence (15.10.7), we may suppose that pk = 'psk p 1 . It follows that, up to equivalence, the most general representation u ~ T ( u of ) %,-(K) on a separable Hilbert space E may be described as follows: Consider a positive measure v on K, and a decreasing sequence (Sj)15j<, of universally measurable subsets of K, where o is either a positive integer or + 00. The space E is the Hilbert sum of the Hilbert spaces L:(K, ips, . v); each of these spaces is stable under T, and the restriction of T(u) to LE(K, 'ps, . v) is multiplication by u".
-
PROBLEMS 1. Let K be a compact space, E a Hilbert space,and(x, y)++px. acontinuoussesquilinear
mapping of E x E into the Banach space M,(K) of complex measures on K. Show that,
XV
394
NORMED ALGEBRAS A N D SPECTRAL THEORY
for each function u E 9Lc(K), there exists a unique continuous operator T(u) on E such that
for all x, y in E. In order that U H T ( U should ) be a representation of %,-(K) on E, it is necessary and sufficient that
(XIY)=Jdkk.Yr
pY,x=pX,Y,
~ ' ~ . T , Y = ~ T ( U ) . X . Y
for all x, y in E and all u E @,(K). In the last relation, the condition u E 9Lc(K) may be replaced by u E V,(K).
Deduce from Problem 1 a new proof of the fact that a representation U H T(u)of V,(K) in a Hilbert space E can be uniquely extended to a representation u ~ T ( u ) of Q,(K) on E, satisfying the relation (15.10.4.1). (To prove that T(uv) = T(u)T(v) for u, u E Q,(K), proceed in two steps: first assume that one of the two functions is continuous and use the relation pT(.,. ,, - P..~(~, .y when u is continuous; then prove that this relation remains valid for all u E 9,(K).) ' (b) If a continuous operator V E O(E) commutes with T(u) for all U E V,(K), then it commutes with T(u) for all u E 9LC(K). (c) If E is separable, show that each operator T(u),where u E @,-(K), is the limit, with respect to the weak topology on O(E) (Section 12.15, Problem 9) of a sequence (T(un)),where v. E V,(K); and conversely. (For the converse, use (15.10.6(ii)) and (b) above.)
2. (a)
3. With the notation of Problem 1, show that T(u) . x = 0 for x E E and u E 9Lc(K) if' and only if u is p,, ,-negligible for all y in a total subset of E. The mapping u ~ T ( u ) of Vc(K) into 2 ( E ) is injective if and only if the union of the supports of the measures p., ,is dense in K. 4.
With the notation of Problem 1, suppose that E is separable; let (a,) be a dense sequence in E, and put vl, = I pa,, Then there exists a positive measure v on K such that the relation v(N) = 0 is equivalent to the relation "v,,(N) = 0 for all i and j " (13.15.8). All the functions in 9,.(K) which are equivalent with respect to v have the same image under T, and we may therefore regard T as an injective homomorphism of Lg(v) into O(E). Prove that N&) 5 IIT(u)ll for all functions u E -YLpcm(v) (consider first the case where u is a step-function). Consequently T is a bicontinuous mapping of L,"(v) onto its image in Y(E).
5. Suppose that, under the hypotheses of (15.10.8) there exist two sequences (En, pn) and (EL, pi) satisfying the conditions of (15.10.9). (a) Show that if p. = 0 for n 2 2, then pL = 0 for n 2 2. (In other words, a topologically cyclic representation does not admit a canonical decomposition satisfying (15.10.9) as the sum of at least two topologically cyclic representations.) To prove this, observe that if a is a totalizing vector for T , and a: is its projection on Ek , then a; # 0 if EA # 0 (i.e., if p; # 0). If a; # 0 for some n 2 2, show that there would exist a sequence ( g m ) of functions belonging to Qc(K), such that T(gm). a ; tends to 0 and T(gm). a; tends to a : , and show that this contradicts the fact that pi i s a measure with base pi.
10 REPRESENTATIONS OF ALGEBRAS OF CONTINUOUS FUNCTIONS
395
(b) Show that the measures p1, pi are equivalent, by proving that the relation p,(N) = 0 is equivalent to T ( v N= ) 0. (c) If F,, F; are the orthogonal supplements of E,, E; , respectively, in E, show that F1 and F; have the same dimension (finite or infinite). (Assume that dim(F1) is finite; then for n 2 2 the measures pnare carried by afinite subset M of K and are zero for all large n. Also, if v1 is the restriction of p1to M, then p. (n 2 2) are measures with base v,. Deduce that T(vM)(E) is of finite dimension and that the restriction of T to the orthogonal supplement T(l - vM)(E)of T(pM)(E)is topologically cyclic. Use (a) to deduce that the measures p:, for n >= 2, are concentrated on M, and hence that
Also, by virtue of (b), the restriction of to M must be equivalent to p I ; hence T(vM)(E1)and T(pM)(E;)have the same finite dimension, and the result follows.) (d) Use (c) to show that there exists a unitary transformation U, of E such that UI(E,) = E; . (e) Prove by induction that there exists a sequence (V,) of unitary transformations of E such that Un(Ek)= EL for 1 5 k 5 n and U,, agrees with U,, on Ek for 1 5 k 5 n. Show that this sequence tends strongly (Section 12.15, Problem 8) to a unitary transformation U such that U(EJ = EL for all n. Show also that p; is equivalent to p. for all n. 6. With the notation of (15.10.9), let V be an operator belonging to -LO(E)which commutes with T(u)for all u E 9,-(K). (a) Show that each of the subspaces Gk is stable under V, and that VI Gk commutes with all the operators T ( q Mu). , (b) Up to equivalence, each of the Hik(1 5 i 5 k ) can be identified with Lz(pk), and the restriction Ti&) of T(u) to HI*can be identified with multiplication M(u) by the class of u, where u is any bounded pn-measurable function. Every continuous operator V on Gk may be written in the form of a matrix
E (Lf(pk))' considered as column matrices, operating on the vectors x = (xi)l the V i , being continuous operators on L&J. With this notation, the restriction of T(u) to Gk is identified with the diagonal matrix all of whose diagonal elements are equal to M(u). Deduce that V commutes with the restrictions of all the T(u) to Gk if and only if
VlI = M ( 0 i J )
with V i J E @&). (c) Deduce that every subspace F of E which is stable with respect to T i s the Hilbert sum of subspaces Fk C Gkstable under T , and that each Fkmay be described as follows. Consider a partition of M k consisting of k pk-measurable sets LIk (1 5 i 5 k ) , and an invertible matrix (w~,)with k rows and k columns, whose entries wiJ belong to %'c(K).
396
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
Let Fit denote the sum of the subspaces T(yLtt)(HII) for 1 sj the image of F;, under the invertible operator
i, and let F , , denote
‘. M(wir) M(wi 1) M(WZI) ..’ M ( W d
..................... ... M(Wkk)
(M(Wkd on G,. Then F, is the sum of the F,,(1
5 i 5 k). (Consider the projector PF.)
11. T H E SPECTRAL T H E O R Y OF HILBERT
(15.11.1) Let E be a separable Hilbert space and N a normal continuous operator on E (1 5.4.1 1). If d is the closure of the (commutative) subalgebra of B(E) generated by I,, N and N * , then ((15.4.13) and (15.4.15)) d is a separable star algebra, and the mapping o : x Hx ( N ) is a homeomorphism of X ( d ) onto Sp(N) c C (the spectrum of N with respect to Y(E), that is to say the spectrum of N as defined in (11.1)). Hence it follows from the GelfandNeumark theorem (15.4.14) that the mapping f ~ Y ’ ( f w0 ) is a faithful representation of V,(Sp(N)) on E, which can therefore be extended to a faithful representation of qC(Sp(N)) on E (1 5.10.8). We denote this representation by f w f ( N ) . This notation is justified by the fact that, iff and g are any two functions belonging to %,-(Sp(N)), then in the algebra 9 ( E ) we have
(15.1 1.I .2)
lSp(N)(N)
=N
(where ISp(N) is the identity mapping H( of Sp(N)). The Gelfand-Neumark theorem also shows that, for every continuous function f on Sp(N), we have
(cf. (15.11.8.1)). Moreover ((15.10.3) and (15.10.8)), there exists a continuous sesquilinear mapping (x, y ) ~ m , of , E x E into the Banach space M,(Sp(N)) of complex measures on Sp(N) such that m,,+= and (15.1 1.2)
s
tf(W . x I v ) = f ( 5 ) dmx,y(6)
11 THE SPECTRAL THEORY OF HILBERT
397
for all functions f E 9YC(Sp(N)). Also i t follows from (15.11.1.3) that I ( f ( N ) * x Iy)l 5 / I f 11 * llxll . jlyll for all continuous functionsf on Sp(N), and therefore llmx,yll 5 llxll * llyll
(1 5.1 1.2.1 )
for all x, y in E. Iff E %,(Sp(N)) is the restriction to Sp(N) of a complex-valued function g defined on a subset of C containing Sp(N), we shall write g(N) in place off(N). (15.11.3) We shall say that N is a simple normal operator if the representationfHf(N) of W,-(Sp(N)) on E is topologically cyclic. By virtue of (15.5.6), there exists a decomposition of E as a Hilbert sum of closed subspaces En which are stable under d (and therefore under N and N* (cf. Problem 3) such that, for each n, the restriction N , of N to En is a simple normal operator. The space En may then be identified with Li(Sp(N,), p,), where pn is a positive measure, and N , is then identified with the operator M,,(l,) of multiplication by the class of the function 1, in L:(Sp(N,), p,). If a, is a totalizing vector for the representation f ~ f ( N , ) then , (1 5.1 0.3.3) we may take K = man,.".
(15.11.3.1)
With this notation: (15.11.4)
The support of p,, is the wliole of Sp(N,).
is continuous and If a $ Supp(p,), then the function ( H ( N - [ ) - I bounded on Supp(p,); it extends to a bounded continuous function g on Sp(N,) (4.5.1), and sinceg(i)(a - [) = 1 for all E Supp(p,,), it follows that the continuous operator on Li(Sp(N,), p,), defined by multiplication by the class of the function iH c1 - i,is inuertible. Hence (as this operator is identified with alEn- N , ) we have a $ Sp(N,). (15.11.5)
Sp(N) is the closure in C o f u Sp(N,). n
Clearly Sp(N,) c Sp(N); since Sp(N) is closed, it therefore contains the closure of Sp(N,). If c1 does not lie in this closure, then there exists r r 0
u n
such that la - 2 r for all [ E Sp(N,) and all n. Hence (15.11.1.3) we have ll(ctlEn- N,,-'Il I l / r , from which we conclude (15.10.8.1) that the (~1," - N , , - ' are the restrictions of a continuous operator on E, the inverse Of a l E - N .
398
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
For each function , f %,(Sp(N)), ~ we have f(N,) =f(N) I En. For this is immediately seen to be true when f is a polynomial in 5 and 5 (1 5.11. I .I) ; for f~ %‘,(Sp(N)), the result then follows by the Stone-Weierstrass theorem (7.3.1) and (15.11. I .3) ; and the general case then follows by (15.11.2). We shall see that the study of N reduces to that of the N,. Consider for example the eigenvalues of N : it is clear that x is an eigenvector of N if and only if each of its projections x, on En is either zero or an eigenvector of N , , corresponding to an eigenvalue independent of n. We have then the following characterization : (15.11.6) For a E Sp(N,) to be an eigenvalue of N,, it is necessary and suficient that p, ( { a } ) # 0. The corresponding eigenvectors are those belonging to the image of En under the projector cp{,,(N,), and this image is a one-dimensional subspace.
Let GI be an eigenvalue of N , , and let F be the kernel of a1 - N, . Then by hypothesis F is closed and nonzero. Also it is stable under N,* , because N , (N,* x ) = N,* (N, x ) = EN,* x . Hence F is stable with respect to the algebra generated by N , and N,*. If we identify N,, with multiplication by the class of 1, in Li(Sp(N,), p,,),then F is identified with a subspace of the type Lz(Sp(N,), cpM p,), where M is a universally measurable set such that p,(M) # 0 (15.10.6). We assert that the support of the measure v = (pM p,, consists of a single point. If not, there would exist two disjoint closed subsets B, C of Sp(N,), such that v(B n M) # 0 and v(C n M) # 0. The function 5cpB M(c) (resp. 5cpc M(5)) would be equal almost everywhere (with respect to v) to ~(p, M([) (resp. ~cp, M([)). In other words, we should have 5 = a almost everywhere in B n M and almost everywhere in C n M, which is absurd because B n C = 0. Hence we may assume that M = { p } , and then it is clear that Li(Sp(N,), (pM * p,) is of dimension 1, and that the restriction of N , to this space is the homothety with ratio p. If M E Sp(N) is an eigenvalue of N , then the set J of integers n such that M is an eigenvalue of N , is not empty. If D, is the one-dimensional subspace of Engenerated by the eigenvectors of N, corresponding to the eigenvalue a, then the eigenspare E(M;N) of N corresponding to a (11.1) is the Hilbert sum of the D, for n E J. If J is finite, the number of elements of J (which is equal to the dimension of E ( a ; N)) is called the multiplicity of a. If J is infinite, then a is said to have injinite multiplicity. It is easily checked that this notion of multiplicity agrees with the notion of the multiplicity of a representation introduced in (15.10.9). Also it follows from the remarks above that if a, p are distinct eigenvalues of N , then the eigenspaces E(a; N ) and E(B; N) are orthogonal.
-
-
-
11 THE SPECTRAL THEORY OF HILBERT
399
(1 5.11.7) For N to be seljladjoint (resp. unitary) it is necessary and sufJicient that Sp(N) c R (resp. Sp(N) c U).If H is self-adjoint, then
inf(Sp(H))
(15.11.7.1)
inf ( H x I x),
=
llxll = 1
sup(Sp(H)) = SUP ( H * x I XI, llxll = 1
IlHll = SUP I(H
(15.11.7.2)
llxll = I
*
x I x)l.
In the first assertion, we have already seen (15.4.12) that the conditions are necessary. To show that they are sufficient, it is enough (by virtue of (1 5.11.5)) to prove them for the N,,; and this is immediately done, because, when N,, is identified with multiplication by the class of 1 , in Lc(Sp(N,,), p,,), the operator N,* is identified with multiplication by the class of the function (HC. To prove (15.11.7.1), it is enough to show that, for a self-adjoint operator H to be such that ( H * x 1 x ) 2 0 for all x E E (in which case we say that H is positiue and we write H 2 0), it is necessary and sufficient that Sp(H) c R, . In view of (15.11.5) and the relation ( H * x I x) = C ( H n
(1 5.11.7.3)
n
*
xn
I Xn)
(with notation analogous to that of (15.11.3)) we are reduced to proving the assertion for simple self-adjoint operators H i . If we identify H,, with multiplication by the class of 1, in Lc(Sp(H,,), p,,), what we have to prove is that Sp(H,,) c R, if and only if / ( f ( ( ) dp,,(() 2 0 for every function f 2 0 in @,(Sp(H,,>). Now, if M is the intersection of Sp(H,,) with the complement 1- co,O [ of R, in R, then the relation M # @ would imply p,,(M) > 0 (15.1.14). Since ]-co:O[ is the union of the intervals I-m, - l / n ] , there would exist m > 0 such that
/
n 1- 00, - ( l / m ) I )= ~1
> 0,
and consequently [qH([) dp,,(() 5 -u/m < 0, contrary to hypothesis. Finally, the relation (15.11.7.2) follows from (1 5.11.7.1) and (1 5.4.14.1), because the spectral radius of H is equal to the larger of linf(Sp(H))(, Isup(Sp(H))I. (15.11.8) (i) For each ,function f E @,-(Sp(N)), the spectrum of f ( N ) is contained inf(Sp(N)) (closure in C), and (1 5.11.8.1 )
400
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
For every eigenvalue a of N, f (a) is an eigenvalue o f f ( N ) , and the eigenspace E ( a ; N ) is contained in E(f(a);f(N)). Iff is continuous, then Sp(f(N)) =f(Sp(N)). (ii) More precisely, with the notation of (15.11.3), i f f E 4Yc(Sp(N,,)), then the spectrum o f f (N,,) consists of the complex numbers fi such that
ess inf 1p -f([)l = 0 c E Sp",) (relative to the measure p,,). (iii) I f f € 4Yc(Sp(N)) and i f g is a continuous mapping off(Sp(N)) into C , then g(f(" = (9 o f ) ( N ) . (iv) If a sequence (fk) offunctions belonging to @,-(Sp(N)) is uniformly bounded and converges simply t o f , then for every x E E the sequence (f k ( N ) * x) converges in E to f ( N ) x.
-
We shall start by proving (ii). We have seen that f(NJ may be identified with multiplication by the class of the function f in L;(Sp(N,), p,,). Hence P # Sp(f(N,,)) if and only if there exists a real number a > 0 such that N2((fi- f ) u ) 2 a N,(u) for all functions u E Y;(Sp(N,,), p,,) (551). If ess inf Ip -f([)I > 0, then we may take a to be equal to this number, by
< E SP(Nn)
virtue of (13.12.2), and therefore
p # Sp(f(N,)).
ess inf
< E Sp(N,)
Ifi - f ( ( ) l
Conversely, if
= 0,
then for each E > O the set M of complex numbers [ E S ~ ( N , , )such that Ifi -f(T)l 5 E is not p,,-negligible, and we have N,((P - f ) q M ) 6 &N,(q,), hence P E SP(f(Nn))* It follows from (ii) that Sp(f(N,,)) cfISp(N,,)). If, moreover, .f is continuous, then f(Sp(N,,)) is compact (3.17.9), and for each fi = f ( a ) , where CL E Sp(N,,), every compact neighborhood of c1 has pn-measure > O (15.11.4), so thatf(Sp(N,,)) = Sp(f(N,,)). To show that Sp(f(N)) cf(Sp(N)) in general, and that Sp(f(N)) =f(Sp(N)) when f is continuous, we have only to use (15.11.5) and the fact that f(Sp(N)) is compact i f f is continuous. Finally, the assertions about eigenvalues are evident, again by reducing to the case of simple operators and using (15.11.6). To prove (iii), note first that g o f is a universally measurable mapping of Sp(N) into C (13.9.6). The relation 9(f"
= (9 o f ) ( N )
cPc4
3
follows from (15.11.1) in the case where g ( [ ) = ( p , q being in gers 2 0 ) . Now, for each E > 0, there exists a polynomial h in [ and 4 such that Ig(0 - &)I 5 E for all C € f ( S p ( W (7.3.2).Since Ig(f(T)>- h(f(l))I S E for
11 THE SPECTRAL THEORY OF HILBERT
401
iE Sp(N), it follows from (15.11.8.1) that IIg(f(N)) - h(f(N))I) 5 E and that 11(g f)(N) - (h f)(N)II 5 E . Since E was arbitrary, this gives the required 0
0
result. Finally, to prove (iv), note that because the sequence of norms 11 fk(N)II is bounded, by virtue of (1 5.11.8.1),it is enough to prove the convergence of the sequence (fk(N) - x ) for x belonging to a total subset of E ((12.15.7.1) and (7.5.5)). With the notation of (15.11.3), we may therefore restrict ourselves to proving the assertion for each N,,. But since fk(N,,) may be identified with multiplication by the class of the restriction of fk to Sp(N,,) in the space Li(Sp(N,,), p,,), the result follows from (13.1 1.4(iii)). (15.11.9) For each universally measurable subset M of Sp(N), let E(M) be the closed subspace of E, stable with respect to N and N*, which is the image of E under the orthogonalprojector PE(M) = qM(N) (15.10.6). Then the spectrum of the restriction of N to E(M) is contained in (closure in C ) .
For each n, let E,,(M) be the image of En under the orthogonal projector cp,(N,,). It is immediately seen that E(M) is the Hilbert sum of the E,,(M), hence (1 5.11.5) it is enough to prove the proposition for each N,, . If CI $ there exists a continuous function g on Sp(N,,) such that g([)(cc - [)(pM([) = qM([)for all E Sp(N,) (4.5.1). It follows that, if Ni is the restriction of N,, to E,,(M), then C L I ~ , (-~ N; ) has an inverse equal to the restriction ofg(N,,) to En(M).
a,
Remark (15.11.lo) Note that the argument which proves (ii) in (15.11.8) shows that, for each positive measure p on C with compact support IC, multiplication by the class of 1, in Li(K, p ) is a normal continuous operator N such that Sp(N) = K (converse of (15.11.3)). 1) Let f be a homeomorphism of a closed subset M of C onto a closed (15.11.I subset N of C containing Sp(N). Then there exists a unique normal continuous operator N' on E whose spectrum is contained in M and which is such that f(N') = N.
If h is the homeomorphism of N onto M which is the inverse off, then by virtue of (15.11.8(iii)) we must have N' = h(f(N')) = h ( N ) ; and since conversely the spectrum of h ( N ) is h ( S p ( N ) ) c M, it follows thatf(h(N)) = N , and the result follows.
402
XV
NORMED ALGEBRAS A N D SPECTRAL THEORY
In particular: (15.11.12) If H is any positive, self-adjoint operator then there exists a unique-positive self-adjoint operator H ’ such that H = H. l2
Apply (15.11.11) with M = N
= R,
andf(()
=
t2.
The unique positive self-adjoint operator H ’ defined in (15.11.12) is denoted by HI/’. Example (1 5.11 .I 3) Let E be the Hilbert space Lg(R; A), where 1is Lebesgue measure. Since the function f ( t ) = e-l‘l is I-integrable, the convolution g H f * g defines, on passing to the equivalence classes, a continuous operator H on E (14.10.6) with norm N , ( f ) = 2. As in (11.6.1), it is immediately seen that H is self-adjoint. It can be shown directly (Problem 5) that the interval [0, 21 in R is equal to Sp(H); this also follows from the general theorems of harmonic analysis (Chapter XXIl). Note that, for each a E R, the function g,(t) = eintis such that the convolution f * ga is defined and equal to 29,/(1 + a2). However, it is not the case that the g, are “eigenfunctions” of H , because they do not belong to Yg(R, A). In Chapter XXIII we shall obtain a generalization and an interpretation of this phenomenon. (15.11.14) The case of normal operators whose spectrum contains no nonisolated point # 0. In this case (which is that of compact normal operators (11.4.1)) let (A,,) be the (finite or infinite) sequence of points of Sp(N), other than 0. These are the eigenvalues of N (15.11.6). The eigenspace E(An;N ) corresponding to A,, is just the space E({A,,})defined in (15.11.9), and these closed subspaces are therefore pairwise orthogonal. Moreover, we have E({O}) = Ker(N), the spectrum of the restriction of N to this subspace being reduced to 0 (15.1 1.9). Finally, E is the Hilbert sum of E( (0)) and the E( {A,,}). For it is enough to apply (15.11.8(iv)) to the sequence of functions (f,), where f,(() = 1 for ( = 1, with k 5 n , f,(() = 0 for ( = lk and k > n, and f,(O) = 1 ; this shows in particular that every x E E is the limit of the sum of its projections on E({O}) and the E({A,}) with k 5 n. Hence the result (6.4). In particular, if E isfinite-dimensional, a normal operator on E may be defined to be an operator whose matrix is diagonal, with respect to a suitably chosen orthonormal basis of E.
11 THE SPECTRAL THEORY OF HILBERT
403
PROBLEMS
1.
Show that a continuous operator N on a Hilbert space E is normal if and only if /IN. X I / = /IN* . xi1 for all x t: E.
2. Let N be a continuous normal operator on a Hilbert space E. (a) For each x E E, consider the open sets W c C such that there exists a continuous
mapping f w of W into E satisfying the relation
(A 1 - N) fw(h) =x for all h E W. Show that there exists a largest open set n ( x ) with this property, that all the functions f w are restrictions of a unique mapping f of n ( x ) into E, and that f i s analytic in n ( x ) . (Use (15.5.6) to reduce to the case where the normal operator N is simple. In this case, E being identified with L&(Sp(U),p) and x with the class of a function g, the set n(x) is the interior of the set of all h E C such that the function - C)F1g([) belongs to -%SP(N), p).) (b) Put @(x) = C - n ( x ) . Show that, for each closed subset M of Sp(U), the space E(M) = vM(U)(E) is the set of all x E E such that @(x) c M. (Again reduce to the case of a simple normal operator.) (c) Show that every continuous operator V EL(E) which commutes with N also commutes with all the operators g(N), where g E *&p(N)), and in particular commutes with N* (Fuglede's theorem). (First show that Q ( V .x) 3 Q(x) for all x E E, by considering the function f defined in (a) and the function h H V . f ( h ) . Using (b), deduce that, for each closed subset M of E, the operator Vcommutes with = &N), and conclude that V commutes with g(N) for all conthe projector PE(M) tinuous functions g on Sp(N).) (d) Deduce from (c) that, if NI and N2 are commuting normal operators, then N,Nz is normal. 3. Let p be normalized Haar measure on the group U : IzI = 1 (so that d p ( @ = (27r)-l do) and let E = L&(p). Then the operator M,,(lc) = U is a unitary operator on E. Every closed subspace of E which is stable under N is either of the form vM(N)(E),where M c U is of measure < 1 ; or else is of the form @ .H2(p), where 141 = 1 (Section 15.3, Problem 15) (Beurling's theorem). Deduce that there exist closed subspaces F of E which are stable under U but not under U* = U-',and are such that the orthogonal projector PF does not commute with N (compare with (15.15.3)). 4.
Without using Riesz theory (11.4), prove that the spectrum of a compact normal operator has only isolated points, except for the point 0 (reduce to the case of a simple normal operator).
5.
Show that the spectrum of the self-adjoint operator H considered in (15.11.13) is the interval [0,2] in R. (Observe that llHI1 5 2; to prove that H 2 0, that is to say
( H . u I u) 2 0 for all u E E, consider first the functions
r+
u(t) =
elrXdx
and their
linear combinations. To show that every number of the form 2/(1 a') belongs to the spectrum of H , approximate g. by functions u,g,, where u. E Y 2is 2 0 and the sequence (u,) is increasing and tends t o 1.)
404 6.
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
Let E be a separable Hilbert space and T a continuous operator on E. Let R and L be the positive hermitian operators which are the square roots (1511.12) of T*T and TT*,respectively. We write R = abs(T), and call it the "absolute value" of T. Then L = abs(T*). (a) . . Show that Ker(T) = Ker(R) and that L(E) = T ? ) . There exists a unique isometry Vof R(E) onto T(E) such that T = YR. If we extend V by continuity to R(E),and then to an operator U E P ( E ) by putting U(x) = 0 on the orthogonal supplement of R(E), then we have also T = UR (polar decomposition of T ) . Show that R = U*T= U*UR = RU'U,
L
=
URU*,
T = LU*.
(b) For T to be invertible it is necessary and sufficient that R = abs(T) and L = abs(T*) are invertible. (To prove necessity, consider the spectra of R and L. To prove sufficiency, use the closed graph theorem.) (c) Nis normal if and only if abs(N) = abs(N*), and if this condition is satisfied there exists a unitary operator Wsuch that N = W . abs(N).
7. A compact operator Ton a separable Hilbert space E is said to be nuclear if, denoting by (A,) the full sequence of eigenvalues of abs(T) (Section 11.5, Problem 8), we have ( a j Use polar decomposition (Problem 6) to show that the product SISz of two Hilbert-Schmidt operators is nuclear. Conversely, if T is nuclear, then abs(T)"* is a self-adjoint Hilbert-Schmidt operator, and T is the product of two HilbertSchmidt operators. Consequently T* is also nuclear. If A is any continuous operator on E, then A T and TA are nuclear. (b) If A and B are two Hilbert-Schmidt operators and if (em) is a Hilbert basis of E, then the seriesx (AB . en I en) a n d C (BA . en I en) are absolutely convergent, and
"
"
their sums are equal. (Write B . en =C ( B . en I e,)e, .) Consequently, for every unitary m
operator U and every nuclear operator T, we have
Deduce that, for a nuclear operator T, the sum C ( T . enI en) is independent of the n
Hilbert basis (en) chosen. This sum is called the trace of T and is denoted by Tr(T). If A , B are two Hilbert-Schmidt operators, then Tr(AB) = Tr(BA) = (A I B*). (c) If T is nuclear, show that
where the supremum is taken over all pairs of Hilbert bases (a"), (b.) of E (use the polar decomposition of E). If we put IITlll = Tr(abs(T)), then the set 6L01(E) of nucIear operators on E is a vector space on which ljTlll is a norm, such that
ll~ll5 z IITllx.
(d) If ( T J is a sequence of nuclear (resp. Hilbert-Schmidt) operators on E which converges weakly (Section 12.15, Problem 9) to an operator T, and which is such that the sequence of norms (llTvlll)(resp. (liTvilz))is bounded, then T is a nuclear (resp. Hilbert-Schmidt) operator. (e) Show that 6L01(E) is a Banach space with respect to the norm llTlji.
11 THE SPECTRAL THEORY OF HILBERT
405
(f) Let (h.) be the sequence of eigenvalues of a nuclear operator T, each counted IA,l 2 IITlll. (For each according to its algebraic multiplicity (11.4.1). Show that integer p , consider the sum V of the p spaces N ( p X ;T ) (1 5 k < p ) , where p,, . . . , pr are the first p distinct eigenvalues in the sequence (A,,). Take a Hilbert basis of V with respect to which the matrix of TI V is triangular, and use (c).) Deduce that if T is a Hilbert-Schmidt operator and if (A,) is the sequence of its eigenvalues, each counted with its algebraic multiplicity, t h e n x lh,I2 5 11 Tll:. n
(9) If a continuous operator T E Y ( E ) is such that, for each pair of Hilbert bases (a"), (b.) of E, the series ( T . a, I b,) is convergent, then T is nuclear. (Write
"
T = LU* (Problem 6(a)), and by choosing (an)and (b,) suitably show that L' / z is a
Hilbert-Schmidt operator.) (h) For a continuous operator T E Y(E) to be nuclear, it is necessary and sufficient IIT. enll should converge. that, for a t least one Hilbert basis (en) of E, the series (Write T = UR (Problem 6(a)) and note that (R . e, I en)2 11 T . enll. This proves that the condition is sufficient. Conversely, take for (en) a basis consisting of eigenvectors of R.) (i) In the space E = /&, let (en) be the canonical Hilbert basis, and let a (l/n)e.. If F is the subspace C . a of dimension 1, show that the projector PF
=c n
is nuclear, but that the seriesx lipF.enll does not converge. 8.
Show that, for every normal operator N on a separable Hilbert space E, there exists = N.Give examples where there exist infinitely many such operators.
a normal operator N' such that N''
9. Let T be a continuous operator on a separable Hilbert space E. (a) For T to be a topological left zero-divisor (Section 15.2, Problem 3) in the algebra Y ( E ) , it is necessary and sufficient that there should exist a sequence (xn)of vectors
in E such that 1 ~ ~ = ~ 1 1 1for all n and such that ( T .x,) tends to 0 . The complex numbers 5 such that T - 5 . 1 is a topological left zero-divisor in 9 ( E ) form what is called the approximative point-spectrum Spa(T). Thus 5 $ Spa(T) means that T - 5 . 1 is injective and a homeomorphism of E onto a closed subspace of E. Show that Spa(?") is closed in C,and contains the frontier of Sp(T). If P is any polynomial, show that Spa(P(T))
= P(Spa(T)).
1) (b) Let T E Y(E). For each E C , let m(T, A) denote the dimension of Ker(T* (so that m(T, A) is either a nonnegative integer or w),equalalso to thecodimension of ( T - A . 1)(E). Let To E Y(E) and let A, be a complex number not belonging to Spa(To). Show that there exists a number E > 0 such that m(T, A) = m(To,A,) whenever I1T- Toll 5 E and Ih - hol 5 E . (c) Deduce from (b) that if K is a compact subset of C which does not intersect Spa(To), then there exists E > 0 such that m(T, h) = rn(To,h) for all E K and all T E Y(E) such that IlT- Toll 5.s. (d) Let T E Y(E) and let K be a compact subset of Sp(T) - Spa(T) with the following properties: (1) 0 $ K ; (2) the inverse image K' of K under the mapping 5 ~ 5 is convex; (3) m(T, h) = 1 for all A E K. Then there exists no operator T'E Y(E) such that T'' = T . (Supposing the contrary, let L = K n Sp(T'); then we have L C Sp(T') - Spa(T'), and L u (-L) = K'. Show that h E L implies that -A $ L
+
'
406
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
xz
a,
so that L n (-L) = which is a contradiction. Observe that if h E L, then is an eigenvalue of T* and m(T, A') = 1.) Show also that, if T is invertible, there exists E > 0 such that every operator T I E P ( E ) satisfying liTl - TI1 5 E is invertible and such that there exists no operator T'E Y(E) for which T" = TI (use (c).) 10. Let R be a bounded open subset of C, and let H be the Hilbert space of analytic
functions f o n R such that
(cf. Problem in Section 9.13). Let T be the operator which maps each f~ H to the function [++[f([). Show that, for each h E R and each function g E H such that g(h) = 0, there exists a unique f~ H such that ( T - h1) .f= 9. Also, if the disk I[ - hI < 6 is contained in R, then /1g1/2 2 & 8 z ~ ~ Deduce f ~ ~ z that . Sp(T) is the closure of R in C,and that i2 is contained in Sp(T) - Spa(T). Deduce from these results that if R is taken to be the open annulus rl < IzI < r2 (where r l > 0), then the operator T is invertible and has no square root in Y(H) (cf. Problem 9). 11. Let E be a separable Hilbert space, K a compact subset of C, and (x,y)~m,,,
a continuous sesquilinear mapping of E x E into the space M,(K) of complex measures on K. Suppose that
and that the measure mx, is positiue for all x on E such that
E
E. Let T be the continuous operator
for all x, y in E. For each functionfE 9,(K), letf(T) denote the operator defined by
(f(T). x I Y ) = If([)dm,,A) for all x , y in E (Section 15.10, Problem 1). The mapping T + f ( T ) of %,-(K) into Y(E) is linear and such that T*= c(T), where c([) = but this mapping is not in general an algebra homomorphism. Prove that there exists a separable Hilbert space H, the Hilbert sum of E and another Hilbert space F, and a representation f++ V(f) of Q,(K) on P ( H ) such that, if P is the orthogonal projection of H on E, we have f(T)= P V(f)I E. (Apply Problem 6 of Section 15.9, by taking r to be the set of all finite products of characteristic functions va,(n E N) of universally measurable sets in K, chosen in such a way that these functions form a total set in each of the spaces Yc(K, mx,.,,), where (x,) is a dense sequence in E.) ("Neumark's theorem.")
I,
12.
Let E be a separable Hilbert space. Let H be a self-adjoint operator on E such that 0 5 H 5 l E. Show that there exists a separable Hilbert space G which is the Hilbert sum of E and a Hilbert space F, and an orthogonal projector Q on G such that H = PQ I E, where P is the orthogonal projection of G on E. (For x , y in E, define mx, t o be the measure carried by the set of two points (0, 1) such that mX.,({O)) = ((IE - H ) . x I y ) and mx,,({l)) = (H* x I y), and apply Problem 11.)
11 THE SPECTRAL THEORY OF HILBERT
407
13. Let E be a separable Hilbert space, and (H.) a sequence of self-adjoint operators
with the following property: there exists an interval [-M, MI in R such that, if P(X) = a. a l X . . . a.X" is any polynomial with real coefficients and P ( 0 2 0 for - M 5 6 5 M, then also aoI a l H l . . . a. H. 2 0 (which implies inter alia that -M . I =< H, =< M . I for all n). Show that there exists a separable Hilbert space G which is the Hilbert sum of E and a Hilbert space F, and a self-adjoint operator H on G such that H. = PH" I E for all n 2 1, where P is the orthogonal projection of G on E. (Using Problem 5 of Section 13.20, prove that for each pair (x, y ) of elements of E there exists a real measure inx, on [-M, MI such that
+
+ +
+
(H. . x I Y ) =
for all n
+ +
j5"dm,, y(t),
( x I Y ) = / d m x , y(6)
2 1.) Deduce that Ht
5 Hz,
H;n+i 5 IIH2nIIHzn+z.
14. Let E be a separable Hilbert space and T a continuous operator on E such that /)TI15 1. Then there exists a separable Hilbert space H , the Hilbert sum of E and a
Hilbert space F, and a unitary operator U on H such that, if P is the orthogonal projection of H on E, then T" = PU" 1 E for all n 2 1. (Apply Problem 6 of Section 15.9, taking r = Z, the involution on I' being n w -n, and the representation of r in H such that U(n)= T" for all n 2 0. Observe that, for all y E E and all 5 E C such that 151 < 1, we have
W(1
(*)
+
. Y I (1 - @) . Y ) 2 0,
and note that every x e E can be written in the form (I- [ T ) . y for some ~ E E . +m
In particular, this is so for every linear combination x =
x,e-"''+', where the x. E E
-m
are zero except for finitely many indices n, and where express C (rI"-'"'U(n- m) x. 1 x,)
5 = re'@ with
r > 0. Then
m. n
in terms of the left-hand side of (*), and let r tend to 1.) Deduce that, if
m
Iz( = 1, and if u(T)
cn z" is a power series which converges absolutely on the circle
=cc,T", then the relation
"=O
m
lu(z)l
51
(resp. Wu(z) LO) for
Irl 5 1 implies that ilu(T)II 2 1 (resp. u(T) + u(T*) 2 0).(Note that u(T) = Pu(U) I E.) "=O
15. If N is a normal continuous operator on a separable Hilbert space E, and K a compact
subset of C containing Sp(N), then we have a (nonfaithful) representation f ~ + f ( N ) of V,(K) in E; the measures m x , ycan be considered as measures on K satisfying (15.11.2) and (15.11.2.1). In particular, if U is a unitary operator on E, then f.-.f(U) is a representation of U,(U) in E. Let (en) be a Hilbert basis of E indexed by Z, and let U be the unitary operator on E such that U .en= en+ Show that the representationf++f(U) of U,-(U) on E is topologically cyclic and that eo is a totalizing vector; and that p, = me,,, eo is the normalized Haar measure on U (cf. (7.4.2)). Deduce that Sp(U) is the whole of the circle U, and also give a direct proof of this fact. Give examples of closed vector subspaces of E which are stable under U but not under U*= U-'.
408
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
16. Let X be a locally compact space, p a bounded positive measure on X with total mass 1, and u a p-measurable mapping of X into X such that p is inuariunt with respect to u (Section 13.9, Problem 24). Let U be the unitary operator on L;(X, p) such that U . f = (fou)" (Section 13.11, Problem 10). (a) The mapping u is said to be mixing (resp. weakly mixing) with respect to if,
for each pair of p-measurable subsets A, B of X we have
lim (cL(u-"(A)n B)) = p(A)p(B)
n-. m
(resp. 1 "-1
Every mixing mapping is weakly mixing. Every weakly mixing mapping is ergodic (Section 13.9, Problem 13(d)). (b) Show that u is mixing (resp. weakly mixing) if and only if, for each pair of functions f,g in Y&(X, p), we have I im( u n . f lO) = ( f l
I-. m
i)(ip)
(resp. lim n-m
n
5' ~(un.fI8) - (fI i)(i1 8) 1 k=O
= 0).
An equivalent condition is that, for each f E U;(X, p) such that ( f l y ) (i.e.,/fdp
= 0),
=0
we have Iim (un
n+m
=0
(resp.
(Replace f by f+ g, and remark that if a sequence (an) satisfies the condition -1 n - 1 1 n-1 lim lak[* = 0,then also Iim lakl = 0, by the Cauchy-Schwarz inequality.)
n-.m Tl k = o
m+m
k=O
(c) For u to be ergodic with respect to p, it is necessary and sufficient that 1 should be an eigenvalue of U with multiplicity 1. If this is so, then all the eigenvalues of U have multiplicity 1 and form a subgroup of the group U of complex numbers of absolute value 1. For each eigenvector / E L&(X,p) of U,the function If\ is constant almost everywhere. (Remark that if U ./= hf and U .8 = hfi, then u .(Slf)" = (Sf)".) (d) Show that the following properties are equivalent: (a) u is weakly mixing with respect to f ~ . (B) u x u is an ergodic mapping of X x X into X x X with respect to the measure p, @ p. ( y ) The only eigenvalue of U is I. (To show that (a) implies (p), consider subsets M x N of X x X, where M and N are p-measurable subsets of X. To prove that (p) implies (y), observe that i f f i s an
11 THE SPECTRAL THEORY OF HILBERT
409
eigenvector of U,then (f@f)- is an eigenvector of the unitary operator corresponding to u x u, for the eigenvalue 1. To prove that ( y ) implies (a), use the last criterion of (b); if (f If) = 0, introduce the measure v = m7.7 (15.11.1), and observe that this measure on U is diffuse (15.11.6). Then we are reduced to proving that lim n-rm
1"-1
-
C
nk=o
1."
tkdv([)
1
= 0.
Write this relation in the form
and remark that the diagonal of U x U is (v @ +negligible.) (e) With the notation of Section 13.9, Problem 13(c), show that if 0 is irrational, the mapping z w e Z n f Sof z U onto U is not weakly mixing. (Calculate the spectrum of the corresponding unitary operator U.) (f) Suppose that the space Li(X, p) is the Hilbert sum of the subspace C . 1 (the classes of the constant functions) and an at most denumerable family (HI),., of Hilbert spaces, where each H, has a Hilbert basis (en,)nEZ such that U .en, = en+ for all n E Z (cf. Problem 15). Then the mapping u is mixing. In particular, if. (X, p, p) is the Bernoulli scheme B(), 4) (Section 13.21, Problem 18) then u is mixing. (If, for each n E Z, f. is the function on Iz such that h(x) = -1 if pr.x = 0, and f.(x) = 1 if pr.x = 1, then the classes of the finite productsf.,f,, . . .Lk,in which all the indices are distinct, form together with the class of 1 an orthonormal basis of L&(X,p).) Likewise show that, if X is the torus T2,7r : R + T the canonical homomorphism and p the normalized Haar measure on X, then u defined by
444, T(YN = ( 4 x + Y ) , d x + 2Y)) is mixing. (9) Suppose that u is ergodic with respect to p, so that (by virtue of (c)) the eigenvalues of U form an at most denumerable subgroup G of U,the eigenspace corresponding to an eigenvalue a E G being a line D(a) in L:(X, p). Show that there exists a family of eigenvectorsf, E D(a) of U such that . f I I = 1 almost everywhere in X and such thatf., = f a f a almost everywhere,for all pairs (a, @)ofpoints of G. (Let ha E D(a) be such that (h.1 = 1 almost everywhere, for all a E G ; for each pair of points a, /3 E G we may write h., = r(a, @)h.h, almost everywhere, where r(a, p) E U is a constant. Denote by A the subgroup of Ux generated by the ha for a E G and the group of constant functions from X to U (which may be identified with U). Show that there exists a homomorphism 0 : A -+ U such that e([) = 6 for all 5 E U. For this purpose, arrange the ha in a sequence (h.) and proceed by induction: if 0 is already defined on the subgroup A. generated by U and the h, such that j < n, distinguish two cases according as h; is not constant almost everywhere for any nonzero k E Z, or on the contrary that there exists a smallest positive integer k such that hi is constant almost everywhere; use the fact that for all [ E U and all integers k > 0, there exists 7) E U such that 7' = 5. Then take f . = 8(h.)ha.) (h) Let v : X + X be another mapping which is ergodic with respect to p, and let V be the corresponding unitary operator. Show that if u satisfies the hypotheses of (g) and if U, V have the same eigenvalues, then u and v are conjugate (Section 13.12, Problem 11).
410
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
17. Let E be an infinite-dimensional separable Hilbert space and N a normal continuous
operator on E. (a) Show that E is the Hilbert sum El E2 of two infinite-dimensional subspaces, each of which is stable under N and N*. (Reduce to the case of a simple normal operator M,,(lc); with the notation of (15.11.9), observe that if M is a closed subset of Sp(N), then E(M) can be finite-dimensional only if M is a finite set for which each point has p-measure f-0. Then distinguish two cases, according as there exist infinitely many points of measure f O or not; in the second case, use Problem 3(b) of Section
+
13.18.)
(b) Deduce from (a) that there exists a decomposition of E as the Hilbert sum of a n infinite sequence (E,) of infinite-dimensional subspaces, each of which is stable under N a n d N*. Let E be a separable Hilbert space which is the Hilbert sum of an infinite family of infinite-dimensional subspaces. There exists a unitary operator S on E such that S(E,) = E n + ,for all n E Z. Show that if P (resp. Q ) is the operator which is equal to S1-2"(resp. S-2") on Enfor each n, then P 2 = Q 2 = I E , and S = P Q . (b) Deduce from (a) and from Problem 17 that every unitary operator on an infinite-dimensional separable Hilbert space is the product of four involutoryunitary operators. (c) Jxt w be a complex cube root of unity and let U be the homothety with ratio w on E, which is a unitary operator. Show that U is not the product of three involutory unitary operators. (In general, in a group G, if t is in the center of G , andifthereexist x , y , z in G such that t = x y z and x2 = y 2 = z2 = 1, then also t = y z x , t = xyxy and t 3 = xzy = rl.)
18. (a)
Let E be a n infinite-dimensional separable Hilbert space and let (e,),*o be a Hilbert basis of E. The continuous operator V such that V . en= enfl for all n 2 0 is called the one-sided shqt operator; it is an isometry of E onto the hyperplane orthogonal to eo; its spectrum is the disk 151 6 1 and contains no eigenvalue of V (Section 11.1, Problem 4); its approximative point-spectrum (Problem 9) is the circle U : 161 = 1. The spectrum of the adjoint operator V* is also the disk151 5 1, and every 1such that 151 < 1 is an eigenvalue of V*. (b) Let T be a continuous operator on E which is an isometry of E onto a (necessarily closed) subspace T(E). Show that there exists a decomposition of E as the Hilbert sum of subspace L and an at most denumerable family (F,), I of subspaces, where L and each F, is stable under Tand are such that (1) TI L is unitary and (2) each F, is infinitedimensional and TI FLis the one-sided shift operator, for a suitably chosen orthonormal basis. (Consider the orthogonal supplement N of T(E), and show that E is the Hilbert sum of the T"(N) (n >= 0) and L = T"(E).)
19. (a)
n
(c) Deduce from (a) and (b) that if T is any nonunitary isometry of E onto a subspace of E, then Sp(T) is the unit disk 151 5 1, and that IIT- UII = 2 for all unitary operators U.(Observe that IlT- Uil = / / U * T - lE/I and that U*T is not unitary, so that the point 5 = - 1 belongs to its spectrum.) 20.
(a) Let E be a separable Hilbert space, T a continuous operator, and C a compact operator on E. Show that the points of Sp(T+ C ) which do not belong to Sp(T) are eigenvalues of T C. (Reduce to the case where 5 = 0 is such a point and observe that, if T i s bijective, we may write T + C = T(IE T - l C ) , where T-lCis compact; if - 1 E Sp(T-'C), it follows that - 1 is an eigenvalue of T-IC.)
+
+
11 T H E SPECTRAL T H E O R Y OF HILBERT
411
(b) With the notation of Problem 15, let C be the operator of rank 1 defined by C . x = - ( x 1 e-&o. Show that Sp(U+ C ) is the disk 151 5 1 while Sp(U) is the circle 151 = 1. (Consider separately the restrictions of U C to the subspace generated by thee. with n 2 0 and to its orthogonal supplement.) (c) Let N be a normal operator on E and C a compact operator on E. If Sp(N) is nondenumerable, show that the same is trueof Sp((N C)*(N C))(use(a)aboveand (15.11.8(i)). Deduce that the one-sided shift operator V (Problem 19(a)) cannot be of the form N C (observe that V* V = lE).
+
+
+
+
21.
Let E be an infinite-dimensionalseparable Hilbert space. (a) Show that every nonzero two-sided ideal 3 of the ring P ( E ) contains the ideal 6 of operators of finite rank. (If T # 0 belongs to 3, show that every operator of rank 1 can be written in the form BTCfor suitably chosen operators Band C.) (b) Show that the only closed two-sided ideal of the Banach algebra P(E), other than P ( E ) and {O},is the ideal B of compact operators. (First observe that Q is the closure of 6,and then that if a two-sided ideal contains a noncompact operator, then it also contains a noncompact positive hermitian operator H (Problem 6). For such an operator, show that there exists an interval M = [a, 03 [ with a > 0 such that thespace E(M) (in the notation of (15.11.9)) is infinite-dimensional. If Vis an isometry of E onto E(M), show that V*HV is invertible.)
+
22.
Let E be an infinite-dimensional separable Hilbert space. An operator with index on E is a continuous operator T such that (1) T(E) is closed and of finite codimension; (2) T-I(O) is finite-dimensional. (a) If T is an index operator, show that there exists a continuous operator A such that l E- ATand l a - TA are of finite rank. (Show that Tis a homeomorphism of the orthogonal supplement F of T-'(O) onto T(E), and take A to be the inverse homeomorphism on F and zero on the orthogonal supplement of F.) (b) Conversely, suppose that Tis a continuous operator on E, for which there exists a continuous operator A such that l E- AT and l E - TA are compact. Show that T is an index operator. (Using (11.3.2), show first that the kernels of Tand T* are finitedimensional, and hence that T(E) has finite codimension. Then use the fact that the restriction of AT to the orthogonal supplement F of the kernel of AT is a homeomorphism onto its image, and finally use (12.13.2(iii)).)
23. Let E be an infinite-dimensional separable Hilbert space. (a) Let T be a continuous operator on E such that T-'(O)is of infinite dimension. Then E is the Hilbert sum of an infinite sequence (En)"%,of infinite-dimensional subspaces, such that the En with n 2 1 are contained in T-'(O). For each n 2 1, let S. denote an isometry of E, onto En. Let A be the continuous operator which on Eo is equal to S1, and on En is equal to S. + S;', for all n 2 1. Also let V be the operator ; I on En for all which is zero on Eo , is equal to Si ' on El,and is equal to Sn- S n 2 2. Let Todenote the restriction of P,,T to Eo , and let B be the continuous operator which is equal to VT on Eo , to -To 5'1' on E l , and to -Sn- ,TOX'on E. for all n 2 2. Prove that T = AB - BA. (b) Deduce from (a) that for any continuous operator T on E there exist four operators A, B, C, B such that
T = (AB - BA)
+ (CD -DC).
(Write T as the sum of two continuous operators, each of which has an infinitedimensional kernel.)
412
NORMED ALGEBRAS AND SPECTRAL THEORY
XV
24.
Let E be a separable Hilbert space and H a positive self-adjoint operator; then Z+ AH is invertible for all > 0. For x E E and > 0 let F,(x) = (h(1-t A H ) - ’ . x I x). Show that FA(x)is increasing as a function of A, and that it is bounded if and only if x E H”’(E). (Reduce to the case where H i s a simple operator (15.11.3))
25.
Let Eo be a real Hilbert space and E the Hilbert space obtained by extending the field of scalars of Eo to C, so that every element of E is uniquely of the form x iy with x, y E Eo, and
+
(x‘ -tiy‘ I x”
+ i f ’ ) = (x’ I x ” ) + (y’ I y ” ) + i(y‘I x”) - i(x’ I y”).
Show that every self-adjoint operator HO on Eo extends uniquely to a self-adjoint operator H on E, having the same spectrum. 26. With the notation of Problem 2 of Section 13.13, suppose that for each compact subset K of X there exists a constant bL2 0 such that
for all u E 2.This condition implies condition (A) of Problem 2, Section 13.13, but is not equivalent to (A). (a) In Problem 5(b) of Section 6.6, suppose that X is compact and that the functions f. are real-valued, bounded and measurable with respect to a positive measure p on X and that they satisfy the condition
where
lI.f1
=
sup lfn(x)l. Show that the space .%? of functions which are p-equivalent X E X
to the functions belonging to the space denoted by E in the problem referred to, is such that H = .%?/N is a Hilbert space isomorphic to E, and satisfying condition (B) above. (b) For every functionfe 9 ; ( X , p) with compact support K, there exists a function
U’
E
.@ such that
s
(U’ I u) = uf dp for all u E
.@. The class of
U’ is uniquely deter-
mined by the class off, and we have lUfl I b:l’N2(f). Then the set 9 defined in Section 13.13, Problem 2(b) is also the closure of .%? in the set of the Uf for which f is 20, compactly supported and belongs to 9:. Generalize the result of part (e) of this problem to the case where f E 9: is compactly supported and 2 0 almost everywhere. Likewise, generalize part (f) of the same problem. (c) Suppose that X is compact. Then Uf is defined for all functions f E -Ep:(X, p), and we have NZ(U’) b , N , ( f ) . If G . f i s the class of U’, then G is a continuous positive selfadjoint operator on L:(X, p). If F is the closure in L i of G’”(L:) (which is the orthogonal supplement of Ker(G’”) = Ker(G)), then the restriction of G’/’ to F is an isometry of the subspace F of L : onto the Hilbert space H (equipped with the norm lfil). Hence H = G’’*(Li). (d) Suppose that X is compact and that the “domination principle” is satisfied, in the form of (b): that is to say, iff f 9: is 2 0 almost everywhere, and if u E 9’ is such that Uf(x) 5 u(x) almost everywhere in the set of points x where f ( x ) > 0, then Uf(x) 5 u(x) almost everywhere in X. For each A > 0, put R1= G(I hG)-’. I f f € 9: is 20 almost everywhere, and if g is a function whose class is equal to
+
12 UNBOUNDED NORMAL OPERATORS
413
RA.f : then g(x) >= 0 almost everywhere. (Observe that
AUP+(X)2 U’(X) + hus-(x)
almost everywhere in the set of x such that g + ( x ) > 0.) Deduce that, for all U E H , we have lul E H and I(lul)”l 5 I&/. (If F,(V^) = (h(1 -t hG)-’ . B 16) for tr E 9’:, show that FA(lul-) 5 I i i I *, and use (c) above and Problem 24.) (e) Generalize the results of (d) to the case where X is locally compact. (Let (K.) be a sequence of compact subsets which cover X, and such that each is contained in the interior of the next. For each n, consider the space X nof restrictions to K, of functions of the form U’, where f E Y : ( X , p) and Supp(f) C K.; apply (d) to each of these spaces.)
12. U N B O U N D E D N O R M A L OPERATORS
(15.12.1) Let E be a separable Hilbert space, and let Z denote the identity mapping of E. A (not necessarily continuous) linear mapping T of a subspace dom(T) of E (the “domain” of T, which need not be closed) into E will be called, by abuse of language, a not necessarily bounded operator on E, or simply an unbounded operator on E. The graph I-( T ) (1.4) is a vector subspace of E x E, and T is said to be a closed operator if I-( T ) is closed in the product space E x E. The kernel Ker( T ) of a closed operator is closed in E, because it may be identified with the intersection of T(T) and E x (0) in E x E. Throughout, it is to be understood that an equality T I = T , between two unbounded operators on E implies the equality
dom(T,) = dom(T,). (15.12.2) Let T be an unbounded operator on a Hilbert space E. Then, of the
three properties ; (i) dom(T) is closed in E; (ii) T is closed; (iii) T is continuous; any two imply the third.
If T is continuous, then I-(T)is closed in dom(T) x E and therefore also in E x E if dom(T) is closed in E. Next, if T is continuous on dom(T), then it extends by continuity to a linear operator T‘ which is continuous on dom( T’) = dom( T ) (5.5.4), and I-( T‘)is the closure of I-( T ) in E x E. Hence if Tis closed we have I-(T’) = I-(T),so that dom(T) is closed in E. Finally, if dom( T ) is closed in E and if I-( T )is closed in E x E, then T is continuous by the closed graph theorem (12.16.11). (15.12.3) In what follows we shall be concerned with unbounded operators T such that dom( T ) is dense in E. Let F be the set of all y E E such that the
414
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
linear form X H (T * x I y ) is continuous on dom( T ) ;when this is so, this linear form extends by continuity t o the whole of E (5.5.4) and therefore can be written as xt-i(xI T * ' y ) for a uniquely determined vector T* y , because dom( T ) is dense in E (6.3.2). This uniqueness shows that T* is a linear mapping of F into E, and therefore an unbounded operator, called the adjoint of T . (When dom(T) = E and T is continuous, this definition clearly agrees with that of (11.5).) Hence we have
-
(1 5.1 2.3.1)
(T-xly) = ( X I
T* ' y )
for all x E dom( T ) and y E dom(T*). If T, is an unbounded operator such that dom(Tl) 3 dom(T), then dom( TT) c dom( T*). In what follows we shall endow E x E with the structure of a Hilbert space such that
so that E x E is the Hilbert sum of its two subspaces E x (0) and (0) x E, each of which is isomorphic to E. Also we denote by J the continuous operator ( x , y ) ~ ( y- x, ) ; clearly J is a unitary operator on E x E, and 5' = - I . (1 5.12.4) Let T be an unbounded operator on E, such that dom( T ) is dense in E. (i) The adjoint -operator T* is closed, and its graph I-( T*) is the orthogonal supplement of J ( r ( T ) )in the Hilbert space E x E. (ii) The following properties are equivalent: (a) T can be extended to a closed operator. (b) dom(T*) is dense in E. If these conditions are satisfied, the graph of any closed operator extending T contains the graph of T**, and r(T**) = r(T). (Thus T** is the smallest closed operator which extends T, and in particular, T** = T if T is closed.) Moreover, (T**)*= T*.
(i) If a sequence (y,) of points in dom(T*) converges to y E E and is such that the sequence (T* y,) converges to z E E, then the sequence of continuous linear forms xt-i(xI T* * y,) converges for all x E E to the continuous linear form X H ( X ~ Z ) .But if x ~ d o m ( T ) , we have ( x I z ) = l i m ( T . x ( y , ) = ( T . x ( y ) ,hence yEdom(T*) and z = T * - y by n-, m
definition, which shows that T* is closed. On the other hand, to say that ( y , z ) E E x E is orthogonal to all the vectors (T * x, -x) with x E dom( T ) signifies that ( T * x I y ) = (x I z), i.e., that x I+ (T x I y ) is continuous, hence y E dom( T*)and z = T* * y .
12 UNBOUNDED NORMAL OPERATORS
415
(ii) A closed vector subspace G of E x E is not the graph of a closed operator if and only if, for some x E prl(G), there exist at least two distinct points ( x , yl) and (x, y 2 ) belonging to G, or equivalently (since G is a vector subspace) that (0,y1 - y 2 ) E G. But to say that dom(T*) is not dense in E means that there exists z # 0 in E orthogonal to dom(T*) (6.3.1), or equivalently - that (z, 0) is orthogonal to r(T*),or again that (0, - z ) belongs to T(T). It follows that (0, - z ) cannot be contained in the graph of any closed operator which extends T. Conversely, if dom(T*) is dense in E, then T** is defined, and r(T**)is the orthogonal supplement of J(T(T*));but this orthogonal supplement is also equal to
(6.3.1).
We say then that T** is the closure of T.
(15.12.5) Given two not necessarily bounded operators U, V on E, the vector U * x V * x is defined for all x E dom( U ) n dom( V ) , and we denote by U V the linear mapping X H U * x V x of dom(U) n dom( V ) into E. In particular, if V is everywhere defined, then dom(U V ) = dom(U), and the graph T(U + V ) is the image of r(U ) under the linear mapping ( x , y ) H(x, y + V x ) of E x E into E x E. If V is continuous and U is closed, it follows therefore that U + V is closed, since the mapping
+
+
+ -
+
-
(X,Y)H(X,Y
+ Y.x)
and its inverse ( x , y ) H ( x , y - V * x) are continuous. Again, the vector U ( V x ) is defined for the set of all x E E such that x ~ d o m ( V )and V e x ~ d o m ( U ) This . set is a vector subspace which we denote by dom(UV), and UV denotes the linear mapping XH U ( V . x ) of dom(UV) into E. If T is a not necessarily bounded operator which is an injective mapping of dom( T ) into E, we denote by T-' the inverse mapping of T(dom(T)) = dom(T-') into E. The graph T ( T - ' ) is the image of T ( T ) under the mapping (x, y ) ~ ( yx)., Hence T-' is closed if T is closed (and injective).
-
(15.12.6) (von Neumann) Let T be a closed operator on E such that dom(T) is dense in E. Then dom(T*T) is dense in E; the operator T*T is closed; and the operator Z + T*T (defined on dom(T*T)) is a bijection of dom(T*T) onto E. The operator B = ( I + T*T)-' is defined on E, continuous, self-adjoint and injective, and its spectrum is contained in the interval [0, 11 of R.Furthermore, the hermitian form ( x , y ) +-+ (B . x I y ) is positive and nondegenerate, and C = TB is a continuous operator defined on E, such that C(E) c dom(T*). Finally, (T*T)* = T*T.
416
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
We have seen in (15.12.4) that T(T) and J(T(T*)) are orthogonal supplements of each other in E x E. Hence for each X E E there exists a unique y E dom( T) and a unique z E dom( T*) such that (x, 0) = ( y , T y )
(15.12.6.1)
+ (T*
*
Z,
- z).
-
Put y = B x and z = C x. Clearly Band Care linear operators defined on the whole of E, and we have B(E) c dom(T) and C(E) c dom(T*). Also, by (15.12.6.1),
-
11xIl2= /lYl12 + l1T.YIl2 + lIz1l2 + IlT* - zl12,
- s
so that IIB xII llxll and IIC xII IIxII. Hence Band Care continuous. The relation (15.12.6.1) is equivalent to x=B*x+T*C*x
and
O=-C.x+TB.x,
so that C = TB and T(B(E))c dom(T*), hence B(E) c dom(T*T). Consequently T*TB is defined on all of E, and we have Z = B + T*TB=(Z+ T*T)B, which shows that B is injective and I + T*T surjective. For each w E dom(T*T) we have (15.12.6.2)
(W
+ T*T. w 1 W ) = ((w((’+ ( T * T *w 1 W ) =
llW1l2 3. lIT* WII’
because T = T**; this shows that the relation w + T*T. w = 0 implies that w = 0, and hence that Z + T*T is a bijective mapping of dom( T*T) onto E. Also, since T ( B ) is closed in E x E (1 5.1 2.2), the same is true of T(I + T* T) (15.12.5), and it follows immediately (15.12.5) that T*T is closed. We next remark that, for all, u, u in E, we have
(B* U I
U)
= (B*
UI
B u
+ T*TB - U )
( B * u I T* TB * u) = ( B u l B * u) ( T B . uI TB. u) = (B u I B V ) + ( T*TB * u I B * U ) = ((I T* T)B * u I B * U) = (U I B * u). = ( B * u IB
-
+
*
-
V) f
+
-
Hence B is self-adjoint. Also, replacing w by B x in (15.12.6.2) we obtain, for each x E E, (XI B X) = IIB * ~ 1 1 ’ llTB * xllz 2 0;
-
+
12 UNBOUNDED NORMAL OPERATORS
-
417
since I1B xII 5 IIxII, it follows from the above and from (15.11.7) that Sp(B) is contained in [0, 11. Moreover, the relation ( x I B x) = 0 implies B * x = 0, hence x = 0, and therefore the hermitian form ( x , y ) I+ ( B x Iy ) is nondegenerate. We shall prove next that dom(T*T) is dense in E. If T‘is the restriction of T to dom(T*T), it will be enough to show that r(T’)is dense in r ( T ) ,since dom(T*T) is the first projection of r(T’),and dom(T) is dense in E. To see that the subspace r(T’) of the Hilbert space r(T )is dense in r(T ) , it is enough to show that if a vector (u, T * u) E r(T )is orthogonal to r(T’), then it is zero. Now this condition is ((u, T * U ) I (v, T v)) = 0
-
-
-
for all u E dom(T*T), or equivalently ( u [ u) + ( T . u 1 T * u) = 0; or, since T * u E dom( T*),(u I u) ( u I T* T . v ) = 0, that is to say,
+
(u I ( I
But I
+ T*T )
*
u) = 0.
+ T*T maps dom( T* T ) onto E. Hence u = 0, as required.
Finally, since B is self-adjoint, T(B) is the orthogonal supplement of J(T(B)).Since T ( B ) is the image of T ( I + T* T )under the symmetry operator S : ( x , y ) ~ + ( yx), , and since JS = -SJ, it follows that T(Z+ T * T ) is the orthogonal supplement of J(T(Z + T*T)); in other words (15.12.4) ( I + T* T)* = I + T* T, or equivalently (T*T)* = T* T. (15.12.7) A not necessarily bounded operator T is said to be normal if it is closed, if dom(T) is dense in E and and if T*T= TT* (which, we recall, implies by definition that dom(T*T) = dom(TT*)). We say that T is seyadjoint if dom(T) is dense in E and if T* = T (which implies that T is closed (15.12.4)). Clearly a self-adjoint operator is normal. It follows from (15.12.6) that, if T is any closed operator such that dom( T )is dense in E, then T* T and TT*are self-adjoint. The following theorem reduces the problem of the structure of (unbounded) normal operators to that of continuous normal operators:
Let E be a separable Hilbert space. I f N is a not necessarily bounded normal operator, then dom(N) = (i) dom(N*) and IIN.xll = IIN* ex11 for all X E dom(N). The space E is the Hilbert sum of a family (En) of closed subspaces, such that En c dom(N) and En ir;stable under N and N * for all n, so that the restriction N, of N to En is a continuous normal operator. (ii) Conversely, let Enbe a sequence ojclosed subspaces of E , such that E is the Hilbert sum of the En.For each n, let N, be a continuous normal operator on (15.12.8)
418
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
En. Then there exists a unique normal operator N on E such that En c dom(N) and N , = N I En, ,for all n. The set F = dom(N) is the set of all x = x ,
1 n
(where x , E Enfor all n) mch that
c IIN,, . n
x,Il2 < +a,
and we have
N .x
N , .x,
=
N* .x =
and
n
N , * .x,. n
We shall begin by proving the first assertion of (i). We have seen in the course of the proof of (15.12.6) that the graph of the restriction of N to dom(N*N) is dense in T(N); hence, for each x ~ d o m ( N ) there , exists a sequence (y,) in dom(N*N) such that lim y , = x and lim N * y , = N . x . fl-
But for each z
E dom(N*N)
we have
n-. m
30
( I N .zllZ = ( z I N * N * z ) = ( z I N N *
*
Z)
=
I/N*
ZI~',
because N*N = NN*. Applying this result with z = y , - y m , it follows that the sequence (N* * y,) is a Cauchy sequence and therefore converges in E. Since N* is closed (15.12.4), we conclude that x E dom(N*) and N* x = lim N* * y, , whence IIN XI\ = [IN* * xII. We have therefore proved
-
n- m
that dom(N) c dom(N*). Since N** = N , the operator N * is normal and dom(N*) c dom(N). Now consider (ii). We shall first show that, if N satisfies the conditions of (ii), then N*(E,) c En. For all m # n, all y, E E, and all x , E Em, we have (x, I N* . y,) = ( N x, I y,) = 0, because N(Em)c Em.Hence N * * y , is orthogonal to all the Em( m # n), hence must lie in En.Next we shall show that, if x E dom(N), then P," N x = N P E , * x = N , ' ( P E , ' X). For all y,
E
(PE,
En, we have *
and since N * * y , (PE,N
'
I yn> = ( N = PEn N*
I yn> = ( P E , .
*
'
x I pEn
'
Yn)
=(N
'
I yn) = (x I N * ' Yn)?
y , from above, N*
'
Yn) =(NPE,
*
I Yn)
=(Nn
'
(PE,
*
x)l Y n ) ;
-
since this holds for all y , E En, it follows that the two elements P E n N x and N , (PE, x) of E are equal.
-
We shall now prove the following lemma, which generalizes (15.10.8.1):
12 UNBOUNDED NORMAL OPERATORS
419
(15.12.8.1) Let (En) be a sequence of closed subspaces of E, such that E is the Hilbert sum of the En.For each n, let T , be a continuous operator on En. Then there exists a unique closed operator T o n E such that, for all n,
En c dom(T), TI En = T, , PE,T x = TPE, x (x E dom( T ) ) . Moreover, dom(T) i$ the set F of all x = x, (with x, E E,,for all n) such that
c IlT,
< +coy and we have T * x
*
1 T,
n
=
x,.
n
It
Since we must have
1
*
(7’. x)ll’ = 11 T . x1I2 <
+ coy we see that the
conditions stated imply’ihat dom( T ) c F and that T * x
x=
c x,
=
1 T,
x, for all
n
E
dom(T). Note that F is a vector subspace of E, by virtue of the
inequality 1l.z + ~ n
‘ 1 51 ~ 2(11~11~ + 1 1 ~ ’ 1 1 ~ ) in E. For each
I=
1 x, E F,
write
n
T,, * x,; we shall show that the operator T’ : F + E so defined is
T‘ * x = n
closed. Since clearly l-( T )contains all finite sums
1(x,, T, - x,), it follows that n
T(T) is dense in r(T‘),and since T is a closed operator, this implies that T = T’. It is clear that T‘ is linear. Also, if a sequence (x,) in F tends to X E E and if the sequence ( T ’ e x , ) tends to y E E , then PEnT ’ . x , , ,= T, PEn* x, tends to PEn y and also to T, PEn x, by virtue of the continuity of T,; this proves that x E F and that y = T’ x, and completes the proof of the lemma. This lemma, applied to the situation of (ii), proves the uniqueness of N , which therefore has to be the closed operator (15.12.7) described in the statement of (15.12.8(ii)). It remains to prove that N is normal. For each x E F, we have llN,* PE, XI/ = llN,PE, * xII, and therefore the lemma (15.12.8.1), applied to the family of continuous operators (N,*),shows that there exists a unique closed operator N’ such that, for all n, we have En c dom(N’), N‘ I En = N,* , and PEnN ‘ * x = N’P,, * x for all x E dom(N’). Moreover, we have dom(N‘) = dom(N) = F, and if x = C x, E F, then N’ x = N,* x, . From these
-
-
n
n
formulas it follows immediately that ( N * x I y ) = (x I N’ * y ) for all x,y in F: in other words (15.12.3), F is contained in dom(N*), and N’ = N * IF. But also PEnN** y = N*P,, y for all n, and all y E F. For if x, E En, then (x,, I PEnN*. y ) = (x,I N* * y ) (1 5.5.4), and since x, E dom(N)
-
(x, I N* * Y ) = ( N * x, I Y ) = ( N * xfl I P E n * Y )
because N . x, = N , x, E En; hence finally, since En c dom(N*), we have (x, 1 PEnN* y ) = (x,I N*PEn y ) , which proves our assertion. Since N * is closed (15.12.4), it follows that N’ = N* by virtue of (15.12.8.1). The preced-
-
420
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
-
ing results then imply that ( N x I N * y ) = ( N * . x I N* * y ) for all x,y in dom(N) = dom(N*) = F. This being so, if z E dom(NN*), then we have
(N.xlN.z)=(N*.xlN*.z) =(xINN**z)
-
for all x E dom(N). This proves that N z E dom(N*), by the definition of the adjoint (15.12.3), and that N * N * z = NN* * z. Thus we have established that dom(NN*) c dom(N*N) and that the operators NN* and N*N coincide on dom(NN*). The proof of (ii) is now completed by interchanging the roles of N and N* (since N** = N ) . Now return to the proof of (i). Consider the continuous hermitian operator B = ( I + N*N)-' (15.12.6), whose spectrum is contained in I = [0, 11. We shall first show that f(B)(dom(N)) c dom(N)
-
J'(B)N * x = Nf(B) x
and
for all f E Qic(1) and all x E dom(N). First of all takef= 1,; if x E dom(N), we may write BN * x = BN(Z + N*N)B * x = B(N
+ NN*N)B
*
X,
- -
recalling that NB(E) c dom(N*) and N*NB x = x B x E dom(N), because B(E) c dom(N) (15.12.6). But N*N = NN*, hence B N - x = B ( N + N*NN)B. x = B(Z+ N*N)NB*x = N B - x ; that is, BN x = NB * x for all x E dom(N). By induction on n, we obtain B"(dom(N)) c dom(N) and B"N * x = NB" . x for all x E dom(N) and all integers n > 0. This establishes our assertion when f is a polynomial with real coefficients. Hence, for such a polynomial A we have
for all x E domfni) and y E dom(N). Having regard to (15.11.2) applied to B, we deduce that r
r
and since the restrictions of polynomials with real coefficients to Sp(B) are dense in gR(Sp(B))by the Weierstrass approximation theorem (7.4.1 ), the formula above shows that mN. x, = mx,N , . ((3.15.1) and (1 3.2)). Consequently, by applying (15.11.2) to B, the formula (15.112.8.) is valid for all functions f E %&). But this formula shows that f(3) x E dom(N**) = dom(N) and that ( f ( B ) N x I y ) = (Nf(B) * x I y ) for all y E dom(N). Since dom(N) is dense in E, it follows that N f ( B ) x =f(B)N * x for all x E dom(N).
-
-
12 UNBOUNDED NORMAL OPERATORS
421
Now let f, denote the characteristic function of the set {0}, and for n 5 1 letf, denote the characteristic function of the interval ] l / ( n + l ) , l / n ] in R. For each [ E R, the series yo([)+fi([) * +f,([) * * converges to the value at [ of the characteristic function of the interval [0, I ] . For each n 2 0, let F, be the image of E under the orthogonal projector f,(B) = PF, (1 5.10.6). From the preceding discussion and from (15.11.8(iv)) it follows that E is the Hilbert sum of the F, (n 2 0). Also, in fact, F, = {0}, because F, is the kernel of the operator B (15.11.6), and by virtue of (15.12.6) the hermitian form ( x , y ) H( B * x I y ) is nondegenerate, that is to say the relation ( B * x I x) = 0 implies x = 0, and so F, = (0). It follows from above that P,,(dom(N)) c dom(N) and that P,,N * x = NP,, * x for all x E dom(N). On the other hand, the definition of the functions f, for n 2 1 shows that the function g,([) = [-'&((+)(with g,(O) = 0) is a bounded regulated function on R and therefore universally measurable (7.6.1). Consequently we may write PFn= Bg,(B), whence NP,, = NBg,(B). But we have shown (15.12.6) that N B is a continuous operator defined on E, and hence the restriction N , of N to F, n dom(N) is a continuous mapping of this subspace into F,, . Since PFn(dom(N))c F, n dom(N), it follows that F, n dom(N) is dense in F,; also N , is clearly a closed operator on F,, hence by (15.12.2) we conclude that F, c dom(N). Also, since N*N = NN*, we may interchange Nand N* in the above discussion, which does not change 8 ;hence the restriction NA of N * to F, is also a continuous operator on this subspace, and is evidently equal to the adjoint N,* of N, . It is now clear that N, is normal, and the proof of (15.12.8) is complete.
+
-
+-
(15.12.9) Let T be a closed (not necessarily bounded) operator on E. Generalizing (11 .l), we say that [ E C is a regular value of T if the operator T - [Zis a bijective linear mapping of dom( T ) onto E, and if the inverse linear mapping RT([): E --t dom( T ) is continuous. (15.12.10) For (+ E C to be a regular value of a closed operator T, it is suficient that T - [ I should be an injective linear mapping of dom( T ) onto a dense subspace L of E, and that the inverse mapping (T - [I)-' : L -+ E should be continuous.
For the graph of T - (+Z is closed, and so is the graph of (T - [Z)-' (15.12.5). Hence it follows from (15.12.2) that L is closed in E, and therefore L = E. The complement in C of the set of regular values of T is again called the spectrum of T, and is denoted by Sp(T). If [ E Sp( T ) ,it follows from (15.12.10) that there are three possibilities:
422
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
(1) [ is an eigenvalue of T (the set of these is called the pointspectrum of T ); (2) [ is not an eigenvalue of T (which implies that T - [Z is a bijective mapping of dom( T) onto a subspace L of E), the subspace L is dense in E, but ( T - [Z)-' is not continuous on L (the set of these values is called the continuous spectrum of T ); (3) [ is not an eigenvalue of T and the subspace L is not dense in E (the set of these values is called the residual spectrum of 7'). For example, for the operator defined in ( l l . l . l ) , the point-spectrum is empty, the continuous spectrum is the unit circle U : [[I = 1, and the residual spectrum is the open disk l[l < 1 (Section 11 . I , Problem 4). (15.12.11) The spectrum of a closed operator T on E is closed in C, and the mapping [ HR T ( [ ) of C - Sp( T) info Y(E) is analyric.
c0
Let E C - Sp(T), and put a = ~ ~ R T ( [ oThen ) l ~ . the continuous operator V ( [ )= ( I - ([ - [ O ) R T ( [ O ) ) - l R T (is[ O defined ) for all [ satisfying l[-[ol
+ (lo - ORT(C0)
x
and therefore V ( [ ) ( T- [Z) . x = x. For each integer n 2 0, let Vn(O = R T ( I ; O ) + ( I - Co)~+([o)
+
*
*
+ C-
(CoY'-lRXCo),
so that V ( [ )is the limit of the sequence ( V , ( [ ) )in B(E). By definition, we have V,([) y E dom(T) for all y E E and all n > 0, and
(T - 5 1 ) W )* Y =
(r - C0)KK)
=Y
*
Y
+ ( T - 4 0 I>v,(O
*
Y
- (i- 50)nRnT(50) * y ,
hence (T - [Z) Vn([)* y tends to y as n -+ +a. Since by hypothesis T is closed, this implies that V ( [ ) y E dom( T ) and (T - [I)V ( [ ) y = y . This shows that T - [Z is a bijective linear mapping of dom(T) onto E and that the inverse mapping is V ( [ ) . Hence [ 4 Sp(T) and V(5)= R T ( [ ) , which completes the proof.
Let N be a (not necessarily bounded) normal operator on E. With the notation of (15.12.8), we have Sp(N) = Sp(N,,); the point-spectrum of N (15.12.12)
u n
is the union of the point-spectra of the N,, , and the residual spectrum of N is empty. For N to be seif-adjoint, it is necessary and sujicient that its spectrum sl70uld be real.
12 UNBOUNDED NORMAL OPERATORS
423
We have Sp(N,) c Sp(N) for all n, for if N - [Z is a bijective mapping of dom(N) onto E, then each of the operators N , - [ZE, is a bijective (and hence bicontinuous, by the closed graph theorem) mapping of E, onto E n . From this point onwards, the proof of the first assertion merely repeats that of (15.11.5), having regard to the facts that Sp(N) is closed (15.12.11) and that ( N , - aZEn)-' is a continuous normal operator on E, for all ct # Sp(N,), and the proposition (15.12.10). The assertion about the point-spectra is immediate, and the eigenspaces of N are determined as in (15.11.6). To show that the residual spectrum of N is empty, it is enough to show that the same is true for each N , , so that we reduce to the case where N is continuous; then, by using the decomposition of (15.11.3), we may assume that N is multiplication by the class of the function 1, in Li(K, p ) , where K is a compact subset of C, and p is a positive measure on K. We have then to show that, if the measure p is not concentrated at the point 0, the set of functions c w c g ( i ) , where g E LY$(K, p), is dense in 9C(K, p). For this it is sufficient, by (6.3.1), to show that if a function h E 9Z(K, p) is such that j [ g ( i ) h ( l )dp(T) = 0 for all
-
g E 8,?(K, p), then h is p-negligible. But this is clear, by taking g(5) = [h(c), in view of the hypothesis on p . Finally, it is clear that if N is self-adjoint, then so is each N , , hence Sp(N,) c R for all n, and therefore Sp(N) c R. Conversely, if Sp(N) is contained in R,then Sp(N,,) c R for all n, hence N,, is self-adjoint for all n by (15.11.7), and therefore so is N by (15.12.8). (15.12.1 3) Propositions (15.12.8) and (15.12.12) essentially serve to reduce problems relating to unbounded normal operators to the same problems for bounded (i.e., continuous) normal operators. In particular, let f :C + C be universally measurable. We shall show that for each unbounded normal operator N we can define an unbounded normal operator f ( N ) , having properties analogous to those of (15.11.1). Suppose first that the function f is bounded; then, with the notation of (15.1 2.8),f ( N , ) is a continuous normal operator on E, (15.11.1) and moreover, l\f(N,)II j sup f ( 5 ) I for all n i t C
I
(15.1 1.8). The normal operator on E whose restriction to each E, is f ( N , ) is therefore continuous (15.10.8.1), and it is this operator which is denoted by f ( N ) . It is immediately seen that if g is another function in OkC(C),then ( f + g)(W =f(W + g ( W , ( SSm= f ( N ) g ( N ) and Ji(W = by virtue of (15.1 1.I .I). Now let f : C -+ C be any universally measurable function. For each n 2 0, let A, be the universally measurable subset of C consisting of the complex numbers 5 such that n 5 If([) I < n + 1, so that (A,) is a partition of C. I t follows from above that P, = cpAn(N)is an orthogonal projection in E (15.5.3.1), and E is the Hilbert sum ofthe closed subspaces H, = P,(E); also, (f("*1
424
XV
NORMED ALGEBRAS A N D SPECTRAL THEORY
puttingf, =f q A , , the functionf, is universally measurable and bounded, and hencef,(N) is a continuous normal operator on E which leaves H, stable and is zero on the orthogonal supplement of H,. It follows now from (15.12.8) that there is a unique unbounded normal operator whose restriction to each H, is f , ( N ) , and it is this operator which is denoted by f ( N ) . It is clear that f ( N ) = ( f ( N ) ) * ; furthermore, if g : C -+ C is another universally measurable function, then again we have ( f + g ) ( N ) = f ( N ) g ( N ) and ( f g ) ( N ) = f ( N ) g ( N ) ,these equalities being interpreted in the sense explained in (1 5.1 2.1 ) and (15.12.5). For the proof it is enough to consider, for in 2 0 and n 2 0, the sets A,,,, of complex numbers i satisfying m 5 I f ( ( ) I < m i- 1 and n 5 IdO I < + 1 ; if we put f'm, = qA,,,(N), Hm, = f'mn(E), L n n = f q A , , , , , , , g,, = g q A , , , , it is clear that E is the Hilbert sum of the H,,,, which are stable under f,,(N) and g,,(N), and that f ( N ) (resp. g ( N ) ) is the unique normal operator whose restriction to each H,, is L n , ( N ) (resp. g,,(N)). Our assertions therefore follow from the corresponding assertions for each pair
+
(fmn
3
s,,).
PROBLEMS
1. Let E, F be two Hilbert spaces. A not necessarily bounded operator from E to F (or simply an unbounded operator from E to F) is a linear mapping T of a vector subspace dom(T) of E into F. We say that Tis closed if its graph r(T)is closed in E x F. (a) If Tis closed, show that Ker(T) is closed in E. Generalize (15.12.2) to the present
situation. (b) If dom(T) is dense in E, define the adjoint T* of T as in (15.12.3). It is an unbounded operator from F to E. Generalize (15.12.4). (c) Suppose from now on that T is a closed operator from E to F, whose domain dom(T) is dense in E. Show that the closure in E of Im(T*) is the orthogonal supplement of Ker(T). (d) Suppose that Ker(T) = {0}, in other words that T is injective. Then G = Im(T) is closed in F if and only if the inverse mapping T-I : G -+ E is continuous (use (a)). (e) Without any hypothesis on Ker(T), show that the following conditions are equivalent: (1) Im(T) is closed in F; (2) Im(T*) is closed in E. (Let G be the closure of Im(T*) in E. To show that (1) implies (2), consider the restriction T I of T to G n dom(T). Show that Im(Ti) = Im(T) and use (d) to deduce that T i ' is continuous. Hence show that every y E G is of the form T* . z , by remarking that the mapping xt-+(Til. x 1 y ) is a continuous linear form on the Hilbert space lm(T).) (f) Put y ( T ) = inf
IIT. XI/
d(x, Ker(T)) '
the infimum being taken over the complement of Ker(T) in dom(T) ( d denotes the distance in E). Show that Im(T) is closed in F if and only if y ( T ) > 0. (Express y ( T ) in terms of Ti', where T I is the operator considered in (e).) Show that y(T*) 2 y(T).
1 2 UNBOUNDED NORMAL OPERATORS
425
( 9 ) Suppose that Im(T) is closed in F. If M 3 Ker(T) is a closed subspace of E, show that T(M n dom(T)) is closed in F. (Consider the restriction of T to M n dom(T) as an unbounded operator from M to F, and use (f).) (h) Let N be a closed subspace of F such that N n Im(T) = {O}. If N Im(T) is closed in F, then Im(T) is closed in F. (Consider the operator T2from E x N to F defined on dom(T) x N by T2* (x, y ) = T . x y , and remark that y ( T )2 y(T,).) In particular, if Im(T) has finite codimension in F, then Im(T) is closed in F.
+
+
2.
Let E, F, H be three Hilbert spaces, Tan unbounded operator from E to F, and U an unbounded operator from H to E. Suppose that T is closed, dom(T) is dense in E, Ker(T) is finite-dimensional and Im(T) is closed in F. (a) Show that if U is closed then so is TU (defined on dom(U) n U-' (dom(T)).) (Suppose that z. E H tends to z and that TU . 2. tends to y E F. Using the relation y(T) > 0 (Problem l), show that there exists a sequence (x.) in Ker(T) such that CJ * z. x, has a limit x in E. Use the fact that Ker(T) is locally compact to show that the sequence (x.) must be bounded (argue by contradiction) and then pick a convergent subsequence of (x").)
+
(b) If U is closed and Im(CJ) is closed in E, then Im(TU) is closed in F. (Use Problem l(g) and (5.9.2)) (c) Suppose that Ker(U) is finite-dimensional. Show that Ker(TU) is finite-dimensional and that dim(Ker(TU)) = dim(Ker(U))
+ dim(Im(U) nKer(T)).
(d) Suppose that Uis closed, doni(U) dense in H and Im(U) offinire codimension in E (which implies, by virtue of Problem l(h), that Im(U) is closed in E). Show that dom(TU) is dense in H. (Consider the orthogonal supplement HI of Ker(U) in H , and the restriction U, of U to the dense subspace dom(CJ) n H I of H I ; observe that U-' is continuous on Im(U,) = Im(U) and that dom(T) n Im(U)is dense in Im(U).) (e) Suppose that Im(T) and Im(U) have finite codimension in F and E, respectively, and let v be the codimension of Im(U) n Ker(T) in Ker(T). Show that Im(TU) has finite codimension in F and that codim(Im(TU)) = codim(Im(T))
+ codim(Im(U)) - v.
(Remark that E is the direct sum of Im(U), a supplement N1 of Im(U) n Ker(T) in Ker(T), and a subspace N, of finite dimension contained in dom(T), and that the restriction of T to N, is injective.) 3. Let E, F be two Hilbert spaces. An unbounded operator Tfrom E to F is said to be an operator with index (Section 15.11, Problem 22) if T is closed, dom(T) dense in E, Ker(T) finite-dimensional and Im(T) of finite codimension in F (in which case T(E) = Im(T)is closed in F by Problem l(h)). The index ofTis defined as the number
i(T) = dim(Ker(T)) - codim(Irn(T)). (a) If Tis an index operator from E to F, then T* is an index operator from F to E, and i(T*)= -i(T) (use Problem l(e)). (b) Deduce from Problem 2 that if U : H -+ E and T :E -+F are index operators, then TU : H + F is an index operator and i(TCJ)= i(T)+ i ( U ) . (c) Let TI be an unbounded operator from E to F, which extends T and is such that dom(T,)= dom(T)@M, where M is a finite-dimensional subspace of E. If T is
426
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
closed, show that TI is closed; if Im(T) is closed in F, then so is Im(Tl); if Tis an index operator, then so is T , , and i(Tl) = i(T) dim(M). (By induction on dim(M).)
+
4.
Let E, F, be two Hilbert spaces and let T be an unbounded operator from E to F. Suppose that T is closed and dom(T) dense in E. Let B be a continuous operator from E to F. (a) Show that, for each x E Ker(T+ B),
Deduce that, if Ker(T) has finite dimension and y ( T )> 0 and IlBll < y(T), then dim(Ker(T+ B)) 5 dim(Ker(T)) (use Problem 9 of Section 6.3). Furthermore, Im(T+ B ) is closed in F (consider the restriction of T + B to the orthogonal supplemeiit of Ker(T) Ker(T+ B) in E). rr. (b) Suppose that T is an index operator and that (lBI1< y(T). Show that codim(Im(T+ B)) =< codim(Im(T)), and that i( T+ B ) = i(T). (To prove the first inequality, consider (T+ B)*. For the equality of the indices, reduce to the case where Tis injective, by considering the orthogonal supplement of Ker(T) and using Problem 3(c). Then observe that y(T+ hB) is a continuous function of h for 0 5 h 5 1.)
+
5.
With the same general hypotheses as in Problem 4, suppose that B is a compact operator from E to F. (a) Show that, if Ker(T) is finite-dimensional and Im(T) is closed, then Ker(T+ B) is finite-dimensional and Im(T B) is closed. (Consider the orthogonal supplement M of Ker(T), and show first that M n Ker(T+ B) c M n dom(T) is finite-dimensional, by noting that there exists m > O such that \IT. xII 1mllxlI for all x E M n dom(T), and using (59.4). Then take the orthogonal supplement N of M n Ker(T+ B ) in M, and prove that there exists no sequence (x,) in N n dom(T) such that lIx.IJ = 1 for all n and T(xJ B(x,) tends to 0.) (b) Deduce from (a) that if T is an index operator then so is T + B , and that i(T+ B ) = i(T).(To prove that Im(T+ B) has finite codimension, consider T* B*; then observe that h ~ i ( T hB) + is a finite continuous function of h on [0, I ] by virtue of Problem 4.) (c) Suppose that E = F and that there exists a regular value for T such that (Tis a compact operator. Show that, for all 5 E C , the operator T- [I has index 0; the spectrum of T is a denumerable discrete subset of C, all of whose points are eigenvalues of T, and (T- 5I)-' is a compact operator for all regular values 5 of T . (Note that
+
+
+
to
51-
T= (I+
(5 - 50)(50~ - T ) - ~ ) ( ~T~I I -
and use the theory of Riesz (11.4.1).) Hence give an example of an operator of index 0 whose spectrum is empty (use Problem 9 of Section 11.6). 6. With the notation of the proof of (15.12.8), prove that the spectrum of the operator N,, is contained in the annulus S, : ( n - I)'/' 5 151 5 n"'. For each pair of points (x, , y.) in F, , there corresponds to N , a measure mg! Yn with support contained in S , . If x x, and y y , are two points of E, with x. E F. and y , E F., then the
=c "
=c n
12 UNBOUNDED NORMAL OPERATORS
sum m x , y= C mjmn).y,is a bounded complex measure on C, with norm
427
<= IIxIl . IlyII, and
mx, is a bounded measure on C with mass ( x 1 x ) . The subspace dom(N) is the set of all x E E such that the function 5- 161 is mx.x-integrable. For each pair of points % ,
x, Y
E dom(N),
we have my,,= Ex,y , ( x IY)
=
1
dm,. and ( N . x I Y ) =
1f(5)
dm,, y(6).
7. With the notation of (1 5.1 2.1 3) and Problem 6, show that dom(f(N)) is the set of all x E E such that the function 5 -If(<) I is mx,,-integrable, and that ( f ( N ) . x I y ) =
If({)
dmx,y(()for all x , y E dom(f(N)). Show that Sp(f(N)) is contained in the closure
of f(Sp(N)). If g : C + C is another universally measurable function, show that ( f . g ) ( N ) = f ( g ( N ) ) (cf. Section 13.9, Problem 21). When N = M,,(lc) is a simple continuous normal operator (15.11.3), dom(f(N)) is the set of classes of functions u E .Yf(p) such that fu E 4 p & ~ ) , and f ( N ) is multiplication by the class off. 8. Let N be a normal operator and x a point of dom(N) such that lixll = 1. Put a, = ( N . x I x) and px= I ( N .xlj. Show that, for each E > 0, the open disk A, with - I a x ( z ) 1 1 2E meets Sp(N) (Krylov-Weinstein theorem). center a, and radius
+
(8:
(With the notation of Problem 6, show that
p: - /a,('= 115- a,I2 dm,,,({),
and
hence obtain a contradiction of the hypothesis that A, has measure zero with respect to mx, .> 9. Let H be a self-adjoint operator on E (bounded or not). For each (bounded or unbounded) open interval J c R, let P be the orthogonal projector qJ(H). Show that
ZniP, . x
=
lim "-0. "DO
1,
(((u - i u ) l - H)-'
. x - ((u + i u ) l - H ) - l . x) du
for all x E fi ("Titchmarsh-Kodaira formula"). (For each y E E such that ilyll 2 1, show that the scalar product of y and the difference between 2n-iPJ. x and the integral on the right-hand side tends to 0 uniformly for l l ~ > l l 1: express this difference in terms of the measure m,, (Problem 6), and use the Lebesgue-Fubini theorem and the dominated convergence theorem.) 10. Show that, for each closed operator T on E such that dom(T) is dense in E, there
exists a positive self-adjoint operator R such that dom(R) = dom(T) and an isometry V of R(dom(R)) onto T(dom(T)), such that T = VR. (As in the proof of (15.12.8), define the spaces F,, c dom(T*T) c dom(T) so that the restriction of T*T to F. is a continuous positive self-adjoint operator H,, for which we may take the square root R,. We have 1) T . x,(J= llRn . x.11 for all x, E F,,, hence there exists an isometry V. of R.(F.) onto T(FJ such that TI F, = V. R.. Let R be the positive self-adjoint operator whose restriction to each F, is R.. Show that the V , are the restrictions of an isometry V of R(dom(R)) onto T(dom(T)), by considering the finite sums of the F. and using the facts that Tis closed and dom(R) is dense in dom(T). Finally, show that V-lTis a closed operator which coincides with R, on F, for each n,and hence deduce that dom(R) = dom(T) and V-'T= R.) 11. Let T be a closed operator on E such that dom(T) is dense in E and such that
T(dom(T)) c dom(T*). Show that dom(T)= E and that E is continuous. (If
428
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
+
B = ( I TT*)-'and if for each y E E we put x = B . y , show that the hypotheses imply that y E dom(T*), by using the fact that x E dom(T*).) 12.
Let N be a normal operator on E. If dom(NZ)= dom(N), show that N is continuous. (If not, there would exist a closed subspace F of E, such that F is the Hilbert sum of an infinite sequence (F,,) of nonzero subspaces stable under N a n d N * , such that the restriction N. of N to F, is a continuous operator and such that
for x.
E
F., where the sequence (an)is increasing and tends to
+
tc, .)
13. E X T E N S I O N S OF H E R M I T I A N O P E R A T O R S
(15.13.1) Let E be a separable Hilbert space. A not necessarily bounded operator H on E is said to be hermitian if: (1) dom(H) is dense in E; (2) dom(H) c dom(H*), and the restriction of H* to dom(H) is equal to H ; in other words, for all x , y in dom(H),
In particular, ( H . x I x ) is real for all x E dom(H). It should be noted that in general H* is not hermitian. When H is conrinuous, this definition agrees with that of (11.5), and a continuous hermitian operator is the same thing as a continuous self-adjoint operator. An unbounded self-adjoint operator is always hermitian, but as we shall see below there exist closed hermitian operators which are not self-adjoint. Example (15.13.2) Let 9 be the vector space of indefinitely differentiable complexvalued functions on R with compact support. If p denotes Lebesgue measure on R, then 9 may be identified with a subspace of L$(R, p) (13.19), which is dense in Li(R, p) (17.1.2). It follows immediately from the formula for integration by parts (8.7.5) and the fact that the functions belonging to 9 vanish outside a compact set, that for all x, y in 9
s
( D x I J J ) = Dx(t)y(t) dt
= -
s-
~(t)Dy(t)d t = -(x I Dy).
This may be expressed by saying that iD = H is a hermitian operator. The conclusion is the same if we replace Lg(R, p) by Li(I, p), where I is a (bounded
13 EXTENSIONS OF HERMITIAN OPERATORS
429
or unbounded) open interval in R,and 9 by the subspace 9(I) of indefinitely differentiable complex-valued functions on 1 with compact support. It is clear that the graph of D is not closed: for example, it contains the pairs (x, D x ) where x is of class C' but not of class C 2 ,and Supp(x) is compact (17.1.2). (15.13.3) Let H be a hermitian operator. Since dom(H*) is dense in E, the closure H** of H exists, and since its graph is the closure of the graph of H (15.12.4), it follows from (15.13.1 .I)by continuity that H** is hermitian. We may therefore restrict our considerations to closed hermitian operators. (15.13.4) (i) Let H be a closed hermitian operator on E. For each real number c1 # 0, the closed operator H + a i l : x HH x + mix is an injective mapping of dom(H) into E, whose image Fa is a closed subspace of E , and the operator ( H aiZ)-' (15.12.5) is continuous on Fa. (ii) The linear mapping
+
(15.13.4.1)
V:xH(H-iZ)(H+iZ)-'.x
of F1 into E is an isometry of F, onto the closed subspace V(F,) = F - l . The mapping Z - V : F, = dom( V )+ E is a bijection of dom( V ) onto dom(H), and we have (1 5.13.4.2)
H . y = i ( i + V ) ( I - V)-' * y
for all y E dom(H-). (iii) Conversely, let F be a closed subspace of E , and U an isometry of F onto a subspace of E , such that the image G of F = dom(U) under Z - U is dense in E. Then the operator I - U is a bijection of F onto G ; i f , f o r each y E G, we put
(15.1 3.4.3)
-
-
H y = i(Z + U ) ( I - U ) - ' y ,
then H is a closed hermitian operator, with dorn(H) = G ; moreover, the operator V defined in (1 5.1 3.4.1 ) is equal to U . By virtue of (15.13.1.1) we have
430
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
for all y E dom(H), which shows that H + ail is injective and that the inverse mapping of F, onto dom(H) is continuous (5.5.1). Also, since the operator ( H ail)-' is continuous and its graph is closed (15.12.5), F, is a closedsubspace of E (15.12.2). If in (15.13.4.4) we put a = - 1 and y = ( H + iZ)-' * x, where x E F,, then we get ll(H - i l ) :yl12 = ll(H iZ) y(I2,hence 11 V . xII = llxll for all x E F,. Since the subspace V(F,) is therefore isometric to F,, it is complete and therefore closed (3.14.4). On the other hand, the relations H a y iy = x and H - y - iy = V - x give
+
+
+
i y = t ( x - Vsx),
H-y=f(x+ V*x)
-
for all x E F,. This shows that, if x - V x = 0 for x E F,, then we must have x V * x = 0, hence x = 0. Hence (i) and (ii) are proved. We shall now prove (iii). The hypothesis that U is isometric implies that
+
(15.13.4.5)
(xly- U*y)+(x- U.xlU*y)=O
for all x , y in F; hence, if x - U * x = 0, x is orthogonal to G, and since G is dense in E we have x = 0. Next, let us show that H defined by (15.13.4.3) is hermitian. If x , y E G, then we may write x = u - U u and y = v - U v, with u, v in F; hence, as ( U u I U * v) = (u I v), we obtain
-
-
( H x I y ) = (i(u + U u) I v - U v) = i(( U * u I v) - (u I U * v)) = (u -
U *uI i(v
+U
*
v)) = (XI H . y )
which proves our assertion. Next we show that H i s closed. If (y,) is a sequence of points in G which tends to y E E and is such that the sequence ( H * y,) converges to z E E, then the sequence of points x,=H.y,+
iy,=2i(I-
U)-'.y,,
which belong to F, converges to x = z + iy E F; hence, as U is continuous on F, the sequence of points ( I - U ) * x, = 2iy, converges to a point in G. This shows that y E G and that ( I - U ) x = 2iy. On the other hand, the sequence of points ( I + U ) * x, = 2 H y , converges to ( I + U ) * x = 2z for the same reason, and therefore H * y = z. Hence H is closed. Finally, if x = u - U * u with u E F, then we have H x = i(u + U * u), and it is immediately verified that V * u = U * u.
-
The isometric linear mapping Vdefined in (15.13.4.1) is called the Cayley transform of H. Proposition (15.13.4) reduces the study of hermitian operators to that of their Cayley transforms.
13 EXTENSIONS OF HERMITIAN OPERATORS
431
(15.13.5) With the notation of (15.13.4), let EA be the orthogonal supplement (dom(V))' of the closed subspace F, = dom(V), and EH the orthogonal supplement (V(dom(V)))' of the closed subspace F-, = V(F,). (15.1 3.6) (i) The subspace EA (resp. EJ is the set of ail x E dom(H*) such that H * x = ix (resp. H * * x = -ix), and dom ( H * ) is the direct sum ofdom(H), E i , and EH .
(ii) Let G + (resp. G - ) be the subspace oj' T(H*) whose first projection in E is EL (resp. EG). Then G+ and G- are closed in E x E and T(H*) is the Hilbert sum of'T(H), G + ,and G - . We have x
E
E i if and only if
-
for all y E dom(H), or equivalently if and only if ( H y I x) = ( y I i x ) ; by definition (15.12.3), this signifies that x E dom(H*) and H* x = ix. Similarly for x E EH , if we observe that V(F,) is the set of all H * y- iy with y E dom(H). Let x be an arbitrary point in dom(H*); as E is the Hilbert sum of dom( V ) and E; , we may write H* x + ix = H * y + iy + z with y E dom(H) and Z E E;. As we have H y = H* * y and H* z = iz, we may write z = H* * z1 + iz,, with z1 = z/2i, hence H* x + ix = H* y + iy + H* - z1 + iz,; this shows that z2 = x - y - z1 satisfies H* z 2 = - i z 2 , in other words z2 E EH , and therefore dom(H*) is the sum of dom(H), EG, and EH . This implies that T(H*) is the sum of T(H), G+ and G - . That G+ (resp. G-) is closed follows from the fact that this subspace is the intersection of the closed subspace T(H*) of E x E and of the subspace consisting of the points (x,v) such that y = ix (resp. y = -ix), which is obviously closed. It remains to be shown that G + , G - , and T(H) are mutually orthogonal. The fact that G + and G- are orthogonal follows from the relation
-
-
Furthermore, if x E dom(HI and y E E,, we have
and as H* y = -iy, we see that G- is orthogonal to T ( H ) ; the fact that G + is orthogonal to r ( H ) is proved in the same way, and this ends the proof of (i) and (ii).
432
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
(15.13.7) The defect of a closed Hermitian operator H is defined to be the pair (m, n) where m (resp. n) is equal to the dimension of E i (resp. E;) if this dimension is finite, and is l-co otherwise; m is called the positive defect and n the negative defect of H. (1 5.1 3.8) For a closed hermitian operator H to be self-adjoint, it is necessary and suficient that its defect should be (0, 0), or in other words that its Cayley transform V should be unitary. For H to be capable of extension to a selfadjoint operator, it is necessary and suficient that its defect should be of the form (m, m). The first assertion follows trivially from (15.13.6). Next, if H is the restriction of a self-adjoint operator A , then the Cayley transform V of H is the restriction of the Cayley transform U of A , which is unitary. Hence by definition we have EH = U(Ei) because U is an automorphism of the Hilbert space E, and the defect of H is therefore of the form (m, m). Conversely, if this is so, then there exists an automorphism U of the Hilbert space E which coincides with V on dom(V) and is such that U(EA) = EH (because two Hilbert spaces of the same finite dimension, or two separable infinitedimensional Hilbert spaces, are isomorphic (6.6.2)). Since U is a unitary operator on E, and the image of E under Z - U (which contains dom(H)) is dense in E, it follows that U is the Cayley transform of a self-adjoint operator which extends H .
A hermitian operator H whose closure H** is self-adjoint is said to be essent ialIy self adjoint .
Examples (15.13.9) Let (en),,>,,be a Hilbert basis of an infinite-dimensional separable Hilbert space E. Let F be the closed hyperplane in E generated by the en with n 2 1 (the orthogonal supplement of the line Ce,) and let U‘ be the isometry of F onto E such that U’ * en = en-l for all n 2 1. Then the image G of I - U’ is dense in E. For G’ contains the vectors en - en+, for all n 2 0, Q,
a n d i f a v e c t o r x = x <,e,inEis orthogonal toall thevectorse,-em+, then we have t,
n=O
=
(rnzO),
for all m 2 0, so that all the tn( n 2 0) are equal; and
this is not compatible with the convergence of the series
m n=O
1<1,’
unless
13 EXTENSIONS OF HERMITIAN OPERATORS
433
r,
= 0 for all n. It follows that U' is the Cayley transform of a closed Hermitian operator H' of defect (1, o), and consequently H" = - H' is a closed Hermitian operator of defect (0,1) (15.13.6). It can be shown that there exist closed Hermitian operators of defect ( m , n) for all choices of m and n in the set N u {+a} (Problem 7). In Chapter XXIII we shall sce, by means of the theory of distributions, how to describe the closure of the Hermitian operator H = iD defined in (15.13.2). We shall show that the defect of H** is (1, 1) if the interval I is bounded, (1,O) if I is bounded above but not below, (0,l) if I is bounded below but not above, and finally (0, 0) if Z = R.
Theorem (1 5.13.6) generalizes as follows. (15.13.10) For every complex number I such that Y(I)> 0, the subspace E+(A) (resp. E - ( I ) ) of dom(H*) consisting of the solutions of H* * x = Ax (resp. o f H * * x = -Ax) is isomorphic to EL (resp. EH).
Since the subspace G- + T ( H ) of T(H*)is closed in E x E (15.13.6), the restriction Hl of H* to dom(H,) = EH + dom(H) is a closed operator. Put I = p + iv, where p and v are real and v > 0, and calculate II(Hl - AZ) * x1I2 for some x = y + z E dom(H,), where y E dom(H) and z E EH . We have
(Hl . x l x ) = ( H a y - i z l y
+ z) = ( H - y l y )+ ( H a y l z ) - i(z]y)-i11z[12.
and since H* * z = -iz, we have ( H * y I z) = ( y I H* * z ) = i(y I Z). NOW,
by the preceding calculation and the hypothesis v > 0. If we put F = Im(H, - IZ), it foilows that HI - IZ is a bijection of dom(H,) onto F, and the inverse mapping ( H l - IZ)-' is a continuous linear mapping of the normed space F into E; since it is also a closed operator (because HI is closed), we conclude (15.12.2) that the subspace F of E is closed in E. We shall show that in fact F = E. We assert first that this is the case when I = i : for this we have to prove that if ( ( H I - i l ) * x I z ) = 0 for all x E dom(H,), then z must be
434
XV
N O R M E D ALGEBRAS A N D SPECTRAL THEORY
0. Now, by the definition of the adjoint (15.12.3), we see first that z E dom(HT) and next that ( x I H : z + iz) = 0 for all x E dom(H,), and since dom(H,) is dense in E, we have HT - z + iz = 0. Since dom(H) c dom(H,), we have dom(H:) c dom(H*), and H: is the restriction of H*. Hence H * * z + iz = 0, in other words z E EH , But EH c dom(H,) by definition, so that
-
and therefore finally z = 0. To prove that F = E for all A such that YA > 0, we observe that if this is true for A = A. , then the operator ( H , - A. Z)-' is everywhere defined and continuous, and satisfies
by virtue of (15.13.10.1). It follows (15.12.11) that ( H , - AZ)-' is everywhere defined and continuous for 11 - Aol < lYAol. By induction, ( H , - AZ)-' is everywhere defined and continuous for IA - (4)"il< ($)", and since the integer n is arbitrary, we have shown that ( H , - AZ)-' is everywhere defined for all A in the half-plane 9 2 > 0. We have thus defined, for all A E C such that .#A > 0, a continuous operator &A) = ( H , - AZ)-' on E, with image equal to dom(H,) c dom(H*). Since (HI - AZ)A(A) = Z, it follows that, for any two complex numbers a, P such that 4 a > 0 and Y j > 0, the operator
is everywhere defined and continuous; also the operator A(P)(H, - P I ) is the identity on dom(H,), and therefore
Hence the operators K(a, P) are invertible and bicontinuous. This being so, for every x E dom(H*) we have K(i, A) * x E dom(H*) and
-
(H* - 11) (K(i, A) * x ) = (H* - AZ) ' x = (H*
+ (A - i)(H* - AZ)A(R)- x
- il) - x
and likewise (H* - i Z ) * (K(1,i ) * x ) = (H* - U)* x . This shows that K(i, A) is a bicontinuous bijection of EA onto E+(A). Similarly for E-(A).
13
EXTENSIONS OF HERMITIAN OPERATORS
435
PROBLEMS 1. An unbounded self-adjoint operator H on a separable Hilbert space E is said to be simple if there exists x E dom(H) such that the vectors H" . x for n 2 1 belong to
dom(H) and form a total set in dorn(H). (a) If H i s simple, show that there exists a bounded positive measure p on R and an isomorphism T of L & L )onto E such that H = TM,T-', where Mu is multiplication by the class of the function 1, in L$(p): thus the subspace dom(M,) consists of the classes of functionsfe 9&)such that [I+&(() is square p-integrable. (Use Problem 7 of Section 15.12, by considering the bounded operators cp,"(H), where I,, = [n,n 1[ and n E Z.) (b) Let p be a bounded positive measure on R.Show that the class 3 of the function tt+exp(-(2) is such that the classes 3. = M; * 3 (n 2 0) belong to dom(M,) and form a total set in L&(p). (Letfbe a function belonging to -9&(p)such that
+
for all n 2 0. Every continuous regularization F = p * (f.p) of the measure f .p (14.11) is then orthogonal to the functions exp(-") for all n 2 0, with respect to Lebesgue measure on R,and therefore F is identically zero.' Deduce thatfz p = 0 and hence that f i s p-negligible.) (c) If we apply the orthonormalization process (6.6) to the vectors &, we obtain a Hilbert basis ( e J n L Oof L&), where en is the class of a function of the form Pn([) exp(-f2), with P, a uniquely determined polynomial of degree n, with real coefficients and strictly positive leading coefficient. Deduce that, if we put a,,," = (M,, . enI em), we have umn= 0 if Im - nl > 1, and an, + > 0. To simplify the , = an,"+ = an+1, ";then the operator Mu has as its infinite notation, put a. = a n nb. matrix with respect to the orthonormal basis (en)the Jacobi matrix
[we
(d) Let v be the measure with density exp-r2) with respect to p, and put
for n 2 0 (the "moments" of v, cf. Section 13.20, Problem 5). By multiplying v by a suitable constant, we may assume that co = 1. If we form the Gram determinants (Section 6.6, Problem 3)
* See for example my "Calcul infinit8simal," Chapter V, Exercise 12. Hermann, Paris, 1968.
XV
436
for n
NORMED ALGEBRAS A N D SPECTRAL THEORY
0, which are all strictly positive, show that Po([)
= 1 and
that
for all n 2 1. Also we have
6.
(4)
=
(Dn-lDn+ Dn
1)"'
(e) Conversely, for every (bounded or unbounded) positive measure p on R,show that the operator Mu (which is in general unbounded) is self-adjoint and simple. 2.
Conversely, let J be a Jacobi matrix (formula (1) of Problem 1) in which the a, are real and the 6. are real and >0, but are not restricted in any other way. Let be the canonical Hilbert basis of the Hilbert space Is (6.5). Define a hermitian operator H, with domain the subspace G of I& generated by the (finite) linear combinations of the e., by the conditions
H . e, = 6.-
en-
+ anen+ 6, en
+1
(n 2 0)
(with e - l = 0, b- l = 0). By abuse of notation, let H also denote the closure of the hermitian operator H. (a) Let 5 be a complex number. If y =
c m
"=O
y , e. is an eigenvector of H* corresponding
to the eigenvalue 5, show that y,, = Pn(5)yo, where P,, is a polynomial of degree n, determined recursively by the formulas Po@)= 1 and
b.P"+,(5) = (5 - a.)P.(5) - b.-lP.-l(D
(1)
for all n 2 0. Deduce that the defect of H is (1, 1) if, for some 5 E C such that we have
2IP.(5)1'<
1 5 # 0,
$03:
"=O
+
in which case this inequality is true for all 5 E C such that 95 0. In the contrary case, the defect of H i s (0, 0), in other words H i s self-adjoint (having regard to the abuse of language mentioned above). In every case there exist self-adjoint extensions of H. (b) Let F be the subspace of V,(R) consisting of polynomials with complex coefficients. Show that there exists a unique linear form aFon F such that
~ F ( PP,) "
= 6,"
(Kronecker index).
(If a polynomial is of the form RS, where R = have a,(RS)
=x
1
ul P1and S
=c P1,then we must i),
i
u1u l , which shows that aFis unique. For the existence, it is enough
1
to show that, if we write the product U(x) = ( x - zo)R(x)S(x) in the two forms ((x - z,)R(x))S(x)and R(x)((x- zo)S(x)), where zo is any complex number, then the calculation of aF(U)from each of these two products must give the same value. Reduce to the case where each of R, S is one of the polynomials P,,, and use the relation (I).)
EXTENSIONS OF HERMITIAN OPERATORS
13
437
(c) Deduce from (b) that there exists at least one bounded positive measure v on R with respect to which the powers f " (n 2 0) are integrable, and which extends the linear form c+, so that the P. form a (not necessarily total) orthonormal system in .YpS(v). (Use Problem 5 of Section 13.20.) All such measures v have the same "moments" C" =
J t" dv(t)
(n 2 0);
each c. is a rational fraction in the a, and bj (1 5 j 6 n - 1) with integer coefficients, and Pn(t)is given as a function of the c. by the formulas (3) of Problem 1. (d) For each of the measures v defined in (c), if 95 # 0 we may write
where
is a polynomial of degree s n - 1, and (3)
Deduce that, if 95 # 0,
(4) In order that there should be equality in (4)for one value of 5 such that 95 # 0 (in which case there is equality for all such 0, it is necessary and sufficient that polynomials should be dense in U&). (To show that this condition is sufficient, show that it implies that if a function g E Y ; ( v ) is orthogonal to all polynomials, then j ( t - [ ) - I g ( t ) dv(t) = 0 for Y[
> 0, and use Problem 16 of Section 14.11.)
3. (a) With the hypotheses and notation of Problem 2, consider two sequences (y"), (2.)
of complex numbers satisfying the recurrence relations
(1)
A h = b"-lY"-l
(2)
pzn = b,-
1
z.-
1
+any"
+ a,
2"
+ bd.,
1,
-k b. Z"+
1,
where A, p are any complex numbers. Show that (3)
( p - A)
n- 1
C
k=m
y,
zk =
bn- I ( Y -~ I zn - yn zn-
1)
- bm
- 1( Y m -
(b) Deduce the following formulas from (a): (4)
Pn- i(h)Q.(A)
(show that the Qn(A)satisfy (I));
1
- Pdh)Q.- i(A) = -
bn-
1
1 Zm
- Y m z m - 1).
438
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
Show that &(A) the point
is a closed disk contained in the half-plane Y w > 0, with center a t
Qn-
~(h)p.(h)
- Qn(h)P,-
i(h)
P"(h)P"-l(h)- Pn-l(h)p.(h) and radius 1
the frontier of K,(h) being the closure of the set of points
where t E R. We have K, + I(h)c Kn(h),and the frontiers of these two disks have a point in common. The intersection K,(h) of these disks consists of a single point if
and otherwise is a disk of radius 1
(d) Show that the following three properties are equivalent: ( a ) The operator H deduced from the Jacobi matrix J is self-adjoint. (p) There exists only one positive measure v which extends the linear form aF (in other words, the "moment problem" for the sequence (c,) has only one solution). ( y ) The set K,(h) consists of a single point, for some h E C with Y h > 0 (and consequently for all h E C with Y h > 0). (To show that (8) and ( y ) are equivalent, consider the matrices J. with n rows and n columns obtained by deleting the rows and columns with indices > n in J ; consider the corresponding problem in C", and then pass t o the limit.) (e) If the equivalent conditions i n (d) are satisfied, then the P, form a total system in L&(v).
13
4.
EXTENSIONS OF HERMITIAN OPERATORS
439
c"
With the notation of Problems 2 and 3, show that if the moment problem for the sequence (c.) has two distinct solutions, then both the series \Pn(A)l*and
1 IQ,,(&l'
converge for =FOX# 0 (use formula (4)of Problem 2).
n
Deduce that the moment problem has only one solution in each of the following cases: 1 (a) (Use formula (4) of Problem 3); n b.
c-=+co
(use the relation
(c) there exists a finite number r such that b.-i +a,
+ b, < r
for all n. (Note that equation (1) of Problem 3, with
M Y n + 1 - Y.)
- b,-l(y.
- yn-d = ( r
= r , takes
- b,-l -a.
the form - bnlynr
and deduce that the sequence (Q.(r)) is an increasing sequence of numbers > O . ) 5. (a) If (u.) is a convergent series of real numbers >0, prove Carleman's inequaliry
+
by writing u l u z ... u. = (uIaluza2. . . u.a.)/(n I)" for suitably chosen a n , to be determined, and using the inequality of the means (Section 13.8, Problem 14). (b) With the notation of Problem 2, show that if
then the corresponding moment problem has only one solution (" Carleman's criterion"). (Observe that bo bl
. . . bawl/(P&))'
and deduce that bo bl . . . bn-
i
dv(t)= t"P,(t) dv(t), then use (a).)
6 . Let H be a simple unbounded self-adjoint operator (Problem 1). Show that every closed subspace of dom(H) which is stable under H i s of the form dom(H) n E(A), where E(A) is the closed subspace of E which is the image of E under the orthogonal projector qa(H),and A is a universally measurable subset of E. (By using 3(d) and 3(e), remark that we may assume that H is of the form M , , where the bounded measure v on R is such that polynomials are dense in ..Y,$(v).) 7.
By using the existence of closed hermitian operators with defects (1,O) or (0, 1) (15.13.9), give examples of closed hermitian operators with defect (m, n) where m, n are arbitrary integers 20,or co.
+
440
XV
NORMED ALGEBRAS A N D SPECTRAL THEORY
8. A conjugation in a complex Hilbert space E is a semilinear bijection C of E onto E (i.e., such that C . (ax fl y) = G C . x PC. y ) satisfying (C . x 1C. y ) = ( y 1 x ) and C-I = C. Show that if a closed operator T o n E commutes with C (which implies that C(dom(T)) c dom(T)), and if dom(T) is dense in E, then C also commutes with T*. Deduce that, if a hermitian operator H commutes with C , then C(E4) = E,, and consequently the defects of H are equal. Apply this result in particular to the case where E is obtained by extension of scalars from a real Hilbert space Eo, and H is the extension to E of an unbounded operator Ho defined on a dense subspace dom(Ho) of Eo, such that (Ho . x I y ) = ( x 1 Ho . y ) for all x , y in dom(Ho).
+
9.
+
Show that a surjective hermitian operator H is self-adjoint. (For each y E dom(H*), remark that there exists z E dom(H) such that H * . y = H . z, and show that z must equal y.)
10. Let E be an infinite-dimensional separable Hilbert space. (a) If (a,) is any infinite sequence in E, then the vector subspace generated by the a. (i.e. the set of all (finite) linear combinations of the a,) is not equal to E (cf. (12.16.1)). (b) Show that there exist two Hilbert bases (a"), (b,) of E such that, if F and G are the vector subspaces of E generated by the a, and the bn respectively, we have F n G = {O}. (Starting with an arbitrary Hilbert basis (a"), construct inductively a total sequence (c,) such that the subspace G it generates is such that F n G = {0}, by using (a). Then orthonormalize the sequence (c").) (c) Suppose that the Hilbert bases (a"), (b,) have the property stated in (b). Consider two compact self-adjoint operators A , B on E, defined by A . a, = hnan and B b, =A. b., where (h,) is a sequence of real numbers > O and tending to 0. Show that the sequence (h,) can be chosen so that A(E) n B(E) = {O}. (Proceed by induction: let S. be the set of points of F of the form
"
k=
fkhkak 1
with
"
Ifll/
k= 1
=
1,
and let d, be the distance (strictly positive) of S, from the subspace G, generated by bl, . . . , b,; choose the h k with k > n such that h, < dJn. Then prove that, if U is k>n
the closed ball with center 0 and radius 1 in E, we have A(U) n B(U) = { O } . ) (d) The operators A and Bare injective; A-' and B-' are therefore self-adjoint closed operators (Problem 8) such that dom(A-') n dom(B-') = YO}. (e) Deduce from (d) an example of a self-adjoint operator H a n d a unitary operator U on E such that U z= l E and dom(H) n dom(ll-'HU) = (0).(Take E = F @ F and U .( x , y ) = ( y , x), and take H to be equal to A - ' on one of the summands F, and to B-' on the other, where A and Bare defined as above.) Hence give an example of a closed operator Tsuch that dom(T)is dense in E, but dom(T2) = {O}. 11. Let T be a closed operator on a separable Hilbert space E. The essential spectrum of T is the set o f f E C such that Im(T- 61) is not closed; it is a subset of the spectrum
of T. (a) Show that if N is an unbounded normal operator on E, then the isolated points of Sp(N) do not belong to the essential spectrum of N . (If h is isolated in Sp(N) and if M = Sp(N) - (A}, show that Irn(N- h l ) is the image of E under the projector P = v M ( N )(Section 15.12, Problem 7), by observing that there exists a continuous bounded function f on C such that f ( N ) y E dom(N) and ( N - hZ) . ( f ( N ). y ) = y for all y E P(E). (b) Conversely, show that for each unbounded self-adjoint operator A on E, a point h E Sp(A) which does not belong to the essential spectrum of A is isolated in Sp(A)
13
EXTENSIONS OF HERMITIAN OPERATORS
441
and is an eigenvalue of A . The essential spectrum of A is therefore the set of nonisolated points of Sp(A). (Reduce to the case h = 0, and by using Problem 1 of Section 15.12 reduce further to the case where Ker(A) = {O}; then show that 0 is a regular value for A , and use (15.12.11)) (c) If H is a closed hermitian operator of defect (m,n), then Sp(H) contains the halfplane 9 z 2 0 (resp. 9 z 5 0) if m > 0 (resp. 17 > 0). The essential spectrum of H is contained in R.If m and n are finite, and if H, is a closed hermitian operator which extends H, then the essential spectra of H and HI are the same (Section 15.12, Problem l(h)). 12.
Let W be an unbounded hermitian operator on a separable Hilbert space E. (a) If HI is the restriction of H * t o the subspace dom(H,) = dom(H) Ker(H*), show that HI is hermitian. (b) Show that if Im(H) is closed in E, then H I is self-adjoint. (If xcdom(H:), show that HT . x is orthogonal to Ker(H*), and therefore H: . x E Im(H) (Section 15.12, Problem l(c)); deduce that x E dom(H,).) If H i s closed and if there exists a real number which does not belong to the essential spectrum of H, deduce that the defects of H a r e equal. (c) Show that E&, (resp. E i l ) (notation of (15.13.6) is the intersection of E&(resp. EL) with the orthogonal supplement of Ker(H*). Deduce that if there exists h E R not belonging to the essential spectrum of H , and if the defects of H (which are necessarily equal) have a finite value m,then dim(Ker(H* - AZ)) 2 m. (d) Suppose that H i s closed, and let x be an eigenvector of H * corresponding to a real eigenvalue h. Put x = x,, y z, where xo E dom(H), y E EJ and z E E,. Show that llyli = I/zIl (reduce to the case h 0). (e) Suppose that H i s closed, and let h be a real number which does not belong to the essential spectrum of H ; suppose that the defects of H are equal and finite, say m, and that dim(Ker(H - hf)) is finite, say k . Then dim(Ker(H* - hr)) = m k . (We may assume that h = 0. By considering the restriction of H to the orthogonal supplement of Ker(H), reduce to the case where k = 0. Then deduce from (d) that Ker(H*) cannot have dimension > m , by using the hypothesis Ker(H*) n dom(H) = {O}, and complete the proof by using (c).)
+
+ +
:
+
13.
Let H be a closed hermitian operator whose defects are equal and finite, say m. (a) If Vis defined as in (15.13.4), then the self-adjoint extensions A of H are of the form A = i ( f + U)(Z- U ) - , , where U is a unitary operator extending V, such that U ( E & )= E i ; dom(A) is therefore the direct sum of dom(H) and the subspace ( I - U)(EH+)of dimension m,contained in dom(H*). (b) For a real number h to be an eigenvalue of a self-adjoint extension A of H, it is necessary and sufficient that h should be an eigenvalue of H * (use Problem 12(d)). Show that if h E R is not an eigenvalue of H, then there exists a self-adjoint extension A of H for which h is not an eigenvalue. (Use Problem 12(d) and (e), and choose suitably the unitary operator U of (a).) (c) Suppose that m > 0. For each h E R,show that there exists a self-adjoint extension A of H such that h E Sp(A). (Remark that, if A,, is a self-adjoint extension of H and h 4 Sp(Ao), then it follows from Problems 12(e) and ll(c) that h is an eigenvalue of H*.) (d) Let A , , A z be two self-adjoint extensions of H. If P+ (resp. P-)is the orthogonal projection onto Ef (resp. E;), show that the continuous operator
D
=(AZ
+ iZ)-I
-(A,
+ iz)-I
442
XV
NORMED ALGEBRAS AND SPECTRAL THEORY
is such that D = P-D = DP+, and is therefore of rank m (note that, if y X I = (A1 iZ)-' * y , then x1 E dom(H*) and y = (H* + iZ) . XI.)
+
E
E and
14. A closed unbounded hermitian operator H on E is said to be majorized (resp. minorized) if there exists a real number c such that ( H ' x l x ) <=c(xIx) (resp. ( H . x I x) c(x I x)) for all x E dom(H). The operator H is said to be positive if ( H . x I x) 2 0 for all x E dorn(H). Thus H is majorized (resp. minorized) if and only if there exists c E R such that c1- H (resp. H - c l ) is positive. (a) Let H be a positive closed hermitian operator on E. The hermitian form f(x, y ) = ( x H . x I y ) on dorn(H) makes it a prehilbert space, which may be considered as a dense subspace of a Hilbert space G. Show that the canonical injection j of dom(H) into E extends by continuity to an injection of G into E, so that G may be identified with a subspace of E. We denote the scalar product on G again byf(x, y). Show that there exists a continuous linear mapping B of E into G (where G is considered as a Hilbert space) such that (x I y ) = f ( B . x, y ) for all x E E and y E G. Considered as a mapping of E into E, the operator B is positive, continuous, selfadjoint and of norm 1 ; we have ( B . x I x) 2 IIB. xlj2, and B(Z H ) . y == y for all y E dom(H). Deduce that A = B-' - Z is an unbounded positive self-adjoint operator, such that dom(A) = B(E), which extends H. Hence the defects of H are equal.
>=
+
+
(b) Suppose that the defects of H are equal and finite, say m.If A l is any self-adjoint extension of H, show that the intersection of Sp(AI)and the interval 1- co,O[consists of eigenvalues of A l , and that the total number of such eigenvalues, each counted according to its multiplicity, is i r n . (For each compact interval J c 1- 03,0[, show that the image of E under the projector vJ(A1) (Section 15.12, Problem 7), which is contained in dom(A1), cannot have dimension > m , otherwise it would contain a nonzero vector x E dom(H) (Problem 13(a)); show that this conclusion would contradict the positivity of H.) 15.
Let H be a closed hermitian operator on E, with defect (m, n), so that -H has defect (n, m). Show that H i s the restriction to E of an unbounded self-adjoint operator A on the Hilbert sum E@ E.
16.
(a) Let G be an analytic function on the disk B : IzI < 1, such that W G ( z )2 0 in this disk. Show that the function
+
K(u, U) = (G(u) G(v))/(l- uV) on B x B is of positive type (Section 6.3, Problem 4). (Use Section 14.1 1, Problem 18.) (b) Let F be an analytic function on the half-plane D : $2 > 0. such that 9 F ( z ) >= 0 for all z E D. Show that the function
K(u, U) = (F(u) - F(u))/(u - V ) is of positive type on D x D (map D conformally on the disk B, and use (a)). (c) Let S be a denumerable infinite subset of the half-plane Y z > 0. Let C(v) denote the angular sector in this half-plane, defined by lWzl s ( 9 z ) cos v, for 0 < < In. Suppose that there exists a sequence (UJ of points of S contained in a sector C(po) and tending to 0. Let f be a mapping of S into the half-plane Y z > 0. In order that there should exist an analytic function F , defined on the half-plane 9 z > 0, such that -0F(z) > 0 on this half-plane and such that IF(z)/zI is bounded in every sector C(q),
13 EXTENSIONS OF HERMITIAN OPERATORS
443
it is necessary and sufficient thatfsatisfy the following two conditions: (1) the sequence
(f(u,)/a,) is bounded; (2) the function
&,
1) =
(fb)- f 0 ) h - 7)
on S x S is of positive type. (To prove sufficiency, note that there exists a separable Hilbert space E and a mapping s Hus of S into E such that k(s, t ) = (usI u,) (Section 6.3, Problem 8(c)), and we may even assume that the set of points us is total in E. Show then that the sequence (urn")in E is bounded and converges weakly t o a point uo (use (12.15.7.1) and (7.5.5)); we have (u,~uo) = f ( s ) / s for all s E S . Show that there exists an unbounded hermitian operator H on E such that H . us= ( u s- U O ) / S for all s E S ; using Problem 14, show that there exists a Hilbert space F containing E, and an unbounded self-adjoint operator A on F such that, for 4 2 > 0, the function F(z) = z((I - zA)- * . zto I u,,) satisfies the required conditions. Putting vL = ( I -
'
UO,
show that 9 F ( z ) = 9 ( z l ~ u Z l ~and ' ) that ljuIll sin rp 5 Iluo//for z E C(rp).)
REFERENCES
VOLUME I
[ I ] Ahlfors, L., “Complex Analysis.” McGraw-Hill, New York, 1953. [2] Bachniann, H., “Transfinite Zahlen” (Ergebnisse der Math., Neue Folge, Heft 1). Springer, Berlin, 1955. [3] Bourbaki, N., “ Eltments de Mathtmatique,” Livre I, “Thtorie des Ensembles” (Actual. Scient. Ind., Chaps. I, 11, No. 1212; Chap.111, No. 1243). Herniann, Paris, 1954-1956. [4] Bourbaki, N., “ Elements de Mathtmatique,” Livre 11, “Algtbre,” Chap. I1 (Actual. Scient. Ind., Nos. 1032, 1236, 3rd ed.). Herniann, Paris, 1962. [ 5 ] Bourbaki, N., “ Eltments de Mathbmatique,” Livre 111, “Topologie gtnerale” (Actual. Scient. Ind., Chaps. I, 11, Nos. 858, 1142, 4th ed.; Chap. IX, No. 1045, 2nd ed.; Chap. X, No. 1084, 2nd ed.). Hermann, Paris, 1958-1961. [6] Bourbaki, N., “Elements de Mathtmatique,” Livre V, “Espaces vectoriels topologiques” (Actual. Scient. Ind.,Chaps. I, 11, No. 1189, 2nd ed.; Chaps. Ill-V, No. 1229). Hermann, Paris, 1953-1955. [7] Cartan, H., “ S h i n a i r e de I’Ecole Norniale SupCrieure, 1951-1952: Fonctions analytiques et faisceaux analytiques.” [8] Cartan, H., “ TIiCorie 6lCnientaire des fonctions analytiques.” Hermann, Paris, 1961. 191 Coddington, E., and Levinson, N., “Theory of Ordinary Differential Equations.” McGraw-Hill, New York, 1955. [lo] Courant, R. and Hilbert, D., “Methoden der mathematischen Physik,” Vol. I, 2nd ed. Springer, Berlin, 1931. [ l l ] Halnios, P., “ Finitc Dimensional Vector Spaces,” 2nd ed. Van Nostrand, Princeton, New Jersey, 1958. [12] Ince, E., “Ordinary Differential Equations,” Dover Publications, New York, 1949. [I31 Jacobson, N., “Lectures in Abstract Algebra,” Vol. 11, “Linear Algebra.” Van Nostrand, Princeton, New Jersey, 1953. [14] Kamke, E., “Differentialgleichungen reeller Funktionen.” Akad. Verlag, Leipzig, 1930. [I51 Kelley, J., “Genetdl Topology.” Van Nostrand, Princeton, Ncw Jersey, 1955. [16] Landau, E., “Foundations of Analysis.” Chelsea, New York, 1951. [17] Springer, G., “ Introduction to Kiemann Surfaces.” Addison-Wesley, Reading, Massachusetts, 1957. [18] Weil, A., “Introduction A I’ttude des varietes kiihleriennes” (Actual. Scient. Ind., No. 1267). Hermann, Paris, 1958. [19] Weyl, H., “Die Idee der Rieniannschen Flache,” 3rd ed. Teubner, Stuttgart, 1955. 444
REFERENCES
445
VOLUME II
[20] Akhiezer, N., “The Classical Moment Problem.” Oliver and Boyd, EdinburghLondon, 1965. Thtorie ergodique des systemes dynaniiques.” Gauthier[21] Arnold, V. and Avez, A., ‘‘ Villars, Paris, 1967. [22] Bourbaki, N., “ Eltmentsde mathtmatique,” Livre VI, “ IntCgration” (Actual. Scient. Ind., Chaps. I-IV, No. 1175, 2nd ed.; Chap. V, No. 1244, 2nd ed.; Chaps. VIIVIII, No. 1306). Hermann, Paris, 1963-1967. [23] Bourbaki, N., “ ElCments de mathtmatique: ThCories spectrales,” Chap I, I1 (Actual. Scient. Ind., No. 1332). Hermann, Paris, 1967. [24] Dixmier, J., “ Les algebres d’operateurs dans I’espace hilbertien.” Gauthier-Villars, Paris, 1957. [25] Dixmier, J., “ Les C*-algkbres et leurs reprksentations.” Gauthier-Villars, Paris, 1964. [26] Dunford, N. and Schwartz, J., “Linear Operators. Part 11: Spectral theory.” Interscience, New York-London, 1963. [26a] Garsia, A. M., “Topics in almost everywhere convergence.” Markham, Chicago, 1970. [27] Hadwiger, H., “ Vorlesungen iiber Inhalt, Oberflache und Isoperimetrie.” Springer, Berlin, 1957. [28] Halmos, P., “Lectures on ergodic theory” (Math. SOC.of Japan, 1956). [29] Hoffman, K., “Banach Spaces of Analytic Functions.” New York, 1962. 1301 Jacobs, K., “ Neuere Methoden und Ergebnisse der Ergodentheorie.” (Ergebnisse der Math., Neue Folge, Heft 29). Springer, Berlin, 1960. [31] Kaczmarz, S. and Steinhaus, H., “Theorie der Orthogonalreihen.” New York, 1951. [32] Kato, T., “Perturbation Theory for Linear Operators.” Springer, Berlin, 1966. [33] Montgomery, D. and Zippin, L., “Topological Transformation Groups.” Interscience. New York, 1955. [34] Naimark, M., “ Normed Rings.” P. Nordhoff, Groningen, 1959. [35] Rickart, C., “General Theory of Banach Algebras.” Van Nostrand, Princeton, New Jersey, 1960. [36] Weil, A., “Adeles and algebraic groups.” The Institute for Advanced Study, Princeton, 1961.
This Page Intentionally Left Blank
INDEX
In the following index the first reference number refers t o the number of the chapter in which the subject may be found and the second to the section within the chapter. A
Abel’s partial summation formula: 12.7, prob. 9 and 13.21, prob. 6 Absolute continuity: 13.15 Absolute value of a continuous operator: 15.11, prob. 6 Absolute value of a measure: 13.3 Absorbing set: 12.13 Action of a group on a set: 12.10 Adjoint of an element of an algebra with involution: 15.4 Adjoint of an unbounded operator: 15.12 Algebra with involution: 15.4 Algebra without radical: 15.2, prob. 7 Almost everywhere: 13.6 Approximative point-spectrum: 15.1 1, prob. 9 Atomic measure: 13.18 Automorphism of a topological group: 12.8
Beurling algebra: 15.1, prob. 4 Beurling’s theorem: 15.11, prob. 3 Bieberbach’s inequality: 14.3, prob. 9 Birkhoff’s ergodic theorem: 13.9, prob. 12 Bitrace: 15.7 Bochner-Godement theorem: 15.9 Bohl’s theorem: 13.4, prob. 7 Borel-Cantelli theorem: 13.21, prob. 10 Bounded above, below: 12.7 Bounded complex measure: 13.20 Bounded in measure: 13.12 Bounded measure, bounded positive measure: 13.9 Bounded real-valued function : 12.7 Bounded subset (of a topological vector space): 12.14 Brunn-Minkowski inequality: 14.2, prob. 3 C
B
Baire’s theorem: 12.16 Balanced set: 12.13 Banach algebra: 15.1 Banach’s principle: 13.12, prob. 12 Banach’s theorem: 12.16 Banach-Steinhaus theorem: 12.16 Barycenter: 13.10, prob. 2 Bernoulli scheme: 13.21, prob. 18 Bernstein polynomials: 13.4, prob. 9
Canonical extension of a measure: 13.1 Canonical symmetry in a product: 12.5 Canonical topology on a finite-dimensional vector space: 12.13 Cantor’s “diagonal trick”: 12.5 Cap (in a convex set): 12.15, prob. 5 Carleman’s criterion, Carleman’s inequality: 15.13, prob. 5 Cauchy sequence (in a metrizable topological group): 12.9 447
448
INDEX
Cauchy-Schwarz inequality: 13.11 Cauchy’s determinant: 13.11, prob. 6 Cayley transform of a hermitian operator: 15.13 Centralizer of a subset of a group: 12.8 Chacon-Ornstein ergodic theorem : 13.17, prob. 5 Chaotic topology : 12.1 Character of an algebra: 15.3 Characteristic function of a set: 12.7 Choquet’s theorem: 13.10, prob. 8 Christoffel-Darboux formula : 15.13, prob. 3 Closed convex hull: 12.14, prob. 13 Closed graph theorem: 12.16 Closed unbounded operator: 15.12 Closure of an unbounded operator: 15.12 Coarser covering: 12.6 Coarser partition: 13.9, prob. 7 Coarser topology: 12.1 Compact space: 12.2 and 12.3, prob. 6 Comparable topologies, 12.1 Compatible (topology and group structure): 12.8 Compatible (topology and vector space structure): 12.13 Complete additivity: 13.8 Complete maximum principle: 13.13, prob. 2 Complex measure : 13.1 Compressible mapping: 13.9, prob. 11 Condensation of singularities: 12.16, prob. 14 Conjugacy: 15.13, prob. 7 Conjugate of a complex measure: 13.2 Conjugate mappings preserving a measure: 13.12, prob. 11 Continued fraction : 13.14, prob. 4 Continuous almost everywhere: 13.9, prob. 6 Convergenceinmean, insquaremean: 13.11 Convergence in measure: 13.2, prob. 2 Convergents to a continued fraction: 13.14, prob. 4 Convex hull: 12.14, prob. 13 Convolution of a measure and a function: 14.8 Convolution of two measures: 14.5 Convolvable function and measure: 14.8 Convolvable functions: 14.10 Convolvable measures: 14.5
Cotlar’s lemma: 15.4, prob. 16 Covering ((3-): 14.1, prob. 6 D
Defect of an unbounded hermitian operator: 15.13 Defined almost everywhere: 13.6 Dense point, with respect to a measurepreserving transformation: 13.11, prob. 11. Density with respect to a measure: 13.1 and 13.13 Differentiation under the integral sign: 13.8 Diffuse measure: 13.18 Dirac measure: 13.1 Directed set of seminorms: 12.14 Dirichlet algebra: 15.3, prob. 9 Dirichlet series: 12.7, prob. 9 Discrete topology: 12.1 Disjoint measures: 13.18 Domain of an unbounded operator: 15.12 Dominated convergence theorem: 13.8 Dual of a locally convex space: 12.15 Dunford-Schwartz ergodic theorem : 13.21, prob. 20 E
Egoroff’s theorem: 13.9 Elementary set: 12.5 Entropy: 13.9, probs. 27, 28 Equi-integrable set: 13.12, prob. 4 Equirepartitioned sequence: 13.4, prob. 7 Equivalent functions: 13.6 Equivalent measures: 13.15 Equivalent representations: 15.5 Equivalent seminorms: 12.14 Ergodic mapping, measure: 13.9, prob. 13 Ergodic point, with respect to a measurepreserving transformation : 13.11, prob. 11 Ergodic set: 13.11, prob. 1 1 Essential spectrum: 15.13, prob. 11 Essential subspace: 15.5 Essentially bounded function : 13.12 Essentially self-adjoint unbounded operator: 15.13 Exterior function: 15.3, prob. 12 Extremal point: 12.15, prob. 5
INDEX F
Faithful representation: 15.5 Faithfully (group acting): 12.10 Farey series: 13.14, prob. 3 Fatou’s lemma: 13.5 Filter base: 12.3, prob. 6 Finer covering: 12.6 Finer partition: 13.9, prob. 7 Finer topology: 12.1 Finite real-valued function: 12.7 Fischer-Riesz theorem: 13.11 Flight vector: 12.15, prob. 11 Frechet space: 12.14 Freely (group acting): 12.10 Fuglede’s theorem: 15.11, prob. 2 Fundamental sequence of partitions: 13.9, prob. 7 Fundamental system of bounded subsets in a topological vector space: 12.14, prob. 9 G G-covering, -packing, -tessellation: 14.1, prob. 6 Gauss-Kuzmin formula: 13.14, prob. 4 Gelfand transformation: 15.3 Gelfand-Mazur theorem: 15.2 Gelfand-Neumark theorem: 15.4 Gleason part: 15.3, prob. 18 Group algebra: 14.7 Group of real numbers modulo 1 : 14.2 Group with no small subgroups: 12.9, prob. 6 H
Haar measure: 14.1 Hahn-Banach theorem: 12.15, prob. 4 Half-space: 12.14, prob. 11 Hamburger’s moment problem: 13.20, prob. 5 Hardy-Littlewood maximal function: 15.10, prob. 5 Hardy spaces: 15.3, prob. 15, 16 Hardy’s inequality: 13.11, prob. 13 Hausdorff space: 12.3 Hausdorff’s moment problem: 13.4, prob. 11
Hermitian character: 15.4, prob. 3 and 15.9
449
Hermitian element (in an algebra with involution): 15.4 Hermitian unbounded operator: 15.13 Hilbert algebra: 15.7 Hilbert form: 15.6 Hilbert sum of representations: 15.5 Hilbert-Schmidt operator: 15.4 Holder’s inequality: 13.11, prob. 12 Homogeneous space : 12.1I Hopf’s maximal ergodic theorem: 13.11, prob. 16 Hyperextremal measure: 15.3, prob. 11 1
Identity component of a topological group: 12.8 Image of a measure: 13.1 and 13.4, prob. 8 Incompressible mapping: 13.9, prob. 11 Index of an operator: 15.11, prob. 22 and 15.12, prob. 3 Induced measure: 13.1 and 13.9 Induced topology: 12.2 Inequality of the mean: 13.8, prob. 14 Infinite matrix: 15.4 Information: 13.9, prob. 27 Inner measure of a set: 13.5 Integrable function, set: 13.7 Integral of an integrable function: 13.1 and 13.7 Integral of a function over a set A: 13.9 Integral with respect to a complex measure: 13.16 Integration by parts: 13.21, prob. 6 Interior function: 15.3, prob. 12 Invariant measure (on a group): 14.1 Involution in an algebra: 15.4 Irreducible idempotent: 15.8 Isometric isomorphism of normed algebras: 15.1 Isomorphism of topological groups: 12.8 Isomorphism of topological vector spaces: 12.13 Isoperimetric inequality: 14.3, prob. 10 J
Jacobi matrix: 15.13, prob. 1 Jacob’s theorem: 12.15, prob. 11 Jensen measure: 15.3, prob. 9
450
INDEX K
Kac’s theorem: 13.11, prob. 14 Kakutani’s skyscraper: 13.9, prob. 14 Kernel: 15.4, prob. 14 Khintchine’s inequality: 13.21, prob. 10 Khintchine’s statistical recurrence theorem: 13.11, prob. 10 Kolmogoroff-Sinai theorem: 13.12, prob. 10 Krein-Milman theorem: 12.15, prob. 5 Krylov-Weinstein theorem: 15.12, prob. 8 L Lagrange’s interpolation polynomial : 12.16, prob. 15 Lagrange’s theorem on sums of squares: 14.2, prob. 2 Lebesgue function: 13.16, prob. 2 Lebesgue-Fubini theorem : 13.21 Lebesgue measure : 13.1 Lebesgue-Nikodym theorem: 13.15 Lebesgue’s convergence theorems: 13.8 Lebesgue’s decompdsition theorem: 13.18 Left-invariant function on a group: 12.9 Locally closed: 12.2 Locally compact: 12.2 Locally convex topological vector space: 12.14 Locally finite family of subsets: 12.6 Locally integrable function: 13.13 and 13.16 Logmodular algebra: 15.3, prob. 9 Lower envelope of a family of real-valued functions: 12.7 Lower integral: 13.5 Lower semicontinuous function: 12.7 Lower semicontinuous regularization of a function: 12.7, prob. 8 M
Mahler’s criterion: 14.4, prob. 9 Majorized function: 12.7 Majorized hermitian operator: 15.13, prob. 14 Marcinkiewicz’s theorem: 13.21, prob. 21 Markoff-Kakutani theorem: 13.4, prob. 8 Martingale (elementary): 13.9, prob. 25 Maximal ergodic theorem: 13.9, prob. 12
Maximal ideal: 15.3 Maximal in measure: 13.12 Meager set: 12.16 Measurable mapping, set: 13.9 and 13.16 Measure : 13.1 Measure concentrated on a subset: 13.18 Measure defined by point masses: 13.1 Measure of a set: 13.7 Measure with base p : 13.13 Mertens-Alexiewicz theorem: 12.16, prob. 12 Metrizable group: 12.9 Metrizable space, topology: 12.1 Minkowski area: 14.3, prob. 10 Minkowski’s inequality: 13.11, prob. 12 Minkowski’s theorem: 14.2, prob. 2 Minimum in measure: 13.12 Minorized function: 12.7 Minorized hermitian operator: 15.13, prob. 14 Mixing mapping: 15.11, prob. 15 Modulus function: 14.3 Modulus of an automorphism: 14.3 Moments of a measure: 15.13, prob. 1 Miintz’s theorem: 13.11, prob. 6 N
Negligible function, subset: 13.6 and 13.16 Neumark’s theorem: 15.11, prob. 11 Neutral component of a topological group: 12.8 Nondegenerate representation: 15.5 Normable algebra: 15.1 Normal element of an algebra with involution: 15.4 Normal unbounded operator: 15.12 Normalized Haar measure: 14.3 Normalizer of a subset: 12.8 Normed algebra: 15.1 Nowhere dense set: 12.16 Nuclear operator: 15.7, prob. 6 0 One-parameter subgroup: 14.11, prob. 12 Open set: 12.1 Opposite group: 12.8 Orbit of a point under the action of a group: 12.10
INDEX
Orbit of a point under the action of a monoid: 12.15, prob. 11 Orbit space: 12.10 Orthogonal projector: 15.5 Orthornorrnal sequence of functions: 13.11, prob. 7 Outer measure of a set: 13.5
451
Quasi-nilpotent element in a Banach algebra: 15.3, prob. 5 Quasi-regular point (for a measure preserving transformation): 13.11, prob. 11 Quasi-representative measure: 15.3, prob. 9 Quotient group: 12.12
R P Packing (G-): 14.1, prob. 6 p-adic integers: 12.9, prob. 4 p-adic numbers: 14.3, prob. 6 p-adic solenoid: 12.9, prob. 4 Parallelotope : 14.3 Partition of unity: 12.6 Patching condition: 12.2 Patching together of topological spaces: 12.2 Plancherel-Godement theorem: 15.9 PoincarSs recurrence theorem: 13.9, prob. 11 Point-spectrum: 15.12 Polar decomposition of an operator: 15.11, prob. 6 Positive hermitian operator: 15.13, prob. 14 Positive linear form on an algebra with involution: 15.6 Positive measure: 13.2 Positive self-adjoint operator: 15.11 Potential: 13.13, prob. 2 Principle of domination: 13.13, prob. 2 Product group: 12.8 Product measure: 13.21 and 13.21, prob. 9 Product space, topology: 12.5 and 12.5, prob. 3 Product of topological vector spaces: 12.13 Proper mapping: 12.7, prob. 2 Properly (group acting): 12.10, prob. 1 Pseudo-distance: 12.4 Pure potential: 13.13, prob. 2
Q Quadrable set: 13.9, prob. 7 Quasi-ergodic set (with respect to an ergodic measure): 13.11, prob. 11 Quasi-invariant measure on a locally compact group: 14.3, prob. 4
Rademacher functions: 13.21, prob. 10 Rademacher-Kolmogoroff theorem: 13.21, prob. 12 Rademacher-Menchoff theorem: 13.11, prob. 8 Radical of an algebra: 15.2, prob. 7 Real measure: 13.2 Real-valued function: 12.7 Reducible indempotent: 15.8 Regular point (for a measure-preserving transformation): 13.11, prob. I1 Regular value of an element of a normed algebra: 15.2 Regularization of a function or a measure: 14.1 1 Relative minimum of a function: 12.7 Relatively invariant measure: 14.4, prob. 1 Representation of an algebra with involution: 15.5 Representative measure: 15.3, prob. 9 Residual spectrum: 15.12 Restriction of a measure: 13.1 Reversible vector: 12.15, prob. 11 Riemann sums: 13.9, prob. 7 Riesz (theorem of F. and M.): 15.3, prob. 14 Riesz-Thorin theorem: 13.17, prob. 7 Right-invariant function on a group: 12.9 Rokhlin's theorem: 13.18, prob. 9 Rotational mean: 14.3, prob. 9 S
Saturation of a set with respect to the action of a group: 12.10 Scalarly analytic, continuous, differentiable: 12.15 Scalarly integrable : 13.10 Self-adjoint element or subset of an algebra with involution: 15.4
452
INDEX
Self-adjoint unbounded operator: 15.12 Seminorm: 12.14 Separation (of two sets by a hyperplane): 12.15, prob. 4 Series in a topological vector space: 12.14 Simple convergence, limit: 12.5 Simple normal operator: 15.11 Simplex: 14.3 Spectral radius: 15.2 Spectral value of an element of a normed algebra: 15.2 Spectrum of an element of a Banach algebra: 15.2 Spectrum of a Banach algebra: 15.3 Spectrum of an unbounded operator: 15.12 Square-integrable function: 13.11 Stabilizer of a point: 12.10 Stable subspace (for a representation): 15.5 Star algebra: 15.4 Steiner symmetrization: 14.3, prob. 8 Stein’s theorem: 14.10, prob. 4 Step function: 13.9 Stieltjes measure: 13.8, prob. 6 Stieltjes’ moment problem: 13.20, prob. 5 Stieltjes transform: 14.11, prob. 16 Strict morphism: 12.12 Strong topology: 12.15 Subspace: 12.2 Sum of a series with positive terms: 13.5 Support of a function: 12.6 Support of a measure: 13.19 Symmetric neighborhood : 12.8 Szego-Kolmogoroff-Krein theorem: 15.3, prob. 11
T
Tessellation (G-): 14.1, prob. 6 Thue’s theorem: 14.2, prob. 2 Titchmarsh-Kodaira formula: 15.12, prob. 9 Topological group: 12.8 Topological isomorphism of normed (or normable) algebras: 15.1 Topological space: 12.1 Topological zero-divisor : 15.2, prob. 3 Topologically cyclic representation: 15.5
Topologically equivalent families of pseudodistances: 12.4 Topologically irreducible representation: 15.5 Topologically nilpotent: 15.2, prob. 5 Topologically simple: 15.8 Topology : 12.1 Topology defined by a distance: 12.1 Topology defined by a family of pseudodistances: 12.4 Topology defined by a family of seminorms: 12.14 Topology of convergence in measure: 13.12, prob. 2 Topology of simple convergence: 12.15 Torus: 14.2 Total mass of a bounded measure: 13.9 Totalizer: 15.5 Trace of an operator: 15.11, prob. 7 Transitively (group acting): 12.10 Translation of a function or measure: 14.1 Transpose of a continuous linear mapping: 12.15 Trivial action: 12.10 Type ( p , q ) (operator): 13.17, prob. 7
u Unbounded operator: 15.12 Uniformizable space: 12.4 Unimodular group; 14.3 Unitary element: 15.4 Unitary group: 12.15, prob. 8 Universally measurable : 13.9 Upper envelope of a family of real-valued functions: 12.7 Upper integral: 13.5 Upper semicontinuous function: 12.7 V
Vague topology: 13.4 Vaguely bounded, convergent, continuous : 13.4 von Neumann’s ergodic theorem: 12.15, prob. 12 von Neumann’s theorem on unbounded normal operators: 15.12
INDEX W
Wandering set: 13.9, prob. 11 Weak derivative: 12.16 Weak integral: 13.10 Weak topology: 12.15 Weak type ( p , p ) (operator): 13.21, prob. 21 Weakly analytic, bounded, closed, compact,
453
continuous, convergent, differentiable: 12.15 Width of a set: 14.3, prob. 9 Wiener’s inequality: 13.21, prob. 19 Y
Young’s inequality: 14.10, prob. 1
Pure and Applied Mathematics A Series of Monographs and Textbooks Editors Samuel Ellenberg and Hymen Ease Columbia University, New York
RECENT TITLES
XIA DAD-XING. Measure and Integration Theory of Infinite-Dimensional Spaces : Abstract Harmonic Analysis RONALD G. DOUGLAS. Banach Algebra Techniques in Operator Theory WILLARD MILLER,JR. Symmetry Groups and Their Applications ARTHURA. SAGLE A N D RALPHE. WALDE. Introduction to Lie Groups and Lie Algebras T. BENNYRUSHING. Topological Embeddings JAMESW. VICK.Homology Theory : An Introduction to Algebraic Topology E. R. KOLCHIN. Differential Algebra and Algebraic Groups GERALD J. JANUSZ. Algebraic Number Fields A. S. B. HOLLAND. Introduction to the Theory of Entire Functions W A Y N E ROBERTS A ND DALEVARBERG. Convex Functions A. M. OSTROWSKI. Solution of Equations in Euclidean and Banach Spaces, Third Edition of Solution of Equations and Systems of Equations H. M. EDWARDS. Riemann’s Zeta Function SAMUFL EILENBERG. Automata, Languages, and Machines : Volume A. In. prepmation: Volume B MORRISHIRSCHA N D STEPHEN SMALE. Differential Equations, Dynamical Systems, and Linear Algebra WILHELM MAGNUS.Noneuclidean Tesselations and Their Groups FRANCOIS TREVES.Basic Linear Partial Differential Equations WILLIAMM. BOOTHBY. An Introduction to Differentiable Manifolds and Riemannian Geometry BRAYTON GRAY.Homotopy Theory : An Introduction t o Algebraic Topology RonERT A. ADAMS.Sobolev Spaces JOHNJ. BENEDETTO. Spectral Synthesis D. V. WIDDER. The Heat Equation SEGAL. Mathematical Cosmology and Extragalactic Astronomy IRVINGEZRA J. DIEUDONNF.Treatise on Analysis : Volume 11, enlarged and corrected printing; Volume IV HALPERIN, A N D RAYVANSTONE. Connections, Curvature, and WERNER GREUB,STEPHEN Cohomology : Volume 111, Cohomology of Principal Bundles and Homogeneous Spaces I n preparation I. MARTINISAACS.Character Theory of Finite Groups
A 6 8 7 C B
E 0 F 1 6 2
H 3
1 4
J
5
ERRATUM J. Dieudonne Treatise on Analysis, Volume I1 Enlarged and Corrected Printing
Page 296, immediately before section on Exsmples. insert the fo!lowing: (iii) We have t o show that, for each h E ZX,(G),the sequence
( h , ~1 * C f n P I ) tends to ( h , p ) . By (14.10.9) we have (11, p * (f, /I)) = ( f , * h', P ) , and since the supports of the functions .f,* h' are contained in a fixed compact set H in G, a n d the sequence (f, * h ' ) converges uniformly to h' on H, the required result follows from the definition of a measure (13.1.1) and from (14.1.4).
This Page Intentionally Left Blank