Académique Documents
Professionnel Documents
Culture Documents
Cours de mathématiques
Partie I – Les fondements
MPSI 4
Alain TROESCH
Version du:
13 juillet 2017
Table des matières
1 Fondements logiques 7
I Rudiments de logique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
I.1 Formule propositionnelles, prédicats . . . . . . . . . . . . . . . . . . . . . . . . . . 7
I.2 Quantificateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
I.3 Négations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
I.4 Quelques équivalences et tautologies formant la base du raisonnement . . . . . . . 10
II Démonstrations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
II.1 Composition d’un texte mathématique . . . . . . . . . . . . . . . . . . . . . . . . . 12
II.2 Comment construire une démonstration . . . . . . . . . . . . . . . . . . . . . . . . 13
II.3 Le Modus ponens. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
II.4 Démonstration par la contraposée. . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
II.5 Disjonction des cas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
II.6 Analyse-Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
II.7 Raisonnement par récurrence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
II.8 Principe de la descente infinie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2 Ensembles 23
I Théorie intuitive des ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
I.1 Définition intuitive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
I.2 Opérations sur les ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
I.3 Unions et intersections sur une famille . . . . . . . . . . . . . . . . . . . . . . . . . 32
I.4 Fonction caractéristique (ou indicatrice) . . . . . . . . . . . . . . . . . . . . . . . . 33
II Paradoxes ensemblistes et axiomatisation . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
II.1 La crise des fondements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
II.2 Tentatives d’axiomatisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
III L’ensemble N des entiers naturels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
III.1 Axiomatique de N (hors-programme) . . . . . . . . . . . . . . . . . . . . . . . . . . 36
III.2 Propriétés de N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3 Applications 39
I Qu’est-ce qu’une application ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
II Image directe, image réciproque . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
III Injectivité, surjectivité, bijectivité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2 Table des matières
4 Sommes 51
P Q
I Manipulation des signes et . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
I.1 Définition des notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
P Q
I.2 Règles de manipulation des signes et . . . . . . . . . . . . . . . . . . . . . . 55
I.3 Changements d’indice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
I.4 Sommes télescopiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
I.5 Sommes multiples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
I.6 Produits de sommes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
I.7 Rapide introduction à la notion de série . . . . . . . . . . . . . . . . . . . . . . . . 61
II Sommes classiques à connaître . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
II.1 Somme des puissances d’entiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
II.2 Sommes géométriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5 Combinatoire et dénombrement 69
I Notion de cardinal, combinatoire des ensembles . . . . . . . . . . . . . . . . . . . . . . . . 69
I.1 Définition du cardinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
I.2 Règles de calcul sur les cardinaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
I.3 Comparaison des cardinaux en cas d’injectivité et surjectivité . . . . . . . . . . . . 72
II Combinatoire des ensembles d’applications . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
II.1 Applications quelconques ; p-listes . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
II.2 Lemme du berger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
II.3 Injections ; p-listes d’éléments distincts . . . . . . . . . . . . . . . . . . . . . . . . . 74
II.4 Surjections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
III Sous-ensembles et coefficients binomiaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
IV Bijection, Déesse de la Combinatoire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
V Preuves combinatoires d’identités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
VI Introduction à la dénombrabilité (HP) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6 Relations 83
I Définitions générales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
I.1 Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
I.2 Définition de quelques propriétés sur les relations . . . . . . . . . . . . . . . . . . . 85
II Relations d’équivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
II.1 Définitions et exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
II.2 Classes d’équivalence, ensembles quotients . . . . . . . . . . . . . . . . . . . . . . . 86
II.3 Congruences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
III Relations d’ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
III.1 Définitions générales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
III.2 Minimalité, maximalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
III.3 Le lemme de Zorn (HP) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
7 Les corps Q et R 95
I De Q à R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
I.1 Construction de Q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
I.2 Relation d’ordre dans Q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
I.3 De l’existence de nombres non rationnels . . . . . . . . . . . . . . . . . . . . . . . 97
I.4 L’ensemble R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
II Nombres réels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
II.1 Rappels sur les inégalités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
II.2 Division euclidienne dans R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
II.3 Densité de Q et R \ Q dans R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
II.4 Nombres transcendants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
Table des matières 3
En écrivant ce cours, il n’était pas dans mes objectifs de rédiger un cours complet. Notamment, les
développements des exemples et surtout les démonstrations des résultats ont été volontairement omis.
Cependant sous la pression de mes élèves, j’ai rajouté dans cette version des « éléments de preuve »,
donnant l’idée générale et le schéma des différentes démonstrations, sans entrer dans les détails techniques.
Ces éléments de preuve apparaissent en grisé afin de ne pas charger visuellement le polycopié. Leur but
est double :
• Permettre une certaine autonomie dans la découverte du cours : ces éléments de preuve sont conçus
comme des indications permettant de développer ensuite soi-même la démonstration des résultats,
comme un exercice. L’idéal est de pouvoir faire cette préparation avant que le cours soit fait en
classe ; sinon pendant le cours, mais les temps de réflexion sont plus courts.
• Faciliter les révisions, sachant que les preuves complètes sont pris par les élèves sur des feuilles
séparées du polycopié : lors des révisions, ces éléments doivent permettre de se remémorer rapide-
ment les grandes lignes des preuves, sans avoir à ressortir ses notes. Cherchez alors à développer
les détails des preuves par vous-même (par écrit une fois, et les fois suivantes, au moins dans votre
tête) ; si vous coincez, le recours aux notes prises pendant le cours s’impose.
Ce cours est constitué de 3 parties. La première, appelée « Fondements », regroupe toutes les bases logiques
et ensemblistes des mathématiques, ainsi que l’étude des nombres réels et complexes. La seconde partie est
le cours d’analyse, commençant par de l’analyse concrète (étude de fonctions, pratique de l’intégration
etc.) puis l’étude des suites, des approximations (Taylor, développements limités), des séries et enfin
des probabilités discrètes. La dernière partie est le cours d’algèbre, regroupant l’étude des structures
algébriques (groupes, anneaux, corps), avec notamment l’étude des anneaux de polynômes, puis l’étude
de l’algèbre linéaire sous son aspect vectoriel et matriciel, et enfin l’algèbre bilinéaire.
6 Table des matières
Je remercie tous les élèves de MPSI 4 (Bestial ! ! !) que j’ai eus depuis que je suis au lycée Louis-Le-Grand.
Vos remarques et vos nombreuses questions sont à la base de nombreuses améliorations de ces notes de
cours. Par ailleurs, l’intérêt et, pour certain, la passion que vous montrez pour les mathématiques m’ont
beaucoup motivé pour vous donner le meilleur de moi-même. J’ai beaucoup appris de vous, aussi bien du
point de vue pédagogique que du point de vue mathématique. N’est-ce par là l’idéal de l’enseignement,
quand l’enseignement devient échange ?
Je n’oublierai jamais aucun de vous, que vous ayez été l’étoile filant bien au-dessus de moi, ou l’élève
avançant avec beaucoup plus de peine. Vous avez tous été formidables.
Et que mes élèves actuels et mes futurs élèves se rappellent d’une chose : que vous soyez premier ou
dernier de la classe, votre place est bien là, en MPSI 4, et vous la méritez. Et lorsqu’à certains moments
de l’année, vous aurez l’impression d’être perdus, souvenez-vous que vous êtes forts en mathématiques.
1
Fondements logiques
En effet, l’effet fait le même effet à la cause que l’effet que la cause lui a causé de fait
(Professeur Shadoko par Jacques Rouxier)
Ce chapitre a pour but d’introduire les concepts fondamentaux des mathématiques, à savoir les bases-
même du raisonnement mathématique : Le but n’est pas l’étude de la logique formelle, ni même la
présentation rigoureuse de cegtte logique formelle, mais de voir comment des rudiments de la théorie
de la logique permettent une mise en forme rigoureuse de la structure de la pensée et du cheminement
logique. Cependant, cette structuration ne peut en rien remplacer l’intuition comme le dit ci bien René
Thom :
Car le monde des Idées excède infiniment nos possibilités opératoires, et c’est dans l’intuition
que réside l’ ultima ratio de notre foi en la vérité d’un théorème - un théorème étant, selon
une étymologie aujourd’hui bien oubliée, l’objet d’une vision.
(René Thom)
I Rudiments de logique
I.1 Formule propositionnelles, prédicats
La logique propositionnelle est l’étude des formules abstraites qu’on peut écrire à partir d’un certain
nombre de variables propositionnelles, représentées par des lettres. Nous nous contentons d’une définition
restant assez vague, l’objet n’étant pas l’étude de la logique formelle, mais une bonne structuration de la
pensée et de la démarche scientifique.
8 CHAPITRE 1. FONDEMENTS LOGIQUES
Chaque variable propositionnelle peut prendre une valeur de vérité : V (Vrai) ou F (Faux). Suivant les
valeurs de vérité prises par les différentes variables propositionnelles intervenant dans la formule, une
formule pourra alors être vraie ou fausse, ce qu’on déterminera en suivant les règles intuitive de véracité
liées aux symboles de connection utilisés et rappelées ci-dessous :
P Q (P ∨ Q) P Q (P ∧ Q) P Q (P =⇒ Q) P Q (P ⇐⇒ Q)
P ¬P V V V V V V V V V V V V
V F V F V V F F V F F V F F
F V F V V F V F F V V F V F
F F F F F F F F V F F V
Remarque 1.1.4
1. La table de vérité de l’implication se comprend bien en considérant sa négation : dire qu’une
implication P =⇒ Q, est fausse, c’est dire que malgré le fait que l’hypothèse P soit vraie, la
conclusion Q est fausse.
2. Ainsi, dire que P =⇒ Q est vraie ne sous-entend nullement la véracité de P . En particulier,
« P =⇒ Q » n’est pas équivalent à « P donc Q », qui affirme la véracité de P .
Il convient donc de faire attention à la rédaction : le symbole « =⇒ » ne peut pas remplacer
le mot « donc »
3. La même remarque vaut pour l’équivalence.
4. Par ailleurs, puisque si P est faux, P =⇒ Q est toujours vrai, pour montrer que P =⇒ Q est
vrai, il suffit de se placer dans le cas où P est vrai : on suppose que P est vrai, on montre que
I Rudiments de logique 9
Q aussi. Cela correspond à l’interprétation « Si P est vrai, alors Q est vrai ». En revanche, on
n’a pas de contrainte lorsque P est faux.
5. Ne pas confondre :
• P est une condition suffisante à Q : P =⇒ Q ;
• P est une condition nécessaire à Q : Q =⇒ P ;
• P est une condition nécessaire et suffisante à Q : P ⇐⇒ Q.
6. Pour montrer une équivalence P ⇐⇒ Q, n’oubliez pas de montrer les deux implications P =⇒ Q
et Q =⇒ P . N’oubliez pas la réciproque !
Exemple 1.1.5
• « n est multiple de 6 » est une ..... pour que n soit pair mais pas une ..... .
• x = 1 est une ..... pour que x2 = 1, mais pas une ..... . En revanche, si x est réel, x = 1 est une
..... pour que x3 = 1.
• Si f est dérivable sur R, f ′ (0) = 0 est une ..... pour que f admette un extremum local en 0, mais
ce n’est pas une ..... .
I.2 Quantificateurs
Dans un texte mathématique élaboré, Les variables propositionnelles représentent des propositions mathé-
matiques élémentaires : des formules, des équations, des faits mathématiques etc. Ces énoncés nécessitent
s’expriment souvent à l’aide de variables mathématiques, vouées à prendre des valeurs dans un ensemble.
Deux propriétés particulières liés à une formule utilisant une variable peuvent être particulièrement inté-
ressantes :
• le fait que la formule soit vraie pour toutes les valeurs possibles de la variable dans un ensemble
donnée
• le fait que la formule soit vraie pour au moins une valeur de x.
Pour formuler ces propriétés, on introduit deux symboles, appelés quantificateurs :
Remplacer une variable quantifiée par une autre (indépendante des autres variables intervenant dans la
formule) ne change pas le sens de la proposition. Ainsi ∀x, P (x), et ∀y, P (y) sont équivalents.
Attention à bien remplacer toutes les occurrences de la variable x dans le champ d’action du quantificateur.
On dit dans ce cas que x est une variable muette.
I.3 Négations
Dans de nombreuses occasions, par exemple pour mener des démontrations par l’absurde ou par la
contraposée, il est important de savoir nier une expression mathématique (c’est-à-dire exprimer son
contraire) de façon efficace et rapide (et sans erreur !).
Cette négation peut se faire de façon purement formelle, en utilisant les règles de négation suivantes :
⊳ Éléments de preuve.
La démontration se fait en comparant les tables de vérité. ⊲
Exemples 1.1.11
Niez les propositions suivantes :
1. ((A =⇒ B) ∧ C) ∨ ¬B
2. (((A ⇐⇒ B) ∨ C) =⇒ B) ⇐⇒ A
Exemples 1.1.12
1. Non linéarité d’une fonction de Rn vers Rm ; exemple de f : x 7→ x2 de R dans R.
2. Définition de la continuité d’une fonction f en x0 , puis négation. Exemple de la fonction H de
Heaviside.
4. P ∧ Q ≡ Q ∧ P (commutativité de ∧)
5. P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R) (distributivité)
6. P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R) (distributivité)
7. (P ⇐⇒ Q) ≡ (P =⇒ Q) ∧ (Q =⇒ P ) (principe de la double implication)
8. (P =⇒ Q) ≡ (¬Q =⇒ ¬P ) (principe de la contraposée)
9. P =⇒ (Q ∨ R) ≡ (P ∧ ¬Q) =⇒ R
10. (P ∨ Q) =⇒ R ≡ (P =⇒ R) ∧ (Q =⇒ R) (disjonction de cas)
11. P =⇒ Q ≡ ¬P ∨ Q.
⊳ Éléments de preuve.
On démontre ces équivalences et ces tautologies en dressant et comparant les tables de vérité. Cer-
taines peuvent aussi s’obtenir de façon déductive à l’aide des équivalences et/ou tautologies démon-
trées précédemment. ⊲
Nous terminons par quelques équivalences sur des expressions quantifiées, permettant de formaliser un
usage correct des quantificateurs.
Avertissement 1.1.16
Attention ! En général, on ne peut pas intervertir ∃ et ∀ !
Remarque 1.1.17
• Quelle différence de sens faites vous entre deux formules obtenues par interversion de ∃ et ∀.
• L’une des deux formules implique l’autre. Laquelle ?
• Ne jamais utiliser les symboles de quantification dans une phrase : il s’agit d’un symbole ma-
thématique, pas d’une abréviation.
12 CHAPITRE 1. FONDEMENTS LOGIQUES
Remarque 1.1.19
A-t-on :
• ∀x, (P ∨ Q) ≡ ∀xP ∨ ∀xQ ?
• ∃x, (P ∧ Q) ≡ ∃xP ∧ ∃xQ ?
Propriétés 1.1.20
Si Q ne dépend pas de la variable x,
• ∀x, (P (x) ∨ Q) ≡ (∀xP (x)) ∨ Q
• ∃x, (P (x) ∧ Q) ≡ (∃xP (x)) ∧ Q
II Démonstrations
II.1 Composition d’un texte mathématique
Un texte mathématique est constitué de :
1. définitions : des descriptions de certains objets constituant les briques de la théorie. C’est à voir
comme un raccourci de langage.
2. résultats : des énoncés mettant en jeu les objets définis dans la théorie, et donnant des propriétés
vérifiées par ces objets. Un résultat s’énonce sous la forme A =⇒ B. On distingue :
• les axiomes : des résultats qui sont des vérités fondamentales de la théorie, et qu’on ne démontre
pas (à considérer comme le cahier des charges de la théorie : on impose ces résultats, il n’y a
donc pas besoin de les montrer) ;
• les théorèmes : les résultats les plus significatifs, démontrés à partir des axiomes et de résultats
démontrés antérieurement ;
• les propositions : des résultats de moindre envergure ;
• les lemmes : des résultats à voir comme des étapes vers des résultats plus consistants (résultats
préliminaires, mais pouvant avoir leur intérêt en soi)
• les corollaires : des conséquences assez immédiates d’autres résultats, par exemple des cas
particuliers intéressants ;
3. démonstrations : des justifications de la véracité des résultats.
4. conjectures : des énoncés qu’on pense être vrais, mais qu’on n’a pas encore réussi à prouver.
II Démonstrations 13
Remarque 1.2.1
Un énoncé s’exprime souvent sous la forme A =⇒ B.
La proposition A regroupe les hypothèses
La proposition B regroupe les conclusions.
Ne pas oublier de bien apprendre toutes les hypothèses d’un résultat. Par exemple, considérons le
théorème suivant :
Soit f une fonction dérivable sur un intervalle I. Si f ′ est positive sur I, alors f est croissante sur I.
Il y a trois hypothèses dans cet énoncé : bien sûr, f ′ > 0, que personne n’oublie ; mais aussi f dérivable
sur I (sans laquelle l’énoncé n’a pas de sens), et (plus souvent oubliée) le fait que I est un intervalle
(sans quoi le résultat est faux !).
Dans un exercice ou un devoir, c’est au candidat de construire soi-même la démonstration. Il est donc
intéressant d’avoir une démarche permettant d’aborder ces démonstrations de façon logique et structu-
rée. Bien entendu, l’application formelle de ces règles n’est pas suffisante, il faut à un moment de la
démonstration apporter une ou plusieurs idées personnelles !
La construction rigoureuse repose sur la structure logique de l’énoncé à démontrer, en se basant sur les
principes généraux suivants. Une formule mathématique étant construite en itérant des constructions
élémentaires de ce type, il faut bien appliquer ces principes de démonstration à chaque étape de la
construction, ce qui nécessite de dérouler la structure logique du résultat à montrer.
• Prouver une implication A =⇒ B :
On suppose que A est vrai, on démontre B. La rédaction commence par « Supposons que A est
vrai ».
Dans certaines situations, il peut être plus simple de montrer l’implication contraposée (voir plus
loin). Y penser si on bloque !
• Prouver une équivalence A ⇐⇒ B :
On prouve en deux temps A =⇒ B et B =⇒ A. On peut aussi raisonner par équivalences succes-
sives, mais dans ce cas, raisonner d’abord dans un sens, puis vérifier scrupuleusement qu’on peut
« remonter » toutes les implications.
• Prouver une conjonction A ∧ B :
On prouve en deux temps : on prouve A, puis on prouve B.
• Prouver une disjonction A ∨ B :
On prouve que ¬A =⇒ B, ce qui revient à supposer que A n’est pas vrai, et à en déduire que
B est vrai. On peut bien sûr intervertir A et B : un bon choix de la propriété que l’on nie peut
parfois simplifier la démonstration.
• Prouver ∀xA(x) :
La proposition A doit être vraie pour tout choix de x. On pose donc un x supposé quelconque
(c’est-à-dire sur lequel on n’impose pas de condition), et on montre que pour ce x, A(x) est vérifié.
Le fait d’avoir choisi x quelconque montre qu’alors A(x) est vrai pour tout x.
La démonstration débute alors systématiquement par « Soit x ... », puis on démontre A(x).
• Prouver ∃xA(x) :
Montrer une propriété existentielle est souvent ce qu’il y a de plus délicat. Dans le meilleur des
cas, on construit explicitement x qui convient. Pour s’aider à définir x convenable, on peut faire
une analyse/synthèse (voir plus loin).
14 CHAPITRE 1. FONDEMENTS LOGIQUES
Exemple 1.2.2
Structure d’une démonstration adaptée à la formule :
Avertissement 1.2.3
Attention ! Utiliser de façon trop systématique et trop poussée ces différentes règes peut parfois em-
pêcher de voir la ressemblance avec une propriété du cours, et peut nuire à l’intuition. Ne pas le faire
assez nuit très souvent à la rigueur de la rédaction. Il faut donc trouver un juste milieu.
Avertissement 1.2.4
La structure logique, puis les règles de la logique formelle, ne font que structurer la démonstration.
Une bonne rédaction passe par une mise en langage de ces règles : on rédige toujours à l’aide de
phrases, et non par un enchaînement de formules logiques absconses !
(A ∧ (A =⇒ B)) =⇒ B
Avertissement 1.2.6
Attention, A =⇒ B n’est pas suffisant. Si on veut obtenir B, il faut aussi justifier la véracité de A !
(différence entre « =⇒ » et « donc »)
Le modus ponens est donc à voir comme une formalisation du « donc », déduction logique.
La situation typique d’utilisation du modus ponens est l’emploi d’un théorème : celui-ci s’écrit A =⇒ B,
où A est l’hypothèse et B la conclusion. Ainsi, pour montrer B, on vérifie que l’hypothèse A est satisfaite,
et on emploie le théorème A =⇒ B. Le modus ponens nous permet de conclure que la conclusion B est
vraie aussi.
Avertissement 1.2.7
Toujours bien préciser A et A =⇒ B. En particulier, quand on utilise un théorème, toujours bien
préciser le théorème utilisé d’une part (en donnant son nom), et la validité des hypothèses d’autre part.
Cela nécessite un apprentissage rigoureux du cours : la connaissance des hypothèses des théorèmes est
aussi importante que la connaissance de leurs conclusions (c’est cette bonne connaissance des hypothèses
qui assure aussi qu’on n’utilisera pas le théorème à tort et à travers dans des situations inadaptées).
On peut enchaîner des modus ponens grâce à la transitivité de l’implication :
II Démonstrations 15
C’est donc un raisonnement déductif en plusieurs étapes. La conclusion d’une étape fournit l’hypothèse
de l’étape de modus ponens suivante.
La situation typique est celle d’une démonstration composée de plusieurs étapes (par exemple l’utilisation
de plusieurs théorèmes).
Exemples 1.2.11
1. Soit n ∈ N. Montrer que si n2 est pair, alors n est pair.
2. Soit A, B, C trois ensembles. Montrer, sans utiliser les règles opératoires sur les ensembles, que
si A ∩ B = ∅ et A ∩ C = ∅, alors A ∩ (B ∪ C) = ∅.
M
3. Montrer que si x1 + · · · + xn = M , alors il existe i ∈ [[1, n]] tel que xi > n .
Avertissement 1.2.12
Ne pas confondre la contraposée ¬B =⇒ ¬A et l’expression ¬A =⇒ ¬B, qui n’est pas équivalente à
A =⇒ B, mais à sa réciproque !
Un cas particulier important de démonstration par la contraposée est le cas de la démonstration par
l’absurde. Il s’agit de la situation dans laquelle A est la propriété toujours vraie. Alors ¬A est la propriété
toujours fausse (il s’agit d’une contradition).
Là encore, les démonstrations par l’absurde interviennent dans des situations très diverses. La démons-
tration par l’absurde la plus connue est certainement la démontration de Pythagore de l’irrationnalité de
√
2:
16 CHAPITRE 1. FONDEMENTS LOGIQUES
Exemple 1.2.14
√
Démonstration de l’irrationnalité de 2.
(A ∨ B) =⇒ C ≡ (A =⇒ C) ∧ (B =⇒ C).
Évidemment, ce principe se généralise dans le cas où la disjonction comporte un plus grand nombre de
termes.
Avertissement 1.2.17
Lors d’une démonstration par discussion, prenez garde à bien vérifier C dans tous les cas envisageables
(s’assurer que la disjonction initiale est bien la proposition certaine)
Souvent, la discussion n’apparaît pas de façon explicite ; la nécessité de la discussion intervient de façon
naturelle au cours de la démonstration. Ces discussions permettent souvent de gérer des cas particuliers
dans lesquels la démonstration générale n’est pas valide, ou alors de séparer l’ensemble des possibilités
en plusieurs classes sur lesquels la démonstration ne s’effectue pas tout à fait de la même façon.
Exemple 1.2.18
Montrer, sans utiliser le fait qu’il s’agit du résultat d’une somme classique, que pour tout n ∈ N,
n(n+1)(2n+1)
6 est entier.
II.6 Analyse-Synthèse
Ce procédé de démonstration est surtout adapté pour les problèmes existentiels (montrer l’existence d’un
objet vérifiant un certain nombre de propriétés). Le principe est le suivant :
• Phase de synthèse : lorsqu’on a suffisamment d’informations sur une façon de construire l’objet
recherché, on construit un objet de la sorte, de façon explicite, et on vérifie qu’il répond au
problème.
• Bonus : si la phase d’analyse fournit une expression explicite de l’objet recherché, ne laissant
pas le choix pour cet objet, cela fournit même l’unicité.
Remarque 1.2.20
• La phase d’analyse est la recherche de conditions nécessaires.
• La phase de synthèse est la donnée de conditions suffisantes.
Exemple 1.2.21
Soit a un réel et I = [−a, a]. Montrer que toute fonction f : I −→ R s’écrit comme somme d’une
fonction paire et d’une fonction impaire.
Remarque 1.2.22
Cet exemple est un cas particulier d’un exemple générique consistant à prouver qu’un espace vectoriel
se décompose en somme (ici somme directe) de deux sous-espaces vectoriels. Se reporter au chapitre
idoine pour ces notions.
Remarque 1.2.23
Dans le cadre d’un problème existentiel sans contrainte d’unicité, la phase d’analyse ne sert qu’à deviner
une expression répondant au problème. D’un point de vue de la rigueur de rédaction, cette phase n’est
pas indispensable, la phase de synthèse est suffisante pour répondre au problème existentiel. Cependant,
elle permet au lecteur de mieux comprendre comment on est parvenu à l’expression voulue. Sans cette
phase d’analyse, la réponse peut dans certaines situations paraître un peu parachutée.
Savoir si on rédige la phase d’analyse ou non dépend en fait de la complexité de la situation. Dans certaines
situations assez simples, on comprend bien l’expression obtenue, on peut parfois même la deviner sans
passer par une analyse. Dans ces cas, ne vous cassez pas la tête et faites directement la synthèse.
Avertissement 1.2.24
Soyez très précautionneux dans la rédaction d’une démonstration par analyse-synthèse. Dites bien de
façon explicite qu’il s’agit d’un raisonnement de ce type. En effet, comme la phase d’analyse consiste en
une recherche de conditions nécessaires, elle consiste souvent à supposer la conclusion vraie pour essayer
d’obtenir le maximum d’informations sur l’expression recherchée. Un lecteur pressé (et les correcteurs
au concours sont à classer dans cette catégorie) risque de prendre votre démonstration pour une pétition
de principe (montrer un résultat en le supposant vrai au départ !)
« P(0) » est l’initialisation, « ∀n ∈ N, (P(n) =⇒ P(n + 1)) » est l’hérédité (ou le caractère héréditaire
ou transmissible).
18 CHAPITRE 1. FONDEMENTS LOGIQUES
Exemple 1.2.26
P
n
n(n+1)(2n+1)
Montrer (par récurrence) que pour tout n ∈ N∗ , k2 = 6 .
k=1
Avertissement 1.2.27
N’oubliez pas l’initialisation ! Prouver l’hérédité à tout rang ne suffit pas !
Exemple 1.2.28
10n + (−1)n est-il divisible par 11 pour tout n ∈ N ?
Attention aussi à bien vous assurer que l’hérédité est valable à tout rang.
Où est l’erreur ?
II Démonstrations 19
=⇒
Couleur commune
Avertissement 1.2.31
Ne pas oublier d’initialiser pour les k premières valeurs ! (sinon la première implication de l’hérédité
n’est pas valable)
On peut bien sûr adapter le principe dans le cas où le rang initial n’est pas 0.
Exemples 1.2.32
1. Soit (Fn )n∈N définie par F0 = 0, F1 = 1 et pour tout n > 0, Fn+2 = Fn+1 + Fn (suite de
Fibonacci).
Avec une mauvaise initialisation on peut « montrer » que Fn est divisible par 3, ce qui est
évidemment faux !
2. Soit n ∈ N. Montrer que Fn est paire si et seulement si n est multiple de 3.
20 CHAPITRE 1. FONDEMENTS LOGIQUES
Pour votre culture, ce dernier exemple est une situation particulière du résultat plus général suivant :
avec m = 3.
Voici une dernière variante du principe de récurrence :
• Principe : on suppose la propriété vraie à tous les rangs précédents pour la montrer à un rang
donné.
• Schéma de rédaction :
∗ Initialisation pour P(0) (une seule valeur suffit ici)
∗ Poser n > 0, supposer P(k) vrai pour tout k < n, et montrer qu’alors P(n) est vrai.
∗ Conclure en faisant référence au principe de récurrence.
Exemple 1.2.34
1. Tout nombre entier n > 0 admet une décomposition en nombres de Fibonacci distincts non
consécutifs (théorème de Zeckendorf)
2. Tout nombre entier n > 1 admet une décomposition en produit de nombres premiers.
Remarque 1.2.35
On retiendra du dernier exemple que le principe de récurrence forte est en particulier très utile dans
de nombreuses questions liées à des propriétés de divisibilité.
Théorème 1.2.36
Les trois principes de récurrence ci-dessus sont équivalents
⊳ Éléments de preuve.
La récurrence forte et la récurrence d’ordre k impliquent chacune la récurrence simple, car qui
peut le plus, peut le moins. Réciproquement, poser respectivement Q(n) = P(0) ∧ · · · ∧ P(n) ou
Q(n) = P(n) ∧ · · · ∧ P(n + k − 1), et appliquer le principe de récurrence simple à Q. ⊲
⊳ Éléments de preuve.
En effet en itérant alors ce procédé, on pourrait construire une chaîne infinie d’entiers strictement
décroissants telle que P(n) soit vraie, ce qui est impossible d’après la propriété fondamentale de N,
ce qui amène la contradiction recherchée. ⊲
Remarque 1.2.38
Formellement, le principe de descente infinie est la contraposée du principe de récurrence forte appliqué
à ¬P(n) : au lieu de montrer que si pour tout m < n, 6= P(m) est vérifié alors ¬P(m) l’est aussi, on
montre la contraposée de cette implication. L’initialisation provient alors du fait que pour P(0) ne peut
pas être vraie (l’existence de 0 6 m < n amenant une contradiction).
Exemple 1.2.39
√
• Variante de la démonstration de l’irrationnalité de 2
• Démonstration du théorème de Fermat dans le cas où n = 4 : il n’existe pas d’entiers non nuls
x, y et z tels que x4 + y 4 = z 4 (exemple non développé)
Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.
(David Hilbert)
The finest product of mathematical genius and one of the supreme achievements of purely
intellectual human activity.
Pour choisir une chaussette plutôt que l’autre pour chaque paire d’une collection infinie, on a
besoin de l’axiome du choix. Mais pour les chaussures, ce n’est pas la peine.
(Bertrand Russell)
La notion d’ensemble semble à première vue une notion intuitive évidente, ne nécessitant pas de précau-
tions particulières. Cette notion intuitive est à la base de toutes les mathématiques, depuis leur origine,
que ce soit l’arithmétique élémentaire (ensemble d’entiers, puis de divers autres types de nombres, utilisés
depuis qu’on sait compter), la géométrie d’Euclide à nos jours (une figure est un sous-ensemble du plan),
l’analyse (on étudie des fonctions définies sur des ensembles), ou l’algèbre moderne (étude des structures
algébriques, définies comme des ensembles munis d’un certain nombre de lois supplémentaires).
Longtemps, les mathématiciens se sont contentés de ce point de vue intuitif, sans chercher à formaliser
cette notion. Ce n’est qu’à l’aube du XXe siècle qu’on s’est penché sur cette formalisation, qui a bien
failli faire vasciller l’édifice mathématique sur ses fondations. En effet, Cantor, puis Russell au travers de
son célèbre paradoxe, ont montré qu’on ne pouvait pas se contenter de cette approche intuitive, et que
celle-ci amenait des contradictions si on admettait que toute collection pouvait être un ensemble : ainsi,
le paradoxe de Russell montre qu’il ne peut pas exister d’ensemble des ensembles. Les mathématiciens
pensèrent même un moment qu’il n’était pas possible de donner une formalisation correcte de la notion
d’ensemble ; cela aurait signifié ni plus ni moins que la faillite des mathématiques. Heureusement, au prix
d’une axiomatique assez lourde, les mathématiciens logiciens de l’époque ont réussi à mettre en place cette
formalisation. On peut dire que cette « crise des fondements » a marqué la naissance des mathématiques et
de la logique moderne, par une formalisation systématique de toutes les notions utilisées. Depuis, l’édifice
mathématique a des fondements solides et ne s’assoit plus sur des sables mouvants. Même la notion
d’indécidabilité, dans un premier temps assez choquante, a fini par trouver sa place dans cet édifice
solide, par une latitude qu’autorisent ces résultats indécidables dans le choix de l’axiomatique initiale.
Ainsi, par exemple, l’axiome du choix dont on parlera dans la suite de ce chapitre étant indécidable (pour
l’axiomatique de Zermelo-Frankel), on pourra construire deux théories mathématiques, l’une incluant
l’axiome du choix, l’autre, beaucoup plus pauvre, ne l’incluant pas. Ainsi, dans certaines théories, l’axiome
24 CHAPITRE 2. ENSEMBLES
du choix permet d’aller un peu, ou beaucoup plus loin, en permettant notamment de construire certains
objets infinis.
En ce qui nous concerne, nous nous contenterons du point de vue intuitif. Nous souleverons tout de
même les problèmes que peut engendrer ce point de vue, et nous évoquerons de façon très superficielle le
problème de l’axiomatisation de la théorie des ensembles.
Remarque 2.1.2
La définition donnée est insuffisante : on ne peut pas prendre pour E n’importe quelle collection d’objets,
sinon la théorie devient contradictoire (paradoxe de Russell). Pour éviter cela, on peut imposer que E
ne se contienne pas lui-même.
Notation 2.1.5
• L’ensemble E défini par énumération est noté en mettant entre des accolades { et } la liste
complète des éléments de E.
• L’ensemble E défini par compréhension est noté en mettant entre accolades l’appartenance de
l’élément générique x au sur-ensemble F suivi de la propriété P caractérisant les éléments de E.
I Théorie intuitive des ensembles 25
Remarques 2.1.6
1. Il n’y a pas de notion d’ordre des éléments d’un ensemble E : on peut énumérer les éléments de
E dans l’ordre qu’on veut.
2. Il n’y a pas de notion de multiplicité d’un élément : un élément appartient ou n’appartient pas
à un ensemble, mais il ne peut pas « appartenir plusieurs fois ». S’il apparaît plusieurs fois dans
une énumération des éléments de E, attention au fait qu’il s’agit bien du même élément !
3. L’énumération des éléments d’un ensemble est généralement donnée entre accolades {...} pour
désigner l’ensemble.
Exemples 2.1.7
1. Énumération : {1, 3, 7, 9} = {3, 9, 7, 1} = {1, 1, 3, 3, 3, 7, 9, 9}.
2. Compréhension : {x ∈ R | ∃y ∈ N, x2 = y}, ou {x ∈ R | x2 − 4x + 1 > 0}
3. Induction structurelle :
(i) L’ensemble E tel que 2, 3 ∈ E et si p et q sont dans E, pq est dans E.
(ii) L’ensemble des formules propositionnelles, défini comme sous-ensemble de toutes les chaînes
de caractère, qui contient les variables propositionnelles, et stable par certaines contructions
du type A ∨ B...
Proposition 2.1.11
L’ensemble vide est sous-ensemble de tout ensemble E.
⊳ Éléments de preuve.
En effet :
∀x, x ∈ ∅ =⇒ x ∈ E
Exemple 2.1.15
• Card(∅) = 0.
• Card({∅}) = 1.
On peut définir, comme on le verra plus tard, une notion de cardinal pour des ensembles infinis, mais
l’intuition en est moins évidente. Par exemple, N et Q ont même cardinal !
A A∩B B
E ∩F
E F E F
E ∩ (F ∩ G) (E ∩ F ) ∩ G
F ∩G
G G
A A∪B B
5. Si E ⊂ F , alors E ∪ F = F .
6. (E ∪ F ) ∩ G = (E ∩ G) ∪ (F ∩ G) (distributivité de ∩ sur ∪, figure 2.4)
7. (E ∩ F ) ∪ G = (E ∪ G) ∩ (F ∪ G) (distributivité de ∪ sur ∩, figure 2.5)
E F E F
G G
(E ∪ F ) ∩ G (E ∩ G) ∪ (F ∩ G)
E F E F
G G
(E ∩ F ) ∪ G (E ∪ G) ∩ (F ∪ G)
Avertissement 2.1.21
Attention à ne pas confondre disjoint et distinct !
I Théorie intuitive des ensembles 29
En particulier, ∁E F ∪ F = E et ∁E F ∩ F = ∅
Il s’agit bien entendu de la version ensembliste des lois de De Morgan données pour la logique.
E F G F G E
∁E (F ∪ G) = ∁E F ∩ ∁E G ∁E (F ∩ G) = ∁E F ∪ ∁E G
E △ F = {x | x ∈ E \ F ou x ∈ F \ E}.
Il faut bien garder en tête la correspondance entre opérations ensemblistes et connecteurs logiques :
∪ ≡ ∨ x ∈ A ∪ B ⇐⇒ (x ∈ A) ∨ (x ∈ B)
∩ ≡ ∧ x ∈ A ∩ B ⇐⇒ (x ∈ A) ∧ (x ∈ B)
∁ ≡ ¬ si x ∈ A, x ∈ ∁A B ⇐⇒ ¬(x ∈ B)
⊂ ≡ =⇒ A ⊂ B ⇐⇒ (∀x, x ∈ A =⇒ x ∈ B),
△ ≡ ou exclusif x ∈ A △ B ⇐⇒ x ∈ A ou (exclusif) x ∈ B
= ≡ ⇐⇒ A = B ⇐⇒ (∀x, x ∈ A ⇐⇒ x ∈ B).
30 CHAPITRE 2. ENSEMBLES
A A△B B
Ainsi, pour chaque élément a de E, on dispose d’une copie complète de B, identifiée au produit {a} × B,
c’est-à-dire à l’ensemble des couples (a, b), pour b parcourant B. On peut bien entendu aussi le voir en
inversant le rôle de A et B. Il faut relier cette notion à celle de rectangle plein, qui n’est autre que le
produit cartésien de deux intervalles de R
Notation 2.1.27
On note E 2 = E × E, et plus généralement E n pour un produit catésien à n termes.
Remarque 2.1.30
Ainsi que nous l’avons évoqué en début de section, toute collection d’éléments ne peut pas nécessai-
rement être considérée comme un ensemble. Par exemple, on ne peut pas parler de l’ensemble des
ensembles. Il n’est donc a priori pas évident que P(E) soit toujours un ensemble. En fait, cela fait
partie des axiomes que l’on pose pour définir la théorie des ensembles.
Proposition 2.1.31
Pour tout ensemble E, ∅ ∈ P(E) et E ∈ P(E). Ainsi, P(E) n’est jamais vide. Il contient toujours ∅
et E.
Exemples 2.1.32
Déterminer P(E) dans les cas suivants :
1. E = ∅
2. E = {1}
3. E = {1, 2, 3}
4. E = {∅, {∅}}
Pour simplifier les écritures, nous utiliserons également les deux notations raccourcies suivantes, non
universelles (donc à redéfinir) :
3. E1 ∪ · · · ∪ En = E.
Les sous-ensembles Ai sont appelés parts de la partition, et n est appelé longueur de la partition.
Puisque les parts d’une partition ne peuvent pas être vides, il n’existe qu’un nombre fini de partitions
d’un ensemble donné. Ce nombre est égal, par définition, au nombre de Bell Bn .
⊳ Éléments de preuve.
Les deux premières égalités découlent de la propriété 1.1.20, la seconde de la négation des quantifi-
cateurs et des connecteurs logiques. ⊲
1A : E −→ {0, 1}
(
1 si x ∈ A
x 7→
0 si x ∈
6 A.
Certaines propriétés se traduisent sur les fonctions caractéristiques. Par exemple, A et B sont disjoints
si et seulement si 1A 1B = 0, ou bien {A1 , . . . , An } est une partition de E si et seulement si les Ai sont
non vides et 1A1 + · · · + 1An = 1.
Les fonctions caractéristiques peuvent donner des démonstrations rapides et formelles de certaines pro-
priétés ensemblistes.
Exemple 2.1.42
Redémontrer la distributivité de l’intersection sur l’union à l’aide des fonctions caractéristiques.
Toute la puissance des fonctions caractéristiques apparaît dans la preuve du résultat suivant, assez pé-
nible si vous cherchez à la faire par des moyens élémentaires, très élégante et rapide si vous utilisez
convenablement les fonctions indicatrices.
(A △ B) △ C = A △ (B △ C).
34 CHAPITRE 2. ENSEMBLES
⊳ Éléments de preuve.
Il suffit de remarquer que 1A△B ≡ 1A + 1B [2]. ⊲
si E était un ensemble :
∗ si E 6∈ E, alors par définition de E, E est élément de E, d’où une contradiction ;
∗ si E ∈ E, alors, par définition de E, E n’est pas élément de E, d’où une contradiction.
Cet argument très simple montre que E ne peut pas être un ensemble.
Ce paradoxe est connu sous le nom de « paradoxe de Russell » ou parfois « paradoxe du barbier ». En
effet, la situation s’apparente à celle d’un barbier qui rase tout homme qui ne se rase pas lui-même. Ce
barbier peut-il être un homme ?
• Ce paradoxe a en fait été envoyé par Russell au logicien et philosophe allemand Gottlob Frege, suite à la
parution du premier volume de son ouvrage Les fondements de l’arithmétique, pour lui prouver que son
ouvrage reposait sur une contradiction. Frege publie tout de même le second volume, en lui adjoignant
un appendice dans lequel il fait l’aveu et le constat sans doute les plus désarmants de toute l’histoire
des mathématiques :
« Pour un écrivain scientifique, il est peu d’infortunes pires que de voir l’une des fondations de
son travail s’effondrer alors que celui-ci s’achève. C’est dans cette situation inconfortable que
m’a mis une lettre de M. Bertrand Russell, alors que le présent volume allait paraître »
Par la suite, Frege cessa presque entièrement ses travaux mathématiques.
• D’autres paradoxes, recherchant des formes amusantes, virent alors le jour, comme le paradoxe de Jules
Richard (1905), dont un enoncé simplifié est le paradoxe de Berry (formulé par Russell en 1906, il
l’attribue à un bibliothécaire londonien du nom de Berry) :
Soit E l’« ensemble » des entiers qui ne peuvent pas se définir en moins de 16 mots. Cet ensemble est
non vide car son complémentaire est fini (car il y a un nombre fini de mots dans la langue française)
Par les propriétés des sous-ensembles de N, cet « ensemble » admet un plus petit élément, qui peut
être défini par : « le plus petit entier qui ne peut pas se définir en moins de seize mots », définition qui
n’utilise que 15 mots !
• Le choix qui s’est imposé est finalement l’axomatique de Zermelo-Fraenkel à laquelle on ajoute ou non
l’axiome du choix.
La théorie des ensembles de Zermelo-Fraenkel définit les ensembles comme étant des objets satisfaisant
à un certain nombre d’axiomes. Dans cette théorie, les éléments eux-même sont tous des ensembles. Les
nombres (les entiers relatifs dans un premier temps) sont alors définis comme étant des ensembles en
particulier, par exemple à la façon des ordinaux de Cantor.
À ces différents axiomes, on ajoute ou non (suivant la théorie) l’axiome du choix. Cet axiome du choix
est indécidable à partir des axiomes de Zermelo-Fraenkel, et il est actuellement couramment admis qu’il
doit être considéré comme vrai.
Autrement dit, étant donné une famille d’ensembles, on peut choisir un élément dans chaque ensemble,
d’où le nom de cet axiome. Évidemment, si I est fini, ce n’est pas très étonnant, et cela résulte de l’axiome
de récurrence (car par définition-même de l’interprétation du symbole ∃, on peut toujours choisir un
élément d’un ensemble non vide). N’invoquez donc l’axiome du choix que pour un choix infini, c’est dans
cette situation qu’il est pertinent.
Remarque 2.2.5
1. L’axiome de la paire, couplée à l’axiome de l’union, permet de considérer A ∪ B pour tous
ensembles A et B
2. En itérant cet argument, on peut considérer l’union de n ensembles.
3. L’intersection d’une famille quelconque (non réduite à l’ensemble vide) d’ensembles s’obtient
par compréhension (axiome de compréhension, en se plaçant globalement dans un des ensembles
donnés).
36 CHAPITRE 2. ENSEMBLES
4. L’union d’une famille quelconque pose davantage de problèmes ; il faut déjà préciser ce qu’on
entend par famille (ai )i∈I : il s’agit d’une application d’un ensemble I dans un autre ensemble
E qui à i ∈ I associe ai . Ainsi, les ai doivent eux-même être des éléments d’un ensemble. C’est
le cas en particulier si les ai sont tous des sous-ensembles d’un même ensemble B (dans ce cas,
les ai sont tous éléments de P(B), qui est un ensemble, d’après l’axiome des parties). Dans ce
cas, l’image {ai , i ∈ I} de cette famille est un ensemble (on peut la définir par compréhension),
donc on peut considérer l’union de ses éléments (axiome de l’union).
5. L’existence (et l’unicité) de l’ensemble vide provient de l’axiome de compréhension, à partir d’un
ensemble A quelconque (on sait qu’il existe au moins un ensemble, d’après l’axiome de l’infini ;
de toute façon, si ce n’était pas le cas, la théorie serait bien pauvre). L’ensemble vide peut alors
se définir par compréhension de la façon suivante :
∅ = {x ∈ A | x 6= x}.
6. Le produit cartésien se définit à l’aide de couples, un couple (a, b) de A × B étant défini comme
la paire {a, {a, b}}.
Remarque 2.3.1
Cette définition est insuffisante pour caractériser N : si on se limite à la description par l’existence de
successeurs et prédécesseurs, on pourrait imaginer un ensemble constitué des éléments de N (la version
intuitive), suivi d’une copie de Z, suivi d’une autre copie de Z (la construction d’un tel ensemble qui
vérifie cette définition avec les axiomes de Peano est un peu plus compliquée que cela, car il faut aussi
imposer la stabilité par les opérations, mais un tel ensemble existe, et est à la base de la logique non-
standard, puis de l’analyse non-standard, ou l’on remplace N par un tel ensemble). Il faut rajouter une
hypothèse de minimalité pour obtenir l’ensemble N que nous connaissons bien.
III.2 Propriétés de N
Parmi les axiomes de Peano, il en est un dont on se sert fréquemment, c’est l’axiome de récurrence, que
nous avons déjà étudié, et que nous rappelons ici.
⊳ Éléments de preuve.
On le montre par récurrence sur n, pour les sous-ensembles majorés par n, en discutant suivant
que E, majoré par n, contient n ou non, pour utiliser l’hypothèse de récurrence soit sur E, soit sur
E \ {n}. ⊲
Corollaire 2.3.4
Tout sous-ensemble non vide de N admet un plus petit élément.
⊳ Éléments de preuve.
Appliquer la propriété fondamentale à l’ensemble des minorants. ⊲
En fait, la terminologie « propriété fondamentale » n’est pas anodine. On aurait pu construire une axioma-
tique de N basée sur ce théorème (qui fonderait donc l’ensemble N) plutôt que sur l’axiome de récurrence.
C’est ce que montre le théorème suivant :
Théorème 2.3.5
La propriété fondamentale de N est équivalente à l’axiome de récurrence.
⊳ Éléments de preuve.
Pour démontrer que la propriété fondamentale entraîne l’axiome de récurrence, considérer le mini-
mum de E = {n | ¬P(n)} et son prédecesseur. ⊲
38 CHAPITRE 2. ENSEMBLES
3
Applications
« Les mathématiciens n’étudient pas des objets mais les relations entre ces objets. »
(Henri Poincaré)
Une civilisation constituée de groupes de personnes n’interagissant pas entre eux serait assez pauvre. Ce
sont les relations entre groupes d’individus qui permettent de comparer, d’apprendre, de progresser, de
transmettre, que ce soient des relations internes à un groupe donné, ou des relations d’un groupe à un
autre. Une civilisation sans relation est vouée à la stérilité et à l’immobilisme, et donc à l’extinction.
Il en est de même pour les ensembles mathématiques. La théorie axiomatique des ensembles est certes très
belle en soi, mais si on n’y rajoute pas une couche, elle est d’un intérêt assez limité pour le mathématicien
recherchant le débouché concret (on a tendance à oublier que ce débouché concret a longtemps été la
motivation-même des scientifiques, y compris mathématiciens). Comme dans le cas d’une civilisation, il
faut faire interagir les ensembles, il faut créer des relations permettant de comparer les éléments d’un
ensemble d’une façon ou d’une autre. Ce n’est qu’ainsi qu’on peut donner vie aux ensembles.
Nous étudions dans ce chapitre un type particulier de relations entre deux ensembles. Il s’agit de la notion
d’application, ou de fonction, qu’on peut considérer comme synonyme ou non, suivant qu’on est puriste
ou non (dans le sens inverse).
Définir une application nécessite donc la donnée de E, de F et du graphe G, ce qui revient à définir,
d’une façon ou d’une autre, un élément f (x) pour tout x ∈ E. L’ensemble de ces données est souvent
40 CHAPITRE 3. APPLICATIONS
Lorsque f est une fonction d’un sous-ensemble de R dans R, le graphe de f est un sous-ensemble de R2 .
On visualise une fonction f en représentant son graphe dans le plan muni d’un repère (figure 3.1)
1
|
| | |
|
1
|
De même, pour des fonctions de deux variables à valeurs dans R, le graphe est un sous-ensemble de R3 ,
et on peut représenter une projection sur le plan de cet espace, aidant à la compréhension de la fonction
(figure 3.2)
x
y
Lorsque E et F sont des ensembles finis, on peut représenter l’application f sous forme d’un diagramme
sagittal : on représente les éléments de E d’un côté, ceux de F d’un autre côté, l’application f est alors
représentée par une série de flèches reliant les éléments x de E à leur image f (x) dans F .
Par exemple, l’application de [[1, 6]] dans [[1, 4]] définie par f (1) = 3, f (2) = 1, f (3) = 1, f (4) = 4, f (5) = 3
et f (6) = 2 sera représentée par le diagramme sagittal de la figure 3.3
f
E F
4 4
3 3
2 2
1 1
Exemples 3.1.5
1. Application identique (identité)
2. Soit E ⊂ F . L’injection canonique i : E → F .
3. Soit E ⊂ F . La fonction caractéristique de E dans F , 1E : F → {0, 1}.
4. La projection canonique pE : E × F → E.
42 CHAPITRE 3. APPLICATIONS
Notation 3.1.6
On note F (E, F ), ou encore F E l’ensemble des applications de E dans F .
Nous avons déjà recontré un type d’applications pour lesquelles la dépendance par rapport à la variable
est notée indiciellement :
Remarque 3.1.8
Une suite est donc un cas particulier de famille. Dans ce cas particulier, on dispose d’une notion d’ordre
des éléments, induit par l’ordre usuel des entiers relatifs : on range alors naturellement les éléments
de la suite dans l’ordre de leur indice. En général, on ne peut faire cela pour une famille quelconque.
C’est ce qui fait qu’on obtient souvent pour les suites des résultats et des théories qu’on ne peut pas
ou pas facilement généraliser aux familles quelconques. On trouvera plus tard cette situation dans le
problème de la sommation (séries convergentes versus familles sommables), où l’ordre de sommation a
son importance.
Voici quelques moyens de définir une fonction (la liste n’est pas exhaustive) :
• Définition par une formule explicite :
sin x
∀x ∈ R, f (x) =
1 + x2
• Définition par disjonction de cas (fonction définie par morceaux) :
e si x < 0
x
∀x ∈ R, f (x) = 0 si x = 0
1 si x > 0.
x
u0 = 2 et ∀n ∈ N, un+1 = 3u2n − 2.
Évidemment, ce n’est possible que pour définir une suite ! On peut généraliser cela à un domaine
E défini par induction structurelle, en calquant la définition de la fonction sur la description des
constructions définissant E et les éléments initiaux de E.
• Définition implicite :
La fonction f est définie comme étant, pour une valeur de x donnée, l’unique solution d’une
certaine équation. Par exemple :
Z f (x)
2
∀x ∈ R+ , ext dt = x
0
Avertissement 3.1.11
En général, la corestriction d’une application n’est pas une application, mais seulement une fonction
au sens évoqué ci-dessus. On donne ci-après une condition pour que ce soit une application.
Exemples 3.1.12
1. Soit f : R → R définie par f (x) = x2 . Décrire sa restriction à R+ , sa corestriction à [1, +∞[
2. Comparer la restriction à E ′ de la corestriction à F ′ de f : E → F à la corestriction à F ′ de la
restriction à E ′ de f .
La notion d’image permet notamment de donner une condition d’existence d’une corestriction :
fe : P(E) −→ P(F )
E ′ 7−→ f (E ′ )
Remarque 3.2.5
Un élément de F peut ne pas avoir d’antécédent par f , ou peut en avoir un seul, ou plusieurs.
⊳ Éléments de preuve.
Le fait que les parts sont disjointes provient de l’unicité de l’image, le fait que l’union est E provient
de l’existence de l’image. Que dire si f est une fonction ? ⊲
L’ensemble f −1 ({y}) des antécédents de y correspond à un cas particulier d’une notion plus générale :
E | f (x) ∈ F ′ } C’est l’ensemble des éléments dont l’image est dans F ′ , ou, autrement dit,
l’ensemble des antécédents d’éléments de F ′ .
2. Cette construction définit une application :
fd
−1 : P(F ) −→ P(E)
F ′ 7−→ f −1 (F ′ )
ments de E qui sont antécédents d’au moins (et dans ce cas, d’exactement – pourquoi ?) un élément de
F ′.
II Image directe, image réciproque 45
Remarque 3.2.8
Les tildes et chapeaux sur fe et fd
−1 sont présents uniquement pour distinguer ces applications (définies
sur l’ensemble des parties de E et F respectivement) des applications f et f −1 (cette dernière désignant
la fonction réciproque de f , n’existant que si f est bijective, notion définie ci-dessous), définies sur E
et F respectivement.
On verra plus tard qu’il ne peut en fait pas y avoir d’ambiguïté sur la signification de f −1 (F ′ ) (image
reciproque par f ou image directe par f −1 . Nous nous autoriserons donc à alléger les notations, en
déisgnant simplement par f (E ′ ) et f −1 (F ′ ) les images directes et réciproques par f .
Exemple 3.2.10
On peut avoir une inclusion stricte f (E ′ ∩ E ′′ ) ⊂ f (E ′ ) ∩ f (E ′′ ). Pour un exemple, voir figure 3.4
E F
3 3
E′
f (E ′ ∩ E ′′ )
E ′ ∩ E ′′ 2 2
E ′′ f (E ′ ) ∩ f (E ′′ )
1 1
f
En retenir que tout se passe bien avec les images réciproques, mais qu’il faut prendre un peu plus de
précautions avec les images directes.
Remarque 3.3.2
Ainsi, f est bijective si et seulement si tout élément de F admet exactement un antécédent. Pour cette
raison, une bijection est parfois aussi appelée correspondance 1 à 1 (issu de la terminologie anglaise
« one-to-one correspondance).
La notation S est l’écriture gothique de la lettre S. On trouve parfois aussi plus simplement la notation
Sn au lieu de Sn pour désigner le groupe symétrique (et S(E) au lieu de S(E), notation du programme
officiel). On trouve également parfois Σn et Σ(E)
Exemples 3.3.4
1. Soit E ⊂ F . L’injection i : E → F est ............... .
2. Soit E et F deux ensembles, F 6= ∅. La projection pE : E × F → E est ............... .
3. La fonction identité E → E est ............... .
4. À quelle condition la fonction caractéristique 1E est-elle surjective ? injective ?
5. La fonction x 7→ x2 est :
• ............... si elle est vue comme fonction de R dans R+ ;
• ............... si elle est vue comme fonction de R+ dans R
• ............... si elle est vue comme fonction de R+ dans R+
• .............................. si elle est vue comme fonction de R dans R.
Il est donc important de porter une attention particulière aux domaines de départ et d’arrivée
dans l’étude des propriétés d’injectivité et de surjectivité. D’autre part, constatez sur cet exemple
qu’une fonction peut n’être ni injective ni surjective.
En adoptant la notion intuitive de cardinal d’un ensemble G comme étant le nombre d’éléments de G
(éventuellement infini), on obtient :
⊳ Éléments de preuve.
(i) équivaut à (ii) par définition, (iii) équivaut à (iv) par contraposition, (i) implique (iv) en consi-
dérant l’image réciproque de f (x), et (iv) implique (ii) en contraposant : si (ii) est faut, on trouve
facilement x et y contredisant (iv). ⊲
⊳ Éléments de preuve.
En effet, d’après le point (ii), les parts sont non vides. ⊲
Dans le cas d’ensembles finis, on peut illustrer ces notions sur des diagrammes sagittaux (figure 3.5).
f f f
E F E F E F
5 5 5 5
4 4 4 4 4 4
3 3 3 3 3 3
2 2 2 2 2 2
1 1 1 1 1 1
Remarque 3.3.8
Intuitivement, si f : E → F est une injection, il y a plus d’éléments dans F que dans E. C’est l’inverse
si f est une surjection, et c’est E et F ont même cardinal si f est une bijection. C’est vrai si E et F sont
finis. Attention, aux cas où E et F sont infinis : la situation peut parfois être contraire à l’intuition.
Exemples 3.3.9
1. Principe de l’hôtel de Hilbert : soit x 6∈ N. Alors N et N ∪ {x} peuvent être mis en bijection (on
dit qu’ils ont même cardinal).
2. La numérotation en diagonales de N × N est une bijection de N sur N2 .
48 CHAPITRE 3. APPLICATIONS
sin(x)
3. tan :]− π2 , π2 [−→ R est une bijection (rappel : pour tout x pour lequel cos(x) 6= 0, tan(x) = cos(x) ).
Pourtant, il y a « plus » d’éléments dans R que dans ] − π2 , π2 [.
4. Soit f : [0, 1[2 −→ [0, 1[ définie de la façon suivante : étant donné x et y dans [0, 1[, on note xi le
i-ième chiffre de x après la virgule dans son écriture décimale, et de même pour yi . On rappelle
que si x est décimal, x admet deux écritures décimales, l’une qui termine par une infinité de 0,
l’autre qui termine par une infinité de 9 (car 0.9999999... = 1). On choisit dans ce cas, afin que
les xi et les yi soient définis de façon unique, la représentation terminant par des 0. On définit
alors f sur le couple (x, y) par :
les xi représentant encore les chiffres de x dans l’écriture décimale, avec les mêmes conventions
pour les réels décimaux.
La fonction f est surjective. Est-elle injective ?
Les exemples précédents permettent d’établir (avec la notion de cardinal définie plus loin) que N est de
même cardinal que N2 , que ] − π2 , π2 [ est de même cardinal de R (en fait, tout intervalle non vide et non
restreint à un singleton est de même cardinal que R), et, plus surprenant encore, que [0, 1[2 est de même
cardinal que [0, 1[ (de quoi il ressort que R2 est de même cardinal que R !)
⊳ Éléments de preuve.
Pour le point (i), considérer x et y tels que g ◦ f (x) = g ◦ f (y), et obtenir d’abord f (x) = f (y) puis
x = y. Le point (ii) est évident, le point (iii) est la combinaison de (i) et (ii). ⊲
Cette proposition admet une réciproque partielle :
⊳ Éléments de preuve.
⊲
III Injectivité, surjectivité, bijectivité 49
Dans une structure algébrique, l’inversibilité d’un élément a se traduit par l’existence de b tel que ab =
ba = 1 (ou 1 est le neutre multiplicatif de la structure). Si on a seulement l’existence de b tel que ab = 1,
on parle d’inversibilité à droite de a, et de même, d’inversibilité à gauche si ba = 1. Nous montrons ci-
dessous que les propriétés d’injectivité, surjectivité et bijectivité peuvent être vues comme des propriétés
d’inversibilité à gauche, droite et bilatéral respectivement.
⊳ Éléments de preuve.
À chaque fois, l’un des sens s’obtient par la proposition 3.3.11. Pour l’autre sens :
1. Définir g(y) comme étant un antécédent de y par f .
2. Sur Im(f ) définir g(y) comme l’unique (pourquoi ?) antécédent de y par f . Comment définir g
hors de l’image de sorte à éviter le recours à l’axiome du choix ? Souvenez-vous qu’un nombre
fini de choix est possible sans axiome du choix.
⊲
Avertissement 3.3.13
La fonction g du théorème précédent n’est en général pas unique ! Dans le 2, elle est cependant définie
de façon unique sur Im(f )
⊳ Éléments de preuve.
La réciproque provient de la propriété précédente. Le sens direct aussi, en remarquant que les fonc-
tions g construites pour montrer les points 1 et 2 du théorème précédent sont alors les mêmes (et
qu’on n’a pas de choix à faire ni dans 1, ni dans 2 donc pas d’axiome du choix à utiliser). ⊲
Avertissement 3.3.15
Attention, il ne suffit pas que g ◦ f = idE ou f ◦ g = idF pour obtenir la bijectivité : il faut avoir les
deux égalités.
Dans le cas où f est bijective, la notation f −1 peut désigner à la fois la fonction image réciproque et
la fonction réciproque. Appliquée à un sous-ensemble de F , il peut s’agir de l’image réciproque de ce
50 CHAPITRE 3. APPLICATIONS
sous-ensemble ou de son image directe par la fonction réciproque f −1 . La proposition ?? montre que
l’ambiguïté des notations n’est pas gênante. Sa démonstration est basée sur le lemme suivant, donc la
démonstration est élémentaire :
⊳ Éléments de preuve.
S
Il suffit d’écrire F ′ = y∈F ′ {y}, et d’utiliser la description de l’image directe et l’image réciproque
d’une union, ainsi que le lemme précédent. ⊲
On peut donc se dispenser des chapeaux et des tildes.
4
Sommes
(Aristote)
1
« 1 + 2 + 3 + 4 + ··· = − »
12
(Leonhard Euler)
Introduction
P
Le but de ce chapitre est d’introduire et systématiser l’usage du signe pour désigner une somme
d’éléments. Dans la mesure du possible, l’utilisation de cette notation est préférable à celle utilisant des
petits points, bien moins rigoureuse.
Nous supposons connues les notions et notations suivantes :
• la compréhension intuitive des ensembles de nombres usuels, et les notations standard :
∗ N : ensemble des entiers naturels (i.e. positifs ou nuls) ;
∗ Z : ensemble des entiers relatifs (i.e. de signe quelconque) ;
∗ Q : ensemble des nombres rationnels (i.e. pouvant s’écrire sous forme d’une fraction) ;
∗ D : ensemble des nombres décimaux (i.e. admettant une écriture finie en base décimale) ;
∗ R : ensemble de tous les nombres réels ;
∗ C : ensemble de tous les nombres complexes ;
• les sous-ensembles particuliers suivants de R et C :
∗ R+ : ensemble des réels positifs ou nuls ;
∗ R− : ensemble des réels négatifs ou nuls ;
∗ R∗ : ensemble des réels non nuls ;
∗ R∗+ : ensemble des réels positifs non nuls ;
∗ R∗− : ensemble des réels négatifs non nuls ;
∗ C∗ : ensemble des nombres complexes non nuls ;
∗ N∗ : ensemble des entiers naturels non nuls ;
∗ Z− : ensemble des entiers négatifs ou nuls ;
∗ Z∗ : ensemble des entiers non nuls ;
∗ de même que pour R, on peut définir Q+ , Q− , Q∗ , Q∗+ , Q∗− , D+ , D− , D∗ , D∗+ ou D∗− ; on
rencontre aussi parfois Z+ pour désigner N, et Z∗− ;
• les intervalles de réels :
∗ pour a 6 b, la notation [a, b] désigne l’intervalle fermé délimité par les réels a et b, c’est-à-dire
l’ensemble des réels x tels que a 6 x 6 b ;
∗ pour a < b, la notation ]a, b] désigne l’ensemble des réels x tels que a < x 6 b. On définit de
manière similaire [a, b[ et ]a, b[ ;
52 CHAPITRE 4. SOMMES
P Q
I Manipulation des signes et
Nous nous intéressons dans ce paragraphe à la définition de la somme des éléments d’une famille finie
(xi )i∈I de réels ou complexes (ou plus généralement des objets qu’on sait sommer de façon commutative
et associative). Le cas de familles infinies relève de techniques plus fines, car comme est est amené à faire
une infinité d’opérations, il faut s’assurer que le procédé « converge ». Nous reparlerons de cela plus tard.
⊳ Éléments de preuve.
Il faut justifier que cette définition ne dépend pas du choix de xi0 . Raisonner par récurrence d’ordre
2 sur le cardinal de I. Si on choisit à la place xi1 , appliquer l’HR à I \ {xi0 , xi1 }. ⊲
Remarques 4.1.3
1. La lettre i utilisée pour énumérer les éléments de I résulte évidemment d’un choix arbitraire :
on peut remplacer cette lettre par toute autre lettre n’ayant pas de signification externe à la
somme. On dit que i est une variable muette. Ainsi :
X X X
ai = aj = aβ
i∈I j∈I β∈I
X
En revanche, an n’a pas de sens.
n∈[[1,n]]
2. Par usage, il est assez rare de définir une loi additive non commutative et non associative. Ainsi,
en général, à partir du moment où on dispose d’une loi +, on pourra construire des sommes de
familles finies de la sorte.
3. En revanche, beaucoup de lois multiplicatives ne sont pas commutatives. Par exemple le produit
matriciel. Dans ce cas, le produit tel que défini plus haut est mal défini. Il faut se donner un ordre
dans lequel faire les produits (donc un ordre sur les éléments de I). C’est le cas par exemple si
on considère un sous-ensemble [[0, n]] de N.
P Q
Notation 4.1.4 (signes et sur des ensembles d’entiers consécutifs )
Dans le cas particulier où I = [[n, p]], donc où I est un ensemble d’entiers consécutifs, on écrit généra-
lement :
X p X Xp
• ai au lieu de ai ; ainsi, ai = an + an+1 + · · · + ap .
i=n i∈[[n,p]] i=n
Yp Y p
Y
• ai au lieu de ai ; ainsi, ai = an × an+1 × · · · × ap .
i=n i∈[[n,p]] i=n
On lit respectivement « somme pour i allant de n à p des ai » et « produit pour i allant de n à p des
ai ».
p
X 1
X
Ainsi, si p < n, [[n, p]] est vide, donc ai = 0. Par exemple, i2 = 0.
i=n i=2
Remarque 4.1.6
On notera qu’en général, une somme n’est pas forcément prise sur un ensemble d’entiers successifs,
ni même sur un ensemble d’entiers. La seule condition est que l’ensemble des indices soit fini. on
étudiera le cas où l’ensemble des indices est N dans le chapitre sur les séries, et plus généralement le
cas d’une somme sur une famille dénombrable (cas des familles sommables).
Exemples 4.1.8
4
X
1. k(k − 1) = 1(1 − 1) + 2(2 − 1) + 3(3 − 1) + 4(4 − 1) = 2 + 6 + 12 = 20.
k=1
X
2. i2 = 22 + 32 + 52 = 4 + 9 + 25 = 38.
i∈{2,3,5}
X
4. 1 = 1 + · · · + 1 = |E| (autant de termes 1 que d’éléments dans E).
i∈E
X i+k
5. Soit E = {(i, j, k) ∈ (N∗ )3 | i + j + k = 5}. Calculer .
j+k
(i,j,k)∈E
Remarque 4.1.9
À part dans le cas trivial où un des termes du produit est nul, un produit de réels peut toujours se
ramener à une somme en appliquant le logarithme à sa valeur absolue (et en comptant les signes).
Ainsi, si k est le nombre de termes négatifs dans le produit,
!
Y X
k
ai = (−1) exp ln(|ai |) .
i∈I i∈I
De cette manière, la plupart des règles données pour les sommes peuvent facilement être transcrites au
cas des produits. Cependant, ce point de vue n’est possible que sur R.
L’ensemble des indices E peut dépendre d’un paramètre, le plus souvent d’un entier n (parfois d’un couple
d’entiers, ou d’un p-uplet). Dans ce cas, le résultat est une expression dépendant de ce paramètre. Par
exemple si E dépend de n, le résultat de la somme dépend aussi de n.
Exemples 4.1.10 n
X
1. E = {1, · · · , n}, 1 = |E| = n.
i=1
2n
X
2. E = {n, n + 1, . . . , 2n}, f (i) = f (n) + · · · + f (2n).
i=n
P Q
I Manipulation des signes et 55
X X X
3. E = {(i, j) ∈ N2 | i + j = n}. Que vaut 1? i? j −i?
(i,j)∈E (i,j)∈E (i,j)∈E
n
Y
4. Par définition de la factorielle, pour n ∈ N, n! = k.
k=1
Avec la convention 4.1.5, il vient : 0! = 1.
P Q
I.2 Règles de manipulation des signes et
Nous donnons maintenant un certain nombre de règles élémentaires sur les sommes.
⊳ Éléments de preuve.
Récurrence sur le cardinal de I, en considérant I \ {i0 } i0 étant arbitrairement choisi, et en discutant
selon que iO est dans I1 ou I2 . ⊲
Exemples 4.1.12
1. Soit E = {1, . . . , n} et k ∈ {1, . . . , n}. Alors
n
X k
X n
X
ai = ai + ai
i=1 i=1 i=k+1
Remarque 4.1.13
Attention à prendre une union disjointe, sinon on somme deux fois chaque élément indexé par un indice
de l’intersection. Dans le cas d’une union non disjointe I = I1 ∪ I2 , on peut écrire :
X X X X
ai = ai + ai − ai .
i∈I i∈I1 i∈I2 i∈I1 ∩I2
P
Proposition 4.1.15 (Linéarité du symbole )
Soit I un ensemble fini et (ai )i∈I et (bi )i∈I deux familles (réelles ou complexes), et λ, µ deux nombres
réels ouX
complexes.
X Alors X :
• ai + bi = (ai + bi ).
i∈I i∈I i∈I
X X
• λ ai = λai .
i∈I i∈I X X X
• En combinant les deux égalités : λ ai + µ bi = (λai + µbi ).
i∈I i∈I i∈I
⊳ Éléments de preuve.
Récurrence sur le cardinal de I. ⊲
P
Cette proposition énonce le fait que est une « forme linéaire sur l’espace vectoriel des familles indexées
par un ensemble fini donné I. » (voir chapitre Espaces vectoriel et Applications linéaires )
Exemples 4.1.17
Xn Xn Xn
n(n + 1)(2n + 1) n(n + 1)
1. k(k + 1) = k2 + k= + .
6 2
k=0 k=0 k=0
X
2. Soit E = {(i, j) | i + j = n}. Calculer j − i, en séparant la somme en deux.
(i,j)∈E
Remarque 4.1.18
Attention à prendre des sommes indexées sur le même ensemble ! Si ce n’est pas le cas, on ne peut
regrouper les sommes que sur l’intersection des indices, en laissant chacun dans leur somme les éléments
indexés hors de cette intersection :
X X X X X
ai + bi = (ai + bi ) + ai + bi .
i∈I1 i∈I2 i∈I1 ∩I2 i∈I1 \(I1 ∩I2 ) i∈I2 \(I1 ∩I2 )
Exemple 4.1.19
Soit E = {0, . . . , n} et E ′ = {1, . . . , n + 1}. Alors
n
X n+1
X n
X
ai + b i = a0 + (ai + bi ) + bn+1 .
i=0 i=1 i=1
Y Y Y
• Si I1 ∩ I2 = ∅, ai ai = ai .
i∈I1 i∈I2 i∈I1 ∪I2
!λ !µ
Y Y Y
• ai bi = (aλi bµi ).
Yi∈I i∈I i∈I
• a = a|I| .
i∈I
⊳ Éléments de preuve.
Récurrence sur le cardinal (commun) de I et J. ⊲
Cette formule ne fait que traduire le fait que lorsque i parcourt I, les f (i) prennent une et une seule fois
chaque valeur j de J, du fait de la bijectivite de f .
En appliquant ce résultat à la bijection réciproque f −1 (obtenue en remontant les flèches), on a alors
aussi, pour toute famille (ai )i∈I : X X
ai = af −1 (j)
i∈I j∈J
Exemple 4.1.22
Soit I = {2, 4, 5}, J = {1, 2, 3} et f définie par f (2) = 1, f (4) = 3, f (5) = 2. Alors
X X
af −1 (j) = af −1 (1) + af −1 (2) + af −1 (3) = a2 + a5 + a4 = ai .
j∈J i∈I
De même, X X
bf (i) = bf (2) + bf (4) + bf (5) = b1 + b3 + b2 = bj .
i∈I j∈J
Le cas le plus fréquent est celui où la bijection est donnée par une translation sur des ensembles d’entiers
consécutifs :
p
X p−ℓ
X
ai = ai+ℓ .
i=n i=n−ℓ
58 CHAPITRE 4. SOMMES
Exemples 4.1.24 n n n
X X X
1. Montrer que ak + b k = a0 + (ak + bk−1 ) + bn
k=0 k=0 k=1
n
X
2. Transformation d’Abel : Soit (an )n∈N et (bn )n∈N deux suites, et pour tout n ∈ N, Bn = ak .
k=0
Montrer que
n
X n−1
X
ak b k = Bk (ak − ak+1 ) − an Bn−1 .
k=0 k=0
Un autre exemple d’utilisation d’un changement d’indice de ce type est la classique démonstration par
récurrence de la formule du binôme de Newton, due à Pascal.
k n!
On rappelle à cet effet que pour = si k ∈ [[0, n]], et est nul sinon, et on rappelle la formule
n k!(n − k)!
de Pascal, pour n > 0, k ∈ Z (se vérifie facilement avec la formule ci-dessus) :
n n n+1
+ =
k k+1 k+1
Les sommes téléscopiques se calculent facilement. La technique utilisée (séparer la somme en deux et
faire un changement d’indice sur une des deux sommes) est à retenir : elle s’adapte à des situations plus
générales.
⊳ Éléments de preuve.
Soit par récurrence, soit en séparant par linéarité, en faisant un changement d’indice sur l’une des
deux sommes, en regroupant sur les indices communes, et en simplifiant. ⊲
Exemples 4.1.28
n
X
1. Calculer k · k!.
k=0
P Q
I Manipulation des signes et 59
n
X 1
2. Calculer .
k(k + 1)
k=1
3. Trouver un polynôme P de degré 2 tel que pour tout x ∈ R, P (x + 1) − P (x) = x. En déduire
Xm
k.
k=n
4. Trouver des réels (a, b, c) tels que pour tout k ∈ N∗ ,
1 a b c
= + +
k(k + 1)(k + 2) k k+1 k+2
n
X 1
En déduire l’expression de . Le retrouver par un télescopage simple.
k(k + 1)(k + 2)
k=1
n
Y bk+1 bn+1
= .
bk b0
k=0
K•,j = {i ∈ I | (i, j) ∈ K}
Définissons également :
′
• Ki,• = {(i, j) | j ∈ Ki,• } = K ∩ ({i} × J)
′
• K•,j = {(i, j) | i ∈ K•,j } = K ∩ (I × {j}).
60 CHAPITRE 4. SOMMES
J
K
′
Ki,• Ki,•
j
′
K•,j
| |
|
i K•,j I
′ ′
Ainsi, Ki,• est le projeté sur J de Ki,• et K•,j est le projeté sur I de K•,j .
X X X X
= ai,j = ai,j .
j∈J i∈K•,j j∈J (i,j)∈K•,j
′
⊳ Éléments de preuve.
′
En effet, (Ki,• )i∈I forme un partage de K. Est-ce une partition ? ⊲
Dans la pratique ce résultat est très fréquemment utilisé pour intervertir des signes somme (passer du
deuxième terme au troisième terme de cette égalité) lorsque les bornes de l’indice de la somme interne
dépendent de l’indice de la somme externe (dans ce cas, on essaie de voir la somme interne comme la
somme sur une certaine coupe).
Ce résultat se généralise à un nombre plus important de sommes, ou à d’autres bornes pour les indices,
à condition que ces bornes soient indépendantes des indices des autres sommes.
Avertissement 4.1.34
Attention, en général, il ne suffit pas d’intervertir purement et simplement les signes sommes. Dans la
plupart des cas, une telle interversion amène d’ailleurs à une expression qui n’a pas de sens.
!
X X XX X
ai bj = ai b j = ai b j .
i∈I j∈J i∈I j∈J (i,j)∈I×J
⊳ Éléments de preuve.
Partant du milieu (égal au terme de droite), factoriser d’abord la somme interne par ai (à i fixé).
P
On peut ensuite factoriser la somme externe par bj . ⊲
Remarque 4.1.37
Attention, si on effectue le produit de deux sommes indexées sur le même ensemble, et pour lesquels
le même indice est utilisé, pensez à d’abord rendre les indices indépendants (les indices étant muets,
changez l’un des deux afin d’avoir deux indices différents) :
n
! n ! n
! n
X X X X X
ai bi = ai bj = ai b j .
i=1 i=1 i=1 j=1 (i,j)∈[[1,n]]2
Avertissement 4.1.38
Attention, en revanche,
n
! n
! n
X X X
ai bi 6= ai b i ,
i=1 i=1 i=1
Le terme de gauche est la somme sur un carré alors que la somme de droite n’est la somme que sur la
diagonale de ce carré !
n mk
!
Y X X
ak,i = a1,i1 · · · an,in .
k=1 i=1 (i1 ,...,in )∈[[1,m1 ]]×···×[[1,mn ]]
⊳ Éléments de preuve.
Récurrence sur n. ⊲
Il ne s’agit de rien d’autre qu’un point de vue particulier sur une suite, ou l’on voit une suite (Sn )n∈N
comme somme de ses différences successives (an ). Assez logiquement, on définit :
On rappelle que la convergence de (Sn ) revient intuitivement à dire que la suite (Sn ) prend, pour n grand,
toutes ses valeurs infiniment proches de S. On formalisera rigoureusement cette notion plus tard.
Une série peut ne pas converger, dans ce cas, on dit qu’elle diverge. On ne peut alors pas donner de sens
+∞
X
à la somme an .
n=0
Le théorème le plus important pour justifier la convergence d’une série est le suivant, issue du théorème
de convergence monotone des suites :
⊳ Éléments de preuve.
En notant Un et Vn les sommes partielles, Un 6 Vn et (Un ) et (Vn ) sont monotones. Justifier qu’alors,
P
si vn converge, (Un ) est bornée. Le second point est la contraposée du premier. ⊲
Dans le cas de séries à termes quelconques (réels ou complexes), on est souvent ramené à cette situation
grâce au résultat suivant, admis provisoirement :
Afin de pouvoir nous servir de toute la puissance du théorème de comparaison dès maintenant, nous
montrons le résultat suivant. La technique utilisée, par comparaison série/intégrale, est très importante.
On en fera un théorème un peu plus tard.
II Sommes classiques à connaître 63
⊳ Éléments de preuve.
X 1 X Z n+1 dt X Z n dt
Comparer suivant le cas, la série avec la série ou la série , suivant
nα n tα n−1 t
α
qu’on veut majorer ou minorer (pour obtenir la convergence ou la divergence). Les séries des intégrales
se calculent grâce à la relation de Chasles. ⊲
P n
Nous verrons par ailleurs dans la suite de ce chapitre que les séries géométriques a sont convergentes
si et seulement si |a| < 1.
Remarque 4.1.45
Intuitivement, pour qu’une série à termes positifs converge, il faut qu’elle ne grossisse pas trop, donc
P
que les termes qu’on ajoute deviennent petits. En fait, si an converge, an → 0 (vrai aussi pour les
séries à termes quelconques). En revanche, la réciproque est fausse : il ne suffit pas que les termes
deviennent petits à l’infini pour avoir la convergence de la série, comme le montre l’exemple de la série
P1
harmonique n (série de Riemann de paramètre 1).
On étudiera plus précisément les propriétés de convergence des séries dans un chapitre ultérieur. On verra
que l’étude de la convergence d’une série est souvent plus simple que l’étude de la convergence d’une suite,
essentiellement du fait de l’existence de résultats de comparaison tels que ci-dessus. En revanche, même
connaissant la convergence d’une série, le calcul explicite de sa somme S est souvent dur, voire impossible.
⊳ Éléments de preuve.
D’innombrables (indénombrables ?) possibilités. Géométriquement pour certaines (voir ci-dessous),
ou classiquement par récurrence sur n, ou encore de proche en proche, en augmentant petit à petit la
64 CHAPITRE 4. SOMMES
valeur de k (voir méthode ci-dessous), ou encore par manipulations de sommes doubles à intervertir
etc. ⊲
On donne une interprétation géométrique des cas des exposants 1 et 3 dans la figure 4.2
n(n + 1)
côté : 1 + 2 + · · · + n =
2
1 2 3 · · · n−1 n 1·12 2 · 22 ··· (n − 1) · (n − 1)2 n · n2
n+1
n n−1 · · · 3 2 1
n
n
X n
X
Figure 4.2 – Illustration géométrique de k et k3 .
k=1 k=1
On peut calculer Sn (p) de proche en proche à l’aide de la formule du binôme (rappelée un peu plus loin).
La somme S peut être calculée d’une part comme somme télescopique, d’autre part à l’aide du dévelop-
pement du binôme (ce qui fait partir les termes d’exposant p + 1). Isoler ensuite les termes d’exposant
p.
II Sommes classiques à connaître 65
Remarque 4.2.3
En utilisant les formules précédentes, on obtient sans peine la somme des nombres impairs consécutifs :
n
X
(2k − 1) = n2 .
k=1
Cette formule a une interprétation géométrique toute simple, déjà connue des Grecs antiques (Euclide) :
elle est donnée en figure 4.3.
1 + 3 + 5 + 7 + 9 + 11 + 13 = 72
1 3 5 7 9 11 13
Exemplesn 4.2.4
X
Calculer (k + 1)(k + 2).
k=1
⊳ Éléments de preuve.
n
X
Dans le cas z 6= 1, calculer (1 − z) z k par télescopage. ⊲
k=0
Exemples 4.2.6
4n
X
1. Calculer (2 i)k .
k=0
66 CHAPITRE 4. SOMMES
n
X
2. Calculer p2k en fonction de p ∈ R et n ∈ N.
k=0
n+2
X
3. Calculer, pour n > 4, e−3k .
k=6
⊳ Éléments de preuve.
Encore du télescopage. ⊲
Exemple 4.2.9
1. Que retrouve-t-on pour n = 2 ?
2. Quelles sont les racines dans C du polynôme 1 + X + X 2 ? du polynôme 1 + X + X 2 + X 3 ?
3. Donner une factorisation dans C de a4k+2 + b4k+2 (k ∈ N). En donner une factorisation dans R
(par (a2 + b2 ))
P (le cas x = 1 résulte du paragraphe précédent, puisqu’on a dans ce cas des sommes de
puissances d’entiers).
Exemple 4.2.11
n
X k
1. Calculer .
3k
k=0
Xn
2. Calculer k 2 xk , pour tout x ∈ R.
k=0
68 CHAPITRE 4. SOMMES
5
Combinatoire et dénombrement
“What’s one and one and one and one and one and one and one and one and one and one ?”
“I don’t know,” said Alice. “I lost count.”
“She can’t do Addition.”
(Lewis Carroll)
Dénombrer un ensemble d’objets, c’est déterminer le cardinal de cet ensemble. Le dénombrement se base
souvent sur la combinatoire, qui est l’étude des configurations possibles d’un ensemble d’objets, donc
l’étude de la structure d’un ensemble, passant éventuellement par une description décomposée des objets
(contruction par choix successifs), ou un tri des objets suivant certains critères.
La clé du dénombrement combinatoire est la notion de bijection : si je peux construire une correspondance
un-à-un (one-to-one) entre objets d’un ensemble E et les objets d’un ensemble F (c’est-à-dire une bijection
de E dans F ), alors E a autant d’objets que F .
C’est d’ailleurs comme cela qu’on définit la notion de cardinal d’un ensemble fini, par comparaison avec
un ensemble [[1, n]], correspondant à une énumération des éléments de E (l’action de compter)
Par la suite, il est souvent un peu maladroit de revenir systématiquement à la définition en comparant
à un ensemble [[1, n]], et on recherche plutôt la mise en bijection avec des ensembles de référence bien
connus et étudiés. Une telle méthode nécessite souvent une étude de la structure de l’ensemble étudié, et
de la façon de construire les objets de cet ensemble : c’est une méthode relevant de la combinatoire.
⊳ Éléments de preuve.
On raisonne par récurrence sur n : s’il existe une bijection f , de [[1, n+1]] dans [[1, k]], et si f (n+1) = ℓ,
f induit une bijection de [[1, n + 1]] dans [[1, k]] \ {l} lui-même en bijection avec [[1, k − 1]] (en décalant
les derniers éléments). ⊲
Exemples 5.1.4
1. |E| = 0 si et seulement si E = ∅,
2. |[[1, n]]| = n.
⊳ Éléments de preuve.
Se ramener au cas où l’ensemble total est [[1, n]].
On raisonne alors par récurrence sur n. Pour F ⊂ [[1, n + 1]], discuter suivant que n + 1 ∈ F (on
peut appliquer l’hypothèse de récurrence directement) ou non (appliquer l’hypothèse de récurrence
à F ∩ [[1, n]], puis prolonger la bijection obtenue) ⊲
⊳ Éléments de preuve.
Le point 2 s’obtient du point 1 par récurrence.
Pour le point 1, si m et n sont les cardinaux respectifs de A et B, contruire une bijection de [[1, m]]
dans A ⊔ B en se servant d’une bijection de [[m + 1, m + n]] sur [[1, n]]. ⊲
I Notion de cardinal, combinatoire des ensembles 71
⊳ Éléments de preuve.
Écrire l’un des trois ensembles en jeu comme union disjointe des deux autres et appliquer la propo-
sition précédente. ⊲
⊳ Éléments de preuve.
L’inégalité découle immédiatement de la proposition précédente. Le cas d’égalité résulte du fait
qu’alors ∁B A est de cardinal 0. ⊲
⊳ Éléments de preuve.
Écrire A∪B comme union disjointe de trois ensembles, correspondant aux trois zones d’un diagramme
en patates. ⊲
⊳ Éléments de preuve.
Il s’agit d’une récurrence sur n. On applique le cas n = 2 à A1 ∪ · · · ∪ An et An+1 , on utilise
l’hypothèse de récurrence pour le calcul de |A1 ∪ · · · ∪ An | ainsi que pour le calcul de |(A1 ∪ · · · ∪
An ) ∩ An+1 | après avoir distribué l’intersection. Remarquer qu’on obtient tous les termes voulus, les
indices (ensemblistes I ⊂ [[1, n + 1]]) étant triés en 3 catégories :
• les ensembles I non vides ne contenant pas n + 1 (la somme obtenue à partir de A1 ∪ · · · ∪ An )
• les ensembles I non réduits à un élément et contenant n + 1 (la somme obtenue à partir de
(A1 ∪ · · · ∪ An ) ∩ An+1 )
• Le sous-ensemble I = {n + 1} (le terme |An+1 | apparaissant lors de la première étape.
⊲
72 CHAPITRE 5. COMBINATOIRE ET DÉNOMBREMENT
⊳ Éléments de preuve.
Le point 2 s’obtient du 1 par récurrence.
Pour le point 1, se ramener au cas où A = [[0, m − 1]] et B = [[0, n − 1]], et construire une bijection
[[0, mn − 1]] → [[0, m − 1]] × [[0, n − 1]] en pensant à une opération arithmétique classique. ⊲
⊳ Éléments de preuve.
Restreindre ou corestreindre de façon adéquate, de sorte à se ramener à une bijection. ⊲
On en déduit notamment une caractérisation des applications bijectives entre ensembles de même cardi-
nal :
⊳ Éléments de preuve.
On se rend facilement compte qu’il suffit de montrer que (ii) ⇐⇒ (iii).
Si f est injective, remarquer que |Im(f )| = |A| et utiliser le cas d’égalité des cardinaux des sous-
ensembles.
Si f n’est pas injective, montrer que |Im(f )| < |A|, en construisant une surjection d’un sous-ensemble
strict de A sur Im(f ). ⊲
II Combinatoire des ensembles d’applications 73
⊳ Éléments de preuve.
Une bijection E → [[1, n]] définit une énumération x1 , . . . , xn des éléments de E. Remarquer que F E
est alors en bijection avec F n , en associant à f le n-uplet des images (f (x1 ), . . . , f (xn )). ⊲
Une p-liste peut être vue indifféremment comme un élément d’un produit cartésien F × · · · × F , ou de
l’ensemble F [[1,p]] des fonctions de [[1, p]] dans F , associant xi à i. Ce second point de vue aura l’avantage
de mieux faire comprendre certaines propriétés imposées sur une liste. Ainsi, les listes d’éléments distincts
correspondent aux fonctions injectives.
Évidemment, les deux points de vue amènent de façon immédiate le dénombrement suivant :
Enfin, étant donné E un ensemble fini, L’ensemble P(E) peut être mis en bijection avec l’ensemble des
applications de E vers {0, 1} via les fonctions caractéristiques. On obtient donc :
⊳ Éléments de preuve.
Considérer la partition de E définie par cette surjection : le nombre de parts est |F | et chaque part
est de cardinal k. ⊲
74 CHAPITRE 5. COMBINATOIRE ET DÉNOMBREMENT
Remarque 5.2.6
• Ce lemme dit essentiellement que si tout mouton a quatre pattes, il y a quatre fois plus de pattes
que de moutons (la fonction f étant ici la fonction associant à une patte donnée le mouton auquel
elle est rattachée).
• Le lemme du berger permet de formaliser la notion de « choix successifs ». Il est souvent utilisé
de façon implicite dans les raisonnements. Il faut essentiellement en retenir que lorsqu’on fait
des choix successifs, et qu’à chaque étape, le nombre de possibilité ne dépend pas de la situation
dans laquelle on se trouve (c’est-à-dire des choix précédents), alors le nombre total de possibilités
s’obtient en faisant le produit du nombre de possibilités à chaque étape.
• La formalisation d’un tel choix par le lemme du berger se fait en considérant la fonction qui
à un choix possible associe la situation à l’étape précédente permettant ce choix. Le calcul du
nombre d’injections est un exemple typique d’utilisation du lemme du berger.
• À la longue, on ne formalisera plus complètement ce type d’arguments, et on se contentera de
l’approche intuitive des choix successifs. Mais il faut bien être conscient à tout moment que cette
approche intuitive peut être formalisée rigoureusement. C’est seulement lorsqu’on est pleinement
conscient de la possibilité de faire cette formalisation de la sorte qu’on peut s’en dispenser.
⊳ Éléments de preuve.
Se ramener au cas où A = [[1, p]], par commodité.
L’idée intuitive consiste à dire qu’on a n façons de choisir une valeur pour f (1), puis plus que n − 1
façons de choisir une valeur pour f (2) (pour préserver l’injectivité), etc : à chaque étape, on diminue
de 1 le nombre de choix possibles.
Il s’agit donc de choix successifs : chaque étape peut se formaliser par le lemme du berger. Faire une
récurrence (sur p) permet alors de n’avoir qu’une étape à rédiger. Appliquer le lemme du berger à
l’application qui à une injection f de [[1, p + 1]] dans B associe sa restriction à [[1, p]]. Comment gérer
le cas p > n ? ⊲
Une transcription en terme de listes donne alors :
2. En particulier, |Sn | = n!
Proposition 5.2.11
Perm(x1 , . . . , xn ) ≃ Sn . Ainsi, |Perm(x1 , . . . , xn )| = n!.
II.4 Surjections
Dénombrer les surjections est un problème plus dur (lié à ce qu’on appelle les nombres de Stirling).
L’exemple ci-dessous est simple, mais introduit les problèmes qu’on peut rencontrer lorsqu’on cherche à
dénombrer des surjections dans des cas plus généraux.
Exemple 5.2.12
n
Le nombre de surjections de [[1, n]] dans [[1, n − 1]] est (n − 1)! .
2
Proposition 5.3.2
n
Le coefficient binomial est plus généralement le nombre de sous-ensemble de cardinal k d’un
k
ensemble quelconque E de cardinal n :
n
= |Pk (E)|, où |E| = n.
k
⊳ Éléments de preuve.
Montrer qu’une bijection E → F induit une bijection Pk (E) → Pk (F ) et appliquer cela à E → [[1, n]].
⊲
⊳ Éléments de preuve.
Appliquer le lemme du berger à l’application qui à un k-arrangement (x1 , . . . , xk ) d’éléments de [[1, n]]
associe le sous-ensemble {x1 , . . . , xk }. ⊲
Nous nous évertuerons dans ce chapitre à ne considérer, dans la mesure du possible, que la définition
combinatoire du coefficient binomial, et non son expression.
La définition combinatoire même du coefficient binomial fournit diverses inerprétations possibles en terme
de dénombrement,
les plus importantes, en plus de la définition, étant les suivantes :
n
• est le nombre de mots de longueur n, constitué de p lettres a et n − p lettres b.
p
n
• est le nombre de chemins de longueur n consitués de p pas vers le haut et n − p pas vers la
p
a+b
droite. Ainsi, est le nombre de chemins constitués de pas à droite et vers le haut, reliant
a
(0, 0) à (a, b).
Voici deux propriétés utiles qui découlent de façon immédiate de la formule du coefficient binomial, mais
qui peuvent être démontrée aussi par la combinatoire, en revenant à la définition par les sous-ensembles :
⊳ Éléments de preuve.
1. Quelle opération ensembliste simple appliquer à un sous-ensemble de [[1, n]] de cardinal k pour
obtenir un sous-ensemble de cardinal n − k ?
2. Cette formule porte bien son surnom. Elle dénombre le nombre de sous-ensembles de cardinal
k (comité) dans lesquels on a distingué un élément (président). Suivant qu’on choisit d’abord
le comité qui élit son président ou qu’on choisit d’abord le président qui s’entoure ensuite d’un
comité à son goût, on obtient les deux expressions voulues.
⊲
La formule suivante, source de la construction du fameux triangle de Pascal, se démontre aisément avec
l’expression factorielle des coefficients binomiaux, mais peut elle aussi être démontrée par un argument
combinatoire.
III Sous-ensembles et coefficients binomiaux 77
⊳ Éléments de preuve.
Dans le cas n, p positifs, trier les sous-ensembles de [[1, n + 1]] suivant l’appartenance ou non de n + 1
à ces ensembles.
Dans les autres cas, c’est de la vérification élémentaire avec les valeurs aux bords (p = 0) et les
valeurs définies par convention. ⊲
Grâce à cette formule, on peut contruire les coefficients binomiaux par ligne (une ligne représentant
une valeur de n donnée), de proche en proche. Cette construction est particulièrement utile lorsqu’on
recherche des coefficients binomiaux pour une valeur raisonnablement petite de n (disons n 6 10), par
exemple en vue d’utiliser la formule du binôme de Newton (présentée un peu plus loin). La construction
de ce triangle est expliquée dans la figure 5.1.
k=0
k=1
k=2
+ + + + + +
k=7
n
Figure 5.1 – Triangle de Pascal pour le calcul de
p
⊳ Éléments de preuve.
Un terme ak bn−k du développement du produit (a + b)n = (a + b)(a + b) · · · (a + b), est obtenu en
choisissant, dans chaque parenthèse le terme a ou le terme b. Combien de façons a-t-on de faire de
tels choix de sorte à obtenir k facteurs a et n − k facteurs b ? ⊲
On peut généraliser la formule du binôme au cas d’une puissance de la somme de k termes. Pour cela,
nous avons besoin d’un objet combinatoire supplémentaire
⊳ Éléments de preuve.
Utiliser le lemme du berger avec l’application qui à un n-uplet (x1 , . . . , xn ) associe (A1 , dots, Ak ), où
Alternative : choisir successivement A1 puis A2 etc, ce qui donne un produit de coefficients binomiaux.
Simplifier quelques factorielles. Remarquer que ces choix successifs cachent aussi une utilisation du
lemme du berger. ⊲
X
n
n
(a1 + · · · + ak ) = ai1 · · · aikk ,
i1 +···+ik =n
i1 , . . . , ik 1
la somme étant prise sur les k-uplets (i1 , . . . ik ) ∈ Nk vérifiant l’égalité mentionnée sous la somme.
IV Bijection, Déesse de la Combinatoire 79
⊳ Éléments de preuve.
Un terme du développement de la puissance est obtenu en choisissant dans chacun des n termes
parenthésés un des termes a1 , . . . , ak . Il y a donc autant de termes ai11 · · · aikk qu’il y a de façons de
choisir les i1 parenthèses desquelles on extrait a1 (cela définit A1 ), les i2 parenthèses desquelles on
extrait a2 (cela définit A2 ) etc. ⊲
Nous en avons déjà vu des exemples d’utilisation, par exemple la preuve de la symétrie des coefficients bi-
nomiaux. Voici quelques autres exemples, qui représentent des situations très classiques, à bien connaître :
Exemples 5.4.2
1. Dénombrer les p-listes (k1 , . . . , kp ) d’entiers strictement positifs tels que k1 + · · · + kp = n.
2. Dénombrer les p-listes (k1 , . . . , kp ) d’entiers positifs ou nuls tels que k1 + · · · + kp = n.
3. Dénombrer les p-listes strictement croissantes d’éléments de [[1, n]].
4. Dénombrer les p-listes croissantes d’éléments de [[1, n]].
Retenir cette bijection consistant à éloigner les éléments les uns des autres. C’est un cas revenant assez
souvent. Nous l’appelerons le principe de l’accordéon.
⊳ Éléments de preuve.
1. Trier les sous-ensembles de [[1, n]] suivant que n est dedans ou non.
2. Trier les sous-ensembles de [[1, n]] suivant leur cardinal.
3. Composer des bouquets de n fleurs, disposant de 2 types de fleurs.
4. Trier les sous-ensembles à n + 1 éléments de [[1, n + p + 1]] suivant la valeur de leur élément
maximum.
5. Trier les sous-ensembles à n + 1 éléments de [[1, M + N + 1]] suivant la valeur de leur ..... élément.
⊲
Ces formules peuvent intervenir notamment dans certains calculs d’espérance ou de variance.
Méthode 5.5.3
Remarquez qu’un signe (−1)k associé à un coefficient binomial correspond souvent à une comparaison
de parités de cardinaux. On peut passer d’un cardinal impair à un cardinal pair, et vice-versa, en
« allumant ou éteignant » un élément fixé à l’avance, suivant qu’il est déjà ou non dans notre ensemble
(plus précisément, il s’agit de l’opération X 7→ X △ {x}).
Nous appelerons ceci le principe de l’interrupteur.
Avertissement 5.6.2
Il s’agit ici de la définition du programme. Dans de nombreux ouvrages, un ensemble est dénombrable
s’il est de même cardinal que N. On appelle dans ce contexte « ensemble au plus dénombrable » un
ensemble dénombrable au sens de notre définition.
VI Introduction à la dénombrabilité (HP) 81
Lemme 5.6.3
Un sous-ensemble E non fini de N est de même cardinal que N.
⊳ Éléments de preuve.
Construire par récurrence une application injective de [[0, n]] dans E, en rajoutant à chaque étape le
minimum des éléments non encore utilisés. Cela définit une bijection N → E. ⊲
Ainsi, un ensemble dénombrable est soit de même cardinal que N, soit fini.
⊳ Éléments de preuve.
• (i) =⇒ (ii) : considérer une bijection E → F ⊂ N, et composer par l’injection canonique.
• (ii) =⇒ (iii) : c’est l’inversibilité à gauche d’une injection.
• (iii) =⇒ (ii) : c’est l’inversibilité à droite d’une surjection. Pourquoi l’axiome du choix n’est-il
pas nécessaire ici ?
• (ii) =⇒ (i) : corestriction à l’image.
⊲
Nous utilisons le fait, déjà démontré en exercice, que N2 est dénombrable (via la numérotation en diago-
nale).
⊳ Éléments de preuve.
1. Construire une surjection par composition : N → N × N → E × F
2. Récurrence
3. Supposons les ensembles indexés sur I dénombrable. Construire une surjection
[
N→N×N→I ×N → Ai .
i∈I
Corollaire 5.6.6
1. L’ensemble Z est dénombrable.
2. L’ensemble Np est dénombrable.
3. L’ensemble Q des rationnels est dénombrable.
4. L’ensemble Z[x] des fonctions polynomiales à coefficients entiers est dénombrable.
82 CHAPITRE 5. COMBINATOIRE ET DÉNOMBREMENT
Théorème 5.6.7
L’ensemble des réels R est non dénombrable.
⊳ Éléments de preuve.
Sinon, considérer une énumération (xn )n∈N∗ de tous les réels, et considérer un y tel que le n-ième
chiffre après la virgule de y soit distinct de 0, 9 et du n-ième chiffre de xn . Le réel y peut-il être dans
l’énumération ? Pourquoi prendre la précaution de prendre les chiffres distincts de 0 et 9 ? ⊲
Nous terminons cette étude par un théorème de Cantor, affirmant notamment qu’il existe des ensembles
de cardinal plus gros que le dénombrable. Il existe même une infinité de cardinaux infinis distincts.
Définition 5.6.8
On dit que Card(E) 6 Card(F ) si et seulement s’il existe une injection de E dans F , et Card(E) <
Card(F ) si et seulement si Card(E) 6 Card(F ) et Card(E) 6= Card(F ).
⊳ Éléments de preuve.
S’il existe une surjection f : X → P(X), considérer Y ⊂ X constitué des éléments x tels que
x 6∈ f (x), et obtenir une contradiction en considérant l’apparenance de c à Y , c étant un élément de
X tel que f (x) = Y . ⊲
Comme on l’a signalé plus haut, ce résultat entre en contradiction avec l’existence de l’ensemble des
ensembles.
6
Relations
Comme on l’a vu, les applications, ou plus généralement les fonctions, sont une façon de mettre en relation
deux ensembles, donc de faire interagir nos objets formels que sont les ensembles. Mais le rôle des deux
ensembles ainsi mis en relation n’est pas symétrique, du fait de la contrainte d’unicité de l’image, alors
qu’on n’a pas la contrainte d’unicité de l’antécédent. Nous voyons dans ce chapitre comment définir une
notion plus générale, permettant de retrouver cette symétrie perdue.
Ayant déjà étudié les relations définissant les applications ou les fonctions (relations applicationnelles ou
fonctionnelles), nous étudierons plus précisément les deux autres types importants de relations à bien
connaître : les relations d’équivalence, et les relations d’ordre.
I Définitions générales
I.1 Relations
Le cas le plus important, et le seul que nous considérerons, est le cas des relations binaires, d’arité 2.
Notation 6.1.2
Étant donné une relation binaire entre E et F , c’est-à-dire un sous-ensemble G de E × F , on note
souvent xRy pour dire que (x, y) ∈ G, et on dit que x est en relation avec y. On parle alors de la
relation R.
Certains types de relation sont aussi notés x ≡ y, ou x ∼ y, ou x 6 y...
Exemples 6.1.3
1. appartenance à une droite
2. L’inclusion entre ensemble. L’appartenance entre ensembles.
3. Les congruences d’entiers.
84 CHAPITRE 6. RELATIONS
Comme pour les fonctions, on peut représenter une relation par un diagramme sagittal. Par exemple,
la relation représentée par la figure 6.1 est la relation entre [[1, 5]] et [[1, 4]] définie par le sous-ensemble
G = {(1, 2), (1, 3), (2, 3), (2, 4), (4, 1), (5, 1), (5, 2), (5, 4)}, donc la relation définie par 1R2, 1R3, 2R3, 2R4,
4R1, 5R1, 5R2, 5R4, les autres paires n’étant pas en relation.
R
5
4 4
3 3
2 2
1 1
On peut également représenter cette relation sous forme d’un tableau à double-entrée, en décidant de
représenter par deux signes distinctifs le fait que xRy soient en relation ou non (par exemple par une
croix ou par rien) Ainsi, la relation précédente est représentée par le tableau de la figure 6.2
F
1 2 3 4
E
1 × ×
2 × ×
4 ×
5 × × ×
Remarque 6.1.4
Les fonctions sont des cas particuliers de relation binaire. Une relation binaire définissant une fonction
est appelée relation fonctionnelle.
Plus précisément :
Lorsque R est une relation entre E et lui-même, on dit que R est une relation sur E. Dans ce cas, on
dispose d’une troisième représentation possible, correspondant à la représentation sagittale dans laquelle
on a identifié les éléments des deux ensembles de départ et d’arrivée. On obtient de la sorte un graphe
orienté dont les sommets sont les éléments de E. Par exemple, la relation définie sur [[1, 4]] par 1R1, 1R3,
2R3, 3R2, 3R4, 4R1 et 4R4 est représentée par le graphe de la figure 6.3
II Relations d’équivalence 85
1 2
4 3
Remarque 6.1.7
Comment qualifieriez vous une relation antisymétrique et irreflexive ?
Nous allons maintenant définir deux types de relations que l’on rencontre fréquemment.
II Relations d’équivalence
II.1 Définitions et exemples
Exemples 6.2.2
1. Égalité.
2. Congruences modulo n dans N (notation ≡[n] ou ≡ ...[n]).
3. Congruences dans R.
86 CHAPITRE 6. RELATIONS
Une relation d’équivalence sur un ensemble fini peut être représenté par son graphe orienté (figure 6.4).
Ce graphe possède un certain nombre de caractéristiques :
• Le graphe se décompose en un certain nombre de blocs non reliés les uns les autres, les points au
sein d’un même bloc étant reliés (on parle de composantes connexes du graphe)
• Chaque point appartient à un bloc (il y est éventuellement seul). Ainsi, les blocs forment une
partition de E.
• À l’intérieur de chaque bloc, toutes les flèches possibles sont présentes (y compris celles reliant un
point et lui-même) : il s’agit d’un sous-graphe complet.
Les différents blocs sont appelés classes d’équivalence.
x9
x1 = x2 = x3 = x5 x5 x2
x12
x8
x6
x11 x11
x10
x4 = x6 = x7 x4 x7
x8 = x10
Cette situation se généralise. C’est ce que nous étuidons dans le paragraphe suivant.
Cx = {y ∈ E | xRy}.
Lemme 6.2.4
Si y et z sont dans une même classe d’équivalence, alors yRz.
⊳ Éléments de preuve.
II Relations d’équivalence 87
⊳ Éléments de preuve.
Il suffit de montrer que si Cx ∩ Cy 6= vide, alors Cx = Cy , et par symétrie, Cx ⊂ Cy suffit. Là encore,
c’est la transitivité, en passant par un point apparenant aux 2 classes. ⊲
En particulier, si y ∈ Cx , alors Cx = Cy .
Pour les propriétés « stables » par la relation d’équivalence, les points d’une même classe d’équivalence
jouent des rôles similaires, et n’ont pas lieu d’être distingués. On formalise cela en introduisant un ensemble
dont les éléments sont les classes d’équivalences (ainsi, tous les points d’une même classe représentent la
même classe, et sont considérés comme égaux dans ce nouvel ensemble) :
Ainsi, en notant x la classe d’équivalence d’un élément x de E, l’ensemble E/R est l’ensemble formé des
éléments x, où l’on impose x = y dès que xRy.
Exemples 6.2.7
1. On définit Q comme étant le quotient (Z × N∗ )/ ≡Q .
2. On définit Z/nZ = Z/ ≡[n] . C’est un ensemble à n éléments.
Cette projection canonique vérifie la propriété importante suivante (une telle propriété est appelée « pro-
priété universelle ») :
Théorème 6.2.9 (Factorisation d’une application constante sur les classes d’équivalence)
Soit f : E → F . Alors les deux propriétés suivantes sont équivalentes :
(i) Pour tout (x, y) ∈ E 2 , xRy =⇒ f (x) = f (y) ;
(ii) il existe g : E/R → F tel que f = g ◦ πR .
⊳ Éléments de preuve.
Définir g(x) comme étant la valeur commune de tous les f (y), pour y ∈ x. ⊲
On dit dans la situation ci-dessus que la fonction f « passe au quotient ».
Ce résultat se généralise sans difficulté pour des fonctions de plusieurs variables, f : E1 × · · · × En −→ F ,
les Ei étant chacun muni d’une relation d’équivalence Ri . Dès lors que f « respecte » les relations
88 CHAPITRE 6. RELATIONS
f
E F
πR
∃? g
E/R
Figure 6.5 – Factorisation d’une application constante sur les classes d’équivalence
d’équivalences (donc la valeur de f ne dépend pas du choix des réprésentants des classes d”équivalence), on
a la possibilité de factoriser f au travers de l’espace produit des espaces quotients (E1 /R1 )×· · ·×(En /Rn ).
Cela permet notamment de définir assez facilement des lois (addition, multiplication) sur des ensembles
quotient. C’est ce que nous étudions ci-dessous.
II.3 Congruences
L’ensemble Z étant muni d’une loi d’addition et d’une loi de multiplication, on aimerait savoir si ces lois
« passent au quotient » autrement dit, si elles permettent de définir une somme et un produit sur Z/nZ.
La notion de congruence est adaptée à cette situation.
⊳ Éléments de preuve.
Vérifications de divisibilité immédiates. ⊲
˙ i y = x ×i y.
x×
⊳ Éléments de preuve.
La valeur de x × y ne dépendant que de la classe de x et celle de y, on peut définir x × y comme
étant la valeur commune des x′ × y ′ , pour x′ ∈ x et y ′ ∈ y. ⊲
Exemple 6.2.14
Table des lois de Z/2Z, Z/3Z, Z/4Z.
Exemples 6.3.2
1. L’inégalité usuelle 6 sur N, Z, Q ou R définit une relation d’ordre sur ces ensembles.
2. L’inégalité opposée > définit une autre relation d’ordre ; il s’agit de la relation réciproque de 6.
3. De façon générale, étant donné une relation d’ordre R sur un ensemble, la relation R−1 définie
par xR−1 y ssi yRx est une relation d’ordre (duale de R)
4. La relation de divisibilité a | b est une relation d’ordre sur N∗ mais pas sur Z.
5. L’inclusion dans P(E).
6. Le raffinement des partitions d’un ensemble.
7. L’ordre produit sur Nn
8. L’ordre lexicographique sur E × F , et plus généralement sur E1 × · · · × En , tous ces ensembles
étant ordonnés
La figure 6.6 donne le graphe orienté associé à une relation d’ordre sur un ensemble fini. Certaines flèches
sont nécessairement présentes (les flèches d’un élément vers lui-même, par reflexivité), ou déduites des
autres (par transitivité). On se limite alors souvent au digramme constitué par les flèches élémentaires
(engendrant les autres), c’est-à-dire les flèches entre deux éléments consécutifs. La restiction à ces flèches
définit ce qu’on appelle la relation de couverture (on dit qu’un élément x couvre y si x > y, x 6= y, et s’il
n’existe pas z tel que x > z > y). Le graphe associé à cette relation de couverture est appelé diagramme
de couverture de la relation 6.
Pour l’exemple donné dans la figure 6.6, on obtient alors le diagramme de la question 6.7. Par convention,
dans ce diagramme, les flèches vont en montant : plus un élément est placé haut, plus il est « grand »
pour le relation d’ordre (à condition de pouvoir être comparé).
Dans R, vous avez l’habitude d’utiliser la relation d’ordre stricte. Elle peut se définir de façon générale :
x7 x6
x4 x5
x8
x3
x2
x1
x7 x6
x4 x5
x8
x2 x3
x1
⊳ Éléments de preuve.
Montrer qu’on ne peut pas avoir xRy et yRx. En quoi cela entraîne-t-il l’antisymétrie ? ⊲
Proposition 6.3.5 (D’une relation d’ordre large à une relation d’ordre stricte)
• Toute relation d’ordre large 6 définit une relation d’ordre stricte par x < y si et seulement si
x 6 y et x 6= y.
• Réciproquement, toute relation d’ordre strict < définit une relation d’ordre large 6 par x 6 y si
et seulement si x < y ou x = y.
Remarque 6.3.6
Lorsqu’on parle de relation d’ordre, sans autre précision, il est en général sous-entendu qu’il s’agit d’une
relation d’ordre large.
Dans R muni de l’ordre usuel, on peut comparer deux à deux tous les éléments, mais ce n’est pas toujours
III Relations d’ordre 91
le cas (cas de la divisibilité par exemple). Cette remarque motive la définition suivante :
Exemples 6.3.8
1. L’ordre défini par le diagramme de la figure 6.7 n’est pas total : par exemple x8 et x7 ne sont
pas comparables. En fait, le diagramme associé à une relation d’ordre total est linéaire.
2. L’ordre usuel sur N, Z, Q ou R, ainsi que l’ordre lexicographique sur Nn , ou sur l’ensemble des
mots définis à partir d’un alphabet sont des ordres totaux.
3. L’ordre produit sur Nn (pour n > 2), la relation de divisibilité dans N∗ , la relation d’inclusion
dans P(E) (lorsque E possède au moins 2 éléments), le raffinement des partitions de E (lorsque
E possède au moins 3 éléments) sont des ordres partiels.
4. Si 6 est un ordre total, alors > est un ordre total.
5. Si E et F sont munis d’ordres totaux, l’ordre lexicographique sur E × F est total.
⊳ Éléments de preuve.
S’il en existe 2, x et y, alors x 6 y et y 6 x. ⊲
Un ensemble n’a pas nécessairement de minimum ou de maximum (Z par exemple, ou P(E) \ {E, ∅},
pour la relation d’inclusion).
92 CHAPITRE 6. RELATIONS
Exemple 6.3.12
Dans l’exemple de la figure 6.7, E admet-il un minimum ? un maximum ?
Exemples 6.3.15
1. Dans l’exemple de la figure 6.7, quels sont les éléments maximaux ? Sont-ils maximum ? Quels
sont les éléments minimaux ?
Dans un diagramme de ce type, comment décririez-vous un élément maximal ?
2. Soit E ayant au moins deux éléments. Dans P(E) \ {E, ∅}, décrire les éléments minimaux et
maximaux.
A-t-on unicité de l’élément minimal, maximal ?
3. Décrire les éléments minimaux et maximaux dans N\{0, 1}. Y a-t-il un minimum ? un maximum ?
y a plusieurs façons équivalentes de construire R, en imposant dans le cahier des charges des propriétés
différentes).
Avertissement 6.3.19
Attention à l’ensemble dans lequel on considère la borne supérieure. Tout sous-ensemble borné de Q
admet une borne supérieure dans R, mais pas nécessairement dans Q.
⊳ Éléments de preuve.
C’est juste une traduction formelle de la définition. ⊲
Avertissement 6.3.21
Remarquez que la seconde condition n’est pas équivalente à dire que c < b =⇒ ∃a ∈ A, a > c. Ceci
n’est vrai que lorsqu’on dispose d’un ordre total. En effet, si ce n’est pas le cas, ¬(c > b) se traduit par
c < b ou bien c et b non comparables (et de même pour le second terme)
Dans R, dont l’ordre est total, en posant c = b − ε, on exprime souvent la deuxième condition sous la
forme suivante :
∀ε > 0, ∃x ∈ A, b − ε < x 6 b.
Proposition 6.3.23
Soit (E, 6), et A ⊂ E. A admet un maximum M (plus grand élément) si et seulement si A admet une
borne supérieure b et si b ∈ A. Dans ce cas M = b. Énoncé similaire pour le minimum.
⊳ Éléments de preuve.
Le maximum M , s’il existe, est nécessairement le plus petit des majorants de A, puisqu’il majore A,
et que tout majorant de A majore en particulier M . Réciproque évidente, la borne supérieure étant
un majorant. ⊲
94 CHAPITRE 6. RELATIONS
Avertissement 6.3.25
Prenez garde au fait que les propriétés usuelles des fonctions réelles croissantes ne sont pas toutes vraies
dans une situation plus générale. Par exemple, étant donné E un ensemble fini, l’application de P(E)
dans N définie par X 7→ Card(X) est strictement croissante mais non injective !
Exemples 6.3.27
• Tout ensemble ordonné fini est inductif.
• L’ensemble (Z, 6) est-il inductif ?
• (P(E), ⊂) est-il inductif ?
(René Thom)
Introduction
Nous étudions dans ce chapitre les ensembles de nombres que nous utilisons usuellement : l’ensemble des
nombres rationnels, puis l’ensemble des nombres réels. Nous étudierons dans le chapitre suivant l’ensemble
des nombres complexes.
Ces ensembles possèdent une structure particulière, que nous appelons structure de corps, et que nous
aurons l’occasion d’étudier plus généralement dans un chapitre ultérieur. Nous nous contentons pour
l’instant d’en donner une définition approximative :
Ce dernier point a pour conséquence que Z (par exemple) n’est pas un corps (on parle dans ce cas
d’anneau)
I De Q à R
I.1 Construction de Q
Nous avons déjà vu dans un chapitre antérieur une façon de construire Q comme ensemble des quotients
a
b de deux entiers relatifs. Plus précisément, pour définir correctement les cas d’égalités entre fraction,
il convient de définir Q comme l’ensemble des classes d’équivalence de Z × Z∗ muni de la relation ≡Q
définie par :
(a, b) ≡ (c, d) ⇐⇒ ad − bc = 0.
En d’autres termes, Q est l’espace quotient de Z × Z∗ par la relation ≡Q .
96 CHAPITRE 7. LES CORPS Q ET R
Quotienter par cette relation d’équivalence donne les conditions d’égalités de deux fractions ab et dc . C’est
ce quotient qui permet de gérer de façon rigoureuse la non unicité de l’écriture d’un rationnel sous forme
d’un couple (numérateur, dénominateur).
⊳ Éléments de preuve.
En vertu des résultats du chapitre précédent, il suffit de vérifier que les lois définies sur Z × Z∗ sont
des congruences, ce qui ne pose pas de problème majeur. ⊲
On dit que Q est le corps des fractions de l’anneau (intègre) Z. L’intégrité de Z est une propriété stipulant
que pour tout (a, b) ∈ (Z∗ )2 , ab 6= 0. Cette propriété a été utilisée pour justifier l’inversibilité des rationnels
non nuls.
La construction que nous venons de faire peut être faite à partir de n’importe quel anneau intègre, et
permet de définir le corps des fractions de cet anneau. Nous retrouverons cette construction lorsque nous
construirons les fractions rationnelles formelles à partir des polynômes formels. Nous n’expliciterons plus
à ce moment les détails de la construction, du fait que tout se passe très précisément comme dans la
situation ci-dessus.
Lemme 7.1.4
Soit q un rationnel. Alors le signe de l’entier naturel ab ne dépend pas de la représentation de q sous
a
la forme q = .
b
⊳ Éléments de preuve.
a c
Considérer q = = , et multiplier la relation définissant l’égalité de ces fractions par bd. ⊲
b d
Ce lemme nous assure que la définition suivante ne dépend pas de la représentation choisie pour q :
I De Q à R 97
Théorème 7.1.8
La relation 6 ainsi définie sur Q est une relation d’ordre total.
√
On pourrait montrer plus généralement que n est irrationnel dès que l’entier n n’est pas un carré parfait.
I.4 L’ensemble R
L’ensemble R est alors obtenu en « bouchant les trous » laissés par les éléments de Q, un peu comme on
coulerait du mortier pour celler un ensemble de petites pierres, ou comme le bitume autour des gravillons.
La façon de percevoir les trous de Q est d’étudier l’exemple suivant :
Si on se rapproche de plus en plus du bord de cet intervalle, on tombe dans un trou... il n’y a rien au
bord !
C’est ce vide que l’on comble en construisant R comme l’ensemble Q, complété des bornes supérieures
de tous les sous-ensembles non vides bornés. Là encore, on a besoin de le faire sous forme d’un quotient
pour une certaine relation d’équivalence, donnant une condition pour que deux bornes supérieures soit
égales. Cette construction, qui n’est pas au programme, se résume par la propriété fondamentale de R,
fondamentale dans le sens où elle est intrinsèque à la définition de R. Cette propriété ne pouvant être
justifiée que par la manière rigoureuse de construire R, nous l’admettrons.
Ainsi, on prolonge l’ensemble ordonné (Q, +) en un ensemble ordonné (R, +) le plus petit possible,
assurant l’existence des bornes supérieures. Remarquez que cette « définition » très vague englobe aussi
la définition de la relation d’ordre sur R, prolongeant celle de Q. Cette relation est totale. On admet
également la possibilité de prolonger l’addition et le produit à R, ainsi que la différence.
Ainsi, par construction même (c’est notre cahier des charges) :
⊳ Éléments de preuve.
Appliquer la propriété fondamentale à l’ensemble des minorants, puis montrer (par exemple par
l’absurde) que la borne supérieure de cet ensemble est encore un minorant. ⊲
Une variante consiste à appliquer la propriété fondamentale à −E.
II Nombres réels
Notre axiome de la construction de R est la propriété fondamentale. Nous admettons l’existence de la
relation d’ordre usuelle prolongeant la relation d’ordre sur Q, ainsi que des opérations usuelles d’addition,
multiplication et soustraction.
Évidemment, certaines de ces propriétés se généralisent de façon immédiate à un plus grand nombre de
n
X n
X
termes. Par exemple, si (ai )i∈[[1,n]] et (bi )i∈[[1,n]] vérifie ai 6 bi pour tout i ∈ [[1, n]], on a alors ai 6 bi ,
i=1 i=1
avec égalité si et seulement si ai = bi pour tout i ∈ [[1, n]].
L’obtention d’inégalités (par exemple la majoration d’une quantité pour contrôler son ordre de grandeur,
souvent dans des études de convergence) est essentiel en analyse. Nous indiquons quelques démarches
possibles pour obtenir de telles inégalités. Ces méthodes seront largement développées ultérieurement.
Terminologie 7.2.2
On rappelle que « majorer » une quantité A, c’est trouver B tel que A 6 B, « minorer » une quantité
A, c’est trouver B tel que A > B. Souvent, A dépend d’un certain nombre de paramètres ou variables,
et on cherche un majorant B ne dépendant plus de certains de ces paramètres (il arrivera fréquemment
que B continue de dépendre de certains paramètres, mais pas de tous).
Le but de la fin de ce paragraphe est justement l’étude des plus importantes de ces inégalités classiques.
Remarque 7.2.5
La valeur absolue est souvent utilisée lorsqu’on veut montrer qu’une quantité reste bornée, c’est-à-dire
peut être à la fois majorée et minorée. En effet, majorer |A| revient à majorer et minorer A, puisque
|A| 6 B équivaut à −B 6 A 6 B.
Pour montrer l’inégalité triangulaire, nous décomposons un réel en sa partie positive et sa partie négative
(pour tout réel, l’une de ces deux parties sera nulle, assez logiquement).
⊳ Éléments de preuve.
Les points (i), (ii) découlent de la définition, les autres s’obtiennent par discussion sur le signe de x.
⊲
Chacune de ces inégalités est une égalité si et seulement si x et y sont de même signe.
⊳ Éléments de preuve.
Les points (i) et (ii) s’obtiennent ensemble en utilisant la propriété de minimalité (iv) de la proposition
précédente, appliquée à x + y exprimé avec x+ , x− , y + et y − .
Le point (iii) en découle par somme. ⊲
On obtient alors, par une récurrence immédiate sur le cardinal de I :
On peut maintenant établir la preuve d’un résultat qu’on avait admis dans le chapitre précédente. Ce
résultat est complété par une généralisation de l’inégalité triangulaire aux sommes infinies.
⊳ Éléments de preuve.
P + P −
• Convergence : utiliser le TCSTP pour obtenir la convergence de an et an , puis faire la
différence.
• Inégalité : passer à la limite sur les sommes partielles, en admettant pour le moment le théorème
de conservatin des inégalités par passage à la limite.
⊲
On donne ci-dessous deux inégalités classiques, utiles dans de nombreuses situations.
| hX, Y i | 6 kXk · kY k.
⊳ Éléments de preuve.
Utiliser le fait que le polynôme kλX + Y k2 en la variable λ est de signe constant : que peut-on en
déduire sur son discriminant ? (Attention, ne pas oublier de traiter le cas où le polynôme n’est pas
de degré 2)
Pour le cas d’égalité, cela correspond à ∆ = 0 : qu’est-ce que ça signifie pour le polynôme ci-dessus ?
⊲
Remarque 7.2.12
La démonstration n’utilise que le fait que pour tout X, hX, Xi > 0, avec égalité ssi X = 0, et la symétrie
du produit scalaire. On définira plus tard dans l’année une notion générale de produit scalaire, vérifiant
ces propriétés. Ainsi, la formule de Cauchy-Schwarz restera valable pour tout produit scalaire, la norme
associée à ce produit scalaire se définissant comme on l’a fait pour la norme euclidienne à partir du
produit scalaire canonique.
1 √
(x1 + · · · + xn ) > n x1 . . . xn .
n
Cette inégalité dit qu’on est gentil avec vous en calculant votre moyenne scolaire avec la moyenne arith-
métique plutôt que la moyenne géométrique.
⊳ Éléments de preuve.
Récurrence un peu atypique avec des retours en arrière : on montre d’abord par récurrence le cas où n
est une puissance de 2, puis en regroupant judicieusement des termes, on montre la propriété pour n
quelconque en redescendant à partir des puissances de 2. C’est la démonstration de Cauchy. Il existe
beaucoup d’autres démonstrations, notamment une démonstration très rapide par un argument de
convexité, mais cela nécessite quelques connaissances supplémentaires que vous verrez plus tard. ⊲
⊳ Éléments de preuve.
Par l’absurde, appliquer la propriété fondamentale de R à {ny, n ∈ N}, et considérer n0 tel que n0 y
soit proche de la borne supérieure. Trouver une contradiction en considérant (n0 + 1)y. ⊲
Corollaire 7.2.15
Pour tout x > 0 et tout y > 0, il existe un rationnel r tel que 0 < rx < y.
II Nombres réels 103
⊳ Éléments de preuve.
1
Appliquer la propriété d’Archimède, puis multiplier par n. ⊲
En particulier, en prenant x = 1, on peut toujours trouver un rationnel strictement positif inférieur à un
réel strictement positif y arbitraire.
Une conséquence importante de ce résultat est l’inversibilité de tout réel non nul :
⊳ Éléments de preuve.
Se ramener au cas x > 0. Considérer y0 = sup{y | yx 6 1}. Si y0 x < 1, considérer r tel que
0 < rx < 1 − y0 x, et contredire la définition de y0 . Même type d’argument si y0 x > 1. ⊲
Une variante de la propriété d’Archimède est :
Corollaire 7.2.17
Soit x et y strictement positifs. Il existe un unique entier n ∈ N tel que ny 6 x < (n + 1)y. Il existe
également un unique entier n′ tel que n′ y < x 6 (n′ + 1)y. Sauf lorsque xy est entier, on a n = n′ . Le
résultat se généralise à x négatif.
⊳ Éléments de preuve.
Considérer n minimal tel que x < (n + 1)y. Pour le deuxième point, discuter suivant que x est un
multiple de y ou non. Pour x négatif, appliquer ce qui précède à −x. L’unicité provient du fait que
les intervalles définis par les ny sont disjoints. ⊲
Ce résultat se réexprime sous la forme familière suivante :
C’est un résultat très concret : si un menuisier doit couper des planches de longueur donnée y dans une
grande planche de longueur x, n est le nombre de planches de la bonne longueur qu’il peut obtenir, et r
est la longueur du bout inutile qu’il lui reste à la fin, donc la chute.
Autrement dit, entre deux éléments quelconques de R (aussi proches soient-ils), il existe toujours un
élément de E : les éléments de E vont s’infiltrer un peu partout.
Cette notion de densité se généralise à d’autres ensembles que R, mais d’un point de vue topologique.
⊳ Éléments de preuve.
Appliquer la propriété d’Archimède avec un rationnel r inférieur à y − x. ⊲
Bref, il existe beaucoup de nombres irrationnels. Et en fait beaucoup plus que des rationnels. En effet Q
est dénombrable, et comme R ne l’est pas, R \ Q non plus, et, en admettant l’hypothèse du continu, il a
donc la puissance du continu (i.e. le même cardinal que R).
En admettant provisoirement que tout polynôme a un nombre fini de racines, on obtient le joli résultat
suivant :
⊳ Éléments de preuve.
L’ensemble des polynômes à coefficients rationnels est dénombrable, car peut s’écrire comme union
dénombrable d’ensembles dénomobrables. L’union sur ces polynômes des racines de chaque polynôme
est donc aussi dénombrable. ⊲
Proposition 7.2.27 (Relation entre partie entière et partie entière par excès)
Soit x ∈ R. On a alors
(
⌊x⌋ + 1 si x 6∈ Z
1. ⌈x⌉ =
⌊x⌋ si x ∈ Z
2. ⌊−x⌋ = −⌈x⌉.
On reconnaît dans l’encadrement définissant la partie entière et la partie entière par excès le corollaire
de la propriété d’Archimède.
|
3
|
2
|
1
|
0
| | | | | | | | | |
|
−4 −3 −2 −1 0 1 2 3 4
-1
|
-2
|
-3
|
-4
|
|
⊳ Éléments de preuve.
Le premier point s’obtient en écrivant x = ⌊x⌋ + {x} et y = ⌊y⌋ + {y} et en remarquant que
{x} + {y} ∈ [0, 2[. Les deux autres points sont évidents. ⊲
signifiant caillou (pensez aux calculs rénaux !), car les bergers utilisaient des caillous pour compter leurs
moutons.
• Beaucoup plus tard, il reste encore des vestiges de ce système de numération chez les romains, même s’ils
disposent d’un système un peu plus sophistiqué (plusieurs symboles pour désigner différentes grandeurs,
et notation soustractive).
• La numération de position (qui correspond à une numération dans une base donnée, la position d’un
chiffre déterminant le coefficient multiplicatif qui lui sera appliqué) apparaît vraissemblablement à Ba-
bylone. Les nombres y sont représentés en base 60 (y compris pour les décimales) ; les « chiffres » de 1
à 60 sont représentés grâce à une numération additive, à l’aide de deux symboles de valeur 1 et 10. Le
zéro n’existant pas encore, la position des chiffres n’est pas toujours très claire.
• Il reste d’ailleurs dans notre civilisation des vestiges de cette numération en base 60. Lesquels ?
• Les fractions apparaissent dès le 2e millénaire avant JC, à Babylone, où un calcul très complexe des
fractions est mis en place. Imaginez-vous faire des opérations sur des fractions en base 60... Les règles
calculatoires (sommes, produits) ne sont pas encore bien établies, et restent intuitive. La plupart des
calculs sur les fractions sont faits à l’aide de tables.
• La découverte des nombres irrationnels date probablement de Pythagore (diagonale du carré), mais
le secret est gardé. Hippase de Métaponte dévoile aux non initiés l’existence de grandeurs incommen-
surables (i.e. dont le rapport est irrationnel). Selon la légende, il est jeté du haut d’une falaise pour
avoir révélé le secret pythagoricien. Quelle est la part de vérité dans cette histoire ? C’est dur à dire.
Il est possible aussi que la découverte des irrationnels provienne de propriétés géométriques du penta-
gone : une construction fractale d’une suite de pentagones permet de montrer géométriquement que
l’algorithme d’Euclide pour le rapport entre la diagonale et le côté ne se termine pas, ce qui équivaut à
l’incommensurabilité de ces deux grandeurs.
• La numération actuelle est une numération en base 10, et une numération de position (l’un n’entraînant
pas l’autre, la notation romaine n’est pas une numération de position, mais est bien une numération
en base 10). La numération de position s’est imposée suite à la diffusion des ouvrage de Al Khwarizmi
diffusant le système de numération indien. L’intermédiaire arabe de cette diffusion a eu pour conséquence
la terminologie de « chiffres arabes », mais il s’agit bien de « chiffres indiens », même si la graphologie
de ces chiffres a beaucoup changé. L’importance de l’apport est bien plus le système de numération par
position (avec un symbole pour représenter 0) que la graphologie précise des chiffres.
y 6 x < y + 10−n .
• Le décimal y est appelé valeur approchée décimale à la précision 10−n par défaut
• Le décimal y + 10−n est appelé valeur approchée décimale à la précision 10−n par excès.
⊳ Éléments de preuve.
On peut utiliser la propriété d’Archimède (c’est le plus élémentaire) ou bien utiliser l’existence d’un
développement propre et tronquer ce développement. ⊲
108 CHAPITRE 7. LES CORPS Q ET R
⊳ Éléments de preuve.
Le sens direct s’obtient par l’algorithme de la division posée, qui tourne en boucle. La réciproque est
obtenue en exprimant 10n x − x, où n est la longueur de la période. ⊲
III Intervalles
III.1 Description des intervalles
Nous définissons les intervalles par leur propriété de convexité :
E2
E1 √
×
∀(a, b) ∈ I 2 , ∀x ∈ R, a 6 x 6 b =⇒ x ∈ I.
⊳ Éléments de preuve.
Si I est non vide, sa borne inférieure a et sa borne supérieure b existent (éventuellement infinies).
Montrer, par la propriété de convexité, que ]a, b[⊂ I ⊂ [a, b]. ⊲
III Intervalles 109
Remarquez que le premier cas pour a = b dit que tous les singletons {a} sont des intervalles.
On définit de la même manière les intervalles de Q comme sous-ensemble convexes de Q (comme on reste
dans Q, les trous ne se voient pas dans la propriété de convexité)
⊳ Éléments de preuve.
À peu près le même principe ; les bornes inférieure et supérieure sont réelles, tout le reste est rationnel.
⊲
Les intervalles de Q n’admettent pas de description de la forme ]a, b[ intrinsèque à Q : on ne peut
√
pas exprimer les bornes des intervalles sans sortir de Q. Par exemple, ]0, 2[∩Q n’admet pas de borne
supérieure dans Q.
Remarque 7.3.5
L’inventaire des intervalles de R est strictement équivalente à la propriété de la borne supérieure, et
pourrait être considérée comme propriété fondamentale de R en lieu et place de la propriété de la borne
supérieure : un réel est alors une classe d’équivalence d’intervalles de Q de même borne supérieure dans
R (cette notion d’égalité étant à définir intrinsèquement à Q, pour que la définition soit valide).
Un intervalle est donc délimité par deux réels (ou les infinis), et chacune des deux bornes, si elle est finie,
peut être ou ne pas être dans l’intervalle (une borne infinie est toujours exclue de l’intervalle, l’infini
n’étant pas un réel). L’appartenance ou non des bornes à l’intervalle nous incite à donner un classement
des intervalles :
r r
d(x, y) + d(x, y) +
y y
+ +
x x
B(x, r) B(x, r)
Exemple 7.3.8
Dans R, les boules sont des intervalles (voir figure 7.4) :
• B(x, r) =]x − r, x + r[
• B(x, r) = [x − r, x + r]
En fait, tout intervalle borné ouvert est une boule ouverte, tout intervalle borné fermé est une boule
fermée :
• ]a, b[= B a+b b−a
2 , 2 ,
• [a, b] = B a+b b−a
2 , 2
+ + + +
x y x y
x−r x+r x−r x+r
r d(x, y) r d(x, y)
B(x, r) B(x, r)
Remarque 7.3.9
Il est important de retenir qu’une majoration de certaines valeur absolue se traduit par l’appartenance
à une boule :
• une majoration du type |x − a| 6 r traduit l’appartenance de x à la boule fermée B(a, r) de
centre a de rayon r, donc à l’intervalle [a − r, a + r] ;
• une majoration du type |x − a| < r traduit l’appartenance de x à la boule ouverte B(a, r) de
centre a de rayon r, donc à l’intervalle ]a − r, a + r[ ;
+ +
x x
V √ V
×
∀x ∈ U, ∃ε > 0, B(x, ε) ⊂ U.
Intuitivement, un ouvert est un ensemble dont le « bord » est flou : on peut s’en approcher, mais jamais
l’atteindre en restant dans U . Ainsi, l’image qu’il faut en garder est qu’un ouvert est un ensemble ne
contenant pas son bord. Évidemment, n’ayant pas défini la notion de bord, ceci reste une image.
Cette fois, intuitivement, c’est le complémentaire qui ne contient pas son bord, donc F , lui contient tout
son bord.
Exemples 7.3.14
1. Les intervalles ouverts sont des sous-ensembles ouverts de R.
2. Les intervalles fermés sont des sous-ensembles fermés de R.
3. Les intervalles semi-ouverts ne sont ni ouverts ni fermés.
4. R et ∅ sont des sous-ensembles à la fois fermés et ouverts de R.
5. On peut montrer que les sous-ensembles ouverts de R sont les unions disjointes d’intervalles
ouverts.
⊳ Éléments de preuve.
1. Si x est dans l’union, il existe une boule centrée en x restant dans l’un des ouverts, donc dans
leur union.
2. Prendre le minimum des rayons des boules centrées en x restant dans chaque ouvert. Pourquoi
doit-on se limiter au cas fini ?
3. Par complémentation
4. De même.
Exemples 7.3.16
Voici deux contre-exemples à bien garder en tête :
+∞
\
1
1. Contre-exemple pour une intersection infinie d’ouverts : − , 1 = [0, 1[.
n=1
n
+∞
[
1
2. Contre-exemple pour une union infinie de fermés : , 1 =]0, 1].
n=1
n
IV Droite achevée R
Par commodité, il est parfois intéressant de pouvoir considérer les deux infinis comme des éléments comme
les autres. Cela permet en particulier d’unifier certains énoncés et certaines démonstrations, qui sinon,
nécessiteraient une disjonction de cas.
∀x ∈ R, −∞ 6 x 6 +∞.
En revanche, certaines opérations ne peuvent pas être définies de façon cohérente, comme le montre
l’étude des formes indéterminées dans le calcul des limites.
IV Droite achevée R 113
Pour l’étude des limites, ces formes donnent également des formes indéterminées pour les puissances, par
passage à l’exponentielle (voir le chapitre sur les suites).
Les intervalles de R étant définis comme ceux de R par la propriété de convexité, on obtient la description
suivante :
⊳ Éléments de preuve.
Si I est un intervalle de R, alors I ∩ R est un intervalle de R. ⊲
114 CHAPITRE 7. LES CORPS Q ET R
8
Le corps C des complexes
Au reste, tant les vraies racines que les fausses ne sont pas toujours réelles, mais quelquefois
seulement imaginaires, c’est à dire qu’on peut bien toujours en imaginer autant que j’ai dit en
chaque équation, mais qu’il n’y a quelquefois aucune quantité qui corresponde à celles qu’on
imagine ; comme encore qu’on puisse en imaginer trois en celle-ci :
x3 − 6x2 + 13x − 10 = 0,
il n’y en a toutefois qu’une réelle qui est 2, et pour les deux autres, quoiqu’on les augmente
ou diminue, ou multiplie en la façon que je viens d’expliquer, on ne saurait les rendre autres
qu’imaginaires.
(René Descartes)
Ce que nous nommons temps imaginaire est en réalité le temps réel, et ce que nous nommons
temps réel n’est qu’une figure de notre imagination.
(Stephen Hawking)
Les nombres complexes sont nés de l’étude des solutions des équations du troisième degré. Dans un
premier temps, ils ont été utilisés sans se préoccuper de leur donner un sens précis : ils étaient des outils
abstraits, imaginaire pourrait-on dire, pour accéder aux solutions, pouvant elles être bien réelles, des
équations considérées.
D’un point de vue formel, C est défini comme le plus petit sur-corps de R dans lequel le polynôme X 2 + 1
admet une racine (c’est ce qu’on appelle un corps de rupture du polynôme X 2 + 1, correspondant dans ce
cas au corps de décomposition, le plus petit corps dans lequel le polynôme peut se factoriser en polynômes
de degré 1).
116 CHAPITRE 8. LE CORPS C DES COMPLEXES
Ainsi, il s’agit d’un ensemble contenant un élément i, racine de X 2 + 1, vérifiant donc i2 = −1, et muni
d’une addition et d’un produit prolongeant celles de R, avec les mêmes propriétés. En fait, la relation
i2 = −1 et les propriétés de commutativité, associativité et distributivité déterminent entièrement les
opérations sur C. Nous donnons la définition suivante :
Pour tout réel λ et tout complexe z = (a, b), on peut définir λz par λz = (λa, λb).
Remarque 8.1.3
On identifie un réel λ au complexe (λ, 0). Via cette identification, on peut considérer que R ⊂ C, et on
vérifie facilement que la somme et le produit définis ci-dessus sur C prolongent les lois de R, et que la
multiplication d’un complexe z par un réel λ définie ci-dessus correspond au produit dans C, lorsqu’on
voit le réel λ comme un élément de C.
a− ib
z −1 = .
a2 + b 2
⊳ Éléments de preuve.
Ce sont des vérifications immédiates. ⊲
⊳ Éléments de preuve.
Il faut vérifier la commutativité des opérations, leur associativité, la distributivité du produit sur
la somme, l’existence du neutre additif 0 et du neutre multiplicatif 1, l’existence des opposés −x et
l’inversibilité de tout complexe non nul. Fastidieux mais pas difficile. ⊲
Dans la pratique, un nombre complexe est représenté sous sa forme algébrique a + i b, ou sa forme
trigonométrique que nous rappellerons plus loin. On perd un peu de vue le point de vue initial du couple
(d’ailleurs, on peut introduire C de façon différente). Nous donnons dans la définition suivante la démarche
inverse, permettant de revenir de C à R2 . Cette interprétation est fructueuse pour la geométrie du plan,
pouvant ainsi être étudiée sous l’angle des nombres complexes.
Désormais, nous abandonnons la notation d’un complexe sous forme d’un couple, et nous représenterons
un nombre complexe sous la forme a + i b.
Remarquons que la construction de C à partir de R est un cas particulier d’une construction plus générale
d’ « extensions monogènes d’un corps K », à la base de la théorie de Galois : étant donné une racine x d’une
équation polynomiale P à coefficients dans K, K[x] est l’ensemble de toutes les sommes, produits, quotients
√ √
qu’on peut former à partir des éléments de K et de x. Par exemple Q[ 2] = {(a + b 2), (a, b) ∈ Q2 }, et
√ √ √
Q[ 3 2] = {a + b 3 2 + c( 3 2)2 , (a, b, c) ∈ Q3 } (on peut montrer que tout quotient peut s’exprimer ainsi
aussi).
De ce point de vue, C = R[i].
Nous avons donc défini C comme un corps de rupture sur R du polynôme X 2 + 1, et même un corps
de décomposition, puisqu’on a alors la factorisation suivante : X 2 + 1 = (X + i)(X − i). En fait, cette
propriété est beaucoup plus générale, ainsi que le prouve le théorème suivant, d’une importance capitale :
On démontrera plus tard que ceci implique que tout polynôme à coefficients complexes se factorise en
polynômes de degré 1.
Le théorème de d’Alembert-Gauss se réexprime ainsi : C est algébriquement clos, ce qui signifie qu’il
n’existe pas d’autre nombre algébrique sur C que les nombres complexes eux-mêmes.
Le théorème de d’Alembert-Gauss, restreint aux polynômes à coefficients réels, allié au fait que C est
par définition le plus petit corps dans lequel X 2 + 1 admet une racine, s’exprime en disant que C est la
clôture algébrique de R.
Nous voyons maintenant quelques notions directement liées à la forme algébrique des nombres complexes
118 CHAPITRE 8. LE CORPS C DES COMPLEXES
z = a − i b.
⊳ Éléments de preuve.
Vérifications faciles. Pour l’inverse, utiliser la formule obtenue tantôt. ⊲
I.2 Module
Nous définissons maintenant quelques notions liées à la structure euclidienne de R2 , donc aux propriétés
métriques.
Remarque 8.1.13
Via la correspondance entre C et R2 le module d’un nombre complexe correspond à la norme des
−→
vecteurs. Ainsi, si A est le point d’affixe z et O l’origine, alors |z| = kOAk.
Exemples 8.1.14
1. Décrire l’ensemble des nombres complexes z tels que |z − a| = r, où a ∈ C et r ∈ R∗+ .
2. Même question avec l’inéquation |z − a| 6 r.
⊳ Éléments de preuve.
Le seul point non trivial est l’inégalité triangulaire. Comparer les carrés, en exprimant les modules
à l’aide des conjugués. Se ramener à une comparaison de la partie réelle et du module de z · z ′ . ⊲
On en déduit notamment une méthode pour exprimer sous forme algébrique un quotient de deux com-
plexes donnés sous forme algébrique (pour les autres opérations, cela ne pose aucune difficulté).
II Trigonométrie
II.1 Cercle trigonométrique, formules de trigonométrie
Littéralement, « trigonométrie » signifie « mesure des trois angles », donc se rapporte aux propriétés des
angles d’un triangle. On fait donc ainsi référence aux interprétations géométriques usuelles des fonctions
trigonométriques.
U = {z ∈ C | |z| = 1}.
sin(x)
cos(x) = Re(z), sin(x) = Im(z) et tan(x) = si cos(x) 6= 0.
cos(x)
tan(x)
sin(x)
cos(x) 1
U
|
On retrouve facilement l’interprétation usuelle sur les triangles (définitions données au collège), pour un
angle α ∈]0, π2 [ : si ABC est un triangle rectangle en A, et d’angle en B égal à α, alors :
cos(x)
cotan(x) = .
sin(x)
1
Ainsi, en tout point en lequel à la fois sin(x) 6= 0 et cos(x) 6= 0, on a cotan(x) = tan(x) .
Nous rappelons :
π π π π
0
6 4 3 2
√ √
1 2 3
sin 0 1
2 2 2
√ √
3 2 1
cos 1 0
2 2 2
1 √
tan 0 √ 1 3 −
3
√ 1
cotan − 3 1 √ 0
3
⊳ Éléments de preuve.
Amusez-vous à retouver ces valeurs géométriquement, en vous servant du théorème de Pythagore. ⊲
Nous obtenons les graphes des fonctions trigonomtriques, les variations pouvant être obtenues par des
considérations purement géométriques (voir figure 8.2).
Et voici les inévitables formules à retenir...
x 7→ cos(x) 1 x 7→ sin(x)
|
3π
−π − π2 2
| | | | | | | | | | | | |
− 3π
π π
2 2
|
−1
|
x 7→ tan(x)
|
|
1
|
| | | | | | | | | | | | |
− 3π −π − π2 π π 3π
2 2 2
−1
|
|
|
|
⊳ Éléments de preuve.
C’est juste dire que cos(x) + i sin(x) est sur le cercle... ⊲
⊳ Éléments de preuve.
π
(ii) découle de (i) en considérant −b, (iii) découle de (i) en considérant sin 2 + a + b , et (iv) découle
de (iii). (v), (vi) et (vii) en découlent par quotient et simplifications.
On peut montrer (i) géométriquement par projections signées. Cela revient à considérer des produits
scalaires, mais ce point de vue anticiperait un peu trop les derniers chapitres de l’année. ⊲
⊳ Éléments de preuve.
Appliquer ce qui précède avec a = b. ⊲
⊳ Éléments de preuve.
Utiliser (ii) de la proposition précédente. ⊲
⊳ Éléments de preuve.
Sommer ou soustraire 2 par 2 les formules d’addition. ⊲
p+q p−q
(iii) cos(p) + cos(q) = 2 cos cos
2 2
p+q p−q
(iv) cos(p) − cos(q) = −2 sin sin
2 2
⊳ Éléments de preuve.
Changement de variable dans les formules de développement. ⊲
⊳ Éléments de preuve.
1
Utiliser la formule de duplication de l’angle et le fait que cos2 (y) = 1 + tan2 (y). ⊲
a b
a cos(x) + b sin(x) = cos(x − ϕ), où tan(ϕ) = .
cos ϕ a
⊳ Éléments de preuve.
Utilisation facile de la formule d’addition. ⊲
a
En physique, est appelé amplitude et ϕ est appelé la phase.
cos(ϕ)
∀θ ∈ R, ei θ = cos θ + i sin θ.
Proposition 8.2.18
La fonction θ 7→ ei θ est surjective de R sur U. Plus précisément, c’est une bijection de tout intervalle
]α, α + 2π] sur U, ainsi que de tout intervalle [α, α + 2π[ sur U.
⊳ Éléments de preuve.
La surjectivité provient de la définition-même de cosinus et sinus comme projetés d’un point du cercle.
L’injectivité modulo 2π provient de la résolution des équations cos(θ) = a, sin(θ) = b, provenant des
variations de ces fonctions. ⊲
II Trigonométrie 125
Corollaire 8.2.19
La fonction de R∗+ ×] − π, π] sur C∗ définie par (r, θ) 7→ rei θ est bijective.
⊳ Éléments de preuve.
Le rapport de l’un à l’autre se fait par les formules d’addition. ⊲
Remarque 8.2.23
Cette formule synthétise les formules d’addition. Si vous les avez oubliées, vous les retrouvez facilement
en considérant la partie réelle ou la partie imaginaire de l’égalité ci-dessus.
⊳ Éléments de preuve.
Récurrence triviale à partir du théorème précédent. ⊲
L’utilisation des exponentielles complexes permet de simplifier un certain nombre de calculs liés à la
trigonométrie. Nous présentons ci-dessous quelques méthodes à connaître.
126 CHAPITRE 8. LE CORPS C DES COMPLEXES
Remarquez que c’est une façon commode de retenir ou retrouver les formules de factorisation des fonctions
trigonométriques (transformation d’une somme en produit).
Exemple 8.2.27
Factoriser 1 + ei a .
Exemple 8.2.29
1. Linéariser cos4 (x)
Z π
2. Linéariser sin6 (x). En déduire sin6 (x) dx.
0
Z π
3. Proposer plus efficace pour le calcul de sin5 (x) dx
0
Remarque 8.2.31
Les polynômes obtenus ainsi s’appelle polynômes de Tchébychev, de première espèce pour les cosinus,
et de seconde espèce pour les sinus. On peut définir ces polynômes par récurrence et redémontrer
directement à l’aide de ces relations de récurrence et des formules de trigonométrie le fait qu’ils assurent
la délinéarisation de cos(nθ) et sin(nθ). La méthode ci-dessus permet alors d’obtenir une expression
explicite de ces polynômes.
II Trigonométrie 127
Nous terminons ce paragraphe par une présentation rapide de l’exponentielle complexe générale.
Si z est réel ou imaginaire pur, on retrouve respectivement l’exponentielle réelle et l’exponentielle définie
sur les imaginaires purs.
De façon immédiate, on a les résultats suivants :
Nous verrons plus tard que cet ensemble Un possède une structure de groupe (notion définie plus tard).
⊳ Éléments de preuve.
Les racines de 1 sont de module 1. On peut donc les rechercher sous la forme ei θ . Résoudre ei nθ = 1.
⊲
Ces racines se répartissent de façon régulière sur le cercle trigonométrique, de façon à former les sommets
d’un polygône régulier à n côtés (figure 8.3)
4iπ
e 7
2iπ
e 7
6iπ
e 7
0iπ
1=e 7
8iπ
e 7
12 i π
e 7
10 i π
e 7
ξk = z0 ω, ω ∈ Un ,
(iii) Ainsi, pour z = rei θ , on obtient la description explicite des racines n-ièmes :
√
r · ei ( ) , k ∈ [[0, n − 1]].
θ+2kπ
ξk = n n
⊳ Éléments de preuve.
De même, rechercher les racines sous la forme ρei ϕ . ⊲
+
z
z0
| | | |
p
1 7
|z|
|
Proposition 8.3.4
P
n−1
Soit ω ∈ Un . Alors ω i = 0.
i=0
⊳ Éléments de preuve.
Formule de sommation des suites géométriques. ⊲
En particulier, puisque pour tout k ∈ [[0, n]], ωk = ω1k , on obtient :
Remarque 8.3.7
Ce résultat est un cas particulier des relations entre coefficients et racines d’un polynôme.
⊳ Éléments de preuve.
Le point (ii) provient de jj = 1 ⊲
On peut également décrire les racines 6-ièmes de 1 à l’aide de j
Dans le cas particulier des racines carrées, on dispose également d’une méthode permettant d’obtenir
facilement l’expression algébrique des racines carrées de z lorsque z est donné lui-même sous forme
algébrique.
On peut aussi s’en sortir sans utiliser l’égalité des modules, en constatant que l’étape 2 donne la valeur de
la somme et du produit de c2 et −d2 , donc une équation du second degré dont ces réels sont les solutions.
IV Nombres complexes et géométrie 131
Exemple 8.3.12
1. Rechercher les racines carrées de 3 + 5 i.
2. Trouver les solutions de l’équation du second degré : (2 + i)z 2 − i z + 1 = 0
La méthode de résolution ci-dessus montre que les racines (réelles ou complexes) d’un polynôme de degré
2 peuvent être exprimées à l’aide de radicaux (i.e. les parties réelles et imaginaires peuvent être exprimées
à l’aide des 4 opérations usuelles à partir des nombres rationnels, des coefficients de l’équation, et des
fonctions « racine » définies sur R+ , ici la racine carrée).
⊳ Éléments de preuve.
Expliciter zu zv . ⊲
⊳ Éléments de preuve.
1. Sauf dans le cas trivial où v = 0, cela équivaut à dire que zzuv est réel.
−→ −−→
2. A, B et C sont alignés si et seulement si AC et BC sont colinéaires.
3. C’est la définition (via le produit scalaire) de l’orthogonalité.
Remarque 8.4.6
Si −
→v est non nul, il est parfois plus commode de caractériser la colinéarité par le fait que zu
zv est réel,
et l’orthogonalité par le fait que zzuv est imaginaire.
b−a
Proposition 8.4.7 (interprétation géométrique de c−a
.)
Soit a, b et c trois complexes, et A, B et C les points de R2 d’affixe a, b et c. Alors
b−a −→ −−→
arg = (AC, AB)
c−a
⊳ Éléments de preuve.
L’écrire en notation trigonométrique. ⊲
⊳ Éléments de preuve.
Si on note M le point d’affixe z et M ′ le point d’affixe ϕ(z), en vertu des réultats précédents :
−−−→ →
1. M M ′ = −u;
2. kAM ′ k = kAM k, et l’angle entre les deux vecteurs est l’argument du quotient des affixes ;
−−→ −−→
3. AM ′ = λAM ;
4. Si θ est l’argument de zu , faire une rotation d’angle −θ nous ramène à une symétrie d’axe
−→
horizontal, et si on translate encore de −OA cette symétrie correspond à la conjugaison. Quelle
′
z − zA z − zA
relation cela donne-t-il entre et ?
zu zu
⊲
Remarquez dans le 4 qu’on a supposé que − →
u est unitaire, donc que zu est de la forme ei θ . Ainsi, la
multiplication par zu correspond à une rotation qui nous ramène à un axe horizontal. Si cet axe passe
par 0, la symétrie correspond alors à la conjugaison (ce qui fait partir la barre du coefficient multiplicatif
zu ).
Attention, le caractère unitaire de −
→
u est important ici.
On montre que réciproquement une application de ce type correspond à une transformation usuelle, ou
une composée de transformations usuelles du plan :
⊳ Éléments de preuve.
Méthode 8.4.11
Il faut savoir retrouver, sur des formes explicites, les points A, vecteurs u etc., en utilisant la démarche
suggérée dans la démonstration.
En particulier, cette représentation des transformations usuelles du plan est efficace pour exprimer des
composées :
⊳ Éléments de preuve.
Récurrence sur n. ⊲
Les rotations, translations et symétries étant des isométries, et les homothéties des similitudes, il vient
de l’étude précédente et des propriétés de composition que :
⊳ Éléments de preuve.
Fixer un z0 non réel. En utilisant le fait que les triangles définis par 0, 1, z0 et 0, a, ϕ(z0 ), sont
semblables, en déduire que ϕ(z0 ) = az0 ou ϕ(z0 ) = az0 . Conclure en faisant de même pour z
quelconque et en considérant aussi la distance de ϕ(z) à ϕ(z0 ). ⊲
Ainsi, on peut de façon naturelle classer les isométries et les similitudes en deux catégories :
En remarquant que ϕ est une similitude affine ssi ϕ − ϕ(0) est une similitude vectorielle, on obtient alors :
On définit de même que dans le cas vectoriel les isométries et similitudes affines directes et indirectes.
Exemple 8.4.20
À quelles isométries correspondent les applications z 7→ z et z 7→ i z ?
⊳ Éléments de preuve.
−−→ −−→
Exprimer la colinéarité de AM et AB. ⊲
z · z + αz + α · z + β = 0.
L’ensemble C est dans ce cas non vide si et seulement si β 6 αα et dans ce cas, son centre est le point
√
d’affixe −α et son rayon est r = αα − β.
⊳ Éléments de preuve.
Écrire cette équation sous la forme (z + a)(z + α) = ρ. ⊲
Méthode 8.4.23
Il est inutile de retenir l’expression de l’affixe du centre et du rayon. Il faut en revanche être capable
de les retrouver rapidement en faisant la factorisation précédente.