Foundations — Intermediate Value Theorem

4.1.8 · D1 · Maths › Calculus I — Limits & Derivatives › Intermediate Value Theorem

Is page mein kuch bhi assume nahi kiya gaya. Jab tak hum IVT ka statement padhne layak nahi ban jaate, hume uske har symbol ko pehle build karna hoga. Hum ek ek brick rakhenge; koi bhi brick aisi brick use nahi karegi jo humne abhi tak nahi rakhi.

0. Hum kaun se numbers use kar rahe hain? $\mathbb{R}$ aur $\mathbb{Q}$

Number line ko ek solid, unbroken ruler ki tarah socho. Har real number us par ek point hai, koi bhi gap nahi. Rationals $\mathbb{Q}$ un points mein se sirf kuch hain — densely bikharey hue, lekin pinprick holes ke saath (jaise koi bhi fraction exactly $\sqrt{2}$ par nahi aaता).

Yeh topic ko kyun chahiye: IVT, $\mathbb{R}$ par isliye kaam karta hai kyunki $\mathbb{R}$ mein koi gap nahi hai. Wohi theorem $\mathbb{Q}$ par fail ho jaata hai — hum Section 6 mein dekhenge kyun.

1. Ek function $f$ — ek machine jo numbers ko numbers mein badal deti hai

Ek function ki picture uski graph hoti hai: har input $x$ ke liye horizontal axis par, hum ek dot $f(x)$ height par plot karte hain. $x$ ko sweep karo aur dots ek curve trace karte hain.

Yeh topic ko kyun chahiye: IVT ek statement hai un heights ke baare mein jo ek function reach karta hai. Koi function nahi, koi heights nahi, koi theorem nahi.

2. Numbers ko compare karna — $<$, $>$, $\le$, $\ge$

Intervals se pehle, hume ordering ki language chahiye: hum kaise kehte hain ki ek number line par doosre ke left ya right mein baitha hai.

Yeh topic ko kyun chahiye: "$N$ between $f(a)$ aur $f(b)$", "opposite signs", aur "least upper bound" sab $<$ aur $\le$ ke baare mein statements hain. Ordering ke bina, koi bhi parse nahi hota.

3. Interval $[a,b]$ — inputs ki woh stretch jo hum dekhte hain

Horizontal axis ki ek strip socho. Ends par filled dots ka matlab "included" (closed); hollow dots ka matlab "excluded" (open).

Yeh topic ko kyun chahiye: IVT dono endpoint heights $f(a)$ aur $f(b)$ compare karta hai. Dono exist karne chahiye — isliye closed.

4. Continuity — "koi teleporting nahi"

Neeche dono pictures compare karo: left wali curve smoothly chalti hai; right wali ek point par jump karti hai, heights ka ek poora band ek baar mein skip kar deti hai.

Yeh topic ko kyun chahiye: Yeh ek non-negotiable hypothesis hai. Formal $\epsilon$–$\delta$ version ke liye Continuity dekho; yahan pen ki picture kaafi hai.

5. Intermediate value $N$ — ends ke beech ek target height

Height $y=N$ par graph par ek horizontal line ki picture socho. Claim yeh hoga: yeh line zaroor curve ko cross karegi.

Yeh topic ko kyun chahiye: $N$ woh "level" hai jis par hum insist karte hain ki curve pahunche. Koi target height nahi toh hit karne ke liye kuch nahi.

6. "There exists" $\exists$ aur "belongs to" $\in$ — conclusion ki language

Yeh topic ko kyun chahiye: Poora conclusion hai $\exists c\in (a,b):f(c)=N$ — "interval ke andar kam se kam ek input $c$ hai jiska output target $N$ ke barabar hai." IVT ek existence promise hai, kuch aur nahi.

7. Supremum $\sup$ aur completeness — woh reason ki $c$ actually wahan hai

IVT use karne ke liye tumhe yeh nahi chahiye, lekin yeh isliye hai ki woh sach kyun hai, toh hum define karte hain.

Number line par dots ka ek set socho jo jitna right mein ja sakta hai jaata hai; $\sup S$ woh exact right-edge hai jis par woh crowd up karte hain (chahe koi single dot wahan pahunche ya na pahunche).

Yeh topic ko kyun chahiye: crossing point $c$ ko proof mein ek supremum ke roop mein define kiya jaata hai. Completeness yeh guarantee hai ki yeh $c$ ek genuine real number ke roop mein exist karta hai. Rationals $\mathbb{Q}$ par gaps hain (jaise $\sqrt{2}$ ke neeche ke rationals ke set ke liye koi rational $\sup$ nahi hai), aur exactly isliye IVT wahan fail ho jaata hai.

Prerequisite map

Equipment checklist

Right side cover karo aur dekho ki kya tum har answer khud de sakte ho.