Isometry

Analytic Geometry, Differential Geometry, Manifolds, Riemannian Geometry, Euclidean Geometry
Post Reply
User avatar
Riemann
Posts: 176
Joined: Sat Nov 14, 2015 6:32 am
Location: Melbourne, Australia

Isometry

#1

Post by Riemann »

We consider an isometry $\varphi:\mathbb{R}^n \rightarrow \mathbb{R}^n$. Prove that the isometry $\varphi$ can be writen as a unique sum ( decomposition ) of a vertical geometric transformation as well as a constant. Use the above to determine all isometries of $\mathbb{R}^2$.
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

Re: Isometry

#2

Post by Tolaso J Kos »

The uniqueness part is easy. Since $\varphi$ is clearly continuous (in fact Lipschitz with constant $1$) it suffices to prove that $\varphi$ is affine i.e.

$$\varphi\left(\frac{x+y}{2}\right)=\frac{\varphi(x)+\varphi(y)}{2}$$

So fix $x,y$ and let $z=\frac{x+y}{2}$. Then $x-z=z-y=\frac{x-y}{2}$ and hence by the triangle inequality

\[\|x-y\|=\|\varphi(x)-\varphi(y)\| \le \|\varphi(x)-\varphi(z)\|+\|\varphi(z)-\varphi(y)\|=\|x-z\|+\|z-y\|=\|x-y\|\]

Hence equality must hold in the triangle inequality whence $\varphi(z)$ must be collinear with $\varphi(x),\varphi(y)$ and hence their midpoint (since it's also at the same distance from both the points).
Imagination is much more important than knowledge.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 9 guests