--- title: "Commutators, Compatible Observables and the General Uncertainty Relation" description: "For finite-dimensional observables, commuting operators share an eigenbasis. The general uncertainty relation bounds the product of standard deviations using the expectation of their commutator. A non" canonical: https://lightmysky.com/learn/science/commutators-compatible-observables-and-the-general-uncertainty-relation-mt_TKoUwu74K9 source: https://lightmysky.com/learn/science/commutators-compatible-observables-and-the-general-uncertainty-relation-mt_TKoUwu74K9.md retrieved: 2026-11-12 --- > **Agent view.** This is the Markdown twin of the page, for tools and assistants. > When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md > API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md > Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt > Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json > Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`. # Commutators, Compatible Observables and the General Uncertainty Relation For finite-dimensional observables, commuting operators share an eigenbasis. The general uncertainty relation bounds the product of standard deviations using the expectation of their commutator. A nonzero operator need not give a positive bound in every state. Subject: Science · Area: Quantum & Modern Physics · Ages 22 to 23 Page: https://lightmysky.com/learn/science/commutators-compatible-observables-and-the-general-uncertainty-relation-mt_TKoUwu74K9 ## Ready when they can - Evaluates a commutator and states whether the two observables share an eigenbasis - Derives the uncertainty bound for a general pair from their commutator - Applies the relation to a pair other than position and momentum ## Lesson: When two quantities refuse to be sharp together Define [A,B]=AB-BA. AB applies B first, then A; BA reverses that order. The commutator subtracts the two operator products. These definitions apply to general linear operators, not only Hermitian observables. For vectors, conjugates a's components and sums their products with b's. A vector's norm is ||a||=sqrt(). Cauchy-Schwarz gives ||a|| ||b||>=||. Also, ||>=|Im|; Im means imaginary part. For finite-dimensional Hermitian observables, [A,B]=0 gives a common orthonormal eigenbasis. Commutation makes each eigenspace of one invariant under the other. Diagonalize the other observable within those spaces, including degenerate ones. Each resulting basis state has definite values of both observables. Compatibility does not mean every superposition has zero spread. **Example.** To evaluate a commutator on a vector, subtract the two actions: [A,B]v=ABv-BAv. For example, ABw=iw and BAw=-iw give [A,B]w=2iw, where i²=-1. Such actions can occur for Hermitian A and B. A nonzero commutator rules out a full common eigenbasis, but some common eigenstates may remain. A single shared eigenstate and a shared basis are different claims. For normalized psi, is its expectation and ΔA=sqrt(-²). Set a=(A-)psi and b=(B-)psi. For Hermitian A,B, <[A,B]>=2i Im. Cauchy-Schwarz gives ΔA ΔB>=||>=|Im|=|<[A,B]>|/2. Assume the required products and finite variances exist. This Robertson bound uses the expectation in the chosen state. The spreads describe repeated measurements on identically prepared states, not detector errors. For a free particle, an ideal momentum eigenstate has one wave number and is an extended plane wave. It is not a normalizable localized packet. A localized packet needs a range of momenta. This wave picture explains why exact free-particle momentum does not describe a particle localized at one position. Position and momentum obey [x,p]=i hbar I on a suitable common domain. I is the identity and hbar is Planck's constant divided by 2 pi. Insert A=x and B=p into ΔA ΔB>=|<[A,B]>|/2. In a normalized state, =1, so |<[x,p]>|=hbar. Thus Δx Δp>=hbar/2: the position-momentum relation is a case of the general bound. For spin, [Sx,Sy]=i hbar Sz, so ΔSx ΔSy>=hbar ||/2. If =hbar/2, the lower bound is hbar²/4. If =0, this bound is zero even though the commutator operator is nonzero. A zero bound does not prove both spreads vanish. For any stated expectation, take its absolute value, multiply by hbar, then divide by two. **Recap.** Commutation tests full compatibility. The uncertainty bound uses the commutator's expectation in the chosen state, not just whether the operator is nonzero. *Original lesson, practice questions and flashcards authored for this dataset.* ## Practice 8 questions on this page, each with its working shown. ## Needs first - [The Uncertainty Principle from Wave Packets](https://lightmysky.com/learn/science/the-uncertainty-principle-from-wave-packets-mt_DPYnoGksRd) - [Observables as Hermitian Operators and Their Spectra](https://lightmysky.com/learn/science/observables-as-hermitian-operators-and-their-spectra-mt_TXCN8uiWqs) ## Opens up - [Unitary Time Evolution and the Heisenberg Picture](https://lightmysky.com/learn/science/unitary-time-evolution-and-the-heisenberg-picture-mt_3JsTc9VYj8) - [Angular Momentum from Its Commutation Relations](https://lightmysky.com/learn/science/angular-momentum-from-its-commutation-relations-mt_u0y20XJh-v) - [Poisson Brackets and Constants of the Motion](https://lightmysky.com/learn/science/poisson-brackets-and-constants-of-the-motion-mt_UFzJyZRdOI)