Euclidean space

In plain terms

Quantum mechanics needs geometry, meaning lengths, angles and the whole toolkit. But its amplitudes, the numbers that describe a state, are complex numbers, and naive geometry over complex numbers gives complex lengths, which mean nothing, so the problem is small but real.

The fix is the complex inner product, a rule for pairing two vectors to produce a single number. It's arranged so that any vector paired with itself yields a real, positive quantity, its squared length, while two different vectors can pair to something complex. That leftover complex phase isn't a defect, as it's where interference lives, the single structural feature that separates quantum superposition from classical mixing.

Finite-dimensional complex Euclidean space is just this, in any finite number of dimensions. Nothing about it is exotic, and the exotic things are built on top of it.

In CSD

This is the base camp and not a claim. State vectors live in finite-dimensional complex Euclidean space, and operators are matrices on it. The objects that carry content are built overhead, the projective space of rays, in which two vectors differing only by an overall phase count as one state because they're physically identical, and the forced measure on that space.

The finiteness is a decision and not a convenience, as 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, as the exact canonical commutation relation is impossible, with the failure located and quantified rather than hidden.

Mathematically

A 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, and 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, and the anecdotes, such as the reply that there's no royal road to geometry, are late inventions. The work is another matter, as the Elements organised Greek geometry and number theory into definitions, postulates and deductions, and it 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. Its most productive failure was the fifth postulate, which resisted derivation for two millennia because it's independent of the others, and that discovery gave us non- Euclidean geometry and eventually the curved spaces on which both relativity and this glossary's state space stand.

Related entries

• Hilbert spaceHilbert space is the stage on which quantum mechanics is usually performed, and CSD's claim is that it's scenery, the shadow cast by the physical object and not the object itself.
• Hermitian operatorA single symmetry condition on an operator guarantees that every number it can produce in a measurement is real, and it delivers the whole machinery of outcomes and eigenstates at no extra cost.
• Kronecker productTwo quantum systems become one by multiplying their descriptions rather than adding them, which is why quantum resources multiply where classical ones merely add.
• Borel setBefore any region can have a probability, someone has to say which regions are allowed to have a size at all, and the Borel sets are the answer everyone uses.
• Fubini-Study measureThe space of quantum states allows exactly one way of measuring size that respects its symmetry, and that one measure is what turns regions of the space into Born-rule probabilities.