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 und bestätigt mit seinem Satz eine von Michael Atiyah, Albert Solomonowitsch Schwarz und Richard Sheldon Palais aufgestellte Vermutung.[1][2][3]

Formulierung des Satzes

Bearbeiten

Der Satz von Kuiper lässt sich formulieren wie folgt:[4][5][3]

Gegeben sei ein unendlich-dimensionaler separabler  -Hilbertraum  , wobei  , der Körper der reellen Zahlen, oder  , der Körper der komplexen Zahlen, oder  , der Schiefkörper der Quaternionen, sei.
Hier seien  , versehen mit der Operatornorm, der topologische Ring der beschränkten linearen Operatoren auf   sowie   die darin enthaltene topologische Gruppe der invertierbaren beschränkten linearen  -Operatoren und schließlich   die ebenfalls darin enthaltene Untergruppe der unitären  -Operatoren.
Dann gilt:
(1)   ist als topologischer Teilraum von   ein zusammenziehbarer Raum.
(2)   ist ein Retrakt von   und daher ebenfalls zusammenziehbar.

Anmerkungen

Bearbeiten
  • Man nennt die Gruppe   manchmal auch die Lineare Gruppe (englisch linear group) von  .[3] Kuiper nennt sie in seiner Originalarbeit die Allgemeine Lineare Gruppe (englisch general linear group) von  .[6][7]
  •  ist innerhalb   eine offene Teilmenge.[6]
  • Aus der Topologie ist bekannt, dass ein zusammenziehbarer Raum stets wegzusammenhängend und dass jeder Retrakt eines zusammenziehbaren Raumes seinerseits ein zusammenziehbarer Raum ist.[8]
  • Lässt man an die Stelle des unendlich-dimensionalen separablen Hilbertraum   gewisse klassische Banachräume   treten, so gilt für   die obige Teilaussage (1) zur Zusammenziehbarkeit immer noch, wie etwa Dietmar Arlt für   zeigen konnte.[3][9]
  • 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.[10][3]
  • 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.[5]

Literatur

Bearbeiten
  • D. Arlt: Zusammenziehbarkeit der allgemeinen linearen Gruppe des Raumes c0 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).

Einzelnachweise und Anmerkungen

Bearbeiten
  1. Nicolaas H. Kuiper: The homotopy type of the unitary group of Hilbert space. In: Topology, 3, S. 19–30
  2. Friedrich Hirzebruch, Winfried Scharlau: Einführung in die Funktionalanalysis. 1971, S. 150 ff
  3. a b c d e Albrecht Pietsch: History of Banach Spaces and Linear Operators. 2007, S. 538
  4. Kuiper, op. cit., S. 20
  5. a b Hirzebruch/Scharlau, op. cit., S. 151
  6. a b Kuiper, op. cit., S. 19
  7. Allerdings sprechen manche Autoren von einer linearen Gruppe nur in Bezug auf Gruppen linearer Automorphismen auf endlichdimensionalen Vektorräumen; siehe etwa: Dieter Lutz: Topologische Gruppen, 1976, S. 61.
  8. Stephen Willard: General Topology. 1970, S. 226
  9. D. Arlt: Zusammenziehbarkeit der allgemeinen linearen Gruppe des Raumes c0 der Nullfolgen. in: Invent. Math. 1, S. 36–44
  10. Adrien Douady: Un espace de Banach dont le groupe linéaire n’est pas connexe. in: Indag. Math. 68, S. 787–789