Tychonoffs theorem has applications in modern analysis. It is also used to prove the HeineBorel theorem, namely that all closed and bounded subspaces of are compact.
Tychonoffs theorem in the infinite case is equivalent to the axiom of choice. The converse to Tychonoffs theorem is also true because if is compact, then each , being a continous projection of , must be compact as well.