Satz von Tychonoff

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
Die Aussage, dass jedes Produkt (mit der Produkttopologie) kompakter topologischer Räume kompakt ist; in der ZF-Mengenlehre ist dieser Satz äquivalent zum Auswahlaxiom.