# A sequence of continuous functions that converges uniformly to a continuous function is equicontinuous

Let X be a metric space and {$f_n$} be a sequence in $C(X)$ that converges uniformly on $X$ to $f \in C(X)$. Show that {$f_n$} is equicontinuous.

So I know uniform convergence means given $\epsilon > 0 \exists N \in \mathbb{N}$ such that $\rho (f_n(x),f(x))< \epsilon$ $\forall x \in X$ whenever $n > N$ but I don't know where to go from here

• $X$ is compact? – user284331 Jan 25 '18 at 22:53
• @user284331 thats not given. are you saying that follows from the info? – Vinny Chase Jan 25 '18 at 22:55
• If $X$ is compact, then the assertion follows. For non-compact $X$, I don't know how to do. – user284331 Jan 25 '18 at 22:55
• It doesn't. The assertion holds when $X$ is any topological space, but having a metric structure on $X$ makes people think of uniform equicontinuity, which would generally not hold without compactness. – Daniel Fischer Jan 25 '18 at 22:57
• Ah... I take the definition of equi here to be uniformly equi, thanks for reminding. – user284331 Jan 25 '18 at 22:59

Take $x\in X$ and $\varepsilon>0$; you want to prove that, for some $\delta>0$, you have$$(\forall n\in\mathbb{N})(\forall y\in X):d(x,y)<\delta\implies\bigl|f_n(y)-f(_nx)\bigr|<\varepsilon.\tag1$$Take $N\in\mathbb N$ such that$$(\forall n\in\mathbb{N})(\forall y\in X):n\geqslant N\implies\bigl|f(y)-f_n(y)\bigr|<\frac\varepsilon3.$$Take $\delta'>0$ such that$$(\forall y\in X):d(x,y)<\delta'\implies\bigl|f(y)-f(x)\bigr|<\frac\varepsilon3.$$Then, if $y\in X$ and $n\geqslant N$, you'll have$$d(x,y)<\delta'\implies\bigl|f_n(y)-f_n(x)\bigr|\leqslant\bigl|f_n(y)-f(y)\bigr|+\bigl|f(y)-f(x)\bigr|+\bigl|f(x)-f_n(x)\bigr|<\varepsilon.$$So, $(1)$ holds, except perhaps when $n\in\{1,2,\ldots,N-1\}$. Take, take $\delta_1$ that woarks for $f_1$, $\delta_2$ that woarks for $f_2$, … and $\delta_{N-1}$ that works for $f_{N-1}$. Now, define$$\delta=\min\{\delta_1,\delta_2,\ldots,\delta_{N-1},\delta'\}$$and you're done.
{"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": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9503015279769897, "perplexity": 216.5000375271566}, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2019-51/segments/1575540502120.37/warc/CC-MAIN-20191207210620-20191207234620-00012.warc.gz"}