Mapping from a Euclidean space to itself that is an isometry with a hyperplane as a set of fixed points