Week 7 Discussion Notes

Table of Contents

Uniform Convergence

There's not too much to say about this section in the book since a lot of my examples have been related to this concept, and most of the properties about uniform convergence of functions fn ⁣:RR\func{f_n}{\R}{\R} hold for more general functions fn ⁣:(X,dX)(Y,dY)\func{f_n}{\p{X, d_X}}{\p{Y, d_Y}}. For example, if {fn}n\set{f_n}_n is a sequence of continuous functions that converges uniformly to a function ff, then ff is also continuous.

A lot of the examples we did were on the space C([0,1])C\p{\br{0, 1}}, i.e., the metric space of continuous functions on [0,1]\br{0, 1} with the sup\sup-metric. However, the general definitions are slightly different:

Definition

Let (X,dX)\p{X, d_X} and (Y,dY)\p{Y, d_Y} be metric spaces. We define

B(X,Y)={f ⁣:XY|f is bounded}Cb(X,Y)={f ⁣:XY|f is bounded and continuous}.\begin{aligned} B\p{X, Y} &= \set{\func{f}{X}{Y} \st f \text{ is bounded}} \\ C_b\p{X, Y} &= \set{\func{f}{X}{Y} \st f \text{ is bounded and continuous}}. \end{aligned}

When equipped with the sup\sup-metric, i.e.,

d(f,g)=supxXf(x)g(x),d\p{f, g} = \sup_{x \in X}{\abs{f\p{x} - g\p{x}}},

these function spaces are metric spaces.

Remark.

The key difference here is the additional assumption that our functions are bounded. In our example C([0,1])C\p{\br{0, 1}}, we're using X=[0,1]X = \br{0, 1}, which is compact. Thus, continuous functions are automatically bounded, so we didn't need to include it in the definition.

Boundedness is important for our metric to make sense. For example, if X=Y=RX = Y = \R and f(x)=x2f\p{x} = x^2, then

d(f,0)=supxRx20=.d\p{f, 0} = \sup_{x \in \R}{\abs{x^2 - 0}} = \infty.

The main result is the following theorem:

Theorem

Let (X,dX)\p{X, d_X} be a metric space, and let (Y,dY)\p{Y, d_Y} be a complete metric space. Then B(X,Y)B\p{X, Y} and Cb(X,Y)C_b\p{X, Y} are complete.

Remark.

Note that it's important that YY is a complete metric space. In the proof, we use it to find a pointwise limit of a Cauchy (with respect to the sup\sup-metric) sequence.

Dini's Theorem

In general, uniform convergence implies pointwise convergence, but the converse is not true, i.e., there are sequences which converge pointwise but not uniformly. In some very special cases, though, we can upgrade pointwise convergence to uniform convergence:

Theorem (Dini)

Let (X,dX)\p{X, d_X} and (Y,dY)\p{Y, d_Y} be metric spaces, and let fn,f ⁣:XR\func{f_n, f}{X}{\R} be functions. Assume that:

  1. XX is compact
  2. f,fnf, f_n are continuous for all nn
  3. fn(x)f(x)f_n\p{x} \to f\p{x} for all xXx \in X
  4. fn+1fnf_{n+1} \leq f_n for all nn

Then fnff_n \to f uniformly.

This type of result is very rare, which I'll demonstrate by showing that in general, you can't remove any of the assumptions:

Compactness is essential:

Example 1.

Let X=RX = \R (which is unbounded, so not compact) and let fn ⁣:RR\func{f_n}{\R}{\R} be the following function:

In words, fn(x)=0f_n\p{x} = 0 for xnx \leq n, fn(x)=1f_n\p{x} = 1 for xn+1x \geq n+1, and it's linear on nxn+1n \leq x \leq n+1. From the picture, it's clear that fnf_n is continuous for all nn and that fn+1fnf_{n+1} \leq f_n (the blue function always sits below the red function).

In this example, fnf_n converges pointwise to 00. To see this, let xRx \in \R. Then there exists n0Nn_0 \in \N such that xNx \leq N, so if nNn \geq N, then fn(x)=0f_n\p{x} = 0. Thus, f(x)=0f\p{x} = 0, which is also continuous. However, this convergence is not uniform:

supxRfn(x)0=1.\sup_{x \in \R}{\abs{f_n\p{x} - 0}} = 1.

Continuity of ff is essential:

Example 2.

We've seen this example before: X=[0,1]X = \br{0, 1} and fn(x)=xnf_n\p{x} = x^n. Then XX is compact, fnf_n is continuous for all nn, and fnff_n \to f pointwise, where

f(x)={0if 0x<1,1if x=1.f\p{x} = \begin{cases} 0 & \text{if } 0 \leq x < 1, \\ 1 & \text{if } x = 1. \end{cases}

However, ff is not continuous, and there's no chance fnff_n \to f uniformly, since that would imply that ff is continuous.

Monotonicity in nn is essential:

Example 3.

Let X=[0,1]X = \br{0, 1} and let fnf_n be the following function:

XX is compact as before, fnf_n is continuous for all nn, and fn0f_n \to 0 pointwise: notice that if x=0x = 0, then fn(0)=0f_n\p{0} = 0 for all n1n \geq 1, and if x>0x > 0, then there exists NNN \in \N such that 0<1N<x0 < \frac{1}{N} < x. Thus, if nNn \geq N, then fn(x)=0f_n\p{x} = 0 also. However,

supx[0,1]fn(x)0=1,\sup_{x \in \br{0,1}}{\abs{f_n\p{x} - 0}} = 1,

so this convergence is not uniform.

Differentiation and Uniform Convergence

Example 4.

True or false: If fnf_n is a sequence of differentiable functions on [1,1]\br{-1, 1} and fnff_n \to f uniformly, then ff is differentiable.

Solution.

This is false. Let fnf_n be the following function:

In words, fnf_n is a straight line outside the interval [1n,1n]\br{-\frac{1}{n}, \frac{1}{n}}, and on this interval, it's equal to a parabola (stretched accordingly) that makes fnf_n differentiable on the whole interval with minimum value 12n\frac{1}{2n} at the origin.

fnf_n converges to x\abs{x} pointwise, and in fact, this convergence is uniform since the maximum distance is attained at the origin. However, while fnf_n is differentiable, x\abs{x} is not differentiable at the origin.

Example 5.

True or false: If fnf_n is a sequence of differentiable functions on [1,1]\br{-1, 1} and fnff_n \to f uniformly, then ff is differentiable at at least one point.

Solution.

This is also false. The Weierstrass function is the uniform limit of differentiable functions (in fact, these functions are differentiable infinitely many times), but is differentiable nowhere.

Integration and Uniform Convergence

Example 6.

True or false: If fn ⁣:RR\func{f_n}{\R}{\R} is a sequence of functions that converges uniformly to a function ff, then fn(x)dxf(x)dx\int f_n\p{x} \,\diff{x} \to \int f\p{x} \,\diff{x}.

Solution.

This is (a little surprisingly) false. One example is fn(x)=1nf_n\p{x} = \frac{1}{n}, which converges uniformly to 00, but

fn(x)dx=,\int f_n\p{x} \,\diff{x} = \infty,

which definitely doesn't converge to 00.

A more interesting example (i.e., one where fn(x)dx\int f_n\p{x} \,\diff{x} is finite for every nn) is the following:

Like the above, fn0f_n \to 0 uniformly since the maximum distance is 1n\frac{1}{n} for any nn. However,

nnfn(x)dx=1nn=1,\int_{-n}^n f_n\p{x} \,\diff{x} = \frac{1}{n} \cdot n = 1,

which doesn't converge to 00.

Example 7.

True or false: If fn ⁣:[0,1]R\func{f_n}{\br{0, 1}}{\R} is a sequence of functions that converges uniformly to a function ff, then fn(x)dxf(x)dx\int f_n\p{x} \,\diff{x} \to \int f\p{x} \,\diff{x}.

Solution.

This one is true. The key difference between this situation and the previous situation is that we're now working on an interval with finite length. To prove it, let ε>0\epsilon > 0. By uniform convergence, there exists NNN \in \N such that if nNn \geq N, then

supx[0,1]fn(x)f(x)<ε.\sup_{x \in \br{0, 1}}{\abs{f_n\p{x} - f\p{x}}} < \epsilon.

Thus, if nNn \geq N,

01fn(x)dx01f(x)dx=01fn(x)f(x)dx01fn(x)f(x)dx01supy[0,1]fn(y)f(y)dx01εdx=ε.\begin{aligned} \abs{\int_0^1 f_n\p{x} \,\diff{x} - \int_0^1 f\p{x} \,\diff{x}} &= \abs{\int_0^1 f_n\p{x} - f\p{x} \,\diff{x}} \\ &\leq \int_0^1 \abs{f_n\p{x} - f\p{x}} \,\diff{x} \\ &\leq \int_0^1 \sup_{y \in \br{0,1}}{\abs{f_n\p{y} - f\p{y}}} \,\diff{x} \\ &\leq \int_0^1 \epsilon \,\diff{x} \\ &= \epsilon. \end{aligned}