Why Continuous Functions Don't Preserve Cauchy Sequences

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 6K views
I like number
Messages
10
Reaction score
0

Homework Statement


Why is it that continuous functions do not necessarily preserve cauchy sequences.


Homework Equations


Epsilon delta definition of continuity
Sequential Characterisation of continuity


The Attempt at a Solution


I can't see why the proof that uniformly continuous functions preserve cauchy sequences doesn't hold for 'normal' continuous functions.
In particular the example of f(x) = 1/x on (0,1)
I have worked through the examples
http://www.mathcs.org/analysis/reals/cont/answers/fcont3.html
and here
http://www.mathcs.org/analysis/reals/cont/answers/contuni4.html

where they address this issue directly, but I can't get my head around it.

I understand that if we have a cauchy sequence converging to 0, then f(xn) is going to diverge to infinity, but I still can't see what the problem is.

Any explanation you can offer would be appreciated.

Kind regards
 
Physics news on Phys.org


I like number said:
I understand that if we have a cauchy sequence converging to 0, then f(xn) is going to diverge to infinity, but I still can't see what the problem is.

Recall that Cauchy sequences are bounded. So if [itex]\{f(x_n)\}_{n \in \mathbb{N}}[/itex] diverges, then the sequence cannot be Cauchy. In particular, [itex]f[/itex] does not take Cauchy sequences to Cauchy sequences.
 


The reason that we need uniform continuity is that we need to be able to find one [itex]\delta[/itex] for each [itex]\epsilon[/itex] that works for all [itex]x[/itex] in a certain interval. This is because in the proof, we do a "double triangle inequality." So, if [itex]\{f(x_n)\}[/itex] is a sequence of continuous functions that converges to [itex]f(x)[/itex] for each [itex]x[/itex] in the interval [itex](a,b)[/itex] then we want to show that [itex]\forall \epsilon \exists \delta[/itex] such that [itex]|f(x_0) - f(x)| < \epsilon[/itex] whenever [itex]|x_0 - x| < \delta[/itex]. We do this by writting:
[tex]|f(x_0) - f(x)| = |f(x_0) - f_n(x_0) + f_n(x_0) - f_n(x) + f_n(x_0)-f(x)| \leq<br /> |f(x_0) - f_n(x_0)| + |f_n(x_0) - f_n(x)| + |f_n(x_0)-f(x)|[/tex]

Now, since the sequence is Cauchy, we can control the outer two terms with a big enough [itex]n[/itex] and make them both less than [itex]\epsilon / 3[/itex]. So, we need to be able to ensure that [itex]|f_n(x) - f_n(x_0)| \leq \epsilon / 3[/itex] for every [itex]x[/itex] such that [itex]|x_0-x|\leq \delta[/itex]. The only way we can do this is by making [itex]f_n[/itex] uniformly continuous.

As an example, consider the function [itex]f_n(x) = x^n[/itex] on [itex][0,1)[/itex].
 


Thanks very much to you both.
I think I can see it more clearly now, (and a good nights sleep always helps too!).
I will continue to play around with these ideas and if I have any more questions I'll be back.

Thanks again