Académique Documents
Professionnel Documents
Culture Documents
2 Treillis
2 Treillis
Définition
Soit (E, ≤) un ordre et A ⊆ E.
W
On notera A un élément de E tel que
W
1. (∀a ∈ A)(a ≤ A), et
W
2. (∀x ∈ E)[(∀a ∈ A.a ≤ x) ⇒ A ≤ x]
si un tel élément existe.
Treillis
Dans le cas particulier où A ne contient que deux éléments, A = {a, b},
W
on écrira a ∨ b au lieu de {a, b}.
_
a ∨ b := {a, b}
a∨b
a b
3 4
V
On notera A un élément de E tel que
Définition
V
1. (∀a ∈ A)( A ≤ a), et Un treillis est une structure (E, ≤, ∧, ∨) où
V
2. (∀x ∈ E)[(∀a ∈ A.x ≤ a) ⇒ x ≤ A]
1. (E, ≤) est un ordre,
si un tel élément existe.
2. pour tout x, y ∈ E, x ∨ y et x ∧ y existent.
Dans le cas particulier où A ne contient que deux éléments, A = {a, b},
V D’où, si (E, ≤, ∧, ∨) est un treillis, on a, pour tout w, x, y, z ∈ E,
on écrira a ∧ b au lieu de {a, b}.
^ 1. x ∧ y ≤ x ≤ x ∨ y
a ∧ b := {a, b}
x∧y≤y≤x∨y z
2. x ≤ z et y ≤ z ⇒ x ∨ y ≤ z
a b x∨y
3. w ≤ x et w ≤ y ⇒ w ≤ x ∧ y
x y
a∧b x∧y
5 6
Exemple Définition
a∨b∨c Soit (E, ≤, ∧, ∨) un treillis.
@
@ W W
@ • Si E existe on notera 1 := E
@ V V
a∨b a∨c b∨c • Si E existe on notera 0 := E
@
@ @
@
@ @
@ @ 1 est l’élément maximum de E
a b c
0 est l’élément minimum de E
@
@ @
@ @
@ @@ et on a, pour tout x ∈ E,
a∧b a∧c b∧c
@ 0≤x≤1
@
@
@
a∧b∧c Dans le cas où 0 et 1 existent dans le treillis (E, ≤, ∧, ∨),
on écrira (E, ≤, ∧, ∨, 0, 1)
7 8