Beruflich Dokumente
Kultur Dokumente
MTHODES
MATHMATIQUES
POUR LINFORMATIQUE
Cours et exercices corrigs
Jacques Vlu
Professeur honoraire au
Conservatoire national des arts et mtiers
5e dition
i i
i i
i i
i i
i i
Table des matires
AVANT-PROPOS VII
CORRIGS VIDO IX
CHAPITRE 5 RELATIONS 55
5.1 Dfinitions 55
5.2 Proprits des relations binaires 58
5.3 Relations dquivalence 60
5.4 Exercices sur le chapitre 5 63
INDEX 413
Avant-propos
Depuis sa premire version, des dizaines de milliers de personnes ont utilis Mthodes
mathmatiques pour linformatique ; le livre est prsent ici dans sa nouvelle dition,
une fois de plus revue, mise jour et corrige.
Primitivement destin accompagner les deux enseignements de Mathmatiques pour
lInformatique du Conservatoire National des Arts et Mtiers, ce cours a largi son
audience au fil des annes et maintenant il est utilis autant hors du CNAM que dans
le CNAM.
Ses lecteurs sont de deux sortes : des dbutants ou des curieux, dont cest le premier et
dernier contact avec les Mathmatiques discrtes, et des auditeurs qui entreprennent un
cycle dtude plus ou moins long. Citons par exemple les tudiants de DUT, de BTS,
de licence STIC (Sciences et techniques de linformation et de la communication)
mention informatique et mention mathmatiques appliques, des certificats inscrits au
RNCP (registre national de la certification professionnelle).
Conu pour un public protiforme, il vise cependant un unique objectif : apprendre
des mthodes en faisant comprendre les ides qui les ont engendres.
Il y a plus de quinze ans, quand le premier cours a t bti, on pouvait justement se
demander sil existait des mathmatiques de linformatique, et quelles taient leurs
limites. Fallait-il en faire un enseignement spar ou, comme cela se faisait jusque l,
glisser quelques recettes au gr des cours dinformatique ?
Le choix de lpoque, dont la justesse ne sest pas dmentie, a t de remplacer les
recettes par des mthodes qui reposent sur des thormes de mathmatiques ; mme si
les plus difficiles sont plus montrs que dmontrs, les thormes forment lossature
du livre.
Lenseignement qui repose sur ce livre, est constitu, au CNAM, de deux cours dune
dure de 60 heures chacun (6 ECTS), rpartis sur deux semestres. Cest beaucoup et
cest peu ; beaucoup quand lobjectif est avant tout de devenir informaticien, souvent
uniquement praticien, mais cest peu car le domaine est si vaste . . .
Le livre a t bti pour quon y retrouve deux types de sujets, avec deux niveaux de dif-
ficult. Dabord ceux qui sont invitables et quon enseigne gnralement au premier
semestre : lalgbre de Boole, le calcul propositionnel, les dnombrements, etc. Puis
dautres, qui demandant davantage defforts, et qui constituent le cours du deuxime
semestre. Ceux-l ont pour thme sous-jacent les applications du calcul matriciel : on
rencontre des matrices dans les codes, dans les graphes, dans les automates, partout,
mais je nen dis pas plus afin de laisser au lecteur le soin den faire lui-mme la dcou-
verte. Leur importance interdit de traiter tout ces sujets en si peu de temps ; il faudra
VIII Avant-propos
donc en choisir quelques-uns et ne donner que les grandes lignes des autres, le livre
venant alors en complment du cours.
Je me suis toujours efforc de commencer par prsenter les concepts de la faon la plus
intuitive possible avant de procder leur mise en forme abstraite ; cest pourquoi les
sujets dbutent souvent par une introduction trs concrte qui pose les problmes.
Ensuite viennent les thormes qui conduisent aux mthodes pratiques permettant de
rsoudre mcaniquement ces problmes.
Les chapitres finissent toujours par de nombreux exercices. Beaucoup sont faciles
et seront rsolus ds quon aura trouv le paragraphe auquel ils se rapportent, mais
dautres, nettement plus difficiles, se cachent dans la masse ; cest donc un exercice
supplmentaire de les dbusquer. Certains exercices doivent tre considrs comme un
moment de dtente ; souvent crits en italique, ils adoptent un style quon na pas lha-
bitude de trouver dans les livres de Mathmatiques ; mais l aussi je laisse au lecteur le
plaisir de les dcouvrir. la fin du livre, on trouvera les solutions des exercices. Pour
certains, le rsultat seulement est donn, mais, pour beaucoup dautres, des indications
dtailles sont fournies.
Tout au long du livre jai pos des jalons dans lespoir dexciter votre curiosit. Si je
vous ai donn envie de lire un livre de Mathmatiques sans y tre oblig mon but est
atteint.
Des parties ont t rcrites spcialement pour cette quatrime dition, en tenant compte
des questions poses par les lves. Autre nouveaut, pour ceux qui ont accs inter-
net et qui peuvent lire langlais, quelques URL, qui mont t demandes, permettront
de rechercher un complment dinformation ; voici, tout de suite, les trois premires :
pour chercher des renseignements sur lhistoire des mathmatiques et les biogra-
phies de mathmaticiens http ://www-history.mcs.st-and.ac.uk/
pour parcourir une gigantesque encyclopdie des mathmatiques qui donne lactua-
lit des grands rsultats http ://mathworld.wolfram.com/
si vous rencontrez une suite de nombres entiers, par exemple 1, 9, 9, 3, 9, 9, 3, 9, 9,
1, 18, 9, 9, 9, 9, 9, 9, 9, 6, 9, 18, 6, 9, 9, 6, 9, 9, 4, 9, 9, 12, 18, 18, 3, 9, 9, 3, 9, 9, 3,
18, 18, 12, 18, 9, 5, 9, 9, 9, 9, 18, 6, 18, 18, 2, 9, 9, 9, 9, 9, 12, 5, 18, 3, 9, 9, 3, et si
vous ne savez ni ce que sont ces nombres ni quels pouraient tre les suivants, vous
lapprendrez en consultant :
www.oeis.org,
un site vraiment extraordinaire !
Aprs le fond, un dernier mot sur la forme. Chaque nouvelle dition est loccasion de
corriger des fautes (leur flux samenuise toujours plus mais semble intarissable, cela
doit se dmontrer !). Le livre a t ressaisi compltement, par une nouvelle quipe,
avec un nouveau logiciel. Bien quil ait t relu de nombreuses fois je ne serai pas
tonn de recevoir quelques courriers me signalant des copier-coller maladroits ; nh-
sitez pas me les signaler (infos@dunod.com), par avance merci.
Et surtout bonne lecture !
JACQUES VLU
Riga, le 14 fvrier 2013
Corrigs vido
Rien ne remplace un professeur pour expliquer de vive voix des notions complexes.
Cest la raison pour laquelle Jacques Vlu et les ditions Dunod vous proposent avec
cet ouvrage cinq vidos de corrigs dexercices.
Pour chaque corrig vous aurez lcran toutes les tapes de la solution sous forme
danimations avec les explications dtailles de lauteur en arrire-plan audio.
Comme dans toute vido vous pourrez mettre sur Pause tout moment si vous
avez besoin de rflchir avant de passer la suite. Vous pourrez bien sr aussi revenir
en arrire si vous ntes pas sr davoir bien compris.
Elles peuvent tre visionnes sur tous types dordinateurs, de tablettes ou de smart-
phones connects Internet.
Ces vidos portent sur les noncs suivants :
Page 54 : Exercice 4.19 sur les dnombrements
Page 76 : Exercice 6.19 sur les ensembles ordonns
Page 172 : Exercice 11.16 sur les fonctions boolennes et la simplification
des formules
Page 259 : Exercice 16.18 sur les codes dtecteurs et les codes correcteurs
Page 352 : Problme 20.17 sur les automates finis
La notion densemble
1.1 ENSEMBLES
1.1.1 Les mathmaticiens prfrent sans doute la collectivit lindividu et le gnral au
particulier car ce qui les intresse le plus ce ne sont pas les proprits propres
quelques objets isols, mais plutt celles que partagent tous les objets dune mme
famille. Depuis la fin du XIXe sicle, les ensembles sont mme devenus la notion fon-
damentale des Mathmatiques.
Exemple 1.1 : Aprs avoir constat sur un dessin que les mdianes dun triangle particulier
semblent bien se couper en un mme point, on se demande si cest vrai pour les mdianes
de nimporte quel triangle car cest une proprit dune porte beaucoup plus gnrale,
puisquelle concerne aussi les triangles qui nont pas encore t dessins et mme ceux qui
ne le seront jamais !
Exemple 1.2 : Le fait que 1023 = 210 1 soit divisible par 11 na gure retenu lattention
des mathmaticiens ; par contre la dcouverte et la dmonstration par Fermat que 2 p1 1
est toujours divisible par p, quand p est un nombre premier, est un rsultat fondamental de
larithmtique.
2 1 La notion densemble
1.1.2 On dfinit souvent un ensemble comme une collection dobjets caractriss par une
proprit commune ; il y a par exemple lensemble des nombres pairs, lensemble des
nombres entiers compris entre 7 et 24, lensemble des droites du plan, etc. Cette faon
de sexprimer, qui peut rendre service lorsquon parle densembles trs simples est
dangereuse, parce que trop vague, et laisse croire que nimporte quoi est un ensemble,
ce qui conduit des contradictions dont les plus clbres sont sans doute le paradoxe
de Russell et le paradoxe du barbier (voir encadrs).
Le paradoxe du barbier
Dans une certaine ville il y a deux sortes dhabitants : ceux qui se rasent eux-
mmes et ceux qui ne le font pas. Pour ces derniers, la ville a dsign un habitant,
le barbier, charg de tous les raser, et eux seulement. Alors, qui rase le barbier ?
1.2. lments 3
laube du XXe sicle la dcouverte de ces contradictions provoqua une violente po-
lmique qui eut le mrite de montrer quen Mathmatiques il fallait prciser toutes les
notions, mme les plus lmentaires. On a donc t oblig de revoir la notion den-
semble dune faon plus restrictive et on a fini par admettre quune proprit commune
quelconque ne permet pas toujours de dfinir un ensemble. Les obstacles ont t levs
ce prix et le redoutable ensemble de tous les ensembles, quon avait un moment en-
visag, mais qui menaait dangereusement les fondements des Mathmatiques, sest
vanoui . . .
Le but de ce cours ntant pas dexposer la Thorie des Ensembles, nous devrons
nous contenter du semblant de dfinition qui vient dtre rappel. En fait, le plus sage
sera dadmettre : premirement, quil existe des ensembles (nous allons tout de suite
mentionner ceux qui servent de rfrence) et deuximement, qu partir densembles
dj connus on peut en fabriquer dautres au moyen de diverses constructions (les plus
simples seront indiques au fur et mesure).
1.1.3 Pour pouvoir parler dun ensemble il faut lui donner un nom. Si cest un ensemble
quelconque, qui na pas de raison dtre prcis, ou si cest un ensemble particulier,
mais dpourvu dimportance, on lui donne un nom passe-partout du type : len-
semble E, lensemble F, etc. 1 .
Les ensembles les plus importants, ceux qui servent de rfrence, portent des noms
qui leur sont propres et sont reprsents par une lettre crite dans un alphabet spcial :
B est lensemble des bits,
N est lensemble des entiers naturels,
Z est lensemble des entiers relatifs,
R est lensemble des nombres rels, etc.
Les ensembles directement fabriqus partir de ceux-ci sont souvent dsigns par une
juxtaposition de symboles qui sert rappeler comment ils sont construits : N2 , BN ,
R/2pZ, etc. ; nous y reviendrons.
Dans ce cours, nous nous intresserons beaucoup lensemble N des entiers natu-
rels (les nombres entiers positifs, zro compris), et des ensembles qui en sont trs
proches. Pour linstant nous supposerons que N est bien connu, mais au 3.4.2 nous
c Dunod Toute reproduction non autorise est un dlit
1.2 LMENTS
1.2.1 Les objets qui constituent un ensemble sappellent les lments de lensemble. Pour
indiquer quun objet x est un lment dun ensemble E on crit x E, qui se lit :
x appartient E ; au contraire, pour indiquer que x nappartient pas E, on crit
x/ E.
On dit quun ensemble A est une partie dun ensemble B, ou encore que A est un
sous-ensemble de B, si tout lment de A est aussi un lment de B ; on crit alors
A B et on lit : A est inclus dans B , ou bien B A et on lit : A contient B .
Si A nest pas une partie de B, on crit A B.
Exemple 1.3 : Lensemble A form des nombres entiers multiples de 6 est une partie de
lensemble B form des nombres entiers pairs.
Remarque : Copiant les symboles et <, certains auteurs crivent A B pour dire
que A est une partie quelconque de B et rservent la notation A B pour dire que A
est inclus dans B, sans tre gal B, proprit qui snonce A est strictement inclus
dans B , ou encore A est un sous-ensemble strict de B . Cet usage ancien, que
nous ne suivrons pas, a peu peu disparu. Pour signifier que A est strictement inclus
dans B, on prfre crire A B.
1.2.2 Nous admettrons que les parties dun ensemble E sont les lments dun nouvel en-
semble que lon note (E). Cest le premier exemple dun procd permettant de
construire un nouvel ensemble partir dun ensemble donn.
Il faut remarquer que les lments de (E) sont des ensembles, puisque ce sont les
parties de E ; en particulier E (E). Ceci montre quun mme objet, selon la faon
dont on le regarde, peut tre tantt un ensemble, tantt un lment. On ne doit pas
sen tonner : le FCBarcelone est un lment de lensemble des quipes espagnoles
de football, mais cest aussi un ensemble de joueurs !
De mme quen arithmtique on introduit le nombre 0, dans la thorie des ensembles
il est utile dintroduire un ensemble appel ensemble vide, qui a la particularit de ne
pas avoir dlment1 ; on le note . Par convention chaque ensemble admet pour
partie, autrement dit (E) quel que soit lensemble E.
Remarque : On ne peut pas dire que lensemble vide soit trs consistant ! Pourtant, il
permet lui seul de reconstituer tous les ensembles nayant quun nombre fini dl-
ments (voir 3.4.2).
1 Bien sr, la dfinition : un ensemble est une collection dobjets caractriss par une proprit commune
ne sapplique pas cet ensemble, qui na pas dlment ! Cest pourquoi on est souvent oblig de faire un
cas particulier pour lensemble vide lorsquon donne des dfinitions bases sur lide nave de collection.
2 Dans cette formulation le choix de la lettre x na aucune importance et nimporte quel autre symbole qui
nest pas dj employ ferait laffaire ; cest pour cela que x est qualifi de symbole muet.
3 Car le prdicat aide comprendre ce que sont les lments de E.
1.3. Sur les faons de dfinir un ensemble 5
Exemple 1.4 : De la sorte (E), lensemble des parties de lensemble E, peut tre reprsent
par la suite de symboles : { A | A E}, qui se lit : lensemble des A tels que A est un
sous-ensemble de E .
Si lon souhaite prciser que les lments de lensemble dfinir doivent tre pris dans
un ensemble F, au lieu de {x | x F et P(x)} on crit {x F | P(x)} et on lit :
lensemble des x appartenant F tels que P(x) .
Exemple 1.5 : N = {x N | 1 x} est lensemble des entiers naturels suprieurs ou
gaux 1 ; cest aussi lensemble des entiers naturels non nuls. Si n est un entier naturel
suprieur ou gal 1, le symbole Nn = {x N | 1 x n} dsigne lensemble des
nombres entiers compris entre 1 et n ; nous conviendrons que N 0 = .
1.3.2 Une difficult due la dfinition en comprhension des ensembles provient de ce que
plusieurs prdicats peuvent conduire la mme collection dobjets. Par exemple len-
semble vide peut tre dfini aussi bien par : {x | x = x}, que par : {x N | x 2 < 0}.
Parce que limportant dans un ensemble nest pas le prdicat employ pour le dfinir,
mais les lments qui le composent, on convient de dire que deux ensembles E et F
sont gaux quand ils ont les mmes lments et cela se note E = F (en priv les
mathmaticiens ne se gnent pas pour dire que les deux ensembles sont les mmes).
Exemple 1.6 : {x Z | x 2 = 1} = {x R | |x| = 1} car nous avons gauche lensemble
des entiers relatifs dont le carr vaut 1, qui a donc pour lments +1 et 1, alors qu droite
nous avons lensemble des nombres rels dont la valeur absolue est gale 1, et dont les
lments sont nouveau +1 et 1.
Remarque : Reconnatre si deux ensembles dfinis par des prdicats diffrents sont
gaux est un problme difficile, quon ne sait pas traiter en gnral. Pour dmontrer
que E et F sont gaux, on procde souvent en deux temps, en dmontrant dabord que
E est inclus dans F, puis que F est inclus dans E.
1.3.3 La dfinition dun ensemble au moyen dune proprit caractristique nest pas tou-
jours commode, surtout quand on doit manipuler ses lments. Il faut donc trouver
une autre faon de dfinir les ensembles.
c Dunod Toute reproduction non autorise est un dlit
Il arrive quon ne connaisse pas du tout les lments dun ensemble1 mais il se peut
aussi quon les connaisse tous, ce qui permet, quand il ny en a pas trop, de reprsenter
lensemble par la liste de ses lments ; on dit alors que lensemble est dfini en exten-
sion. Dans la pratique on crit les lments rangs dans un certain ordre, spars par
des virgules, encadrs par deux accolades. Au 1.4.5 nous reviendrons sur la notion
de liste.
Exemple 1.7 : Lensemble des bits, not B (comme binaire, ou boolen), a deux lments,
0 et 1 ; on crira donc B = {0, 1}.
1 Il peut mme arriver quon nait pas dautre connaissance dun ensemble que sa dfinition, comme dans
lexemple suivant. On dfinit les nombres parfaits : ce sont les entiers naturels qui sont gaux la somme
de leurs diviseurs strictement plus petits queux-mme (28 est parfait car 28 = 1 + 2 + 4 + 7 + 14). On peut
donc dfinir lensemble des nombres qui sont la fois parfaits et impairs mais on ne connat pas un seul de
Remarque : En changeant lordre des lments dans une liste, on pourrait penser
quon obtient un nouvel ensemble, mais lancien et le nouvel ensemble sont gaux,
puisquils ont les mmes lments. Par consquent, quand on dfinit un ensemble en
extension, lordre dans lequel on fait la liste de ses lments na pas dimportance ;
par exemple {1, 0} reprsente B autant que {0, 1}.
Exemple 1.10 : Laction qui consiste associer chaque nombre entier son carr dfinit
une fonction de N vers N.
Exemple 1.11 : Actuellement le numro dimmatriculation dune voiture est form dune
suite de chiffres et de lettres qui se succdent de la faon suivante : 2 lettres, puis 3 chiffres,
puis 2 lettres. En termes mathmatiques limmatriculation des voitures dfinit une fonction
qui va de lensemble A des voitures nouvellement imatricules vers un ensemble B dont les
lments sont les suites de chiffres et de lettres construites selon cette rgle.
Cependant, les fonctions entre deux ensembles de nombres ne sont pas toujours d-
finies par des formules, certaines sont mme uniquement dfinies par leur courbe
reprsentative. Ainsi, lorsquon mesure une grandeur physique en continu, appelons-
la G, on obtient une courbe qui montre comment G volue au cours du temps. Cela
dfinit une fonction f : R R telle que G = f (t), qui nest pas ncessairement
reprsentable par une formule2 .
c Dunod Toute reproduction non autorise est un dlit
1.4.4 Linformatique manipule des symboles qui ne reprsentent pas toujours des nombres,
donc les fonctions de linformaticien ne sont pas toujours dfinies par des formules.
Au chapitre 5, nous verrons que dfinir une fonction revient dfinir un certain en-
semble, le graphe de la fonction, et que le problme de la dfinition des fonctions est
un cas particulier de celui de la dfinition des ensembles.
Lorsque lensemble A est dfini en extension, on peut toujours reprsenter une appli-
cation f : A B par sa table de valeurs. Il sagit dun tableau qui montre cte cte
x et f (x) pour tous les lments x de A.
1 En informatique, comme le mot application a plusieurs sens, on prfre dire fonction totale et appeler
0 H0A
Figure 1.1
Exemple 1.14 : Si A = {Andr, Bernard, Charles, Denise, dith, Franoise} et B est len-
semble des jours de lanne, on dfinit une application f : A B en associant chaque
lment de A le jour de son anniversaire. La figure 1.2 reprsente la table de valeurs de f .
x f (x)
Andr 15 avril
Bernard 2 fvrier
Charles 8 mai
Denise 30 octobre
dith 19 dcembre
Franoise 21 aot
Figure 1.2
1.4.5 prsent voici un type dapplication qui va jouer un rle trs important. Soit n 1,
un entier naturel. Construire une application de N n vers un ensemble E, cest associer
chaque entier compris entre 1 et n un lment de E ; une telle application sappelle
une suite finie dlments de E, de longueur n.
On peut reprsenter une suite finie de longueur n en crivant de gauche droite les
images de 1, de 2, . . . , de n, spares par des virgules et encadres par des accolades ;
on obtient alors une liste de n lments de E.
Llment associ lentier k sappelle le ke terme de la suite ; si la suite sappelle s,
cet lment est souvent not sk au lieu de s(k).
Exemple 1.15 : La liste p , 2 , p , 57 reprsente une suite s de nombres rels de lon-
gueur 4 pour qui : s1 = p, s2 = 2, s3 = p, s4 = 57 .
Pour reprsenter les suites binaires de longueur n, on simplifie les notations lex-
trme, en supprimant virgules et accolades ; on obtient alors des expressions quon
appelle1 les mots binaires de longueur n.
Exemple 1.16 : Le mot binaire 00101110010101101101010 reprsente de faon simplifie
la suite binaire de longueur 23 :
{0, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0}
1.4.7 Par analogie avec ce qui prcde, une application de N vers E sappelle une suite
infinie dlments de E. Puisquon ne peut pas dfinir en extension les suites infinies,
il faut employer dautres procds. Quand cest possible, on reprsente une suite s au
moyen dune formule permettant de calculer sk partir de k. On dit alors que sk est
le terme gnral de la suite s et que la suite est dfinie par son terme gnral.
Exemple 1.17 : La formule : sk = 1 + k dfinit une suite par son terme gnral.
Mais une telle formule nexiste pas toujours ou nest pas forcment connue.
Exemple 1.18 : Il semble quon ne connaisse pas de formule permettant de prdire la valeur
du n e chiffre aprs la virgule du dveloppement dcimal de p.
Exemple 1.20 : Reprenons lexemple 1.9 o des objets sont rangs dans des tiroirs et o
lon associe chaque objet le tiroir qui le contient. Dire que cette application est injective
signifie simplement quil ny a jamais plus dun objet dans un tiroir.
Exemple 1.21 : Lapplication qui associe chaque tre humain sa date de naissance nest
pas injective (quon pense aux jumeaux ! ).
Exemple 1.22 : Une suite injective est une suite dont tous les termes sont diffrents.
Exemple 1.23 : Soit A un sous-ensemble dun ensemble B. Lapplication f : A B
dfinie par f (x) = x pour tout x dans A sappelle linjection canonique de A dans B.
Comme son nom lindique elle est injective !
1.5.2 Une application de A vers B qui prend pour valeurs tous les lments de B sappelle
une surjection, on dit aussi une application surjective. En dautres termes, f : A B
est surjective si son image est B ou encore si, pour tout y de B, il existe au moins un
lment x de A tel que y = f (x).
On peut encore dire que lapplication f est surjective si lquation f (x) = b, o x
est inconnu et b un lment de B, possde toujours au moins une solution, quel que
soit b.
Exemple 1.24 : Lapplication de lexemple 1.9 est surjective quand il ny a pas de tiroir
vide.
Exemple 1.25 : Lapplication de R vers R qui associe chaque nombre rel son carr nest
pas surjective car son image ne contient pas les nombres rels strictement ngatifs.
Exemple 1.26 : Soient A = {0, 7, 14, 21, 28, 35, 42, 49, 56, . . .}, lensemble des nombres
entiers multiples de 7 et B lensemble des chiffres {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Lapplication
f , qui associe tout lment de A son chiffre des units (en base 10), est surjective car son
image est B tout entier, puisque :
Exemple 1.27 : Si lon reprend lexemple prcdent, en remplaant A par lensemble des
multiples de 5, on obtient une nouvelle application f qui nest pas surjective car son image
nest plus que lensemble deux lments {0, 5}.
Exemple 1.28 : Soit f : A B. Notons C son image et dfinissons g : A C par
g(x) = f (x) quel que soit x dans A1 . Alors g est surjective.
1.5.3 Une application f : A B qui est la fois injective et surjective sappelle une
bijection, on dit aussi que lapplication est bijective et on dit galement que f met les
ensembles A et B en bijection.
Exemple 1.29 : Si A est un ensemble quelconque, lapplication de A vers A qui associe x
x est bijective ; on lappelle lidentit de A et on la note Id A .
Exemple 1.30 : Lapplication qui associe chaque entier naturel son double met en bijection
N avec lensemble des nombres pairs positifs.
Exemple 1.31 : Lapplication qui associe chaque nombre rel strictement positif son lo-
garithme est une bijection entre R+ , lensemble des rels strictement positifs, et R.
1 Dune faon concrte, g cest comme f , ceci prs quon remplace B, trop grand, par C.
1.5. Diverses proprits des applications 11
janvier 1 1 janvier
fvrier 2 2 fvrier
mars 3 3 mars
avril 4 4 avril
mai 5 5 mai
juin 6 6 juin
juillet 7 7 juillet
aot 8 8 aot
septembre 9 9 septembre
octobre 10 10 octobre
novembre 11 11 novembre
dcembre 12 12 dcembre
Figure 1.3
f
x y
f1
A B
Figure 1.4
1 On prononce g rond f .
12 1 La notion densemble
B y
g
f
C
gf
x z
A
Figure 1.5
Nous avons les rsultats suivants dont la dmonstration est laisse en exercice.
Thorme 1.1
1. Si f et g sont injectives, il en est de mme de g f .
2. Si f et g sont surjectives, il en est de mme de g f .
3. Si f et g sont bijectives, il en est de mme de g f et f 1 g 1 est son
application rciproque.
5. A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
B = {lensemble des chiffres du dveloppement dcimal de 3000300030003
333630696667
}
1.6. Exercices sur le chapitre 1 13
1. A = {x R | x(x + 5) = 14}
2. B = {x N | x(2x + 3) = 14}
3. C = {x N
25 | x est la somme des carrs de deux entiers naturels }
4. D = {x N
10 | x 1 est divisible par 5}
4
[1.10] Interprter chacune des situations suivantes au moyen dune fonction. Pour cela on
dfinira deux ensembles A et B ainsi quune fonction f : A B.
1. Dmontrer que f ne peut pas tre surjective. ( si E est un ensemble fini, on peut
raisonner sur le nombre dlments, sinon on associe f la partie X de E, qui peut
tre vide, forme des lments x de E tels que x
/ f (x) et on montre quil nexiste
pas dlment y de E tel que f (y) = X )
[1.17] Dans chaque cas dire si lapplication f : A B est injective, surjective, ou bijective.
Quand elle est bijective dterminer lapplication rciproque.
1. A=R B =R f (x) = x + 7
2. A=R B =R f (x) = x 2 + 2x 3
3. A = {x R | 9 x 4} B = {x R | 96 x 21} f (x) = x 2 + 2x 3
4. A=R B =R f (x) = 3x 2|x|
5. A=R B =R f (x) = ex + 1
6. A=N B =N f (x) = x(x + 1)
[1.18] Soit f : Z Z dfinie par f (n) = n + (1)n .
1. Montrer que n et f (n) sont toujours de parit diffrente.
2. Montrer que f est bijective.
3. Calculer f ( f (n)). En dduire une expression de f 1 et rsoudre lquation :
347 = n + (1)n
x 1 2 3 4 5 6 7 8 9 x 1 2 3 4 5 6 7 8 9
f (x) 6 4 7 8 9 3 5 1 2 g(x) 1 2 7 4 5 6 3 8 9
Constructions densembles
(Z , 1) (Z , 2) (Z , 3) (T , 1) (T , 2) (T , 3)
Cet exemple montre comment former la liste des lments de A B quand A et B sont
dfinis en extension. La mthode est gnrale, le produit de deux ensembles dfinis en
extension peut toujours tre dfini en extension.
18 2 Constructions densembles
Lorsquon fait linventaire des couples, on a parfois intrt ne pas les disposer la
suite, lun derrire lautre. Souvent, il vaut mieux les ranger de faon que deux couples
qui se ressemblent se retrouvent lun ct de lautre. Pour cela, on reprsente A B
au moyen de son diagramme cartsien. Il sagit dun rectangle dcoup en cases qui
correspondent chacune un couple ( fig. 2.1). Chaque ligne du rectangle correspond
un lment de A car on y trouve tous les couples ayant cet lment pour premire
composante, et chaque colonne correspond un lment de B car on y trouve tous les
couples ayant cet lment pour deuxime composante.
Exemple 2.2 : Pour les ensembles A et B de lexemple 2.1, la figure 2.1 reprsente le
diagramme cartsien de A B et la figure 2.2 celui de B A.
(1, Z ) (1, T )
(Z , 1) (Z , 2) (Z , 3) (2, Z ) (2, T )
(T , 1) (T , 2) (T , 3) (3, Z ) (2, T )
n e objet dans le n e ensemble. Cest une situation trs commune et, sans le savoir, on
rencontre beaucoup de n-uples dans la vie de tous les jours !
Exemple 2.3 : La figure 2.5 reprsente la carte propose, aujourdhui, au restaurant du
CNAM ; composer son menu consiste choisir une entre, un plat principal, un lgume
et un dessert. Si lon note E lensemble des entres, P lensemble des plats principaux, L
lensemble des lgumes, et D lensemble des desserts, chaque menu, par exemple (Carottes
rpes, Poisson frit, pinards, Pomme), est un lment de E P L D.
MENU
Entres
Carottes rpes
uf dur mayonnaise
Salade de tomates
Charcuterie
Plat principal
Rti de buf
Poisson frit
Filet de dinde
Lgumes
pinards
Riz
Desserts
Fromage
Yaourt
Pomme
Crme
c Dunod Toute reproduction non autorise est un dlit
Figure 2.5
Enfin, quand I = N , comme dans lexemple 2.4, ou plus gnralement quand I est
infini, la notion de produit dune famille densembles permet de construire le produit
dune infinit densembles.
1 Dans les jeux de cartes, contrairement ce quon pourrait penser, le mot couleur ne dsigne pas rouge
ou noir, mais cur, pique, trfle ou carreau.