Satz von Tychonoff

Der Satz von Tychonoff (nach Andrei Nikolajewitsch Tichonow) ist eine Aussage aus dem mathematischen Teilgebiet der Topologie. Er lautet:

Ist ${\displaystyle (X_{i})_{i\in I}}$ eine Familie kompakter topologischer Räume, dann ist auch das kartesische Produkt ${\displaystyle \textstyle \prod _{i\in I}X_{i}}$ mit der Produkttopologie kompakt.