Representations of positive projections 1 Introduction - Mathematics ...
Representations of positive projections 1 Introduction - Mathematics ...
Representations of positive projections 1 Introduction - Mathematics ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
(i). For all a b 2 L we havea + b 2(a ^ b) and so (a + b) +<br />
which implies that<br />
a + dd + dd<br />
\ b<br />
(a + b) + dd .<br />
Applying this to a = w ; f and b = w ; g we nd that<br />
( w ; f) + dd \ ( w ; g) + dd<br />
from which (i) follows.<br />
(ii). It follows from<br />
that<br />
(( + ) w ; (f + g)) +<br />
(( + ) w ; (f + g)) + dd<br />
and this implies that<br />
(( + ) w ; (f + g)) + dd \ ( w ; f) + d<br />
2(a + ^ b + ),<br />
(( + ) w ; (f + g)) + dd ,<br />
( w ; f) + +( w ; g) +<br />
( w ; f) + dd + ( w ; g) + dd<br />
f +g<br />
Since p + ^ ; w ; pf is the component <strong>of</strong>w in the band<br />
(( + ) w ; (f + g)) + dd \ ( w ; f) + d ,<br />
f +g<br />
it is now clear that p + ^ ; w ; pf p g .<br />
( w ; g) + dd .<br />
Proposition 2.3 (H. Nakano, [14]) If fg 2 L and 2 R, then<br />
p f +g =sup p f ^ p g : 2 Q + .<br />
Pro<strong>of</strong>. Since the set Q <strong>of</strong> rationals is countable, the supremum on the<br />
right hand side, which we denote by p, exists in L. From (ii) <strong>of</strong> Lemma 2.2<br />
it is clear that p p f +g . To prove the reverse inequality, take 2 Q such<br />
that and take k 2 N. De ne n =2 ;kn for all n 2 Z. Since pf # 0as<br />
n<br />
n !;1and pf " w as n !1,we have<br />
n<br />
w = _ ; _ ; f<br />
f<br />
p ; pf = w ; p n<br />
n<br />
n2Z<br />
n+1<br />
6<br />
n2Z<br />
^ pf<br />
n+1