Furstenberg's proof of the infinitude of primes
In mathematics, particularly in number theory, Hillel Furstenberg's proof of the infinitude of primes is a topological proof that the integers contain infinitely many prime numbers. When examined closely, the proof is less a statement about topology than a statement about certain properties of arithmetic sequences.[1][2] Unlike Euclid's classical proof, Furstenberg's proof is a proof by contradiction. The proof was published in 1955 in the American Mathematical Monthly while Furstenberg was still an undergraduate student at Yeshiva University.
Furstenberg's proof
Define a topology on the integers , called the evenly spaced integer topology, by declaring a subset U ⊆ to be an open set if and only if it is a union of arithmetic sequences S(a, b) for a ≠ 0, or is empty (which can be seen as a nullary union (empty union) of arithmetic sequences), where
Equivalently, U is open if and only if for every x in U there is some non-zero integer a such that S(a, x) ⊆ U. The axioms for a topology are easily verified:
- ∅ is open by definition, and is just the sequence S(1, 0), and so is open as well.
- Any union of open sets is open: for any collection of open sets Ui and x in their union U, any of the numbers ai for which S(ai, x) ⊆ Ui also shows that S(ai, x) ⊆ U.
- The intersection of two (and hence finitely many) open sets is open: let U1 and U2 be open sets and let x ∈ U1 ∩ U2 (with numbers a1 and a2 establishing membership). Set a to be the least common multiple of a1 and a2. Then S(a, x) ⊆ S(ai, x) ⊆ Ui.
This topology has two notable properties:
- Since any non-empty open set contains an infinite sequence, a finite set cannot be open; put another way, the complement of a finite set cannot be a closed set.
- The basis sets S(a, b) are both open and closed: they are open by definition, and we can write S(a, b) as the complement of an open set as follows:
The only integers that are not integer multiples of prime numbers are −1 and +1, i.e.
By the first property, the set on the left-hand side cannot be closed. On the other hand, by the second property, the sets S(p, 0) are closed. So, if there were only finitely many prime numbers, then the set on the right-hand side would be a finite union of closed sets, and hence closed. This would be a contradiction, so there must be infinitely many prime numbers.
Topological properties
The evenly spaced integer topology on is in fact just the topology induced by the inclusion , where is the profinite integer ring with its profinite topology.
It is homeomorphic to the rational numbers with the subspace topology inherited from the real line,[3] which makes it clear that any finite subset of it, such as , cannot be open.
Notes
- ^ Mercer, Idris D. (2009). "On Furstenberg's Proof of the Infinitude of Primes" (PDF). American Mathematical Monthly. 116 (4): 355–356. CiteSeerX 10.1.1.559.9528. doi:10.4169/193009709X470218.
- ^ Clark, Pete L. (2017). "The Euclidean Criterion for Irreducibles". The American Mathematical Monthly. 124 (3): 198–216. doi:10.4169/amer.math.monthly.124.3.198. ISSN 0002-9890. JSTOR 10.4169/amer.math.monthly.124.3.198. S2CID 92986609. See discussion immediately prior to Lemma 3.2 or see Section 3.5.
- ^ Broughan, Kevin A. (August 2003). "Adic Topologies for the Rational Integers". Canadian Journal of Mathematics. 55 (4): 711–723. doi:10.4153/CJM-2003-030-3. ISSN 0008-414X. S2CID 121286344.
References
- Aigner, Martin; Ziegler, Günter M. (1998). "Proofs from The Book". Berlin, New York: Springer-Verlag.
{{cite journal}}
: Cite journal requires|journal=
(help) - Furstenberg, Harry (1955). "On the infinitude of primes". American Mathematical Monthly. 62 (5): 353. doi:10.2307/2307043. JSTOR 2307043. MR 0068566.
- Mercer, Idris D. (2009). "On Furstenberg's Proof of the Infinitude of Primes" (PDF). American Mathematical Monthly. 116 (4): 355–356. CiteSeerX 10.1.1.559.9528. doi:10.4169/193009709X470218.
- Keith conrod https://kconrad.math.uconn.edu/blurbs/ugradnumthy/primestopology.pdf
- Lovas, R.; Mező, I. (2015). "Some observations on the Furstenberg topological space". Elemente der Mathematik. 70 (3): 103–116. doi:10.4171/EM/283. S2CID 126337479.