View source for Continuous geometry

In mathematics, '''continuous geometry''' is an analogue of complex [[Projective geometry|projective geometry]] introduced  by {{harvs|txt|last=von Neumann|year1=1936|year2=1998}}, where instead of the dimension of a subspace being in a discrete set <math>0, 1, \dots, \textit{n}</math>, it can be an element of the unit interval <math>[0,1]</math>. Von Neumann was motivated by his discovery of [[Von Neumann algebra|von Neumann algebra]]s with a dimension function taking a continuous range of dimensions, and the first example of a continuous geometry other than projective space was the projections of the [[Hyperfinite type II factor|hyperfinite type II factor]].
==Definition==

Menger and Birkhoff gave axioms for projective geometry in terms of the lattice of linear subspaces of projective space. Von Neumann's axioms for continuous geometry are a weakened form of these axioms.

A continuous geometry is a [[Lattice (order)|lattice]] ''L'' with the following properties

*''L'' is [[Modular lattice|modular]].
*''L'' is [[Complete lattice|complete]].
*The lattice operations ∧, ∨ satisfy a certain continuity property,
*:<math>\left(\bigwedge_{\alpha\in A} a_\alpha\right)\lor b = \bigwedge_\alpha (a_\alpha\lor b)</math>, where ''A'' is a [[Directed set|directed set]] and if {{nowrap|''α'' < ''β''}} then {{nowrap|''a''<sub>''α''</sub> &lt; ''a''<sub>''β''</sub>}}, and the same condition with ∧ and ∨ reversed.
*Every element in ''L'' has a complement (not necessarily unique). A complement of an element ''a'' is an element ''b'' with {{nowrap|1=''a'' ∧ ''b'' = 0}}, {{nowrap|1=''a'' ∨ ''b'' = 1}}, where 0 and 1 are the minimal and maximal elements of ''L''.
*''L'' is irreducible: this means that the only elements with unique complements are 0 and 1.

==Examples==

*Finite-dimensional complex projective space, or rather its set of linear subspaces, is a continuous geometry, with dimensions taking values in the discrete set <math>\{0, 1/\textit{n}\,, 2/\textit{n}\,, \dots, 1\}</math>
*The projections of a finite type II von Neumann algebra form a continuous geometry with dimensions taking values in the unit interval <math>[0,1]</math>.
*{{harvtxt|Kaplansky|1955}} showed that any [[Complemented lattice|orthocomplemented]] complete modular lattice is a continuous geometry.
*If ''V'' is a vector space over a [[Field (mathematics)|field]] (or [[Division ring|division ring]]) ''F'', then there is a natural map from the lattice PG(''V'') of subspaces of ''V'' to the lattice of subspaces of <math>V \otimes F^2</math> that multiplies dimensions by 2. So we can take a [[Direct limit|direct limit]] of
::<math>PG(F)\subset PG(F^2)\subset PG(F^4)\subset PG(F^8)\cdots</math>
:This has a dimension function taking values all [[Dyadic rational|dyadic rational]]s between 0 and 1. Its completion is a continuous geometry containing elements of every dimension in <math>[0,1]</math>. This geometry was constructed by {{harvtxt|von Neumann|1936b}}, and is called the continuous geometry over ''F''

==Dimension==

This section summarizes some of the results of {{harvtxt|von Neumann|1998|loc=Part I}}. These results are similar to, and were motivated by, von Neumann's work on projections in von Neumann algebras.

Two elements ''a'' and ''b'' of ''L'' are called '''perspective''', written {{nowrap|''a'' ∼ ''b''}},  if they have a common complement. This is an [[Equivalence relation|equivalence relation]] on ''L''; the proof that it is transitive is quite hard.

The equivalence classes ''A'', ''B'', ... of ''L'' have a total order on them defined by {{nowrap|''A'' ≤ ''B''}} if there is some ''a'' in ''A'' and ''b'' in ''B'' with {{nowrap|''a'' ≤ ''b''}}. (This need not hold for all ''a'' in ''A'' and ''b'' in ''B''.)

The dimension function ''D'' from ''L'' to the unit interval is defined as follows. 
*If equivalence classes ''A'' and ''B'' contain elements ''a'' and ''b'' with {{nowrap|1=''a'' ∧ ''b'' = 0}} then their sum {{nowrap|''A'' + ''B''}} is defined to be the equivalence class of {{nowrap|''a'' ∨ ''b''}}. Otherwise the sum {{nowrap|''A'' + ''B''}} is not defined. For a positive integer ''n'', the product ''nA'' is defined to be the sum of ''n'' copies of ''A'', if this sum is defined.
*For equivalence classes ''A'' and ''B'' with ''A'' not {0} the integer {{nowrap|[''B'' : ''A'']}} is defined to be the unique integer {{nowrap|''n'' ≥ 0}} such that {{nowrap|1=''B'' = ''nA'' + ''C''}} with {{nowrap|''C'' < ''B''}}.
*For equivalence classes ''A'' and ''B'' with ''A'' not {0} the real number {{nowrap|(''B'' : ''A'')}} is defined to be the limit of {{nowrap|[''B'' : ''C''] / [''A'' : ''C'']}} as ''C'' runs through a minimal sequence: this means that either ''C'' contains a minimal nonzero element, or an infinite sequence of nonzero elements each of which is at most half the preceding one.
*''D''(''a'') is defined to be {{nowrap|({''a''} : {1})}}, where {''a''} and {1} are the equivalence classes containing ''a'' and 1.

The image of ''D'' can be the whole unit interval, or the set of numbers <math>0, 1/\textit{n}\,, 2/\textit{n}\,, \dots, 1</math> for some positive integer ''n''. Two elements of ''L'' have the same image under ''D'' if and only if they are perspective, so it gives an injection from the equivalence classes to a subset of the unit interval. The dimension function ''D'' has the properties:
*If {{nowrap|''a'' < ''b''}} then {{nowrap|''D''(''a'') < ''D''(''b'')}}
*''D''(''a'' ∨ ''b'') + ''D''(''a'' ∧ ''b'') = ''D''(''a'') + ''D''(''b'')
*{{nowrap|1=''D''(''a'') = 0}} if and only if {{nowrap|1=''a'' = 0}}, and {{nowrap|1=''D''(''a'') = 1}} if and only if {{nowrap|1=''a'' = 1}}
*{{nowrap|0 ≤ ''D''(''a'') ≤ 1}}

==Coordinatization theorem==

In projective geometry, the [[Veblen–Young theorem]] states that a projective geometry of dimension at least 3 is [[Biology:Isomorph|isomorph]]ic to the projective geometry of a vector space over a division ring. This can be restated as saying that the subspaces in the projective geometry correspond to the [[Principal ideal ring|principal right ideals]] of a matrix algebra over a division ring.

Neumann generalized this to continuous geometries, and more generally to complemented modular lattices,  as follows {{harv|von Neumann|1998|loc=Part II}}. His theorem states that if a complemented modular lattice ''L'' has order{{definition|date=September 2015}} at least 4, then the elements of ''L'' correspond to the principal right ideals of a [[Von Neumann regular ring|von Neumann regular ring]]. More precisely if the lattice has order ''n'' then the von Neumann regular ring can be taken to be an ''n'' by ''n''  matrix ring ''M''<sub>''n''</sub>(''R'') over another von Neumann regular ring ''R''. Here a complemented modular lattice has order ''n'' if it has a homogeneous basis of ''n'' elements, where a basis is ''n'' elements ''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub> such that {{nowrap|1=''a''<sub>''i''</sub> ∧ ''a''<sub>''j''</sub> = 0}} if {{nowrap|''i'' ≠ ''j''}}, and {{nowrap|1=''a''<sub>1</sub> ∨ ... ∨ ''a''<sub>''n''</sub> = 1}}, and a basis is called homogeneous if any two elements are perspective. The order of a lattice need not be unique; for example, any lattice has order 1. The condition that the lattice has order  at least 4 corresponds to the condition that the dimension is at least 3 in the Veblen–Young theorem, as a projective space has dimension at least 3 if and only if it has a set of at least  4 independent points.

Conversely, the principal right ideals of a von Neumann regular ring form a complemented modular lattice {{harv|von Neumann|1998|loc=Part II theorem 2.4}}.

Suppose that  ''R'' is a von Neumann regular ring and ''L'' its lattice of principal right ideals, so that ''L'' is a complemented modular lattice. Neumann showed that ''L'' is a continuous geometry if and only if ''R'' is an irreducible complete [[Rank ring|rank ring]].

==References==

*{{Citation | last1=Birkhoff | first1=Garrett |  title=Lattice theory | orig-year=1940 | url=https://books.google.com/books?id=o4bu3ex9BdkC | publisher=American Mathematical Society | location=Providence, R.I. | edition=3rd | series=American Mathematical Society Colloquium Publications | isbn=978-0-8218-1025-5 | mr=598630 | year=1979 | volume=25}}
*{{eom|id=o/o070450|title=Orthomodular lattice|first=T.S. |last=Fofanova}}
*{{Citation | last1=Halperin | first1=Israel |  title=Introduction to von Neumann algebras and continuous geometry | doi=10.4153/CMB-1960-034-5 | doi-access=free | mr=0123923 | year=1960 | journal=[[Canadian Mathematical Bulletin]] | issn=0008-4395 | volume=3 | issue=3 | pages=273–288}}
*{{Citation | last1=Halperin | first1=Israel |  title=Books in Review: A survey of John von Neumann's books on continuous geometry | doi=10.1007/BF00383607 | mr=1554221 | year=1985 | journal=Order | issn=0167-8094 | volume=1 | issue=3 | pages=301–305| s2cid=122594481 }}
*{{Citation | last1=Kaplansky | first1=Irving |  title=Any orthocomplemented complete modular lattice is a continuous geometry | jstor=1969811 | mr=0088476 | year=1955 | journal=[[Annals of Mathematics]] |series=Second Series | issn=0003-486X | volume=61 | issue=3 | pages=524–541 | doi=10.2307/1969811 }}
*{{Citation | last1=von Neumann | first1=John |  title=Continuous geometry | jstor=86390 | doi=10.1073/pnas.22.2.92 | pmid=16588062 | pmc=1076712 | zbl=0014.22307 | year=1936 | journal=Proceedings of the National Academy of Sciences of the United States of America | issn=0027-8424 | volume=22 | issue=2 | pages=92–100| bibcode=1936PNAS...22...92N | doi-access=free }}
*{{Citation | last1=von Neumann | first1=John|  title=Examples of continuous geometries | jstor=86391 | doi=10.1073/pnas.22.2.101 | jfm=62.0648.03 | year=1936b | journal=Proc. Natl. Acad. Sci. USA | volume=22 | issue=2 | pages=101–108 | pmid=16588050 | pmc=1076713| bibcode=1936PNAS...22..101N| doi-access=free}}
*{{Citation | last1=von Neumann | first1=John |  title=Continuous geometry | orig-year=1960 | url=https://books.google.com/books?id=onE5HncE-HgC | publisher=Princeton University Press | series=Princeton Landmarks in Mathematics | isbn=978-0-691-05893-1 | mr=0120174 | year=1998}}
*{{Citation | last1=von Neumann | first1=John|  editor1-last=Taub | editor1-first=A. H. | title=Collected works. Vol. IV: Continuous geometry and other topics | url=https://books.google.com/books?id=HOTXAAAAMAAJ | publisher=Pergamon Press | location=Oxford | mr=0157874 | year=1962}}
*{{Citation | last1=von Neumann | first1=John |  editor1-last=Halperin | editor1-first=Israel | title=Continuous geometries with a transition probability | orig-year=1937 | url=https://books.google.com/books?id=ZPkVGr8NXugC | mr=634656 | year=1981 | journal=Memoirs of the American Mathematical Society | issn=0065-9266 | volume=34 | issue=252 | isbn=978-0-8218-2252-4 }}
*{{Citation | last1=Skornyakov | first1=L. A. | title=Complemented modular lattices and regular rings | url=https://books.google.com/books?id=p54EAQAAIAAJ | publisher=Oliver & Boyd | location=London | mr=0166126 | year=1964}}

[[Category:Projective geometry]]
[[Category:Von Neumann algebras]]
[[Category:Lattice theory]]

{{Sourceattribution|Continuous geometry}}