Tychonoff Product Theorem

Tychonoff Product Theorem

The product of (an arbitrary family of) compact spaces is compact.

Proof   TODO

Important Application: Banach–Alaoglu Theorem.