Hilbert space

In plain terms

Here is the problem the concept solves. Quantum superposition needs vector addition; probabilities need lengths and angles; and analysis -- limits, convergence, calculus -- needs sequences to converge to something IN the space rather than leaking out of it. A Hilbert space is exactly a space with all three: vectors, inner product, completeness.

In finite dimensions completeness is automatic, and a Hilbert space is nothing more exotic than complex Euclidean space. In infinite dimensions it is a genuine constraint and the source of most of the subject's analytical grief.

The standard formulation of quantum mechanics identifies the theory with this stage. States ARE vectors in Hilbert space; that is where the theory happens. Or so the textbook says.

In CSD

CSD's sharpest departure from textbook framing is here. The ontology is NOT in Hilbert space. Physical states are points of the constraint surface; the Hilbert space -- more precisely the projective space of its rays -- is the epistemic bookkeeping built over the substrate, carrying outcome regions and probabilities.

So quantum mechanics happens in Hilbert space is, on this account, like saying the weather happens on the weather map: true about the representation, silent about the thing represented. The corpus's fibre analysis pushes further -- the projective space is a LOSSY projection, with record-forming content living above it. Whether one buys the programme or not, this is the single sentence to understand about how it reads the formalism.

Mathematically

A complete complex inner product space. The corpus is finite-dimensional throughout, so completeness is free and the operative object is CP^(N-1), the space of rays, since phase-differing vectors are one physical state. Infinite dimension -- unbounded operators, domains, continuous spectra -- is deliberately out of scope; the continuous-variable strand approximates it at an explicit finite cutoff instead.

The name

David Hilbert (1862-1943) was born in Konigsberg and moved in 1895 to Gottingen, which he made the centre of world mathematics for a generation. The 1900 Paris address, with its twenty-three problems, set the century's agenda; his formalist dream -- mathematics proved complete and consistent by finite means -- was bounded forever by Godel in 1931.

Two footnotes with teeth. The space is not his coinage: von Neumann named it, while building quantum mechanics' rigorous foundations in Hilbert's own department. And when the Nazi education minister asked him, in 1934, whether Gottingen mathematics had suffered from the removal of the Jews, Hilbert answered: suffered? It no longer exists.