Position Operator

"Where is the particle?" was the first question this track asked of the wavefunction, and Born Statistical Interpretation answered it statistically: ∣Ψ(x)∣2|\Psi(x)|^2 is the probability density for position. This article asks the same question in a new grammar — the grammar the entire rest of quantum mechanics is written in. Position becomes an operator: a machine x^\hat x that acts on wavefunctions, and whose action is almost comically simple. It multiplies. x^Ψ(x)=x Ψ(x)\hat x\Psi(x) = x\,\Psi(x); that is the whole definition. Why dignify multiplication with a hat and an article? Because this simplest of all observables is the cleanest place to install the operator ideas that every observable will use: how a mean value becomes an operator sandwich ∫Ψ∗x^ Ψ dx\int\Psi^*\hat x\,\Psi\,dx; what it means for an operator to be Hermitian and why that guarantees real measured values; and what happens when you ask the standard question "what are this operator's eigenfunctions?" — because for x^\hat x the answer is gloriously pathological. The states of perfectly definite position turn out to be infinitely thin delta spikes: not normalizable, not physical, yet indispensable as limits. Position is your first meeting with a continuous spectrum, and it teaches the right reflexes cheaply. There is also a genuinely useful moral hiding in the simplicity: in the position language, all the quantum strangeness lives in the state, none in the operator. The multiplication machine is trivial; the mist it multiplies is not. The partner operator, where the derivative does the work, is next — Momentum Operator — and the pair together will generate the uncertainty structure of the whole theory.

⚡ Key Takeaways
  • In the position representation, the position operator is multiplication: x^ Ψ(x)=x Ψ(x)\hat x\,\Psi(x) = x\,\Psi(x); in 3D, r^ Ψ=r Ψ\hat{\mathbf r}\,\Psi = \mathbf r\,\Psi.
  • Its mean is the operator sandwich ⟨x⟩=∫Ψ∗ x Ψ dx=∫x ∣Ψ∣2dx\langle x\rangle = \int\Psi^*\,x\,\Psi\,dx = \int x\,|\Psi|^2dx — the Born-rule average, rewritten.
  • x^\hat x is Hermitian because xx is real — the template credential every observable must present.
  • ⟨x⟩\langle x\rangle is a mean over the ensemble, not "where the particle is": it can sit where the particle is never found, and it generally differs from the most probable position.
  • The eigenvalue problem x^ g=x0 g\hat x\,g = x_0\,g forces g(x)=δ(x−x0)g(x) = \delta(x - x_0): perfectly located, zero-width spikes — a continuous spectrum of non-normalizable idealizations.
  • Real position measurements have finite resolution: a detector with pixels reads out coarse-grained probabilities ∫pixel∣Ψ∣2dx\int_{\text{pixel}}|\Psi|^2dx.
  • Key idea: position acts by multiplication — the operator is trivial, and all the physics lives in how the state is spread over xx and in the operator's refusal to commute with momentum.
💡 The Core Insight

In the position representation the position operator is just multiplication by xx: it reads off the coordinate, while all the dynamics and quantum strangeness live in how the state is spread over xx and in its non-commutation with momentum.

The physical picture

What kind of machine turns "the probability map of where the particle is" into "the average position"? A weighting machine. Take the wavefunction, and at every point xx multiply its value by the coordinate itself: far-out parts of the wave get amplified in proportion to their distance, near-zero parts get suppressed. The reshaped function xΨ(x)x\Psi(x) is not a state — it is a bookkeeping object whose overlap with the original state, ∫Ψ∗(xΨ) dx\int\Psi^*(x\Psi)\,dx, is precisely the lever-arm average ∫x∣Ψ∣2dx\int x|\Psi|^2dx. The operator is a crowbar for extracting moments from the mist.

Figure
The multiplication machine: x̂ reweights the wave by the lever arm
x 0 Ψ(x) x·Ψ(x) near x = 0 the machine suppresses; far out it amplifies by the lever arm x ⟨x⟩ = ∫ Ψ* (x̂Ψ) dx = ∫ x |Ψ|² dx — overlap of the wave with its reweighted self the sandwich grammar: conjugate wave · operator acts · integrate — every observable will use it

Now run the machine hunting for its eigenfunctions — waves it merely rescales. x g(x)=x0 g(x)x\,g(x) = x_0\,g(x) demands that gg vanish at every x≠x0x \neq x_0: the entire wave must be piled on one single point. The limit of ever-narrower spikes is the Dirac delta, g(x)=δ(x−x0)g(x) = \delta(x - x_0) — a "function" that is zero everywhere, infinite at one point, and integrates to 1. It is the caricature of perfect localization, and like all good caricatures it is not a portrait: no physical particle is ever in such a state. But as limits the spikes organize everything — every allowed x0x_0 on the line is an eigenvalue, which is exactly what "position has a continuous spectrum" means, and the statement "measure position, find the particle somewhere" becomes "the delta spikes are complete."

Figure
Sharpening toward the delta spike — and what a real detector does instead
δ(x − x₀) narrower and narrower — the limit leaves L²: not normalizable, momentum spread → ∞ eigenvalue problem x̂g = x₀g ⇒ spike at x₀ every x₀ allowed: a continuous spectrum what a real measurement does: pixels of width w read coarse probabilities P(pixel) = ∫pixel |Ψ|² dx histogram → density as w → 0; the spike is the unreachable ideal

Keep the two panels as poles of the same idea: the delta spike is what the mathematics of x^\hat x wants for an eigenstate; the pixel histogram is what the laboratory delivers. Everything practical happens between them.

The operator and its credentials

The definition first, in the representation this chapter lives in:

x^ Ψ(x,t)=x Ψ(x,t)(1)\hat x\,\Psi(x,t) = x\,\Psi(x,t) \qquad (1)

where: xx — the coordinate itself, acting as a multiplier; the hat marks the role (an operator on states), not any complexity of action. In three dimensions each component multiplies: r^Ψ=rΨ\hat{\mathbf r}\Psi = \mathbf r\Psi. Note what kind of object equation (1) creates: xΨx\Psi is generally not a multiple of Ψ\Psi — the machine reshapes the wave except in the delta-spike limit — and it may not even be normalizable if Ψ\Psi has fat tails. The operator is simple; it is not tame. The first credential is that the operator reproduces the Born-rule mean. The average of many position measurements on identically prepared systems is, from Probability Density and Normalization,

⟨x⟩=∫−∞∞x ∣Ψ(x,t)∣2 dx=∫−∞∞Ψ∗ x^ Ψ dx(2)\langle x\rangle = \int_{-\infty}^{\infty} x\,|\Psi(x,t)|^2\,dx = \int_{-\infty}^{\infty} \Psi^*\,\hat x\,\Psi\,dx \qquad (2)

where: the second form is trivially equal to the first — Ψ∗xΨ=x∣Ψ∣2\Psi^*x\Psi = x|\Psi|^2 — and that triviality is the point: the sandwich pattern (conjugate state, operator, state, integrate) is the universal grammar for every observable's mean, and position is the one case where you can watch it reduce to elementary probability with no sleight of hand. The general sandwich doctrine, with operators whose action is not mere multiplication, is the business of Expectation Values, two articles ahead. The second credential is Hermiticity — the property that will define "observable" in Operators and Observables. Here it is one line: for any two normalizable states,

∫f∗ (x^ g) dx=∫f∗x g dx=∫(xf)∗ g dx=∫(x^f)∗ g dx(3)\int f^*\,(\hat x\,g)\,dx = \int f^*x\,g\,dx = \int (x f)^*\,g\,dx = \int (\hat x f)^*\,g\,dx \qquad (3)

where: the middle equality holds because xx is real — x∗=xx^* = x — so it slides freely between the starred and unstarred slots. No integration by parts, no boundary terms: multiplication by a real function is Hermitian automatically. Contrast the momentum operator, whose Hermiticity is earned through integration by parts and a factor of −i-i (the derivation card of Momentum Operator); position gets the credential for free. The payoff of Hermiticity — means guaranteed real, eigenvalues guaranteed real — is developed there and in Operators and Observables; here, note simply that a machine reporting positions had better output real numbers, and this one provably does.

Derivation AThe eigenvalue problem — perfect position means a delta spike

Every operator gets asked the standard question: which states do you merely rescale? For x^\hat x the question is x^ g(x)=x0 g(x)\hat x\,g(x) = x_0\,g(x) with x0x_0 a candidate number, and the answer teaches three permanent lessons at once: the eigenfunctions are delta spikes, the spectrum is continuous, and the eigenstates are not physical states — the triple that defines how continuous observables work throughout quantum mechanics. The argument itself is two lines of pointwise logic; the care is all in reading the result.

Step 1. Write the condition pointwise. x g(x)=x0 g(x)x\,g(x) = x_0\,g(x) means (x−x0) g(x)=0(x - x_0)\,g(x) = 0 for every xx. Why: multiplication acts locally — the equation is not one condition but a continuum of them, one at each point.

Step 2. Solve pointwise. At any x≠x0x \neq x_0 the factor (x−x0)(x - x_0) is nonzero, so g(x)=0g(x) = 0 there. The function may be nonzero only at the single point x0x_0. Why: an ordinary function that is zero except at one point integrates to zero and is useless; to carry any weight, the "function" must be a distribution — an infinitely tall, infinitely thin spike.

Step 3. Normalize as a distribution. The standard choice is the Dirac delta:

gx0(x)=δ(x−x0),∫−∞∞δ(x−x0) dx=1(4)g_{x_0}(x) = \delta(x - x_0), \qquad \int_{-\infty}^{\infty}\delta(x - x_0)\,dx = 1 \qquad (4)

Why: the delta is defined by what it does under integrals — ∫f(x)δ(x−x0)dx=f(x0)\int f(x)\delta(x - x_0)dx = f(x_0), the "sifting" property — and you have already computed with it as a potential shape in Delta-Function Potential Well; here it appears in its other costume, as an idealized state.

Step 4. Read off the spectrum. The construction works for every real x0x_0: no boundary condition, no quantization mechanism, no discrete menu. The spectrum of x^\hat x is the entire real line — continuous. Why: contrast the bound-state Hamiltonians of this chapter, where normalizability at infinity culled the menu to a ladder. Nothing culls positions: any point is a legitimate place to be found.

Step 5. Disqualify the eigenstates as states — honestly. ∫∣δ(x−x0)∣2dx\int|\delta(x - x_0)|^2dx diverges (squaring the spike doubles its infinity), so no delta spike lives in the space of normalizable wavefunctions. The orthonormality that replaces the usual ∫ψm∗ψn=δmn\int\psi_m^*\psi_n = \delta_{mn} is delta normalization, ∫gx0∗(x) gx0′(x) dx=δ(x0−x0′)\int g_{x_0}^*(x)\,g_{x_0'}(x)\,dx = \delta(x_0 - x_0') — orthogonality with a distribution on the right. Why: this is the same disease, and the same cure, as the plane waves of Bound versus Scattering States — idealized basis elements, physical states as superpositions. The systematic calculus of delta-normalized bases is owned by the Formalism chapter's Continuous Spectra and Dirac Delta Normalization, and the mathematically clean home for the spikes (rigged Hilbert space) by its Rigged Hilbert Space; this article needs only the three lessons above. *Verified: the sifting property and delta-sequence limits (Gaussian of width σ→0\sigma \to 0) checked with sympy; conventions per Cohen-Tannoudji Vol. I Ch. II, Sakurai §1.6.*

Derivation BMean versus mode — what the expectation value is not

The single most common misreading of ⟨x⟩\langle x\rangle is "the place the particle probably is." We build the counterexample culture early: a two-line proof that the mean can sit at a forbidden location, plus the general distinction between the mean (lever-arm average) and the mode (peak of the density). The skill being installed is reading statistical statements statistically — it will matter every time an expectation value appears for the rest of the track.

Step 1. Mean at a node. Take any odd-symmetric density with a hole at the centre — say the ISW first excited state ψ2\psi_2, whose density ∣ψ2∣2∝sin⁡2(2πx/L)|\psi_2|^2 \propto \sin^2(2\pi x/L) vanishes at x=L/2x = L/2. By symmetry, ⟨x⟩=L/2\langle x\rangle = L/2 exactly. Why: the average of a symmetric distribution sits at the symmetry point regardless of whether any probability lives there — the mean is a balance point, not a location. A particle in ψ2\psi_2 is never found at L/2L/2, yet L/2L/2 is its mean position.

Step 2. Mean versus mode in a lopsided state. For the triangular state of Worked Example 1, Ψ∝x\Psi \propto x on [0,a][0, a]: the density ∝x2\propto x^2 peaks at the wall x=ax = a (the mode), while the mean computes to ⟨x⟩=3a/4\langle x\rangle = 3a/4. Why: the long lever arms near the wall pull the average toward the peak, but the low-xx tail drags it back; mean and mode agree only for symmetric single-peaked densities.

Step 3. State the general reading. ⟨x⟩\langle x\rangle is the number whose ensemble average the Born rule guarantees: measure position once each on NN identically prepared systems and the sample mean converges to ⟨x⟩\langle x\rangle as NN grows. It is not the outcome of any single measurement, not the most likely outcome, and not "where the particle is between measurements." Why: the ensemble doctrine is the safe reading of every expectation value; its full development — including what fluctuates around the mean — is Expectation Values and Standard Deviation and Quantum Uncertainty, in that order. *Verified: sympy computes ⟨x⟩=L/2\langle x\rangle = L/2 for ψ2\psi_2 with ∣ψ2(L/2)∣2=0|\psi_2(L/2)|^2 = 0, and mean 3a/43a/4 versus mode aa for the triangular state; statements per Griffiths §1.5.*

Limiting cases

CaseResultMeaning
eigenstate limit σ→0\sigma \to 0g→δ(x−x0)g \to \delta(x - x_0), σp→∞\sigma_p \to \inftyperfect location purchased at infinite momentum spread — not normalizable, not physical
broad smooth ∣Ψ∣2\lvert\Psi\rvert^2⟨x⟩≈\langle x\rangle \approx modemean and peak agree for symmetric single-humped states
symmetric density about xcx_c⟨x⟩=xc\langle x\rangle = x_c exactlybalance point — even if the density vanishes there
pixel width w→0w \to 0histogram →∣Ψ∣2\to \lvert\Psi\rvert^2real detectors coarse-grain; the density is the ideal limit
3Dr^=(x^,y^,z^)\hat{\mathbf r} = (\hat x, \hat y, \hat z), all mutually commutingthe three coordinates are compatible — one joint position measurement exists
⚠️ “⟨x⟩ is where the particle actually is”

Three errors ride on that sentence, each fatal in its own way. First, ⟨x⟩\langle x\rangle is an ensemble average: it emerges from many measurements on identically prepared copies, and no single measurement need ever return it — the ISW state ψ2\psi_2 has its mean at a point where the particle is never found. Second, the mean is not the most probable value: lopsided densities split the two (mode at the wall, mean at 3a/43a/4, in this article's worked example), and confusing them corrupts every estimate you make about skewed distributions. Third — subtlest — the phrase presumes the particle has a position between measurements, which the statistical interpretation deliberately refuses to assert: x^\hat x's job is to organize measurement statistics, not to report a hidden coordinate. Say "the mean of position measurements is ⟨x⟩\langle x\rangle" and all three errors die of precision.

Worked examples

1 · A lopsided wave: mean, mode, and the difference (confidence builder)

A particle is confined to [0,a][0, a] with a=2.0 nma = 2.0\ \mathrm{nm}, in the triangular state Ψ(x)=3/a3  x\Psi(x) = \sqrt{3/a^3}\;x (and Ψ=0\Psi = 0 outside). Verify normalization, then find the most probable position and the mean position.

Step 1. Normalization audit: ∫0a∣Ψ∣2dx=3a3∫0ax2 dx=3a3⋅a33=1\int_0^a |\Psi|^2 dx = \dfrac{3}{a^3}\int_0^a x^2\,dx = \dfrac{3}{a^3}\cdot\dfrac{a^3}{3} = 1 ✓ — the state arrives properly normalized (the craft of Probability Density and Normalization).

Step 2. Mode: the density ∣Ψ∣2=3x2/a3|\Psi|^2 = 3x^2/a^3 rises monotonically, so the most probable position is the wall, xmode=a=2.0 nmx_{\text{mode}} = a = \boxed{2.0\ \mathrm{nm}}.

Step 3. Mean, by the sandwich (2): ⟨x⟩=3a3∫0ax⋅x2 dx=3a3⋅a44=3a4=1.5 nm\langle x\rangle = \dfrac{3}{a^3}\displaystyle\int_0^a x\cdot x^2\,dx = \dfrac{3}{a^3}\cdot\dfrac{a^4}{4} = \dfrac{3a}{4} = \boxed{1.5\ \mathrm{nm}}.

Step 4. Read the gap: mean ≠\neq mode by half a nanometre — a quarter of the box. The lever-arm average is dragged below the peak by the probability stored at small xx. Any report of "the position" of this particle must say which statistic it means; they differ by 25%.

2 · Reading the spectrum through pixels (exam level)

A quantum-dot electron sits in the ISW ground state ψ1=2/Lsin⁡(πx/L)\psi_1 = \sqrt{2/L}\sin(\pi x/L) of a well of width LL. A position detector divides the well into four equal pixels. Predict the probability histogram — the odds that a single position measurement lands in each pixel.

Step 1. The pixel probability is the coarse-grained Born rule: Pk=∫pixel k∣ψ1∣2dxP_k = \int_{\text{pixel } k}|\psi_1|^2dx, with ∣ψ1∣2=2Lsin⁡2(πx/L)|\psi_1|^2 = \frac{2}{L}\sin^2(\pi x/L).

Step 2. Integrate over [0,L/4][0, L/4]: using ∫sin⁡2u dx=x2−L4πsin⁡2πxL\int\sin^2 u\,dx = \frac{x}{2} - \frac{L}{4\pi}\sin\frac{2\pi x}{L}, P1=[xL−12πsin⁡2πxL]0L/4=14−12π=0.0908P_1 = \left[\dfrac{x}{L} - \dfrac{1}{2\pi}\sin\dfrac{2\pi x}{L}\right]_0^{L/4} = \dfrac14 - \dfrac{1}{2\pi} = \boxed{0.0908}.

Step 3. By the symmetry of ∣ψ1∣2|\psi_1|^2 about L/2L/2: P4=P1=0.0908P_4 = P_1 = 0.0908, and P2=P3=12−P1=14+12π=0.4092P_2 = P_3 = \dfrac12 - P_1 = \dfrac14 + \dfrac{1}{2\pi} = \boxed{0.4092}. Audit: 2(0.0908)+2(0.4092)=1.00002(0.0908) + 2(0.4092) = 1.0000 ✓.

Step 4. Read the histogram: the two central pixels are 4.5×4.5\times likelier than the edge pixels — the coarse-grained shadow of the sin⁡2\sin^2 hump. This is a position measurement in practice: the detector's resolution w=L/4w = L/4 chops the continuous spectrum into four bins, and finer pixels would reveal the density in more detail, approaching ∣ψ1∣2|\psi_1|^2 as w→0w \to 0. No delta spike required at any stage — the continuous spectrum is read through finite-resolution windows, which is the operational meaning of position measurement. (The craft of computing region probabilities for continuum states is Probability Density and Normalization's; here it powers the operator's spectral reading.)

DH
David Hilbert
1862–1943 · Königsberg and Göttingen

Quantum mechanics found its house already built, and Hilbert was the builder. Between 1904 and 1910, studying integral equations, he developed the theory of the space now bearing his name — infinite-dimensional vectors with an inner product — and coined the word spectrum for the set of values attached to an operator, a name he chose with no knowledge that physics would one day match it to actual atomic spectra. He reportedly savoured the coincidence later: "I developed my theory of infinitely many variables from purely mathematical interests, and even called it 'spectral analysis', without any presentiment that it would later find application to the actual spectrum of physics." The position operator is the theory's simplest tenant: multiplication by xx on the space L2L^2 of square-integrable functions — Hilbert's own example class — with the subtlety that its "eigenvectors" live just outside the space, a puzzle his student von Neumann and the rigged-space formalism would later make rigorous. When Heisenberg's matrices and Schrödinger's waves seemed to be rival theories in 1926, it was in Hilbert's Göttingen, with his assistants Nordheim and von Neumann, that both were recognized as one algebra represented on one space — the mathematical unification this chapter's operator grammar quietly assumes on every page.

⏳ History
1904
— Hilbert begins the theory of integral equations; "spectral analysis" of operators is born as pure mathematics.
1926
— Schrödinger's wave mechanics casts observables as operators on functions; position acts by multiplication.
1926
— Born's statistical interpretation makes ∫x|Ψ|²dx the measured mean of position.
1927
— Dirac's transformation theory introduces delta-normalized position eigenstates as working tools.
1932
— Von Neumann's spectral theorem puts continuous spectra — position first among them — on rigorous footing.

Where this lives today

The pixel histogram of Worked Example 2 is now a photograph. Quantum-gas microscopes image ultracold atoms in optical lattices with single-site resolution: each shot returns one position measurement per atom (which lattice site), and stacking thousands of shots builds ∣Ψ∣2|\Psi|^2 site by site — the coarse-grained position spectrum read at a pixel width of one lattice constant, about 500 nm500\ \mathrm{nm}. The 2020s generation of these machines watches correlated many-body states assemble in real space, one Born-rule sample at a time. At the opposite end of the precision scale, LIGO's interferometers are position measurements of mirror coordinates at the 10−19 m10^{-19}\ \mathrm{m} level — so sharp that the apparatus collides with the operator structure of position itself: measuring x^\hat x too well squeezes the mirror's momentum spread upward (the delta-spike trade-off of this article's second figure), which feeds back as future position noise. The "standard quantum limit" and the frequency-dependent squeezing installed to dodge it are engineering consequences of [x^,p^]≠0[\hat x, \hat p] \neq 0 — the commutator built in the next article.

Check yourself

Going further

Texts. Griffiths, Introduction to Quantum Mechanics, 3rd ed., Ch. 1–3 · Shankar, Principles of Quantum Mechanics, 2nd ed., Ch. 1, 4, 7 · Sakurai & Napolitano, Modern Quantum Mechanics, 2nd ed., Ch. 1 · Cohen-Tannoudji, Diu & Laloë, Quantum Mechanics, Vol. I, Ch. II · Townsend, A Modern Approach to Quantum Mechanics, 2nd ed., Ch. 6.

Provenance. All equations are standard textbook results. A verifier should reproduce: (1) ⟨x^⟩=∫x∣ψ∣2dx\langle\hat x\rangle = \int x|\psi|^2dx (Griffiths §1.5); (2) the delta normalization ⟨x∣x′⟩=δ(x−x′)\langle x|x'\rangle = \delta(x - x') and the eigenfunction δ(x−x0)\delta(x - x_0) (Cohen-Tannoudji Vol. I Ch. II; Sakurai §1.6); (3) the Hermiticity of multiplication by real xx; (4) the worked numbers — triangular state: normalization, mode aa, mean 3a/43a/4 (a=2 nma = 2\ \mathrm{nm}: 1.5 nm1.5\ \mathrm{nm}); ISW ground-state pixel probabilities 14∓12π=0.0908/0.4092\frac14 \mp \frac{1}{2\pi} = 0.0908 / 0.4092, summing to 1. The base's commutator [x^,p^]=iℏ[\hat x, \hat p] = i\hbar and Ehrenfest relation are owned by Momentum Operator and Ehrenfest's Theorem respectively and cited, not derived, here.

Prerequisites. The Wavefunction · Born Statistical Interpretation · Probability Density and Normalization · Wave–Particle Duality. Leads to. Momentum Operator (the partner machine, where the derivative works) · Expectation Values (the sandwich doctrine in general) · Operators and Observables · the delta-normalization formalism of the Formalism chapter.

If x̂ is just multiplication, why does quantum position behave so differently from classical position?

Because the operator was never where the quantum content lived. Classical strangeness-freedom comes from positions being plain numbers that coexist with sharp momenta; quantum position differs in two structural ways. The state is a spread — ∣Ψ∣2|\Psi|^2 is irreducibly a distribution, not ignorance of a hidden number — and the partner refuses to cooperate: x^\hat x and the momentum operator do not commute, so no state is sharp in both (the commutator is built in Momentum Operator). Multiplication is trivial; multiplication versus differentiation is the whole theory. This is also why the article insists all the physics is in the state: change representation (momentum space, later) and x^\hat x becomes a derivative while p^\hat p becomes multiplication — the operators trade costumes, the physics stays.

Is a delta spike ever actually prepared in the lab?

Never exactly, and the theory itself explains why the attempt self-destructs. A state of width σ\sigma costs momentum spread σp≳ℏ/2σ\sigma_p \gtrsim \hbar/2\sigma; as σ→0\sigma \to 0 the kinetic energy ⟨p2⟩/2m\langle p^2\rangle/2m diverges — infinitely sharp localization needs infinite energy. Real localizations stop far short: an atom imaged by a quantum-gas microscope is pinned to ∼500 nm\sim500\ \mathrm{nm}; an electron microscope's focused probe reaches ∼50 pm\sim50\ \mathrm{pm}. Each is described by a narrow wavepacket — normalizable, finite energy — for which the delta spike is the convenient idealized limit, exactly as the plane wave idealizes a long monochromatic packet on the momentum side.

What does it mean to say the delta spikes are 'complete' if none of them is a state?

It means they work perfectly as an analysis basis: any physical state can be written as a superposition of spikes, Ψ(x′)=∫Ψ(x) δ(x′−x) dx\Psi(x') = \int \Psi(x)\,\delta(x' - x)\,dx — which looks like a triviality (it is the sifting property read backwards) and is in fact the position-representation completeness relation. The expansion coefficients are the wavefunction's values: Ψ(x)\Psi(x) is literally "how much of the spike at xx" the state contains. That is why the position representation feels so natural — it is expansion over position eigenstates, done silently. The formal statement ∫∣x⟩⟨x∣dx=1\int|x\rangle\langle x|dx = \mathbb{1}, and the calculus for using it safely, is the Formalism chapter's Continuous Spectra and Dirac Delta Normalization.

Do x̂, ŷ, ẑ interfere with each other the way position and momentum do?

No — the three coordinate operators all commute with one another (x⋅y⋅Ψ=y⋅x⋅Ψx\cdot y\cdot\Psi = y\cdot x\cdot\Psi, multiplications in any order), which is why a single measurement can return all three coordinates at once and why "the particle was found at r\mathbf r" is a meaningful joint statement. The incompatibility that defines quantum mechanics is specifically between a coordinate and its own momentum: x^\hat x with p^x\hat p_x, never x^\hat x with p^y\hat p_y. The general theory of which observables can be jointly sharp — commuting versus non-commuting — is developed in the Formalism chapter (The Commutator and Compatible Observables).

Why do we bother with the operator at all, if ⟨x⟩ = ∫x|Ψ|²dx already follows from the Born rule?

For position alone, you would not need it — the density carries everything. The operator grammar pays off the moment you leave position: the momentum mean is not ∫p∣Ψ(p...)∣\int p|\Psi(p...)|-anything computable from ∣Ψ(x)∣2|\Psi(x)|^2; it requires the sandwich ∫Ψ∗(−iℏ∂x)Ψ dx\int\Psi^*(-i\hbar\partial_x)\Psi\,dx, an object with no density-only expression. Position is the training-wheels case where the sandwich visibly reduces to elementary probability, so you can trust the pattern when it stops reducing. There is also a structural payoff: writing all observables as operators exposes their algebra — commutators — which is where uncertainty relations and conservation laws live. One grammar, every observable.

A measurement found the particle at x₀. Is the wavefunction now δ(x − x₀)?

The textbook collapse rule would say so, and the delta's pathology is one clean way to see that rule needs refinement for continuous spectra. A physical detector has resolution ww: what the measurement certifies is "in the pixel around x0x_0," and the updated state is (idealizing) the old wavefunction truncated to that pixel and renormalized — a narrow packet, not a spike, with momentum spread ∼ℏ/w\sim\hbar/w, finite energy, and honest subsequent dynamics (it spreads fast). The infinitely sharp version is the w→0w \to 0 limit that no apparatus reaches. Collapse itself — what exactly happens, and in what sense — is the Formalism chapter's Measurement and Wavefunction Collapse and the track's final chapter; the operational pixel version above is what laboratories actually use.

Does the particle have a position when nobody measures?

The statistical interpretation of this track declines to say yes, and experiments punish theories that insist too naively. If "has a position" means a pre-existing value that measurement merely reveals, you have a hidden-variable theory; such theories survive only by paying steep prices elsewhere (Bohmian mechanics keeps definite positions but makes them nonlocally choreographed; local hidden-variable theories are ruled out by the Bell-test experiments discussed in the Entanglement chapter). The safe operational stance: Ψ\Psi encodes the statistics of possible position measurements, and between measurements the question "where is it?" has no theory-sanctioned answer. Uncomfortable, testable, and — so far — undefeated.

Before this

Where this leads