Ensembles et applications

I. Dfinitions
- Ensemble :
Un ensemble est dfini comme une collection d'objets, notion que nous considrerons par la suite comme intuitive. Toutefois, toute collection d'objets ne
constitue pas un ensemble; nous verrons par exemple plus loin que "l'ensemble de tous les ensembles" n'existe pas. La dfinition d'un ensemble est prcise
par des axiomatiques, la plus couramment utilise tant l'axiomatique de Zermelo-Fraenkel, ou ZF.
Nanmoins, dans la suite de ce cours, nous ne vrifierons pas systmatiquement que les ensembles considrs existent; les lecteurs interesss peuvent se
reporter l'article sur l'axiomatique de Zermelo-Fraenkel.
L'appartenance d'un objet un ensemble sera aussi considre comme une notion premire.
Notations :

On appelle ensemble vide, et on note , un ensemble ne contenant aucun lment. Il n'existe qu'un seul ensemble vide (Voir dmonstration).
Si x est un objet quelconque, on appelle "singleton x" ou "ensemble rduit x", et on note {x}, l'ensemble ne contenant qu'un seul objet, qui est
gal x.

Par extension, on peut dfinir un ensemble fini en numrant ses lments: {a, b, ..., z}

Si P(x) est un prdicat, on note {x;P(x)}, ou {x/P(x)}, ou {x,P(x)}, l'ensemble des lments x tels que l'assertion P(x) soit vraie. Attention: tous les
prdicats ne peuvent pas dfinir un ensemble (ouvrir le cours sur l'axiomatique ZF).

Dfinitions :
1.

Soit E un ensemble; on appelle lment de E tout objet appartenant E, et on note x

2.

Dans la suite, on utilisera souvent la notion de famille d'objets; on appelle famille (Ei)i I, avec
i I , Ei E, l'application I
E,i
Ei. Une
famille est appele suite dans le cas particulier o I est l'ensemble N des entiers naturels, ventuellement priv d'un nombre fini d'lments.

E.

- Parties d'un ensemble :

Dfinition :
On dit qu'un ensemble E est une partie d'un ensemble F, ou que E est un sous-ensemble de F, ou que E est inclus dans F, ou que F est un sur-ensemble de E,
et on note E F, si tout lment de E est aussi lment de F.
Remarque :
Soit E un ensemble. Alors E et sont des parties de E.
Dfinition et notation :
Soit E un ensemble; on note P(E) l'ensemble des parties de E.
Dfinition :
Soit E un ensemble. On appelle partie propre de E toute partie de E distincte de E et de

- Runion, intersection, diffrence, diffrence symtrique :

Dfinitions :
Soient E et F deux ensembles.

On appelle runion de E et F, et on note E

de E et de F; il ne figure alors qu'une seule fois dans E

F.
On appelle intersection de E et F, et on note E
F, l'ensemble des objets appartenant la fois E et F.

On appelle diffrence de E et F, et on note E\F, l'ensemble des lments de E qui n'appartiennent pas F.

On appelle diffrence symtrique de E et F, et on note E

Si E est une partie de F, on appelle complmentaire de E dans F, et on note Ec, ou cE, ou CFE, l'ensemble F\E.

Exemple :
Posons E={1;2} et F={2;3}. On a alors:

F, l'ensemble form par les lments de E et les lments de F. NB: un mme objet peut tre lment

F, la runion de E\F et F\E.

F={1;2;3}

F={2}

E\F={1}

F\E={3}

F={1;3}

Remarques :

Les dfinitions de la runion, de l'intersection et de la diffrence symtrique sont symtriques en E et F.

Les dfinitions de la runion et de l'intersection se gnralisent une famille quelconque d'ensembles (E i)i
Ei={x ;

I,x

Ei }

Ei={x ;

I,x

Ei}

I:

Rgles de calcul :
Soient E, F, G des ensembles quelconques.
On a les proprits suivantes :

(E

G et F

G)

(E

F)

(G

E et G

F)

(E

F)

G\F

G\E

E\G

F\G

E=(E

F)

E\F

Proposition :
Soient E et F deux ensembles; alors l'ensemble E
E F=(E
F)\(E
F)

F est l'ensemble des lments qui appartiennent E ou F, mais pas aux deux la fois:

Partition :
Soient E un ensemble et (Ei)i

E=

I une famille de parties de E. On dit que les Ei forment une partition de E si :

Ei
(i,j)

IxI , i

Ei

Ej=

les Ei sont tous non vides

- Ensemble-produit :
Dfinition :

Soit (Ei)i
Ei .

Si les Ei sont en nombre fini, par exemple I={1,2,...,n}, on peut noter

ExEx...xE=En.

I une famille d'ensembles. On note

Ei, et on appelle ensemble-produit des Ei, l'ensemble des familles (xi)i

I avec

I , xi

Ei=E1xE2x...xEn. Si de plus tous les Ei sont gaux, on peut crire

- Application :
Dfinitions :

Soient E et F deux ensembles. On appelle fonction de E dans F tout triplet f = (E,F,G), o G est une partie de l'ensemble-produit ExF vrifiant:

((x,y),(x',y')) G? , x=x'
y=y'
Si (x,y) G, on note y=f(x); on dit que y est l'image de x par f (cette image est unique par dfinition), et que x est un antcdent de y par f.

On note la fonction f:E

F,x

f(x).

E est appel l'ensemble de dpart de f, F est l'ensemble d'arrive et G est le graphe de f.

L'ensemble D des lments x de E tels qu'il existe y dans F avec (x,y)

f(D) est appel ensemble-image de D par f.

Plus gnralement, si A est une partie de E, on note f(A), et on appelle image de A par f, l'ensemble {f(x);x

Rciproquement, si B est une partie de F, on note f-1(B) l'ensemble des antcdents par f des lments de B.

On dit que f est une application si son ensemble de dfinition est E.

G est appel ensemble de dfinition de f; l'ensemble {f(x);x

D}, not

A}.

Remarque :
Le point de vue ensembliste adopt dans cette dfinition est trs souvent mis de ct au profit des notions plus intuitives d'ensemble de dpart et d'arrive et
de "formule"; c'est ce dernier point de vue que nous adopterons dans la suite de ce cours.
Notation :
On note FE l'ensemble des applications de E dans F.
Application identique d'un ensemble E :
Soit E un ensemble. On dfinit l'application identique de E (ou identit de E) par le triplet (E,E,D), o D est la diagonale de E, c'est--dire l'ensemble des
couples (x,x), x dcrivant E. Cette application est note Id E. C'est l'application de E dans E dfinie par
x E , IdE(x)=x.
Nous verrons que cette application joue un rle important dans la caractrisation des bijections; elle est galement utile en topologie.
Dfinition: stabilit :
Soient E un ensemble et f une application de E dans E; soit A une partie de E. On dit que A est stable par f si f(A)

A.

- Composition des applications :

Dfinition :
Soient E, F, G trois ensembles, f une application de E dans F, g une application de F dans G. On appelle application compose de f par g l'application (gof):E
G,x

(gof)(x)=g(f(x)).

Proposition :
Soient E, F, G, H quatre ensembles, f une application de E vers F, g une application de F vers G, h une application de G vers H. On a (fog)oh=fo(goh).

- Injection, surjection, bijection :

Dfinitions :
Soient E et F deux ensembles et f une application de E dans F.

On dit que f est une injection de E dans F (ou f est injective) si:

(x,x') E? , f(x)=f(x')
x=x'
On dit que f est une surjection de E dans F (ou f est surjective) si:
y

F,

E , y=f(x)

On dit que f est une bijection de E sur F (ou f est bijective) si f est la fois injective et surjective.

Caractrisation :
Avec les mmes notations, on a:

f est surjective si et seulement s'il existe une application g de F dans E telle que fog=IdF. g est alors injective.
f est injective si et seulement s'il existe une fonction g de F dans E telle que gof=IdE. g est alors surjective.

f est bijective si et seulement s'il existe une application g de F dans E telle que fog=IdF et gof=IdE. g est alors unique; elle est appele application
inverse (ou rciproque) de f et note f-1. g est alors galement bijective, de rciproque f.

Corollaire :
Il existe une injection de E dans F si et seulement s'il existe une surjection de F dans E.

II. Cardinal d'un ensemble

Remarque :
Nous n'allons pas ici dfinir le cardinal d'un ensemble, tout comme nous n'avons pas dfini exactement ce qu'est un ensemble; en effet, ceci nous emmenerait
trop loin des objectifs de ce chapitre. Nous allons simplement introduire la comparaison des cardinaux comme une notation traduisant l'existence
d'injections, de surjections et de bijections entre des ensembles.
Dfinition :
Soient E et F deux ensembles.

On dit que E et F ont mme cardinal, et on note #E=#F, s'il existe une bijection de E sur F; sinon, on note #E

On dit que le cardinal de E est infrieur ou gal au cardinal de F, et on note #E

note #E<#F.

#F, s'il existe une injection de E dans F. Si de plus #E

On dit que le cardinal de E est suprieur ou gal au cardinal de F, et on note #E

note #E>#F.

#F, s'il existe une surjection de E dans F. Si de plus #E

#F.
#F, on

#F, on

Remarque :
On note parfois Card E ou |E| pour #E.
Proposition :
#E

#F

#F

#E

Thorme de Cantor-Bernstein :
Soient E et F deux ensembles.
#E=#F

(#E

#F et #F

#E)

Remarque :
Ces relations se comportent comme une relation d'ordre, mais cette "relation" n'est a priori pas dfinie sur un ensemble. Les rsultats suivants vont nous en
convaincre.
Proposition (thorme de Cantor):
Soit E un ensemble non vide; alors #E<#P(E).
Corollaire :
Il n'existe pas d'ensemble contenant tous les ensembles.
Dfinition :

Soit E un ensemble. On dit que E est fini s'il n'est en bijection avec aucune de ses parties propres. Dans le cas contraire, on dit que E est infini.
Si E est un ensemble infini, on dit que E est dnombrable s'il existe une bijection de E sur l'ensemble N des entiers naturels. Dans le cas contraire,
on dit que E est indnombrable.

Remarque :
Un ensemble fini est un ensemble dont le cardinal est un entier naturel; on retrouve l les cardinaux connus. Toutefois, cette notion n'est pas intuitive; en fait,
elle a t utilise par Cantor pour dfinir rigoureusement les nombres entiers naturels.
Proposition :
Tout ensemble infini contient un sous-ensemble dnombrable.
Caractrisation :
Un ensemble infini E est dnombrable si et seulement si E est l'ensemble-image d'une suite.

III. Lois de composition

- Loi de composition interne :

Dfinition :

Soit E un ensemble non vide. Une loi de composition interne sur E est une application + de l'ensemble produit ExE dans E.
Si E est un ensemble non vide et + une loi de composition interne sur E, alors le couple (E,+) est appel un magma.

Notation :
Soit (E,+) un magma. Pour tout couple (x,y) d'lments de E, on note x+y la place de +(x,y).
Dfinitions :
Soit (E,+) un magma.

+ est dite commutative si

+ est dite associative si

(x,y)
(x,y,z)

ExE , x+y=y+x.
ExExE , (x+y)+z=x+(y+z).

Dfinition: lement neutre :

Soit (E,+) un magma; soit e un lment de E.
e est un lment neutre de + si

E , x+e=e+x=x

Thorme :
Soit (E,+) un magma. S'il existe dans E un lment neutre pour la loi +, alors cet lment neutre est unique.
Dfinition :
Soit (E,+) un magma; supposons que + admet dans E un lment neutre, not 0. Soit x un lment de E.

x est dit symtrisable (ou inversible) gauche pour la loi + si

y E,y+x=0
x est dit symtrisable (ou inversible) droite pour la loi + si
z

E,x+z=0

y (resp. z) est appel symtrique (ou inverse) gauche (resp. droite) de x.

x est dit symtrisable (ou inversible) pour la loi + si x est inversible droite et gauche pour la loi +.

Thorme :
Soit (E,+) un magma dont la loi admet un lment neutre 0; soit x un lment de E.
Si x est inversible pour la loi +, et si la loi + est associative, alors l'inverse de x est dfini de faon unique.
Dfinition: rgularit :
Soient (E,+) un magma et e un lment de E.

e est rgulier droite si

e est rgulier gauche si

e est rgulier si e est rgulier droite et gauche.

(x,y)
(x,y)

E? , (x+e=y+e)

x=y

E? , (e+x)=(e+y)

x=y

Proposition :
Soit (E,+) un magma dont la loi + est associative et admet un lment neutre 0. Alors tout lment inversible droite (resp. gauche) de E est rgulier
droite (resp. gauche).
Dfinition: distributivit :
Soit E un ensemble non vide, soient + et * deux lois de composition interne sur E.

On dit que * est distributive gauche par rapport + si:

(x,y,z)

ExExE , (x + y) * z = (x*z) + (y*z)

On dit que * est distributive droite par rapport + si:

(x,y,z)

ExExE , z * (x + y) = (z*x) + (z*y)

On dit que * est distributive par rapport + si * est distributive droite et gauche par rapport +.

Dfinition: partie stable :

Soient (E,+) un magma et A une partie de E. A est dite stable pour la loi + si

(x,y)

A? , x+y

- Loi de composition externe :

Dfinition :
Soient E et F deux ensembles non vides. Une loi de composition externe de E sur F est une application de l'ensemble produit ExF dans F.
Notation :
Soient E et F deux ensembles non vides; soit + une loi de composition externe de E sur F. On note pour tout lment (x,y) de ExF: +(x,y)=x+y.

IV. Relations Binaires

Les relations binaires servent dfinir les relations d'quivalence (galit, quivalence...) et les relations d'ordre.
Dfinition :
Soit E un ensemble. On appelle relation binaire sur E toute application R de l'ensemble produit ExE dans un ensemble deux lments.
Notations usuelles :

On note xRy la place de R(x,y).

Les deux lments de l'ensemble d'arrive de R sont souvent nots 1 et 0, ou vrai et faux. On crit "xRy est vrai", ou simplement "xRy", pour
"R(x,y)=1" et "xRy est faux" pour "R(x,y)=0".

Proprits :
Soit (E,R) un ensemble muni d'une relation binaire.

La relation R est dite rflexive si

La relation R est dite symtrique si

La relation R est dite antisymtrique si

La relation R est dite transitive si

E , xRx
(x,y)

ExE , xRy

(x,y)

(x,y,z)

yRx

ExE , (xRy et yRx)

ExExE , (xRy et yRz)

x=y
xRz

- Compatibilit d'une relation binaire avec une application :

Soient (E,R) un ensemble muni d'une relation binaire, F un ensemble et f une application de E dans F. On dit que la relation R est compatible avec
l'application f si

(x,y)

E? , xRy

f(x)=f(y)

- Compatibilit d'une relation binaire avec les oprations :

Soit (E,+,R) un ensemble muni d'une loi de composition interne et d'une relation binaire. On dit que la relation R est compatible avec la loi + si
E4 , (xRy et x'Ry')

(x+x')R(y+y')

- Relations d'quivalence :
Dfinition :
On appelle relation d'quivalence sur un ensemble E toute relation binaire sur E rflexive, transitive et symtrique.
Exemples :
L'quivalence de deux fonctions au voisinage d'un point, l'galit de deux objets sont des relations d'quivalence.
Classes d'quivalence :

(x,x',y,y')

Soit (E,R) un ensemble muni d'une relation d'quivalence.

Si x est un lment de E, on appelle classe d'quivalence de x, et on note cl(x), l'ensemble des lments y de E tels que xRy. On note E/R l'ensemble des
classes d'quivalences des lments de E.
Proposition :
L'ensemble des classes d'quivalence forme une partition de l'ensemble E.

V. Dcomposition canonique d'un application

La construction aborde dans ce paragraphe est trs importante en algbre. Il ne faut en aucun cas se contenter de retenir le rsultat, qui n'apporte bien
souvent rien lui seul, et qui de plus est indissociable de sa dmonstration.
Avant d'aborder cette construction, il est important de bien connatre les proprits des relations d'quivalence.
Donnes :
Dans toute la suite du paragraphe, on se donne deux ensembles E et F et une application f de E vers F.
Enonc :
L'application f peut s'crire comme une compose iobos, o:

i est une injection

b est une bijection

s est une surjection

Preuve :

Considrons la relation binaire R sur E dfinie par

L'application s:E

L'application b:E/R
plus bijective

f(E),y=cl(x)

L'application i:f(E)

F,x

On a bien f=iobos

E/R,x

(x,y)

E2 , xRy

f(x)=f(y). C'est une relation d'quivalence (

cl(x) est surjective

b(y)=f(x) est dfinie (c'est dire qu'elle ne dpend pas du choix de x comme reprsentant de y); elle est de

x est injective, d'image f(E).