## Cute Proofs: Topological Proof of the Infinitude of Primes.

### January 29, 2011

On my website (linked from somewhere here) I asked the question, "I want a more topological proof of the infinitude of primes." A peer of mine (I don’t know if he wants his name on this blog) took one look at my site in passing and as soon as he got to that part, he looked over to me without missing a beat and noted not only that he knew of such a proof — but he knew exactly where the book which had it was in the library. More impressive: this student is not even studying things related to topology!

The proof is from the book Proofs from THE BOOK by Aigner and Ziegler, which is a great book to read over, so I will not reproduce it *exactly* here. What I will do is try to explain it a little slower than they do. Let’s state exactly what we’re proving.

**Theorem. **There are an infinite number of primes in .

As with a number of topological proofs of algebraic things, we’re going to give a weird topology to a usual set. We’re going to use the set of integers, in this case, and our topology on this set is going to be to be as follows:

For with , we define the set

.

Now, what is in this set? Let’s take a few examples to get the feel.

So, okay, these are all the same set. Let’s try a different value of .

So this time, we’ve partitioned the set of integers into two different sets; the evens and the odds. Or, the multiples of 2, and then the multiples of 2 shifted "up" by one.

The same sort of thing will happen for all of these sets. will partition the set of integers into multiples of and translate the values over units. Okay? Okay.

Now, we need to define the *open sets *in this topology. No, those were not it. But we will use them! Let’s call a set open if either is empty or for every there is some such that is in .

Clearly, the whole space is open. Every is open. What about the set

?

Notice that the sequence is in there, so that’s for any . Similarly, the sequence is just for any . So, we have that this set is open. And you can sort of see that it’s the union of two pieces of this partition into 3rds of .

This brings us to another point: each set is also closed. Can you see why? If this divides into pieces, then just union together of them to get the remaining -th piece, which will be of the form .

Alright. Let’s sum up. is open and closed. Can we have a finite non-empty set which is open? No, we cannot: prove this for yourself. It’s easy to see that if is "inside" of it, then it must be infinite. Thus, every non-empty open set is infinite.

Now, what about primes? Well, think about any number besides and . What do we know about it? It has a prime decomposition! This means that if some number for some prime and some other number then . Do you see why? Expand out what is if you don’t see it right off.

Since every number besides and has at least one prime divisor (yes, even 0), we conclude that **every integer is in at least one set ****, for some **. This is the crucial point here. This means, if is the set of all primes:

.

Okay? Okay. Now, what are we trying to prove? The set of primes is infinite. So suppose it’s finite. What do we know about finite unions of closed sets? This is also closed. Thus, is also closed. Which means that is open.

But. We can’t have a finite open set. Contradiction.

Let me just finish by noting that I’m not sure who this proof is due to, but it’s quite an elegant and surprising use of topology. If we imagine open sets to be "things which are close to one-another" we get a nice visual interpretation of this theorem: there are always new things which are "not close" to everything that came before it, which is exactly the motivation in the usual proof: we construct a new number which must be prime since nothing before it divides into it. So sweet.

You might be interested in this question I posted about Fürstenberg’s topology on MathOverflow. Or rather, the answers.

http://mathoverflow.net/questions/42589/is-furstenbergs-topology-useful

[…] A topological proof […]