Definition
The Poisson bracket is a bilinear operator on an associative algebra that satisfies the following conditions:
- Antisymmetric: for all .
- Jacobi Indentity:
- Liebniz Rule:
We can think of the Poisson bracket as a Lie bracket with an extra condition.