the Poisson bracket
/ PWAH-sohn /
In mechanics you have many observables — energy, momentum, angular momentum — all functions on phase space. A natural question is: as the system evolves, which observables stay constant, and which change? The Poisson bracket is a single operation {f, g} that takes two observables and returns a third, and it answers exactly this: the rate of change of any observable f along the motion generated by g is just {f, g}. It packages the entire dynamics into an algebra of functions.
Precisely, on a symplectic manifold (M, omega) the Poisson bracket of two smooth functions f, g is {f, g} = omega(X_f, X_g), equivalently {f, g} = X_g(f) = df(X_g), where X_f, X_g are the Hamiltonian vector fields of f and g. In Darboux coordinates it is the familiar formula {f, g} = sum_i (partial f/partial q_i)(partial g/partial p_i) - (partial f/partial p_i)(partial g/partial q_i). It is bilinear, antisymmetric ({f, g} = -{g, f}), satisfies the Jacobi identity, and acts as a derivation in each slot (the Leibniz rule {f, gh} = {f, g}h + g{f, h}). These properties make the smooth functions on M into a Poisson algebra, the algebraic heart of mechanics. The time evolution of any observable is df/dt = {f, H}, so f is conserved exactly when {f, H} = 0.
Its importance reaches far beyond classical mechanics. The bracket is the classical shadow of the commutator in quantum mechanics — Dirac's quantization rule sends {f, g} to (1/i hbar)[f-hat, g-hat] — which is why the Poisson algebra is the bridge between classical and quantum theory. A useful sanity check and frequent point of confusion: {q_i, p_j} = delta_{ij} and {q_i, q_j} = {p_i, p_j} = 0, the classical canonical relations, and sign conventions for {f, g} (and even the ordering in omega = sum dp ^ dq versus dq ^ dp) differ between textbooks, so always pin down the convention before trusting a formula.
For angular momentum in R^6 (a particle in 3-space), write L_x = q_2 p_3 - q_3 p_2 and cyclically. Computing the Poisson bracket gives {L_x, L_y} = L_z, and cyclically. These are the same structure relations as the Lie algebra so(3) of rotations — the Poisson bracket of the angular-momentum components reproduces the rotation algebra, which on quantization becomes the famous spin commutation relations.
{L_x, L_y} = L_z: the angular-momentum Poisson bracket reproduces the rotation algebra so(3).
The bracket satisfies the Jacobi identity precisely because omega is closed (d omega = 0); drop closedness and you lose Jacobi, so the Poisson algebra structure encodes the defining condition of symplectic geometry, not just nondegeneracy.