Foundations — Poisson brackets — definition, properties, connection to commutators

Before you can read the parent note Poisson brackets you must own every symbol it fires at you. We build them one at a time, each from the picture up, each leaning on the one before.

1. Position and the coordinate $q$

Imagine a single bead on a wire. To say where it is, you need one number — how far along the wire. Call that number $q$.

The picture: one slider per independent way the system can move (see figure below). A pendulum needs one angle → one $q$. A double pendulum needs two → $q_1,q_2$.

Why the topic needs it: the whole bracket is built out of derivatives with respect to $q$. No coordinate, no bracket.

2. Momentum $p$ — the coordinate's partner

Position alone does not predict the future: a bead at rest at a spot behaves differently from a bead whizzing through the same spot. You need a second number saying "how it is moving." That number is the momentum $p$.

The picture: for every position-slider $q_i$, glue on a velocity-dial $p_i$. Together the pair is a complete snapshot.

Why "conjugate"? Conjugate = bonded partner. $q$ and $p$ come as a couple; the bracket's whole structure ("$q$ then $p$" minus "$p$ then $q$") is a statement about this partnership.

3. Phase space — the map where everything lives

Stack every coordinate and every momentum into one long list: $(q_1,\dots ,q_n,p_1,\dots ,p_n).$ That list is a single point in a $2n$-dimensional space called phase space.

The picture: for one particle on a line, phase space is a flat 2D sheet with horizontal axis $q$ and vertical axis $p$. The state is a dot; as time runs the dot glides along a trajectory (the blue curve in the figure).

Why the topic needs it: the parent note's opening line — "the state is a point $(q_i,p_i)$" — is meaningless without this picture. Everything else is geometry on this sheet.

4. A function on phase space, $f(q,p,t)$

Now hover a height above every point of the sheet — a number attached to each state. That is a function on phase space.

The picture: think of a landscape of hills floating over the flat $q$–$p$ sheet: the height at each dot is $f$'s value there.

Why the topic needs it: the Poisson bracket eats two such functions. $f$ and $g$ in $\{f,g\}$ are exactly these height-landscapes.

5. The partial derivative $\frac{\partial f}{\partial q}$

Here is the one piece of calculus the topic truly requires. A partial derivative measures slope in one chosen direction while holding the others fixed.

Why a derivative and not something else? We want rate of change — how a reading responds to a tiny move. Rate of change is the derivative; that is its entire job. We use the partial kind because a state has several independent knobs ($q$ and $p$), and we must be able to twist one at a time.

The picture (figure above): stand on the height-surface. $\partial f/\partial q$ is the steepness you feel walking in the $q$-direction; $\partial f/\partial p$ is the steepness walking in the $p$-direction. Two slopes, one per axis.

Why the topic needs it: the bracket is built entirely from these four slopes: $\frac{\partial f}{\partial q},\frac{\partial f}{\partial p},\frac{\partial g}{\partial q},\frac{\partial g}{\partial p}.$

6. The dot, $\dot{q}$ — a time derivative

A dot over a letter means "rate of change in time": $\dot{q}\equiv \frac{dq}{dt}$.

The picture: back on the phase-space sheet, $(\dot{q},\dot{p})$ is the little arrow showing which way and how fast the state-dot is sliding right now — the velocity of the dot itself.

Why the topic needs it: the master result $\frac{df}{dt}=\{f,H\}+\frac{\partial f}{\partial t}$ is about this motion; $\dot{q}$ and $\dot{p}$ are what Hamilton's equations supply.

7. The Hamiltonian $H$ — the flow-maker

Among all the height-functions, one is special: the total energy, written $H$ and called the Hamiltonian.

The picture: $H$ is the "current-setter." Its slopes at each point define the arrow of motion there. Follow the arrows and you get the blue trajectory of §3.

Why the topic needs it: the bracket becomes dynamics only when the second slot is $H$. See Hamiltonian Mechanics for where these equations come from.

8. Summation $\sum _i$ — add over every degree of freedom

Systems have many coordinates, so the bracket adds a contribution from each. The symbol ${\sum }_{i=1}^n$ means "do the thing for $i=1$, then $i=2$, … up to $n$, and add all the results."

Why the topic needs it: the full bracket sums the "$q$–$p$ minus $p$–$q$" contribution over all $n$ degrees of freedom — one term per conjugate pair.

9. The Kronecker delta ${\delta }_{ij}$

The fundamental brackets end with $\{q_i,p_j\}={\delta }_{ij}$. That symbol is a tiny switch.

The picture: an identity table — the diagonal is full of 1s, everywhere else 0. It says "coordinate $q_1$ is partnered only with its own momentum $p_1$, not with $p_2$."

Why the topic needs it: it encodes which coordinate is conjugate to which momentum — the bookkeeping of partnerships from §2.

10. Antisymmetry and the bracket's shape

The whole point of the "minus" in $\{f,g\}$ is a symmetry called antisymmetry.

The picture: a signed area. Sweeping from arrow $f$ to arrow $g$ gives $+$; sweeping the other way gives $-$ — same size, opposite sign, like the area of a parallelogram read clockwise vs anticlockwise.

Why the topic needs it: this is the structural fingerprint the bracket shares with the quantum commutator (see Commutators in Quantum Mechanics), and it is the source of half the sign mistakes the parent warns about.

11. The commutator $[\hat{A},\hat{B}]$ — the quantum echo

The parent's punchline maps brackets to commutators. You only need to know what the notation means.

Why the topic needs it: Dirac's bridge is $\{f,g\}\to \frac{1}{i\hslash }[\hat{f},\hat{g}]$. The point of the whole parent note is that this same antisymmetric shape appears on both sides. Details in Commutators in Quantum Mechanics.

How the foundations feed the topic

Equipment checklist

Test yourself — cover the right side.

When every line on the right feels obvious, return to the parent note and the machine will read like plain English.