Hilbert Book Model Project/Relational Structures
Translations: |
English • Deutsch • français • Nederlands |
HansVanLeunen respectfully asks that people use the discussion page, their talk page or email them, rather than contribute to this page at this time. This page might be under construction, controversial, used currently as part of a brick and mortar class by a teacher, or document an ongoing research project. Please RESPECT their wishes by not editing this page.
Contents
Relational structures[edit]
Relational structures are sets that restrict the types of their internal relations. Mathematics applies "lattice" as the type name of a category of relational structures.
Lattices[edit]
A lattice is a set of elements that is closed for the connections and .
These connections obey
- The set is partially ordered.
- This means that with each pair of elements belongs an element , such that and .
- The set is a half lattice.
- This means that with each pair of elements an element exists, such that .
- The set is a half lattice.
- This means that with each pair of elements an element exists, such that .
- The set is a lattice.
- This means that the set is both a half lattice and a half lattice.
The following relations hold in a latticeString Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
" The lattice has a partial order inclusion :String Module Error: function rep expects a number as second parameter, received "
- "
(
)
" A complementary lattice contains two elements and with each element a complementary element such that:String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
" An orthocomplemented lattice contains two elements and and with each element an element such that:String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"
is the unity element; is the null element of the lattice
A distributive lattice supports the distributive laws:String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
" A modular lattice supports:String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"
A weak modular lattice supports instead:
There exists an element such thatString Module Error: function rep expects a number as second parameter, received "
- "
(
)
" where obeys:String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
and (
)
" In an atomic lattice holdsString Module Error: function rep expects a number as second parameter, received "
- "
(
)
"String Module Error: function rep expects a number as second parameter, received "
- "
or (
)
"
p is an atom
Well known lattices[edit]
Classical logic has the structure of an orthocomplemented distributive modular and atomic lattice.
Quantum logic has the structure of an orthocomplemented weakly modular and atomic lattice. It is also called an orthomodular lattice.
Both lattices are atomic lattices.A complete set of atoms spans the complete lattice.
The orthomodular lattice finds a realization in the set of closed subspaces of a separable Hilbert space. The lattice structure of this set is isomorphic to the orthomodular lattice.
The set of rays that are spanned by the members of an orthonormal base of the Hilbert space form a full set of atoms of the orthomodular lattice.
The modular configuration lattice[edit]
The set of closed subspaces of the Hilbert space is an orthomodular lattice. The underlying vector space contains a set of rays, which each represent an elementary module, These rays span a subspace whose closed subspaces represent a modular configuration lattice. The atoms of this lattice represent elementary modules.
All modules own a private mechanism that provides the locations of the elementary modules that the module contains. The mechanism applies a stochastic process that owns a characteristic function. This characteristic function equals the superposition of the characteristic functions of the processes that supply the locations for the individual elementarymodules that constitute the module.
In the Hilbert space, some of the rays in the scanning subspace represent the elementary modules. These rays are mutually orthogonal. At each instant, a private mechanism provides elementary modules with a new location.
In the creator's view tubes that zigzag with the progression value, contain the locations of a corresponding elementary module.