The Computational Basis and the State Vectors of a Qubit
lemmaAnalysisLinear Algebralem:qubit-basis-and-states-2026aLet the \reftext{def:qubit-state-space-2026a}{qubit state space} be as in that definition, with computational basis vectors and , \reftext{def:standard-inner-product-cn-2026a}{standard inner product} and \reftext{def:inner-product-norm-2026a}{induced norm} . Let be an element of , and let denote the \reftext{def:complex-modulus-2026a}{modulus} of . Then the following hold.
\textbf{1. (Orthonormality)} and . In particular and are \reftext{def:unit-vector-2026a}{unit vectors}.
\textbf{2. (Components as inner products)} and .
\textbf{3. (Expansion in the computational basis)} , where the operations are those of the \reftext{def:complex-coordinate-space-cn-2026a}{complex coordinate space}; and if are complex numbers with , then and .
\textbf{4. (State vectors)} , and is a qubit state vector if and only if .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…