02.03.2013 Views

POSITIVE OPERATORS

POSITIVE OPERATORS

POSITIVE OPERATORS

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.1. Basic Properties of Positive Operators 15<br />

In addition, Tα ↓ 0 in Lb(E,F) ifandonlyifTα(x) ↓ 0 in F for each<br />

x ∈ E + .<br />

Proof. Fix T ∈Lb(E,F). Since T is order bounded,<br />

sup |Ty|: |y| ≤x =sup Ty: |y| ≤x =supT [−x, x]<br />

exists in F for each x ∈ E + , and so by Theorem 1.14 the modulus of T<br />

exists, and moreover<br />

|T |(x) =sup Ty: |y| ≤x .<br />

From Theorem 1.7 we see that Lb(E,F) is a Riesz space.<br />

Now let S, T ∈Lb(E,F) andx ∈ E + . By observing that y, z ∈ E +<br />

satisfy y + z = x if and only if there exists some |u| ≤x with y = 1<br />

2 (x + u)<br />

and z = 1<br />

2 (x − u), it follows from Theorem 1.7 that<br />

[S ∨ T ](x) = 1<br />

<br />

2 Sx + Tx+ |S − T |x)<br />

<br />

Sx + Tx+sup{(S − T )u: |u| ≤x}<br />

= 1<br />

2<br />

= 1<br />

2 supSx + Su + Tx− Tu: |u| ≤x <br />

= sup S 1<br />

2 (x + u) + T 1<br />

2 (x − u) : |u| ≤x <br />

= sup S(y)+T (z): y, z ∈ E + and y + z = x .<br />

The formula for S ∧ T can be proven in a similar manner.<br />

Finally, we establish that Lb(E,F) is Dedekind complete. To this end,<br />

assume that 0 ≤ Tα ↑≤ T holds in Lb(E,F). For each x ∈ E + let S(x) =<br />

sup{Tα(x)} and note that Tα(x) ↑ S(x). From Tα(x + y) =Tα(x)+Tα(y), it<br />

follows (by taking order limits) that the mapping S : E + → F + is additive,<br />

and so S defines a positive operator from E to F . Clearly, Tα ↑ S holds in<br />

Lb(E,F), proving that Lb(E,F) is a Dedekind complete Riesz space.<br />

From the preceding discussion it follows that when E and F are Riesz<br />

spaces with F Dedekind complete, then each order bounded operator<br />

T : E → F satisfies<br />

T + (x) = sup Ty: 0 ≤ y ≤ x , and<br />

T − (x) = sup −Ty: 0 ≤ y ≤ x <br />

for each x ∈ E + . From T = T + − T − , it follows that Lb(E,F) coincides<br />

with the vector subspace generated by the positive operators in L(E,F). In<br />

other words, when F is Dedekind complete we have Lr(E,F)=Lb(E,F).<br />

Recall that a subset D of a Riesz space is said to be directed upward<br />

(in symbols D ↑) whenever for each pair x, y ∈ D there exists some z ∈ D<br />

with x ≤ z and y ≤ z. The symbol D ↑ x means that D is directed upward

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

Saved successfully!

Ooh no, something went wrong!