1
$\begingroup$

How to prove that similarity $f:\mathbb R^n \to \mathbb R^n$, i.e there is $0

1 Answers 1

4

You can compose a similarity of $\mathbf R^n$ with scaling (a bijection) to obtain an isometry, so you can assume without loss of generality that $f$ is an isometry.

$\mathbf R^n$ as a metric space has the property that for any two points, there is a unique geodesic line connecting them: the straight line. Isometries preserve distances, so they must also preserve geodesics, and hence also straight lines, so they are affine.

Therefore, if you compose an isometry $f$ with translation by $-f(0)$ (again a bijection), you obtain a linear isometry of $\mathbf R^n$, so without loss of generality $f$ is a linear isometry.

To check that a linear isometry is bijective, you just need to check that it transforms the sequence of basis vectors to a linearly independent sequence. That's not hard to do: if you had some $\sum_{i

This also shows that any similiarity is a composition of a linear isometry, translation and scaling, which, with some more work, can be used to show that it is also a composition of several reflections and scaling.

  • 0
    Your answer is very helpful, thanks.2012-08-13