Physics Forums

## 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)=$$\int_0^1 \! |f(x)-g(x)| \, dx$$.
Let $$(f_n)$$ be a sequence in this space defined as:
$$f_n(x)=1$$ if $$0 \leq x \leq 1/2$$
$$f_n(x)=(-2)^n(x-1/2)+1$$ if $$1/2 \leq x \leq 1/2+(1/2)^n$$
$$f_n(x)=0$$ if $$1/2+(1/2)^n\leq x \leq 1$$

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:
$$f_n(x)=1$$ if $$0 \leq x \leq 1/2$$
$$f_n(x)=0$$ if $$1/2 < x \leq 1$$

I would appreciate if anybody can help me to see why this sequence does not converge.

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Recognitions:
Gold Member
Science Advisor
Staff Emeritus

Quote by symbol0 					 				 				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: $$f_n(x)=1$$  if $$0 \leq x \leq 1/2$$ $$f_n(x)=0$$  if $$1/2 < x \leq 1$$
I'm going to assume you meant to say something like the following.
I would say that it converges to the function f defined by
$$f(x)=1$$ if $$0 \leq x \leq 1/2$$
$$f(x)=0$$ if $$1/2 < x \leq 1$$[/quote]

I would appreciate if anybody can help me to see why this sequence does not converge.
A good way to see these things is to try and prove that it does, and see where things fail. You need to:
(1) Show that f is well-defined
(2) Show that $\lim_{n \rightarrow +\infty} d(f_n, f) = 0$
Try it out, and let us know how it goes!

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?

Recognitions:
Gold Member
Science Advisor
Staff Emeritus

## Why the sequence is not convergent?

Quote by symbol0 					 				 				I think the sequence converges to the function I wrote, but this function is not continuous, so it is not in the space.
That last part is the key thing here -- f is not in the space.

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

Thanks Hurkyl

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?

Recognitions:      Gold Member        Science  Advisor     Staff Emeritus  $f_n$ and $f_m$, with m> n, differ only on the interval from $1/2+ 1/2^m$ to $1/2+ 1/2^n$ a length of $$\frac{2^m- 2^n}{2^{m+n}}$$  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.

Thread Tools

|                                                          |                                            |         |
|----------------------------------------------------------|--------------------------------------------|---------|
| Similar Threads for: Why the sequence is not convergent? |                                            |         |
| Thread                                                   | Forum                                      | Replies |
|                                                          | Calculus & Beyond Homework                 | 1       |
|                                                          | Calculus                                   | 1       |
|                                                          | Calculus & Beyond Homework                 | 19      |
|                                                          | General Math                               | 7       |
|                                                          | Set Theory, Logic, Probability, Statistics | 1       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 5, "mathjax_display_tex": 21, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9454053640365601, "perplexity_flag": "head"}