gruppe

Eine Lie-Gruppe (auch Lie'sche Gruppe), benannt nach Sophus Lie, ist eine mathematische Struktur. Formal handelt es sich bei einer Lie-Gruppe um eine Gruppe, die auch eine differenzierbare Mannigfaltigkeit ist, sodass die Gruppenverknüpfung und Inversenbildung kompatibel mit der glatten Struktur sind, das bedeutet




(
g
,
b
)
↦
g
b



{\displaystyle (g,b)\mapsto gb\;}
und




g
↦

g

−
1




{\displaystyle \;g\mapsto g^{-1}}
sind glatte Funktionen.
Lie-Gruppen werden zur Beschreibung von kontinuierlichen Symmetrien verwendet.Lie-Gruppen und Lie-Algebren wurden um 1870 von Sophus Lie in der Lie-Theorie zur Untersuchung von Symmetrien in Differentialgleichungen eingeführt. Unabhängig von Lie entwickelte Wilhelm Killing ähnliche Ideen zum Studium nichteuklidischer Geometrien. Die älteren Bezeichnungen stetige Gruppe oder kontinuierliche Gruppe für eine Lie-Gruppe beschreiben besser das, was man heute unter einer topologischen Gruppe versteht. Jede Lie-Gruppe ist auch eine topologische Gruppe.
Dieser Artikel behandelt (der üblichen Terminologie folgend) endlich-dimensionale Lie-Gruppen. Es gibt auch eine Theorie unendlich-dimensionaler Lie-Gruppen, beispielsweise Banach-Lie-Gruppen.
Lie-Gruppen sind in fast allen Teilen der heutigen Mathematik sowie in der theoretischen Physik, vor allem der Teilchenphysik, wichtige Werkzeuge.