The Unapologetic Mathematician

Mathematics for the interested outsider

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.

September 4, 2008 Posted by | Analysis, Functional Analysis | 3 Comments

Pointwise Convergence

When we evaluate a power series at a point we get a number if the series converges at that point. We even know that for each power series we have a disk where evaluation gives an absolutely convergent series at every point. In this view we regard a power series as the limit of a sequence of polynomials, evaluate each of the polynomials to get a sequence of numbers, and then take the limit of that sequence.

But what if we change it up. Let’s say we already know that our power series will converge with radius R. Then inside the disk D_R of radius R each polynomial defines a function, and evaluation of the power series defines another function. It makes sense to regard the latter as “the limit” of the sequence of the former. That is, we already have s=\lim\limits_{n\rightarrow\infty}p_n as elements of the ring of power series \mathbb{C}[[X]]. But now we regard them as living in the ring (D_R)^\mathbb{C} of complex-valued functions on the disk of radius R.

And we have a topology on the ring D^\mathbb{C} of complex-valued functions on a domain \mathbb{R}. Instead of defining this topology in terms of open sets as we usually do, we define this topology in terms of which nets converge to which points. In fact, we’ll make do with sequences, since the extension to convergence of nets is straightforward.

The topology we have staring us in the face is the “pointwise” topology. That is, we say that a sequence f_n of functions on D converges to a function f if and only if for every point z\in D the evaluations converge to the evaluation of f: \lim\limits_{n\rightarrow\infty}f_n(z)=f(z).

Alternately we can read this as a recipe: given a sequence of functions f_n, if for each point x\in D the sequence f_n(z) of complex numbers converges, then we declare the limiting function to be that function f defined by f(z)=\lim\limits_{n\rightarrow\infty}f_n(z). If at any point z\in D the sequence f_n(z) fails to converge, we declare the sequence of functions to fail to converge.

Putting a topology on a space of functions marks the first dipping of our toes into the ocean of functional analysis. There’s a lot out there, and we’ll only be wading into the shallowest waters for now. Still, it gives a hint of the incredible depth that lays just beyond the breakers crashing on the shores of second-semester calculus.

September 2, 2008 Posted by | Analysis, Calculus, Functional Analysis | 3 Comments

    Next Entries »