Visual walkthrough — Squeeze theorem (sandwich theorem)

4.1.5 · D2 · Maths › Calculus I — Limits & Derivatives › Squeeze theorem (sandwich theorem)

Hum har symbol ko zero se banate hain. Jab bhi koi notation aata hai, pehle hum plain words mein batate hain ki uska matlab kya hai aur picture mein dikhate hain ki woh kahan rehta hai.

---

Step 0 — Teen characters aur ek symbol jis par hum rely karte hain

Kisi bhi proof se pehle, cast se milo.

• $f(x)$ — filling. Yeh woh function hai jiska limit hum secretly chahte hain lekin directly compute nahi kar sakte.
• $g(x)$ — lower bread. Yeh $f$ ke neeche baitha hai.
• $h(x)$ — upper bread. Yeh $f$ ke upar baitha hai.
• $a$ — woh input value jis par hum sneaking up kar rahe hain (hum $a$ ke paas dekhte hain, kabhi uس par nahi).
• $L$ — woh height (vertical axis par ek number) jis ki taraf dono breads ja rahe hain.

Ek symbol jise hum carefully banate hain woh hai $|x-a|$. Ise loud padhein: "$x$, $a$ se kitna door hai". Do vertical bars ka matlab hai "distance", isliye negatives throw away ho jaate hain — $|3-5|=2$, same as $|5-3|=2$. Jab bhi aap $|x-a|<\delta$ (delta, ek chota positive number) dekhein, translate karein: "$x$, $a$ se $\delta$ distance ke andar hai." Picture karein horizontal axis par $a$ ke centre par $2\delta$ width ka ek chota band.

Hum $0<|x-a|$ bhi likhte hain — woh chota $0<$ matlab hai "$x$ exactly $a$ nahi hai". Hum $a$ ke paas khade hain, uس par kabhi nahi.

Yahan $\underset{x\to a}{\lim }g(x)=L$ shorthand hai "jaise $x$, $a$ ki taraf slide karta hai, height $g(x)$ bhi $L$ ki taraf slide karti hai." Figure s01 dekho: green curve ($g$) aur orange curve ($h$) dono height $L$ par same dot ki taraf pinch karti hain, aur magenta curve ($f$) unke beech squish hui hai.

---

Step 1 — "Limit $L$ hai" ko ek box mein convert karo jisme cheezein trap kar sakein

KYA. Hum ${\lim }_{x\to a}g(x)=L$ ko restate karte hain ki woh actually kya promise karta hai, Limit definition (epsilon-delta) use karke.

KYUN. "$L$ ki taraf jaata hai" ek feeling hai. Kuch prove karne ke liye hume ek testable statement chahiye. Epsilon–delta definition uss feeling ko ek challenge-and-response game mein convert karti hai jise hum jeet sakte hain.

Definition kehti hai: koi bhi tolerance $\epsilon >0$ chuno (epsilon — ek tiny target height, aap $L$ ke kitna close demand karte ho). Tab ek window half-width ${\delta }_1>0$ exist karti hai jisse

$0<|x-a|<{\delta }_1⟹\underset{\text{floor}}{\underbrace{L-\epsilon }}<\underset{\text{lower bread}}{\underbrace{g(x)}}<\underset{\text{ceiling}}{\underbrace{L+\epsilon }}.$

Term by term: $L-\epsilon$ aur $L+\epsilon$ ek floor aur ceiling hain jo $L$ ke dono taraf $\epsilon$ distance par hain — socho ek horizontal strip jisme height $2\epsilon$ hai. Arrow $⟹$ matlab "forces". Toh: jab bhi $x$ half-width ${\delta }_1$ ki window ke andar hai, bread $g(x)$ strip ke andar trapped hai.

PICTURE. s02 mein horizontal band $(L-\epsilon ,L+\epsilon )$ pink strip hai. ${\delta }_1$ half-width ki vertical band woh jagah hai jahan green curve $g$ guaranteed hai ki pink strip ke andar rahegi.

---

Step 2 — Exactly same kaam upper bread ke saath karo

KYA. Step 1 ko $h$ ke liye repeat karo.

KYUN. Dono breads ko strip ke andar pin karna hai; abhi tak sirf ek ko kiya hai.

${\lim }_{x\to a}h(x)=L$ ko same $\epsilon$ ke saath use karke: ek window half-width ${\delta }_2>0$ hai jisme

$0<|x-a|<{\delta }_2⟹L-\epsilon <\underset{\text{upper bread}}{\underbrace{h(x)}}<L+\epsilon .$

Same floor $L-\epsilon$, same ceiling $L+\epsilon$, same pink strip — sirf actor $h$ mein badal gaya, aur uski window half-width possibly-different ${\delta }_2$ hai.

PICTURE. s03 dikhata hai ki orange curve $h$ pink strip mein dip karta hai jab $x$ apni window ${\delta }_2$ ke andar hoti hai. Notice karo ki ${\delta }_1$ aur ${\delta }_2$ generally different sizes ke hote hain — yahi toh agले step ka poora point hai.

---

Step 3 — Choti window choose karo taaki DONO promises ek saath hold hon

KYA. Define karo $\delta =\min ({\delta }_1,{\delta }_2)$ — "$\min$" matlab dono mein se chota chuno.

KYUN. $g$, ${\delta }_1$ ke andar behave karta hai; $h$, ${\delta }_2$ ke andar behave karta hai. Choti wali window ke andar hum dono ke andar hain, toh dono breads simultaneously strip mein baith jaate hain. Agar hum badi wali choose karte, toh hum doosre bread ki guarantee ke bahar ja sakte the.

$\delta =\min ({\delta }_1,{\delta }_2)⟹0<|x-a|<\delta \text{ Step 1 aur Step 2 dono ko true banata hai.}$

PICTURE. s04 dono vertical windows ko overlay karta hai. Overlap — narrower band $\delta$ — solid shaded hai. Uss solid band ke andar, green aur orange dono pink strip mein caught hain.

---

Step 4 — Inequalities chain karo: trap snap shut ho jaata hai

KYA. Sandwich hypothesis ko dono strip-facts ke saath combine karo.

KYUN. Ab solid window ke andar teen simultaneous truths hain: $g$ floor ke upar, $f$ breads ke beech, $h$ ceiling ke neeche. Inhe left se right line up karo.

$0<|x-a|<\delta$ ke liye:

$\underset{\text{from }g\text{ (Step 1)}}{\underbrace{L-\epsilon }}<\underset{\text{lower bread}}{\underbrace{g(x)}}\le \underset{\text{filling}}{\underbrace{f(x)}}\le \underset{\text{upper bread}}{\underbrace{h(x)}}<\underset{\text{from }h\text{ (Step 2)}}{\underbrace{L+\epsilon }}.$

Chain padho: floor, $g$ ke neeche hai; $g$, $f$ ke neeche hai; $f$, $h$ ke neeche hai; $h$, ceiling ke neeche hai. Transitivity (agar $a<b$ aur $b<c$ toh $a<c$) hume middle wale skip karne aur sirf outer walls rakhne deti hai jo $f$ ko squeeze kar rahi hain.

PICTURE. s05 solid window mein zoom karta hai: teeno curves mein se har ek pink strip ke andar hai, aur magenta $f$ visibly green aur orange ke beech pin hai, teeno floor aur ceiling ke andar.

---

Step 5 — Conclusion padho

KYA. Inner curves drop karo aur sirf woh rakho jo $f$ ko surround karta hai.

KYUN. ${\lim }_{x\to a}f(x)=L$ ki definition literally yeh statement hai ki "$f$ pink strip ke andar hai jab bhi $x$ ek window ke andar hai." Hum ne exactly yahi prove kiya.

$L-\epsilon <f(x)<L+\epsilon ⟺\underset{\text{"}fL\text{ ke }\epsilon \text{ ke andar hai"}}{\underbrace{|f(x)-L|<\epsilon }}.$

Double arrow $⟺$ matlab "yeh dono same baat kehte hain". $L-\epsilon <f(x)<L+\epsilon$ ke teeno parts se $L$ subtract karne par $-\epsilon <f(x)-L<\epsilon$ milta hai, jo exactly hai "distance from $f(x)$ to $L$ is under $\epsilon$".

Kyunki hamara $\epsilon$ arbitrary tha (hum ne kisi bhi tolerance ko handle kiya jo aap name kar sakte the, ek matching $\delta$ produce karke), hum ne definition satisfy kar li:

${\lim }_{x\to a}f(x)=L.■$

PICTURE. s06 payoff dikhata hai: $\epsilon$ shrink karo (thinner pink strip) aur poora argument ek naya, thinner $\delta$ window produce karta hai — $f$, breads ke saath $(a,L)$ dot par ek increasingly tight pinch mein follow karta hai.

---

Step 6 — Degenerate cases (reader ko kabhi stranded mat chodo)

Real functions misbehave karte hain. Yahan har corner case hai, har ek ka apna picture s07 mein.

(a) $f$ ek wall ke equal hai. Inequalities $\le$ hain, strict $<$ nahi. Toh $f$ $g$ ya $h$ ko touch kar sakta hai, ya ek poore stretch par coincide bhi kar sakta hai. Kuch nahi tuta — bread se glued filling bhi $L$ par pahunch jaati hai. (s07 ka left panel.)

(b) $f$, $a$ par undefined hai. Classic case: $f(x)=x^2\sin (1/x)$ ki $x=0$ par koi value nahi hai. Irrelevant! Har step mein $0<|x-a|$ matlab hum $a$ par kabhi evaluate nahi karte. Limit exist karti hai jahan bhi function mein hole ho. (Middle panel.)

(c) Breads sirf ek side se pinch karte hain. Agar $g$ aur $h$ sirf right se $L$ par milte hain, toh aapko one-sided limit $\underset{x\to a^{+}}{\lim }$ milta hai. Identical argument half-window ke saath chalta hai. Isi tarah parent ka $\frac{\sin x}{x}$ proof kaam karta hai jab evenness dono sides ko glue karti hai.

(d) $g\to 2$ lekin $h\to 4$ — different heights. Ab koi common $L$ nahi hai, koi single pink strip nahi jisme dono breads enter karein. Trap mein gap hai; $f$ $2$ aur $4$ ke beech kahin bhi wander kar sakta hai. Theorem kuch nahi deta. Yeh number-one misuse hai — parent ka "same bread, same sandwich" mnemonic dekho. (Right panel, gap grey mein dikhata hai.)

---

Ek picture ka summary

Upar sab kuch, compressed: koi bhi $\epsilon$ chuno, ek $\delta$ milo, dekho $f$ ko $L$ ki taraf drag hote.

Recall Feynman retelling — walkthrough plain words mein

Koi aapko dare karta hai: "Middle rope ko ceiling hook ke ek centimetre ke andar rakho." Aap bolte ho, "Easy — main bataunga ki wall ke kitne paas khada hona hai." Aap jaante ho ki ek rope middle rope ke upar hai aur ek neeche, aur un dono ropes ko aap pehle se hook ke paas pin kar sakte ho. Toh aap dhundhte ho ki un dono outer ropes ke holders ko wall ke kitne paas khada hona chahiye, stricter distance lete ho, aur wahan khade ho jaate ho. Ab dono outer ropes hook ke ek centimetre ke andar hain — aur middle rope, jo unke beech bandhi hai, ke paas escape karne ki koi jagah nahi. Woh bhi ek centimetre ke andar hai. Dare ne jo bhi tolerance maanga (ek centimetre, ek millimetre, kuch bhi), aap ek matching "itne paas khado" se jawab dete ho. Kyunki aap hamesha jawab de sakte ho, middle rope sach mein hook tak pahunchti hai. Aapne middle rope ko kabhi touch ya measure nahi karna pada — dono outer ropes ne saara kaam kiya. Yahi squeeze theorem hai.

Recall Quick self-check

Hum $\delta =\min ({\delta }_1,{\delta }_2)$ kyun lete hain, max kyun nahi? ::: Hume DONO bread-guarantees ek saath active chahiye; sirf choti window dono ke andar hoti hai. Proof mein hum kahan use karte hain ki $f$ breads ke beech hai? ::: Step 4 mein, chain ki middle links $g(x)\le f(x)\le h(x)$. $f$ mein $a$ par hole harmless kyun hai? ::: Har step $0<|x-a|$ assume karta hai, toh $a$ khud kabhi test nahi hota. Agar $g\to 2$ aur $h\to 4$ hо toh kya fail hota hai? ::: Koi common $L$ nahi, toh koi single strip $f$ ko trap nahi karti — theorem kuch conclude nahi karta.

---

Connections

• Limit definition (epsilon-delta) — woh challenge–response game jis par har step bana hai.
• Limits of trigonometric functions — pinch deliver karta hai ${\lim }_{x\to 0}\frac{\sin x}{x}=1$ (one-sided-then-glued, Step 6c).
• Bounded times vanishing — "$f$ undefined lekin bounded" case (Step 6b) disguise mein.
• Oscillating functions — woh reason ki hum substitute karne ki jagah bound kyun karte hain.
• Continuity — jab pinch limit deta hai, usse function ki value se compare karo.
• Limits of sequences — $x\to a$ ko $n\to \infty$ se swap karo; har figure abhi bhi apply hota hai.