Definition
A mathematical structure used to represent quantum states and the operations performed on them. It specifies how states are expressed, related, combined, and decomposed into components that support calculation. It does not by itself determine physical predictions without a mapping to observables and measurement rules. It enables precise computation of probabilities and expectation values from state and operator inputs. The concept is generally stable, though notation choices and computational methods evolve over time.
Principle
Principle
Orthogonality and normalization: ⟨i|j⟩ = δ_{ij}; together with spanning the space this gives unique expansion coefficients for any vector via inner products.
Demonstration
Demonstration
For a spin-1/2 system the orthonormal basis is {|↑⟩,|↓⟩} with ⟨↑|↓⟩=0 and ⟨↑|↑⟩=⟨↓|↓⟩=1; any qubit state α|↑⟩+β|↓⟩ is uniquely specified by α,β.
Misapplication
Misapplication
Treating an orthogonal set that does not span the full space as a basis, or assuming orthonormality when vectors are only linearly independent but not normalized, leading to incorrect coefficient extraction.
Consequence
Consequence
Simplifies expansions, inner-product calculations, matrix representations of operators, and ensures Parseval/Plancherel-type relations for norms and probabilities.
Reversal
Reversal
Using a linearly independent but nonorthogonal basis or an overcomplete frame; expansions exist but coefficients require different inversion procedures (e.g., Gram–Schmidt or dual frames).
Boundary
Boundary
Defined only in spaces with an inner product; for infinite-dimensional or continuous bases normalization and completeness require careful treatment (delta-normalization, rigged Hilbert space).
Semantic Tension
Semantic Tension
Confused with general bases, frames, or eigenbases: orthonormal basis emphasizes mutually orthogonal unit vectors and unique coefficient formulas, while frames allow redundancy and general bases may be nonorthogonal.
Synthesis
Synthesis
A basis of mutually orthogonal unit vectors whose span covers the Hilbert space, enabling simple inner-product-based decomposition and stable coordinate representations of quantum states.