内积结构的向量空间。态向量满足向量空间所有的公理。态向量是一种特殊的向量，它也允许内积的运算。态向量的范度是1，是一个单位向量。标记量子态formula_1的态向量为formula_2。每一个内积空间都有单范正交基。态向量是单范正交基的所有基向量的线性组合：其中，formula_4是单范正交基的基向量，formula_5是单范正交基的基数，formula_6是复值的系数，是formula_2的分量，formula_8是formula_2投射于基向量formula_10的分量，也是formula_2处