Hilbert Book Model Project/Relational Structures/fr

<Hilbert Book Model Project/fr

Structures relationnelles 

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

Un treillis est un ensemble d'éléments $a,b,c,....$ qui est fermé pour les connexions $\cap$ et $\cup$.

Ces connexions obéissent

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

Les relations suivantes se tiennent dans un treillis

$a\cap b=b\cap a$

(1)

$(a\cap b)\cap c=a\cap (b\cap c)$

(2)

$a\cap (a\cup b)=a$

(3)

$a\cup b=b\cup a$

(4)

$(a\cup b)\cup c=a\cup (b\cup c)$

(5)

$a\cup (a\cap b)=a$

(6)

Le treillis a une inclusion d'ordre partielle  $\subset$:

$a\subset b\Leftrightarrow a\cap b=a$

(7)

Un treillis complémentaire contient deux éléments $n$ et $e$ et avec chaque élément $a$ un élément complémentaire $a^{'}$ tel que

$a\cap a^{'}=n$

(8)

$a\cap n=n$

(9)

$a\cap e=a$

(10)

$a\cup a^{'}=e$

(11)

$a\cup e=e$

(12)

$a\cup n=a$

(13)

Un treillis ortho-complémentée contient deux éléments $n$ et $e$ et avec chaque élément $a$ un élément $a^{''}$ tel que

$a\cup a^{''}=e$

(14)

$a\cap a^{''}=n$

(15)

$(a^{''})^{''}=a$

(16)

$a\subset b\Leftrightarrow b^{''}\subset a^{''}$

(17)

$e$ est l'élément d'unité; $n$ est l'élément nul du treillis

Un treillis distributif soutient les lois distributives:

$a\cap (b\cup c)=(a\cap b)\cup (a\cap c)$

(18)

$a\cup (b\cap c)=(a\cup b)\cap (a\cup c)$

(19)

Un treillis modulaire soutient:

$(a\cap b)\cup (a\cap c)=a\cap (b\cup (a\cap c))$

(20)

Un treillis modulaire faible supporte à la place:

Il existe un élément $d$ tel que

$a\subset c\Leftrightarrow (a\cup b)\cap c=a\cup (b\cap c)\cup (d\cap c)$

(21)

où $d$ obéit:

$(a\cup b)\cap d=d$

(22)

$a\cap d=n$

(23)

$b\cap d=n$

(24)

$(a\subset g)$ and $(b\subset g)\Leftrightarrow d\subset g$

(25)

Dans un treillis atomique

$\exists _{(p\epsilon S)}\forall _{(x\in L)}\{x\subset p\Rightarrow x=n\}$

(26)

$\forall _{(a\in L)}\forall _{(x\in L)}\{(a<x<a\cap p)\Rightarrow (x=a$ or $x=a\cap p)\}$

(27)

p est un atome.

Treillis bien connus

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

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.