G´eom´etrie du plan et de l’espace
RELATIONS D’EQUIVALENCE ET ACTIONS DE GROUPES
1. Rappels ensemblistes
Les ensembles seront souvent not´es X, Y, . . .
On note f:X→Yune application de Xdans Y. On dit que Xest le domaine
de fou ensemble de d´epart et que Yest l’ensemble d’arriv´ee. Le sous-ensemble
f(X)⊂Yest l’image de f. Le graphe de fest le sous-ensemble de X×Y:
Graphe(f) = {(x, y)∈X×Y:y=f(x)}
D´efinition. On dit qu’une application f:X→Yest
(i) surjective si f(X) = Y; de mani`ere ´equivalente, l’´equation f(x) = yadmet
au moins une solution pour tout y∈Y;
(ii) injective si x6=x0⇒f(x)6=f(x0); de mani`ere ´equivalente, l’´equation
f(x) = yadmet au plus une solution pour y∈Y;
(iii) bijective si elle est surjective et injective ; de mani`ere ´equivalente, l’´equation
f(x) = yadmet exactement une solution pour tout y∈Y.
Axiome du choix Soit f:X→Ysurjective. Alors il existe g:Y→Xtelle que
pour tout y∈Y,f◦g(y) = y.
2. Relations d’´equivalence
D´efinition. Une relation d’´equivalence Rsur un ensemble Xest une relation
binaire (c’est-`a-dire une relation sur un couple d’´el´ements) x R y (on utilisera aussi
la notation x∼y) qui est
(i) r´eflexive, c’est-`a-dire ∀x∈X, x R x ;
(ii) sym´etrique, c’est-`a-dire x R y ⇒y R x ;
(iii) transitive, c’est-`a-dire x R y et y R z ⇒x R z ;
Le graphe de la relation d’´equivalence est le sous-ensemble de X×Xsuivant :
Graphe(R) = {(x, y)∈X×X:x R y}
La classe d’´equivalence de x∈Xest le sous-ensemble de Xsuivant :
[x] = {y∈X:y R x}
L’ensemble quotient, not´e X/R, est l’ensemble des classes d’´equivalence.
D´efinition. Une partition d’un ensemble Xest une famille (Xi)i∈Ide sous-
ensembles de Xtelle que