Hilbert Book Model Project/Relational Structures/nl

<Hilbert Book Model Project/nl

Relationele structuren

edit

Relationele structuren zijn sets die de types van hun interne relaties te beperken.

In de wiskunde geldt "tralie", als de soortnaam van een categorie van relationele structuren.

Een tralie is een stel elementen    dat gesloten is voor de verbindingen   en  .

Deze verbindingen voldoen aan

  • De verzameling is   half gegeordend.
    • Dit betekent dat bij elk paar elementen   een element   behoort, zodat   en  .
  • De verzameling is een   halftralie.
  • Dit betekent dat bij elk paar elementen   een element   bestaat, zodat  .
  • De verzameling is een   halftralie.
    • Dit betekent dat bij elk paar elementen   een element   bestaat, zodat  .
  • De verzameling is een tralie.
    • Dit betekent dat de verzameling zowel een   halftralie als een   halftralie is..

In een tralie geldt

 

 

 

 

 

(1)

 

 

 

 

 

(2)

 

 

 

 

 

(3)

 

 

 

 

 

(4)

 

 

 

 

 

(5)

 

 

 

 

 

(6)

Het tralie heeft een partiële inclusie  :

 

 

 

 

 

(7)

Een complementair tralie bevat twee elementen   en   en met elk element   een complementair element   zodat:

 

 

 

 

 

(8)

 

 

 

 

 

(9)

 

 

 

 

 

(10)

 

 

 

 

 

(11)

 

 

 

 

 

(12)

 

 

 

 

 

(13)

Een orthocomplementair tralie bevat twee elementen   en   en met elk element   een element   zodat:

 

 

 

 

 

(14)

 

 

 

 

 

(15)

 

 

 

 

 

(16)

 

 

 

 

 

(17)

  is het eenheidselement;   ishet null-element van het tralie

een distributief tralie ondersteunt de distributieve wetten:

 

 

 

 

 

(18)

 

 

 

 

 

(19)

Een modulair tralie ondersteunt:

 

 

 

 

 

(20)

Een zwak modulair tralie ondersteunt in plaats daarvan:

Er bestaat een element   zodat

 

 

 

 

 

(21)

waarbij   voldoet aan:

 

 

 

 

 

(22)

 

 

 

 

 

(23)

 

 

 

 

 

(24)

  and  

 

 

 

 

(25)

In een atomair traliegeldt

 

 

 

 

 

(26)

  or  

 

 

 

 

(27)

p is een atoom

Bekende tralies

edit

Klassieke logica heeft de structuur van een orthocomplementair distributief modulair and atomair tralie .

Kwantum logica heeft de structuur van een orthocomplementair zwak modulair and atomair tralie. Het wordt ook orthomodulair tralie genoemd.

Het orthomodulair tralie vindt zijn realisatie in verzameling van de gesloten deelruimten van een separable Hilbertruimte. De traliestructuur van deze verzameling is tralie-isomorph met een orthomodulair tralie.

De verzameling van de stralen die worden opgespannen door de leden van een orthonormale basis van de Hilbertruimte vormen een volledige verzameling van atomen van het orthomodulaire tralie.

Het modulair configuratie tralie

edit

De verzameling van de gesloten deelruimten van een separable Hilbertruimte is een orthomodulair tralie. Deze verzameling bevat een deelverzameling, welke een deeltralie is en alle vertegenwoordigers van modulen en modulaire systemen als zijn elementen bevat.

De atomen van dit deeltralie vertegenwoordigen elementaire modules. Om deze reden noemen we het deeltralie een modulair configuratie tralie.

Alle modules bezitten een privé mechanisme dat de op elk tijdstip de locaties produceert die het module gebruikt. Het mechanisme gebruikt een stochastisch process en dit process bezit een karakteristieke functie.

Deze karakteristieke functie is de superpositie van de karakteristieke functies van de processen die de posities leveren van de elementaire modules die het module samenstellen.

In de Hilbertruimte vertegenwoordigen sommige van de stralen die de scannende deelruimte opspannen, elementaire modules. Deze stralen staan onderling orthogonaal. Op elk tijdstip krijgen de elementaire modules een nieuwe locatie.

In het scheppersaanblik kunnen de elementaire modules in de progressierichting zigzaggen.