Mathematical Prerequisites: Linear Algebra and Complex Analysis for Quantum Mechanics

The mathematical formulation of quantum mechanics is not merely a convenient tool but an indispensable framework that precisely captures the counterintuitive phenomena observed at microscopic scales. At its heart lies linear algebra over the complex field, augmented by the geometric and analytic structures of Hilbert spaces. This chapter systematically develops the requisite mathematical apparatus, establishing the language in which quantum states, observables, and dynamics are rigorously expressed. We begin with the algebraic and geometric foundations of complex vector spaces, progressively building toward the functional analytic setting of Hilbert spaces, and culminate with the spectral theory of normal operators and the structural decomposition theorems that pervade quantum theory. The Dirac notation is introduced as the idiomatic language for this framework, and the tensor product construction is elucidated as the mechanism for describing composite systems. Upon this foundation, the subsequent chapters will erect the edifice of quantum computation.

Complex Vector Spaces and Inner Product Structures

The state of a quantum system is represented by a *vector* in a *complex vector space*. This fundamental departure from classical state spaces, which are often real-valued or set-theoretic, is not a mere mathematical convenience but a physical necessity, as evidenced by the interference phenomena central to quantum mechanics. We denote a general complex vector space as $\mathcal{V}$ over the field $\mathbb{C}$. A vector $|\psi\rangle \in \mathcal{V}$ is a finite or infinite sequence of complex numbers $(c_1, c_2, \dots)$ that obeys the usual rules of vector addition and scalar multiplication. For finite-dimensional spaces, $\mathcal{V} \cong \mathbb{C}^n$, but the infinite-dimensional case is paramount for continuous-variable systems and field theories.

An *inner product* on $\mathcal{V}$ is a mapping $\langle \cdot | \cdot \rangle : \mathcal{V} \times \mathcal{V} \to \mathbb{C}$ satisfying, for all $|\phi\rangle, |\psi\rangle, |\chi\rangle \in \mathcal{V}$ and $\alpha \in \mathbb{C}$: 1. Conjugate Symmetry: $\langle \phi | \psi \rangle = \overline{\langle \psi | \phi \rangle}$. 2. Linearity in the Second Argument: $\langle \phi | \alpha |\psi\rangle + |\chi\rangle \rangle = \alpha \langle \phi | \psi \rangle + \langle \phi | \chi \rangle$. 3. Positive-Definiteness: $\langle \psi | \psi \rangle \geq 0$, with equality iff $|\psi\rangle = |0\rangle$.

The first property distinguishes the complex inner product from its real counterpart; it enforces that $\langle \psi | \psi \rangle$ is always real and non-negative. Linearity in the second argument, combined with conjugate symmetry, implies *conjugate linearity* (or antilinearity) in the first argument: $\langle \alpha \phi + \chi | \psi \rangle = \overline{\alpha} \langle \phi | \psi \rangle + \langle \chi | \psi \rangle$. This asymmetry is crucial for the probabilistic interpretation.

From the inner product, we derive the *norm* (or length) of a vector: $\||\psi\rangle\| = \sqrt{\langle \psi | \psi \rangle}$. The norm satisfies the triangle inequality $\||\phi\rangle + |\psi\rangle\| \leq \||\phi\rangle\| + \||\psi\rangle\|$ and the *Cauchy-Schwarz inequality*: $$ |\langle \phi | \psi \rangle| \leq \||\phi\rangle\| \cdot \||\psi\rangle\|. $$ This inequality is fundamental, as it bounds the probability amplitude and leads directly to the probabilistic Born rule. Two vectors are *orthogonal* if $\langle \phi | \psi \rangle = 0$. A set of vectors is *orthonormal* if each has unit norm and they are pairwise orthogonal. Any finite-dimensional inner product space possesses an orthonormal basis; the Gram-Schmidt process provides a constructive method to obtain one from any linearly independent set.

> Physical Interpretation: Probability Amplitudes > The inner product $\langle \phi | \psi \rangle$ is a *probability amplitude*. The probability of finding a system in state $|\psi\rangle$ to be in state $|\phi\rangle$ upon measurement is $|\langle \phi | \psi \rangle|^2$, provided both are normalized. The complex phase of the amplitude encodes relative phase information, which is the source of interference.

Example 1.1: The Qubit State Space The simplest non-trivial quantum system is the qubit. Its state space is $\mathbb{C}^2$, equipped with the standard inner product. An arbitrary normalized state can be written as $$ |\psi\rangle = \alpha |0\rangle + \beta |1\rangle, \quad |\alpha|^2 + |\beta|^2 = 1, $$ where $\{|0\rangle, |1\rangle\}$ is the computational basis, an orthonormal basis. The inner product $\langle 0 | 1 \rangle = 0$, $\langle 0 | 0 \rangle = \langle 1 | 1 \rangle = 1$. The amplitudes $\alpha, \beta \in \mathbb{C}$ contain the complete information. The relative phase between $\alpha$ and $\beta$ is physically meaningful; states $|+\rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle)$ and $|-\rangle = \frac{1}{\sqrt{2}}(|0\rangle - |1\rangle)$ are distinguishable despite having equal measurement probabilities in the computational basis.

Hilbert Spaces: Completeness and Limits

For many physical applications, particularly those involving limits, continuity, and infinite series (e.g., expansions in energy eigenstates), the vector space must possess a notion of convergence. This leads to the concept of a *Hilbert space*.

A *Hilbert space* $\mathcal{H}$ is a complete inner product space. *Completeness* means that every Cauchy sequence of vectors in $\mathcal{H}$ converges to a vector in $\mathcal{H}$. In practical terms, this guarantees that infinite sums $\sum_{n=1}^\infty |\psi_n\rangle$ that are Cauchy (i.e., the partial sums form a Cauchy sequence) converge to a well-defined vector in the space. This property is essential for the spectral theorem and for defining operators on unbounded domains.

For quantum mechanics, $\mathcal{H}$ is typically assumed to be *separable*, meaning it contains a countable dense subset. Equivalently, it admits a countable orthonormal basis. This aligns with the physical requirement that a quantum system's state can be described by a countable set of parameters (e.g., Fourier coefficients in a discrete basis). The space $\ell^2(\mathbb{N})$, the set of square-summable complex sequences, is the prototypical separable infinite-dimensional Hilbert space.

Example 1.2: Infinite-Dimensional Hilbert Space The harmonic oscillator's state space is $\ell^2(\mathbb{N})$. The energy eigenstates $\{|n\rangle\}_{n=0}^\infty$ form an orthonormal basis. A general state is $|\psi\rangle = \sum_{n=0}^\infty c_n |n\rangle$ with $\sum_{n=0}^\infty |c_n|^2 < \infty$. The condition $\sum |c_n|^2 < \infty$ ensures the vector has finite norm, and completeness ensures that such series converge in the norm topology.

Dirac Notation: The Language of Quantum Mechanics

The *bra-ket* notation, introduced by Paul Dirac, provides an elegant and efficient language for manipulating vectors and dual vectors in complex inner product spaces. It is designed to make the inner product and linear operations visually intuitive.

• A *ket* $|\psi\rangle$ denotes a vector in the Hilbert space $\mathcal{H}$.
• A *bra* $\langle \phi |$ denotes an element of the dual space $\mathcal{H}^*$, the space of continuous linear functionals on $\mathcal{H}$. The inner product $\langle \phi | \psi \rangle$ is the action of the bra $\langle \phi |$ on the ket $|\psi\rangle$.
• The correspondence between kets and bras is defined by the inner product: for any $|\psi\rangle$, there is a unique bra $\langle \psi |$ such that $\langle \psi | \phi \rangle = \overline{\langle \phi | \psi \rangle}$ for all $|\phi\rangle$. This operation is *antilinear*: if $|\psi'\rangle = \alpha |\psi\rangle$, then $\langle \psi' | = \overline{\alpha} \langle \psi |$.

This notation seamlessly extends to linear operators. An operator $A: \mathcal{H} \to \mathcal{H}$ can be written in bra-ket form as $A = \