Representations of positive projections 1 Introduction - Mathematics ...
Representations of positive projections 1 Introduction - Mathematics ...
Representations of positive projections 1 Introduction - Mathematics ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
for all n. As we have observed before, since we assume that M (N ) bL,<br />
this implies that Rf 2 bL. Hence Rf 2 bL \ M (X ) and it is clear that<br />
bL\M (X ) E. Consequently, wehavea <strong>positive</strong> linear operator R : E !<br />
E with Ran (R) =E \ M (X<br />
all f 2 E.<br />
). It is easy to see that P ( f) = (Rf) for<br />
De ning 1 = jE, it is clear that 1 : E ! L is a -order continuous<br />
Riesz homomorphism. We will show nowthat1 is surjective. Let 0 g 2 L<br />
be given and take 0 fh 2 bL such that f = g and h = Pg. De ne<br />
F = x 2 X :<br />
Letting fn = f ^ (n1) we have<br />
Z<br />
Y<br />
m (x y) f (x y) d (y) =1 .<br />
(Rfn) =P ( fn) Pg = h,<br />
which implies that (Rfn ; h) + =0. Therefore, the sets<br />
Fn = f(x y) 2 :Rfn (x y) >h(x y)g<br />
satisfy Fn 2 N for all n. Furthermore, it follows from 0 fn " f that<br />
Rfn (x y) "<br />
Z<br />
Y<br />
m (x z) f (x z) d (z)<br />
for all (x y) 2 and so F Y 2 S 1<br />
n=1 Fn. This shows that F Y 2<br />
N . De ning ~ f = f1 (F Y ) c, it is clear that ~ f 2 E and ~ f = g, so we<br />
may conclude that 1 is surjective. Therefore, 1 : E ! L is the desired<br />
representation for P on L.<br />
The above lemma shows that for the construction <strong>of</strong> representations <strong>of</strong><br />
<strong>positive</strong> <strong>projections</strong> we may restrict our attention to spaces with a strong<br />
order unit. All such Dedekind complete Riesz spaces have the structure<br />
<strong>of</strong> an f-algebra and complete Riesz subspaces containing the unit element<br />
are f-subalgebras. Therefore, in the next sections we will study in detail<br />
the properties and structure <strong>of</strong> <strong>positive</strong> <strong>projections</strong> in f-algebras onto fsubalgebras.<br />
4 Some properties <strong>of</strong> f-subalgebras<br />
For the basic theory <strong>of</strong> f-algebras we refer the reader to the books [1], [13]<br />
and [16]. Let A be an Archimedean f-algebra with a unit element 1, which<br />
is weak order unit in A. We denote the Boolean algebra <strong>of</strong> all components<br />
22