1
$\begingroup$

Let $x\geq 0$ be a positive element in a von Neumann algebra $\mathcal M.$ Then b y functional calculus the projection $e_\lambda=1_{[0.\lambda)}(x)$ has the property that $e_\lambda$ commutes with $x$ and $e_\lambda x e_\lambda<\lambda.$ Does this characterize $e_\lambda$? That is if $e$ is the largest projection which commutes with $x$ and $exe<\lambda$ , do we have that $e=e_\lambda$?

$\endgroup$
2
  • 1
    $\begingroup$ Certainly not. The spectral projection onto any subset of $[0,\lambda)$ has the same property. Or is that not what you're asking? $\endgroup$
    – MaoWao
    Feb 1, 2023 at 12:38
  • $\begingroup$ Thanks! I have edited the question. The new assumption on e is that it has to be the largest. $\endgroup$ Feb 2, 2023 at 13:04

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.