_20内积formula_21的共轭复数：2）归一性定义formula_20内积formula_20的平方根为formula_20的范数，标记为formula_31。由于态向量满足归一性，态向量的范数必定等于1：3）柯西-施瓦茨不等式柯西-施瓦茨不等式阐明：