在量子力学里，一个量子系统的量子态可以抽象地用态向量来表示。态向量存在于内积空间。定义内积空间为增添了一个额外的内积结构的向量空间。态向量满足向量空间所有的公理。态向量是一种特殊的向量，它也允许内积的运算。态向量的范度是1，是一个单位向量。标记量子态formula_1的态向量为formula_2。每一个内积空间都有单范正交基。态向量是单范正交基的所有基向量的线性组合：其中，formula_4是单范正交基的基向量，formula_5是单范正交基的基数，formula_6是复值的系数，是formula_