Hilbert Book Model Project/Relational Structures/fr

From Wikiversity
Jump to navigation Jump to search

<Hilbert Book Model Project/fr

Structures relationnelles [edit | edit source]

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.

Lattes[edit | edit source]

Un treillis est un ensemble d'éléments qui est fermé pour les connexions et .

Ces connexions obéissent

  • L'ensemble est partiellement ordonné.
    • Cela signifie qu'avec chaque paire d'éléments appartient à un élément , tel que et .
  • L'ensemble est un demi-treillis.
  • Cela signifie qu'avec chaque paire d'éléments un élément existe, tel que.
  • L'ensemble est un demi-treillis..
    • Cela signifie qu'avec chaque paire d'éléments un élément existe, tel que .
  • L'ensemble est un treillis.
    • This means that the set is both a half lattice and a half lattice.

Les relations suivantes se tiennent dans un treillis

 

 

 

 

(1)

 

 

 

 

(2)

 

 

 

 

(3)

 

 

 

 

(4)

 

 

 

 

(5)

 

 

 

 

(6)

Le treillis a une inclusion d'ordre partielle  :

 

 

 

 

(7)

Un treillis complémentaire contient deux éléments  et et avec chaque élément  un élément complémentaire  tel que

 

 

 

 

(8)

 

 

 

 

(9)

 

 

 

 

(10)

 

 

 

 

(11)

 

 

 

 

(12)

 

 

 

 

(13)

Un treillis ortho-complémentée contient deux éléments  et et avec chaque élément  un élément tel que

 

 

 

 

(14)

 

 

 

 

(15)

 

 

 

 

(16)

 

 

 

 

(17)

est l'élément d'unité; est l'élément nul du treillis

Un treillis distributif soutient les lois distributives:

 

 

 

 

(18)

 

 

 

 

(19)

Un treillis modulaire soutient:

 

 

 

 

(20)

Un treillis modulaire faible supporte à la place:

Il existe un élément  tel que

 

 

 

 

(21)

obéit:

 

 

 

 

(22)

 

 

 

 

(23)

 

 

 

 

(24)

and

 

 

 

 

(25)

Dans un treillis atomique

 

 

 

 

(26)

or

 

 

 

 

(27)

p est un atome.

Treillis bien connus[edit | edit source]

La logique classique a la structure d'un treillis ortho-complémentée distributif modulaire et atomique.

La logique quantique a la structure d'un treillis ortho-complémentée faible modulaire et atomique. On l'appelle aussi un treillis orthomodulaire .

Les deux treillisx sont des treillisx atomiques.

Le treillis orthomodulaire trouve une réalisation dans l'ensemble des sous-espaces fermés d'un espace Hilbert séparable. La structure en treillis de cet ensemble est isomorphe au treillis orthomodulaire.

L'ensemble des rays qui sont parcourus par les membres d'une base orthonormée de l'espace de Hilbert forme un ensemble complet d'atomes du treillis orthomodulaire.

Le treillis de configuration modulaire[edit | edit source]

L'ensemble des sous-espaces fermés de l'espace de Hilbert est un treillis orthomodulaire, et il contient un sous-ensemble, qui est un sous-treillis et contient les représentants des modules en tant que son éléments,

Les atomes de ce sous-treillis représentent des modules élémentaires. Pour ces raisons, nous appelons le sous-treillis un treillis de configuration modulaire .

Tous les modules possèdent un mécanisme privé qui fournit les emplacements des modules élémentaires que le module contient. Le mécanisme applique un processus stochastique qui possède une fonction caractéristique. Cette fonction caractéristique correspond à la superposition des fonctions caractéristiques des processus qui fournissent les emplacements pour les modules élémentaires individuelles qui constituent le module.

Dans l'espace Hilbert, certains des rays dans le sous-espace de balayage représentent les modules élémentaires. Ces rays sont mutuellement orthogonaux. À chaque instant, un mécanisme privé fournit des modules élémentaires avec un nouvel emplacement.

Dans la vue du créateur, les tubes qui zigzagent avec la valeur de progression contiennent les emplacements d'un module élémentaire correspondant.