Soit Eet Fdeux ensembles et f:E→Fune application. On peut alors
d´efinir sur Eune relation Rfde la fa¸con suivante :
xRfy⇐⇒ f(x)=f(y).
La relation Rfainsi associ´ee `a fest manifestement une relation d’´equivalence.
Th´eor`eme de factorisation :
Soit f:E→Fune application et Rfla relation d’´equivalence associ´ee.
Alors il existe une application injective unique
f:E/Rf→F
telle que f=
f◦Cl.
Si de plus fest surjective, alors
fest une bijection.
D´emonstration :
Soit α∈E/Rf. Supposons que αcontient deux ´el´ements xet y, de sorte
que Cl(x)=Cl(y). Par cons´equent xRfyou encore f(x)=f(y). L’´el´ement
f(x) est donc ind´ependant du choix du repr´esentant xde la classe α. En posant
f(α)=f(x), o`u xest un ´el´ement quelconque de α, on obtient une application
fbien d´efinie de E/Rfdans F.
Supposons que
f(α)=
f(β) et soit x∈αet y∈β. On a alors f(x)=f(y)
d’o`u xRfyet α=β. L’application
fest donc injective.
Enfin,
fest l’unique application ayant la propri´et´e annonc´ee. Soit en effet
g:E/R→Ftelle que f=g◦Cl. Soit α∈E/Ret soit xun repr´esentant de
α:
g(α)=g◦Cl(x)=f(x)=
f(α).
Remarque : inversement, soient Rune relation d’´equivalence sur E,etf:
E→Fune application telle que ∀x, y ∈E, xRy⇒f(x)=f(y). Alors, il existe
une unique application (pas n´ecessairement injective) ¯
f:E/R→Ftelle que
f=¯
f◦Cl.Onditquefest compatible `a R,etque ¯
fest d´eduite de fpar
passage au quotient par la relation R.
Exemples :
1) Soit El’ensemble des droites du plan affine (muni d’un rep`ere). A la
droite dd’´equation ax +by +c= 0, on associe
p(d)=−a
bsi b=0
∞si b=0
Ceci d´efinit une application p:E→R∪{∞}et on a p(d)=p(d�)⇐⇒ les
droites d et d’ sont parall`eles. Les classes d’´equivalence pour la relation Rp
associ´ee `a psont les directions (non orient´ees).
L’application p:E/Rp→R∪{∞}associe `a chaque direction sa pente.
3