Beschreibung
Die Lie-Algebra ist en Konzept, das aus einer Lie Gruppe hergeleitet werden kann. Es ist in gewisser Weise das Vektorraum-Analog einer Lie Gruppe. Geometrisch ist es einfach der Tangentialraum bei der Identität. Der Zusammenhang entsteht durch das Exponential (Geodätische), das jedem Punkt des Tangentenraumes einen Punkt der Lie-Algebra zuordnet.
Definition
Eine (reelle) Lie Algebra ist ein (reeller) Vektorraum mit einer Bilineare Abbildung sodass:
- Jacobi-Identität:
Manchmal benutzt man für die Lie-Algebra auch die Notation .
Konstruktion aus Lie-Gruppe
Sei eine Lie Gruppe. Setze . Wir identifizieren mit einem links-invarianten Vektorfeld
Eigenschafrlegbarkeit
Eine Lie-Algebra kann zerlegt werden in sind wobei Transvektion von Geodätischen sind.
Beispiele
Vektorfelder auf Mannigfaltigkeiten
der Vektorfeld (Vektorraum) auf einer Glatte Mannigfaltigkeit bildet zusammen mit der Lie Klammer von Vektorfeldern eine Lie-Algebra.
llotRiema--- veranstaltung: “2022WiSe Hensel Differenzierbare Mannigfaltigkeiten” typ: Mathematikartikel
Beschreibung
Die Lie-Algebra ist en Konzept, das aus einer Lie Gruppe hergeleitet werden kann. Es ist in gewisser Weise das Vektorraum-Analog einer Lie Gruppe. Geometrisch ist es einfach der Tangentialraum bei der Identität. Der Zusammenhang entsteht durch das Exponential (Geodätische), das jedem Punkt des Tangentenraumes einen Punkt der Lie-Algebra zuordnet.
Definition
Eine (reelle) Lie Algebra ist ein (reeller) Vektorraum mit einer Bilineare Abbildung sodass:
- Jacobi-Identität:
Manchmal benutzt man für die Lie-Algebra auch die Notation .
Konstruktion aus Lie-Gruppe
Sei eine Lie Gruppe. Setze . Wir identifizieren mit einem links-invarianten Vektorfeld
Eigenschaften
Zerlegbarkeit
Eine Lie-Algebra kann zerlegt werden in wobei
- sind wobei Transvektion von Geodätischen sind.
Beispiele
Vektorfelder auf Mannigfaltigkeiten
Der Vektorraum der Vektorfeld (Vektorraum) auf einer Glatte Mannigfaltigkeit bildet zusammen mit der Lie Klammer von Vektorfeldern eine Lie-Algebra.
llotRiemannianGeometry2004]]