Tychonoff’s theorem proves that the product (even infinite) of compact spaces is also compact. The proof makes judicious use of Zorn’s lemma. In fact, it uses it so well, that I gained an appreciation for how fun the lemma can be.
-
- February 02, 2021
- 17 minutes
Tychonoff's Theorem and Zorn's Lemma