Démonstration de Furstenberg de l'infinité des nombres premiers
En théorie des nombres, la démonstration de Furstenberg de l'infinitude de l'ensemble des nombres premiers procède en définissant une topologie particulière sur l'ensemble des entiers relatifs[1],[2]. Publiée en 1955 alors que Hillel Furstenberg n'était encore qu'un étudiant undergraduate de la Yeshiva University, elle faisait moins de dix lignes[3]. Contrairement à la démonstration d'Euclide, celle de Furstenberg est non effective car elle équivaut[2] à un raisonnement par l'absurde.
Démonstration de Furstenberg
Furstenberg définit une topologie sur l'ensemble ℤ des entiers relatifs, en prenant pour base d'ouverts les progressions arithmétiques sur ℤ, c'est-à-dire les ensembles de la forme
pour a ≠ 0 et b entiers.
Les axiomes d'une base de topologie sont aisément vérifiés :
- ℤ est recouvert par les S(a, b) (il est même égal à l'un d'entre eux : la suite S(1, 0)) ;
- tout entier x commun à deux suites S(a1, b1) et S(a2, b2) appartient à une sous-suite commune S(a, b) (en prenant pour a le plus petit commun multiple de a1 et a2 et pour b, l'élément x).
Cette topologie[1] a deux propriétés remarquables :
- Puisque tout ouvert non vide contient une suite infinie, aucun ensemble fini non vide n'est ouvert ; autrement dit, le complémentaire d'un ensemble fini non vide ne peut être un ensemble fermé.
- Les ensembles de base S(a, b) sont à la fois ouverts et fermés : ils sont ouverts par définition, et on peut écrire S(a, b) comme le complémentaire d'un ensemble ouvert de la manière suivante :
Les seuls entiers qui ne sont pas des entiers multiples d'un nombre premier sont −1 et +1, c'est-à-dire que
D'après la première propriété, cet ensemble n'est pas fermé. Ce n'est donc pas une réunion finie de fermés. Or d'après la seconde propriété, les ensembles S(p, 0) sont fermés. Donc la réunion ci-dessus n'est pas finie, c'est-à-dire qu'il existe une infinité de nombres premiers.
Reformulation sans topologie
La démonstration peut être reformulée sans topologie, en utilisant essentiellement le fait qu'une intersection finie de progressions arithmétiques est vide ou infinie, et donc qu'il en est de même pour une réunion finie de telles intersections[4].
Notes et références
- ↑ a et b Cette topologie est étudiée en détail dans (en) Lynn Arthur Steen et J. Arthur Seebach, Jr., Counterexamples in Topology, Dover, , 244 p. (ISBN 978-0-486-68735-3, lire en ligne), p. 80-81 ; les auteurs la nomment topologie des entiers uniformément espacés (« Evenly spaced integer topology »).
- ↑ a et b Martin Aigner et Günter M. Ziegler, Raisonnements divins, p. 5.
- ↑ (en) Harry Furstenberg, « On the infinitude of primes », American Mathematical Monthly, vol. 62, no 5, , p. 353 (DOI 10.2307/2307043, lire en ligne).
- ↑ Voir (en) Idris D. Mercer, « On Furstenberg's Proof of the Infinitude of Primes », American Mathematical Monthly, vol. 116, , p. 355–356 (DOI 10.4169/193009709X470218, lire en ligne).
Lien externe
(en) « Furstenberg's proof that there are infinitely many prime numbers », sur everything2.com
Portail des mathématiques