对称性和传递性，有限维欧氏空间维数相等时一定同构，欧氏空间的同构就是空间之间的双射能保持线性运算和内积不变[/]完整