数性积 张量乘积 伪辛空间 多重线性型 伪辛几何 概念的形成 合理性 欧氏空间