CHAPITRE 1. NOTIONS DE BASE 8
Attention : noter que couple et paire sont des notions diff´erentes et donc
E×F̸=F×E.
Relations, Relation d’´equivalence. Nous pouvons interpr´eter tout sous-
ensemble de E×Fcomme une correspondance ou une relation entre les ´el´ements
de Eet de F. En particulier, si E=F, tout sous-ensemble R⊂E×Eest
appel´e une relation sur E. Les signes ”=” ou ”≤” sont des exemples de relations
dans les ensembles N,Z,Q,R(voir 1.2). On a besoin des relations d’´equivalence
pour d´efinir formellement les ensembles Z,Q,R(voir 1.4 et 1.5). L’objectif est
de classer les ´el´ements de Esuivant leurs types. R⊂E×Eest une relation
d’´equivalence, not´ee x∼ypour (x, y)∈Rsi elle a les propri´et´es suivantes :
1. x∼xpour tout x∈E(reflexivit´e),
2. x∼yimplique y∼x(sym´etrie),
3. x∼yet y∼zimpliquent x∼z(transitivit´e).
L’ensemble [[x]] := {y∈E:y∼x}est appel´e la classe d’´equivalence de x. On a
[[x]] = [[y]] si x∼yet x∈[[x]] est appel´e un repr´esentant de la classe d’´equivalence
[[x]]. L’ensemble quotient, not´e E/∼est l’ensemble des classes d’´equivalence. La
relation donn´ee par le signe ”=” d´efinit toujours une relation d’´equivalence.
Exemples
1. Sur des entiers naturels on introduit une classe d’´equivalence par la re-
lation ”avoir la mˆeme parit´e”. Les classes d’´equivalence sont les nombres
pairs et les nombre impairs pour lesquels on choisit les repr´esentants 0 et
1. Alors 0 ∼2, 1 ∼5, et l’ensemble quotient est donn´e par {[[0]],[[1]]}. Pour
faciliter la notation, on identfie souvent toute classes d’´equivalence avec
son repr´esentant priviligi´e. Avec cette convention, l’ensemble quotient est
donn´e par {0,1}.
2. Sur Z, on introduit une classe d’´equivalence par la relation ”avoir le
mˆeme carr´e”. Les classes d’´equivalence sont donn´ees par [[0]] := {0},[[1]] :=
{−1,1}, [[2]] := {−2,2}etc. On peut identifier l’ensemble quotient avec N.
1.1.5 Fonctions
Application ou fonction. Une correspondance qui `a tout ´el´ement x∈E
associe un ´el´ement y∈Fest appel´ee une application ou encore une fonction de
Edans Fet on la note par f:E→F. Pour indiquer que f(x) est l’´el´ement
de Fassoci´e `a x, on utilise la notation x7→ f(x). On dit que f(x) est la
valeur de fau point xou l’image de xpar f. On appelle Ele domaine de
d´efinition 1et Fl’ensemble d’arriv´ee de f. Le sous-ensemble de Fdonn´e par
f[E] := {f(x) : x∈E}est appel´e l’image de f(aussi not´e Im(f)). Finalement,
le graphe d’une application, not´e Gfest le sous-ensemble de E×Fdonn´e par
Gf={(x, f(x)) : x∈E}.
1. Souvent on note f:E→Fpour une fonction mˆeme si son domaine de d´efintion Df
est plus petit que Esi, par exemple, on veut d´ecrire des propri´et´es g´en´erales d’une classe de
fonctions qui ne d´ependent pas du domaine de d´efinition Df. Avec cette convention on dit
que f:E→Fest une application si et seulement si Df=E.