Hilbert Book Model Project/Relational Structures/de

From Wikiversity
Jump to navigation Jump to search

<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