| New Reply |
Why the sequence is not convergent? |
Share Thread | Thread Tools |
| Jun20-09, 08:36 PM | #1 |
|
|
Why the sequence is not convergent?
In a book I am reading, they mention the following as an example of a Cauchy sequence which is not convergent:
Consider the set of all bounded continuous real functions defined on the closed unit interval, and let the metric of the set be d(f,g)=[tex]\int_0^1 \! |f(x)-g(x)| \, dx[/tex]. Let [tex](f_n)[/tex] be a sequence in this space defined as: [tex]f_n(x)=1[/tex] if [tex]0 \leq x \leq 1/2[/tex] [tex]f_n(x)=(-2)^n(x-1/2)+1[/tex] if [tex]1/2 \leq x \leq 1/2+(1/2)^n[/tex] [tex]f_n(x)=0[/tex] if [tex]1/2+(1/2)^n\leq x \leq 1[/tex] I can see that this is a Cauchy sequence, but I can't see how this sequence does not converge. I would say that it converges to: [tex]f_n(x)=1[/tex] if [tex]0 \leq x \leq 1/2[/tex] [tex]f_n(x)=0[/tex] if [tex]1/2 < x \leq 1[/tex] I would appreciate if anybody can help me to see why this sequence does not converge. |
| Jun20-09, 09:08 PM | #2 |
|
|
I would say that it converges to the function f defined by (1) Show that f is well-defined (2) Show that [itex]\lim_{n \rightarrow +\infty} d(f_n, f) = 0[/itex] Try it out, and let us know how it goes! |
| Jun21-09, 06:30 PM | #3 |
|
|
Thanks for the reply Hurkyl,
First of all , I think this sequence is not really in the mentioned space because when n is even, the functions are not continuous. But even if we take only the functions with odd n, I think the sequence converges to the function I wrote, but this function is not continuous, so it is not in the space. Thus the sequence does not converge in the space. Am I right? |
| Jun21-09, 09:25 PM | #4 |
|
|
Why the sequence is not convergent?In fact, technically speaking, d was only defined for pairs of elements in the space, so it would be wrong to say that the sequence converges to f! You only get that convergence when looking at the larger space |
| Jun22-09, 10:08 AM | #5 |
|
|
Thanks Hurkyl
|
| Feb9-11, 11:16 PM | #6 |
|
|
Sorry to bump an old thread, but I'm having a problem seeing how this sequence is cauchy. I used the metric on an arbitrary f_n(x) and f_m(x), but I ended up with constants and other terms that I couldn't make arbitrarily small by taking m and n large enough. Could someone give me a brief overview of how to prove it?
|
| Feb11-11, 09:09 AM | #7 |
|
|
[itex]f_n[/itex] and [itex]f_m[/itex], with m> n, differ only on the interval from [itex]1/2+ 1/2^m[/itex] to [itex]1/2+ 1/2^n[/itex] a length of
[tex]\frac{2^m- 2^n}{2^{m+n}}[/tex] which goes to 0 as m and n go to infinity. The integrand doesn't have to go to 0, it only has to be bounded. As the length of the interval goes to 0, the integral will go to 0. |
| New Reply |
| Thread Tools | |
Similar Threads for: Why the sequence is not convergent?
|
||||
| Thread | Forum | Replies | ||
| Proving a Sequence is Convergent | Calculus & Beyond Homework | 1 | ||
| uniformly convergent sequence | Calculus | 1 | ||
| Convergent sequence of functions? | Calculus & Beyond Homework | 19 | ||
| bounded sequence as convergent | General Math | 7 | ||
| convergent sequence? | Set Theory, Logic, Probability, Statistics | 1 | ||