Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $(A,\rho)$ be a compact metric space and let $f: A \to A$ be a function satisfying $$ \forall \quad x,y\in A, \ x \ne y \ \ \implies \rho(f(x),f(y))< \rho(x,y). $$

Now define the function $\chi: A \to \mathbb{R}$ by $$\chi(x) = \rho(x,f(x)), \qquad x \in A.$$

Then I have to show that $\chi$ is uniformly continuous.

I have to show for every $\epsilon >0$, there exists $\delta>0$ such that for every $x,y \in A$ with $\rho(x,y) < \delta$ we have $\rho(\chi(x),\chi(y)) <\epsilon$.

Can anyone explain in detail?

share|improve this question
1  
Why do you have to do that? –  Jonas Meyer Dec 14 '12 at 15:44
    
$ \chi(x) \in \mathbb{R}$, thus you have to prove that $| \chi(x) - \chi (y)| < \varepsilon.$ $\rho$ is a metric on the space $A$ that a priori can not be $\mathbb{R}$. –  user29999 Dec 14 '12 at 15:52

1 Answer 1

Hint:

Note that $\rho(x,f(x))-\rho(y,f(y))$ is less than or equal to (using the triangle inequality and the contraction assumption)

$$\begin{aligned}\rho(x,f(y))+\rho(f(x),f(y))-\rho(y,f(y)) & \leqslant \rho(x,y)+\rho(y,f(y))+\rho(x,y)-\rho(y,f(y))\\ &=2\rho(x,y)\end{aligned}$$

apply the same calculating to get that $\rho(y,f(y))-\rho(x,f(x))\leqslant 2\rho(x,y)$ and so $|\rho(x,f(x))-\rho(y,f(y))|\leqslant 2\rho(x,y)$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.