rmula_2的态向量formula_13。类似地，也可以用左矢formula_23来定义：其中，算符formula_25是算符formula_26的厄米共轭。
性质.
幺正性.由于态向量必须满足归一条件，态向量的范数不能随时间而变：可是，所以，其中，formula_30是单位算符。
单位性.时间演化算符formula_31必须是单位算符formula_32，因为，
闭包性.从初始时间fo