Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hello,

I have a question about trace measurable operators and I think it's not a hard one. However, I'm quite confused because I cannot prove it.

Let $\mathcal{M}$ be a semi-finite von Neumann algebra with a faithful normal semi-finite trace $\tau$. Let $T$ be a $\tau$- measurable operator (densely defined closed (possibly unbounded) operator affiliated with $\mathcal{M}$ such that $$ \forall_{\varepsilon >0} \ \exists_{E - \text{a projection in} \text{M}} \ \mbox{Range}(E) \subset D(T) \ \& \ \tau(1-E) \leq \varepsilon.)$$

Let $E_{(s,\infty)}(|T|)$ be a spectral projection of $|T|$ corresponding to the interval $(s, \infty)$, $s \geq 0$.

How do we know that $\| |T|E_{(s,\infty)}(|T|) \| > s$ or $\| |T|E_{[0,s]}(|T|) \| \leq s$.

Thank you in advance for any help.

share|improve this question
    
I don't think this has anything to do with "measurable operators"-- it just follows from the definition of the spectral projections... –  Matthew Daws Jun 16 '11 at 9:10
    
Ok, I didn't know that because this is a part of the problem IX.2.7 in Takesaki vol. 2 and this problem concerns "measurable operators". I can't see this from the definition of the spectral projection. –  Romanov Jun 16 '11 at 14:23
add comment

2 Answers

up vote 4 down vote accepted

Like Matthew said, this doesn't look like it has to do with measurability at all. Those two inequalities follow from the operator inequalities \[ |T|\,E_{(s,\infty)}(|T|) \geq s\,E_{(s,\infty)}(|T|), \ \ \ |T|\,E_{[0,s]}(|T|) \leq s\,E_{[0,s]}(|T|). \] In turn, these inequalities follow from the corresponding inequalities for real functions, \[ t\,1_{(s,\infty)}(t) \geq s\,1_{(s,\infty)}(t), \ \ \ t\,1_{[0,s]}(t)\leq s\,1_{[0,s]}(t), \] and the fact that functional calculus is positive.

share|improve this answer
    
Thank you very much it was really easy. –  Romanov Jun 16 '11 at 16:34
    
It seems that $f$ is missing on the right hand side, isnt it? –  Tomek Kania Jun 16 '11 at 16:45
    
That's for the observation, Tomasz. Actually, there was no need for $f$, so I've removed it. –  Martin Argerami Jun 16 '11 at 16:54
add comment

Maybe I should give an answer, not just a comment. The following maybe isn't the "correct" way to think about spectral projections, but I find that it helps my intuition. Basically, if $T$ is a normal, possibly closed unbounded, operator on a Hilbert space $H$, then $H$ is unitarily equivalent to a measure space $L^2(\mu)$ and under this equivalence, $T$ is just a multiplication operator by a complex function $f$ (which is bounded if and only if $T$ is bounded).

If now $T$ is positive, then so is $f$. The spectral projection $E_{(s,\infty)}(T)$ then corresponds to the projection given by the indicator function of the set $\{ x : f(x)>s \}$. It's then clear that $T E_{(s,\infty)}(T)$ is multiplication by the function $g$ defined by $g(x)=f(x)$ if $f(x)>s$, and $g(x)=0$ otherwise. If $T$, and hence $f$, is unbounded, then so will be $g$.

Anyway, I find this mental picture of "it's just multiplication operators" to be handy when dealing with spectral stuff. Martin's arguments are probably "cleaner" if you want a polished version...

share|improve this answer
    
Thank you for that, this is a really nice application of the spectral theorem. –  Romanov Jun 16 '11 at 21:33
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.