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.Nicolaas H. Kuiper: The homotopy type of the unitary group of Hilbert space. In: Topology, 3, S. 19–30Friedrich Hirzebruch, Winfried Scharlau: Einführung in die Funktionalanalysis. 1971, S. 150 ffAlbrecht Pietsch: History of Banach Spaces and Linear Operators. 2007, S. 538
Formulierung des Satzes Der Satz von Kuiper lässt sich formulieren wie folgt:Kuiper, op. cit., S. 20Hirzebruch/Scharlau, op. cit., S. 151 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 Man nennt die Gruppe manchmal auch die Lineare Gruppe () von . Kuiper nennt sie in seiner Originalarbeit die Allgemeine Lineare Gruppe () von .Kuiper, op. cit., S. 19Allerdings 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. ist innerhalb 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.Stephen Willard: General Topology. 1970, S. 226 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.D. Arlt: Zusammenziehbarkeit der allgemeinen linearen Gruppe des Raumes c0 der Nullfolgen. in: Invent. Math. 1, S. 36–44 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.Adrien Douady: Un espace de Banach dont le groupe linéaire n’est pas connexe. in: Indag. Math. 68, S. 787–789 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
Einzelnachweise und Anmerkungen
Kategorie:Funktionalanalysis Kuiper