Hilbert Book Model Project/Relational Structures/de

<Hilbert Book Model Project/de

Relationale Strukturen

edit

Verbände 

edit

Relationale Strukturen sind Sätze, die die Arten ihrer internen Beziehungen einschränken. In der Mathematik gilt "Verband" als Typenname einer Kategorie von relationalen Strukturen.

Ein Verband ist ein Satz von Elementen   der geschlossen ist für die Anschlüsse   und  .

Diese Verbindungen gehorchen

  • Das Set ist teilweise geordnet.
    • Dies bedeutet, dass mit jedem Paar von Elementen   gehört ein Element   , so dass   und  .
  • Das Set ist ein   halbes Verband.
  • Dies bedeutet, dass mit jedem Paar von Elementen   ein Element   existiert, so dass  .
  • Das Set ist ein   halbes Verband.
    • Dies bedeutet, dass mit jedem Paar von Elementen   ein Element   existiert, so dass  .
  • Das Set ist ein Verband.
    • Das bedeutet, dass das Set ist beide ein   halbes Verband und ein   halbes Verband.

Die folgenden Beziehungen halten in einem Verband

 

 

 

 

 

(1)

 

 

 

 

 

(2)

 

 

 

 

 

(3)

 

 

 

 

 

(4)

 

 

 

 

 

(5)

 

 

 

 

 

(6)

Das Verband hat eine Halbordnung  :

 

 

 

 

 

(7)

Ein komplementäres Verband enthält zwei Elemente    und   und mit jedem Element   Ein komplementäres Element   so dass:

 

 

 

 

 

(8)

 

 

 

 

 

(9)

 

 

 

 

 

(10)

 

 

 

 

 

(11)

 

 

 

 

 

(12)

 

 

 

 

 

(13)

Ein orthokomplexiertes Verband enthält zwei Elemente   und   und mit jedem Element   ein Element   so dass:

 

 

 

 

 

(14)

 

 

 

 

 

(15)

 

 

 

 

 

(16)

 

 

 

 

 

(17)

  ist das Einheitselement;   ist das Null-Element des Verbands.

Ein distributives Verband unterstützt die distributive Gesetze:

 

 

 

 

 

(18)

 

 

 

 

 

(19)

Ein modulares Verband unterstützt:

 

 

 

 

 

(20)

Ein schwaches modulares Verband unterstützt stattdessen:

Es existiert ein Element   so dass

 

 

 

 

 

(21)

woher   gehorcht:

 

 

 

 

 

(22)

 

 

 

 

 

(23)

 

 

 

 

 

(24)

  and  

 

 

 

 

(25)

In einem Atomares Verband hält

 

 

 

 

 

(26)

  or  

 

 

 

 

(27)

p ist ein Atom

Gut bekannte Verbände

edit

Die klassische Logik hat die Struktur eines orthokomplementiertes distributives modulares und atomares Verbandes.

Quantenlogik hat die Struktur eines orthokomplementiertes schwach modular und atomares Verband. Es wird auch ein orthomodulares Verband genannt .

Beide Verbände sind Atomare Verbände. Durch die Relationen entstehen aus die Atome alle andere Elementen des Verbandes.

Das orthomoduläre Verband findet eine Verwirklichung im Satz von geschlossenen Unterräumen eines separablen Hilbertraumes. Die Verbandstruktur dieses Satzes ist isomorph zum orthomodulären Verband.

Die Menge der Strahlen, die von den Mitgliedern einer orthonormalen Basis des Hilbert-Raumes aufgespannt werden, bildet einen vollständigen Satz von Atomen des orthomodulären Verbandes.

Das modulare Konfigurationsverband

edit

Der Satz von geschlossenen Unterräumen des Hilbertraumes ist ein orthomodulares Verband, und es enthält eine Teilmenge, die ein Unterverband ist und die Vertreter der Module als ihre Elemente enthält,

Die Atome dieses Unterverbandes repräsentieren elementare Module. Aus diesen Gründen nennen wir das Unterverband ein modulares Konfigurationsverband .

Alle Module besitzen einen privaten Mechanismus, der die Standorte der elementaren Module bereitstellt, die das Modul enthält. Der Mechanismus wendet einen stochastischen Prozess an, der eine charakteristische Funktion besitzt. Diese charakteristische Funktion entspricht der Überlagerung der charakteristischen Funktionen der Prozesse, die die Orte für die einzelnen Elementarteilchen liefern, die das Modul bilden.

Im Hilbert-Raum repräsentieren einige der Strahlen im Scan-Teilraum die elementar-Module. Diese Strahlen sind gegenseitig orthogonal. In jedem Augenblick bietet ein privater Mechanismus elementare Module mit einem neuen Standort.

In der Schöpfer-Ansicht enthalten Röhren, die Zickzacken mit dem Progressionswert, die Standorte eines entsprechenden Elementar-Modul.[1]

  1. Zickzack