Satz von Kuiper

Der Satz von Kuiper ist ein mathematischer Lehrsatz, der im Übergangsfeld zwischen dem Gebiet der Funktionalanalysis und dem Gebiet der Topologie angesiedelt ist und der auf eine Arbeit des niederländischen Mathematikers Nicolaas Hendrik Kuiper aus dem Jahre 1965 zurückgeht. Kuiper behandelt hier Homotopieeigenschaften der Gruppe der invertierbaren beschränkten linearen Operatoren eines unendlich-dimensionalen separablen Hilbertraums $H$ und bestätigt mit seinem Satz eine von Michael Atiyah, Albert Solomonowitsch Schwarz und Richard Sheldon Palais aufgestellte Vermutung.

Formulierung des Satzes

Der Satz von Kuiper lässt sich formulieren wie folgt:

Gegeben sei ein unendlich-dimensionaler separabler $\mathbb {K}$-Hilbertraum $H$, wobei $\mathbb {K} =\mathbb {R}$, der Körper der reellen Zahlen, oder $\mathbb {K} =\mathbb {C}$, der Körper der komplexen Zahlen, oder $\mathbb {K} =\mathbb {H}$, der Schiefkörper der Quaternionen, sei.

Hier seien ${\mathfrak {L}}(H)$, versehen mit der Operatornorm, der topologische Ring der beschränkten linearen Operatoren auf $H$ sowie ${\mathfrak {LG}}(H)\subset {\mathfrak {L}}(H)$ die darin enthaltene topologische Gruppe der invertierbaren beschränkten linearen $H$-Operatoren und schließlich ${\mathfrak {U}}(H)\subset {\mathfrak {LG}}(H)$ die ebenfalls darin enthaltene Untergruppe der unitären $H$-Operatoren.

Dann gilt:

(1) ${\mathfrak {LG}}(H)$ ist als topologischer Teilraum von ${\mathfrak {L}}(H)$ ein zusammenziehbarer Raum.

(2) ${\mathfrak {U}}(H)$ ist ein Retrakt von ${\mathfrak {LG}}(H)$ und daher ebenfalls zusammenziehbar.

Anmerkungen

• Man nennt die Gruppe ${\mathfrak {LG}}(H)$ manchmal auch die Lineare Gruppe (englisch linear group) von $H$. Kuiper nennt sie in seiner Originalarbeit die Allgemeine Lineare Gruppe (englisch general linear group) von $H$.
• ${\mathfrak {LG}}(H)$ist innerhalb ${\mathfrak {L}}(H)$ eine offene Teilmenge.
• Aus der Topologie ist bekannt, dass ein zusammenziehbarer Raum stets wegzusammenhängend und dass jeder Retrakt eines zusammenziehbaren Raumes seinerseits ein zusammenziehbarer Raum ist.
• Lässt man an die Stelle des unendlich-dimensionalen separablen Hilbertraum $H$ gewisse klassische Banachräume $X$ treten, so gilt für ${\mathfrak {LG}}(X)$ die obige Teilaussage (1) zur Zusammenziehbarkeit immer noch, wie etwa Dietmar Arlt für $X=c_{0}$ zeigen konnte.
• Wie jedoch Adrien Douady gezeigt hat, lassen sich direkte Summen zweier klassischer Banachräume konstruieren, so dass für diese die Teilaussage (1) keine Gültigkeit mehr hat.
• Hinsichtlich der Bedeutung des Kuiper'schen Satzes lässt sich auf eine Anmerkung bei Hirzebruch/Scharlau verweisen, wonach der Satz von Wichtigkeit für die Beziehungen zwischen algebraischer Topologie und Funktionalanalysis ist.

Literatur

• D. Arlt: Zusammenziehbarkeit der allgemeinen linearen Gruppe des Raumes c₀ der Nullfolgen. In: Inventiones Mathematicae. Band 1, 1966, S. 36–44, doi:10.1007/BF01389697 (MR0198259). 
• Bernhelm Booß: Topologie und Analysis. Einführung in die Atiyah-Singer-Indexformel (= Hochschultext). Springer Verlag, Berlin / Heidelberg / New York 1977, ISBN 3-540-08451-7 (MR0478242). 
• Adrien Douady: Un espace de Banach dont le groupe linéaire n’est pas connexe. In: Indagationes Mathematicae. Band 68, 1965, S. 787–789 (MR0187056). 
• Nicolaas H. Kuiper: The homotopy type of the unitary group of Hilbert space. In: Topology. Band 3, 1965, S. 19–30 (MR0179792). 
• Friedrich Hirzebruch, Winfried Scharlau: Einführung in die Funktionalanalysis (= B. I.-Hochschultaschenbücher. Band 296). Bibliographisches Institut, Mannheim / Wien / Zürich 1971, ISBN 3-411-00296-4 (MR0463864). 
• Dieter Lutz: Topologische Gruppen. BI Wissenschaftsverlag, Mannheim / Wien / Zürich 1976, ISBN 3-411-01502-0. 
• Albrecht Pietsch: History of Banach Spaces and Linear Operators. Birkhäuser, Boston / Basel / Berlin 2007, ISBN 0-8176-4367-2 (MR2300779). 
• Stephen Willard: General Topology (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading MA (u. a.) 1970 (MR0264581).