Poisson-Algebra

Erläuterungen

Der ${\displaystyle R}$-Modul ${\displaystyle A}$ ist mit zwei ${\displaystyle R}$-bilinearen Abbildungen ausgestattet, der Multiplikation ${\displaystyle \cdot \colon A\times A\to A}$ und der Poisson-Klammer ${\displaystyle \{-,-\}\colon A\times A\to A}$.

Für die Multiplikation ${\displaystyle \cdot }$ und ${\displaystyle f,g,h\in A}$ gilt

Kommutativität: ${\displaystyle f\cdot g=g\cdot f}$

Assoziativität: ${\displaystyle f\cdot (g\cdot h)=(f\cdot g)\cdot h}$

Für die Poisson-Klammer ${\displaystyle \{-,-\}}$ und ${\displaystyle f,g,h\in A}$ gilt

Antisymmetrie: ${\displaystyle \{f,g\}=-\{g,f\}}$ und ${\displaystyle \{f,f\}=0}$

Leibnizregel: ${\displaystyle \{f,g\cdot h\}=\{f,g\}\cdot h+g\cdot \{f,h\}}$

Jacobi-Identität: ${\displaystyle \{f,\{g,h\}\}=\{\{f,g\},h\}+\{g,\{f,h\}\}}$

Für ein ${\displaystyle f\in A}$ ist die Poisson-Klammer ${\displaystyle D_{f}(-):=\{f,-\}}$ eine Derivation der Multiplikation, denn es gilt nach den Regeln

${\displaystyle D_{f}(g\cdot h)=\{f,g\cdot h\}=\{f,g\}\cdot h+g\cdot \{f,h\}=D_{f}(g)\cdot h+g\cdot D_{f}(h).}$

Poisson-*-Algebra

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

${\displaystyle {\overline {\{f,g\}}}=\{{\overline {f}},{\overline {g}}\}}$

erfüllt, so nennt man ${\displaystyle A}$ eine Poisson-*-Algebra.