Euclidean space

In plain terms

Here is the problem, small but real. Quantum mechanics needs geometry -- lengths, angles, the whole toolkit -- but its amplitudes are complex numbers, and naive geometry over complex numbers gives complex lengths, which mean nothing.

The fix is the complex inner product: a pairing arranged so that any vector paired with itself yields a real, positive length, while two different vectors can pair to something complex. That leftover complex phase is not a defect. It is where interference lives -- the single structural feature that separates quantum superposition from classical mixing.

Finite-dimensional complex Euclidean space is just this, in N dimensions. Nothing exotic; the exotic things are built on top of it.

In CSD

This is the base camp, not a claim. State vectors live in finite complex Euclidean space; operators are matrices on it. The objects that carry content are built overhead: the projective space of rays -- because states differing by a phase are physically identical -- and the forced measure on it.

The finiteness is a decision, not a convenience. The corpus is finite-dimensional everywhere, on purpose: completeness comes free, the pathologies of infinite dimension never arise, and the price is paid honestly in one place -- the exact canonical commutation relation is impossible, with the failure located and quantified rather than hidden.

Mathematically

Finite-dimensional complex inner product space, realised as the L2 structure on functions from a finite index type, with matrices carrying the induced operator norm. Completeness is automatic, so Hilbert-space subtleties vanish; the corpus's continuous-variable work approximates infinite dimension at an explicit finite cutoff instead of importing it.

The name

Euclid of Alexandria worked around 300 BC under Ptolemy I. Almost nothing personal is known -- the anecdotes (there is no royal road to geometry) are late inventions. The work is another matter: the Elements organised Greek geometry and number theory into definitions, postulates and deductions, and stayed a live textbook for over two thousand years -- the longest run any book has had in science.

Every formal proof, this corpus's included, is downstream of that template. And its most productive failure: the fifth postulate resisted derivation for two millennia because it is independent -- the discovery of which gave us non-Euclidean geometry, and eventually the curved spaces on which both relativity and this glossary's state space stand.