Vous êtes sur la page 1sur 1

‫ور ا زا ر ا د راط ا‬ ‫ا‬

Département de Mathématiques ‫وا ثا‬ ‫وزارة ا م ا‬


Faculté des Sciences
Université Sétif 1
1ère Année L.M.D – Maths-Info.

2017/2018 (Semestre 1)
1ère Année L.M.D – Maths-Info.
Matière : Algèbre 1

Série d'exercices nº03


Relations d'équivalence et d'ordre.

Exercice nº 01:
Soit f : E × E → IR une application vérifiant ∀ x, y, z ∈ E : f ( x, y ) + f ( y, z ) + f ( z , x) = 0.
On définit une relation R sur E par ∀ x, y ∈ E : x R y ⇔ f ( x, y ) = 0.
1) Montrer que R est une relation d'équivalence sur E.
2) En posant E = C/ et f ( z , z ') = z − z ' ; déterminer les classes d'équivalence des éléments de E.
Département de Mathématiques

Exercice nº 02:
Soit φ ≠ A ⊂ E. On définit sur P (E ) une relation R par ∀ X , Y ∈ P ( E ) : X R Y ⇔ X∆Y ⊂ A.
1) Montrer que R est une relation d'équivalence sur P (E ).
2) Déterminer la classe d'équivalence de chaque élément X de P (E ) par R .

Exercice nº 03:
Soit R la relation définie sur IN ∗ par ∀ a, b ∈ IN ∗ : a R b ⇔ ∃k ∈ IN ∗ : b = ka (i.e. a divise b ).
1) Montrer que R est une relation d'ordre sur IN ∗ (sans utiliser les propriétés de la division).
2) L'ordre est-il total ?
3) Déterminer les majorants et les minorants de la partie A = {6, 18, 27, 54} ⊂ IN ∗ .
4) Préciser (s'ils existent) sup A, max A, inf A et min A.
Faculté des Sciences

Exercice nº 04:
Soit la relation d'ordre R définie par ∀ ( x, y ), ( x' , y ' ) ∈ IR 2 : ( x, y )R ( x' , y ' ) ⇔ ( x ≤ x' et y ≤ y ' ).
{ }
Soit la partie A = ( x, y ) ∈ IR 2 / x 2 + y 2 ≤ 1 de IR 2 . Montrer que sup A = (1,1) et inf A = (−1, − 1).

Exercice nº 05:
Soient f : E → F une application injective; et soit R une relation d'ordre sur F .
Montrer que l'on définit une relation d'ordre S sur E par ∀ x, y ∈ E : x S y ⇔ f ( x)R f ( y ).

Exercice nº 06:
Soit R une relation réflexive et transitive sur un ensemble E.
Université Sétif 1

1) On définit la relation S sur E par ∀ x, y ∈ E : x S y ⇔ x R y et y R x.


Montrer que S est une relation d'équivalence sur E.
2) On définit la relation T sur E / S par ∀ A, B ∈ E / S : AT B ⇔ ∃ x ∈ A, ∃ y ∈ B : x R y.
Montrer que T est une relation d'ordre sur E / S .

Fin