##  [Satz von Tychonoff](/de/node/62205) 

 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.

 

 

 

 

 

 





## Prinzip

Prinzip

Kompaktheit wird unter beliebigen Produkten erhalten, wenn das Produkt mit der Produkttopologie versehen ist; Beweise verwenden Netze, Ultrafiltern oder den Alexander-Untersubbasissatz und berühren in voller Allgemeinheit Wahlprinzipien.

 

 

 

 

 





## Demonstration

Demonstration

Der Tychonoff-Würfel [0,1]^I (Produkt von Kopien des kompakten Intervalls [0,1] indexiert durch I) ist in der Produkttopologie kompakt für jede Indexmenge I; Ultrafiltern- oder Subbasisargumente zeigen die Kompaktheit.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Den Satz auf die Box-Topologie anzuwenden oder anzunehmen, Produkte lediglich lokal kompakter Räume seien kompakt, ist ein Fehlgebrauch; die Produkttopologie und die Kompaktheit der Faktoren sind essentielle Voraussetzungen.

 

 

 

 

 





## Konsequenz

Konsequenz

Der Satz von Tychonoff stützt viele Existenzresultate (z. B. Produktmaße und Kompaktifizierungen) und seine Äquivalenz zum Auswahlaxiom weist auf tiefgreifende fundamentale Folgen für Konstruktionen in Topologie und Analysis hin.

 

 

 

 

## Umkehrung

Umkehrung

Das Versagen der Produkkompaktheit in alternativen Topologien (z. B. Box-Topologie) oder ohne Wahlprinzip betont den Gegensatz: endliche Produkte erhalten die Kompaktheit offenbar, aber unendliche Produkte erfordern den vollen Satz und set-theoretisch den Auswahlaxiom.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Der Satz bezieht sich speziell auf die Produkttopologie über beliebigen Indexmengen und auf die Kompaktheit der Faktoren; er gilt nicht für andere produktähnliche Topologien und ist in ZF ohne Auswahl nicht allgemein gültig, außer für spezielle Klassen von Räumen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Es besteht Spannung zwischen Produkttopologie und Box-Topologie, zwischen Beweisen mittels Überdeckungen und mittels Ultrafiltern/Netzen sowie zwischen dem topologischen Inhalt und seiner set-theoretischen Äquivalenz zum Auswahlaxiom.

 

 

 

 

 





## Synthese

Synthese

Der Satz von Tychonoff besagt, dass beliebige Produkte kompakter Räume in der Produkttopologie kompakt sind; er verbindet die Konstruktion kompakter Räume mit einer Aussage über set-theoretische Stärke, die dem Auswahlaxiom entspricht.