Added to Favorites

Related Searches

Definitions

In number theory, Hillel Furstenberg's proof of the infinitude of primes is a celebrated 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. Like Euclid's classical proof, Furstenberg's 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

## References

## External links

Define a topology on the integers Z by declaring a subset U ⊆ Z to be an open set if and only if it is either the empty set, ∅, or it is a union of doubly infinite arithmetic sequences S(a, b), where

- $S(a,\; b)\; =\; \{\; a\; n\; +\; b\; |\; n\; in\; mathbf\{Z\}\; \}\; =\; a\; mathbf\{Z\}\; +\; b.$

In other words, U is open if and only if every x ∈ U admits some non-zero integer a such that S(a, x) ⊆ U. The axioms for a topology are easily verified:

- By definition, ∅ is open; Z 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 U
_{i}and x in their union, any of the numbers a_{i}for which S(a_{i}, x) ⊆ U_{i}also shows that S(a_{i}, x) ⊆ U. - The intersection of two (and hence finitely many) open sets is open: let U
_{1}and U_{2}be open sets and let x ∈ U_{1}∩ U_{2}(with numbers a_{1}and a_{2}establishing membership). Set a to be the lowest common multiple of a_{1}and a_{2}. Then S(a, x) ⊆ S(a_{i}, x) ⊆ U_{1}∩ U_{2}.

The topology is quite different from the usual Euclidean one, and has two notable properties:

- Since any non-empty open set contains a doubly infinite sequence, no finite set can be open; put another way, the complement of a finite set cannot be a closed set.
- The "simple sets" S(a, b) are both open and closed: we can write S(a, b) as the complement of an open set as follows:

- $S(a,\; b)\; =\; mathbf\{Z\}\; setminus\; bigcup\_\{j\; =\; 1\}^\{a\; -\; 1\}\; S(a,\; b\; +\; j).$

The only integers that are not integer multiples of prime numbers are −1 and +1, i.e.

- $mathbf\{Z\}\; setminus\; \{\; -1,\; +\; 1\; \}\; =\; bigcup\_\{p\; mathrm\{,\; prime\}\}\; S(p,\; 0).$

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.

- Furstenberg, Harry (1955). "On the infinitude of primes".
*Amer. Math. Monthly*62 353.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Monday August 04, 2008 at 18:57:14 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Monday August 04, 2008 at 18:57:14 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.