Logique, ensembles et applications.

I Outils du raisonnement mathmatique 1

I.A Assertions et connecteurs logiques . . . . . . . . . . . . . . . . . 1
I.A.1 Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
I.A.2 Connecteurs logiques . . . . . . . . . . . . . . . . . . . . . 2
I.A.3 Proprits des connecteurs logiques . . . . . . . . . . . . . 3
I.B Quanticateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
I.C Modes de raisonnement . . . . . . . . . . . . . . . . . . . . . . . 5
I.C.1 Syllogisme . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
I.C.2 Disjonction des cas . . . . . . . . . . . . . . . . . . . . . . 5
I.C.3 Dmonstration par contrapose . . . . . . . . . . . . . . . 5
I.C.4 Dmonstration par contre-exemple . . . . . . . . . . . . . 6
I.C.5 Dmonstration par labsurde . . . . . . . . . . . . . . . . 6
I.C.6 Dmonstration par rcurrence . . . . . . . . . . . . . . . . 6
I.C.7 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
II Ensembles 7
II.A La notion densemble . . . . . . . . . . . . . . . . . . . . . . . . . 7
II.B Parties dun ensemble . . . . . . . . . . . . . . . . . . . . . . . . 8
II.C Oprations sur les parties dun ensemble . . . . . . . . . . . . . . 9
II.D Ensembles produits . . . . . . . . . . . . . . . . . . . . . . . . . . 10
II.E Structure algbrique des ensembles . . . . . . . . . . . . . . . . . 11
IIIApplications 13
III.AGnralits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
III.BInjections, surjections, bijections . . . . . . . . . . . . . . . . . . 14
III.B.1 Notion intuitive densembles en bijection . . . . . . . . . . 14
III.B.2 Applications injectives et surjectives . . . . . . . . . . . . 16
III.CComplments sur les applications . . . . . . . . . . . . . . . . . . 17
III.C.1 Compose de deux applications et application rciproque 17
III.C.2 Prolongement et restriction dune application . . . . . . . 19
I Outils du raisonnement mathmatique
I.A Assertions et connecteurs logiques
I.A.1 Assertions
Dnition 1. Une assertion est un nonc mathmatique (ou proprit)
laquelle on attribue lune des deux valeurs logiques : le vrai (V) ou le faux (F)
(valeurs boolennes).
Exemples 1.
"2 + 2 = 4" est une assertion vraie.
"2 + 2 = 5" est une assertion fausse.
" est un nombre entier" est une assertion fausse.
1
Remarque 1. Pour certaines assertions, on peut dcider du caractre vrai ou
faux (par exemple, on peut dcider que lassertion x > 0 est vraie), mais cela
provoque parfois des contradictions. Par exemple, lassertion "toute rgle admet
une exception" ne peut pas tre vraie. Les deux possibilits sont consignes dans
une table de vrit :
P
V
F
I.A.2 Connecteurs logiques
Il existe cinq connecteurs logiques, la base de tout raisonnement mathma-
tique, dont nous allons faire la liste :
Ngation (non) : toute assertion P, on peut associer une autre assertion,
appele ngation de P et note (nonP), qui prend les valeurs :
Vrai si P est faux.
Faux si P est vrai.
P nonP
V F
F V
Par exemple, si P est : "lentier n est pair", (nonP) devient : "lentier n
est impair"
Disjonction (ou) : Lassertion (P ouQ) est vraie si lune au moins des deux
assertions P et Q est vraie.
Conjonction (et) : Lassertion (P et Q) est vraie si les deux assertions P
et Q sont vraies.
Implication () : Lassertion (P Q) est vraie si lassertion ((nonP) ouQ)
est vraie.
quivalence () : Lassertion (P Q) est vraie si lassertion
((P Q) et(Q P)) est vraie.
Remarques 2.
1. Le "ou" mathmatique nest pas exclusif : si les assertions P et Q sont
toutes les deux vraies, alors lassertion (P ouQ) est vraie.
2. (P Q) signie (nonP) est vraie ou (P est vraie et dans ce cas) Q est
vraie.
Cette assertion scrit donc aussi "Si P (vraie), alors Q (vraie)", ou encore
"P est une condition susante pour Q", ou enn "Q est une condition
ncessaire pour P"
3. (P Q) scrit aussi "P si et seulement si Q", ou encore "P est une
condition ncessaire et susante pour Q"
On peut rsumer les direntes valeurs logiques prises par ces connecteurs
logiques en fonction des valeurs logiques de P et Q dans la table de vrit
suivante :
2
P Q P et Q P ouQ P Q P Q
V V V V V V
V F F V F F
F V F V V F
F F F F V V
Remarques 3.
1. Si P et Q sont simultanment fausses, alors (P Q) est vraie. Par
exemple ((1 > 2) (2 > 3)) est une assertion vraie.
2. P Q na pas mme valeur logique que Q P.
Par exemple, pour x R, (x = 1 x > 0) est une assertion vraie, mais
(x > 0 x = 1) est une assertion fausse.
I.A.3 Proprits des connecteurs logiques
Proposition 1. On peut composer des connecteurs logiques :
1. Si (P Q) est vraie et si (Q R) est vraie, alors (P R) est vraie.
2. non(nonP) a mme valeur logique que P.
3. non(P et Q) a mme valeur logique que (nonP) ou(nonQ)
4. non(P ouQ) a mme valeur logique que (nonP) et(nonQ)
5. P et(QouR) a mme valeur logique que (P et Q) ou(P et R)
6. P ou(Qet R) a mme valeur logique que (P ouQ) et(P ouR)
Dmonstration. Toutes ces proprits se retrouvent laide de tables de vrit. Par exemple,
nous allons dmontrer 3) :
P Q P et Q non(P et Q) non P non Q (non P) ou(non Q)
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
Ce tableau nous permet de constater que les valeurs logiques prises par la proprit non(P et Q)
concident avec celles de la proprit (non P) ou(non Q).
On pourra dmontrer le reste de la mme faon titre dexercice.
Exercice 1. Montrer que lassertion P ou(nonP) est toujours vraie.
Remarque 4. Il est essentiel de savoir formuler la ngation dune proprit P.
En eet comme les valeurs logiques de la proprit P et de la proprit nonP
sont inverses, il sut de dmontrer que nonP est vraie pour tablir que P est
fausse.
3
Dnition 2. Soit E un ensemble. Pour un lment x de E, on note P(x) une
assertion dont la valeur logique dpend dune variable note x. P(x) est appel
un prdicat. Par exemple, pour E = R, le prdicat P(x) : x > 0 est vrai pour
la valeur x = 1, et faux pour la valeur x = 1.
I.B Quanticateurs
Dnition 3.
1. On dnit le quanticateur universel, not (quelque soit) de la manire
suivante :
x E, P(x)
signie que le prdicat P(x) est vrai pour toute valeur de x prise dans E,
ou encore :
{x E/ P(x) est vrai } = E
2. On dnit le quanticateur existentiel, not (il existe) de la manire
suivante :
x E, P(x)
signie que le prdicat P(x) est vrai pour au moins une valeur de x prise
dans E, ou encore :
{x E/ P(x) est vrai } =
Proposition 2. On exprime la ngation des quanticateurs de la manire sui-
vante :
1. Lassertion non(x E, P(x)) est logiquement quivalente
x E, nonP(x).
2. Lassertion non(x E, P(x)) est logiquement quivalente
x E, nonP(x).
Exemple 2. non(x E, [y F, (z G, P(x, y, z))])
x E, non[y F, (z G, P(x, y, z))]
x E, y F, non(z G, P(x, y, z))
x E, y F, z G, nonP(x, y, z)
Proposition 3. On peut inverser deux quanticateurs de mme nature :
x E, y F, P(x, y) quivaut y F, x E, P(x, y)
x E, y F, P(x, y) quivaut y F, x E, P(x, y)
x E, y F, P(x, y) nest en gnral pas quivalent
y F, x E, P(x, y)
Exemples 3.
1. Si E = R

, et F = R

+
, alors on a (x < 0, y > 0, xy < 0), ce qui
quivaut (y > 0, x < 0, xy < 0)
4
2. Si E = F = R

+
, alors lassertion (x > 0, y > 0, xy = 1) est vraie.
En eet, pour tout x rel strictement positif, il existe y =
1
x
> 0 tel que
xy = 1.
En revanche, lassertion (y > 0, x > 0, xy = 1) est fausse. On peut le
prouver laide de la remarque 4. La ngation de cette assertion est :
y > 0, x > 0, xy = 1
Cette nouvelle assertion est vraie car pour y rel strictement positif quel-
conque, il existe x =
2
y
> 0 tel que xy = 2 = 1.
I.C Modes de raisonnement
Remarque 5. Dans le lexique du raisonnement, un thorme, une proposition,
un corollaire ou un lemme sont des assertions vraies. Une hypothse est une
assertion quon vrie ou dont on dcide quelle est vraie (mme si elle peut tre
fausse, par exemple dans le raisonnement par labsurde).
I.C.1 Syllogisme
On veut dmontrer la proposition Q. On procde en trois tapes :
1. On dmontre la proposition P (celle-ci se vrie en gnral directement).
2. On vrie que lassertion (P Q) est vraie.
3. On en dduit la proposition Q.
Cest le mode de raisonnement le plus couramment utilis, et quon fait souvent
sans y penser dans la vie courante. Par exemple :
"Socrate est un homme (proposition P). Tous les hommes sont mortels (propo-
sition P Q). Donc Socrate est mortel (proposition Q).
I.C.2 Disjonction des cas
On veut dmontrer la proposition Q. On se donne n assertions P
1
, P
2
, . . . , P
n
(appeles cas) tel que lune de ces assertions au moins est vraie.
On vrie alors que les assertions P
1
Q, P
2
Q, . . . , P
n
Q sont vraies, et
on en dduit la proposition Q.
Exemple 4. Soit n N. Montrer que lentier n(n + 1) est pair.
I.C.3 Dmonstration par contrapose
On veut dmontrer une proposition de type P Q. On peut la dmontrer
directement en supposant P (vrai) et en dduisant Q (vrai). On se ramne alors
lun des autres types de raisonnement.
La contrapose de cette proposition est la proposition (nonQ nonP). Elle est
logiquement quivalente la prcdente ( titre dexercice, on pourra construire
une table de vrit pour sen convaincre).
Par exemple, si ABC est un triangle, avec AB = 3, AC = 4, et BC = 6, on
peut dduire de la contrapose du thorme de Pythagore que ABC nest pas
rectangle. En eet, le thorme snonce de la faon suivante :
5
"Si le triangle ABC est rectangle en A, alors BC
2
= AB
2
+ AC
2
"
Sa contrapose devient :
"Si BC
2
= AB
2
+ AC
2
, alors le triangle ABC nest pas rectangle en A"
Comme 6
2
= 3
2
+ 4
2
, alors le triangle ABC donn nest pas rectangle en A.
Attention ! Il ne faut pas confondre la contrapose dun thorme, qui est
une reformulation de ce thorme, et sa rciproque, qui nest pas toujours vraie.
Par exemple, la rciproque du thorme de Pythagore est :
"Si BC
2
= AB
2
+ AC
2
, alors le triangle ABC est rectangle en A"
Pour rsumer, on peut aussi dmontrer P Q par contrapose en supposant
Q faux, et en en dduisant que P est faux.
I.C.4 Dmonstration par contre-exemple
On veut dmontrer quune assertion du type : (x E, P(x)) est fausse, ce
qui quivaut non(x E, P(x)) est vraie, ou encore (x E, nonP(x)) est
vraie. Il sagit donc de trouver un lment x de E tel que P(x) est faux (appel
contre-exemple).
Par exemple, on va dmontrer que la proprit :
n N, (n divisible par 6 et par 4) (n divisible par 24)
est fausse. La ngation de cette proprit est :
n N, non

(n divisible par 6 et par 4) (n divisible par 24)

ce qui peut sexprimer autrement par dnition :

n N, non

non(n divisible par 6 et par 4) ou(n divisible par 24)

soit nalement de manire quivalente :

n N, (n divisible par 6 et par 4) et non(n divisible par 24)
Donc il faut chercher un entier n tel que n est divisible par 6 et par 4, mais
pas par 24. Lentier n = 12 convient.
I.C.5 Dmonstration par labsurde
On veut dmontrer que la proprit P est vraie. On suppose pour cela quelle
est fausse, et on essaie den dduire quil existe une proprit Q telle que Q et
(nonQ) sont vraies, ce qui est contradictoire. Ceci montre alors le rsultat, car :
(nonP Qet(nonQ)) vraie (P ou(Qet(nonQ))) vraie
P vraie
I.C.6 Dmonstration par rcurrence
Celle-ci sera tudie dans le chapitre entiers naturels.
6
I.C.7 Exemples
Exercice 2.
1. Soit p un entier. Montrer que si p
2
est pair, alors p est pair (on pourra
raisonner par contrapose).
2. Montrer que

2 est irrationnel (on pourra raisonner par labsurde).
3. Montrer quil existe un nombre irrationnel a tel que a

2
est rationnel (on
pourra raisonner par disjonction des cas en considrant le nombre

2

2
).
Solution.
1. On suppose que p est impair, alors il existe en entier k tel que p = 2k + 1. On calcule
alors :
p
2
= (2k + 1)
2
= 4k
2
+ 4k + 1 = 2(2k
2
+ 2k) + 1 = 2k

+ 1
donc p
2
est impair.
2. Supposons que

2 est un nombre rationnel, alors on peut crire :

2 =
p
q
o
p
q
est une fraction irrductible. Par lvation au carr, on obtient 2 =
p
2
q
2
et donc :
p
2
= 2q
2
ce qui prouve que p
2
est pair. Donc daprs 1), p est pair et on peut alors crire p = 2p
1
.
Par suite, comme p
2
= 2q
2
, on obtient 4p
2
1
= 2q
2
, donc q
2
= 2p
2
1
, ce qui prouve que q
2
est pair, et donc que q est pair (q = 2q
1
). Finalement, on a :
p
q
=
2p
1
2q
1
ce qui contredit le fait que
p
q
est une fraction irrductible. En conclusion, on a montr
par labsurde que

2 est un irrationnel.
3. On considre le nombre

2

2
:
1
er
cas : Sil est rationnel, on choisit a =

2, ce qui rpond la question.

2
` eme
cas : Sil est irrationnel, alors on choisit a =

2
. Dans ce cas :
a

2
=

2
=

2
2
= 2 Q
ce qui rpond la question.
II Ensembles
II.A La notion densemble
On ne donnera pas la dnition mathmatique, mais plutt une dnition
intuitive de ce quest un ensemble. Il sagit dune "collection dobjets" mathma-
tiques laquelle peut appartenir (ou non) un objet donn. Lorsque x appartient
lensemble E, on note x E et on dit que x est un lment de E. Dans le cas
contraire, on note x / E.
Exemple 5. On peut dnir un ensemble E par les mthodes suivantes :
7
1. En nonant un un les lments. Par exemple, E
1
= {A, B, C, D},
E
2
= {vert,rouge}, E
3
= {1, 2, 3, . . . , 12}, N = {0, 1, 2, . . . , n, . . .}.
2. Par une liste de rgles (axiomes). On peut ainsi dnir N (axiomatique de
Pano), et construire les ensembles Z, Q, R et C partir de N.
3. laide dun ensemble de rfrence E
0
et dun prdicat P(x).
E = {x E
0
/ P(x)}
signie que x E si et seulement si x E
0
et P(x) est vrai. Par exemple,
lensemble N
p
des entiers pairs est dni par :
N
p
= {n N/ k N tel que n = 2k}
II.B Parties dun ensemble
Dnition 4. Si E et F sont deux ensembles, on dit que F est un sous-ensemble
(ou partie) de E, ou que F est inclus dans E, si tout lment de F est un lment
de E. Notation : F E.
De manire usuelle, on crit :
F / E la ngation de F E.
E = F si E F et F E
F E si F E et F = E.
lensemble dni par E et x E, x / .
{a} un ensemble ne contenant quun lment a (on lappelle un singleton).
P(E) lensemble des parties de E. Par exemple, si E = {1, 2},
P(E) = {, {1}, {2}, {1, 2}}.
Remarque 6. F / E si x F, x / E.
Proposition 4. Soient E, F, G trois ensembles. On a :
(i) E
(ii) E E
(iii) (E F et F G) E G
Dmonstration.
(i) Cest vident par dnition de lensemble vide.
(ii) Cest galement vident car x E, x E.
(iii) Soit x E, alors comme E F, on a x F. De plus, comme F G, on a x G. Donc
E G.
8
II.C Oprations sur les parties dun ensemble
Dnition 5. Soient E un ensemble et A, B P(E). On dnit, partir de A
et B, les parties suivantes de E :
AB = {x E/ x A ou x B}, appel runion des ensembles A et B.
A B = {x E/ x A et x B}, appel intersection des ensembles
A et B.
A\ B = {x E/ x A et x / B}, appel dirence A moins B.

E
A = E \ A le complmentaire de A dans E.
A

E
A
E
A
B
A B
A
B
A B
Dnition 6. Deux parties A et B de E sont dites disjointes si A B = .
Proposition 5. Les oprations sur les ensembles respectent les proprits sui-
vantes :
1. Avec la runion :
a) A = A = A
b) A A = A
c) A E = E
d) A B = B A
e) (A B) C = A (B C)
f) A B = A B A
2. Avec lintersection :
a) A = A =
b) A A = A
c) A E = A
d) A B = B A
e) (A B) C = A (B C)
f) A B = A A B
3. Avec le complmentaire :
a)
E
= E
b)
E
E =
c)
E

E
A

= A
9
Proposition 6. Les oprations sur les ensembles respectent les proprits sui-
vantes :
1. Les lois de Morgan :
a)
E
(A B) = (
E
A) (
E
B)
b)
E
(A B) = (
E
A) (
E
B)
2. Union et intersection :
a) A(BC) = (AB) (AC) (distributivit de par rapport ).
b) A(BC) = (AB) (AC) (distributivit de par rapport ).
c) A (A B) = A (A B) = A
3. Dirence :
a) A\ B = A B
b) A\ = A
c) A\ B = A
E
B = A\ (A B)
Dmonstration. Nous allons eectuer une dmonstration partielle de ces proprits. La d-
monstration des autres proprits est similaire et pourra tre faite titre dexercice :
Montrons dabord directement par quivalences la proprit 1a). Soit x E, alors :
x
E
(A B) non(x Aou x B)
non(x A) et non(x B)
x
E
Aet x
E
B
x (
E
A) (
E
B)
Montrons maintenant la proprit 2a). On veut montrer une galit densembles et pour
cela, on va montrer les inclusions rciproques :
A (B C) (A B) (A C)
Soit x A (B C), alors x Aet(x B ou x C).
1
er
cas : x Aet x B, alors x A B.
2
` eme
cas : x Aet x C, alors x A C.
En conclusion, x A B ou x A C, donc x (A B) (A C).
(A B) (A C) A (B C)
Soit x (A B) (A C), alors (x A B) ou(x A C).
1
er
cas : x A B, alors x Aet x B, donc x Aet x B C.
2
` eme
cas : x A C, alors x Aet x C, donc x Aet x B C.
En conclusion, on a dmontr que x A (B C).
II.D Ensembles produits
Dnition 7. Soient E et F deux ensembles. On appelle ensemble produit de
E et F, not E F, lensemble constitu des couples (x, y) o x E et y F.
Exemple 6. Si E = {A, B, C} et F = {1, 2}, alors :
E F = {(A, 1), (A, 2), (B, 1), (B, 2), (C, 1), (C, 2)}
10
A B C
1
2
F
E
E F
Dnition 8. Soient E
1
, E
2
, . . . , E
n
des ensembles. On dnit de mme
lensemble produit E
1
E
2
E
n
de ces ensembles, constitu des n-uplets
(x
1
, x
2
, . . . , x
n
) o x
i
E
i
pour tout entier i [[1, n]].
Remarque 7. Lorsque E
1
= E
2
= . . . = E
n
= E, on note :
E
n
= E E E
II.E Structure algbrique des ensembles
Dnition 9. On appelle loi de composition interne (ou opration) sur un
ensemble E une application de E E valeurs dans E qui, un couple
(x, y), associe son image x y. :

E E E
(x, y) x y
Exemple 7. NN est lensemble des couples de coordonnes (x, y), avec x et
y dans N.
+ est une opration sur lensemble N : limage du couple (2, 3) est 2 + 3 = 5.
est galement une opration sur lensemble N : limage du couple (2, 3) est
2 3 = 6.
Dnition 10. On appelle groupe un couple (G, ), o G est un ensemble et
une loi de composition interne sur G vriant :
1. est associative (cest dire que pour tous a, b, c G, on a :
(a b) c = a (b c)).
2. possde un lment neutre (cest dire quil existe un lment e tel que
a G, a e = e a = a )
3. Tout lment de G possde un symtrique pour la loi (cest dire que
a G, b G tel que a b = b a = e, et on note b = a
1
ou a selon
les groupes).
Enn, si a, b G, on a : a b = b a, alors (G, ) est un groupe commutatif
(ou ablien).
Exemples 8.
(Z, +),(Q, +),(Q

, ),(R, +) et (R

, ) sont des groupes commutatifs.

Pour le groupe (R, +), llment neutre est 0 et le symtrique de a est a
(appel oppos de a). Pour le groupe (R

, ), llment neutre est 1 et le

symtrique de a est
1
a
(appel inverse de a).
11
(N, +) et (Z

, ) ne sont pas des groupes.

On peut donner un exemple plus original et plus imag de la notion de groupe
si on considre lensemble des heures dune pendule not {0 = 12, 1, 2, 3, . . . , 11},
et muni de la loi daddition + avec par exemple :
1 + 3 = 4
7 + 8 = 15 = 3
On vrie trs facilement quil sagit dun groupe (appel en mathmatiques
Z/12Z) dlment neutre 0, et o la notion de symtrique prend un sens gom-
trique (interprter).
Dnition 11. On appelle sous-groupe du groupe (G, ) tout groupe (H, )
contenu dans G (H est muni de la mme loi que G).
Remarque 8. Ceci assure en particulier que a, b H, a b H, car est
galement une loi interne pour H (on dit que H est stable par ).
Proposition 7. Soit (G, ) un groupe, dont on note e llment neutre et a
1
le symtrique de a G, alors un ensemble H est un sous-groupe de G si et
seulement si :
(i) e H
(ii) Si a H, alors a
1
H.
(iii) Si a, b H, alors a b H
Dans lexemple de la pendule, on peut par exemple vrier que {0, 3, 6, 9} est
un sous-groupe du groupe des heures.
Dnition 12. On appelle corps un triplet (K, , ) vriant :
1. (K, ) est un groupe commutatif dlment neutre not 0 (appel lment
nul).
2. (K

, ) est un groupe.
3. est distributive par rapport .
De plus, ce corps est dit commutatif si (K

, ) est un groupe commutatif.

Exemples 9. (Q, +, ) et (R, +, ) sont des corps commutatifs.
Exercice 3.
1. Montrer que lensemble C, muni des lois de composition + et est un
corps commutatif.
2. Montrer que lensemble (U, ) des nombres complexes de module 1 est un
sous-groupe de (C

, ).
12
3. Montrer que lensemble (U
n
, ) des racines n
imes
de lunit est un sous-
groupe de U.
III Applications
III.A Gnralits
On rappelle que f est une application dun ensemble E vers un ensemble F si
tout lment x de E admet une image f(x) dans F, et si cette image est unique.
Autrement dit :
x E, !y F tel que y = f(x) (! signie unique)
On note F(E, F) lensemble des applications de lensemble E vers lensemble
F.
Dnition 13. Soit A E. On appelle image de la partie A, le sous-ensemble
de F not f(A), et dni par :
f(A) = {y F / x A tel que y = f(x)}
Cest lensemble des images par f des lments de la partie A.
Exemple 10. Soit lapplication f :

N N
n n + 1
.
On a par exemple f({0, 1}) = {1, 2}, et f(N) = N

(car n N

, n = f(n 1)
et 0 na pas dantcdent par f dans N).
Dnition 14. Soit B F. On appelle image rciproque de la partie B, le
sous-ensemble de E not f
1
(B), et dni par :
f
1
(B) = {x E / f(x) B}
Cest lensemble des antcdents par f des lments de la partie B.
Exemple 11. Considrons lapplication f :

R R
x x
2
f
1
({1}) = {1; 1} car x R, f(x) = 1 x
2
= 1 x = 1.
f
1
(R
+
) = R car x R, f(x) = 1 x
2
0 x R.
f
1
(R

) = car linquation f(x) < 0 na pas de solution dans R.

De mme, on a f
1
(R

) = {0}, f
1
(R) = R et f
1
([0, 2]) = [

2,

2].
13
0
1
2

2
Image rciproque de [0, 2]
Remarque 9. Attention ne pas confondre image rciproque dune partie
par lapplication f (celle-ci existe toujours) et application rciproque f
1
(qui
nexiste que si f est bijective). Dans lexemple 11, f nadmet pas dapplication
rciproque sur R, mais R a une image rciproque par f (il sagit de R).
III.B Injections, surjections, bijections
III.B.1 Notion intuitive densembles en bijection
Deux ensembles E et F sont en bijection lorsque "tout lment de E est
associ un unique lment de F et que, de cette manire, tout lment de F
se trouve associ un unique lment de E".
Remarque 10. Deux ensembles nis de mme cardinal (i.e. avec le mme
nombre dlments) sont en bijection.
Lensemble {a, b, c, d} est en bijection avec lensemble {, , , } (on peut
faire les associations a , b , c , d ou encore a , b
, c , d , etc...)
a
b
c
d

E
F
Un ensemble compos de trois boules de couleurs direntes est en bijec-
tion avec lensemble {1, 2, 3} (on "numrote" les boules).
1 2 3
Exemples densembles innis en bijection En respectant la dnition
donne, on peut tablir que certains ensembles usuels sont en bijection.
N et N

sont en bijection par la relation :

f :

N N

n n + 1
(On a les associations 0 1, 1 2, 2 3, . . . , n n + 1, . . .)
14
N et N N sont en bijection.
On a les associations (voir schma pour la suite) :
(0, 0) 0, (1, 0) 1, (0, 1) 2, (2, 0) 3, . . .
0
1
1
N
N
0 1 3 6
4 7 11
8
18
10
2
5
9
Bijection de N N sur N (schma)
Une autre relation de bijection plus formelle est f :

N
2
N
(p, s) 2
p
(2s + 1) 1
.
N et Q sont en bijection.
Exercice 4. tablir que les ensembles N et Z sont en bijection.
Solution. Il sut de considrer la relation :

N Z
n
n
2
si n est pair.
n
n+1
2
si n est impair.
Dnition 15. Un ensemble en bijection avec N est dit dnombrable (on peut
"numroter" ses lments). Lensemble R nest pas dnombrable (rsultat tabli
par Cantor).
Demandons nous maintenant quelle condition nous assure que deux ensembles
E et F sont en bijection. Il doit exister une relation f : E F telle que :
1) Tout lment de E admet une image dans F.
2) Cette image est unique.
E F
Donc f est une application, et de plus :
1) Tout lment de F doit avoir un antcdent dans E.
2) Cet antcdent est unique.
E F
15
III.B.2 Applications injectives et surjectives
Dnition 16. Soit f : E F une application. On dit que f est injective
(ou une injection) si tout lment de F a au plus un antcdent (par f), ce qui
snonce de la manire suivante avec les quanticateurs :
x, x

E, f(x) = f(x

) x = x

ou de manire quivalente, par contrapose :

x, x

E, x = x

f(x) = f(x

)
E F
Non injectif
E F
Injectif
Dnition 17. Soit f : E F une application. On dit que f est surjective
(ou une surjection) si tout lment de F a au moins un antcdent (par f), ce
qui snonce de la manire suivante avec les quanticateurs :
y F, x E, y = f(x)
E F
Non surjectif (et injectif)
E F
Surjectif (et non injectif)
Dnition 18. Soit f : E F une application. On dit que f est bijective (ou
une bijection) si tout lment de F a un et un seul antcdent (par f), ce qui
snonce de la manire suivante avec les quanticateurs :
y F, !x E, y = f(x)
E F
Bijectif (injectif et surjectif)
Avec les dnitions prcdentes, on constate donc que f est bijective si et seule-
ment si elle est injective et surjective.
16
Remarque 11. La proprit de surjectivit traduit lexistence dun antcdent
par f de tout lment y de F. La proprit dinjectivit traduit lunicit dun
ventuel antcdent de y. La proprit de bijectivit traduit donc lexistence et
lunicit dun tel antcdent.
Proposition 8. f : E F est surjective si et seulement si f(E) = F.
Exercice 5. Reconnatre si les fonctions suivantes de R dans R, dont les graphes
sont donns, sont injectives, surjectives, bijectives.
C
f
lim
x
f(x) = et lim
x+
f(x) = +
C
f
lim
x
f(x) = et lim
x+
f(x) =
+
C
f
lim
x
f(x) =
C
f
C
f
Exercice 6. Discuter de linjectivit et de la surjectivit des applications sui-
vantes :
f :

N N
n n + 1
g :

Z Z
n n + 1
h :

R
+
R
x x
2
i :

R R
+
x x
2
j :

N N
n n
2
k :

Z Z
n 2n + 3
l :

R C
e
i
m :

C C

z e
z
III.C Complments sur les applications
III.C.1 Compose de deux applications et application rciproque
On rappelle les dnitions suivantes, dj donnes dans les chapitres prc-
dents pour des cas particuliers :
17
1. Si f : E F et g : F G sont deux applications, alors on dnit la
compose de f suivie de g par :
g f :

E G
x g[f(x)]
2. Si f : E F est une application bijective, alors tout lment y de F a
un unique antcdent x par f, et on dnit lapplication rciproque de f
note f
1
par f
1
(y) = x. De plus :
y = f(x) x = f
1
(y)
3. Lapplication Id
E
:

E E
x x
est appele application identique (ou
identit) de E.
Proposition 9. Soient f : E F et g : F G deux applications bijectives.
1. Lapplication Id
E
est bijective et Id
1
E
= Id
E
.
2. f
1
f = Id
E
, et f f
1
= Id
F
3. g f : E G est bijective, et (g f)
1
= f
1
g
1
E F G
f
g
g f
f
1
g
1
(g f)
1
Exercice 7. Soit f : E F une application :
1. Montrer que sil existe g : F E tel que g f = Id
E
, alors f est injective.
2. Montrer que sil existe h : F E tel que fh = Id
F
, alors f est surjective.
3. Montrer que si les deux conditions prcdentes sont runies, alors f est
bijective et f
1
= g = h.
Dnition 19. On dit que lapplication f : E E est involutive (ou une
involution) si f f = Id
E
. Si f est une involution, alors f est bijective et on a
f
1
= f.
18
III.C.2 Prolongement et restriction dune application
Dnition 20. Soit f : E F une application, et A une partie de E. On
appelle restriction de f la partie A, lapplication note f
|A
dnie par :
f
|A
:

A F
x f(x)
(Lensemble de dpart de f
|A
est A).
Remarque 12. D
f
|A
= D
f
A.
Exemple 12. Soit f :

R R
x |x|
.
On a f
|R

= Id
R

x x
et f
|R
+
= Id
R
+
:

R
+
R
+
x x
.
Dnition 21. Soit f : E F une application, et X un ensemble qui contient
E. On dit que lapplication g : X F est un prolongement de f si g
|E
est la
fonction f.
Exemple 13. Soit f :

R
+
R
x

x
Lapplication :
g
1
:

R R
x

|x|
est un prolongement (continu) de f.
C
f
Lapplication g
2
:

R R
x

x si x 0
x 1 si x < 0
est aussi un prolongement (non
continu) de f.
Remarque 13. Dans la plupart des cas, on prolonge une fonction en un point
seulement, qui se trouve hors de lensemble de dnition, et de faon ce que
le prolongement soit continu (prolongement par continuit).
19