Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJul 3rd 2021



    According to the duality between geometry and algebra, various categories of commutative algebras and similar objects are equivalent to certain corresponding categories of spaces.

    For example, the Gelfand duality establishes a contravariant equivalence of categories between the category of commutative unital C*-algebras and the category of compact Hausdorff topological spaces.

    Thus, one can drop the commutativity condition and argue that studying arbitrary C*-algebras amounts to studying noncommutative general topology, a part of noncommutative geometry.

    Analogously, in measure theory one works with commutative von Neumann algebras instead, which are equivalent to several other categories: compact strictly localizable enhanced measurable spaces, hyperstonean topological spaces and open maps, hyperstonean locales and open maps, measurable locales (and arbitrary morphisms of locales).

    Thus, dropping the commutativity condition results in the category of von Neumann algebras (with ultraweakly continuous *-homomorphisms), and we can view this category as the category of noncommutative measurable spaces.

    Thus, noncommutative measure theory is more-or-less the study of von Neumann algebras, more precisely those aspects of them that reproduce known phenomena in measure theory when specialized to the commutative case.


    The notion of a spatial product of (compact strictly localizable enhanced) measurable spaces can be expressed algebraically as the spatial tensor product of von Neumann algebras. This is quite different from the categorical product of measurable spaces, which corresponds to the Dauns tensor product of von Neumann algebras.

    As another example, the theory of L^p-spaces generalizes to von Neumann algebras. This is a work of many authors, including von Neumann, Edward Nelson, Irving Segal, and Uffe Haagerup. It plays a crucial role in Tomita-Takesaki modular theory, which is essentially nothing else than the theory of L^p-spaces where pp is a purely imaginary number. In particular, it allows one to classify type III factors.

    The notion of a measurable field of Hilbert spaces can be expressed using two equivalent categories: the category of W*-modules over von Neumann algebras, and the category of representations of von Neumann algebras on a Hilbert space.


    • Masamichi Takesaki, Theory of Operator Algebras I, II, III, Springer, I: 1979. vii+415 pp. ISBN: 0-387-90391-7; II: 2003. xxii+518 pp. ISBN: 3-540-42914-X; III: 2003. xxii+548 pp. ISBN: 3-540-42913-1.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJul 3rd 2021


    I have added some more cross-links (e.g. with noncommutative topology and quantum probability theory).

    Also made noncommutative measurable space a redirect, and hyperlinked this as such at locale

    diff, v2, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)