Euclidean vector space/Isometry with standard space/Fact/Proof
Appearance
Proof
Let be an orthonormal basis of , and let
be the linear mapping given by
Because of fact (3), this is an isometry.
Let be an orthonormal basis of , and let
be the linear mapping given by
Because of fact (3), this is an isometry.