##  [Lie-Gruppe](/de/node/63294) 

 Definition

Eine Gruppe, die zugleich eine endlichdimensionale glatte Mannigfaltigkeit ist und deren Gruppenoperationen (Multiplikation und Inversion) glatte Abbildungen sind; damit verbindet sie algebraische Gruppenstruktur mit differentialgeometrischer Struktur.

 

 

 

 

 

 





## Prinzip

Prinzip

Vereinbarkeit von algebraischer und glatter Struktur: Die Karten der Mannigfaltigkeit müssen Multiplikation G×G→G und Inversion G→G unendlich differenzierbar (oder C^k wie angegeben) machen, was eine lokale Linearisierung an der Identität und den Übergang zur zugehörigen Lie-Algebra ermöglicht.

 

 

 

 

 





## Demonstration

Demonstration

SO(3): die Gruppe der reellen 3×3 orthogonalen Matrizen mit Determinante 1 ist eine Lie‑Gruppe der Dimension 3; Produkt und Inverse sind glatte Matrixoperationen. Ein weiteres Beispiel ist R^n unter Addition, eine Lie‑Gruppe deren Lie‑Algebra dieselbe Struktur mit trivialem Kommutator besitzt.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Jede topologische oder stetige Gruppe als Lie‑Gruppe zu betrachten, ohne eine kompatible glatte Mannigfaltigkeitsstruktur zu prüfen; zu glauben, diskrete Gruppen oder unendlichdimensionale Funktionsgruppen seien automatisch endlichdimensionale Lie‑Gruppen; oder Kompaktheit/ Zusammenhang stillschweigend anzunehmen.

 

 

 

 

 





## Konsequenz

Konsequenz

Eine Lie‑Gruppe besitzt einen Tangentialraum in der Identität, der eine Lie‑Algebra bildet; Werkzeuge der Differentialgeometrie (Exponentialabbildung, eindimensionale Untergruppen, Flüsse) lassen sich anwenden und führen zu starken Klassifikations‑ und Darstellungsergebnissen, die lokale algebraische Struktur und globales Gruppenverhalten verbinden.

 

 

 

 

## Umkehrung

Umkehrung

Eine topologische Gruppe ohne kompatible glatte Mannigfaltigkeitsstruktur (z. B. viele unendlichdimensionale oder pathologische Gruppen) oder eine algebraische Gruppe über Körpern ohne reelle glatte Struktur erfüllen nicht die Glattheitsanforderung.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Meistens auf endlichdimensionale glatte Mannigfaltigkeiten über R beschränkt (oder C mit zusätzlicher Struktur); unendlichdimensionale Fréchet‑Lie‑Gruppen oder rein topologische Gruppen sind ausgeschlossen, sofern nicht ausdrücklich erlaubt. Die Glattheitsklasse (C^k, C^∞) sollte angegeben sein, und Mannigfaltigkeiten werden häufig als hausdorffsch und zweitzählbar vorausgesetzt.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Es besteht Spannung zwischen „Lie‑Gruppe“ und „algebraischer Gruppe“ (algebraische Varietäten mit Gruppenstruktur) sowie zwischen endlichdimensionalen Lie‑Gruppen und unendlichdimensionalen Gruppen aus Analysis oder Physik; der Begriff „continuous group“ ist mehrdeutig und garantiert keine Differenzierbarkeit.

 

 

 

 

 





## Synthese

Synthese

Eine Lie‑Gruppe ist die Verbindung von Gruppensymmetrie und glatter Mannigfaltigkeitsstruktur: eine endlichdimensionale differenzierbare Mannigfaltigkeit, auf der Multiplikation und Inversion glatt sind, sodass die infinitesimale Struktur (Lie‑Algebra) und das globale Verhalten durch differentielle Methoden verknüpft werden.