Universit Joseph Fourier, Grenoble

Maths en Ligne

Langage mathmatique
Eric Dumas, Emmanuel Peyre et Bernard Ycart
Ce chapitre vous explique la rgle du jeu mathmatique. Rien nest vraiment nouveau ni compliqu. Pour donner des exemples dnoncs, nous ferons appel quelques
notions de base sur les nombres entiers, que vous connaissez depuis longtemps.

Table des matires

1 Cours
1.1 Assertions . . .
1.2 Ensembles . . .
1.3 Quantificateurs
1.4 Applications . .
1.5 Cardinaux . . .
1.6 Relations . . . .
1.7 Raisonnements

.
.
.
.
.
.
.

2 Entranement
2.1 Vrai ou faux . . .
2.2 Exercices . . . . .
2.3 QCM . . . . . . .
2.4 Devoir . . . . . .
2.5 Corrig du devoir

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

3 Complments
3.1 La quantification des prdicats . . . .
3.2 Ces longues chanes de raisons . . . .
3.3 Le Docteur Illumin . . . . . . . . .
3.4 Ramener linfini au fini . . . . . . . .
3.5 Lettres une Princesse dAllemagne .
3.6 Froid dans le dos . . . . . . . . . . .
3.7 Le rve de Hilbert . . . . . . . . . . .
3.8 La langue universelle de Peano . . . .
3.9 Les cardinaux infinis . . . . . . . . .
3.10 Ensembles quotients . . . . . . . . .
3.11 Dmonstrations non constructives . .
3.12 Lensemble de tous les ensembles . .

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

29 aot 2013

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

1
1
6
10
11
14
19
23

.
.
.
.
.

27
27
32
42
44
47

.
.
.
.
.
.
.
.
.
.
.
.

52
52
54
55
57
58
59
61
62
64
65
67
67

Langage mathmatique

Maths en Ligne

1
1.1

UJF Grenoble

Cours
Assertions

On peut voir le langage mathmatique comme un jeu de construction, dont le

but est de fabriquer des noncs vrais. La rgle de base de ce jeu est quun nonc
mathmatique ne peut tre que vrai ou faux. Il ne peut pas tre presque vrai ou
moiti faux . Une des contraintes sera donc dviter toute ambigut et chaque
mot devra avoir un sens mathmatique prcis.
Selon le cas, un nonc mathmatique pourra porter des noms diffrents.
assertion : cest le terme que nous utiliserons le plus souvent pour dsigner une
affirmation dont on peut dire si elle est vraie ou fausse.
thorme : cest un rsultat important, dont on dmontre ou on admet quil est
vrai, et qui doit tre connu par cur.
proposition : nous utiliserons ce terme pour dsigner un rsultat dmontr, moins
important quun thorme.
lemme : cest un rsultat dmontr, qui constitue une tape dans la dmonstration
dun thorme.
corollaire : cest une consquence facile dun thorme ou dune proposition.
Dans ce cours les dmonstrations se terminent par un carr blanc, plutt que par le
clbre CQFD ( ce quil fallait dmontrer ). Pour crire formellement des noncs
mathmatiques, on utilise des lettres reprsentant des concepts (nombres, ensembles,
fonctions, vecteurs, matrices, polynmes. . . ) avec des symboles logiques et des relations.
Le but de ce chapitre tant dillustrer la manipulation du langage, il ne comportera
aucune difficult mathmatique. Nous en resterons des noncs trs simples, que lon
prendra soin de toujours traduire en langage courant pour bien les comprendre. Dans ce
qui suit les lettres m et n dsignent des entiers naturels (0, 1, 2, . . .). Nous nutiliserons
que les symboles de comparaison (<, >, 6, >) et de divisibilit ( | ). Rappelons que
m | n ( m divise n ) si n est gal au produit km pour un certain entier k.
n<5
n>3
n | 12
2|n

lentier
lentier
lentier
lentier

n
n
n
n

est strictement infrieur 5

est suprieur ou gal 3
divise 12
est divisible par 2 (il est pair)

Pour combiner entre elles des assertions, on utilise les connecteurs de base suivants :
la ngation ( non ), note
la conjonction ( et ), note
la disjonction ( ou ), note .
Le tableau suivant est une table de vrit. Il dcrit leffet des connecteurs sur deux
assertions A et B, selon quelles sont vraies (V ) ou fausses (F ), en disant dans chacun

Langage mathmatique

Maths en Ligne

UJF Grenoble

des 4 cas si lassertion compose est elle-mme vraie ou fausse.

ngation conjonction disjonction
non
et
ou
A B
A
AB
AB
V V
F
V
V
V F
F
F
V
F V
V
F
V
F F
V
F
F
Le ou est toujours inclusif : A ou B signifie que lune au moins des deux assertions
est vraie (peut-tre les deux). Par opposition, le ou exclusif est vrai quand lune
des deux assertions est vraie mais pas les deux. Voici quelques assertions composes et
leur traduction.
(n < 5)
(n < 5) (2 | n)
(2 | n) (3 | n)

lentier n nest pas strictement infrieur 5.

lentier n est strictement infrieur 5 et divisible par 2.
lentier n est divisible par 2 ou par 3.

Observez lusage des parenthses qui permettent disoler des assertions simples au sein
dune assertion compose.
partir des connecteurs de base, on en fabrique dautres, dont les plus importants
sont limplication et lquivalence. Par dfinition, limplication A = B est vraie soit
si A est fausse soit si A et B sont vraies toutes les deux. Lcriture A = B est donc
une notation pour
(A) B ( non A ou B ). Lquivalence A B est une double

implication :

(A = B) (B = A)

( A implique B et B implique A ). Voici

les tables de vrit des implications et de lquivalence entre deux assertions A et B.

Constatez que lquivalence A B est vraie quand A et B sont toutes les deux
vraies, ou bien toutes les deux fausses.
A
V
V
F
F

B A = B B = A A B
V
V
V
V
F
F
V
F
V
V
F
F
F
V
V
V

Limplication et lquivalence sont les outils de base du raisonnement mathmatique.

Il est essentiel de bien les assimiler, et de comprendre toutes leurs formulations.

Langage mathmatique

Maths en Ligne

UJF Grenoble

A = B
A implique B
A entrane B
si A est vrai alors B est vrai
B est vrai si A est vrai
A est vrai seulement si B est vrai
pour que B soit vrai il suffit que A le soit
A est une condition suffisante pour B
pour que A soit vrai il faut que B le soit
B est une condition ncessaire pour A
Pour bien comprendre limplication, reprenez chacune des formulations en remplaant
A par n > 3 et B par n > 2 .
A B
A est quivalent B
A quivaut B
A entrane B et rciproquement
si A est vrai alors B est vrai et rciproquement
A est vrai si et seulement si B est vrai
pour que A soit vrai il faut et il suffit que B le soit
A est une condition ncessaire et suffisante pour B
Pour bien comprendre lquivalence, reprenez chacune des formulations en remplaant
A par n > 3 et B par n > 2 .
Les principales proprits des connecteurs sont rsumes dans le thorme suivant.
Thorme 1. Soient A, B et C trois assertions. Les quivalences suivantes sont toujours vraies.
Commutativit :




A B B A .
(1)
A et B quivaut B et A .


A B B A .

(2)

A ou B quivaut B ou A .
Associativit :




A (B C) (A B) C .

(3)

A et (B et C) quivaut (A et B) et C .


A (B C) (A B) C .

A ou (B ou C) quivaut (A ou B) ou C .
3

(4)

Langage mathmatique

Maths en Ligne

UJF Grenoble

Distributivit :


A (B C) (A B) (A C) .

(5)

A et (B ou C) quivaut (A et B) ou (A et C) .


A (B C) (A B) (A C) .

A ou (B et C) quivaut (A ou B) et (A ou C) .
Ngations :


(A) A .

(6)

(7)

non (non A) quivaut A .



(A B) (A) (B) .

(8)

non (A ou B) quivaut (non A) et (non B) .



(A B) (A) (B) .

(9)

non (A et B) quivaut (non A) ou (non B) .

Il est conseill de remplacer A, B et C par des assertions sur les nombres entiers
pour bien comprendre les noncs de ce thorme (par exemple A par (n 6 6), B par
(2 | n), C par (3 | n)).
Dmonstration : Pour dmontrer lquivalence de deux assertions, nous navons pas
dautre moyen pour linstant que de vrifier que leurs tables de vrit concident : les
deux assertions sont quivalentes si elles sont toujours soit toutes les deux vraies soit
toutes les deux fausses. Voici la vrification pour (5).
A (B C) (A B) (A C) .
Lquivalence est vraie car dans la table ci-dessous, les colonnes correspondant aux
deux assertions sont identiques.
A
V
V
V
V
F
F
F
F

B
V
V
F
F
V
V
F
F

C (B C) A (B C) (A B) (A C) (A B) (A C)
V
V
V
V
V
V
F
V
V
V
F
V
V
V
V
F
V
V
F
F
F
F
F
F
V
V
F
F
F
F
F
V
F
F
F
F
V
V
F
F
F
F
F
F
F
F
F
F
4

Langage mathmatique

Maths en Ligne

UJF Grenoble

Nous laissons au lecteur le soin de vrifier de mme chacune des autres quivalences. 
Rares sont les dmonstrations mathmatiques qui utilisent explicitement les tables
de vrit. Une dmonstration typique est un enchanement dimplications ou dquivalences, partant des hypothses pour aboutir la conclusion. Ces enchanements utilisent
la transitivit de limplication et de lquivalence.
Proposition 1. Soient A, B et C trois assertions. Lnonc suivant est toujours vrai.


(A = B) (B = C)

= (A = C) .

(10)

Si A implique B et B implique C, alors A implique C.

On en dduit facilement la transitivit de lquivalence :
Corollaire 1. Soient A, B et C des assertions, lnonc suivant est toujours vrai.


(A B) (B C)

= (A C) .

Si A quivaut B et B quivaut C, alors A quivaut C.

Dmonstration : Nous utilisons (une dernire fois) les tables de vrit, pour vrifier
que quelles que soient les valeurs de vrit de A, B et C, limplication (10) est vraie.
Notons
I1 lassertion A = B,
I2 lassertion B = C,
I3 lassertion A = C.
A
V
V
V
V
F
F
F
F

B
V
V
F
F
V
V
F
F

C
V
F
V
F
V
F
V
F

I1
V
V
F
F
V
V
V
V

I2 I1 I2
V
V
F
F
V
F
V
F
V
V
F
F
V
V
V
V

I3 (I1 I2 ) = I3
V
V
F
V
V
V
F
V
V
V
V
V
V
V
V
V


Nous utiliserons des enchanements dquivalences pour dmontrer le rsultat suivant, qui dcrit le comportement de limplication par rapport la ngation.
Proposition 2. Soient A et B deux assertions. Les quivalences suivantes sont toujours vraies.

Langage mathmatique

Maths en Ligne

1.

(A = B)

UJF Grenoble

A (B) .

(11)

Limplication A = B est fausse si et seulement si A est vrai et B est faux .

2.

A = B

B = A .

(12)

A implique B est quivalent non B implique non A .

Dmonstration : Nous pourrions dmontrer ces quivalences directement laide des
tables de vrit (nous conseillons au lecteur de le faire). Nous allons plutt les dduire
du thorme 1. Voici la dmonstration de la premire quivalence.
(A = B) ((A) B) par dfinition de limplication
(A) B par (8)
A B
par (7).
Voici la dmonstration de la seconde quivalence.


A = B





(A) B

par dfinition de limplication



(A) ((B))

par (7)

((B)) (A)

par (2)

(B) = (A)

par dfinition de limplication.



Lquivalence (11) est la mthode habituelle que lon utilise pour dmontrer quune
implication est fausse : il suffit dexhiber une situation o A est vraie et B fausse pour
infirmer limplication A = B. Par exemple, limplication (n 6 3) = (n | 3) est
fausse, car on peut trouver un entier n tel que (n 6 3) soit vrai et (n|3) soit faux : 2 est
infrieur ou gal 3 mais ne divise pas 3. On appelle cela trouver un contre-exemple .
Lquivalence (12) est aussi une technique de dmonstration classique. Limplication
(B) = (A) ( non B implique non A ) sappelle la contrapose de limplication
A = B. Par exemple, la contrapose de (n > 3) = (n > 2) est (n 6 2) =
(n 6 3) . Il est parfois plus facile pour dmontrer une implication de dmontrer sa
contrapose, nous y reviendrons.

1.2

Ensembles

Un ensemble peut tre vu comme une collection dobjets mathmatiques, appels

lments, comme lensemble N des entiers naturels. Contentez-vous pour linstant de
lide intuitive dun paquet dlments possdant une proprit commune, sur lequel on
6

Langage mathmatique

Maths en Ligne

UJF Grenoble

a mis une tiquette rappelant cette proprit. Un ensemble nest bien dfini que si on
peut dire sans ambigut si un lment appartient ou non lensemble. Les sommets
des Alpes ne forment pas un ensemble (comment dcider quun endroit particulier est
un sommet ?). Par contre lensemble des sommets cots sur une carte donne est bien
dfini. Deux ensembles sont gaux si et seulement si ils contiennent les mmes lments.
Le fait quun lment x appartienne un ensemble A se note x A, et son contraire

/
x
/ A ( x nappartient pas A ). Par exemple 2 N (2 appartient N) et 2
N (racine de 2 nappartient pas N). Certains ensembles souvent utiliss ont une
notation propre, comme lensemble N des entiers naturels, lensemble R des nombres
rels, lensemble C des nombres complexes. Pour les autres, on utilise une dfinition,
que lon crit entre accolades pour dire quil sagit de lensemble des lments vrifiant
cette dfinition. On peut crire un ensemble en extension, en donnant la liste de ses
lments. Voici deux dfinitions de lensemble des entiers naturels strictement infrieurs
5.
{ n N ; n < 5 } = { 0, 1, 2, 3, 4 } .
Cet nonc se lit ensemble des n appartenant N tels que n < 5 ou ensemble des
entiers strictement infrieurs 5 . Voici deux dfinitions de lensemble des diviseurs
de 12.
{ n N ; n | 12 } = { 1, 2, 3, 4, 6, 12 } .
On peut aussi dfinir des ensembles en extension par une liste infinie. Le plus souvent,
celle-ci se dduit de N. Par exemple lensemble des entiers suprieurs ou gaux 5 :
{n N ;

n > 5} = {n + 5 ;

n N} ,

et lensemble des entiers pairs :

{n N ;

2 | n } = { 2n ;

n N} ,

Les ensembles que nous dfinirons seront des sous-ensembles ou parties dun ensemble
plus grand (comme lensemble des entiers N dans les exemples prcdents).
Dfinition 1. On dit quun ensemble A est un sous-ensemble ou une partie dun
ensemble E si tout lment de A est aussi lment de E.
Si A et E sont deux ensembles, on note E \ A lensemble form des lments de E
qui ne sont pas dans A.
E \ A = { x E ; x 6 A } .
Lorsque A est un sous-ensemble de E, on dit que E \ A est le complmentaire de A
dans E. On le note aussi cA lorquil ny a pas dambigut.
Si E est lensemble de rfrence (lensemble des entiers dans nos exemples), lensemble des parties de E se note P(E). Il contient toujours E lui-mme, ainsi que
lensemble vide, not . Si A est un sous-ensemble (une partie) de E, on dit aussi que
A est inclus dans E, et on note A E. On note aussi E A pour E contient A .
7

Langage mathmatique

Maths en Ligne

UJF Grenoble

Voici lcriture en extension de P({0, 1, 2}), qui est lensemble des parties de lensemble
trois lments {0, 1, 2}.
P({0, 1, 2}) =

, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}

Un ensemble qui ne contient quun seul lment, comme {0}, est un singleton. Lensemble P({0, 1, 2}) contient 8 lments, dont chacun est lui-mme un ensemble.
Il est frquent (et souvent utile) de passer dun ensemble A lassertion x A (vraie
ou fausse). Les connecteurs logiques entre assertions ( non , et , ou ) se traduisent par des oprations ensemblistes : complmentaire, intersection, runion. Nous
utiliserons cette correspondance comme dfinition des oprations ensemblistes.
ensembles
A, B
complmentaire
c
A
intersection ( inter )

assertions
(x A), (x B)
ngation ( non )
x cA (x A) x
/A
conjonction
 ( et )

(x A B) (x A) (x B)

AB
runion ( union )

disjonction
 ( ou )

AB

(x A B) (x A) (x B)

Au travers de ce dictionnaire limplication

(x A) = (x B), soit ((x A)) (x B) ,
devient x (cA B). Elle est toujours vraie si et seulement si le complmentaire de
(cA B), est vide, cest--dire si A est inclus dans B. Les proprits (x A) et (x B)
sont quivalentes si les deux inclusions A B et B A sont vraies, cest--dire si les
deux ensembles contiennent les mmes lments. On dit quils sont gaux, et on note
simplement A = B. Pour dmontrer que deux ensembles sont gaux, on doit montrer
que chacun est inclus dans lautre (tout comme pour dmontrer une quivalence, on
doit montrer les deux implications).
On dduit du thorme 1 les proprits suivantes des oprations ensemblistes. Les
dmonstrations constituent un bon exercice de traduction, que nous laissons au lecteur.
Nous conseillons aussi de remplacer A par {n N ; n 6 6}, B par {n N ; 2 | n} et C
par {n N ; 3 | n} et dcrire en extension tous les ensembles du thorme.
Thorme 2. Soient A, B et C trois ensembles. Les galits ensemblistes suivantes
sont toujours vraies.
Commutativit :




AB = BA .
(13)


AB = BA .
8

(14)

Langage mathmatique

Maths en Ligne

Associativit :

UJF Grenoble

A (B C) = (A B) C .

(15)

A (B C) = (A B) C .

Distributivit :




(16)


A (B C) = (A B) (A C) .


(17)

A (B C) = (A B) (A C) .

(18)

Complmentaires : soient A et B des parties dun ensemble E. Alors :

E \ (E \ A) = A ,

(19)

E \ (A B) = (E \ A) (E \ B) ,

(20)

E \ (A B) = (E \ A) (E \ B) .

(21)

Nous nous placerons toujours dans le cas o tous les ensembles considrs sont
des parties dun ensemble de rfrence E. Le complmentaire dune partie A est alors
implicitement dfini comme lensemble des lments de E qui nappartiennent pas A.
Moyennant cette convention, le rsultat dune opration ensembliste quelconque sur des
parties de E est encore une partie de E. Il est commode de visualiser E par un rectangle
et les sous-ensembles de E par des patates hachures dessines dans ce rectangle.
Le rsultat sappelle un diagramme de Venn, plutt quun sac de patates (figure 1).
Nous conseillons au lecteur de visualiser les galits ensemblistes du thorme 2 sur
des diagrammes de Venn.
complmentaire

intersection

E

A

B

runion

Figure 1 Diagrammes de Venn pour le complmentaire, lintersection et la runion.

Il existe dautres manires utiles de combiner des ensembles entre eux pour en
former de nouveaux. Nous utiliserons plusieurs fois le produit cartsien.
Dfinition 2. Soient A et B deux ensembles. On appelle produit cartsien de A par
B et on note A B lensemble des couples forms dun lment de A et un de B.
A B = { (a, b) ;

a A et b B } .
9

Langage mathmatique

Maths en Ligne

UJF Grenoble

Le produit cartsien de A par lui-mme se note A2 . On le gnralise plus de deux

copies de A en dfinissant An comme lensemble des n-uplets forms dlments de A.
An = { (a1 , . . . , an ) , (a1 A) . . . (an A) } .
Attention, dans un n-uplet, certaines coordonnes peuvent tre identiques et lordre
est important. Par exemple, si a et b sont deux lments distincts de A, les triplets
(a, b, a) et (a, a, b) sont des lments distincts de A3 .

1.3

Quantificateurs

Les quantificateurs sont les deux symboles quel que soit et il existe . On
les utilise pour des noncs du type :
n N , m N ;

n<m.

(22)

Cette formule se lit : quel que soit n appartenant N, il existe m appartenant N tel
que n < m. Soit encore : pour tout entier n, il existe un entier m strictement plus grand
que n. Il est crucial de retenir que dans ce cas lentier m peut dpendre de lentier n.
Cette assertion est vraie : pour tout n, le nombre m = n + 1 vrifie bien n < m.
Lordre dans lequel on crit les quantificateurs est trs important. Echangeons dans
(22) les deux quantificateurs.
m N ;

n N ,

n<m.

Cette assertion se lit : il existe un entier m tel que tout entier n vrifie n < m (ce qui
est faux).
Pour crire la ngation dune assertion comportant des quantificateurs on change
les en et les en , puis on crit la ngation de lassertion qui suit la liste des
quantificateurs. Ceci est tout fait conforme lintuition. La ngation de tout les x
vrifient A est bien il existe un x qui ne vrifie pas A . La ngation de il existe
un x qui vrifie A est bien aucun x ne vrifie A soit encore tous les x vrifient
A . Ecrivons par exemple la ngation de lassertion (22).
n N ;

m N , (n > m) .

Il existe un entier n suprieur ou gal tout entier m (ce qui est faux).
Attention, les quantificateurs ne sont pas toujours distributifs par rapport et et
ou . Par exemple, il existe un entier suprieur 7 et infrieur 6 (faux) nest
pas quivalent il existe un entier suprieur 7 et il existe un entier infrieur
6 (vrai). De mme tout entier est infrieur ou gal 6, ou bien suprieur ou gal
7 (vrai) nest pas quivalent tout entier est infrieur ou gal 6 ou tout entier
est suprieur ou gal 7 (faux).

10

Langage mathmatique

Maths en Ligne

UJF Grenoble

Nous commettrons souvent labus de notation consistant regrouper des quantificateurs de mme nature. Par exemple :
n N , m N ,

m+nN,

que lon pourrait aussi crire

(n, m) N2 ,

m+nN,

sera plutt crit :

n, m N ,

m+nN.

(La somme de deux entiers naturels est un entier naturel.)

Ou encore,
n N , m N ;

n + m < 10 ,

deviendra :
n, m N ;

n + m < 10 .

(Il existe deux entiers dont la somme est infrieure 10.)

Constatez en la lisant haute voix que la formule suivante dfinit bien la divisibilit.
m, n N , (m | n)

1.4

k N ;

n = km

Applications

Les fonctions et les applications sont des correspondances entre ensembles. Pour
dfinir une fonction f , il faut dabord un ensemble de dpart E (la source) et un
ensemble darrive F (le but). Il faut ensuite un sous-ensemble du produit cartsien
de E F , cest--dire un ensemble de couples (x, y) o x E et y F . Lensemble
sappelle le graphe de la fonction. La rgle de base est quun lment de E ne peut pas
correspondre deux lments de F . Ceci scrit :


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

= y = z .

La donne de lensemble de dpart, de lensemble darrive et du graphe dfinit la

fonction f . Si (x, y) , on dit que y est limage de x : y = f (x). La notation standard
pour une fonction est la suivante.
f
E F
x 7 f (x)
Elle se lit fonction f de E vers F qui x associe f (x) .
11

Maths en Ligne

Langage mathmatique

UJF Grenoble

On utilise le plus souvent fonction et application comme des synonymes. En toute

rigueur une application est une fonction telle que tout lment de lensemble de dpart
admet une image (et une seule). Pour une fonction, le sous-ensemble de lensemble de
dpart form des lments qui ont effectivement une image sappelle le domaine de
dfinition. Dans ce chapitre, nous nous limiterons aux applications.
Dfinition 3. Soient E et F deux ensembles et f une application de E dans F .
1. Soit A un sous-ensemble de E. On appelle image de A par f et on note f (A)
lensemble des images des lments de A.
f (A) = { y F ;

x A , f (x) = y } .

2. Soit B un sous-ensemble de F . On appelle image rciproque de B par f et on

note f 1 (B) lensemble des lments de E dont limage appartient B.
f 1 (B) = { x E ;

f (x) B } .

Attention la notation f 1 : elle ne signifie pas que f est inverse. Cest une
convention pour dsigner un sous-ensemble de lespace de dpart. Un lment x de E
tel que f (x) = y sappelle un antcdent de y. Daprs la dfinition 3, lensemble des
antcdents de y est f 1 ({y}).
Soit E = {0, 1, 2, 3} et F = {0, 1, 2}. Considrons lapplication qui un nombre
associe le reste de sa division euclidienne par 2 : 0 sil est pair, 1 sil est impair. Le
graphe de cette application est :
= { (0, 0), (1, 1), (2, 0), (3, 1) } .
Il est parfois commode de reprsenter un graphe par un ensemble de flches entre
deux diagrammes de Venn (figure 2). Limage de {0, 2} est le singleton {0}. Limage
rciproque de {1} est {1, 3}. Limage rciproque de {2} est lensemble vide.
Soient E, F , et G trois ensembles, f une application de E vers F et g une application
de F vers G. On dfinit la compose de f par g , note g f , comme lapplication de
E vers G qui x associe g f (x) = g(f (x)). Attention lordre des applications dans
lcriture g f : cest lordre inverse des flches dans le schma ci-dessous.
f
g
E F
G
x 7 f (x) 7 g f (x) = g(f (x)) .
Dfinition 4. Soient E et F deux ensembles et f une application de E vers F . On dit
que f est :
1. injective si tout lment de lensemble darrive possde au plus un antcdent
dans lensemble de dpart.
x1 , x2 E ,

f (x1 ) = f (x2 )
12

= x1 = x2 .

Langage mathmatique

Maths en Ligne

UJF Grenoble



















Figure 2 Reprsentation graphique dune application de {0, 1, 2, 3} vers {0, 1, 2}.

2. surjective si tout lment de lensemble darrive possde au moins un antcdent
dans lensemble de dpart.
y F , x E ;

f (x) = y .

3. bijective si tout lment de lensemble darrive possde exactement un antcdent dans lensemble de dpart.
Une application bijective, ou bijection, est donc la fois injective et surjective (voir
figure 3).
injection

bijection

surjection



































































Figure 3 Reprsentations graphiques dune injection, dune surjection et dune bijection.

Voici comment les applications injectives, surjectives et bijectives se comportent
vis--vis de la composition. La dmonstration de cette assertion est laisse au lecteur
titre dexercice.
Proposition 3. Soient E, F , et G trois ensembles, f une application de E vers F et
g une application de F vers G.
13

Langage mathmatique

Maths en Ligne

1.
2.
3.
4.
5.

Si
Si
Si
Si
Si

UJF Grenoble

f et g sont injectives alors g f est injective.

f et g sont surjectives alors g f est surjective.
f et g sont bijectives alors g f est bijective.
g f est injective alors f est injective.
g f est surjective alors g est surjective.

Si une application de E vers F est bijective, tout lment de F a un antcdent et

un seul. On peut alors dfinir lapplication rciproque de f , note f 1 :
f (x) = y x = f 1 (y) .
Si f est bijective, la compose de f par son application rciproque f 1 est lapplication qui x associe x, de E vers E. On lappelle application identique, ou identit.
f
f 1
E F
E
x 7 f (x) 7 f 1 f (x) = f 1 (f (x)) = x .
Les notations pour lapplication rciproque et pour limage rciproque dune partie de
lensemble darrive F sont lies par la relation :
f 1 ({y}) = {f 1 (y)} .
On prendra garde au fait que si limage rciproque dune partie est dfinie pour toute
application, lapplication rciproque, quant elle, nest dfinie que pour une application
bijective.

1.5

Cardinaux

Nous allons utiliser la notion de bijection pour dfinir le cardinal dun ensemble fini.
Intuitivement, deux ensembles ont le mme nombre dlments si et seulement si on
peut dfinir une bijection entre ces ensembles. Les dfinitions qui suivent formalisent
cette intuition.
Dfinition 5. Soient E et F des ensembles. On dit que E et F ont le mme cardinal
sil existe une bijection de E sur F .
Soient E un ensemble et n un entier. On dit que E est de cardinal n si E et
{1, . . . , n} ont le mme cardinal.
Soit E un ensemble. On dit que E est fini sil existe un entier n tel que E soit de
cardinal n.
Proposition 4. Soient m et n des entiers. Sil existe une injection
f : {1, . . . , m} {1, . . . , n} ,
alors m 6 n.
14

Langage mathmatique

Maths en Ligne

UJF Grenoble

Dmonstration : On raisonne par rcurrence sur m. Si m = 0, la conclusion est vrifie.

Supposons le rsultat vrai pour m 1. Soit
f : {1, . . . , m} {1, . . . , n} ,
une application injective. Comme f est injective, on a
i {1, . . . , m},

i 6= m f (i) 6= f (m) .

On peut donc dfinir

g : {1, . . . , m 1}
{1, . . . , n 1}
f (i) si f (i) < f (m),
i 7
f (i) 1 si f (i) > f (m).
Lapplication ainsi dfinie est injective. Donc, par hypothse de rcurrence, m 1 6
n 1. Do m 6 n.

Corollaire 2. Soient m et n des entiers. Sil existe une bijection de {1, . . . , m} sur
{1, . . . , n}, alors m = n.
Dmonstration : Notons f une telle bijection. Alors f et f 1 sont injectives et on
applique la proposition prcdente.

Ce corollaire montre que si E est un ensemble de cardinal m et de cardinal n, alors
m = n. En effet, dans ce cas il existe une bijection f de E sur {1, . . . , m} et g de E
sur {1, . . . , n} et g f 1 fournit une bijection de {1, . . . , m} sur {1, . . . , n}.
Dfinition 6. Soit E un ensemble fini. On appelle cardinal de E et on note Card(E)
lunique entier n tel que E soit de cardinal n.
Exemple 1. Si a, b Z, avec a 6 b, alors
Card({a, a + 1, . . . , b 1, b} = b a + 1 .
En effet lapplication
f : {a, . . . , b} {1, . . . , b a + 1}
x 7 x a + 1
est bijective.
Proposition 5. Soit E un ensemble fini et X une partie de E. Alors
a) Lensemble X est fini ;
b) Card(X) Card(E) ;
c) Si Card(X) = Card(E), alors X = E.
15

Langage mathmatique

Maths en Ligne

UJF Grenoble

Dmonstration : Soit n le cardinal de E. Il existe donc une bijection de E sur

{1, . . . , n}. Lapplication obtenue par restriction X :
X (X)
x 7 (x) ,
est galement bijective. Quitte remplacer X par (X), il suffit de traiter le cas o
E = {1, . . . , n}.
On raisonne alors par rcurrence sur le cardinal de E. Si n = 0, alors E = X =
et le rsultat est valide. Supposons le rsultat dmontr pour les ensembles de cardinal
n 1, et montrons le pour E = {1, . . . , n}. Si X = E, alors Card(X) = Card(E) et les
assertions a), b) et c) sont vrifies. Si X 6= E, il nous suffit de montrer que X est fini
de cardinal infrieur ou gal n 1. Mais dans ce cas, il existe i {1, . . . , n} tel que
i 6 X. On considre alors lapplication
f : {x E ;

x 6= i}
{1, . . . , n 1}
x si x < i,
x 7
x 1 si x > i.

f est bijective, donc Card({x E ; x 6= i}) = n 1 et par hypothse de rcurrence X

est fini et
Card(X) 6 n 1 < Card(E).
ce qui montre les assertions dans ce cas.

Corollaire 3. Soient E et F des ensembles et f : E F une application.

Si F est fini et si f est injective, alors
a) E est fini ;
b) Card(E) Card(F ) ;
c) f est bijective si et seulement si Card(E) = Card(F ).
Si E est fini et si f est surjective, alors
a) F est fini ;
b) Card(F ) Card(E) ;
c) f est bijective si et seulement si Card(E) = Card(F ).
Dmonstration : Si f est injective, on considre lapplication
g : E f (E)
x 7 f (x)
g est bijective. Donc E et f (E) ont mme cardinal. Donc Card(E) = Card(f (E)) 6
Card(F ). Lapplication f est bijective si et seulement si f (E) = F ce qui est quivalent
Card(E) = Card(F ) par ce qui prcde.
16

Maths en Ligne

Langage mathmatique

UJF Grenoble

Supposons f surjective, cest--dire telle que

y F, x E,

f (x) = y.

Donc il existe une application g : E F telle que

y F,

f (g(y)) = y.

La compose f g est lappication identique de F , donc g est injective. On applique

alors le cas injectif g.

Rappelons la dfinition du complmentaire. Soient A et B deux ensembles. On note
A \ B lensemble des lements de A qui nappartiennent pas B.
A \ B = { x A ; x 6 B } .
Si B A, A \ B est appel le complmentaire de B dans A.
Proposition 6. Si A est fini et B A, alors
Card(A) = Card(B) + Card(A \ B).
Dmonstration : Par la proposition 5, on sait que B et A \ B sont finis. Notons p le
cardinal de B et q le cardinal de A \ B. Il existe donc des bijections
1 : B {1, . . . , p}
et
2 : A \ B {p + 1, . . . , p + q}
Lapplication
: A
{1, . . . , p + q}
(x) si x B,
1
x 7
2 (x) si x A \ B
est bijective donc Card(A) = p + q.

Proposition 7. Soient A un ensemble fini, r un entier et (Ai )i{1,...,r} une famille de

parties de A telle que
i. A = A1 Ar ;
ii. i, j {1, . . . , r},

i 6= j Ai Aj =

Alors
Card(A) =

r
X
i=1

17

Card(Ai ).

Langage mathmatique

Maths en Ligne

UJF Grenoble

Dmonstration : On raisonne par rcurrence sur r.

Si r = 1, A = A1 et le rsultat est vrai. Si cest vrai pour r 1, par hypothse de
rcurrence, applique lensemble A1 Ar1 , on a
Card(A1 Ar1 ) =

r1
X

Card(Ai ).

i=1

Mais Ar = A \ (A1 Ar1 ). Donc

Card(A) = Card(Ar ) +

r1
X

Card(Ai )

i=1

ce qui prouve le rsultat pour r.

Dfinition 7. Soit E un ensemble fini et soit (e )eE une famille de nombres rels (ou
complexes) Soit : {1, . . . , n} E une bijection. La somme
n
X

(i)

i=1

ne dpend pas du choix de , on la note

Exemple 2. Ainsi Card(E) =

eE

eE

e .

1.

On peut dfinir de mme le produit

eE

e .

Corollaire 4 (Principe des bergers). Soient E un ensemble fini et F un ensemble. Soit

f : E F une application, alors f (E) est fini et :
Card(E) =

Card(f 1 ({y})) .

X
yf (E)

Dmonstration : Lapplication g : E f (E) dfinie par g(x) = f (x) pour tout x de E

est surjective. Par consquent, f (E) est fini. Soit m = Card(f (E)). On fixe donc une
bijection
: {1, . . . , m} f (E).
On applique alors la proposition la famille (f 1 ({(i)}))i{1,...,n} de parties de E. 
Proposition 8. Soient E et F des ensembles finis, alors :
a) Card(E F ) = Card(E)Card(F ) ;
b) Card(E F ) = Card(E)Card(F ) ;
c) Card(P(E)) = 2Card(E) .

18

Maths en Ligne

Langage mathmatique

UJF Grenoble

Dmonstration : Pour a), on considre lapplication surjective f : E F F qui

applique (x, y) sur y et on applique la proposition prcdente, en notant que pour tout
y de F , lapplication
E f 1 ({y})
x 7 (x, y)
est bijective.
Pour b), on raisonne par rcurrence sur Card(F ) en considrant pour tout x F
lapplication
E F E F {x}
g 7 g|F {x} .
Pour c), on vrifie que lapplication de P(E) sur {0, 1}E qui envoie une partie A
sur lapplication
IA : E
{0, 1}
1 si x A,
x 7
0 sinon.
est bijective.

1.6

Relations

Dans ce cours, une relation R tablit une correspondance entre deux lments dun
mme ensemble. Elle est dfinie par lensemble E sur lequel elle opre, et par son
graphe , qui est un sous-ensemble du produit cartsien E E. Le fait quun couple
(x, y) appartienne au graphe est not xRy (x est en relation avec y). Considrons
par exemple la relation divise sur lensemble E = {1, 2, 3, 4, 5, 6}. Son graphe est :
= { (1, 1), (1, 2), (1, 3), (1, 4), (1, 5), (1, 6),
(2, 2), (2, 4), (2, 6), (3, 3), (3, 6), (4, 4), (5, 5), (6, 6) } .
Ses lments sont visualiss par des flches sur la figure 4.
Les proprits intressantes que lon attend dune relation sont les suivantes.
Dfinition 8. On dit quune relation R sur un ensemble E est :
1. rflexive si tout lment est reli lui-mme
x E , xRx ;
2. symtrique si x reli y entrane que y est reli x
x, y E , (xRy) = (yRx) ;
3. anti-symtrique si x reli y et y reli x entranent x = y
x, y E ,

(xRy) (yRx) = x = y ;
19

Langage mathmatique

Maths en Ligne

UJF Grenoble

2

































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































Figure 4 Reprsentation graphique de la relation divise sur {1, 2, 3, 4, 5, 6}.

4. transitive si quand x est reli y et y z alors x est reli z
x, y, z E ,

(xRy) (yRz) = xRz .

Les relations servent traduire mathmatiquement des comparaisons entre lments

dun mme ensemble. Ces comparaisons peuvent tre de deux types.
x a le mme . . . que y (la mme valeur, la mme image par une fonction. . . ) :
cest une relation dquivalence.
x est plus . . . que y (plus petit, plus grand, plus tt. . . ) : cest une relation
dordre.
Dfinition 9. Soit R une relation sur un ensemble E.
1. On dit que R est une relation dquivalence si elle est la fois rflexive, symtrique et transitive.
2. On dit que R est une relation dordre si elle est la fois
symtrique et transitive.

rflexive, anti-

Voici des exemples de chacun des deux types de relations.

Notre premier exemple de relation dquivalence est la congruence des entiers. Soit
p un entier strictement positif fix. Dfinissons la relation R sur N par :
m, n N ,

mRn

p | (m n)

On dit que m et n sont congrus modulo p et on note m n modulo p . Il est facile de

vrifier que la congruence modulo p est rflexive, symtrique et transitive. Les nombres
pairs sont tous congrus 0 modulo 2, les nombres impairs sont congrus 1. Vrifiez sur
votre agenda, o les jours de lanne sont numrots, que tous les lundis sont congrus
entre eux modulo 7.
20

Maths en Ligne

Langage mathmatique

UJF Grenoble

Pour notre deuxime exemple de relation dquivalence, nous allons revenir sur la
notion de cardinal dun ensemble. Soit E un ensemble et P(E) lensemble de ses parties.
Dfinissons la relation R sur P(E) qui relie deux parties A et B sil existe une bijection
de A vers B. Cette relation est :
rflexive : lapplication identique est une bijection de E vers lui-mme,
symtrique : si f est une bijection de A vers B alors lapplication rciproque f 1
est une bijection de B vers A,
transitive : si f est une bijection de A vers B et g est une bijection de B vers C,
alors g f est une bijection de A vers C.
Le cardinal est la proprit commune que possdent deux parties relies par cette
relation dquivalence. Il caractrise leur classe dquivalence.
Dfinition 10. Soit E un ensemble et R une relation dquivalence sur E. Pour tout
lment x de E, la classe dquivalence de x pour R est lensemble, not clR (x) de
tous les lments de E auxquels x est reli.
clR (x) = { y E , xRy } .
Lensemble des classes dquivalence sappelle ensemble quotient de E par R, et il est
not E/R.
Thorme 3. Deux classes dquivalence sont gales ou bien disjointes.
Dmonstration : Soient x et y deux lments de E. Ces deux lments sont relis ou
ils ne le sont pas : nous distinguons les deux cas.
1. Si x est reli y.
Nous allons dmontrer que les deux classes sont gales. Soit z un lment de
clR (y). Par dfinition dune classe dquivalence, yRz. Comme xRy et yRz,
daprs la transitivit, xRz. Nous venons de montrer que tout lment de clR (y)
appartient aussi clR (x). Donc clR (y) clR (x). Comme la relation est symtrique, y est reli x. Donc ce qui prcde sapplique en permutant x et y. Donc
clR (x) clR (y). Comme les deux inclusions sont vraies, les deux classes sont
gales.
2. Si x nest pas reli y.
Nous allons dmontrer que lintersection des deux classes est vide. Daprs la
transitivit, pour tout z E, limplication suivante est vraie.


(xRz) (zRy) = (xRy) .

Donc si xRy est fausse, alors lune des deux relations xRz, zRy est fausse. Donc
un lment z de E ne peut pas appartenir la fois clR (x) et clR (y) : leur
intersection est vide.
21

Langage mathmatique

Maths en Ligne

UJF Grenoble


Tout lment de E appartient sa propre classe dquivalence car la relation est
rflexive, et aucune autre daprs le thorme prcdent. On dit que lensemble des
classes dquivalences constitue une partition de E (figure 5).
Dfinition 11. Soit E un ensemble et P P(E) un ensemble de parties de E. On
dit que P est une partition de E si tout lment de E appartient un et un seul des
lments de P .





































Figure 5 Reprsentation graphique dune relation dquivalence. Partition en classes

dquivalence.
Considrons la relation de congruence modulo p sur Z. La classe dquivalence de
0 est lensemble des multiples de p, la classe dquivalence de 1 est lensemble de tous
les entiers n tels que n 1 est un multiple de p. . . :
i {0, . . . , p 1} ,

clR (i) = {i + np , n N} .

Lensemble quotient est form de ces p classes dquivalence.

Considrons maintenant la relation dquivalence R sur P(N) qui relie deux ensembles dentiers sil existe une bijection de lun vers lautre. La classe dquivalence de
{1, . . . , n} contient toutes les parties de N qui ont n lments. Pour m 6= n les classes de
{1, . . . , m} et {1, . . . , n} sont disjointes, car il nexiste pas de bijection entre {1, . . . , m}
et {1, . . . , n}. Lensemble quotient de P(N) par la relation R est en bijection avec N.
Passons maintenant aux relations dordre. Lordre le plus naturel est celui des
nombres entre eux. Observons que < et > ne sont pas rflexives. Par contre
6 et > sont bien des relations dordre. Si deux lments sont relis par une
relation dordre, on dit quils sont comparables. Si tous les lments sont comparables
deux deux, on dit que lordre est total. Cest le cas pour 6 et > mais pas pour
la relation divise sur N, qui est une relation dordre partiel. Si E est un ensemble,
linclusion est une relation dordre partiel sur P(E).
22

Langage mathmatique

Maths en Ligne

UJF Grenoble

Voici un autre exemple. Supposons que E soit un alphabet, pour lequel on a choisi
un ordre total, not 6 : lalphabet latin dont les lettres sont ranges de A Z ,
E = {0, 1} avec 0 6 1, etc. . . Les lments de E n sont des n-uplets de lettres, donc
des mots de longueur n. Comment les ranger ? On peut bien sr dfinir une relation
dordre coordonne par coordonne :
(x1 , . . . , xn )R(y1 , . . . , yn )

(x1 6 y1 ) . . . (xn 6 yn ) .

Cest bien une relation dordre, mais il nest que partiel. On obtient un ordre total en
donnant la prcdence la premire coordonne, puis la seconde en cas dgalit sur
la premire, etc. . .
(x1 , . . . , xn )R(y
1 , . . . , yn )


(x1 < y1 ) ((x1 = y1 ) (x2 < y2 )) . . .

((x1 = y1 ) . . . (xn1 = yn1

 ) (xn < yn ))
((x1 = y1 ) . . . (xn = yn )) .

Lordre est maintenant total. Compliqu ? Pas tellement : cest lordre dans lequel les
mots sont rangs dans un dictionnaire : on lappelle ordre lexicographique.

1.7

Raisonnements

Il ne sagit pas de proposer ici une thorie du raisonnement mathmatique. Nous

allons simplement donner quelques exemples de dmonstrations, pour illustrer trois
types de raisonnements : par contrapose, par labsurde et par rcurrence.
Raisonnement par contrapose
Il consiste, plutt que de dmontrer limplication A = B, dmontrer sa contrapose
(B) = (A). Il est difficile de donner une rgle gnrale dutilisation de ce raisonnement. Un bon conseil avant de se lancer dans la dmonstration dune implication,
est dcrire dabord sa contrapose. Avec un peu dexprience, on arrive vite sentir
laquelle des deux est la plus facile dmontrer. Si le rsultat dsir est B, on cherche
les consquences de B pour arriver aux bonnes hypothses. Notre premier exemple
est un rsultat facile, mais trs utile.
Proposition 9. Soit x un nombre rel tel que pour tout > 0, x 6 . Alors x 6 0.
Dmonstration : Nous devons dmontrer limplication :


> 0 ,

x6

= (x 6 0) .

Ecrivons sa contrapose :


(x > 0) =

> 0 ;
23

x> .

Maths en Ligne

Langage mathmatique

UJF Grenoble

Si x est strictement positif, alors il existe > 0 tel que x > . Cest vrai : il suffit
de choisir = x/2.

Comme deuxime exemple, nous allons reprendre un des points de la dmonstration
du thorme 3.
Proposition 10. Soit R une relation dquivalence sur un ensemble E. Soient x et y
deux lments de E qui ne sont pas relis. Alors lintersection des deux classes dquivalence de x et y est vide.
Dmonstration : Limplication que nous devons dmontrer scrit formellement :
(xRy) = (clR (x) clR (y) = ) .
Sa contrapose est :
(clR (x) clR (y) 6= ) = (xRy) .
Soit z un lment de clR (x) clR (y) (il y en a au moins un car lintersection est non
vide. Par dfinition des classes dquivalence, x est reli z, et z est reli y. Par
transitivit, x est reli y.

Raisonnement par labsurde
Il consiste dmontrer une assertion en vrifiant que sa ngation conduit une contradiction avec les hypothses. Dans certains cas il se distingue mal du raisonnement par
contrapose : si A dsigne la conjonction des hypothses et B la conclusion, nier B
et aboutir une contradiction, revient dmontrer A partir de B, ce qui est la
contrapose de A = B.
Notre premier exemple est d Euclide.
Proposition 11. Il existe une infinit de nombres premiers.
Dmonstration : Supposons quil nen existe quun nombre fini, et soit N le plus grand
dentre eux. Considrons le nombre P = N ! + 1. Il est strictement suprieur N , donc
il nest pas premier, par dfinition de N . Si on effectue la division euclidienne de P
par un nombre quelconque entre 2 et N , le reste est 1, par dfinition de la factorielle
(produit de tous les entiers de 1 N ). Donc le nombre P nest divisible par aucun
nombre entre 2 et N donc par aucun nombre premier : il est donc premier, do la
contradiction.

Voici un autre rsultat classique.

Proposition 12. Le nombre 2 est irrationnel.

Dmonstration : Un nombre rationnel est le quotient de deux
entiers ; un nombre
irrationnel nest pas rationnel. Nous devons donc dmontrer que 2 nest pas le quotient
24

Maths en Ligne

Langage mathmatique

UJF Grenoble

de deux entiers. Supposons le contraire : il existe deux entiers p et q tels que 2 = p/q.
Quitte simplifier la fraction, nous pouvons supposer que p et q nont pas de facteur
commun. Multiplions par q et levons au carr :
2q 2 = p2 .
Le nombre p2 = 2q 2 est pair, donc p est galement pair. Mais si p est pair, alors p2 est
multiple de 4. Donc q 2 est multiple de 2, donc q est pair. Mais alors 2 est un facteur
commun p et q, ce qui est une contradiction.

Pour notre troisime exemple, nous revenons encore une fois sur :
Deux classes dquivalence sont gales ou bien disjointes.
Comparez la dmonstration qui suit avec celle du thorme 3 et de la proposition 10.
Dmonstration : Lassertion A est lhypothse : R est une relation dquivalence.
Lassertion B est la conclusion, que lon peut crire de manire formelle comme suit.
x, y E ,

(clR (x) = clR (y)) (clR (x) clR (y) = ) .

La ngation de B scrit :
x, y E ,

(clR (x) 6= clR (y)) (clR (x) clR (y) 6= ) .

Soit encore : il existe deux lments x et y tels que les classes clR (x) et clR (y) ne soient
ni gales ni disjointes. Si cest le cas, il existe un lment z qui est dans lune et pas
dans lautre, et un lment t qui est dans les deux. Supposons que z soit dans clR (x),
mais pas dans clR (y). Donc xRz, donc zRx, car R est symtrique. Mais aussi xRt et
tRy car t appartient aux deux classes de x et y. Donc puisque R est transitive, zRy.
Donc z est dans la classe de y, ce qui est une contradiction.

Raisonnement par rcurrence
Pour dmontrer quune assertion H(n) dpendant dun entier n est vraie pour tout
n N, on dmontre :
1. H(0) initialisation ,
2. n N , H(n) = H(n + 1) hrdit .
Lassertion H(n) est lhypothse de rcurrence. Il peut se faire quelle ne soit vraie que
pour n > 1 ou n > 2, auquel cas, on la dmontre pour la plus petite valeur pour
laquelle elle est vraie. Voici la dmonstration dune formule connatre :
Proposition 13. Pour tout entier n > 1, la somme des entiers de 1 n vaut n(n+1)/2.
Dmonstration : Lhypothse de rcurrence est :
H(n) :

n
X

k=

k=1

25

n(n + 1)
.
2

Langage mathmatique

Maths en Ligne

UJF Grenoble

1. Initialisation. Pour n = 1 :
1
X

k=1=

k=1

1(1 + 1)
.
2

2. Hrdit. Soit n un entier quelconque. Supposons que H(n) est vraie. Ecrivons :
n+1
X

k=

k=1

n
X

k + (n + 1) .

k=1

En appliquant H(n), on obtient

n
X

k + (n + 1) =

k=1

n(n + 1)
+ (n + 1) ,
2

Le membre de droite scrit

(n + 1)(n + 2)
n(n + 1)
+ (n + 1) =
,
2
2
Nous avons donc dmontr que
n+1
X

k=

k=1

(n + 1)(n + 2)
,
2

cest--dire que H(n + 1) est vraie.


On peut tre amen, pour dmontrer H(n + 1) utiliser H(m) pour m {0, . . . , n},
ce qui ne change rien au principe de la rcurrence.
n N ,

(m {0, . . . , n} ,

H(m) ) = H(n + 1) .

Pour deviner quelle est la bonne hypothse H(n), on doit souvent essayer plusieurs
valeurs successives de n : n = 0, puis n = 1, n = 2,. . . Cest parfaitement inutile
pour la dmonstration. Attention, ce nest pas parce quune proprit est vraie pour
quelques valeurs de n quelle est vraie pour tout n. Voici deux exemples.
1. Les nombres 31, 331, 3 331,. . . , 33 333 331 sont tous premiers. Mais 333 333 331 =
17 19 607 843 ne lest pas.
2. Pour toutes les valeurs de n allant de 0 39, le nombre n2 + n + 41 est premier.
Mais le nombre 402 + 40 + 41 = 412 ne lest pas.

26

Langage mathmatique

Maths en Ligne

UJF Grenoble

Entranement

2.1

Vrai ou faux

Vrai-Faux 1. Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1.  (2 < 3) (2 | 4).
2.  (2 < 3) (2 | 5).
3.  (2 < 3) (2 | 5).
4.  (2 < 3) ((2 | 5)).
5.  ((2 < 3)) (2 | 5).


6.  (2 < 3) (2 | 4) (3 | 6).
7.  (2 < 3) (2 | 4) (3 | 5).
8.  (2 < 3) (2 | 4) (3 | 5).
9.  (2 < 3) (2 | 5) (3 | 6) (3 < 6) .
10.  (2 < 3) (2 | 5) (3 | 6) (3 > 6) .
Vrai-Faux 2. Soit n un entier naturel quelconque. Parmi les implications suivantes,
lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1.  (n > 5) = (n > 3).
2.  (n > 5) = (n > 6).
3.  (n > 5) = (n 6 6).
4.  (n < 1) = (2 | n).
5.  (n < 1) = (n | 2).
6.  (n < 2) = (n2 = n).
7.  (n > 0) = (2n > n).
8.  (n > 0) = (2n > n).
9.  (n > 0) = ((n + 1) > n).
Vrai-Faux 3. Soit n un entier naturel quelconque. Parmi les quivalences suivantes,
lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1.  (n > 5) (n > 4).
2.  (n > 5) (n > 4).
3.  ((n > 5) (n | 12)) (n = 6).
4.  ((n > 6) (n | 12)) (n = 12).
5.  ((3 | n) (4 | n)) (12 | n).
27

Maths en Ligne

Langage mathmatique

UJF Grenoble

6.  ((3 | n) (4 | n)) (n | 12).

7.  ((n | 3) (n | 4)) (n | 12).
Vrai-Faux 4. Parmi les assertions suivantes, portant sur un entier naturel n, lesquelles
sont des conditions suffisantes pour que n soit pair, lesquelles ne le sont pas et pourquoi ?
1.  n 6 2.
2.  (n 6 2) ((n = 1)).
3.  12 | n.
4.  n | 12.
5.  (n | 12) (n > 3).
6.  (n | 12) (n | 10).
7.  (n | 12) (n | 10).
8.  (n | 16) (n > 1).
9.  (n | 16) ((n2 = n)).
Vrai-Faux 5. Soit n un entier quelconque. Parmi les phrases suivantes, lequelles traduisent correctement limplication
(4 | n) = (2 | n) ,
lesquelles ne la traduisent pas et pourquoi ?
1.  Si 4 divise n alors 2 divise n.
2.  2 divise n seulement si 4 divise n.
3.  Pour que 2 divise n il faut que 4 divise n.
4.  Pour que 2 divise n il suffit que 4 divise n.
5.  la condition 2 divise n est ncessaire pour que 4 divise n.
6.  la condition 4 divise n est ncessaire pour que 2 divise n.
7.  la condition 4 divise n est suffisante pour que 2 divise n.
Vrai-Faux 6. Parmi les phrases suivantes, lesquelles traduisent correctement lquivalence
((3 | n) (4 | n)) (12 | n) ,
lesquelles ne la traduisent pas et pourquoi ?
1.  Si 3 et 4 divisent n alors 12 divise n et rciproquement.
2.  Pour que 12 divise n il faut que 3 et 4 divisent n.
3.  Pour que 12 divise n il faut et il suffit que 3 et 4 divisent n.
4.  Pour que 12 divise n il est ncessaire et suffisant que 3 et 4 divisent n.
5.  12 divise n seulement si 3 et 4 divisent n.
28

Maths en Ligne

Langage mathmatique

UJF Grenoble

6.  12 divise n si et seulement si 3 et 4 divisent n.

Vrai-Faux 7. Si je mange, alors je bois et je ne parle pas. Si je ne parle pas alors je
mennuie. Je ne mennuie pas. Je peux en dduire que (oui ou non et pourquoi) :
1.  je parle.
2.  je ne parle pas.
3.  je ne bois pas.
4.  je ne mange pas.
5.  je ne bois pas et je ne mange pas.
Vrai-Faux 8. Parmi les assertions suivantes lesquelles sont vraies, lesquelles sont fausses, et pourquoi ?
1.  Si Napolon tait chinois, alors 3 2 = 2.
2.  Soit Cloptre tait chinoise, soit les grenouilles aboient.
3.  Soit les roses sont des animaux, soit les chiens ont 4 pattes.
4.  Si lhomme est un quadrupde, alors il aboie.
5.  Les roses ne sont ni des animaux, ni des fleurs.
6.  Paris est en France ou Madrid est en Chine.
7.  La pierre ponce est un homme si et seulement si les femmes sont des sardines.
8.  Les poiriers ne donnent pas des melons, et Cloptre ntait pas chinoise.
9.  Il est faux que si les grenouilles naboient pas alors 3 2 = 7.
10.  Si les champignons sont des animaux ou le Cid tait espagnol, alors la longueur
dune circonfrence est le double de son rayon.
11.  Une condition ncessaire et suffisante pour que dans un jeu de 40 cartes il y
ait 45 as est que le cuir soit vgtal.
Vrai-Faux 9. Soient A, B, C trois sous-ensembles dun ensemble E. Lensemble
((A B) C) ((A B) cC) est-il (oui ou non et pourquoi) ?
1.  gal E.
2.  inclus dans A B.
3.  inclus dans A B.
4.  inclus dans A C.
5.  inclus dans A C.
6.  inclus dans (A C) B.
7.  inclus dans (A cC) B.
8.  gal (A B) (B C) (A C).
29

Langage mathmatique

Maths en Ligne

UJF Grenoble

Vrai-Faux 10. Parmi les ensembles dentiers suivants, lesquels sont gaux au singleton
{0}, lesquels sont diffrents et pourquoi ?
1.  { n N ;

n 6 1 }.

2.  { n N ;

n < 1 }.

3.  { n N ;

(n 6 1) (2 | n) }.

4.  { n N ;

1 + n > 0 }.

5.  { n N ;

1 + n = 1 }.

6.  { n N ;

m N , n 6 m }.

7.  { n N ;

m N , n < m }.

8.  { n N ;

m N , n | m }.

9.  { n N ;

m N , m | n }.

Vrai-Faux 11. Un entier est un nombre premier sil est non nul et divisible seulement
par 1 et par lui-mme. Parmi les ensembles suivants, lesquels sont gaux lensemble
des nombres premiers, lesquels sont diffrents et pourquoi ?
1.  { n N ;

(n > 0) ((m | n) = (m = n)) }.

2.  { n N ;

(m | n) = (m {1, n}) }.

3.  { n N ;

(m | n) = (1 6 m 6 n) }.

4.  { n N ;

m N , ((m = 1) (m = n)) ((m | n)) }.

5.  { n N ;

m N , ((m = 1) (m = n)) ((m | n)) }.

6.  { n N ;

m N , (1 < m < n) = ((m | n)) }.

7.  { n N ;

m N , (n > 0) ((1 < m < n) = ((m | n))) }.

Vrai-Faux 12. Soient E et F deux ensembles et f une application de E vers F . Parmi

les affirmations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1.  Si f est injective alors tout lment de E a plus dune image dans F .
2.  Si f est injective alors tout lment de F a au plus un antcdent dans E.
3.  Si f est surjective alors tout lment de F a plus dun antcdent dans F .
4.  Si f nest pas bijective alors au moins un lment de F na pas dantcdent.
5.  Si f nest pas injective alors il existe deux lments distincts de E ayant la
mme image.
Vrai-Faux 13. Soient E et F deux ensembles finis et f une application de E vers
F . Parmi les affirmations suivantes lesquelles sont vraies, lesquelles sont fausses et
pourquoi ?
1.  Si Card(E) > Card(F ) alors f est surjective.
2.  Si Card(E) > Card(F ) alors f nest pas injective.
30

Maths en Ligne

Langage mathmatique

UJF Grenoble

3.  Si Card(E) = Card(F ) alors f est bijective.

4.  Si Card(E) = Card(F ) et si f est surjective, alors f est bijective.
5.  Si Card(E) 6= Card(F ) alors f est injective ou surjective.
6.  Si Card(E) = Card(F ) et si f nest pas surjective, alors f nest pas injective.
7.  Si Card(E) = Card(F ) et si f nest pas injective, alors f nest pas surjective.
Vrai-Faux 14. Soit E = {0, 1, 2}. Les graphes suivants dfinissent-ils une relation dquivalence sur E (oui ou non et pourquoi) ?
1.  = { (0, 0), (0, 1), (1, 0), (1, 1) }.
2.  = { (0, 0), (0, 1), (1, 0), (1, 1), (2, 2) }.
3.  = { (0, 0), (0, 1), (1, 0), (1, 1), (1, 2), (2, 2) }.
4.  = { (0, 0), (0, 1), (1, 0), (1, 1), (1, 2), (2, 1), (2, 2) }.
5.  = { (0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2), (2, 0), (2, 1), (2, 2) }.
Vrai-Faux 15. Soit E = {0, 1, 2}. Les graphes suivants dfinissent-ils une relation dordre sur E (oui ou non et pourquoi) ?
1.  = { (0, 0), (0, 1), (1, 1), (2, 2) }.
2.  = { (0, 0), (0, 1), (1, 0), (1, 1), (2, 2) }.
3.  = { (0, 0), (0, 1), (0, 2), (1, 1), (2, 2) }.
4.  = { (0, 0), (0, 1), (1, 1), (1, 2), (2, 2) }.
5.  = { (0, 0), (0, 1), (0, 2), (1, 1), (1, 2), (2, 2) }.
Vrai-Faux 16. Soient E un ensemble fini non vide et x un lment fix de E. Les
relations R dfinies par les assertions suivantes sont-elles des relations dquivalence
sur P(E) (oui ou non et pourquoi) ?
1.  A, B P(E) ,

ARB A = B.

2.  A, B P(E) ,

ARB A B.

3.  A, B P(E) ,

ARB (A B = ).


4.  A, B P(E) ,

ARB

(A B = ) (A B 6= ) .

5.  A, B P(E) ,

ARB (x A B).

6.  A, B P(E) ,

ARB

(x A B) (x cA cB) .

Vrai-Faux 17. Soient E un ensemble fini contenant au moins deux lments, et x un

lment fix de E. Les relations R dfinies par les assertions suivantes sont-elles des
relations dordre sur P(E) (oui ou non et pourquoi) ?
1.  A, B P(E) ,

ARB A = B.

2.  A, B P(E) ,

ARB A B.
31

Langage mathmatique

Maths en Ligne

3.  A, B P(E) ,

ARB (x (A cB)).

4.  A, B P(E) ,

ARB (x (A cB)).

5.  A, B P(E) ,

ARB

UJF Grenoble

(A = B) (x A B) .

Vrai-Faux 18. Soit H(n) un nonc dpendant de lentier n. Les assertions suivantes
entranent-elles que H(n) est vraie pour tout n N (oui ou non et pourquoi) ?


1.  H(0) n N , H(n) = H(n + 1) .

2.  H(1) n N , H(n) = H(n + 1) .
3.  H(0) n N , H(n + 1) = H(n) .
4.  H(0) n N , H(n) = H(n + 2) .


5.  H(0) n N , H(n) = H(n + 2) n N , H(n + 1) = H(n) .



6.  H(0) n N , H(n) = H(2n) n N , H(n + 1) = H(n) .



 

7.  (H(0)H(1)) n N , H(n) = H(2n) n N , H(n+1) = H(n) .

2.2

Exercices

Exercice 1. Soient A, B, C trois assertions. Pour chacune des assertions suivantes :



A (B)




A (B C)

((A B)) = C
(A (B)) = C

A (B C)


A B

A = (B)


A (B)




(A B) (C)

A (B) = (C)

1. Ecrire sa ngation.
2. Traduire lassertion et sa ngation en langage courant, en remplaant A par je
mange , B par je bois et C par je fume .
Exercice 2. Soient A, B et C trois assertions. Dmontrer que les quivalences suivantes
sont toujours vraies, dabord laide des tables de vrit, ensuite en utilisant les oprations entre connecteurs logiques. Traduire chacune des assertions en langage courant,
en remplaant A par je mange , B par je bois et C par je fume .
32

Langage mathmatique

Maths en Ligne


1.

A = (B = C)


2.


3.


4.


5.

(A B) = C
(A B) = C





A = (B C)

A = (B C)






UJF Grenoble

(A B) = C .


(A = C) (B = C) .


(A = C) (B = C) .


(A = B) (A = C) .


(A = B) (A = C) .

Exercice 3. On introduit un nouveau connecteur logique, dit barre de Scheffer, not |,

dont la table de vrit est la suivante :
A
F
F
V
V

B A|B
F V
V
V
F V
V
F

1. Donner une expression de A|B en utilisant les connecteurs usuels : , , .

2. Montrer que tous les connecteurs peuvent tre remplacs par ce seul connecteur,
en exprimant A, A B, A B et A = B en utilisant seulement la barre de
Scheffer et, si ncessaire, des parenthses.
Exercice 4. On considre les quatre assertions suivantes :
F : je fume,
B : je bois,
J : je mange du jambon,
M : jai des moustaches.
Exprimer sous forme symbolique les phrases suivantes :
1. Je fume et je bois, mais je nai pas de moustache.
2. Quand je fume, je ne bois pas.
3. Chaque fois que je mange du jambon, je ne fume pas mais je bois.
4. Si je mange du jambon ou si je bois, alors je ne fume pas.
5. Il suffit que jaie des moustaches pour que je mange du jambon.
6. Il faut que je mange du jambon et que je boive pour que je fume.
7. Une condition ncessaire pour que je boive et que je fume est que je mange du
jambon.
8. Je fume et je bois, si et seulement si je mange du jambon ou jai des moustaches.
9. De deux choses lune : soit je bois et je mange du jambon, soit si jai une moustache
alors je ne fume pas.
33

Maths en Ligne

Langage mathmatique

UJF Grenoble

En supposant que les valeurs de vrit respectives de F, B, J, M sont V, V, F, V , trouver

les valeurs de vrit des phrases prcdentes.
Exercice 5. Exprimer sous forme symbolique les raisonnements suivants et vrifier
quils sont corrects.
1. Si je vais Londres, jirai aussi Oxford. Soit je vais Londres, soit je dpense
mon argent autre chose. Si je vais Oxford, je verrai John. Si je dpense mon
argent autre chose, je verrai John. Donc je verrai John.
2. Si jai de largent ou si je bois du vin alors je chante en me rasant et je suis
content. Donc je nai pas dargent ou bien je chante en me rasant.
3. Soit je mange, soit je bois, et si je mange je ne fume pas. Comme je ne bois pas,
je ne fume pas.
4. Si Pierre est mari, alors Jean est mari, et si Jean est mari, alors Louis lest
aussi. De plus, soit Jean est clibataire, soit il est mari et Louis est clibataire.
Donc Pierre est clibataire.
5. Si on ne danse pas, je masseois. Si je masseois, je bois et je fume. Si on danse
je mamuse. Or je mennuie. Donc je fume.
6. Si je ne masseois pas, je bois. Si je bois, on danse et de plus je fume. Si je
masseois, je mamuse. Or je mennuie. Donc je fume.
7. Si je marche, je sue. Si je ne me fatigue pas, je ne sue pas. Or je ne me fatigue
pas. Donc je ne marche pas.
8. Si A dit la vrit, B ment. Si B ment, C ment. Si C ment, D dit la vrit. D
ment ou bien E ment. A ne ment pas. Donc E ment.
Exercice 6. Trois commerants habitent dans 3 maisons situes aux numros 21, 23
et 25 de la mme rue. Le boucher habite dans la maison jaune, qui est ct de la
rouge mais qui nest pas ct de la verte. Lpicier, qui nest pas suisse, habite ct
du Franais. LItalien habite au numro 21 et sa maison nest pas jaune. Quelle est la
nationalit du pharmacien, quelle est la couleur de sa maison, et o habite-t-il ?
Exercice 7. Trois personnes, un policier un berger et un assassin, habitent dans 3
maisons situes aux numros 19, 21 et 23 de la mme rue. Le policier habite au numro
23 et sa maison nest pas rouge. La maison rouge est ct de la maison bleue mais pas
ct de la maison jaune. LItalien habite dans la maison rouge. Le Franais, qui nest
pas berger, habite ct de lassassin. Quelle est la couleur de la maison de lassassin
et o habite-t-il ?
Exercice 8. (Pour les courageux).
Alice dit que si Bernard est coupable, Charles lest aussi.
Bernard dit que Alice est coupable et que Charles ne lest pas.
Charles dit quil nest pas coupable mais que au moins lun des deux autres lest.
34

Langage mathmatique

Maths en Ligne

UJF Grenoble

Soit A (respectivement B, C) lassertion Alice (respectivement : Bernard, Charles)

est coupable .
1. Ecrire sous forme logique les affirmations de Alice, Bernard et Charles.
2. On sait que chacune des trois personnes ment si et seulement si elle est coupable. Dduire de la question prcdente trois assertions vraies. Simplifier leur
expression.
3. Contruire la table de vrit de chacune des trois assertions de la question prcdente.
4. Dduire de ces tables de vrit que Alice est innocente, Bernard et Charles sont
coupables.
Exercice 9. Dfinir les ensembles suivants en extension.
1. { n N ;

(n > 3) (n 6 7) }.

2. { n N ;

(2 | n) (n 6 7) }.

3. { n N ;

(n | 12) (n > 7) }.

4. { n N ;

((n | 12)) (n 6 7) }.

5. { n N ;

(n > 3) ((n | 12) (n 6 7)) }.

(n|15)}

7. {n N;

((n + 1)|20) ((n 1)|8)}.

{l N;

(3 < l2 ) (l2 6 16)}.

6. {n N;

Exercice 10. Soient A, B et C trois sous-ensembles dun ensemble E. Ecrire en fonction

de A, B, C les ensembles correspondant aux assertions suivantes.
1. x appartient aux trois.
2. x appartient au moins lun dentre eux.
3. x appartient deux dentre eux au plus.
4. x appartient lun dentre eux exactement.
5. x appartient deux dentre eux au moins.
6. x appartient lun dentre eux au plus.
Exercice 11. Soit E un ensemble. Soient A et B deux sous-ensembles de E. On appelle :
diffrence de B dans A et on note A \ B lensemble A cB,
diffrence symtrique de A et B et on note AB lensemble (A \ B) (B \ A).
1. Ecrire sous forme logique les proprits x A\B et x AB laide des
proprits x A et x B . Dmontrer les galits ensemblistes suivantes.
2. A \ = A = A.
3. A \ A = AA = .
4. A (BC) = (A B)(A C).
35

Langage mathmatique

Maths en Ligne

UJF Grenoble

5. (AB) (AC) = (A B C) \ (A B C).

6. Donner une reprsentation sous forme de diagramme de Venn de tous les ensembles dfinis dans cet exercice.
Exercice 12. Soient A, B et C trois sous-ensembles dun ensemble E.
1. Simplifier lexpression (A B C) (cA B C) cB cC.
2. Dmontrer que (A cB) cC = A c (B C) = (A cC) cB.
3. Dmontrer que (A B cC) (A C B) (A B) (C = ).
Exercice 13. (Daprs Lewis Caroll). Parmi les combattants dune grande bataille, au
moins 70% ont perdu un il, au moins 75% une oreille, au moins 80% un bras, et
au moins 85% une jambe. Quelle est la proportion minimale des combattants qui ont
perdu les 4 ?
Exercice 14. Un centre de langue propose des cours dAlbanais, de Bantou et de Chinois. Sur 93 lves, 54 tudient lAlbanais, 51 le Bantou ou le Chinois, 27 le Chinois
mais pas le Bantou, 3 ni lAlbanais ni le Chinois, et 12 tudient les 3 langues.
1. Combien dlves tudient la fois le Bantou et le Chinois ?
2. Combien dlves tudient lAlbanais ou le Bantou mais pas le Chinois ?
3. Combien dlves ntudient ni le Bantou ni le Chinois ?
4. Combien dlves tudient une seule langue ?
5. Combien dlves tudient exactement deux langues ?
Exercice 15. Pour chacune des assertions suivantes :
n N , m N ; (m | n),
n N ; m N , (m | n),
n N ; m N, (n | m),

n N , m N ,

n N , m N ,

(m | n) (n | m) ,

((m | n) (n | m)) = (m = n) ,

n N , m N , k N ;

(n | k) (m | k) .

1. Lire haute voix et comprendre.

2. Dire si lassertion est vraie ou fausse et le dmontrer.
3. Ecrire la ngation, lire haute voix et comprendre.
Exercice 16. On note N lensemble des entiers naturels, A lensemble des nombres pairs,
et B lensemble des nombres premiers. Exprimer sous forme symbolique les phrases
suivantes.
1. Tout nombre pair est divisible par 2.
36

Langage mathmatique

Maths en Ligne

UJF Grenoble

2. Aucun nombre impair nest divisible par 2.

3. Il nexiste pas de nombre premier pair distinct de 2.
4. Tout nombre premier distinct de 2 est impair.
5. Il existe un nombre pair qui divise tout nombre pair.
6. Tout nombre premier divise au moins un nombre pair
Exercice 17. On note N lensemble des entiers naturels, A lensemble des nombres
pairs, et B lensemble des nombres premiers. Ecrire en langage courant et comprendre
la signification des expressions logiques suivantes.
1. n A ;

n B.

2. n A , m B ;

m | n.


3. n N , n A = (n
/ B) (n = 2) .
4. n A ,

5. n N ;
6. n N ,

(n = 2) (m, p) A B ;

n = mp



(m, p) A B , (n 6= m) (n 6= p).


m A ;

7. n N , (n A)

m|n

m A ;

= (n A).


m+1=n .

Exercice 18. Reprsenter sur un diagramme de Venn les ensembles suivants.

Ensemble Q des quadrilatres.
Ensemble T des trapzes.
Ensemble P des paralllogrammes.
Ensemble R des rectangles.
Ensemble L des losanges.
Ensemble C des carrs.
Exprimer sous forme logique, puis ensembliste, les phrases suivantes.
1. Tout carr est un rectangle.
2. Tout rectangle qui est aussi un losange est un carr.
3. Il existe des paralllogrammes qui ne sont pas des rectangles.
4. Si un losange est un rectangle alors cest un carr.
5. Une condition ncessaire pour quun trapze soit un carr est que ce soit un
rectangle.
6. Pour quun trapze soit un rectangle il suffit que ce soit un carr.
7. Il existe des quadrilatres qui ne sont ni des rectangles, ni des losanges.
8. Il existe des paralllogrammes qui ne sont ni des rectangles, ni des losanges.

37

Langage mathmatique

Maths en Ligne

UJF Grenoble

Exercice 19. Si n est un entier, on note n modulo 5 le reste de la division euclidienne

de n par 5. Les applications suivantes sont dfinies sur {0, 1, 2, 3, 4}, valeurs dans luimme. Reprsentez-les sur un diagramme. Sont-elles injectives ? surjectives ? bijectives ?
Reprsentez le diagramme de f f .
1. f : n 7 n + 1 modulo 5.
2. f : n 7 n + 3 modulo 5.
3. f : n 7 n + 10 modulo 5.
4. f : n 7 2n modulo 5.
5. f : n 7 3n modulo 5.
6. f : n 7 10n modulo 5.
Exercice 20. Si n est un entier, on note n modulo 6 le reste de la division euclidienne
de n par 6. Les applications f suivantes sont dfinies sur {0, 1, 2, 3, 4, 5}, valeurs
dans lui-mme. Reprsentez-les sur un diagramme. Sont-elles injectives ? surjectives ?
bijectives ? Reprsentez le diagramme de f f .
1. f : n 7 n + 1 modulo 6.
2. f : n 7 n + 3 modulo 6.
3. f : n 7 n + 10 modulo 6.
4. f : n 7 2n modulo 6.
5. f : n 7 3n modulo 6.
6. f : n 7 10n modulo 6.
Exercice 21. On considre les applications suivantes, de N vers N. Sont-elles injectives ?
surjectives ? bijectives ?
1. f : n 7 n + 1.
2. f : n 7 2n.
3. f : n 7 n2 .
(
n + 1 si n est pair
4. f : n 7
2n
si n est impair.
(

2n
si n est pair
n 1 si n est impair.

n + 1 si n est pair
n 1 si n est impair.

n/2
si n est pair
(n 1)/2 si n est impair.

5. f : n 7
6. f : n 7
7. f : n 7

Exercice 22. On considre les applications suivantes, de R vers R. Sont-elles injectives ?

surjectives ? bijectives ?
38

Langage mathmatique

Maths en Ligne

UJF Grenoble

1. f : x 7 x + 1.
2. f : x 7 2x.
3. f : x 7 x2 .
4. f : x 7 x3 .
5. f : x 7

6. f : x 7

x
|x|

|x|.
si x 6= 0 , f (0) = 0.

7. f : x 7 ex .
8. f : x 7 x3 3x.
%
Exercice 23. Soit f lapplication de R dans R dfinie par f (x) =

2x
.
1 + x2

1. f est-elle injective ? surjective ?

2. Montrez que f (R) = [1, 1].
3. Montrez que la restriction
g:

[1, 1]
x

[1, 1]
f (x)

est une bijection.

Exercice 24. On considre lapplication
f:

R2 R2
(x, y) 7 (x + y, xy)

et lensemble A = {(x, y) R2 | x = 0 et y > 0}.

1. Lapplication f est-elle injective ?
2. Dterminez f 1 (A).
3. Lapplication f est-elle surjective ?
4. On considre maintenant lapplication dfinie sur C,
g:

C2 C2
(x, y) 7 (x + y, xy)

Montrez que
(

g(x, y) = (, )

y = x
x x + = 0
2

Dduisez de cette quivalence la surjectivit de g.

39

Maths en Ligne

Langage mathmatique

UJF Grenoble

Exercice 25. Les applications suivantes sont-elles injectives ? surjectives ? bijectives ?

R R2
1. f :
x 7 (x, 0)
2
R R
(
4 2x2 si x < 1
2. f :
x 7
x+1
si x > 1

3. f :

R2 R
(x, y) 7 (x + y, x y)

Exercice 26. Soit E un ensemble, f et g deux applications de E dans E.

1. On suppose que f g = f f f et que f est injective. Montrer que x
E, g(x) = (f f )(x).
2. On suppose que g f = f f f et que f est surjective. Montrer que x
E, g(x) = (f f )(x).
On suppose maintenant que f est bijective. Dans lun quelconque des cas ci-dessus,
montrer que g est bijective et calculer son inverse.
Exercice 27. Soit E un ensemble et A un sous-ensemble de E. On appelle fonction
indicatrice de A et on note IA lapplication de E vers {0, 1} qui x E associe 1 si
x A, 0 si x
/ A. Soient A et B deux sous-ensembles de E. Dmontrer les assertions
suivantes.
1. x E , IcA (x) = 1 IA (x).
2. x E , IAB (x) = min{IA (x), IB (x)} = IA (x) IB (x).
3. x E , IAB (x) = max{IA (x), IB (x)} = IA (x) + IB (x) IA (x) IB (x).
Exercice 28. Soient E et F deux ensembles, f une application de E vers F . Soient A
et A0 deux sous-ensembles de E. Soient B et B 0 deux sous-ensembles de F . Dmontrer
les assertions suivantes.
1. (A A0 ) = (f (A) f (A0 )).
2. (B B 0 ) = (f 1 (B) f 1 (B 0 )).
3. f (A A0 ) = (f (A) f (A0 )).
4. f 1 (B B 0 ) = (f 1 (B) f 1 (B 0 )).
5. f (A A0 ) (f (A) f (A0 )).
6. f 1 (B B 0 ) = (f 1 (B) f 1 (B 0 )).
7. f 1 (f (A)) A.
8. f (f 1 (B)) B.
9. f (A f 1 (B)) = (f (A) B).
10. f (A f 1 (B)) (f (A) B).
40

Langage mathmatique

Maths en Ligne

UJF Grenoble

Exercice 29. Ecrire chacune des assertions suivantes comme une implication.
Ecrire et dmontrer sa contrapose.
1. Aucun nombre impair nest la somme de deux nombres impairs.
2. Tout nombre premier strictement suprieur 2 est impair.
3. Soient m et n deux entiers impairs tels que m divise 2n. Alors m divise n.
4. Soient m et n deux entiers tels que m divise n. Alors m et n + 1 sont premiers
entre eux (ils nont aucun diviseur commun autre que 1).
5. Si le produit de deux entiers strictement suprieurs 1 est le carr dun entier
alors chacun des deux est le carr dun entier ou bien ils ont un diviseur commun
autre que 1.
Exercice 30. Dmontrer par rcurrence les assertions suivantes.
1. n N ,
2. n N ,
3. n N ,

n
X

(k + 1) = (n + 1)(n + 2)/2.

k=0
n
X

k 2 = n(n + 1)(2n + 1)/6.

k=0
n
X

k 3 = n2 (n + 1)2 /4.

k=0

4. n N ,
5. n N ,
6. n N ,

3|(n3 n).
n
X

2k = 2n+1 1.

k=0
n
X

k2k = (n 1)2n+1 + 2.

k=0

7. n N, n 3 ,
8. n N ,

n
Y

n
Y

k2 4
(n + 2)!
=
.
k
12n(n 1)
k=3

(n + k) = 2n

k=1

n
Y

(2k 1).

k=1

Exercice 31. Soient E un ensemble fini non vide et x un lment fix de E. On considre
les relations R dfinies par les assertions suivantes.
A, B P(E) , ARB A
 = B.

A, B P(E) ,

A, B P(E) ,

ARB

ARB

(A B = ) (A B 6= ) .

(x A B) (x A B) .

Pour chacune de ces relations.

1. Montrer que R est une relation dquivalence sur P(E).
2. Dcrire lensemble quotient P(E)/R.
41

Langage mathmatique

Maths en Ligne

UJF Grenoble

Exercice 32. Soit E un ensemble non vide et x un lment fix de E. On dfinit la

relation R sur lensemble P(E) des parties de E par :
A, B P(E) ,

ARB

(x A B) (x cA cB) .

1. Montrer que R est une relation dquivalence.

2. Montrer que la classe dquivalence de est P(E \ {x}) (ensemble des parties du
complmentaire de {x} dans E).
3. Montrer que lensemble quotient P(E)/R a deux lments :
P(E)/R = {clR (), clR ({x}) } .
4. On dfinit lapplication fx , de P(E) vers P(E), qui un sous-ensemble A associe
A {x}. Lapplication f est-elle injective ? surjective ?
5. Vrifier que limage par fx dun lment de clR () appartient clR ({x}).
6. Montrer que tout lment de clR ({x}) a un antcdent et un seul dans clR ().
7. En dduire que :
Card(clR ()) = Card(clR ({x}))
8. Dduire des questions prcdentes que :
Card(P(E)) = 2Card(P(E \ {x})) .
9. Dmontrer par rcurrence que le cardinal de lensemble des parties dun ensemble
n lments est 2n .

2.3

QCM

Donnez-vous une heure pour rpondre ce questionnaire. Les 10 questions sont

indpendantes. Pour chaque question 5 affirmations sont proposes, parmi lesquelles 2
sont vraies et 3 sont fausses. Pour chaque question, cochez les 2 affirmations que vous
pensez vraies. Chaque question pour laquelle les 2 affirmations vraies sont coches
rapporte 2 points.
Question
 1.
 

A (4 < 2) (2 | 4) (4 | 8) (4 < 8) .
B

(4 < 2) (2 | 4) (4 | 8) (8 < 4) .
(4 < 2) (2 | 4) (4 | 8) (4 < 8) .
(4 < 2) (2 | 4) (4 | 8) (4 < 8) .

(8 < 2) (2 | 8) (2 | 4) (4 < 2) .

Question 2. Soit n un entier naturel quelconque.

42

Langage mathmatique

Maths en Ligne

A
B
C
D
E

UJF Grenoble

(n2 = n) = (n < 2).

(n2 = 16) = (2|n).
(n 6 2) = (2n > n).
(n2 6 n) = (2n > n).
(2|n) = (2 < n).

Question 3. Soit n un entier quelconque. Limplication (6 | n) = (3 | n), peut se

traduire par :
A Pour que n soit multiple de 3, il faut que n soit multiple de 6.
B Pour que n soit multiple de 3, il suffit que n soit multiple de 6.
C Lentier n est multiple de 3, seulement sil est multiple de 6.
D Une condition ncessaire pour que n soit multiple de 6 est que n soit multiple
de 3.
E Une condition suffisante pour que n soit multiple de 6 est que n soit multiple
de 3.
Question 4. Si je mange, alors je bois. Si je bois, alors je ne parle pas et je suis content.
Je ne suis pas content. Vous pouvez en dduire que :
A je ne mange pas.
B je parle.
C je ne parle pas et je ne mange pas.
D je mange.
E je ne bois pas.
Question
 5. Soient A,B, C trois sous-ensembles quelconques dun ensemble E. Lensemble (A cB) cC (cA cC) B) est :
A
B
C
D
E

inclus dans cC B.
gal E.
disjoint de B.
gal cC (cA B).
inclus dans A B.

Question 6. L ensemble A est gal au singleton {1}.

A A = { n N , (n2 = n) }.
B A = { n N , (m > n , n|m) }.
C A = { n N , (n|3) }.
D A = { n N , (n|2) (n|3) }.
E A = { n N , (n|2) (n|3) }.
Question 7.
A n N , m N ;
B n N , m N ;

m 6 n.
m 6 n.
43

Maths en Ligne

C n N , m N ;
D n N , m N ;
E n N , m N ;

Langage mathmatique

UJF Grenoble

n 6 m.
m 6 n.
n + m + 1 = 0.

Question 8. Soit E = {1, 2, 3, 4}. On note f lapplication de E dans E dont le graphe

est le suivant.
= { (1, 2) , (2, 3) , (3, 3) , (4, 1) } .
A
B
C
D
E

Lapplication f est surjective.

f ({2, 3}) est un singleton.
f 1 ({2, 3}) est un singleton.
Limage rciproque par f de tout singleton est non vide.
4 na pas dantcdent pour f .

Question 9. La relation R est une relation dquivalence sur N.

A n, m N , nRm n|m.
B n, m N , nRm n2 = m2 .
C n, m N , nRm n2 + m2 = 2nm.
D n, m N , nRm n2 m2 = 2nm + 2n.
E n, m N , nRm n2 + m2 = 2nm.
Question 10. Soit H(n) un nonc dpendant de lentier n. Lassertion entrane que
H(n) est vraie 
pour tout n > 1.

A H(1) n > 1 , H(n) = H(n + 1) .


B H(1) n > 1 , H(n) = H(n + 2) .

C H(1) n > 2 , H(n) = H(n + 1) .
D H(1) n > 1 , H(n + 1) = H(n) .


E H(1) n > 1 , H(n) = H(2n) n > 4 , H(n) = H(n 1) .

Rponses : 1CD 2AB 3BD 4AE 5AD 6BE 7AC 8BE 9BE 10AE

2.4

Devoir

Essayez de bien rdiger vos rponses, sans vous reporter ni au cours, ni au corrig. Si
vous souhaitez vous valuer, donnez-vous deux heures ; puis comparez vos rponses avec
le corrig et comptez un point pour chaque question laquelle vous aurez correctement
rpondu.
Questions de cours : Soient E et F deux ensembles. Soit f une application de E
dans F . Soit A un sous-ensemble de E et B un sous-ensemble de F .
44

Maths en Ligne

Langage mathmatique

UJF Grenoble

1. Dfinir limage f (A) de A et limage rciproque f 1 (B) de B.

2. Dmontrer que A f 1 (f (A)) et que f (f 1 (B)) B.
3. Quand dit-on que f est injective ? surjective ?
4. Dmontrer que si f est injective, alors A = f 1 (f (A)). Dmontrer que si f est
surjective, alors B = f (f 1 (B)).
5. Soit E = F = {1, 0, 1} et soit f lapplication de E dans F qui x associe
x2 . Lapplication f est-elle injective ? surjective ? Soit A = {1} et B = {1, 1}.
Ecrire en extension les ensembles f 1 (f (A)) et f (f 1 (B)).
Exercice 1 : Soient A, B et C trois assertions.
1. Ecrire la table de vrit de lassertion :
(A B) = (A C) .
2. Ecrire la table de vrit de lassertion :
(A B) = (A C) .
3. Utiliser les tables de vrit des deux questions prcdentes pour dmontrer que
lquivalence suivante est toujours vraie.


(A B) = (A C)

(A B) = (A C)



B = C

4. En utilisant les assertions A : je suis une fille , B : je fais du sport et C :

je garde la forme , exprimer en langage courant lquivalence de la question
prcdente.
5. Soit E un ensemble, A, B, C trois sous-ensembles de E. Reprsenter dans trois
diagrammes de Venn diffrents les ensembles E, A, B, C, dans les trois cas suivants.
B C.
B 6 C, (A B) (A C), (A B) 6 (A C).
B 6 C, (A B) 6 (A C), (A B) (A C).
6. Dmontrer que lquivalence suivante est toujours vraie.


(A B) (A C)

(A B) (A C)



BC .

Exercice 2 :
1. Soient A1 et A2 deux assertions. Ecrire laide des symboles , , lassertion :
de deux choses lune, soit A1 est vraie, soit A2 est vraie, mais pas les deux .
On notera dsormais (A1 Xor A2 ) cette assertion.
45

Langage mathmatique

Maths en Ligne

UJF Grenoble

2. Dmontrer laide des tables de vrit que limplication suivante est toujours
vraie.

 

A1 Xor A2 A1 = A2 .
3. On considre les propositions suivantes : B : je bois , C : je conduis , F :
je vais voir un film , M : je marche , R : je vais au restaurant . Ecrire
sous forme symbolique les assertions suivantes.
A1 : de deux choses lune, soit je conduis, soit je marche .
A2 : de deux choses lune, soit je vais voir un film, soit je vais au restaurant, et
dans ce cas je bois .
A3 : si je conduis, alors je ne bois pas .
A4 : je ne marche pas .
4. On suppose que les assertions A1 , A2 , A3 , A4 sont vraies. Dmontrer que lassertion F est vraie. Vous crirez votre raisonnement sous forme symbolique, et en
langage courant.
Exercice 3 : Soit R la relation dfinie sur lensemble des rels R par :
x, y R ,

xRy

x2 y 2 = x y .

Soit S la relation dfinie sur lensemble des rels R par :

x, y R ,

xSy

x2 y 2 6 x y .

1. Montrer que R est une relation dquivalence.

2. Dmontrer que pour tout x R,
clR (x) = {x, 1 x} .
3. Dmontrer que la relation S est rflexive, transitive, mais quelle nest ni symtrique ni anti-symtrique.
4. Soit I lensemble des rels suprieurs ou gaux 1/2. Soit S 0 la relation dfinie
sur I par :




x, y I ,
xS 0 y x2 y 2 6 x y .
Montrer que S 0 est une relation dordre sur I.
5. Dmontrer que :
x, y I ,

xS 0 y

46

x6y .

Langage mathmatique

Maths en Ligne

2.5

UJF Grenoble

Corrig du devoir

Questions de cours :
1. Limage de A est lensemble des images par f des lments de A.
f (A) = { f (x) , x A } = { y B , x A , y = f (x) } .
Limage rciproque de B est lensemble des lments de E dont limage appartient
B.
f 1 (B) = { x E , f (x) B } .
2. Soit x un lment quelconque de A. Posons y = f (x). Alors y f (A) car x A.
Donc x est un lment de E dont limage par f appartient f (A). Par dfinition
de limage rciproque, x appartient f 1 (f (A)). Tout lement de A appartient
f 1 (f (A)), donc A f 1 (f (A)).
Soit y un lment quelconque de f (f 1 (B)). Par dfinition de limage, il existe
x f 1 (B) tel que f (x) = y. Puisque x f 1 (B), limage de x est dans B, donc
y B. Tout lement de f (f 1 (B)) appartient B, donc f 1 (f (B)) B.
3. On dit que f est injective si tout lment de F a au plus un antcdent dans
lensemble de dpart.
x1 , x2 E ,

f (x1 ) = f (x2 )

= x1 = x2 .

On dit que f est surjective si tout lment de lensemble darrive a au moins un

antcdent dans lensemble de dpart.
y F , x E ;

f (x) = y .

4. Nous allons montrer que si f est injective, alors f 1 (f (A)) A. Soit x un lment de f 1 (f (A)). Par dfinition de limage rciproque, f (x) f (A). Donc il
existe un lment de A dont limage est gale celle de x. Mais comme f est
injective, cet lment ne peut tre que x lui-mme. Donc x A. Tout lment de
f 1 (f (A)) appartient A, donc f 1 (f (A)) A. Comme daprs la question 2,
A f 1 (f (A)), nous avons bien dmontr que A = f 1 (f (A)), si f est injective.
Nous allons maintenant montrer que si f est surjective, alors B f (f 1 (B)). Soit
y un lment de B. Comme f est surjective, il existe x E tel que f (x) = y. Par
dfinition de limage rciproque, puisque y B, x f 1 (B), et donc y = f (x)
f (f 1 (B)). Tout lment de B appartient f (f 1 (B)), donc B f (f 1 (B)).
Comme daprs la question 2, f (f 1 (B)) B, nous avons bien dmontr que
B = f (f 1 (B)).
5. Le graphe de f est :
{ (1, 1) , (0, 0) , (1, 1) } .
47

Langage mathmatique

Maths en Ligne

UJF Grenoble

Lapplication f nest pas injective car 1 et 1 ont la mme image. Elle nest pas
surjective car 1 na pas dantcdent.
f 1 (f (A)) = {1, 1} =
6 A et f (f 1 (B)) = {1} =
6 B.
Exercice 1 :
1. Notons I lassertion propose.


I=

(A B) = (A C)

Voici sa table de vrit.

A
V
V
V
V
F
F
F
F

B
V
V
F
F
V
V
F
F

C AB AC
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
F
V
F
V
F
F
F

I
V
V
V
V
V
F
V
V

2. Notons J lassertion propose.



J=

(A B) = (A C)

Voici sa table de vrit.

A
V
V
V
V
F
F
F
F

B
V
V
F
F
V
V
F
F

C AB AC
V
V
V
F
V
F
V
F
V
F
F
F
V
F
F
F
F
F
V
F
F
F
F
F

48

J
V
F
V
V
V
V
V
V

Langage mathmatique

Maths en Ligne

UJF Grenoble

3. Voici les tables de vrit des assertions I J et B = C.

A
V
V
V
V
F
F
F
F

B
V
V
F
F
V
V
F
F

C
V
F
V
F
V
F
V
F

I
V
V
V
V
V
F
V
V

J I J B = C
V
V
V
F
F
F
V
V
V
V
V
V
V
V
V
V
F
F
V
V
V
V
V
V

On constate que les tables de vrit des assertions I J et B = C sont les

mmes. Lquivalence entre les deux assertions est donc toujours vraie.
4. (A B) = (A C) : Si je suis une fille ou je fais du sport, alors je suis une
fille ou je garde la forme.
(A B) = (A C) : Si je suis une fille et je fais du sport, alors je suis une
fille et je garde la forme.
B = C : Si je fais du sport, alors je garde la forme.
De deux choses lune : soit je ne suis pas une fille, soit jen suis une. Si je ne
suis pas une fille (A est faux), la premire implication dit que faire du sport est
une condition suffisante pour garder la forme. La seconde implication dit que
faire du sport est une condition suffisante pour garder la forme, aussi pour les
filles. Affirmer les deux premires implications revient dire que faire du sport
est suffisant pour garder la forme, quon soit une fille ou non.
5. Voir figure 6.
E

C
C

Figure 6 Diagrammes de Venn de trois sous-ensembles.

6. Notons respectivement A, B et C les assertions x A , x B et x C .
Les inclusions de lnonc se traduisent comme suit.


(A B) (A C)

49



A B = A C



Langage mathmatique

Maths en Ligne




(A B) (A C)


BC



UJF Grenoble

A B = A C



B = C

Lquivalence demande est celle de la question 3.

Exercice 2 :
1.


A1 Xor A2 = A1 A2 A1 A2 .
2.
A1 A2 A1
V V
V F
F V
F F
3. A1
A2
A3
A4

:
:
:
:

Xor A2
F
V
V
F

A1 Xor A2 (A1 )
F
F
V
F

A1 Xor A2 (A1 ) = A2
V
V
V
V

C Xor M
F Xor (R B)
C = (B)
M

4.
(C Xor M ) (M ) = C
C = (B)
(B) =


F Xor (R B) (R B)

(R B

= F .

Soit je conduis, soit je marche. Puisque je ne marche pas, je conduis ; donc je ne

bois pas. Puisque je ne bois pas, je ne suis pas au restaurant en train de boire.
Donc je vais voir un film.
Exercice 3 :
1. La relation R est :
rflexive :
x R ,

x2 x2 = x x ,

symtrique :
x, y R ,

x2 y 2 = x y = y 2 x2 = y x ,

50

Langage mathmatique

Maths en Ligne

UJF Grenoble

transitive :
x, y, z R ,



x y = xy y z = yz



= x2 z 2 = x z .

Donc cest une relation dquivalence.

2.
x, y R2 ,

xRy

x2 y 2 = x y

(x y)(x + y 1) = 0


(x y = 0) (x + y 1 = 0)

(y = x) (y = 1 x) .

3. La relation S est :
rflexive :
x2 x2 6 x x ,

x R ,
transitive :
x, y, z R ,



x2 y 2 6 x y y 2 z 2 6 y z = x2 z 2 6 x z ,

non symtrique :
02 22 6 0 2 mais 22 02 > 2 0 ,
non anti-symtrique :
02 12 6 0 1 et 12 02 6 1 0 .
4. La relation S 0 est rflexive et transitive, comme la relation S (car ce qui est vrai
sur R reste vrai sur un sous-ensemble de R). Nous devons dmontrer quelle est
anti-symtrique. Soit I lensemble des rels suprieurs ou gaux 1/2.
x, y I ,

xS 0 y yS 0 x

= x2 y 2 = x y
= (y = x) (y = 1 x) ,

daprs la question 2. Or si x > 1/2, alors 1 x < 1/2, et si x = 1/2,

 alors

0
1x = 1/2. Donc si x et y sont la fois lments de I et tels que xS y yS 0 x ,
alors x = y : la relation S 0 est anti-symtrique.
5. Soient x et y deux lments de I. Si x = y = 1/2, on a la fois xS 0 y et x 6 y. Si x
ou y est strictement suprieur 1/2, alors x + y 1 est strictement positif. Dans
ce cas :
(x2 y 2 ) 6 (x y) (x y)(x + y 1) 6 0
x y 6 0
x 6 y .

51

Langage mathmatique

Maths en Ligne

UJF Grenoble

Complments

3.1

La quantification des prdicats

Voici ce quun lve de Hamilton crivait en 1846, au terme dun expos sur la
quantification du prdicat.
Nous ne pouvons pas finir, sans exprimer la vritable joie que nous ressentons (que la force de ce sentiment serve dexcuse notre tmrit) de ce que
cette dcouverte a t faite dans notre pays et dans notre temps. Nous nous
rjouissons de savoir quil sest lev un homme capable de comprendre et
de complter le plan du grand architecte, Aristote, de placer la dernire
pierre au monument dont les fondations taient poses depuis deux mille
ans, par la main puissante du philosophe de Stagire, et qui aprs les efforts
de tant de gnrations douvriers. . .
Sir William Stirling Hamilton (17881856) nest pas le Sir William Rowan Hamilton
des quaternions et du hamiltonien, et il est beaucoup moins clbre. Pour quelquun
cens avoir complt le plan du grand architecte , nest-ce pas quelque peu injuste ?
Et pour commencer, quelle est cette fameuse dernire pierre au monument ?
Voici un nonc, suivi de sa dmonstration par contrapose.
Soient A et B deux ensembles non vides. Alors :


x A , x B

x B , x A .

En effet,


x B , x A

x B , x
/A .

Or,

Enfin :

x B , x
/A

x A , x
/B

x A , x
/B .

= x A , x B

Voici une autre formulation.

Si A appartient tout B, B aussi appartient quelque A ; car si B nappartenait aucun A, A nappartiendrait non plus aucun B : or A tait
suppos appartenir tout B.
part que le second nonc est nettement plus comprhensible que le premier, quest-ce
qui les spare ?
La bagatelle de 23 sicles ! Le second est extrait de lOrganon dAristote (384
322 av. J.C.), le premier naurait pas pu tre crit tel quel avant 1935, date de la
premire utilisation du symbole . Comme ci-dessus, on trouve dans la plupart des
noncs dAristote lusage de tout , aucun et quelque . Selon les diffrentes
52

Maths en Ligne

Langage mathmatique

UJF Grenoble

combinaisons de tout et quelque , on distingue 4 types daffirmations positives

(ni la signification ni la vracit ne sont en cause) :
1. Tout homme est tout animal
2. Tout homme est quelque animal
3. Quelque homme est tout animal
4. Quelque homme est quelque animal
Si on rajoute les ngations possibles sur chacun des deux attributs, on obtient 16
types de propositions. Certaines sont utiles, dautres moins car toujours vraies ou toujours fausses. Les 16 types, virtuellement prsents chez Aristote, ont t abondamment
discuts par les commentateurs anciens dAristote : Ammonios (475515) et Boce
(480525). Ibn Zura (9431008) semble tre le premier lister systmatiquement les
16 types 1 , suivi par Ibn Sina (Avicenne : 9801037), Ibn Rushd (Averros : 11261198)
et Mamonide (11381204). Mais comme dhabitude, lapport des savants arabes ou
juifs sera longtemps ignor des occidentaux. Lorsque vers 1836 Hamilton liste 8 types
parmi les 16 sans identifier clairement leur valeur smantique, le moins que lon puisse
dire est quil ne recueille pas une adhsion massive de ses contemporains ; et lorque
quelques annes plus tard il acuse imprudemment Augustus de Morgan (18061871)
de plagiat, il aggrave son cas : de Morgan ne se gne pas pour tailler en pices la
thorie de la quantification des prdicats . Voici ce que dit Jacques Maritain 2 .
Ces dithyrambes paraissent un peu exagrs, surtout si lon rflchit quen
ralit Hamilton na apport aucune dcouverte nouvelle, et que son ide
de la quantification du prdicat stait dj trs nettement prsente lesprit du philosophe de Sagire , lequel lavait dailleurs rejete non sans
bonnes raisons. notre connaissance, aucun des critiques modernes de la
thorie de Hamilton na song se reporter sur ce point la pense des
anciens. Nous avons cependant l un exemple fort remarquable dune prtendue innovation non pas seulement, comme tant dautres, dj contenue,
plus ou moins implicitement, dans larsenal des vieux auteurs, et lucidable
par leurs principes, mais bien formule explicitement et explicitement critique par eux. Bien plus, si pertinente que soit la rfutation prsente par
de Morgan et par Stuart Mill de la thorie de la quantification du prdicat,
nulle critique moderne de cette thorie nest aussi dcisive et aussi pntrante que la page qui lui est consacre par Saint Thomas dAcquin dans
son commentaire sur le Perri Hermeneias.
1. A. Hasnawi, Avicenna on the quantification of the predicate in TS. Rahman, T. Street, H. Tahiri
eds. The unity of science in the Arabic tradition, Springer, New-York (2008)
2. J. Maritain, La quantification du Prdicat et la logique de lcole, Revue noscolastique de
philosophie, 25(97), p. 5789 (1923)

53

Maths en Ligne

3.2

Langage mathmatique

UJF Grenoble

Ces longues chanes de raisons

Voici six textes clbres propos de luniversalit et de la perfection du langage

mathmatique.
Platon (428-348 av. J.-C.), La Rpublique
Tu nignores pas, je pense, que ceux qui soccupent de gomtrie, darithmtique et autres sciences du mme genre, supposent le pair et limpair, les
figures, trois espces dangles et autres choses analogues suivant lobjet de
leur recherche : quils les traitent comme choses connues, et que quand ils
en ont fait des hypothses, ils estiment quils nont plus en rendre aucun
compte ni eux-mmes ni aux autres, attendu quelles sont videntes
tous les esprits ; quenfin, partant de ces hypothses et passant par tous les
chelons, ils aboutissent par voie de consquences la dmonstration quils
staient mis en tte de chercher.
Gerbert dAurillac (945 ?-1003), Pape Sylvestre II en lan mil
Je vous invite entrer dans ce paradis terrestre quest la contemplation des
causes. Ce quon peut faire au moyen de cette magie que les Perses nomment
sagesse, les juifs kabbale, les Grecs philosophie, les Pythagoriciens science
des nombres formels et les Platoniciens souverain remde qui donne lme
une parfaite tranquillit par la vertu quil a de joindre les effets, passifs, aux
vertus, agentes. Cette magie nest autre que la philosophie naturelle, cest-dire ltude des lois qui rgissent la nature[. . . ]
Si vous ntiez pas fermement convaincu que la science des nombres contient
en elle ou produit, comme une source, les prmisses de toutes choses, vous
ne montreriez pas tant dardeur en prendre une connaissance entire et
approfondie[. . . ]
Galile (1564-1642), LEssayeur
La philosophie est crite dans ce trs vaste livre qui est ternellement ouvert
devant nos yeux je veux dire lUnivers mais on ne peut le lire avant
davoir appris la langue et stre familiaris avec les caractres dans lesquels
elle est crite. Elle est crite en langue mathmatique et ses lettres sont des
triangles, des cercles et dautres figures gomtriques, moyens sans lesquels
il est humainement impossible de comprendre un seul mot, sans lesquels on
erre en vain dans un obscur labyrinthe.
Descartes (1596-1650), Discours de la mthode
Ces longues chanes de raisons, toutes simples et faciles, dont les gomtres
ont coutume de se servir pour parvenir leurs plus difficiles dmonstrations,
mavaient donn occasion de mimaginer que toutes les choses, qui peuvent
tomber sous la connaissance des hommes, sentre-suivent en mme faon,
54

Maths en Ligne

Langage mathmatique

UJF Grenoble

et que, pourvu seulement quon sabstienne den recevoir aucune pour vraie
qui ne le soit, et quon garde toujours lordre quil faut pour les dduire les
unes des autres, il ny en peut avoir de si loignes auxquelles enfin on ne
parvienne, ni de si caches quon ne dcouvre. Et je ne fus pas beaucoup
en peine de chercher par lesquelles il tait besoin de commencer : car je
savais dj que ctait par les plus simples et les plus aises connatre ; et
considrant quentre tous ceux qui ont ci-devant recherch la vrit dans les
sciences, il ny a eu que les seuls mathmaticiens qui ont pu trouver quelques
dmonstrations, cest--dire quelques raisons certaines et videntes, je ne
doutais point que ce ne ft par les mmes quils ont examines ; bien que
je nen esprasse aucune autre utilit, sinon quelles accoutumeraient mon
esprit se repatre de vrits et ne se point contenter de fausses raisons.
Pascal (1623-1662), De lesprit gomtrique
Je ne puis faire entendre la conduite quon doit garder pour rendre les
dmonstrations convaincantes, quen expliquant celle que la gomtrie observe, et je nai choisi cette science pour y arriver que parce quelle seule
sait les vritables rgles du raisonnement, et, sans sarrter aux rgles des
syllogismes qui sont tellement naturelles quon ne peut les ignorer, sarrte
et se fonde sur la vritable mthode de conduire le raisonnement en toutes
choses, que presque tout le monde ignore, et quil est si avantageux de savoir, que nous voyons par exprience quentre esprits gaux et toutes choses
pareilles, celui qui a de la gomtrie lemporte et acquiert une vigueur toute
nouvelle.
Je veux donc faire entendre ce que cest que dmonstrations par lexemple
de celles de gomtrie, qui est presque la seule des sciences humaines qui
en produise dinfaillibles, parce quelle seule observe la vritable mthode,
au lieu que toutes les autres sont par une ncessit naturelle dans quelque
sorte de confusion que seuls les gomtres savent extrmement connatre.
Condillac (1715-1780), La langue des calculs
Lalgbre est une langue bien faite, et cest la seule : rien ny parat arbitraire. Lanalogie qui nchappe jamais, conduit sensiblement dexpression
en expression. Lusage na ici aucune autorit. Il ne sagit pas de parler
comme les autres, il faut parler daprs la plus grande analogie pour arriver
la plus grande prcision ; et ceux qui ont fait cette langue, ont senti que
la simplicit du style en fait toute llgance : vrit peu connue dans nos
langues vulgaires.

3.3

Le Docteur Illumin

Doctor Illuminatus : cest par rfrence son savoir thologique et son talent
de dbatteur que ce surnom flatteur (quelque chose comme Savant Trs clair )
55

Maths en Ligne

Langage mathmatique

UJF Grenoble

a t attribu Ramn Lull (12321316). La traduction littrale est donc tout fait
trompeuse. Quoique. . .
N dans lle de Mallorca, rcemment reconquise par les chrtiens, Lull 3 avait commenc par mener la vie de dissolue de courtisan laquelle les hauts faits darmes de
son pre pendant la reconqute, et les rcompenses quil y avait gagnes lui donnaient
droit. Jusqu ce que, lge de 30 ans, lapparition ritre du Christ en croix lui fasse
tout quitter pour ddier sa vie la conversion des infidles . Songez que ctait en
ce temps-l la tche la plus mritoire que lon puisse entreprendre. Pensez aussi quelle
tait habituellement mene grand renfort dassassinats ( tuez-les tous, Dieu reconnatra les siens : le massacre de Bziers a t perptr en 1209), de croisades (celles de
Louis ix datent de 1248 et 1270) et de bchers (lInquisition a t instaure en 1213).
Lapproche de Lull est donc plutt originale pour lpoque : il commence par se donner
neuf ans de rflexion au cours desquels il peaufine quelques milliers de pages dargumentaires thologiques. Il apprend mme larabe pour tudier lIslam et la philosophie
musulmane et mieux convaincre plus tard ses interlocuteurs. Supposer que sa volont
de dialogue pacifique ait pu aller jusqu la tolrance serait un anachronisme. Pour
apprendre larabe, il avait achet un esclave Maure. Entendant un jour celui-ci jurer en
insultant le nom du Dieu des chrtiens, il le rosse de manire suffisamment humiliante
pour que lesclave tente de lassassiner par vengeance. La tentative ayant chou, Lull
intervient pour que lesclave ne soit pas immdiatement mis mort mais seulement emprisonn en attendant son jugement. Lesclave aura llgance de se suicider en prison,
pargnant ainsi Lull le dilemme davoir faire appel dune condamnation invitable.
Il ny avait quune seule vrit possible pour Lull, celle de sa religion ; il tait prt
tout pour elle, priant Dieu de lui accorder la grce de prir en martyr. Il nest pas
interdit de considrer quil faisait ce quil fallait pour. Au cours de plusieurs voyages
Bejaa ou Tunis, il se mettait rgulirement haranguer la foule en plein march :
La loi des Chrtiens est sainte et vraie, et la secte des Maures est mauvaise et fausse,
et cest ce que je vais vous dmontrer ! . Aprs avoir t sauv plusieurs reprises de
groupes furieux dtre ainsi provoqus, ce quil souhaitait arriva finalement et il mourut
lapid Bejaa, lge respectable de 83 ans.
Lull savait bien que dans ses argumentaires, certains shmas de pense revenaient
systmatiquement. Il eut lide de mcaniser sa mthode par un dispositif de cercles
concentriques, quil livrait en appendice son Ars Magna. Ayant lu en particulier
Averros et Avicenne, il connaissait la la logique dAristote et de ses continuateurs
musulmans : celle-ci ntait sans doute pas trangre son invention 4 .
En fait ce qui est sans doute le plus important est que cette formalisation
correspondait galement des aspects de la mthode polmique musulmane
et que cest dans cet hritage que senracine la fcondit ultrieure de la
mthode combinatoire. Le coup de gnie de Lull est davoir vu quil pouvait
3. E.A. Peers, Ramon Lull : a biographyLondon (1929)
4. D. Urvoy, Les musulmans pouvaient-ils comprendre largumentation lullienne ? Estudi General
9, p. 159170(1989)

56

Maths en Ligne

Langage mathmatique

UJF Grenoble

mettre en relation le dfi, par les polmistes musulmans, de dnombrement

exhaustif des combinaisons possibles de concepts, avec certains procds
combinatoires de la mantique et des talismans.
Voici comment lcrivain J.L. Borges (auteur de La bibliothque de Babel , cense
contenir tous les livres alatoires possibles) voyait la machine de Lull.
Il sagit dun schma ou diagramme des attributs de Dieu. La lettre A,
centrale, reprsente de Seigneur. Sur la circonfrence, le B signifie la bont,
le C la grandeur, le D lternit, le E le pouvoir, le F la sagess, le G la
bont, le C la grandeur, le D lternit, le E le pouvoir, le F la sagesse, le
G la volont, le H la vertu, le I la vrit, le K la gloire.
[. . . ]
Imaginons un problme quelconque : dterminer la vritable couleur des
tigres. Je donne chacune des lettres lulliennes la valeur dune couleur, je
fais tourner les disques et je constate que le tigre inconstant est bleu, jaune,
noir, blanc, vert, violet, orange et grois ou bleu-jaune, bleu-noir, bleu-blanc,
bleu-vert, bleu-violet, bleu-bleu, etc, etc. Devant cette ambigut torrentielle, les partisans de lArs Magna ne seffrayaient pas ; ils conseillaient
lemploi simultan dun grand nombre de machines combinatoires qui selon eux sorienteraient et se rectifieraient force de multiplications et
d vacuations .
Une machine produisant des phrases alatoires volont, lide allait sduire longtemps : de celle que Gulliver voit fonctionner dans lle de Laputa, la littrature
combinatoire chre Georges Prec et Raymond Queneau, jusquaux Pipotrons
que lon trouve foison sur le web.
Si la caricature est facile, il reste que Lull est linitiateur dun courant philosophique
de mcanisation de la pense qui sera repris sans discontinuer au cours des sicles
suivants : Giordano Bruno, Descartes, Hobbes, Leibniz, puis Babbage et enfin Turing :
lintelligence artificielle a une longue histoire derrire elle !

3.4

Ramener linfini au fini

Si des raisonnement par rcurrence se trouvent dj dans les lments dEuclide,

son disciple Eubulide, en fit un usage plutt particulier.
Un million de grains de sables constituent un tas
Si on enlve un grain de sable un tas de sable, il reste un tas de sable.
Donc trois grains, deux grains, et mme un seul grain ou zro grain constituent un tas de sable.
Depuis Euclide, les mathmaticiens ont plus ou moins implicitement utilis le principe
de rcurrence. Al Karaji (9531029) 5 connaissait la formule du binme, savait calculer
5. R. Rashed, linduction mathmatique Al Karaji et As Samawal Arch. Hist. Exact Sci. 9, p.
121 (1972)

57

Maths en Ligne

Langage mathmatique

UJF Grenoble

la somme des n premiers entiers, des n premiers carrs et cubes. Francesco Maurolico
(14751575) dmontre que la somme des n premiers entiers impairs est n2 .
La premire formulation claire du principe du raisonnement apparat en 1654 dans
le Trait du triangle arithmtique de Blaise Pascal (1623-1662). Voici son texte.
Quoique cette proposition ait une infinit de cas, jen donnerai une dmonstration bien courte, en supposant deux lemmes.
Le premier, qui est vident de soi-mme, que cette proportion se rencontre
dans la seconde base [. . . ]
Le second, que si cette proportion se trouve dans une base quelconque, elle
se trouvera ncessairement dans la base suivante.
Do il se voit quelle est ncessairement dans toutes les bases : car elle est
dans la seconde base par le premier lemme ; donc par le second elle est dans
la troisime base, donc dans la quatrime, et linfini.

3.5

Lettres une Princesse dAllemagne

En 1759 Sophie Friederike Charlotte Leopoldine von Brandenburg-Schwedt a 14

ans, quand son pre demande Lonard Euler de lui donner des cours de maths. Au
bout de quelques mois Euler doit interrompre ses leons.
Madame,
Comme lesprance de continuer V. A. mes instructions dans la Gomtrie semble prouver de nouveaux retards, qui me causent un chagrin trs
sensible, je souhaiterais pouvoir y suppler par crit ; autant que la nature
des objets peut le permettre.
Il est possible que ces nouveaux retards aient t lis la guerre de sept ans ; ils
auront eu en tout cas une consquence des plus heureuses. Entre 1760 et 1762 Euler
crit 234 lettres, soit environ 500 pages, portant sur lensemble des connaissances du
temps : musique, philosophie, mcanique, optique, astronomie, thologie, thique ; un
ouvrage de vulgarisation dune ampleur et dune clart exceptionnelles. Voici un extrait
de lloge dEuler par Condorcet devant lAcadmie des Sciences de Paris.
Ces leons ont t publies sous le nom de Lettres une Princesse dAllemagne ; ouvrage prcieux par la clart singulire avec laquelle il y a expos
les vrits les plus importantes de la mcanique, de lastronomie physique,
de loptique et de la thorie des sons, et par des vues ingnieuses, moins
philosophiques, mais plus savantes que celles qui ont fait survivre la pluralit des mondes de Fontenelle au systme des tourbillons. Le nom dEuler, si
grand dans les sciences, lide imposante que lon se forme de ses ouvrages,
destins dvelopper ce que lanalyse a de plus pineux et de plus abstrait,
donnent ces lettres si simples, si faciles, un charme singulier. Ceux qui
nont pas tudi les mathmatiques, tonns, flatts peut-tre de pouvoir
entendre un ouvrage dEuler, lui savent gr de stre mis leur porte, et
58

Maths en Ligne

Langage mathmatique

UJF Grenoble

ces dtails lmentaires des sciences acquirent une sorte de grandeur par
le rapprochement quon en fait avec la gloire et le gnie de lhomme qui les
a tracs.
Autre extrait dloge, par Nicolas Fuss devant lAcadmie des Sciences de Saint-Ptersbourg :
Pour ce qui regarde son contenu, il suffit de remarquer que, comme il est
la porte dun plus grand nombre de lecteurs, et mme la porte du beau
sexe, il na pas peu contribu rpandre le nom illustre de son auteur, et
le rendre cher ceux qui nont pu le juger que daprs ses Lettres une
Princesse dAllemagne.
. . . et mme la porte du beau sexe : lexploit ntait pas mince ! De fait le succs
populaire fut immense : traduites en russe, en anglais et en allemand, plusieurs fois
rdites, ces lettres ont servi dinitiation scientifique et philosophique des milliers
damateurs clairs au sicle des lumires et plus tard. Quant la jeune princesse, on
ignore le bnfice quelle en tira, outre celui de passer la postrit grce Euler : elle
vcut lessentiel de sa vie dans un couvent.
Entre le 14 fvrier et le 7 mars 1761, les lettres 102 108 traitent de logique. Euler
y dtaille avec sa clart habituelle les fondements du raisonnement rigoureux, sous une
forme remarquablement proche de la logique propositionnelle qui vous a t expose
dans ce chapitre. Il ny est pas question densembles, nanmoins les nombreuses figures
par lesquelles il illustre son expos traduisent bien les notions dimplication, conjonction, disjonction etc. Les propositions y sont reprsentes par des cercles, disjoints,
concentriques, ou intersects, assez proches des diagrammes de Venn que nous utilisons encore. En plus des figures, Euler illustre les diffrentes formes de syllogismes par
de nombreux exemples, avec parfois quelque malice.
Nul homme vertueux nest pas mdisant
Or quelques hommes mdisans sont savans
Donc quelques savans ne sont pas vertueux.

3.6

Froid dans le dos

Durant la longue marche depuis Aristote jusqu la logique moderne, la formalisation du raisonnement tait considre comme faisant partie de la philosophie, et non
des mathmatiques. Georges Boole (18151864) allait rvolutionner le thme avec son
algbre des propositions. Vous connaissez le syllogisme Tous les hommes sont mortels,
Socrate est un homme donc Socrate est mortel ? ( propos, il ne se trouve nulle part
dans lOrganon dAristote). Voici comment il apparat chez Boole 6 .
6. G. Boole, The mathematical analysis of logic, London (1847)

59

Maths en Ligne

Langage mathmatique

UJF Grenoble

All Xs are Ys y(1 x) = 0

All Ys are Zs z(1 y) = 0
Eliminating y, we have z(1 x) = 0, All Xs are Zs.
Cetait bien un nouveau calcul algbrique sur des variables binaires, avec ses propres
rgles, diffrentes de celles du calcul ordinaire. Observez que Boole utilise tout de
mme les notations de lalgbre classique ; celles de la logique boolnne (, , . . . )
apparatront bien plus tard.
Mary Everest tait la fille dun pasteur ami de Boole, et la nice du cartographe
qui a donn son nom au plus haut sommet du monde (qui en avait dj un, mais cela a
moins de rapport avec la logique). Elle avait pass son enfance en France, o son pre
tait devenu un disciple de Hahnemann, le fondateur de lhomopathie. Quest-ce que
lhomopathie ? Mary nous en dit plus.
The medicine which will produce any symptom in a healthy man, or temporarily aggravate it in one who is already suffering from it, is homeopathic
to that symptom.
[. . . ]
Hahnemanns great homeopathic law or principle like should be treated by
like, is now in some measure admitted by all really scientific practitionners,
however they may choose to deride the word homeopathy.
. . . Traiter le mal par le mal, admis par tous les praticiens rellement scientifiques ?
Ayant beaucoup suivi et aid la jeune fille (de 17 ans sa cadette), Boole finit par
lpouser. Neuf ans plus tard, la suite dun banal refroidissement, il tombe malade.
Pas de quoi salarmer, mais tout de mme, un bon traitement homopathique simpose.
Des annes plus tard, leur plus jeune fille (bb au moment du dcs de son pre) accuse.
My sister Mary Hinton, who had a friendship with her, and who collected
various anecdotes about the family, told me that, in Aunt Mary Anns
[Booles sister] view at least, the cause of fathers early death was believed
to have been the Missus (Mary Everest Boole) belief in a certain crank
doctor who advocated cold water cures for everything. Someone I cant
remember who is reported to have come in and found Father shivering
between wet sheets. Now for myself, I am inclined to believe that this
may have happened. The Everests do seem to have been a family of cranks
and followers of cranks. The Missus father apparently adored Mesmer and
Hahnemann and the Missus herself ran theories to death.
Lagonie de Boole tremblant dans des draps mouills dure 17 jours, et il meurt
de pneumonie. Plus de 40 ans aprs, Mary est toujours une fervente supportrice du
mal par le mal , mme si elle reconnat que quelques concessions simposent parfois.
Dans The message of psychic sciences to the world , elle consacre un long chapitre
60

Maths en Ligne

Langage mathmatique

UJF Grenoble

lhomopathie o elle revient avec insistance sur le traitement par le froid du refroidissement. Outre la dfinition de lhomopathie reproduite ci-dessus, voici ce quon y
lit.
The treatment for chronic coldness of the feet may consist, if the patient is
strong, in making him walk for a few minutes on rough gravel in a brook ;
if he is delicate and weakly, you should at bed-time first get the feet thoroughly warm by some antipathic means, and then give a shock of cold
water followed by rubbing.
[. . . ]
Thus you have a child whose circulation is defective, and who is constantly
chilly. How will you correct this evil state of thing ? Plunge him roughly
into ice-cold water regardless of his screams ? Send him out fasting after his
morning bath to creep along for an hour as best he may, with benumbed
limbs and a more benumbed heart, through snow and wind and early fog ?
keep him half the day in a fireless room insufficiently clad, by way of hardening him ? and punish him for temper when he cries in sullen misery ?
That would be homeopathic treatment, certainly, after a fashion ; and a
good deal of such was practised in the early days of homeopathy and the
water-cure ; and even under the eyes of the founders of both systems.
[. . . ]
If the vital energy has been by any chance overtaxed, the patient should
be treated, for a time, not with homeopathic but with antipathic remedies.
Thus, rubbing with snow is sufficient treatment for a frozen limb ; but a man
who is suffering from general exposure to cold, or chilly from over-fatique
and hunger, needs warmth.
a fait froid dans le dos, vous ne trouvez pas ?

3.7

Le rve de Hilbert

Durant lt 1900 un congrs international de mathmatiques se tenait Paris. Le

8 aot, David Hilbert (18621943) y donne une confrence mmorable ; selon Charles
Hermite, on nentendra plus jamais dans les congrs de confrences pareilles . Quat-il donc racont ? Un thorme exceptionnel que lui seul pouvait dmontrer ? Une
nouvelle thorie ? Pas du tout. Il stait content dnoncer 23 problmes, ceux qui
selon lui feraient progresser la recherche en mathmatiques durant le sicle qui allait
commencer. Le plus impressionnant est que le sicle en question, qui vient de sachever,
lui a trs largement donn raison !
Dans plusieurs de ces problmes, et en particulier dans le dixime, Hilbert pose la
question du fondement mme du raisonnement mathmatique. Il souhaitait rendre explicite un systme axiomatique formel universel . En ces temps de scientisme triomphant, personne ne doutait que ce soit possible, et que les mathmatiques finiraient
bien, aprs tant de victoires sur la nature, par russir sexpliquer elles-mmes.
61

Maths en Ligne

Langage mathmatique

UJF Grenoble

Hilbert recherchait un systme comportant des axiomes et des rgles de dduction. Un

axiome est une assertion que lon dclare vraie a priori : par exemple 0 < 1. Nous avons
vu les rgles de dduction de la logique, et le moyen de dclarer vraie ou fausse une
assertion compose, en utilisant les tables de vrit. Hilbert souhaitait un systme :
consistant : aucune assertion ne peut tre la fois vraie et fausse ;
complet : toute assertion est soit vraie soit fausse ;
dcidable : il existe une procdure finie qui permet de vrifier si une assertion
donne est vraie ou fausse.
On peut dmontrer quun systme consistant et complet est forcment dcidable. Une
procdure de dcision consiste ranger toutes les formules possibles dabord par ordre
de longueur, puis par ordre lexicographique pour les formules de mme longueur. Si
on doit vrifier lassertion A, on parcourt les formules une par une en vrifiant pour
chacune si elle est valide et si elle entrane A ou bien A. Ce nest pas trs efficace,
mais cela conduira forcment au rsultat !
En 1931 Kurt Gdel (19061978) ruine le rve de Hilbert : il dmontre que dans tout
systme formel contenant larithmtique des entiers, il existe des proprits telles que
lon ne peut prouver ni quelles sont vraies, ni quelles sont fausses : on dit quelles
sont indcidables. La dmonstration de Gdel est trop difficile pour tre expose ici,
mais elle ressemble dans ses grandes lignes celle de la proposition 15. Il considre un
systme consistant pour larithmtique des entiers. Il construit alors une assertion sur
les nombres entiers qui exprime par elle-mme quelle nest pas dnombrable : si elle
est vraie, alors elle est fausse, et si elle est fausse, alors elle est vraie. Il en dduit que
le systme ne peut pas tre complet.
Parmi les exemples dassertions indcidables, laxiome du choix est le plus clbre.
Il sagit de lassertion affirmant que si un ensemble E est muni dune relation dquivalence, alors on peut choisir dans chacune des classes dquivalence un lment particulier. Cest vident si les classes dquivalence sont finies ou dnombrables, mais cela
ne lest pas en gnral. On peut le supposer vrai, ou bien faux, sans jamais aboutir
une contradiction.
Loin de sonner le glas de la recherche sur les systmes formels, le rsultat ngatif
de Gdel a donn une impulsion dcisive la logique, conduisant en particulier avec
Alan Turing (19121954), aux fondements de linformatique thorique.

3.8

La langue universelle de Peano

Lhistoire des mathmatiques sest souvent faite lenvers du sens o elles vous sont
enseignes. Les drives ont t utilises avant la notion de continuit, les fonctions
continues avant la dfinition rigoureuse des limites, les limites avant la dfinition de R,
et cette dernire avant laxiomatisation des nombres entiers. Il faut dire que, jusqu
la fin du xixe sicle, pas grand-monde ne songeait dfinir les vidences . Parmi
les propagandistes de la nouvelle exigence de rigueur, lun des plus intransigeants fut

62

Maths en Ligne

Langage mathmatique

UJF Grenoble

Giuseppe Peano (18581932), qui on doit justement la premire axiomatique de N,

entre autres.
Son uvre majeure est le Formulaire de Mathmatiques, publi en 5 tomes. Le plus
grand intrt est la publication de collections de tous les thormes connus actuellement
[. . . ] Une telle collection qui serait longue et difficile en langage ordinaire, est rendue
notablement plus facile en utilisant la notation de la logique mathmatique . Euh,
a dpend pour qui ! Comme prparation la lecture du Formulaire, Peano crit un
mmoire dune cinquantaine de pages, uniquement ddi lnonc des Notations de
Logique Mathmatique . Voici ce quil dit dans lintroduction.
Leibniz a nonc, il y a deux sicles, le projet de crer une criture universelle, dans laquelle toutes les ides composes fussent exprimes au moyen
de signes conventionnels des ides simples, selon des rgles fixes.
la solution de ce problme a contribu dabord le dveloppement de lcriture algbrique, qui sest beaucoup perfectionne aprs Leibniz. Au moyen
des signes +, , =, >, etc., des parenthses et des lettres de lalphabet, elle
permet dcrire en symboles quelques propositions. Mais ce qui a le plus
contribu la solution du problme, cest la nouvelle et importante science
quon appelle Logique Mathmatique, et qui tudie les proprits formelles
des oprations et des relations de logique.
[. . . ]
Par la combinaison des signes dAlgbre et de Logique, on peut exprimer en
symboles des oprations toujours plus longues et plus compltes, et le rsultat auquel on est arriv dans ces dernires annes, est quon peut reprsenter
toutes les oprations de logique avec peu de signes, ayant une signification
prcise, et assujettis des rgles bien dtermines. En consquence, en introduisant des signes pour indiquer les ides de lAlgbre, ou bien de la
Gomtrie, on peut noncer compltement en symboles les propositions de
ces sciences.
Le problme avec Peano est quil mettait ses thories en application. Il navait pas
son pareil pour dtecter des fautes logiques, ou pour dmolir par un contre-exemple
lnonc incomplet dun collgue. Et il ne mchait pas ses mots : Nous pourrions
continuer sans fin numrer les absurdits que lauteur a empiles. Mais ces erreurs,
le manque de prcision et de rigueur tout au long du livre, lui tent toute valeur .
Il tait persuad de la justesse de son approche pdagogique : Chaque professeur
pourra utiliser le Formulaire comme un livre de cours, car il contient tous les thormes et toutes les mthodes. Son enseignement se rduira montrer comment lire les
formules, et indiquer aux tudiants les thormes quil souhaite expliquer dans son
cours . Mais ce ntait pas tout. Pour lui, le langage mathmatique tait indissociable
du langage naturel, et il souhaitaitait comme tant dautres avant lui (dont Descartes
et Leibniz) une Langue Universelle. Il avait dfini une version simplifie du latin, le
Latine Sin Flexione . Non content dtre des litanies de formules, ses cours taient
63

Maths en Ligne

Langage mathmatique

UJF Grenoble

en plus crits dans cette langue, quil utilisait aussi pour son enseignement oral. Ajoutez cela quil se moquait perdument de suivre un programme ! Le mathmaticien
italien le plus clbre de son temps tait devenu vers la fin de sa carrire un rel problme pour son universit. On dcida de lui retirer tous les cours classiques, et on cra
spcialement un cours de Complments de Mathmatiques o il pourrait enseigner
ce quil voudrait. Il en fut si content quil accepta pour une fois denseigner en Italien
plutt quen Latine Sin Flexione .
Mais peut-tre auriez vous aim lavoir comme professeur : voici ce quil crivait
dans un journal de Turin en 1912 sous le titre Contre les examens .
Cest un crime contre lhumanit. On ne doit pas torturer les tudiants avec
des examens destins tablir si oui ou non ils connaissent des notions qui
sont inconnues de la plus grande partie du public duqu.

3.9

Les cardinaux infinis

Combien y a-t-il dentiers naturels, de rationnels, de rels ? Une infinit bien sr.
Mais linfinit des rels est plus grande que linfinit des rationnels. Pour donner un
sens cette affirmation, il faut dabord dfinir ce quest un ensemble dnombrable.
Dfinition 12. Un ensemble infini est dit dnombrable sil existe une application injective de cet ensemble vers N.
Il peut paratre paradoxal que Q soit dnombrable. Cest pourtant le cas, car il
existe une application injective de Q vers Z N ( un rationnel p/q on associe le
couple (p, q)), et une application bijective de Z N dans N : on compte les lments
de Z N, en commenant par (0, 0), puis (1, 0), (0, 1), (1, 0), puis (2, 0), (1, 1), (0, 2),
(1, 1), (2, 0), . . . Plus gnralement, on dmontre que le produit et la runion de
deux ensembles dnombrables sont eux-mmes dnombrables.
Thorme 4. Lensemble des rels nest pas dnombrable.
Dmonstration : Nous allons dmontrer par labsurde que lintervalle [0, 1] nest pas
dnombrable. Supposons que lon puisse compter les lments de [0, 1], donc les mettre
en bijection avec N. Nous aurions [0, 1] = {xn , n N}. llment xn , nous associons
un dveloppement dcimal :
xn = 0.an,1 an,2 an,3 . . . ,
o les an,k sont des entiers compris entre 0 et 9. Pour tout n, fixons bn {1, . . . , 8}, tel
que bn 6= an,n . Considrons le rel x dont le dveloppement dcimal est
x = 0.b1 b2 b3 . . .
Ce rel est diffrent de xn pour tout n, par construction. Il na donc pas pu tre compt.
64

Maths en Ligne

Langage mathmatique

UJF Grenoble

(Ce principe de dmonstration sappelle le procd diagonal de Cantor).

Il y a plus de rels que de rationnels, et donc plus dirrationnels que de rationnels.

Parmi les irrationnels, on distingue
ceux qui sont solutions dune quation polynomiale

coefficients entiers, comme 2 : on les appelle les nombres algbriques. Ils semblent
former une grosse masse. Pourtant il ny a pas plus de polynmes coefficients entiers que dentiers : lensemble des nombres algbriques est lui aussi dnombrable. Les
nombres qui ne sont pas algbriques (on les appelle transcendants ) forment lessentiel des rels. Pourtant il est extrmement difficile de dmontrer quun rel particulier
est transcendant. Cest une des victoires du xixe sicle que de lavoir fait pour et e.
Existe-t-il des ensembles intermdiaires entre N et R, qui seraient non dnombrables, sans pourtant tre en bijection avec R ? Cest le premier des 23 problmes poss
par Hilbert en 1900. On a longtemps essay den construire, ou de dmontrer quil nen
existe pas, avant de sapercevoir finalement que cest une assertion indcidable : on
peut la supposer vraie, ou bien fausse, sans jamais aboutir une contradiction. Elle
sappelle lhypothse du continu .

3.10

Ensembles quotients

Bertrand Russel (18721970) a dit It must have required many ages to discover
that a brace of pheasants and a couple of days were both instances of the number two .
Nous avons vu cela sous une forme moins image : le cardinal dun ensemble peut tre
dfini comme la classe dquivalence des ensembles en bijection avec lui.
la base des mathmatiques, comme de toute activit intellectuelle se trouvent les
concepts. Concept en mathmatiques se dit classe dquivalence : cela dsigne une bote
fictive dans laquelle nous pouvons ranger toutes sortes dobjets, pourvu quils aient
une proprit commune. Une fois la bote remplie, et dment pourvue dune tiquette
nommant la proprit quelle reprsente, on peut oublier son contenu et ne plus garder
que ltiquette qui pourra dailleurs devenir un nouvel objet. Cette facult dabstraire
des proprits communes est essentiellement humaine. Cest larme qui nous a permis de
prendre une telle avance dans la lutte darwinienne pour la survie de lespce. Parce que
lhomme prhistorique voyait un rapport entre un bras qui frappe et une branche qui
tombe, il a t capable dinventer la massue. Cest aussi la base du langage. Tout mot est
une classe dquivalence : bleu ou table ne sont que des botes pouvant contenir
des objets diffrents. Le miracle est que ces classes dquivalence soient transmissibles :
que deux humains diffrents puissent tre globalement daccord sur les contenus de
leurs botes.
En mathmatiques, les relations dquivalence servent fabriquer toutes sortes densembles. Nous nen donnerons quun exemple, la construction de lensemble Q des
rationnels partir de lensemble des entiers.
Un rationnel est le rapport de deux nombres entiers, lun entier relatif, lautre entier

65

Maths en Ligne

Langage mathmatique

naturel non nul.

Q=

p
, (p, q) Z N
q

UJF Grenoble

Deux couples dentiers peuvent reprsenter le mme rationnel.

p Z , q N

p0
p
= 0 pq 0 = qp0
q
q

Oublions maintenant les rationnels et supposons que nous ne connaissions que lensemble E = Z N . Considrons la relation R dfinie sur E de la faon suivante.
(p, q)R(p0 , q 0 ) pq 0 = qp0 .
Il est facile de vrifier quelle est rflexive, symtrique et transitive : cest une relation dquivalence. Lensemble quotient E/R est prcisment lensemble des rationnels.
Mais pour que cette dfinition soit utilisable, il faut la complter par les oprations dont
nous avons besoin : addition, multiplication, ordre total.
1. addition : considrons lapplication de E E vers E qui deux couples (p, q)
et (r, s) associe le couple (ps + rq, qs). Cest bien ce que nous attendons de
laddition des rationnels : p/q + r/s = (ps + rq)/qs. Lapplication que nous
avons dfinie passe au quotient : si (p0 , q 0 )R(p, q) et (r0 , s0 )R(r, s), alors (p0 s0 +
r0 q 0 , q 0 s0 )R(ps + rq, qs) (vrifiez. . . !). Si on la transporte sur lensemble quotient,
cette application dfinit laddition des rationnels.
2. multiplication : considrons lapplication de E E vers E qui deux couples (p, q)
et (r, s) associe le couple (pr, qs). Cest ce que nous attendons de la multiplication
des rationnels : (p/q)(r/s) = (pr)/(qs). Comme ci-dessus, si on la transporte sur
lensemble quotient, lapplication dfinit la multiplication des rationnels.
3. ordre : considrons la relation O sur E dfinie par :
(p, q)O(r, s) (ps 6 rq)
Mme technique : une fois transporte sur lensemble quotient, la relation O
devient la relation dordre total que nous attendons sur Q.
Ce que nous venons de dcrire pour lensemble des rationnels est un cas particulier
dune procdure trs gnrale, qui consiste rajouter ce qui manque un ensemble en
dfinissant une relation dquivalence sur un ensemble plus gros. Ainsi on peut dfinir
Z partir de N, puis Q partir de N et Z, puis R partir de Q puis C partir de R.
Cela sert aussi pour des espaces de fonctions, et encore bien dautres objets que vous
rencontrerez plus tard.

66

Maths en Ligne

3.11

Langage mathmatique

UJF Grenoble

Dmonstrations non constructives

Lassertion x est fausse (par dfinition lensemble vide ne contient aucun lment). Toute implication qui commence par x est forcment vraie, par dfinition
de limplication. Il est donc indispensable, avant de se lancer dans la dmonstration
dune implication, de vrifier que les hypothses ne sont pas vides, cest--dire quelles
sont satisfaites par au moins un objet. Sans cela, on pourrait en dduire tout et nimporte quoi. Par exemple lassertion suivante est mathmatiquement correcte, mme si
nous ne vous conseillons pas de lapprendre par cur :
Soit n un entier tel que m N, n > m. Alors 1 = 0.
Lhypothse est vide : aucun entier nest suprieur tous les autres.
Une grande partie de lactivit mathmatique consiste dmontrer que des hypothses ne sont pas vides, cest--dire quil existe au moins un objet qui les vrifie. On
appelle cela un thorme dexistence . Il est trs possible de dmontrer lexistence
dun objet sans tre capable de lexhiber, ni mme de donner un algorithme permettant
de le calculer. Voici un exemple clbre.
Proposition 14. Il existe deux nombres irrationnels x et y tels que xy soit rationnel.
2

Dmonstration : Nous avons vu que le nombre 2 est irrationnel. Essayons 2 : il

est soit rationnel,
soit irrationnel.
2

Si 2 est rationnel, la proposition est

dmontre, puisque x = y = 2 convient.
2
2

Si 2 est irrationnel, posons x = 2 , et y = 2. Alors

y

x =

 2
2

2
2 =2Q,

et la proposition est galement dmontre.


2

Rien dans cette dmonstration ne permet de savoir si 2 est ou non rationnel,

et donc lexistence de x et y est dmontre sans quon puisse exhiber un seul exemple.
On dit que la dmonstration est non constructive .
Certains mathmaticiens, la suite de Luitzen Brouwer (18811966), affirment
quil nest pas acceptable de dmontrer un thorme dexistence sans tre capable de
construire au moins un objet vrifiant la proprit. Ils considrent que cela revient
peu prs affirmer que les licornes existent parce quon trouve la dfinition du mot
licorne dans les dictionnaires. vous de juger. . .

3.12

Lensemble de tous les ensembles

. . . nexiste pas ! Un ensemble E nest dfini que si pour tout objet x lnonc
(x E) (x E) est faux.
67

Maths en Ligne

Langage mathmatique

UJF Grenoble

Proposition 15. Lensemble de tous les ensembles nexiste pas.

Dmonstration : Cest un exemple de dmonstration par labsurde. Supposons que
lensemble de tous les ensembles existe, et notons-le E. Notons A lensemble
A = {x E ;

x
/ x} .

Comme E contient tous les ensembles, A appartient E. Est-ce que A appartient

A?
si A A alors par dfinition de A, A
/ A,
si A
/ A alors par dfinition de A, A A.
Lassertion A A ne peut pas tre vraie et fausse en mme temps, cest donc que
lhypothse de dpart (E existe) tait fausse.

Des versions plus prosaques de ce paradoxe sont connues depuis lantiquit. Par
exemple :
Epimnide le Crtois a dit : tous les Crtois sont des menteurs
ou bien
Le barbier rase tous ceux qui ne se rasent pas eux-mmes.
Dautres notions, apparemment claires, ne sont pas dfinies parce quelles conduisent une contradiction. Par exemple :
Le plus petit nombre quon ne puisse pas dfinir en moins de vingt mots
(la phrase ci-dessus comporte quinze mots).

68