Académique Documents
Professionnel Documents
Culture Documents
Dé…nition algébrique
Un treillis est un ensemble E muni de 2 lois internes habituellement notéés
_ et ^ véri…ant :
-les 2 lois sont commutatives et associatives
-pour tous a,b dans E on a:a^(a_b) = a = a_(a^b).Cette propriété s’appelle
la loi d’absorption
Quelques propriétés
1. la loi d’absorption entraine l’indempotence de tout élément de E pour les
deux lois c-a-d a^a= a; aVa=a, 8 a2E
En e¤et aVa= aV[a ^ (aVa)] = a
a^a = a^ [aV (a ^ a)] = a
2.Dé…nissons sur E une relation d’ordre notée par a b() aVb=b.Montrons
que (E, ) est un ensemble ordonné.
ré‡exivité
8 a2E;aVa=a =)a a (l’idempotence par V donne la re‡exivité)
antisymétrie
supp(a b et b a) =) aVb=b et bVa=a or aVb=b commutativité =) a=b
transitivité
supp a b et b c =) aVb = b (1) et bVc = c(2)
dans ( 2) remplaçons b par aVb on obtient:
(aVb)Vc=c=) aV(bVc)=c=) aVc=c=) a c
1
donc si (E,^; _) est un treillis algébrique alors on peut munir E d’une relation
d’ordre tel que a b()aVb=b
Demi-treillis
On appelle demi-treillis un ensemble ordonné dans lequel tout couple d’éléments
posséde une borne supérieure (ou une borne inférieure).
Treillis distributif
Un treillis est dit distributif si la loi _ est distributive par rapport à ^(ou
encore ce qui est équivalent à : la loi ^ est distributive par rapport à _)
En e¤et supposons qu’on a la distributivité de _ par rapport à ^
(a^c)V(b^c) =[a _ (b ^ c) ]^ [c _ (b ^ c) ]
=[(aVb) ^ (aVc)] ^c
=(aVb)^c
Donc ^ est distributive par rapport à _:
Exercice
En supposant que ^ est distributive par rapport à _, montrer que _ est
distributive par rapport à ^:
Treillis borné
Un treillis est dit borné s’il posséde un maximum et un minimum.
Exemple
1)(N; ) n’est pas borné
2)(N;j ) est borné avec pour minimum 1 et maximum 0 car 1ja quelque soit
a2 N et 8a2 N aj0
2
Exemple
Dans (P(E), ) les atomes sont les singletons.
On appelle ideal d’un treillis E toute partie non vide I de E qui est stable
par _ et qui est telle que si x2 E et y2 I alors x^y 2 I
Exemple
Si A est une partie d’un ensemble X, l’ensemble P(A) des parties de A est
un idéal du treillis P(X)
Morphisme de treillis
Soit f : (E, ) ! (E’, ) où E et E’sont des treillis.
On dit que f est un morphisme de treillis si et seulement si :
f (xVy)=f (x) V f (y)
f (x ^ y) = f (x) ^ f (y)
Morphisme d’ensembles ordonnés
Soit f :(E, ) !(F, ) où E et F sont deux ensembles ordonnés.On dit que f
est un morphisme d’ensembles ordonnés ssi x y dans E =) f(x) f(y) dans
F.
Proposition
Tout morphisme de treillis est un morphisme d’ensembles ordonnés.
En e¤et si : f :(E, ) !(E’, ) est un morphisme de treillis et si x y =)x
= x ^y
=) f (x) = f (x) ^ f (y) =) f (x) f (y)
Proposition
Soit E un treillis avec un plus petit élément 0. Deux atomes distincts w1 ,
w2 sont disjoints ie w1 ^ w2 =0.
En e¤et si w1 ^ w2 6= 0
w1 ^ w2 =Inf(w1 , w2 ) =)w1 ^ w2 w1 =)w1 ^ w2 =0 où w1 ^ w2 =w1
.De même que w1 ^ w2 w2 =) w1 ^ w2 = 0 ou w1 ^ w2 = w1
Comme w1 ^ w2 6= 0 alors w1 =w2 , ce qui est absurde donc w1 ^ w2 = 0:
Treillis atomique
Soit E un treillis avec un plus petit élément 0 et X l’ensemble des atomes de
E. On dit que E est atomique si E coincide avec le sous treillis de E engendré
par X (un sous treillis de E est un sous ensemble non vide de E qui est stable
par ^ et V)
Exemple
Soit 6= ? , on a le treillis (P ( ) ; ) où =
Les atomes de P ( ) engendré par X sont constitués par les parties …nies de
3
Complément relatif
Soit (E, ), avec un plus petit élément 0 et x, y 2 E tels que x y .On dit
que x’est un complément de x relativement à y si l’on a: x^x’=0, xVx’=y
Proposition
Soit E un treillis distributif avec un plus petit élément 0. Si x posséde un
complément x’relativement à y, ce complément est unique.
Démonstration
Soit x” un autre complément de x relativement à y
x^x’=0 , xVx’=y =) x’ y
x^x”=0 ; xVx”=y =) x” y
x’^x”=(x0 ^ x00 ) _ 0
x’^ x”=(x’^x”) V (x^x”)
=(x’Vx)^ x”
=(xVx’)^ x”
=y^x”=x"
De même
x’^x"=x"^x’=(x" ^ x0 ) _0
=(x" ^ x0) _ (x^x’)
=(x"Vx)^x’=(xVx”)^x’=y^x0 =x’=) x’=x”
FIN