2
$\begingroup$

In $B(H)$ where $H$ is a Hilbert space, we have that if p and q are (orthogonal) projections that Inf{$p$, $q$} is in $B(H)$. This also holds if we replace $B(H)$ by the phrase "the strong closure of any algebra containing p and q" where I mean things literally: algebras need not have a unit, nor be closed under *, nor be closed in any topology. Nevertheless, since we can express Inf{$p$, $q$} as the strong limit of $(pq)^n$ this holds. Is there a similar expression for Sup{$p$, $q$} so that this supremum is shown to be contained in the strong closure of any algebra that contains p and q? I've toyed with expressions like $(p+q-Inf(p, q))^n$ and $(p+q-pq)^n$ to no avail, not that these things necessarily don't work. I simply don't see how to prove that they do or don't, nor how to guess the right expression.

This is related to the following question, so I cannot use the result that I wanted to obtain here:

Showing that the WO closure of a *-algebra is a Von Neumann Algebra

Edit: I now know how to prove that the notion of "strong operator closure of an algebra" is the same thing as the notion of a strong operator closed algebra. Same thing for weak. But that has not advanced me further along my way to a solution to the stated problem above. Intuitively, I view p+q as sort of like a simple function from measure theory, with value 0 some places, 1 other places, and 2 on some intersection. If this intuition was actually "correct", then the right thing to do would be to take the nth root of p+q and take that limit. But SO closed algebras need not be closed under the taking of roots. On the other hand, there is another operation under which such an algebra is closed. Namely $x$ maps to log(1+x). (Since it has a taylor series not involving a constant term which normally maps via the functional calculus to the identity which I'm not assuming is in our algebra.) Unfortunately, this operation isn't suitable cause if you try repeated application of logs, everything just goes to -infinity.

  • 1
    I understand, but my last comment disproves your conjecture. If you think about it, that object need not even be a projection.2012-05-30

1 Answers 1

2

$\sup(p,q) = I - \inf(I-p,I-q) = I - \lim_{n \to \infty} (I-p-q+pq)^n$. Yes, I know you want to do without $I$, but expand this out formally and the $I$'s cancel: you get $ \sup(p,q) = \lim_{n \to \infty} \sum_{j=1}^n {n \choose j} (-1)^{j+1} (p+q-pq)^j$