局部对称 双重矢性积 平行平均曲率向量场 全脐子流形 展开式的证明 矢量综合分析法