Namespaces
Variants
Actions

Difference between revisions of "Orthomodular lattice"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(Tex done)
Line 1: Line 1:
A [[Lattice|lattice]] with a zero
+
A [[lattice]] with a zero $0$ and a one $1$ in which for any element $a$ there is an orthocomplement $a^\perp$, i.e. an element such that
  
and a one
+
1) $ a \vee a^\perp = 1 $, $a \wedge a^\perp = 0$, $(a^\perp)^\perp = a$;
  
in which for any element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704501.png" /> there is an orthocomplement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704502.png" />, i.e. an element such that
+
2) $ a \le b \Rightarrow a^\perp \ge b^\perp$;
  
1)
+
and such that the ''orthomodular law'':
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704503.png" /></td> </tr></table>
+
3) $ a \le b \Rightarrow b = a \vee (b \wedge a^\perp)$
 
 
2)
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704504.png" /></td> </tr></table>
 
 
 
and such that the orthomodular law:
 
 
 
3)
 
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704505.png" /></td> </tr></table>
 
  
 
is satisfied.
 
is satisfied.
  
In an orthomodular lattice one studies distributivity, perspectivity, irreducibility, modularity of pairs, properties of the centre and of ideals, the commutator, solvability, and applications in the logic of quantum mechanics (see [[#References|[1]]], [[#References|[2]]]).
+
In an orthomodular lattice one studies [[distributivity]], perspectivity, irreducibility, [[Modular lattice|modularity of pairs]], properties of the centre and of ideals, the commutator, solvability, and applications in the logic of quantum mechanics (see [[#References|[1]]], [[#References|[2]]]).
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704506.png" /> is an arbitrary [[Von Neumann algebra|von Neumann algebra]], then the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704507.png" /> of all its projections is a complete orthomodular lattice. In these conditions, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704508.png" /> is a factor, then a [[Dimension function|dimension function]] can be defined on the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o0704509.png" />. Dependent on the set of values of this function, the factors are divided into the types <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045010.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045012.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045013.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045014.png" /> (the Murray–von Neumann classification, see [[#References|[4]]]). It has been established that lattices of projections of factors of the type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045015.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045016.png" /> are continuous geometries, i.e. complete complemented modular lattices (cf. [[Lattice with complements|Lattice with complements]]; [[Modular lattice|Modular lattice]]; [[Complete lattice|Complete lattice]]) satisfying the following two continuity axioms:
+
If $\mathfrak{A}$ is an arbitrary [[von Neumann algebra]], then the set $P(\mathfrak{A})$ of all its projections is a complete orthomodular lattice. In these conditions, if $\mathfrak{A}$ is a factor, then a [[dimension function]] can be defined on the set $P(\mathfrak{A})$. Dependent on the set of values of this function, the factors are divided into the types $\mathrm{I}_n$, $\mathrm{I}_\infty$, $\mathrm{II}_1$, $\mathrm{II}_\infty$, $\mathrm{III}$ (the Murray–von Neumann classification, see [[#References|[4]]]). It has been established that lattices of projections of factors of the type $\mathrm{I}_n$ and $\mathrm{II}_1$ are continuous geometries, i.e. complete complemented modular lattices (cf. [[Lattice with complements]]; [[Modular lattice]]; [[Complete lattice]]) satisfying the following two continuity axioms:
  
1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045017.png" /> for any directed set of indices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045018.png" /> and any set of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045019.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045020.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045021.png" />;
+
1) $b \wedge (\vee_{\alpha \in D} a_\alpha) = \vee_{\alpha \in D} b \wedge a_\alpha$ for any [[directed set]] of indices $D$ and any set of elements $\{ a_\alpha : \alpha \in D \}$ such that $\alpha \prec \alpha'$ implies $a_\alpha \le a_{\alpha'}$;
  
 
2) the condition dual to 1).
 
2) the condition dual to 1).
  
The problem of constructing an abstract dimension theory within the framework of such a class of lattices, which would also include, apart from modular lattices of projections of factors of the types <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045023.png" />, non-modular lattices of projections of factors of the remaining types, has arisen. The existence of a dimension function of a complete orthomodular lattice with an equivalence relation which satisfies certain supplementary conditions has been proved. This class of lattices includes both lattices of projections of factors and continuous geometries.
+
The problem of constructing an abstract dimension theory within the framework of such a class of lattices, which would also include, apart from modular lattices of projections of factors of the types $\mathrm{I}_n$ and $\mathrm{II}_1$, non-modular lattices of projections of factors of the remaining types, has arisen. The existence of a dimension function of a complete orthomodular lattice with an equivalence relation which satisfies certain supplementary conditions has been proved. This class of lattices includes both lattices of projections of factors and continuous geometries.
  
Orthomodular lattices, which are a natural generalization of lattices of projections of factors, also constitute an essentially broader class, in that many properties of lattices of projections are not valid for arbitrary orthomodular lattices. In the same way as continuous geometries are coordinatized by regular rings (see [[#References|[1]]]), orthomodular lattices can be coordinatized by Baer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o070/o070450/o07045024.png" />-semi-groups. If a complete orthomodular lattice is modular, it is continuous (see [[#References|[7]]]). There exists an orthocomplemented modular lattice whose completion by sections is not orthomodular (whereas the completion by sections of a semi-modular orthocomplemented lattice is semi-modular and the lattice of projections of a von Neumann algebra is semi-modular).
+
Orthomodular lattices, which are a natural generalization of lattices of projections of factors, also constitute an essentially broader class, in that many properties of lattices of projections are not valid for arbitrary orthomodular lattices. In the same way as continuous geometries are coordinatized by regular rings (see [[#References|[1]]]), orthomodular lattices can be coordinatized by Baer ${*}$-semi-groups. If a complete orthomodular lattice is modular, it is continuous (see [[#References|[7]]]). There exists an orthocomplemented modular lattice whose completion by sections is not orthomodular (whereas the completion by sections of a semi-modular orthocomplemented lattice is semi-modular and the lattice of projections of a von Neumann algebra is semi-modular).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.A. Skornyakov,  "Complemented modular lattices and regular rings" , Oliver &amp; Boyd  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  ''Itogi Nauki. Algebra. Topol. Geom. 1968'' , Moscow  (1970)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  T.S. Fofanova,  "General theory of lattices" , ''Ordered sets and lattices'' , '''3''' , Saratov  (1975)  pp. 22–40  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  F. Murray,  J. von Neumann,  "On rings of operators"  ''Ann. of Math.'' , '''37''' :  1  (1936)  pp. 116–229</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  L.H. Loomis,  "The lattice theoretic background of the dimension theory of operator algebras"  ''Mem. Amer. Math. Soc.'' , '''18'''  (1955)  pp. 1–36</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  S. Maeda,  "Dimension functions on certain general lattices"  ''J. Sci. Hiroshima Univ. Ser. A'' , '''19''' :  2  (1955)  pp. 211–237</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  I. Kaplansky,  "Any orthocomplemented complete modular lattice is a continuous geometry"  ''Ann. of Math.'' , '''61''' :  3  (1955)  pp. 524–541</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  L.A. Skornyakov,  "Complemented modular lattices and regular rings" , Oliver &amp; Boyd  (1964)  (Translated from Russian)</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  ''Itogi Nauki. Algebra. Topol. Geom. 1968'' , Moscow  (1970)  (In Russian)</TD></TR>
 +
<TR><TD valign="top">[3]</TD> <TD valign="top">  T.S. Fofanova,  "General theory of lattices" , ''Ordered sets and lattices'' , '''3''' , Saratov  (1975)  pp. 22–40  (In Russian)</TD></TR>
 +
<TR><TD valign="top">[4]</TD> <TD valign="top">  F. Murray,  J. von Neumann,  "On rings of operators"  ''Ann. of Math.'' , '''37''' :  1  (1936)  pp. 116–229</TD></TR>
 +
<TR><TD valign="top">[5]</TD> <TD valign="top">  L.H. Loomis,  "The lattice theoretic background of the dimension theory of operator algebras"  ''Mem. Amer. Math. Soc.'' , '''18'''  (1955)  pp. 1–36</TD></TR>
 +
<TR><TD valign="top">[6]</TD> <TD valign="top">  S. Maeda,  "Dimension functions on certain general lattices"  ''J. Sci. Hiroshima Univ. Ser. A'' , '''19''' :  2  (1955)  pp. 211–237</TD></TR>
 +
<TR><TD valign="top">[7]</TD> <TD valign="top">  I. Kaplansky,  "Any orthocomplemented complete modular lattice is a continuous geometry"  ''Ann. of Math.'' , '''61''' :  3  (1955)  pp. 524–541</TD></TR>
 +
</table>
 +
 
 +
{{TEX|done}}
  
  

Revision as of 20:21, 3 January 2017

A lattice with a zero $0$ and a one $1$ in which for any element $a$ there is an orthocomplement $a^\perp$, i.e. an element such that

1) $ a \vee a^\perp = 1 $, $a \wedge a^\perp = 0$, $(a^\perp)^\perp = a$;

2) $ a \le b \Rightarrow a^\perp \ge b^\perp$;

and such that the orthomodular law:

3) $ a \le b \Rightarrow b = a \vee (b \wedge a^\perp)$

is satisfied.

In an orthomodular lattice one studies distributivity, perspectivity, irreducibility, modularity of pairs, properties of the centre and of ideals, the commutator, solvability, and applications in the logic of quantum mechanics (see [1], [2]).

If $\mathfrak{A}$ is an arbitrary von Neumann algebra, then the set $P(\mathfrak{A})$ of all its projections is a complete orthomodular lattice. In these conditions, if $\mathfrak{A}$ is a factor, then a dimension function can be defined on the set $P(\mathfrak{A})$. Dependent on the set of values of this function, the factors are divided into the types $\mathrm{I}_n$, $\mathrm{I}_\infty$, $\mathrm{II}_1$, $\mathrm{II}_\infty$, $\mathrm{III}$ (the Murray–von Neumann classification, see [4]). It has been established that lattices of projections of factors of the type $\mathrm{I}_n$ and $\mathrm{II}_1$ are continuous geometries, i.e. complete complemented modular lattices (cf. Lattice with complements; Modular lattice; Complete lattice) satisfying the following two continuity axioms:

1) $b \wedge (\vee_{\alpha \in D} a_\alpha) = \vee_{\alpha \in D} b \wedge a_\alpha$ for any directed set of indices $D$ and any set of elements $\{ a_\alpha : \alpha \in D \}$ such that $\alpha \prec \alpha'$ implies $a_\alpha \le a_{\alpha'}$;

2) the condition dual to 1).

The problem of constructing an abstract dimension theory within the framework of such a class of lattices, which would also include, apart from modular lattices of projections of factors of the types $\mathrm{I}_n$ and $\mathrm{II}_1$, non-modular lattices of projections of factors of the remaining types, has arisen. The existence of a dimension function of a complete orthomodular lattice with an equivalence relation which satisfies certain supplementary conditions has been proved. This class of lattices includes both lattices of projections of factors and continuous geometries.

Orthomodular lattices, which are a natural generalization of lattices of projections of factors, also constitute an essentially broader class, in that many properties of lattices of projections are not valid for arbitrary orthomodular lattices. In the same way as continuous geometries are coordinatized by regular rings (see [1]), orthomodular lattices can be coordinatized by Baer ${*}$-semi-groups. If a complete orthomodular lattice is modular, it is continuous (see [7]). There exists an orthocomplemented modular lattice whose completion by sections is not orthomodular (whereas the completion by sections of a semi-modular orthocomplemented lattice is semi-modular and the lattice of projections of a von Neumann algebra is semi-modular).

References

[1] L.A. Skornyakov, "Complemented modular lattices and regular rings" , Oliver & Boyd (1964) (Translated from Russian)
[2] Itogi Nauki. Algebra. Topol. Geom. 1968 , Moscow (1970) (In Russian)
[3] T.S. Fofanova, "General theory of lattices" , Ordered sets and lattices , 3 , Saratov (1975) pp. 22–40 (In Russian)
[4] F. Murray, J. von Neumann, "On rings of operators" Ann. of Math. , 37 : 1 (1936) pp. 116–229
[5] L.H. Loomis, "The lattice theoretic background of the dimension theory of operator algebras" Mem. Amer. Math. Soc. , 18 (1955) pp. 1–36
[6] S. Maeda, "Dimension functions on certain general lattices" J. Sci. Hiroshima Univ. Ser. A , 19 : 2 (1955) pp. 211–237
[7] I. Kaplansky, "Any orthocomplemented complete modular lattice is a continuous geometry" Ann. of Math. , 61 : 3 (1955) pp. 524–541


Comments

For "completion by sections" see Completion, MacNeille (of a partially ordered set).

References

[a1] T.S. Blyth, M.F. Janowitz, "Residuation theory" , Pergamon (1972)
[a2] G. Kalmbach, "Orthomodular lattices" , Acad. Press (1983)
[a3] G. Kalmbach, "Measures and Hilbert lattices" , World Sci. (1986)
[a4] L. Beran, "Orthomodular lattices" , Reidel (1985) pp. 4ff
How to Cite This Entry:
Orthomodular lattice. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Orthomodular_lattice&oldid=40143
This article was adapted from an original article by T.S. Fofanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article