Hilbert Book Model Project/Relational Structures/de

From testwiki
Revision as of 09:50, 10 June 2017 by imported>HansVanLeunen (Verbände )
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

<Hilbert Book Model Project/de Template:Translations

Relationale Strukturen

Verbände 

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 a,b,c,.... 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 a,b gehört ein Element  c, so dass ac und bc.
  • Das Set ist ein halbes Verband.
  • Dies bedeutet, dass mit jedem Paar von Elementen a,b ein Element c existiert, so dass c=ab.
  • Das Set ist ein halbes Verband.
    • Dies bedeutet, dass mit jedem Paar von Elementen a,b ein Element c existiert, so dass c=ab.
  • 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

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

Das Verband hat eine Halbordnung :

Template:NumBlk

Ein komplementäres Verband enthält zwei Elemente  n und e und mit jedem Element a Ein komplementäres Element a' so dass:Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

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

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

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

Ein distributives Verband unterstützt die distributive Gesetze:

Template:NumBlk

Template:NumBlk

Ein modulares Verband unterstützt:

Template:NumBlk

Ein schwaches modulares Verband unterstützt stattdessen:

Es existiert ein Element d so dassTemplate:NumBlk

woher d gehorcht:

Template:NumBlk

Template:NumBlk

Template:NumBlk

Template:NumBlk

In einem Atomares Verband hält

Template:NumBlk

Template:NumBlk

p ist ein Atom

Gut bekannte Verbände

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

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]