Académique Documents
Professionnel Documents
Culture Documents
Cycle préparatoire
1ère année
A.U. 2022/2023
Classe d’équivalence. R une relation d’équivalence sur E. Pour x dans E, la classe d’équivalence
de x par R est
C(x) = {y ∈ E : xRy}
On la note aussi x̄ ou ẋ.
Attention ! R une relation d’équivalence sur E.
a) ∀ x, y ∈ E : xRy ⇐⇒ C(x) = C(y).
b) ∀ x, y ∈ E, on a C(x) = C(y) ou C(x) ∩ C(y) = ∅.
Propriétés. R une relation d’équivalence sur E.
a) E = ∪x∈E C(x).
b) Si Γ est l’ensemble formé par un unique représentant de chaque classe d’équivalence.
Alors la famille (C(x))x∈Γ est une partition de E.
Ensemble quotient. R une relation d’équivalence sur E. L’ensemble de toutes les classes d’équivalence
des éléments de E s’appelle l’ensemble quotient de E par R. On le note E/R.
Relations d’ordre.
a) Une relation binaire sur E qui est à la fois réflexive, antisymétrique et transitive s’appelle
une relation d’ordre sur E.
b) Souvent on note une relation d’ordre ≤.
c) On dit que (E, ≤) est un ensemble ordonné.
Ordre totale, ordre partiel. ≤ une relation d’ordre sur E.
a) ≤ est dite une relation d’ordre total si pour a et b de E, on a a ≤ b ou b ≤ a. On dit que
(E, ≤) est totalement ordonné.
b) Dans le cas contraire, on dit que c’est une relation d’ordre partiel. On dit que (E, ≤) est
partiellement ordonné.
Remarques. ≤ une relation d’ordre sur E.
a) ≤ une relation d’ordre sur E. On obtient une autre relation d’ordre ≥ sur E définie par
a ≥ b ⇐⇒ b ≤ a.
b) On a une relation binaire < sur E qui n’est pas une relation d’ordre :
∀ x, y ∈ E : x < y ⇐⇒ x ≤ y et x ̸= y
∀ a ∈ A, a ≤ M
∀ a ∈ A, m ≤ a