Vous êtes sur la page 1sur 2

1 2

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

Algèbre de Boole Exemple


Une algèbre de Boole est une structure 1. 2 := ({0, 1}, ≤, ∧, ∨, 0, 1) est une algèbre de Boole.

B = (B, ≤, ∧, ∨, 0, 1) 2. Soit E un ensemble non-vide, alors (P(E), ⊆, ∩, ∪, ∅, E) est une


algèbre de Boole.
qui satisfait les propriétés suivantes :

1. (B, ≤, ∧, ∨, 0, 1) est un treillis avec 0 6= 1. {a, b, c}


@@
2. Pour chaque x ∈ B, il existe un élément de B, noté x, tel que @
x ∧ x = 0 et x ∨ x = 1. On appelle x le complément de x. @
{a, b} {a, c} {b, c}
3. ∨ distribue par rapport à ∧ et ∧ distribue par rapport à ∨. C’est-à- @
@ @
@
dire que, pour chaque x, y, z ∈ B, @ @
@ @
{a} {b} {c}
(x ∨ y) ∧ z = (x ∧ z) ∨ (y ∧ z) @
@
(x ∧ y) ∨ z = (x ∨ z) ∧ (y ∨ z) @
@

Vous aimerez peut-être aussi