The whole of mechanics can be summarized in a single bracket. — paraphrasing the spirit of Hamilton and Jacobi.

In classical mechanics every observable lives on the phase space, the space of states described by a generalized coordinate $x$ and its conjugate momentum $p$ . Once a state $(x,p)$ is fixed, every physical quantity is determined. Concretely, any classical observable $Q$ can be written as a function on phase space whose time dependence enters only through the trajectory $(x(t),p(t))$ :

(For simplicity we work with a single degree of freedom and assume $Q$ has no explicit time dependence; the multidimensional case follows by summing over all conjugate pairs.)

Since $Q$ depends on time solely through $x(t)$ and $p(t)$ , the chain rule gives its time evolution:

The two factors $\dot{x}$ and $\dot{p}$ still carry the dynamics. Our goal is to repackage them into something more symmetric — and that is exactly what the Hamiltonian formalism delivers.

Switch to Hamiltonian mechanics

To find a compact, coordinate-symmetric representation of the dynamics, we pass to the Hamiltonian of the system. For a non-relativistic particle in a time-independent potential, the Hamiltonian is the total energy expressed through $x$ and $p$ :

Before reading off its derivatives, recall Newton’s law and the kinematic definition of momentum, which together fix the equations of motion:

Three observations follow immediately.

These are Hamilton’s canonical equations of motion. Notice how the roles of $x$ and $p$ are nearly mirror images of one another, differing only by a sign — this asymmetry-with-a-sign is the seed of the antisymmetric bracket below.

The third observation is that energy is conserved whenever the potential is time-independent. Using Hamilton’s equations,

The two terms cancel precisely because of the opposite signs in Hamilton’s equations.

Now substitute Hamilton’s equations into the chain-rule expression for $\dot{Q}$ :

The right-hand side has a clean structure that depends only on $Q$ and $H$ through their phase-space derivatives. This pattern is so fundamental that it deserves its own name.

The Poisson bracket

For any two observables $Q_1$ and $Q_2$ on the phase space $(x,p)$ , define the Poisson bracket:

With this notation, the equation of motion for any observable collapses to a single, elegant line:

As special cases, taking $Q=x$ and $Q=p$ recovers Hamilton’s equations themselves:

(The sign that appeared earlier is now absorbed into the antisymmetry of the bracket, so both equations take the same form.)

The Poisson bracket is bilinear, antisymmetric ( $\{Q_1,Q_2\}=-\{Q_2,Q_1\}$ ), satisfies the Leibniz product rule in each slot, and obeys the Jacobi identity $\{Q_1,\{Q_2,Q_3\}\}+\{Q_2,\{Q_3,Q_1\}\}+\{Q_3,\{Q_1,Q_2\}\}=0$ . These four properties make phase-space observables into a Lie algebra under the bracket — the very same algebraic skeleton that reappears in quantum mechanics.

From classical to quantum

The Poisson-bracket equation of motion has a famous quantum counterpart. In the Heisenberg picture, an operator $\hat{Q}$ evolves according to the Heisenberg equation of motion:

Comparing the two, the structure is identical: the classical Poisson bracket is replaced by the commutator scaled by $1/i\hslash$ ,

This correspondence — known as canonical quantization (Dirac’s prescription) — is why the equation keeps almost the same form even after observables are promoted to operators acting on a Hilbert space. The Lie-algebra structure of the Poisson bracket is inherited by the commutator, which is precisely why so much classical intuition survives the passage to quantum theory.

Appendix: canonical relations

The cleanest illustration of the classical–quantum dictionary is the bracket of the fundamental conjugate pair:

Indeed, $\{x,p\}=\frac{\partial x}{\partial x}\frac{\partial p}{\partial p}-\frac{\partial x}{\partial p}\frac{\partial p}{\partial x}=1\cdot 1-0\cdot 0=1$ , and applying Dirac’s rule $\{x,p\}\mapsto \frac{1}{i\hslash }[\hat{x},\hat{p}]$ gives $[\hat{x},\hat{p}]=i\hslash$ — the canonical commutation relation that underlies the Heisenberg uncertainty principle.