I have some preliminary questions before I attempt this problem in my book.
If $M$ is the metric space of all the real numbers and $x_0 \in M$, prove that there exist exactly two isometries of $M$ that leave $x_0$ fixed.
For completeness, an isometry is a mapping between two metric spaces that preserves distance.
I have two questions.
Am I to assume that the trivial isometry (mapping each point onto itself) "counts" as an isometry in the context of this question?
Are the two isometries the trivial one and the one which will reflect the entire real line over the point $x_0$? Meaning the value of $x_0 + \epsilon$ is swapped with the value of $x_0 - \epsilon$ for $\epsilon > 0$.
I still have to prove that they are the only ones but I want to make sure I am on the right track.