Hilbert Book Model Project/Relational Structures/fr

<Hilbert Book Model Project/fr

Structures relationnelles 

edit

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

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

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

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.