← 2016 Paper 2

UPSC 2016 Maths Optional Paper 2 Q4b — Step-by-Step Solution

15 marks · Section A

Uniform continuity · Real Analysis · asked 2× in 14 yrs · Read the full method →

Question

Let f:R→Rf:\mathbb R\to\mathbb R be a continuous function such that lim⁡x→+∞f(x)\displaystyle\lim_{x\to+\infty}f(x) and lim⁡x→−∞f(x)\displaystyle\lim_{x\to-\infty}f(x) exist and are finite. Prove that ff is uniformly continuous on R\mathbb R.

Technique

Three-region split — tails controlled by the limits (any two far-out points are close in value), compact middle by Heine–Cantor; combine with δ=min⁡(δ1,1)\delta=\min(\delta_1,1), the "11" preventing the two opposite tails from interacting.

Solution

Strategy: the limits at ±∞\pm\infty make ff “flat” far out, so uniform continuity is easy on the two tails; on a large compact middle interval, continuity gives uniform continuity (Heine–Cantor). Then we stitch the three uniform-continuity constants together.

Step 1 — Fix ε\varepsilon and use the limits to control the tails

Let ε>0\varepsilon>0. Denote L+=lim⁡x→+∞f(x)L_+=\lim_{x\to+\infty}f(x), L−=lim⁡x→−∞f(x)L_-=\lim_{x\to-\infty}f(x) (finite).

By definition of the limit at +∞+\infty, there is M+>0M_+>0 such that

x>M+ ⇒ ∣f(x)−L+∣<ε3.x>M_+\ \Rightarrow\ |f(x)-L_+|<\frac\varepsilon3.

Hence for any x,y>M+x,y>M_+,

∣f(x)−f(y)∣≤∣f(x)−L+∣+∣L+−f(y)∣<ε3+ε3=2ε3<ε.(T+)|f(x)-f(y)|\le|f(x)-L_+|+|L_+-f(y)|<\frac\varepsilon3+\frac\varepsilon3=\frac{2\varepsilon}3<\varepsilon.\tag{T+}

Similarly there is M−>0M_->0 such that for any x,y<−M−x,y<-M_-,

∣f(x)−f(y)∣<2ε3<ε.(T–)|f(x)-f(y)|<\frac{2\varepsilon}3<\varepsilon.\tag{T--}

Set M=max⁡(M+,M−)+1>0M=\max(M_+,M_-)+1>0. On each tail (M,∞)(M,\infty) and (−∞,−M)(-\infty,-M), any two points are mapped within ε\varepsilon — no smallness of ∣x−y∣|x-y| needed.

Step 2 — Uniform continuity on the compact middle (Heine–Cantor)

The interval [−M−1, M+1][-M-1,\,M+1] is closed and bounded, hence compact. A continuous function on a compact set is uniformly continuous (Heine–Cantor). So there is δ1>0\delta_1>0 such that

x,y∈[−M−1,M+1], ∣x−y∣<δ1 ⇒ ∣f(x)−f(y)∣<ε.(C)x,y\in[-M-1,M+1],\ |x-y|<\delta_1\ \Rightarrow\ |f(x)-f(y)|<\varepsilon.\tag{C}

(Heine–Cantor, proof.) Suppose not: then for some ε>0\varepsilon>0 and every nn there are un,vn∈[−M−1,M+1]u_n,v_n\in[-M-1,M+1] with ∣un−vn∣<1/n|u_n-v_n|<1/n but ∣f(un)−f(vn)∣≥ε|f(u_n)-f(v_n)|\ge\varepsilon. By Bolzano–Weierstrass unk→c∈[−M−1,M+1]u_{n_k}\to c\in[-M-1,M+1]; since ∣un−vn∣→0|u_n-v_n|\to0, also vnk→cv_{n_k}\to c. Continuity gives f(unk),f(vnk)→f(c)f(u_{n_k}),f(v_{n_k})\to f(c), so ∣f(unk)−f(vnk)∣→0|f(u_{n_k})-f(v_{n_k})|\to0, contradicting ≥ε\ge\varepsilon. □\square)

Step 3 — Stitch the three regions

Choose

δ=min⁡(δ1, 1)>0.\delta=\min(\delta_1,\ 1)>0.

Take any x,y∈Rx,y\in\mathbb R with ∣x−y∣<δ (≤1)|x-y|<\delta\ (\le1). We show ∣f(x)−f(y)∣<ε|f(x)-f(y)|<\varepsilon in all cases. Because ∣x−y∣<1|x-y|<1, xx and yy cannot lie in opposite far tails (those are separated by the middle of width ≥2\ge2); so one of:

In every case ∣f(x)−f(y)∣<ε|f(x)-f(y)|<\varepsilon. Since δ\delta depends only on ε\varepsilon (not on x,yx,y), ff is uniformly continuous on R\mathbb R.

Answer

  f continuous on R with finite lim⁡±∞f ⇒ f uniformly continuous on R.  \boxed{\;f\ \text{continuous on }\mathbb R\ \text{with finite }\lim_{\pm\infty}f\ \Rightarrow\ f\ \text{uniformly continuous on }\mathbb R.\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 14 years, mapped. Get the take-away PDF free.