为了在赋范线性空间上引入内积，当且仅当范数满足四边形等式