QUESTIONS EPINEUSES DE L’INFINI

• Comment définir l’infini?

• Est-ce possible qu’un infini soit plus grand qu’un autre ?

• Combien existe-t-il d’infinis ? Comment les comparer ?

• Peut-on parler du plus petit et du plus grand infini ?

• Y a-t-il un infini compris entre le dénombrable et le continu ?

• … etc
L’INFINI: UN MOT, UNE DIVERSITÉ DE SENS
L’INFINI
Tout ce qui n’est pas fini !

Chose qui n'a pas de limite en nombre ou en taille.

-----------------

Des sens différents selon le contexte d’utilisation

(limite d’une suite, quantité infiniment petite,

cardinal infini, ordinal infini, … )
 L’INFINI EN TANT QUE CARDINALITÉ

CAS FINI
Le cardinal d’un ensemble
est le nombre d’éléments lui appartenant.

CAS INFINI
Problème !
 PHÉNOMÈNE ÉTRANGE
DES SOUS-ENSEMBLES AUSSI GRANDS QUE L’ENSEMBLE !

Bernhard Bolzano (1791-1848) Thâbit Ibn Qurrâ (836–901)

Il y a autant d’éléments dans Il y a autant d’entiers pairs que
l’intervalle réel [0,5] d’entiers
que dans [0,12].
 GEORG CANTOR (1845-1918)
L’INFINI : OBJET D’INVESTIGATION MATHÉMATIQUE

• Mathématicien et fondateur de
la théorie des ensembles ≡ la théorie de l’infini

• Arithmétique des nombres transfinis

(cardinaux et ordinaux)
 CADRE GÉNÉRAL DU TRAVAIL
ZFC = ZF+AC
Théorie des ensembles Zermelo-Fraenkel
+ Axiome du choix
Zermelo Fraenkel

• Elaborée au début du 20ème siècle

• Le cadre le plus utilisé par les mathématiques modernes.
• Elle échappe aux paradoxes
• Permet d’axiomatiser la théorie des ensembles
AXIOME DE L’INFINI
Il existe un ensemble infini, qui contient une représentation des entiers naturels.
COMMENT COMPARER LES INFINIS ?
 L’ENSEMBLE ET LA PARTIE
1
4
CAS FINI 5
2
3
Une partie contient moins d’éléments que l’ensemble

CAS INFINI
Une partie peut contenir autant d’éléments que l’ensemble
COMMENT COMPARER LES INFINIS ?
IDEE DE GENIE
BIJECTION

E F (E et F sont équipotents)
il existe une bijection de E dans F
E et F Ont autant d’éléments
(même taille).

l’équipotence est une relation d’équivalence.

 CONSÉQUENCE
UNE AUTRE FAÇON POUR DÉFINIR
UN ENSEMBLE INFINI

Un ensemble est infini s’il est équipotent

à l’une de ses parties propres.

 COMMENT ORDONNER LES INFINIS ?

CAS FINI CAS INFINI

Card(E)≤Card(F)
il existe une injection de E vers F
E≤F
(E est subpotent à F)
il existe une injection de E vers F
E contient moins ou autant
d’éléments que F
 LA SUBPOTENCE EST UNE RELATION D’ORDRE TOTAL

Théorème de Cantor-Bernstein (1895-1896)

(A≤B et B≤A) A B
Bernstein

Théorème de comparabilité cardinale (F. Hartogs 1915)

A, B A ≤ B ou B ≤ A
Hartogs
 SUBPOTENCE STRICTE

E < F (E est strictement subpotent à F)

Il existe une injection de E dans F,

mais pas d'injection de F dans E

E ≤ F mais E et F ne sont pas équipotents.

(D’après le théorème de Cantor-Bernstein)

E contient moins d’éléments que F

 L’équipotence et la subpotence
permettent de définir une
comparaison de taille
entre les ensembles,
sans présupposer la construction
des nombres cardinaux.
L’INFINI DÉNOMBRABLE
LE PLUS PETIT INFINI
L’INFINI DÉNOMBRABLE
est dénombrable.

(il existe une injection de sur ).

E est équipotent à une partie de .

E est soit fini soit équipotent à .

On peut numéroter les éléments de E par une suite

(finie ou infinie) x0, x1, x2, . . .

 PROPRIÉTÉS

1.Toute partie d’un ensemble dénombrable est dénombrable.

2.L’union d’une famille dénombrable d’ensembles dénombrables

est aussi dénombrable.

3.Un produit fini d’ensembles dénombrables est dénombrable.

EXEMPLES D’ENSEMBLES INFINIS DÉNOMBRABLES

est dénombrable

Les entiers pairs

Les entiers impairs

Les nombres premiers

EXEMPLES D’ENSEMBLES INFINIS DÉNOMBRABLES
est dénombrable
 EXEMPLES D’ENSEMBLES INFINIS DÉNOMBRABLES
L’ensembles des nombres algébriques est dénombrable (Cantor, 1874)

∗
□ Etape 1. est dénombrable :
∗
□
∈ℕ avec Pn = l’ensemble des polynômes de degré n à coefficients entiers.
□ L’application Pn → , a0+ a1X +. . . + an (a0, . . . , an) est injective
∗
□ dénombrable Pn est dénombrable ∈ℕ dénombrable

∗ ∗
□ Etape 2. dénombrable ={q0, q1, . . . .}
□ Notons l’ensemble fini des racines de chaque .
□ L’ensemble des nombres algébriques = ∈ℕ qui est dénombrable
 EXEMPLES D’ENSEMBLES INFINIS DÉNOMBRABLES
L’ensemble des parties finies de est dénombrable.
S = l’ensemble des parties finies de
Sk l’ensemble des parties de contenant k éléments

Soit l’application
fk : Sk →
fk({x1 < x2 < … < xk }) = (x1, x2 , … , xk)

fk est injective Sk ≤
Sk dénombrable dénombrable
 DÉNOMBRABLE ≠ DISCRET

Un sous-ensemble D d'un espace topologique E est discret

si pour tout x de D, il existe un voisinage de x dans E ne
contenant aucun autre élément de D que x.

 et sont dénombrables et discrets dans .

 est dénombrable, mais pas discret dans .
 THÉORÈME
LE PLUS PETIT INFINI EST L’INFINI DÉNOMBRABLE
Soit un ensemble infini. Alors ≤ .
□ E contient un élément, soit e1.
□ E infini E \ {e1} non vide E \ {e1} contient un élément e2
□ E \{e1,e2} contient un élément e3
□ Ainsi de suite, on construit une suite infinie dénombrable
□ {e1 , e2 , e3 , …} dans E.
□ Conclusion
□ Tout ensemble infini E contient un sous-ensemble dénombrable.
 CONSÉQUENCE
NOUVELLE DÉFINITION D’UN ENSEMBLE INFINI

Un ensemble est infini

S’il contient un ensemble équipotent à

Notation de l’infini dénombrable:

L’INFINI CONTINU
 L’INFINI AU PLURIEL
et sont dénombrables
est-il dénombrable ?
Est-ce que tout ensemble infini est dénombrable ?
L’infini: unique ou multiple ?

Théorème (Cantor, 1874)

(Sur une propriété de la collection des nombres algébriques)

n’est pas dénombrable.

IMPOSSIBLE DE NUMÉROTER LES RÉELS !
 n’est pas dénombrable.
PREUVE : L'ARGUMENT DE LA DIAGONALE

Il suffit de démontrer que [0, 1[ n’est pas dénombrable.

Sinon : [0, 1[ = {a1, a2, a3, …}
a1 = 0, a11 a12 a13 …
a2 = 0, a21 a22 a23 …
a3 = 0, a31 a32 a33 …
…
Soit A=0,b1 b2 b3 b4 …. tel que
Alors A est différent de chaque ai et A [0, 1[. Absurde!
 n’est pas dénombrable PREUVE : L'ARGUMENT DE LA DIAGONALE

Exemple
a1 = 0, 0 1 5 2 4 3 6 …
a2 = 0, 1 5 2 5 2 3 4 … Avec cette suite, on trouve
a3 = 0, 7 5 1 5 0 3 6 …
a4 = 0, 3 2 2 0 4 3 6 … A = 0, 1 0 0 1 0 0 …
a5 = 0, 1 4 0 7 6 1 6 …
a6 = 0, 2 5 4 7 8 8 8 …

On construit A selon la règle suivante :

si la n-ième décimale de an est égale à 0,
alors la n-ième décimale de A est 1, sinon c’est 0.
 LA PUISSANCE DU CONTINU

Si un ensemble est équipotent à ,

on dit qu’il a la puissance du continu.

Notation de l’infini continu :

 L’infini n’est pas unique !
Il y en a au moins deux :
le dénombrable et le non dénombrable !

Avant Cantor : Depuis Cantor :

le fini et l’infini le fini et les « infinis » !
L’infini est une limite inatteignable L’infini est un objet mathématique
Le continu c’est autre chose que des nombres
infiniment proches les uns des autres
(Propriété vérifiée par )

Le continu, c’est avant tout des nombres

qu’on ne peut jamais numéroter !
 EXEMPLES D’ENSEMBLES
AYANT LA PUISSANCE DU CONTINU
Les intervalles ouverts, semi-ouverts et fermés de
 EXEMPLES D’ENSEMBLES
AYANT LA PUISSANCE DU CONTINU

 et généralement Il y a autant de
points dans un
L’ensemble des complexes segment d’un
millimètre que
L'ensemble des suites réelles dans tout l’espace
infini
L’ensemble des suites d’entiers
L'ensemble des fonctions continues de dans
 A LA PUISSANCE DU CONTINU
(CANTOR)

Autre notation de l’infini continu :

 L’ensemble des nombres transcendants (non algébriques)
a la puissance du continu
L’ensemble des algébriques
est dénombrable

l’ensemble des transcendants

a la puissance du continu
(non dénombrable)

Il y a beaucoup plus de
nombres transcendants que d’algébriques,
et d’irrationnels que de rationnels.
 CONSÉQUENCE ÉTRANGE 1
LA PLUPART DES RÉELS NE SONT PAS DÉFINISSABLES !

Définissable (accessible) ≡ peut être défini par une formule mathématique

Tous les algébriques sont définissables, mais pas tous les transcendants

Exemple de nombre définissable

En associant à chaque symbole mathématique un certain entier,

chaque réel définissable peut être codé par une suite finie d’entiers naturels.

L’ensemble de ces suites est dénombrable, alors que ne l’est pas.

On déduit que l’ensemble des nombres non définissables a la puissance du continu.

 CONSÉQUENCE ÉTRANGE 2
LA PLUPART DES RÉELS NE SONT PAS CALCULABLES !

Nombre calculable (Alan Turing, 1936) ≡ Réel pour lequel il existe un algorithme
permettant d'énumérer la suite de ses chiffres (éventuellement infinie).

Calculable ≠ Définissable
Tous les nombres calculables sont définissables

L'ensemble des réels calculables est dénombrable.

L'ensemble des réels non calculables a la puissance du continu

UNE INFINITÉ D’INFINIS
 EXISTE-T-IL D’AUTRES INFINIS
PLUS GRANDS QUE LE CONTINU ?

Cas fini
Card(P(E)) > Card(E)
En effet :
Card(E)=n Card(P(E))= >n
 THÉORÈME DE CANTOR (1891)
Soit E un ensemble infini. Alors E<P(E).
Preuve
g : E → P(E) , x {x} est injective E≤ P(E)
Il suffit alors de prouver que E et P(E) ne sont pas équipotents.
Sinon, il existe une application bijective f de E dans P(E).
Soit A = {x E|x f(x)}
A n'a pas d'antécédent par f. Sinon, il existe y de E tel que A = f(y).
 si y A, par construction de A, y f(y), c'est-à-dire que y A;
 si y A, toujours d'après la construction de A, y f(y) et donc y A.
Les deux hypothèses mènent bien à une contradiction.
 CONSÉQUENES DU THÉORÈME DE CANTOR
 Il y a d’autres infinis à part le dénombrable et le continu.

Par exemple celui de

 Pour tout infini, il existe un infini strictement supérieur

Il existe une infinité d’infinis !

Il n'existe pas de plus grand infini !

L’ensemble de tous les ensembles n'existe pas (paradoxe de Cantor),

car celui-ci inclurait l'ensemble de ses parties.

 CARDINAL D’UN ENSEMBLE INFINI

Dans la théorie ZFC, TRANSFINIS

on peut associer à tout ensemble un cardinal.

Le cardinal d'un ensemble

= le plus petit ordinal auquel
cet ensemble est équipotent.
 LES NOMBRES TRANSFINIS
UNE HIÉRARCHIE DANS L’INFINI

Théorème (Cantor)
Il existe une suite de cardinalités indexée par les ordinaux
ℵ₀ < ℵ1 < ℵ2 < … < … < ℵω < …
telle que tout ensemble infini a pour cardinalité un et un seul ℵ.
L’HYPOTHÈSE DU CONTINU
 HYPOTHÈSE DU CONTINU (CANTOR 1883)

le premier de la célèbre liste des 23 problèmes de Hilbert (1900)

ℵ1 = le cardinal qui suit immédiatement ℵ0

l’hypothèse du continu = Card(ℝ) = Card(P(ℕ))

ℵ1 Notation 𝟎 Card(P(ℕ))

L’hypothèse du continu généralisée Autre formulation

ℵk+1 = 𝒌 ℵ1 = 𝟎
 Théorème (Gödel, 1938)
Sauf si ZF est inconsistante (contradictoire),
l’hypothèse du continu n’est pas réfutable dans ZF.
Théorème (Cohen, 1963)
Sauf si ZF est inconsistante (contradictoire),
l’hypothèse du continu n’est pas prouvable dans ZF.

L’HYPOTHÈSE DU CONTINU EST INDÉCIDABLE DANS ZF ET ZFC !

A part ZF et ZFC
il y a des modèles pour lesquels l’hypothèse du continu est vraie
et d’autres pour lesquels elle est fausse
 DE L’OPPOSITION
À LA RECONNAISSANCE
 OPPOSITION DU COURANT CONSTRUCTIVISTE

Constructivisme
On ne peut démontrer l'existence
d'objets mathématiques qu'en
donnant une construction de ceux-ci

Dieu a créé les nombres naturels,

tout le reste est l'œuvre de l'homme.
Kronecker Leopold Kronecker
FIN TRISTE: PAUVRETÉ, FAIM ET DÉPRESSION
 VALEUR DES TRAVAUX DE CANTOR
 Valeur reconnue après sa mort par la société mathématique
 La théorie des ensemble est devenu un fondement des
mathématiques modernes
 Certaines preuves (comme l’argument de la diagonale) ont inspiré
des grands résultats de la logique du 20ème siècle (théorèmes
d’incomplétude de Gödel, construction d’ensembles indécidables par
Turing, … etc).
 Applications: Informatique théorique, théorie des nombres, … etc
 Intérêt philosophique
Personne ne nous chassera du paradis (de la théorie des ensembles)
que Cantor a créé pour nous
David Hilbert
« L'essence des mathématiques, c'est la liberté. »
Georg Cantor

Merci
pour votre attention