02.08.2013 Views

Representations of positive projections 1 Introduction - Mathematics ...

Representations of positive projections 1 Introduction - Mathematics ...

Representations of positive projections 1 Introduction - Mathematics ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>of</strong> F given by 1 = fF Y : F 2 g, and similarly is identi ed with<br />

the corresponding -subalgebra 1 <strong>of</strong> F. Assuming in addition that is a<br />

- nite measure on (Y ) and that 0 m 2 M ( F) satis es<br />

Z<br />

Y<br />

m (x y) d (y) =1 8x 2 X, (6)<br />

we de ne the linear operator Rb : Mb ( F) ! Mb ( F) by<br />

Rbf (x y) =<br />

Z<br />

Y<br />

m (x z) f (x z) d (z), (x y) 2 , (7)<br />

for all f 2 Mb ( F). Then Rb is a -order continuous <strong>positive</strong> projection<br />

onto Mb (X ).<br />

De nition 3.7 Let L be aDedekind -complete Riesz space with weak order<br />

unit 0 < w 2 L and suppose that P : L ! L is a <strong>positive</strong> projection onto<br />

the Riesz subspace K L with w 2 K. Give a measurable space (X )<br />

and a - nite measure space (Y ), we will say that the product space<br />

( F) =(X Y ) is a representation space for P if:<br />

(i). ( F) is a representation space for (L w) with representation homomorphism<br />

:b L ! L<br />

(ii). there exists 0 m 2 M ( F) satisfying R m (x y) d (y) =1 for all<br />

Y<br />

x 2 X<br />

(iii). if f 2 bL, then<br />

Z<br />

Y<br />

m (x y) jf (x y)j d (y) < 1<br />

for all x 2 X and the function Rf on , de ned by<br />

Rf (x y) =<br />

for all (x y) 2 , satis es Rf 2 bL<br />

(iv). P ( f) = (Rf) for all f 2 b L.<br />

Z<br />

Y<br />

m (x z) f (x z) d (z)<br />

If, in addition, is aprobability measure and m (x y) =1for all (x y) 2 ,<br />

then ( F) will be called a proper representation space for P .<br />

20

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!