# The Unapologetic Mathematician

## Cauchy’s Condition for Uniform Convergence

As I said at the end of the last post, uniform convergence has some things in common with convergence of numbers. And, in particular, Cauchy’s condition comes over.

Specifically, a sequence $f_n$ converges uniformly to a function $f$ if and only if for every $\epsilon>0$ there exists an $N$ so that $m>N$ and $n>N$ imply that $|f_m(x)-f_n(x)|<\epsilon$.

One direction is straightforward. Assume that $f_n$ converges uniformly to $f$. Given $\epsilon$ we can pick $N$ so that $n>N$ implies that $|f_n(x)-f(x)|<\frac{\epsilon}{2}$ for all $x$. Then if $m>N$ and $n>N$ we have

$|f_m(x)-f_n(x)|<|f_m(x)-f(x)|+|f(x)-f_n(x)|<\frac{\epsilon}{2}+\frac{\epsilon}{2}=\epsilon$

In the other direction, if the Cauchy condition holds for the sequence of functions, then the Cauchy condition holds for the sequence of numbers we get by evaluating at each point $x$. So at least we know that the sequence of functions must converge pointwise. We set $f(x)=\lim\limits_{n\rightarrow\infty}f_n(x)$ to be this limit, and we’re left to show that the convergence is uniform.

Given an $\epsilon$ the Cauchy condition tells us that we have an $N$ so that $n>N$ implies that $|f_n(x)-f_{n+k}(x)|<\frac{\epsilon}{2}$ for every natural number $k$. Then taking the limit over $k$ we find

$|f_n(x)-f(x)|=\lim\limits_{k\rightarrow\infty}|f_n(x)-f_{n+k}(x)|\leq\frac{\epsilon}{2}<\epsilon$

Thus the convergence is uniform.

About these ads

Like Loading...

## 3 Comments	»

1. [...] we’ve got Cauchy’s condition: a series converges uniformly if for every there is an so that and both greater than zero [...]

Pingback by | September 9, 2008 | Reply

2. In the Cauchy –> Uniform convergence direction, could you clarify the step “taking the limit over k”? until this point you have only established pointwise convergence. But in this step it feels like you’ve presupposed uniform convergence in saying f_n+k –> f(x).

I know you’re not doing anything wrong, because Rudin has the same proof. I’m just confused and would appreciate the help

Comment by Anirudh | February 21, 2011 | Reply

• I believe they forgot to mention that the conditions for the Cauchy criterion here also include that for each epsilon the N chosen must hold for all x in the domain of the sequence of functions; from there you can see that is indeed true.

Comment by Armitage | January 6, 2013 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

• ## RSS Feeds

RSS - Posts

RSS - Comments

• ## Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
%d bloggers like this:
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 26, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "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.9228771924972534, "perplexity_flag": "head"}