Different orthomodular orthocomplementations on a lattice (Q580385): Difference between revisions
From MaRDI portal
Changed an Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 08:27, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Different orthomodular orthocomplementations on a lattice |
scientific article |
Statements
Different orthomodular orthocomplementations on a lattice (English)
0 references
1987
0 references
In the axiomatic approach to quantum mechanics the lattice L of closed subspaces of a separable Hilbert space is called the standard quantum logic. The author constructs Hilbert lattices M which have all important ortholattice properties of L, but admit, on M as a lattice, infinitely many different orthomodular orthocomplementations. The quantum logics M are lattices of orthoclosed subspaces of separable orthomodular spaces. Orthomodular spaces are vector spaces E over a field K with involution * provided with a (bilinear, definite) *-semiproduct \(f: E\times E\to K\) such that the projection theorem \(E=U^{\perp}+U^{\perp \perp}\) holds for orthoclosed subspaces \(U^{\perp}\) of E. The spaces E, used in constructing the new quantum logics M, carry a topology induced by a (non- archimedean) Krull-valuation on K. The notion of a topological type is used to distinguish the different orthomodular orthocomplementations on the lattice M. It is well-known that the standard quantum logic carries (up to isomorphism) only one orthomodular orthocomplementation.
0 references
separable Hilbert space
0 references
Hilbert lattices
0 references
orthomodular orthocomplementations
0 references
quantum logics
0 references
separable orthomodular spaces
0 references