5

### Fundamental Theorems in W*-Algebras

### Akio lkunishi

### Institute of Natural Sciences, Senshu University, 21418580 Japan

### Abstract

### In a W*-algebra, we mustfirstly prove the contirluity of the involutionand the separate

### ｡ontintlity of the multiplication, and the Compatibility of the (7-Strong tOpOlogy and the

cT-StrOng* topology with the duality between tノ材and its predual.,iW*. We shallgive the new### proofs of these facts and an elementary proof of Jordan decomposition in a W*-algebra.

A C*-algebra LM is called a W*一algebra if Eノ材is the dual space of a Banach space LM. as Banach Spaces. A Yon Neumann algebra is a Ⅳ*一algebra and a W*-algebra can be represented

### as a von Neumann algebra acting on a Hilbert space. We call LM. a predual of LM. The

c,(.ノ財,.ノ銑)-topology is called the (7-Weak topology.By using a theorem On extreme points, Sakai showed that any Ⅳ*-algebra has an identity.

### But the proof of the theorem on extreme points is difncult. In the first section, we use this

### fact. However, in the following Section we shall examine quite different proofs.

1. FUNDAMENTAL THEOREMS IN lγ*-ALGEBRAS

In this section, we use the fact that any lγ*-algebra llaS an identity.

In a Ⅳ*-algebra, tlle COntinuity of the involution and the separate contilluity of tlle nlulti-plication are non-trivial. These are implied 斤om the following facts:

### (a) the self-adjoint portion hms and the positive portion.M+ of.AW are J-Weakly closed;

### (b) the involution I r- X* is c,-weakly continuous;

(C) ･ノ教ト- LMs n (LAW*+)0, where LM*+ is the positive portion of LAW.;

### (d).AW.+ is uniformly total in J4g*;

### (e) any bounded increasing directed falnily (xL)i in.M+ Converges o1-weakly alld c,-strongly

### to the supremum supL XL;

### (f) the spectral decomposition of a self-adjoint element of.AW.

### We can see the above facts in the above ()rder. The Separate COntinuity of the multiplication

follows from the continuities of the mapplngS二r r- C/.,r and.,r ‥ xe for all projection e, and the uniform totality of the set of all projections in Lノ材. S. Sakai implied the c,ontinuities of the mapplngS I L- e二r andニr - Xe from the continuity of the mapplng X r- eこre. However we directly prove the continllities of the mappings二r r- eX and.,r r- xe. The Sakai's proof of the mappingこr r- eこre is di瑞.cult and long. The uniform totality of the set of all projections in./身is

### an imIlleadiate result of spectral decomposition, but Sakai used the Separate COntinuity of tlle

### multiplication in the proof of spectral decomposition. Fbr this reason, Sakai needs discussions

### on Stonean spaces. Our proof of spectral decompositon does not need the separate continuity

### of the multiplication, and is simple and essential.

### In a W*-algebra, it is non-trivial that the J-Strong tOpOlogy is finer than the cT-Weak

### topo1-ogy･ Sakai showed this fact by Jordan decomposition and proved Jordan decomposition by

### the discussi()ns on extreme points. However, we must prove the ab()ve fact by the duality.

### By the duality, we can see that any self-adjoint element of the predual (:all be expressed as a

### difference of two positive elements of the predual･ This implies that the o1-Strong tOPOlogy lS

### finer than the cTIWeak topology. But we shallgive an elementary proof of the finer fact: Jordan

### decomposition.

Lemma l･ In a W*-algebra LM, the self-adjoint portion.ノ材s and the positive portion L46+ are

### 0--weakly closed.

Proof･ Let L99 be the unit ball ofLM･ Let I be in the o1-Weak closure of-AWsnLSP･ If入∈ Sp(JJ7), then we have, for an arbitrary real nulnber α,

### lα-Im入l≦匝-11≦lLicd-xH≦ sup Hiα1-yH≦(α2+1)1/2,

y∈.〝sn･y

so that Imユ- 0･ Hence Sp(I) ⊂ R. Ifx - a+ib for self-adjoint elemelltS a and b of.ノ材, then we have Sp(ib) ⊂ R, becauseofx-a ∈ (,4Wsn2L5P. Hence we obtain b- 0 and so I ∈ L465.

### Therefore -4Ws n (SP is cT-Weakly closed, and hence,.Ms is cT-Weakly closed.

Since tノ教トnLSP - tMsnLSPn (1 -LjP), Lノ畝トnL99 is o1-Weakly closed, and hence,.ノ畝トis c'-weakly

closed. n

Theorem 2･ For a W*-algebra.ノ材, the involution I L) T* is J-Weakly continuous･

Prvof･ Let LSP bethe unit ball of-M･ Themapping￠: tMsnLSPxLMsnLSP ∋ (I,y) L- I+iy ∈ tAW

### is J-Weakly continuous and injective, and its range contains L99. Since, by the Lemma 1,

-4Ws n Lプis c,IWeakly compact, ￠ is homeomorphic and so ￠ 1lLSP is o1-Weakly continuous. HencJe prl ｡ ￠ 1lLSP is o1-Weakly continuous･ Since prl ｡ ￠-1(I) - 1/2(i: + X*), the restriction### of the involution to L99 is o1-Weakly continuous and so the involution is J-Weakly continuous on

.ノew. □

Lemma 3･ For a W*-algebra -AW, it holds that -a+ - hms n (.ノ財.+)0, i.C.,.AW+ is the polar of

･〝. Ill ///, ,Ill,I//f!/ /,,fII･.,II ･〝､ ,IIl,I I/I, "//-1･(,I/･J/Ill I･tJr//,Ill ,JI.〟..

Proof･ Let <M*s be the real linear space of all self-adjoint elements of tノ歓. Since, by Theorem 2, the adjoint p* of any element p in ･ノウ軌belongs t0 -4*, the c,(.Ays,.4.a)-topology is home0-morphic to the relative topology of the J-Weak topology and so.Jig+ is o-(.ノ身S, LM*S)-cl()sed ill -MB･ Hence the bipolar of LAW+ coincides with -M+ itself in the duality betweell.ノ材s and LAW.S, in virtue of the theorem of bipolar･ Therefore we obtain tAW+ - LMs n (LAW.+)0. □

Lemma 4･ For a W*-algebra Lノ材, LAW.+ is uniformly total in i/軌.

Proof･ Suppose that I ∈ -4g and p(I) - 0 for all p ∈ -4g.+. Then we have, for any p ∈ tM.+,

### p(i(I-X*)) -i(p(i:)一両) -0.

By Lernma 3, we have i(I-X*) - 0, i･e･, I ∈ U465. Hence we have I - 0. Therefore LM.+ is

weakly total in LM. and so is uniforrnly total. □

Lemma 5･ Let LM be a W*-algebra･ Then any bounded increasing directed family (xL,)L∈J in

tM+ con,Verges c,-weakly and 01-5･trOngly to supL∈I rL･

### Prvof･ Since any bounded 0--weakly closed set of tM is J-Weakly compact, a bounded increasing

directed family (xl/)I,∈I has some cluster point I ∈.ノ教トWith respect to the o1-Weak topology. For any p ∈ tノ軌+, since p(I) is a cluster point of (p(xL)),/∈I, We have p(I) lilnL∈IP(i:L)-supLEIP(xL)･ Since p(I-3;i) ≧ 0, by Lemma 3, we have.,r-.,rL >_ 0, i.e., I ≧ xL and so.T is an

### Fundamental Theorems in W*-Algebras

for all p ∈ -46.+ and so y ≧ X･ Hence we obtain I - supL∈ITL･ Since supL∈IXL is a unique

cluster point, it, is a 0--weak limit of (xL)L∈I･ Since

(I-xI,)*(I-XL) ≦順一xL=(I-XL) ≦ LIx‖(I-xL),

we have p((I - I,/)*(X一･T,.)) ≦ ‖xHp(X - xL) forany p ∈.M.+･ Therefore (xL)L∈I COnVergeS

cr-strongly to supL XL. LJ

### The J-Strong tOpOlogy is finer than the topology of pointwise convergence on the positive

### portion of the predual. By Lemma 4, 0m a bounded set the topology of pointwise convergence

### on the positive portion of the predual is homeomorphic to the J-Weak topology. Hence the

### JIStrOng tOpOlogy is Hausdorffon a bounded set.

Theorem 6 (Spectral Decomposition)･ Let tノ材be a W*-algebra and h a self-adjoint element

of-M･ Then there exists a umque function e(I) on R valued projections in Lノ材such that

(a) e(S) ≦e(i) whens≦t;

### (b) e(i) - lim e(a);

### sーt-(C)tPi慧e(i)-0 and t聖ke(i)-1;

(d) for any p ∈ LAW.,### ･h,9, - Fntd〈e(i,,p〉 - i(h,td〈e(i,,9,,

### where the topology is the o1-Strong tOPOlogy and the integral is Lebesgue-Stieltjes integral.

Proof･ Let A be the C*-subalgebraofLAW generated by h and 1. The *-isomorphism C(Sp(h)) ∋ I rl i(h) ∈ A is the inverse mapping of the Gelfand representation of A. Let LK(R) be the *-algebra of all complex valued functions on Rwith compact support. Let x(-∞,i) be the charact,eristic function of (-∞,i)･ Since Ft - (I ∈ LK(R) L 0 ≦ f ≦ X(-cx,,i)) is a directed set, (f(h))f∈Ft is a bounded increasing directed family in A十･ Hence, by Lemma 5, there exists a supremum e(i) - supf｡Ft f(h) - 1imfTx(_∞,t) f(h) ∈ -AW･ We shall show that e(i) is aprojection･ By Cauchy-Schwarz inequality, for any I ∈ -M, (xf(h))f∈F(i) and (f(h)I)fEF(i) convergesO1-Weakly to xe(i) and e(i)X, respectively･ Hence we have e(i)f(h) - 1img∈F(i) g(h)f(h) - f(h)

for any f ∈ F(i) and so e(i)2 - 1imf∈F(i) e(i)f(h) - limfEF(i) f(h) - e(i)･ e(i) is therefore a

### projectioll.

It is easy that the conditions (a) and (b) are satisfied･ Moreover, since e(一日hll) - 0 and e(‖hH+) - 1, the condition (C) is satisfied･ Hence, for any p ∈.ノ身ごト, since (e(･),p) is a

### increasing function which is continuous from left, it induces a Lebesgue-Stieltjes measure.

For p ∈ -4V.+, the linear form LW(R) ∋ f - (f(h),p) ∈ C is a bounded positive measure

### of which the support is included in Sp(h) and induces a measure on R as a set function. By

### construct,ion, it coincides with the above Lebesgue-Stieltjes measure. Hence we have

### (I(h),p) -

_{.i}

p(h)

### f(i) d(e(i),p).

If 9 - 9+-p_ is a Jordan decomposition of a self-adjoint element p ofL/i私in the dual.ノ材*, then

### the function (e(･), p) is of bounded variation, because that it is a difference of the increasing

### functions (e(･), p+) and (e(･), p｣. Hence (e(･), p) induces a Lebesgue-Sticltjes measure. By

Lemma 4 and Lemma 2, we obtain, for any p ∈ Lノ就,

### (I(h),p) -

### f(i) d(e(i),p)･

### In particular, if f is a function in LK(R) such that f(i) - i on Sp(h), then we have, for any

### p∈LM.,

### (h,p) -

_{i(I"}

### td(e(i),p)･

Next, we shall show the uniqueness of (e(i))tER･ Put tk - kJj77/ for a nonzero natural 二lumber n and integer k, and fn - ∑k'=C"_∞廟tk,tk.1); thell, LSince lt - fn(i)I ≦ 1/n, fn is integrable with respect to (e(･),p) for any p ∈ Lノ銑and

### /id(e(i),p) - /fn(i) d(e(i),p)

### ≦土IIpH.

nHence (the(ltk, tk+i)))E?=_∞ is summable with respect to the c,-weak topology and

1ヾ

### h,- ∑ the([tk,tk.]))

k=-CXD 1 ≦-/n,Since a convergent sequence is bounded, the sequence (∑芸_m玩c(ltk,玩+1)))m is o1-Weakly

### bounded and so is uniforInly bounded, in virtue of the uniform boundedness theoreIn. If

e(ltk,tk+1)) ≠ 0 and m ≧ lkl, then we have ll∑:7=_mtie([吊i+I))Il ≧困･ Hence there is allatural number i such that e(-i) - O,e(i) - 1 and Sp(h) ⊂トl,l]. Therefore we have

､＼ Jll

### ∑ the([tk諭+1)) - ∑ the([tk,tk.1))･

k=-oo k=-lnIt follows that limnー∞ llhm - ∑た_l謹e([tk,tk.i))ll - 0 for a natural number m, so that, for ally P ∈ Lノ私,

### (h/m,p) -

_{ノー}

### 川

### tmd(e(i),p)･

### Since a continuous function f on l-l, l] can be uniformly approxilneted by polynomials, we

obtain (f(h), p) - If(i) d(e(i),p) for any p ∈ LM･･ Aモebes.gue-Stieltjes measure satisfyingtJhese equalities is one and only one, and hence (e(i))te且 IS unlque･ □

Tllt101･=" T･ I/,･I ,II/I/ I/,Ill,(,/,I ,I/ ,I llp■-,I/I/,/JI･,I ･〝. I/l･ IIJtlJ･JJ/IJ,/､.〟 ∴,I. I ,I.I .〟 ,I/I,/

./7 ･.I I I.),/ -I.〟 ,IJHT-IrHJ/.All/ …I///I/Ill,II､.

Proof. Let e be a pojection of.ノ材. Letこr be in the o1-Weak closure of the unit ball of e.ノ材. For

### any natural number n, we have

Hx+n(1-e)xH ≧ Il(1-e)(I+n(1-e)I)=-(n+1)Ir(1-e)緋

On the other hand, we have, for any y ∈.ノ材,

=ey+n(1-e)X=2 -日(y*e+n,a:*(lle))(C,y+n(1-e)I)=

### - Ily*ey+n2X*(1 I e)xH

≦ lleyII2+n211(1-e)X‖2.

Therefore we have llx +,n,(1 - e)xH2 ≦ 1 +γlJ211(1 - e)洲L2. Hence we have

### Fundamental Theorems in W*-Algebras

9### and so

(2r7/+ 1)ll(1 -e).,rLl2 ≦ 1.

Therefore we obtain (トe).,r - 0 and so I - ex ∈ eLM. Hence e/.M is J-Weakly closed. (1-e)(-4g also is 0--weakly closcd･ Let Lプbe the unit ball oftAW･ The mapping c.MnL99 × (1 1e).ノ材nLSP ∋ (I,y) ‥ 31. + y ∈ (ノ材is J-Weakly continuous and injective, and its range contains LjP･ Since eLM n Lダ× (1 - e)LM n亡y is J-Weakly compact, this rllapPing is a homeorllOrI)hism and so the rllapPing亡ダヨT r- eT ∈ tノ材is cT-weakly continuous.

Since, in virtu(ラOf spectral decomposition, the set of all proje(:tions is uniformly total in tノ材, for any a ∈.ノ材, the mapping LSP ∋ I r- ax ∈ (ノ材is J-Weakly continuous and so the mapping I/材∋ i/･ - aJJ･ ∈ tノ材is 0--weakly continuous. Similarly, it follows the continuity of the mappiIlg

I H xa. □

Ltlmmilバ. J一°.〟 /I-I tl I-,lI,/,Ill,I ,Ill,/ r ,( ､･〃 ,I,!/I,/Ill ,/,/I/･I/I ,･II/I･ IりnIIltl/.〟. ･･/.U. j'//,I/ I/),I･ I l･′､日,I･=/J･･､/I/IHI,lI/'I//日. I/Ill/〟,,(.〟. ､J/I/I //Ill/ ,一- f･ ∴

### Proof･ Since tMsn (LM.+)0 - ･M+ - tMsn (.4VI)0, where LAWl is the positive portion of the dual

･M* of.AW, EM.+ is a-(tノ4WL:, LMs)-dense in ･MI･ For any self-adjoint element x of.ノ材, there exists a state p of Lノ材such that H.,r= - I(I,洲. For an arbitrary positive numt)er E, there exists an element ′￠ of LM.+ such thatL(i:,P)-(JI,′拙くE, I(1,9)-(1,捌くE･

Since (1,9) - 1 alld (1凍) - =中日, we have

川.TH - I(L7:,冊‖ 1洲J _< I(.,IJ･,P) - (I,,洲+ I(I,4,-日4,IJJld))I

### ≦(1+=xH)E.

### Therefore we obtain

植= -supil(i:,P)L I p∈.AW*+,llpH ≦ 1).

Let S denote (p I p ∈ tM.+,目測≦ 1); th(-Il the unit ball of.465 coincides with the polar of S u (-S) in the duality between./材s alld the self-adjoint portJioll tノ顔㌘ of.-4.1 By the theorem

### of bipolar, the unit ball of.M;9 Coincides with the closed convex hull of S u (-S) with respect

to (亘ノ軌, -a)-topology. Hence the convex hull of S U (-S) is uniformly dense in the unit ball### of.AW.a.

Let p be a self-adjoint element Of.ノウ私; then, by induction, there exist sequences (pn)T" (,症)I,i,

### (LJn)n and (An)n such that

≦2 n, pγ∼-木南∼-(1-A,IJ)LJm An∈[0,1], ･Ol∈=pHS, LJl∈IIpHS, ･4)rn ∈ n-1

### 9 呂pi

S, LJnJ∈ n-1### 9一芸pi

∫ (γ?′>1).Since ∑nT=1 An,4,n ∈ (=pl1 + 1)S and ∑ncx3=1(1 -人n)LJn ∈ (lLp‖ + 1)S, wc obtain

00 (X〕

### p - ∑入nrd,n - ∑(1 Jn)LJn･

n=1 n=1

In virtue of a similar proof as above, we can see the completeness of ｡g(こ筋)* for a Hilbert

### space ｡9e'.

Let p be in tノ銑and pa and ap denote the linear forlnS On ･ノ4W defined by pa(I) - p(ax)

### and ap(I) - p(xa), respectively; then, by Theorern 7, 9a and ap belong to.J4g*.

### Theorem 9 (Jordan Decomposition)･ Let LM be a W*-algebra and p a self-adjoint element

･Jr//l･ /JI･t･/,I,II･〝.. TII･/, ,日,Ill /I, ,/,I,Ill/IJ,,-/ /,I/ /II.･J IH､′I/(.t I/lit,I/I /-,Jrll)･､ i ,lIItI ,- /II./Y.

### as follows:

### 9-p+-9-,瞳H-llp+ll+Hp_l卜

Jordan decomposition in.ノ材* is unique.Proof･ There exists a self-adjoint elernent L･ ∈ LM such that帰日- p(I) and Hx= ≦ 1. Let

### i: - Itde(i) be a spectral decomposition ofx and put e - 1 -e(0) and f - e(0); then we

have, for any p ∈.M.+,

### (xe,p) - /td(e(i),ep) - /td(e(i)e,p) - /.,.∞)哩(i),p) ≧ 0,

so thatこre ≧ 0, in virtue ofLemma 3. Similarly, we have xf ≦ 0. Let 9 - 9+ -恥be a Jordan decomposition of p in.ノ材*; then we have

### llpH - p(xe+I/･f) - p+(xe) +p_(-xf) - (p+(-xf) +p_(xe))

### ≦ p+(JJ･e)+p-(-Xf) ≦ p+(e) +p_(f)

### ≦p+(1)+9-(1)-HpH･

### Hence we obtain p+(e) - p+(1) and p-(f) - p_(1), i.e., p+(1-e) - 0 and p_(e) - 0.

By the Cauchy-Schwarz inequality, we have (1 - e)打- ep- - 0 and so p･ - e竺∈ LM･,

because of Theorem 7. Hence we obtain p_ニーfp ∈ -M*. These facts show the unlqueneSS

of decomposition, too. ∩

### Theorem 10. Let.AW be a W*-algebra. Then the c,IStrOng tOPOlogy and o1-StrOng* topology

･I/-･J/I/I"lI/I,/I I′一/I// //I, ,/Il,IIIII/ I,, III･,, II.〟 ･IIJ').0..Proof. Since any p ∈./乾トis J-Strongly continuous, by Lemma 8 or Theorem 9, any p ∈ -AW*

### is J-Strongly continuous.

Since tAW ∋ a r- pa ∈.ノ銑and.AW ∋ a r- ap ∈ Lノ銑are continuous, the balanced convex sets (pa l Ha‖ ≦ 1) and †ap l lla‖ ≦ 1) are weakly compact. Since, for any elerllellt I Oftノ材with IIx‖≦1,

p(X*JJ･) ≦ sup(lpa(I)= LlalL ≦ 1)

### and

p(xx*) ≦ sup(lap(I)= lEa= ≦ 1),

### the Mackey topology is finer than the o1-StrOng* topology on the unit ball of LAW. Hence any

J-StrOngly* continuous linear form p is 71(.AW,.ノ銑)-continuous on the unit ball and so the

### intersection of ker p and the unit ball is 7-(LAW, U4W.)-closed. Hcncc it is JIWeakly closed and so

### kerp IS O1-Weakly closed. Hence p IS U-Weakly continuous. Therefore the o1-Strong tOpOlogy

Fundamental Theorems in W*-A】gebras

### lL

### 2. DIFFERENT APPROACH

In this section, we prove that any Ⅳ*-algebra has an identity. Also we give the quite

### different proofs of Lemma 1, Theorem 2 and Theorem 7. We need the followlng theorems:

### (A) Kaplansky's density theoreIll;

### (B) tJhe s.econd dual of a C*-algebra is a C*-algebra;

### (C) Tbmlyama's theorem on projections of norm one･

### (A) implies (B). From (B) and spectral decomposition it follows (C)･

### Let LAW be a W*-algebra; then tM is isometrically isomorphic to tM**/(LM.)o as normed

spaces･ Regarding.ノ冴as a subspace of LM**, the canonicalmappillg E:.ノ財**一･ノ材**/(･ノ銑)0

-./紗is a (7-Weakly continuous projection of norm one. The quotient topology of c,(･ノ材**, tノ材*)-topology by (Lノ銑)o is the (丁(LAW**/(.ノ銑)0, LM.)-tノ材*)-topology and so E is an open mapping. It follows

### very easily from (B) that E is positive (C.f. [1])･ We need only the positivity off tO See Theoreln

### 13, Lemma ll and Theorem 12･ The proofs of (A), (B), Theorem 13, Lernma ll and Theorem

### 12 are independent of the proof of Lcmlna 1. Since, by the definition the multiplication in the

### see/ond dual A** of a C*-algebra A is separately Continuous, a cluster point of an approximate

### identity in A is obviously an identity of A**.

Lemma ll. The positive por･t7J'on.,4g+ of a W*-algebra LAW is c,-weakly cl()Bed in.ノ材.

Proof. Let Lダand Lダ′ be the unit balls of Lノ材and.ノ材**, respectively. Since a pr()jection of llOrm one is positive, we have ･J4g+ n LダニE(LMI* ∩しプ′)･ Sill(.Je ･M** is a C*-algebra with identity, we have -MI* ∩亡jP′ - ･AWs** ∩亡プ′ ∩ (1 -亡プ′) and so -MI* n LSP′ is a-(LAW**, eAW*)-compact･ Hence .ノ教ト∩ ,90 is JIWeakly compact in I/材. <ノ教トis therefore 0--weakly closed in Lノ材･ □

### Theorem 12. Any W*-algebra has an identity.

### Proof. Let 1 be a cluster point of an approximate identiy (eL) of LM with respect to the

J(<ノ材**,.ノ材*)一tOPOlgy; then 1 is an identity of ･M**･ The set of all JIWeakly closed sets †X ∈

.AW恒≧ eL, ‖可I ≦ 1) hasfiIlite intrsection property and so its intersection contains some

element e ∈.M. Since e is arl upper bound of (eL), We have p(1) - limlJP(eL) ≦ p(e) for any p ∈ L斬･ On the otherhand, siIICe e ≧ 0 alld He= ≦ 1, for any vn ∈ -4gI we have 0 ≦ p(e) ≦ ‖pJl - p(1). Hence we have p(e) - p(1) for any p ∈ ･J4WI･ Since tAWI is linearly totalinLM*, p(C,) -p(1) forany p ∈LM* andsoe- 1. □

### Theorem 13. The inv()lution in a W*-algebra._M is o1-Weakly continuous.

Proof. Let U be an open set of.M with respect tO the o-(LM,i/歓)-topology; then Ell(U) is

チn open set of LAW** with respect to the J(tAW**,.AW*)-topology･ SiIICe, by the definition the チnvolution in LM** is JIWeakly contiIluOuS, the inverse image E 1(U)* ofEll (U) by the involution

### lS Open. Since E is an open mapping, E(E 1(U)*) is Open in LM. Since E is self-adjoint, we have

### E(E 1(U)*) - (E(E 1(U))* - U* and so U* is open. Therefore the inv()1ution in tJW is c,-weakly

contilluOuS. □### By the above theorem, the self-adjoint portioll Of a W*-algebra is clearly a-IWeakly closed.

### Now, from (B) and spectral decomposition it follows Tomiyama's theorem on projections of

norm one (C.f. [1]) and hen(二e it holds that E(ax) - aE(I) for any.7: ∈ ･ノ材** and a ∈.ノ4g･

Tht､Ol･tlJH Ill. r/), II,II/I/J･//,･lII,Ill /II ,I ll'l ･l/,I･IJ/I,I.〟 I､ ･､･JJ,lI･l/Ill/日,IIIIII,l･JH､ ,(.///I I,･､/I,,I I,I

Proof. Let a be an element Of.ノ材and入￠ Sp(a). We shall show that the mapping.ノ冴∋ I Lj

(入1 - a)I ∈ ･M is c7-Weakly continuous･ Let U be an open set of tノ材with respect to the c,-weak

### topology; then E 1(U) is an open set with respect to the c,(･M**,-4g*)-topology･ Since the

mapping -AW** ∋ I Lj (入1 - a)I ∈ LM** is continuous, the inverse image (入1 - a) 1E 1(U) of Ell(U) is open in.M**･ Since E is an open mappillg, E((入1 -a) 1E 1(U)) is open in -M･ SinceE((入1 la) 1E 1(U)) - (入1 -a) 1E(E 1(U)) - (入1 -a)JJU,

(入1 - a) 1U is open in.M. Therefore the mapping.ノ材∋.77 r- (入1 - a)I ∈ LAW is o･-weakly

continuous andalso is the mapping tノ材∋ X - ax ∈./材. Similarly, the mapping.ノ材∋ I L)

xa ∈ LM is cT-Weakly continuous. 口