Homepage › Solution manuals › Ivan Niven › An Introduction to the Theory of Numbers › Exercise 1.3.52* (There are infinitely many primes, third proof (topological proof))
Exercise 1.3.52* (There are infinitely many primes, third proof (topological proof))
(For readers familiar with the rudiments of point-set topology.) We topologize the integers as follows: a set of integers is open if for every there is an arithmetic progression such that . (An arithmetic progression is a set of the form with .) Prove that arbitrary unions of open sets are open, and that finite intersections of open sets are open, so that these open sets define a topology in the usual sense. (From a more advanced perspective, this is known as a profinite topology.) As is usual in topology, we call a set closed if its complement is open. Let be an arithmetic progression. Prove that the complement of is a union of arithmetic progressions. Deduce that is both open and closed. Let denote the union over all prime numbers of the arithmetic progressions , and let denote the complement of . In symbols, and . Show that . Show that if there were only finitely many prime numbers then the set would be closed. From the observation that is not an open set, conclude that there exist infinitely many prime numbers.
Answers
Proof. a) We verify first that the open sets define a topology. Note that and are open sets.
Let be a family of open sets, and . Let be any element in . Then there is some such that . Since is open, there is an arithmetic progression such that . Moreover , thus . Since this is true for every , is an open set.
Now consider a family , where is finite, and . If , then for every . Therefore there are arithmetic progressions , such that , for for every . Thus there is such that
Consider the arithmetic progression
Then . Moreover, we will show that for every .
Let . Then for some . For every ,
where . Therefore . This proves
so
This shows that is an open set. So the open sets define a topology.
b) Let be an arithmetic progression. Since , we can assume . If is the remainder of the division of by , then , where , and
So we can always assume and to define an arithmetic progression.
We prove that is a (finite) union of arithmetic progressions. Let
If , then the Euclidean division of by gives . Moreover , otherwise . So
Conversely, if , then for some such that . Assume for contradiction that , then
The unicity of quotient and remainder in the Euclidean division shows that . This is a contradiction, because . So . This proves
So is a finite union of arithmetic progressions.
Since every element of is in the arithmetic progression , is open by definition.
Since is a finite union of arithmetic progressions, it is closed. So is both open and closed.
c) Write the set of prime numbers. Let
We show that .
First, for every prime number , so .
Now take . If , then . If (and ), is divisible by some prime number , so . This shows that , therefore , so
d) is not an open set. Otherwise , where is some arithmetic progression. Since is infinite, and finite, is impossible. So is not open.
If there were only finitely many prime numbers, then would be a finite union of closed sets (by part (b)), so would be itself a closed set. Then would be an open set.
This is a contradiction, so there are infinitely many prime numbers. □