欧氏空间
向量的代数运算