Theorema Magnum MCMXXXV: der Satz von Tichonow

In einem abgeschlossenen Intervall [a,b] hat jede Folge eine konvergente Teilfolge. Das folgt aus dem Satz von Bolzano-Weierstraß und es war den Analytikern seit dem 19. Jahrhundert klar, dass das eine sehr nützliche Eigenschaft des abgeschlossenen Intervalls ist, und allgemeiner auch eine nützliche Eigenschaft abgeschlossener und beschränkter Teilmengen des Rⁿ. Frechet hatte 1905 in seiner Arbeit über metrische Räume diese Eigenschaft als „Kompaktheit“ bezeichnet.

Auch schon im 19. Jahrhundert hatte man verwendet, dass offene Überdeckungen kompakter Mengen endliche Teilüberdeckungen haben (Satz von Heine-Borel) oder dual, dass der Durchschnitt unendlich vieler abgeschlossener Teilmengen von A nur dann leer ist, wenn dies bereits für den Durchschnitt einer endlichen Auswahl dieser Mengen zutrifft. (Insbesondere hat eine absteigende Folge unendlich vieler abgeschlossener Teilmengen nichtleeren Durchschnitt, was von Georg Cantor bewiesen wurde.)
Urysohn und Alexandrow verwendeten 1924 für die Überdeckungseigenschaft – zur Abgrenzung von Frechets Kompaktheitsbegriff – die Bezeichnung „bikompakt“, letztlich setzte sich aber durch, diese Eigenschaft als Kompaktheit zu bezeichnen.

Spätestens nachdem Andrei Tichonow mit dem auf Überdeckungen beruhenden Kompaktheitsbegriff 1935 beweisen konnte, dass ein beliebiges (unendliches, sogar überabzählbares) Produkt kompakter Räume wieder kompakt ist, war klar, dass dies die „richtige“ Definition war. (Mit der Definition der Folgenkompaktheit gälte das nur für endliche Produkte: in einem unendlich-dimensionalen Würfel hat die Folge der Basisvektoren e_i keine konvergente Teilfolge.)

Im Spezialfall von Produkten von Intervallen hatte Tichonow den Satz schon 1930 bewiesen. Den Beweis für den allgemeinen Fall fand er 1935, schrieb ihn selbst aber nie auf. (Das tat zwei Jahre später Eduard Čech.)

Eine wichtige Anwendung des Satzes von Tichonow ist die schwach-*-Kompaktheit beschränkter, abgeschlossener Menge im Raum der Maße auf einem gegebenen Raum. (Oder allgemein die Kompaktheit beschränkter, abgeschlossener Mengen im Dual eines normierten Vektorraums, das ist der Satz von Banach-Alaoglu).
Eine andere typische Anwendung sind Kompaktheitssätze in der Logik. Weiterhin verwendet man den Satz von Tichonow für die Konstruktion einer universellen Kompaktifizierung, der Stone-Čech-Kompaktifizierung beliebiger topologischer Räume. Und man benötigt den Satz von Tichonow auch für die Konstruktion des Haarmaßes, die wesentlich ist für die harmonische Analysis auf lokalkompakten Gruppen. (Haars berühmte Arbeit „Der Massbegriff in der Theorie der kontinuierlichen Gruppen“ war bereits 1933 erschienen, eine Formalisierung von Haars intuitivem Argument gab aber erst 1940 André Weil mit Hilfe des Satzes von Tichonow.)

Tichonow habilitierte 1936 an der Lomonossow-Universität mit einer Arbeit über Gleichungen vom Volterra-Typ und arbeitete später vor allem über angewandte Mathematik.

Im September 1935 fand in Moskau eine große Konferenz über Topologie statt, die erste wirklich internationale Konferenz in einem Spezialgebiet der Mathematik. Diese Konferenz war die Geburtsstunde der Kohomologie wie der Homotopiegruppen und auch der charakteristischen Klassen.

Die Definition von Kohomologiegruppen ist natürlich nicht spektakulär. Die Kohomologie mit reellen Koeffizienten ist einfach das Dual der Homologiegruppen und war als solche schon häufiger implizit vorgekommen. Beispielsweise hatte de Rham bewiesen, das man mit Differentialformen gerade das Dual der Homologiegruppen mit reellen Koeffizienten definieren kann. Die Neuigkeit auf der Konferenz war aber, dass man mit der Kohomologie für völlig beliebige Räume Produkte erklären können sollte.
(Es gab zwar Lefschetz‘ Schnitttheorie, die von Hopf als Produkt auf den Homologiegruppen interpretiert worden war, die aber nur für Varietäten funktionierte.)
Auf der Konferenz schlugen Kolmogorow und Alexander eine einfache simpliziale Definition des Cup-Produkts auf der Kohomologie vor: zu zwei Kozykeln f und g sollte das Cup-Produkt angewandt auf einen Simplex (v₀,…,v_n) sich berechnen als f(v₀,…,v_r)g(v_r+1,…,v_r+s+1). Es gab allerdings ein offensichtliches Problem mit dieser Definition: ihr Produkt einer r-Kokette mit einer s-Kokette hatte Dimension r+s+1, es sollte aber Dimension r+s sein. Whitney und Čech fanden einige Monate später unabhängig voneinander die richtige Definition f(v₀,…,v_r)g(v_r,…,v_r+s) – anschaulich die Anwendung von f auf die Vorderseite multipliziert mit der Anwendung von g auf die Rückseite des Simplexes. Sie veröffentlichten diese als Cup-Produkt bezeichnete Definition in zwei getrennte. Arbeiten in den Annals of Mathematics.
Es war irgendwie klar, dass die Kohomologietheorie mit der Produktstruktur eine große Sache sein sollte, aber erst später fand man viele Beispiele von Räumen, die sich nicht durch ihre Homologiegruppen, aber durch das Cup-Produkt auf der Kohomologie unterscheiden lassen. Wenn man zum Beispiel zwei Kreise an eine 2-dimensionale Sphäre in einem Punkt anklebt, dann hat der so gebildete Raum dieselben (Ko)Homologiegruppen wie der Torus, aber anders als beim Torus ist das Cup-Produkt trivial.