Jump to content

Cantor algebra

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by R.e.b. (talk | contribs) at 16:56, 4 July 2014 (Expanding article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, a Cantor algebra, named after Georg Cantor, is one of two closely related Boolean algebras. It can either be the countable atomless Boolean algebra of all clopen subsets of the Cantor set, or it can be the completion of this algebra, which is isomorphic to the complete Boolean algebra of Borel subsets of the reals modulo meager sets (Balcar & Jech 2006). (The latter algebra is sometimes called the Cohen algebra, though "Cohen algebra" usually refers to a different type of Boolean algebra.) The complete Cantor algebra was studied by von Neumann in 1935 (later published as (von Neumann 1998)).

References

  • Balcar, Bohuslav; Jech, Thomas (2006), "Weak distributivity, a problem of von Neumann and the mystery of measurability", Bulletin of Symbolic Logic, 12 (2): 241–266, MR 2223923
  • von Neumann, John (1998) [1960], Continuous geometry, Princeton Landmarks in Mathematics, Princeton University Press, ISBN 978-0-691-05893-1, MR 0120174