Relations binaires sur un

L1 MI Section B ensemble

1. Relations binaires :
On appelle relation binaire dans un ensemble E une caractérisation entre deux élément
.on note cela par 𝑥ℜ𝑦
Propriétés : soit ℜ une relation dans 𝐸
1) ℜ est reflexive : ∀𝑥 ∈ 𝐸: 𝑥ℜ𝑥
2) ℜ est symétrique : ∀𝑥, 𝑦 ∈ 𝐸: 𝑥ℜ𝑦 ⟹ 𝑦ℜ𝑥 ou antisymétrique
𝑦ℜ𝑥 𝑒𝑡 𝑦ℜ𝑥 𝑎𝑙𝑜𝑟𝑠 𝑥 = 𝑦
3) ℜ est transitive : ∀𝑥, 𝑦, 𝑧 ∈ 𝐸: 𝑥ℜ𝑦 𝑒𝑡 𝑦ℜ𝑧 ⟹ 𝑥ℜ𝑧
2.Relation d’équivalence :
ℜ une relation d’équivalence sur 𝐸 si et ssi :
➢ 𝕽 est reflexive
➢ 𝕽 est symétrique
➢ 𝕽 est tran sitive
𝑜𝑛 𝑎𝑝𝑝𝑒𝑙𝑙𝑒 𝑐𝑙𝑎𝑠𝑠𝑒 𝑑 é𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑐𝑒𝑠 𝑑𝑒 𝑥 𝑒𝑡 𝐸 𝑙 ′ 𝑒𝑛𝑠𝑒𝑚𝑏𝑙𝑒 𝑛𝑜𝑡é:
′

Une relation d’équivalence

𝒙̇ = {𝑦 ∈ 𝐸 /𝑦ℜ𝑥 } = 𝒄𝒍(𝒙) = 𝒙
Propriété : si ℜ est une relation d’équivalence vérifient 𝑥ℜ𝑦 ,alors 𝑥 et 𝑦 ont même
classe d’équivalence
Théroréme : une relation d’équivalence 𝕽 sur un ensemble E définit une partition de E
dont les éléments sont les classes d’équivalences de 𝕽
Réciproquement, toute partition de E définit sur E une relation d’équivalence dont les
classes coïncidents avec les éléments de la partition
Proposition : on a les propriétés suivantes
1) Cl(x)=cl(y)⇔ 𝑥ℜ𝑦
2) Pour tout 𝑥, 𝑦 ∈ 𝐸, Cl(x)=cl(y)ou 𝑐𝑙(𝑥) ⋂ 𝑐𝑙(𝑦) = 𝜙
3) Soit 𝐶 un ensemble de représentants de toutes les classes alors {𝑐𝑙(𝑥)|𝑥 ∈ 𝐶}
constitue une partition de E
• Une partition de E est un ensemble {𝐸𝑖 } de parties de E tel que
𝐸 =∪ 𝐸𝑖
{𝐸 ∩ 𝐸 = 𝜙 𝑠𝑖 (𝑖 ≠ 𝑗)
𝑖 𝐽
Exemples :𝑬 = {𝒂, 𝒃, 𝒄}
𝑃𝑖 = {{𝑎}, {𝑏}, {𝑐}}
Avec 𝑃1 = {𝑎}, 𝑃2 = {𝑏}, 𝑃3 = {𝑐}
𝑃1 ∩ 𝑃2 = 𝑃2 ∩ 𝑃3 = 𝑃1 ∩ 𝑃3 = 𝜙
∪ 𝑃𝑖 = 𝐸 donc (𝑃𝑖 ) est une partition

3.Relation d’ordre :

Définition : Soit E un ensemble et ℜ une relation dans un ensemble E. On dit que ℜ est
une relation d'ordre si elle est réflexive, antisymétrique et transitive.
 Relations binaires sur un
L1 MI Section B ensemble

Exemple :
1. Dans P (E), l'égalité " = " et l'inclusion " ⊂" sont des relations d'ordre.
2. Dans ℝ, la relation " ≤" usuelle est une relation d'ordre.
3. Dans ℕ la relation définie par : ∀(𝑥; 𝑦) ∈ ℕ∗ 2 : 𝑥𝑅𝑦 ⟺ 𝑥 𝑑𝑖𝑣𝑖𝑠𝑒 𝑦
est une relation d'ordre.

Relation d'ordre totale, relation d'ordre partiel :

Définition :Soit ℜ une relation d'ordre sur un ensemble 𝐸. On dit que ℜ est une relation
d'ordre total si et seulement si : ∀(𝑥; 𝑦) ∈ 𝐸 2 ∶ 𝑥 ℜ 𝑦 𝑜𝑢 𝑦 ℜ 𝑥.
Si ℜ n'est pas d'ordre total on dit alors qu'elle est d'ordre partiel.
Exemple :
1. Dans P (E), l'inclusion "⊂" est une relation d'ordre partiel.
2. Dans ℝ, la relation "≤" est une relation d'ordre total.