Vector Spaces over ℂ

The mathematical home of every quantum state is a complex vector space. Before we can talk about Hilbert spaces, inner products, or Dirac notation, we need to be precise about what a vector space over the complex numbers $\mathbb{C}$ actually is. This lesson lays that foundation.

The two ingredients: vectors and scalars

A vector space is built from two sets working together. The first is a set $V$ whose elements we call vectors (in quantum mechanics, kets $|\psi\rangle$). The second is the set of scalars, which for our purposes is always the field of complex numbers $\mathbb{C}$. The phrase "vector space over $\mathbb{C}$" simply means the scalars are complex numbers rather than, say, real numbers.

Two operations connect them:

• Vector addition: any two vectors $|u\rangle, |v\rangle \in V$ combine to give a vector $|u\rangle + |v\rangle \in V$.
• Scalar multiplication: any scalar $\alpha \in \mathbb{C}$ and vector $|v\rangle \in V$ combine to give a vector $\alpha|v\rangle \in V$.

Crucially, both operations must keep you inside $V$ — this is the closure requirement.

The axioms

A set $V$ with these two operations is a complex vector space if it satisfies the following axioms for all $|u\rangle, |v\rangle, |w\rangle \in V$ and all $\alpha, \beta \in \mathbb{C}$.

Addition behaves like ordinary addition:

There is a unique zero vector $|0\rangle$ (the additive identity, not to be confused with the qubit state $|0\rangle$ — context always makes the meaning clear) with $|v\rangle + |0\rangle = |v\rangle$, and every $|v\rangle$ has an additive inverse $-|v\rangle$ with $|v\rangle + (-|v\rangle) = |0\rangle$.

Scalar multiplication is compatible with the field operations:

and it distributes over both kinds of addition:

The canonical example: $\mathbb{C}^n$

The prototype is $\mathbb{C}^n$, the set of all column vectors with $n$ complex entries:

Addition is component-wise and scalar multiplication multiplies every component by the same scalar. A single qubit lives in $\mathbb{C}^2$; an $n$-qubit register lives in $\mathbb{C}^{2^n}$. All the axioms above are inherited directly from complex arithmetic on the components.

Linear independence, span, and dimension

A set of vectors $\{|v_1\rangle, \ldots, |v_k\rangle\}$ is linearly independent if the only way to make the zero vector as a combination

is to take all coefficients $\alpha_i = 0$. The span of a set is the collection of all such linear combinations. A basis is a linearly independent set that spans the whole space, and the number of vectors in any basis is the dimension. For $\mathbb{C}^n$ the dimension is $n$, with the standard basis $\{|e_1\rangle, \ldots, |e_n\rangle\}$ where $|e_k\rangle$ has a 1 in slot $k$ and 0 elsewhere.

Why "over ℂ" matters

It is tempting to think a complex vector space is "just" a real vector space with extra structure. The distinction is real and physical. Allowing complex scalars is what permits relative phases between amplitudes, and phases are responsible for interference — the defining feature of quantum mechanics. A state $\alpha|0\rangle + \beta|1\rangle$ with $\alpha, \beta \in \mathbb{C}$ carries information not just in the magnitudes $|\alpha|, |\beta|$ but in the complex phase relationship between them. Restricting to real scalars would throw that information away.

The takeaway

A complex vector space is a set closed under addition and complex-scalar multiplication, satisfying the eight axioms above. Quantum states are vectors in such a space — almost always $\mathbb{C}^n$ for a finite-dimensional system. Everything that follows (inner products, completeness, operators) is extra structure layered on top of this foundation.

Sign in on the full site to ask questions and join the discussion.