Philosophie de l’infini
L’infini (symbole ∞, introduit par Wallis en 1655) est l’un des concepts les plus anciens et les plus profonds de la pensée humaine. Il désigne ce qui n’a pas de fin, de limite, ou ce qui surpasse tout nombre fini. En mathématiques, l’infini n’est pas un nombre ordinaire — il suit ses propres règles.
« L’infini est nulle part davantage dans son domaine que dans les mathématiques. »— David Hilbert
Infini potentiel
Aristote distinguait l’infini potentiel (on peut toujours ajouter 1) de l’infini actuel (un tout infini existant). Il n’acceptait que le premier.
Infini actuel
Cantor a brisé le tabou aristotélicien en traitant les ensembles infinis comme des objets mathématiques complets, aux propriétés rigoureusement établies.
Infini en physique
L’univers est-il fini ou infini ? La cosmologie moderne penche pour un univers fini mais sans bord. Les infinis en physique (singularités) signalent souvent une limite de la théorie.
Histoire du concept
Nombres cardinaux infinis
Cantor a montré qu’il existe une hiérarchie d’infinis de « tailles » différentes, mesurées par les nombres cardinaux. Deux ensembles ont le même cardinal si on peut établir une bijection entre eux.
ℕ ~ ℤ ~ ℚ (même cardinal)
Les entiers naturels, relatifs et rationnels ont tous le même cardinal ℵ0. Il existe une bijection de ℕ vers ℚ : la diagonale de Cantor.
|ℝ| > |ℕ| (strictement plus grand)
Les réels ne sont pas dénombrables. La preuve par diagonale de Cantor (1891) : toute liste supposée exhaustive des réels peut être étendue par un réel non listé.
L’argument diagonal de Cantor
En 1891, Cantor démontre que l’ensemble des parties d’un ensemble E est strictement plus grand que E, quel que soit E (fini ou infini). Appliqué à ℕ, il en découle que les réels sont non dénombrables.
Ce théorème est la base de la hiérarchie cantorienne des infinis : il existe une infinité d’infinis de cardinalités différentes, ordonnés par les « alephs » ℵ0 < ℵ1 < ℵ2 <…
Nombres ordinaux transfinis
Les ordinaux généralisent la notion d’ordre : 0, 1, 2, … sont les ordinaux finis. Après tous les entiers vient ω (oméga), le premier ordinal transfini.
Les ordinaux transfinis ne sont pas seulement des tailles mais des ordres : ω+1 et ω+2 sont des ordinaux différents même si leur cardinal est le même (ℵ0). L’ordinal ε0 est le plus petit ordinal tel que ωε0 = ε0 — il joue un rôle crucial dans la théorie de Gentzen de la cohérence de l’arithmétique de Peano.
L’hypothèse du continu
L’hypothèse du continu (HC) affirme qu’il n’existe pas de cardinal strict entre ℵ0 (entiers) et 2ℵ0 (réels). Autrement dit : ℵ1 = 2ℵ0.
HC est cohérente avec ZFC : on ne peut pas réfuter HC à partir des axiomes ZFC.
La négation de HC est aussi cohérente avec ZFC : on ne peut pas prouver HC non plus.
HC est indécidable dans ZFC. Cohen a inventé le « forcing » pour le démontrer — une technique fondamentale de théorie des ensembles (Médaille Fields 1966).
Des axiomes forts supplémentaires (grands cardinaux, axiome de déterminabilité) peuvent résoudre HC dans un sens ou dans l’autre. La question de savoir quels axiomes « devraient » être adoptés reste ouverte et philosophiquement profonde.
Paradoxes de l’infini
🏨 L’Hôtel de Hilbert
Un hôtel avec une infinité dénombrable de chambres, toutes occupées. Un nouveau client arrive : il suffit de déplacer chaque client de la chambre n à la n+1. La chambre 1 se libère. Même une infinité de nouveaux clients peut être logée.
🐢 Achille et la tortue
Zénon : Achille donne une avance à la tortue. Quand il atteint sa position initiale, elle a avancé. Et ainsi à l’infini. Donc Achille ne la rattrapera jamais. La résolution : une série géométrique infinie peut avoir une somme finie.
🛑 Paradoxe de Banach-Tarski
Théorème (1924) : il est théoriquement possible de découper une sphère en un nombre fini de morceaux et de les réassembler en deux sphères de même taille. Repose sur l’axiome du choix et des ensembles non-mesurables.
🍴 Paradoxe de Grandi
La série 1 − 1 + 1 − 1 + … Sommée par groupes de 2 : (1−1)+(1−1)+… = 0. Autrement : 1−(1−1+1−…) = 1−S, donc S = ½. La régularisation de Cesàro donne effectivement ½. La série diverge au sens classique.
Limites, suites et séries
En analyse classique, l’infini n’apparaît pas comme objet mais comme processus : une suite « tend vers l’infini », une série « converge » ou « diverge ».
L’analyse non-standard (Abraham Robinson, 1961) formalise rigoureusement les infiniment petits et infiniment grands d’Archimède et Leibniz en étendant le corps des réels au corps des hyper-réels *ℝ. Elle offre une alternative logiquement équivalente à la formulation ε–δ.