Hilbert Book Model Project/Relational Structures

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.

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 lattice

 

 

 

 

 

(1)

 

 

 

 

 

(2)

 

 

 

 

 

(3)

 

 

 

 

 

(4)

 

 

 

 

 

(5)

 

 

 

 

 

(6)

The lattice has a partial order inclusion  :

 

 

 

 

 

(7)

A complementary lattice contains two elements   and   with each element   a complementary element   such that:

 

 

 

 

 

(8)

 

 

 

 

 

(9)

 

 

 

 

 

(10)

 

 

 

 

 

(11)

 

 

 

 

 

(12)

 

 

 

 

 

(13)

An orthocomplemented lattice contains two elements   and   and with each element   an element   such that:

 

 

 

 

 

(14)

 

 

 

 

 

(15)

 

 

 

 

 

(16)

 

 

 

 

 

(17)

  is the unity element;   is the null element of the lattice

A distributive lattice supports the distributive laws:

 

 

 

 

 

(18)

 

 

 

 

 

(19)

A modular lattice supports:

 

 

 

 

 

(20)

A weak modular lattice supports instead:

There exists an element   such that

 

 

 

 

 

(21)

where   obeys:

 

 

 

 

 

(22)

 

 

 

 

 

(23)

 

 

 

 

 

(24)

  and  

 

 

 

 

(25)

In an atomic lattice holds

 

 

 

 

 

(26)

  or  

 

 

 

 

(27)

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.