Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I have no doubt that the following observation is quite well known. Let $\varphi:[0,1]\to [0,1]$ be a continuous map. Assume that the iterates $\varphi^n$ converge pointwise to some continuous map $\varphi_\infty$. Then the convergence is in fact uniform. However, I was unable to locate a reference. Does anybody know where I can find it written? Thanks in advance.

share|improve this question
1  
I think your need monotonicity w.r.t n, then it becomes Dini's theorem. –  Piyush Grover Mar 30 '13 at 21:40
    
Counterexample if not monotonic in this file: math.ubc.ca/~feldman/m321/dini.pdf –  Piyush Grover Mar 30 '13 at 21:45
1  
Your wording suggests that you have a proof and only seek a reference. It this correct? –  Sergei Ivanov Mar 31 '13 at 8:29
1  
@Sergei Ivanov. Yes, exactly. –  Etienne Mar 31 '13 at 8:55
1  
There is a tag 'reference-request'. –  Sergei Ivanov Mar 31 '13 at 9:06

2 Answers 2

I don't know a reference but maybe the following proof is shorter than yours.

By continuity, $\varphi\circ\varphi_\infty=\varphi_\infty$. Hence $\varphi$ is identity on the set $I:=\varphi_\infty([0,1])$. Hence $I$ is the set of fixed points of $\varphi$. And it is compact and connected. Then there are two cases: either $I$ is a nontrivial interval $[a,b]$ or it is a single point $\{a\}$.

In the first case, we have $f(x)<x$ for all $x>b$ and $f(x)>x$ for all $x<a$, otherwise there is a fixed point outside $I$. There is an $\varepsilon>0$ such that $f(x)>a$ for all $x\in(b,b+\varepsilon)$ and $f(x)<b$ for all $x\in(a-\varepsilon,a)$. Let $U=(a-\varepsilon,b+\varepsilon)$. Then $\varphi(U)\subset U$ and for every $x\in U$ we have $$ |\varphi^n(x)-x|<\delta(\varepsilon) $$ where $\delta(\varepsilon)\to $ as $\varepsilon\to 0$ ($\delta(\varepsilon)$ is the maximum of the diameters of the sets $\varphi([a-\varepsilon,a])$ and $\varphi([b,b+\varepsilon])$) For every $x\in[0,1]$, the iterations $\varphi^n(x)$ eventually get into $U$, hence $$ \bigcup_n \varphi^{-n}(U) = [0,1] . $$ By compactness, this implies that $[0,1]$ is covered by finitely many sets $f^{-n}(U)$ and hence there exist $n$ such that $\varphi^n([0,1])\subset U$. After this $n$, all iterations stay within the distance $\delta(\varepsilon)$ from the limit. Since $\varepsilon$ can be arbitrarily small, this implies uniform convergence.

In the second case (when $I$ is a single point $a$), similarly observe that $f(x)<x$ for $x>a$ and $f(x)>x$ for $x<a$, and the same holds for $\varphi^2$, $\varphi^3$, etc. This implies that if e.g. $x>a$ and $f(x)<a$ then all iterations $\varphi^n(x)$ lie between $x$ and $f(x)$. This easily implies that there is an arbitrarily small neighborhood $U$ of $a$ such that $f(U)\subset U$. Then uniform convergence follows similarly to the first case.

share|improve this answer
    
Thanks for this nice proof, which is quite different from (and perhaps shorter than) the one I knew. I still cannot believe that the result has never been stated (and proved) in some book and/or paper, but a google search led to nothing. –  Etienne Mar 31 '13 at 10:35

This result seems to be a consequence of Dini's theorem (as noted by nonlinearism):

If $\varphi^n$ converges to a continuous function $\varphi_\infty$, we have $\varphi_\infty = 0$. Hence, $\varphi < 1$ on $[0,1]$. By compactness, we have $\varphi < p$ for some $p < 1$. Therefore, the convergence is monotonic and we can apply Dini's theorem.

This should work for all $\varphi : K \to [-1,1]$, where $K$ is a compact metric space (for $\varphi < 0$, one has to adopt the proof in an obvious manner).

share|improve this answer
1  
Why $\varphi_\infty=0$? What is $\varphi(x)=x$? –  Sergei Ivanov Mar 31 '13 at 8:27
1  
Or $\varphi(x)\equiv\frac12$... –  Etienne Mar 31 '13 at 9:25
    
Sorry, I misunderstood your "iterate" (I thought of "power"). –  gerw Mar 31 '13 at 18:56

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.