An Explicit Description
The projection C(E) can be described more explicitly. It can be shown that the Ran C(E) is the closed subspaces generated by MRan(E).
If N is a von Neumann algebra, and E a projection that does not necessarily belong to N and has range H`. The smallest central projection in N that dominates E is precisely the projection onto the closed subspace generated by N`H`. In symbols, if
- F' = ∧ {F ∈ N | F is a projection and F ≥ E}
then Ran(F`) = . That ⊂ Ran(F`) follows from the definition of commutant. On the other hand, is invariant under every unitary U in N`. Therefore the projection onto lies in N. Minimality of F` then yields Ran(F`) ⊂ .
Now if E is a projection in M, applying the above to the von Neumann algebra Z(M) gives
- Ran C(E) = = = .
Read more about this topic: Central Carrier
Famous quotes containing the words explicit and/or description:
“I think “taste” is a social concept and not an artistic one. I’m willing to show good taste, if I can, in somebody else’s living room, but our reading life is too short for a writer to be in any way polite. Since his words enter into another’s brain in silence and intimacy, he should be as honest and explicit as we are with ourselves.”
—John Updike (b. 1932)
“Everything to which we concede existence is a posit from the standpoint of a description of the theory-building process, and simultaneously real from the standpoint of the theory that is being built. Nor let us look down on the standpoint of the theory as make-believe; for we can never do better than occupy the standpoint of some theory or other, the best we can muster at the time.”
—Willard Van Orman Quine (b. 1908)