# Proof of Tychonoff's Theorem for an undergrad

In the midst of learning about compactness I come across Tychonoff's Theorem:

Let $$\{X_i : i \in \mathcal{A}\}$$ be any collection of compact spaces. Then $$\displaystyle\prod_{i \in \mathcal{A}}X_i$$ is compact in the product topology.

I've just come from the fact that a finite product of compact spaces is compact, and I also know from studying bases of topologies that uncountable products aren't necessarily as nice (for example, the box topology has some problems for uncountable products).

The proof for Tychonoff's Theorem is:

Omitted (this is much harder than anything we have done here).

Internet searches lead to math overflow and topics that are very outside of my comfort zone.

Is there a proof of Tychonoff's Theorem for an undergrad?

• Lots of undergrads learn the proof in Munkres' book "Topology". May 27, 2016 at 17:44
• @LeeMosher Thanks for that, it turns out that that book is also the recommended text for the course. May 27, 2016 at 17:53
• The proof in General Topology by R. Engelking is by elementary means, is fairly short, and covers all cases (finite,countable,uncountable products) at once. May 27, 2016 at 17:56
• @user254665 Thanks for the reference! There's a Tychonoff's theorem for finite products? May 27, 2016 at 18:01
• There are ways to show that a product of finitely many compact spaces is compact, that don't generalize to infinite products. But it's more efficient to have a method that works in all cases. May 27, 2016 at 21:34

• To the OP : There is a huge list of theorems that have been shown to be equivalent to, or to require Zorn's Lemma . It's like the number $\pi.$ You just cannot get away from it. May 27, 2016 at 17:59