The math optional, made finite. Daily Practice

Pointwise vs. Uniform Convergence of Sequences of Functions

At a Glance

Why This Chapter Matters

This atom appeared once in 13 years (2019, 15 marks) and anchors the analysis of function sequences. The distinction between pointwise and uniform convergence is foundational: pointwise convergence preserves almost nothing about the limit function, while uniform convergence preserves continuity, integrability, and (with an extra condition) differentiability. UPSC typically asks you to determine which type of convergence holds for a given sequence and to prove your answer — a task with a predictable structure once you know the supremum test for non-uniform convergence.

Minimum Theory

Pointwise convergence. A sequence of functions fn:ERf_n:E\to\mathbb{R} converges pointwise to f:ERf:E\to\mathbb{R} if, for every xEx \in E,

fn(x)f(x)as n.f_n(x) \to f(x) \quad \text{as } n \to \infty.

Equivalently, xE,  ε>0,  N=N(x,ε)\forall\,x \in E,\; \forall\,\varepsilon > 0,\; \exists\,N = N(x,\varepsilon) such that nNfn(x)f(x)<εn \geq N \Rightarrow |f_n(x) - f(x)| < \varepsilon.

Uniform convergence. fnff_n \to f uniformly on EE if

supxEfn(x)f(x)0as n.\sup_{x \in E} |f_n(x) - f(x)| \to 0 \quad \text{as } n \to \infty.

Equivalently, ε>0,  N=N(ε)\forall\,\varepsilon > 0,\; \exists\,N = N(\varepsilon) (independent of xx) such that nNfn(x)f(x)<εn \geq N \Rightarrow |f_n(x) - f(x)| < \varepsilon for all xEx \in E.

Hierarchy. Uniform convergence \Rightarrow pointwise convergence. The converse is false.

Supremum test (non-uniformity). fn↛ff_n \not\to f uniformly if supxEfn(x)f(x)↛0\sup_{x \in E}|f_n(x) - f(x)| \not\to 0; equivalently, if there exist ε0>0\varepsilon_0 > 0 and a sequence xnEx_n \in E such that fn(xn)f(xn)ε0|f_n(x_n) - f(x_n)| \geq \varepsilon_0 for all nn.

Standard example: fn(x)=xnf_n(x) = x^n on [0,1][0,1].

f(x)=limnxn={00x<1,1x=1.f(x) = \lim_{n\to\infty} x^n = \begin{cases} 0 & 0 \leq x < 1, \\ 1 & x = 1. \end{cases}

Convergence is pointwise but not uniform. Proof of non-uniformity: supx[0,1]xnf(x)=supx[0,1)xn\sup_{x \in [0,1]}|x^n - f(x)| = \sup_{x \in [0,1)} x^n. For any nn, choose xn=(1/2)1/n[0,1)x_n = (1/2)^{1/n} \in [0,1); then xnn=1/2x_n^n = 1/2, so the supremum is at least 1/21/2 for all nn. Hence the supremum does not tend to 00.

Key theorem (uniform convergence preserves continuity). If each fnf_n is continuous on EE and fnff_n \to f uniformly on EE, then ff is continuous on EE.

Proof. Let x0Ex_0 \in E and ε>0\varepsilon > 0. By uniform convergence, choose NN so that fN(x)f(x)<ε/3|f_N(x) - f(x)| < \varepsilon/3 for all xx. By continuity of fNf_N, choose δ>0\delta > 0 so that xx0<δfN(x)fN(x0)<ε/3|x - x_0| < \delta \Rightarrow |f_N(x) - f_N(x_0)| < \varepsilon/3. Then for xx0<δ|x - x_0| < \delta:

f(x)f(x0)f(x)fN(x)+fN(x)fN(x0)+fN(x0)f(x0)<ε3+ε3+ε3=ε.  |f(x) - f(x_0)| \leq |f(x) - f_N(x)| + |f_N(x) - f_N(x_0)| + |f_N(x_0) - f(x_0)| < \frac{\varepsilon}{3} + \frac{\varepsilon}{3} + \frac{\varepsilon}{3} = \varepsilon. \;\blacksquare

Contrapositive. If fnf_n are continuous but ff is discontinuous, then convergence is not uniform.

Question Archetypes

ArchetypeRecognition
determine-type”Find the pointwise limit; determine if convergence is uniform. Prove your answer.”
disprove-uniformity”Show the convergence is pointwise but not uniform.”
continuity-preservation”If fnff_n \to f uniformly and each fnf_n is continuous, prove ff is continuous.”

determine-type (1 question(s); 2019)

Recognition Cues

Solution Template

  1. Compute the pointwise limit f(x)=limnfn(x)f(x) = \lim_{n\to\infty} f_n(x) for each xx in the domain.
  2. Check whether ff is continuous. If not, uniform convergence is impossible (use the contrapositive of the theorem above).
  3. If ff is continuous, compute Mn=supxEfn(x)f(x)M_n = \sup_{x \in E}|f_n(x) - f(x)| and determine whether Mn0M_n \to 0.
  4. State the conclusion with justification.

Worked Example

2019 Paper 2, 2019-P2-Q4b (15 marks)

Let fn(x)=xnf_n(x) = x^n for x[0,1]x \in [0,1] and nNn \in \mathbb{N}. Find the pointwise limit ff of (fn)(f_n). Is the convergence uniform? Justify your answer.

Pointwise limit.

For x[0,1)x \in [0,1): x<1|x| < 1, so xn0x^n \to 0 as nn \to \infty.

For x=1x = 1: 1n=111^n = 1 \to 1.

Hence the pointwise limit is

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

Convergence is pointwise but not uniform.

Argument 1 — via continuity. Each fn(x)=xnf_n(x) = x^n is continuous on [0,1][0,1]. The pointwise limit ff is discontinuous at x=1x = 1 (since f(1)=1f(1) = 1 but limx1f(x)=0\lim_{x \to 1^-} f(x) = 0). By the theorem: “uniform convergence of continuous functions implies continuity of the limit,” the convergence cannot be uniform.

Argument 2 — via supremum (direct). For x[0,1)x \in [0,1),

fn(x)f(x)=xn.|f_n(x) - f(x)| = x^n.

For any nNn \in \mathbb{N}, choose xn=(12)1/n[0,1)x_n = \left(\frac{1}{2}\right)^{1/n} \in [0,1). Then

fn(xn)f(xn)=xnn=12.|f_n(x_n) - f(x_n)| = x_n^n = \frac{1}{2}.

Therefore

Mn=supx[0,1]fn(x)f(x)12for all nN.M_n = \sup_{x \in [0,1]} |f_n(x) - f(x)| \geq \frac{1}{2} \quad \text{for all } n \in \mathbb{N}.

Since Mn↛0M_n \not\to 0, the convergence is not uniform on [0,1][0,1].

fnf pointwise on [0,1], but not uniformly.  \boxed{f_n \to f \text{ pointwise on } [0,1],\text{ but not uniformly.}}\;\blacksquare

Common Traps

Marks-Aware Writing

At 15 marks (Section B), the expected answer has two parts: (a) derive the pointwise limit explicitly — roughly 4 marks; (b) prove or disprove uniform convergence rigorously — roughly 11 marks. For the uniformity part, state the method you use (discontinuity of limit, or direct supremum computation), carry it out in full, and state the conclusion explicitly. A sketchy argument loses marks even if the conclusion is correct.

Practice Set

Only one historical question on this atom (shown above).

We've mapped all 13 years of this exam. Get new chapters, tools, and solutions as we release them — free.