矢量
An isometry of Euclidean vector spaces is a linear isomorphism.