# The Unapologetic Mathematician

## 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.

## 3 Comments	»

1. [...] 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 [...]

Pingback by | September 4, 2008 | Reply

2. [...] we restrict to those points where it converges, we get a function. That is the series of functions converges pointwise to a limiting function. What’s great is that for any compact set contained within the radius [...]

Pingback by | September 10, 2008 | Reply

3. [...] we can talk about pointwise convergence of a sequence of measurable functions. That is, for a fixed point we have the sequence which has [...]

Pingback by | May 10, 2010 | 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": 22, "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": 20, "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.9156761765480042, "perplexity_flag": "head"}