← 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 13 yrs · Read the full method →

Question

Let f:RRf:\mathbb R\to\mathbb R be a continuous function such that limx+f(x)\displaystyle\lim_{x\to+\infty}f(x) and limxf(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+=limx+f(x)L_+=\lim_{x\to+\infty}f(x), L=limxf(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<Mx,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 xy|x-y| needed.

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

The interval [M1,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[M1,M+1], xy<δ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[M1,M+1]u_n,v_n\in[-M-1,M+1] with unvn<1/n|u_n-v_n|<1/n but f(un)f(vn)ε|f(u_n)-f(v_n)|\ge\varepsilon. By Bolzano–Weierstrass unkc[M1,M+1]u_{n_k}\to c\in[-M-1,M+1]; since unvn0|u_n-v_n|\to0, also vnkcv_{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,yRx,y\in\mathbb R with xy<δ (1)|x-y|<\delta\ (\le1). We show f(x)f(y)<ε|f(x)-f(y)|<\varepsilon in all cases. Because xy<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 — 13 years, mapped. Get the take-away PDF free.