What is an example of a compact space that is not sequentially compact?

Let’s recall that: A space is compact if every open cover of has a finite subcover. And is sequentially compact if every sequence in has a convergent subsequence.

When is a metric space, these two conditions are equivalent (which is already interesting!). But I want to talk about a really cool example of a topological space which is compact but not sequentially compact.

Let where is the power set of (i.e. is the set of all subsets of the positive integers). One can think of the space in two ways: The formal way is to think of as the set of all functions . Or, we can simply say is the space of all infinite tuples, all of whose entries are coming from . Of course, the infinite tuple will have uncountably many coordinates (namely the cardinality of ).

In any case, the space is compact by Tychonoff’s theorem. However, let’s show that is not sequentially compact. For this, we need to construct some sequence which does not have a convergent subsequence. The idea comes from the sequence in which does not have a convergent subsequence. In order to construct the sequence in , we need to specify -many coordinates for each . Essentially we want to fill out a grid of dimension :

The idea is to fill out the grid column by column! (It would seem more natural to fill the table row by row, since filling out -th row exactly corresponds to specifying an element of the sequence). Recall that columns of the grid is indexed by elements of . For every element , fill the -th column by inserting into the rows indexed by respectively, where , and entering (or anything arbitrary) to all other entries of this column. Let’s give an example. For example, if , then we would insert to the entries and insert to the entries , and insert for for all . Of course, could be infinite as well, but hopefully the idea is clear.

Now that the grid is filled, the elements of the sequence are ready. They are simply the rows of the grid. The claim is that the constructed sequence has no convergent subsequence. Indeed, assume to the contrary, that has some subsequence that converges. We take and look at the -th column of the grid. What do we see? We see across the rows indexed by . So this shows cannot possibly converge, because if it did, it would have to converge componentwise, but -th component of alternates between and . This is a contradiction, and the claim is proved.

So is an example of compact space which is not sequentially compact.

**Remark.** Of course, the same idea goes on to show that is compact but not sequentially compact. The key is to write down a bijection (injection would suffice) and work from there…