Poisson-Algebra

Aus testwiki
Version vom 8. Januar 2024, 19:29 Uhr von imported>Tensorproduct (Erläuterungen: \cdot fehlt)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

Eine Poisson-Algebra ist in der Mathematik eine kommutative, assoziative Algebra, welche mit einer Poisson-Klammer ausgestattet ist. Die Klammer ist eine Lie-Klammer, welche zusätzlich die Leibnizregel erfüllt, das heißt sie ist eine Derivation der assoziativen Multiplikation.

Poisson-Algebra

Sei R ein kommutativer Ring. Eine Poisson-Algebra A ist eine kommutative, assoziative R-Algebra (A,) mit einer R-bilinearen und antisymmetrischen Abbildung

{,}:A×AA,

genannt Poisson-Klammer, so dass

  • (A,{,}) eine Lie-Algebra über R ist,
  • die Poisson-Klammer die Leibnizregel erfüllt
{f,gh}={f,g}h+g{f,h}.[1]

Die Striche in der leeren Poisson-Klammer {,} stehen dabei für einen Platzhalter.

Erläuterungen

Der R-Modul A ist mit zwei R-bilinearen Abbildungen ausgestattet, der Multiplikation :A×AA und der Poisson-Klammer {,}:A×AA.

Für die Multiplikation und f,g,hA gilt

Kommutativität: fg=gf
Assoziativität: f(gh)=(fg)h

Für die Poisson-Klammer {,} und f,g,hA gilt

Antisymmetrie: {f,g}={g,f} und {f,f}=0
Leibnizregel: {f,gh}={f,g}h+g{f,h}
Jacobi-Identität: {f,{g,h}}={{f,g},h}+{g,{f,h}}

Für ein fA ist die Poisson-Klammer Df():={f,} eine Derivation der Multiplikation, denn es gilt nach den Regeln

Df(gh)={f,gh}={f,g}h+g{f,h}=Df(g)h+gDf(h).

Poisson-*-Algebra

Falls A eine Poisson-Algebra über ist, die zusätzlich eine *-Algebra ist und für {,} folgendes

{f,g}={f,g}

erfüllt, so nennt man A eine Poisson-*-Algebra.[2]

Beispiele

Literatur

Einzelnachweise