Dana Scott wrote: > I think it is easy to prove that when M = R^n and the distance > is the usual n-dimensional Euclidean metric, then the group > of such mappings is just the usual group rigid motions of > Euclidean space. f(v)=2v is in the group of such mappings but it is not a rigid motion. GL