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

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

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

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

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

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

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

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

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.