Hello, could you please help me to solve this problem:

let A is a von Neumann algebra, and ( ) - projections on A, . Then inf , sup - projections on A.

Thank you!

Printable View

- Apr 21st 2011, 03:10 PMkarkushaProjections on Neumann algebra
Hello, could you please help me to solve this problem:

let A is a von Neumann algebra, and ( ) - projections on A, . Then inf , sup - projections on A.

Thank you! - Apr 22nd 2011, 12:52 PMOpalg
If , are two projections in , then is the range projection of , and is therefore in By induction, the sup of any finite family of projections in is also in

Given an infinite family, the directed net of sups of finite subfamilies (ordered by inclusion) is increasing, and bounded above by the identity. Therefore it converges strongly to a limit which is a projection and is therefore the sup of the whole family.

The result for infs follows by taking orthogonal complements. - Apr 22nd 2011, 01:29 PMkarkusha
Thank you,

**Opalg**. You explained that sup is in , but why is sup projection on ? - Apr 22nd 2011, 01:43 PMOpalg
The sup of an increasing directed net of projections is equal to the sup projection (Kadison and Ringrose, Proposition 2.5.6).