Foundations — Epsilon-delta definition of a limit — formal proofs

4.1.9 · D1 · Maths › Calculus I — Limits & Derivatives › Epsilon-delta definition of a limit — formal proofs

Yeh page assume karta hai ki tumne pehle kuch nahi dekha. Isse pehle ki tum yeh line padh sako: $\forall \epsilon >0\exists \delta >0\text{s.t.}0<|x-a|<\delta \Rightarrow |f(x)-L|<\epsilon ,$ tumhe pata hona chahiye ki har ek mark ka matlab kya hai aur woh dikhta kaise hai. Hum unhe ek-ek karke build karenge, aisi order mein jahan koi cheez use hone se pehle earn ki jaati hai. Jab hum khatam karenge, toh woh line ek seedha English sentence ki tarah padhegi.

1. Ek number line, aur point $a$

Shuru karo mathematics ki sabse simple picture se: ek seedhi horizontal line, jis par numbers marked hain. Left chhota hai, right bada hai.

Hum baar-baar is line par ek special jagah par wapas aayenge: woh value jis taraf input ja raha hai. Hum usse $a$ kehte hain.

Topic ko iske zaroorat kyun hai: poora game $a$ ke paas behaviour ke baare mein hai. Bina ek fixed landmark ke approach karne ke liye, "close" ka koi matlab nahi.

2. Variable $x$ aur function $f$

Toh hamare paas actually do lines hain: ek horizontal input line (jahan $x$ aur $a$ rehte hain) aur ek vertical output line (jahan $f(x)$ land karta hai). Graph woh picture hai jo unhe connect karti hai.

Topic ko iske zaroorat kyun hai: limits un statements ke baare mein hain jo output $f(x)$ kya karta hai jab input $x$, $a$ ki taraf move karta hai.

3. Proposed limit $L$

Dhyan se note karo: $L$ ek guess hai jo hume verify karni hai. Definition kabhi assume nahi karti ki $L$ sahi hai; yeh check karne ka ek tarika deti hai.

4. Distance, aur kyun hume absolute value $|\cdot |$ chahiye

Yeh pehla real tool hai. Hum baar-baar kehte rehte hain "close." Close ka matlab hai "chhoti distance." Toh hume do numbers ke beech distance measure karne ka ek clean tarika chahiye.

Agar $x$, $5$ par hai aur $a$, $3$ par hai, toh gap $2$ hai. Agar $x$, $1$ par hai aur $a$, $3$ par hai, toh gap bhi $2$ hai — lekin $1-3=-2$, ek negative number. Distance kabhi negative nahi ho sakti, isliye hum sign hata dete hain.

Topic ko iske zaroorat kyun hai: "$x$, $a$ ke close hai" aur "$f(x)$, $L$ ke close hai" dono honest inequalities $|x-a|<\text{small}$ aur $|f(x)-L|<\text{small}$ ban jaate hain.

5. Inequalities $<$, $\le$, aur woh "band" jo yeh draw karte hain

Key move: distance ke baare mein ek inequality line par ek band (ek interval) draw karti hai.

Yeh same kyun hain? $|x-a|<\delta$ kehta hai "$x$ aur $a$ ke beech gap $\delta$ se kam hai," iska matlab hai $x$ zyada se zyada $\delta$ right par ho sakta hai ($x<a+\delta$) ya zyada se zyada $\delta$ left par ($x>a-\delta$). Do directions, ek band.

Topic ko iske zaroorat kyun hai: poori epsilon–delta definition do bands hai (ek output par, ek input par) aur unhe connect karne wala ek promise.

6. Do special small numbers: $\epsilon$ aur $\delta$

Ab do band half-widths ko naam do. Dono Greek letters hain, dono hamesha strictly positive hain (zero width ki band mein move karne ki koi jagah nahi hogi).

Topic ko iske zaroorat kyun hai: yeh do hi "kitna close" ki poori vocabulary hain. $\epsilon$ challenge hai; $\delta$ reply hai.

7. Strict "$0<$": point ko hi exclude karna

Dobara dekho $0<|x-a|<\delta$. Extra left piece $0<|x-a|$ kehta hai distance strictly zero se zyada hai — toh $x\ne a$.

Topic ko iske zaroorat kyun hai: yahi limits ko holes aur gaps ke baare mein baat karne ki ability deta hai jo plain "plug in $a$" nahi kar sakta.

8. Arrow $\to$ aur symbol $\lim$

Topic ko iske zaroorat kyun hai: yeh usi cheez ka compact naam hai jise $\epsilon$–$\delta$ machinery define kar rahi hai.

9. Quantifiers $\forall$ aur $\exists$ — aur unka order

Yeh do symbols hi definition ko ek game banate hain, aur unka order sahi rakhna is page ka sabse important idea hai.

Definition ki spine hai: $\underset{\text{whatever demand}}{\underbrace{\forall \epsilon >0}}\underset{\text{I can answer}}{\underbrace{\exists \delta >0}}\text{s.t. (the promise holds).}$

Topic ko iske zaroorat kyun hai: poora "challenge–response duel" aur proof recipe ("Let $\epsilon >0$. Choose $\delta =\dots$") kuch nahi sirf in quantifiers ko order mein padhna hai.

10. Implication $\Rightarrow$ — promise itself

Definition mein, $0<|x-a|<\delta \Rightarrow |f(x)-L|<\epsilon$ promise hai: agar input tumhare $\delta$-band ke andar land kare (aur $a$ na ho), toh output $\epsilon$-band ke andar guaranteed hai. Promise tab tooti jaati hai jab input ne mana kiya lekin output bahar chali gayi.

Topic ko iske zaroorat kyun hai: yahi exact link hai jo "input close" ko "output close" mein convert karta hai — poori definition ka dil.

11. Sentence ko saath mein rakho

Ab har ek mark earn ho gaya hai. Definition ko plain English mein dobara padho:

$\forall \epsilon >0\exists \delta >0:0<|x-a|<\delta \Rightarrow |f(x)-L|<\epsilon$

Ek bhi symbol ab mysterious nahi hai. Tum Epsilon-delta definition of a limit — formal proofs mein proofs ke liye ready ho.

Prerequisite map

Har ek foundation agla feed karta hai; do bands aur quantifier order implication par milte hain, jo hai limit definition.

Equipment checklist

Khud ko test karo — har line apna answer chhupati hai.