Professional Documents
Culture Documents
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.
.
.
.
.
.
.
.
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
lentier
lentier
lentier
lentier
n
n
n
n
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
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)
B A = B B = A A B
V
V
V
V
F
F
V
F
V
V
F
F
F
V
V
V
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)
(A B) (A) (B) .
(8)
(A B) (A) (B) .
(9)
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)
(A B) (B C)
= (A C) .
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)
A = B
B = A .
(12)
A = B
(A) B
(A) ((B))
par (7)
((B)) (A)
par (2)
(B) = (A)
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
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} ,
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)
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)
(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
a A et b B } .
9
Langage mathmatique
Maths en Ligne
UJF Grenoble
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,
m+nN,
m+nN.
n + m < 10 ,
deviendra :
n, m N ;
n + m < 10 .
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 .
Maths en Ligne
Langage mathmatique
UJF Grenoble
x A , f (x) = y } .
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
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
Langage mathmatique
Maths en Ligne
1.
2.
3.
4.
5.
Si
Si
Si
Si
Si
UJF Grenoble
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
i 6= m f (i) 6= f (m) .
Langage mathmatique
Maths en Ligne
UJF Grenoble
x 6= i}
{1, . . . , n 1}
x si x < i,
x 7
x 1 si x > i.
Maths en Ligne
Langage mathmatique
UJF Grenoble
f (x) = y.
f (g(y)) = y.
i 6= j Ai Aj =
Alors
Card(A) =
r
X
i=1
17
Card(Ai ).
Langage mathmatique
Maths en Ligne
UJF Grenoble
r1
X
Card(Ai ).
i=1
r1
X
Card(Ai )
i=1
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
eE
eE
e .
1.
eE
e .
Card(f 1 ({y})) .
X
yf (E)
18
Maths en Ligne
Langage mathmatique
UJF Grenoble
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
rflexive, anti-
mRn
p | (m n)
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.
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 .
clR (i) = {i + np , n N} .
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 )
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
> 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.
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 ,
La ngation de B scrit :
x, y E ,
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
k + (n + 1) =
k=1
n(n + 1)
+ (n + 1) ,
2
k=
k=1
(n + 1)(n + 2)
,
2
(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
Maths en Ligne
Langage mathmatique
UJF Grenoble
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 ;
2. { n N ;
(m | n) = (m {1, n}) }.
3. { n N ;
(m | n) = (1 6 m 6 n) }.
4. { n N ;
5. { n N ;
6. { n N ;
7. { n N ;
Maths en Ligne
Langage mathmatique
UJF Grenoble
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) .
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) ?
2.2
Exercices
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) .
B A|B
F V
V
V
F V
V
F
Maths en Ligne
Langage mathmatique
UJF Grenoble
Langage mathmatique
Maths en Ligne
UJF Grenoble
(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 ;
7. {n N;
{l N;
6. {n N;
Langage mathmatique
Maths en Ligne
UJF Grenoble
n N , m N ,
(m | n) (n | m) ,
((m | n) (n | m)) = (m = n) ,
n N , m N , k N ;
(n | k) (m | k) .
Langage mathmatique
Maths en Ligne
UJF Grenoble
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 .
37
Langage mathmatique
Maths en Ligne
UJF Grenoble
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
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, 1]
x
[1, 1]
f (x)
R2 R2
(x, y) 7 (x + y, xy)
C2 C2
(x, y) 7 (x + y, xy)
Montrez que
(
g(x, y) = (, )
y = x
x x + = 0
2
Maths en Ligne
Langage mathmatique
UJF Grenoble
3. f :
R2 R
(x, y) 7 (x + y, x y)
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=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) .
Langage mathmatique
Maths en Ligne
UJF Grenoble
ARB
(x A B) (x cA cB) .
2.3
QCM
(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) .
Langage mathmatique
Maths en Ligne
A
B
C
D
E
UJF Grenoble
inclus dans cC B.
gal E.
disjoint de B.
gal cC (cA B).
inclus dans A B.
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.
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
(A B) = (A C)
(A B) = (A C)
B = C
(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 .
xSy
x2 y 2 6 x y .
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 .
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)
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
J=
(A B) = (A C)
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
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
C
C
(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
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 .
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 .
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) ,
51
Langage mathmatique
Maths en Ligne
UJF Grenoble
Complments
3.1
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
Maths en Ligne
Langage mathmatique
UJF Grenoble
53
Maths en Ligne
3.2
Langage mathmatique
UJF Grenoble
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
3.4
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
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
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
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
Maths en Ligne
Langage mathmatique
UJF Grenoble
3.8
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
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
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
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
Q=
p
, (p, q) Z N
q
UJF Grenoble
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
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
x =
2
2
2
2 =2Q,
2
3.12
. . . 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
x
/ x} .
68