The fact that every von Neumann algebra is the direct integral of factors. Every operator algebraist knows this, and could probably more or less explain the proof, but the details are tedious (and kind of useless in practice.) There are similar facts about decomposition of non-singular actions into ergodic ones and representation into irreducible representations.
|
1 | [made Community Wiki] | ||
|
|
||||
