# The Unapologetic Mathematician

## The Problem With Pointwise Convergence

I wrote this up yesterday between my sections of college algebra, but forgot to post it afterwards. Oops.

We’ve got a problem with the topology of pointwise convergence. The subspace of continuous functions isn’t closed. What does that mean? It means that if we take a sequence of continuous functions, their pointwise limit may not be continuous.

Here’s an example in the real numbers. Let $f_n(x)=\frac{x^{2n}}{1+x^{2n}}$, which is a sequence of well-defined continuous functions on the entire real line. But if we take the pointwise limit $f(x)=\lim\limits_{n\rightarrow\infty}f_n(x)$ we find that $f(x)=0$ for $|x|<1$, that $f(x)=1$ for $|x|>1$, and that $f(x)=\frac{1}{2}$ for $x=\pm1$. So the functions in the sequence are continuous at $x=\pm1$, but the limiting function isn’t. It would be one thing if the sequence just failed to converge at some points — closedness doesn’t require all sequences to converge — but the pointwise limit clearly exists, and it fails to be continuous.

What we need is a stronger sense of convergence: one in which fewer sequences converge in the first place, and hopefully one in which the continuous functions turn out to be closed. But it should also obey the same definition as that of the pointwise limit when it does exist. And to find it we’ll need to recast the question of continuity in the limit.

Remember that a function is continuous at a point $x_0$ if it agrees with its limit there. That is, if $\lim\limits_{x\rightarrow x_0}f(x)=f(x_0)$. But the function $f$ should be the pointwise limit of the sequence $f_n$: $f(x)=\lim\limits_{n\rightarrow\infty}f_n(x)$. And each of these functions is continuous: $\lim\limits_{x\rightarrow x_0}f_n(x)=f_n(x_0)$. Putting these together, the condition for continuity in the limit is

$\lim\limits_{x\rightarrow x_0}\lim\limits_{n\rightarrow\infty}f_n(x)=\lim\limits_{n\rightarrow\infty}\lim\limits_{x\rightarrow x_0}f_n(x)$.

So our question is really about when we can exchange limits. For which sequences of functions do the dependence on $x$ and that on $n$ play well enough together to allow these limits to be exchanged? We’ll answer that question tomorrow.

### Like this:

Posted by John Armstrong | Analysis, Functional Analysis

## 3 Comments	»

1. When I saw the title of this post, my immediate reaction was, “How is he going to fit all the problems into one post?!”

Comment by hilbertthm90 | September 4, 2008 | Reply

2. Well, sure there’s a lot of problems. But this is the one that motivates the next step!

Comment by | September 4, 2008 | Reply

3. [...] Today we’ll give the answer to the problem of pointwise convergence. It’s analogous to the notion of uniform continuity in a metric space. In that case we noted [...]

Pingback by | September 5, 2008 | 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.
{"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": 18, "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.9335577487945557, "perplexity_flag": "head"}