Foundations — Real analysis — rigorous epsilon-delta, metric spaces

4.10.22 · D1 · Maths › Advanced Topics (Elite Level) › Real analysis — rigorous epsilon-delta, metric spaces

Parent note ki ek bhi line padhne se pehle, tumhe woh alphabet chahiye jisme woh likha gaya hai. Yeh page har symbol ko scratch se banata hai. Upar se neeche padho: har cheez sirf usse define ki gayi hai jo uske upar define ho chuki hai.

1. Sets aur membership — containers

Kuch named pens jo hum baar baar use karte hain:

• $\mathbb{R}$ — real numbers: ek infinite ruler par har point, including fractions, kabhi na khatam hone wale decimals, $\sqrt{2}$, $\pi$. Ek horizontal line bina kisi gap ke socho.
• ${\mathbb{R}}^n$ — $n$ real numbers ki lists, jaise $(x_1,x_2)$. $n=2$ ke liye yeh flat plane hai (kagaz ki sheet); $n=3$ ke liye, space.

Yeh topic ko kyun chahiye. Ek limit ek function ke inputs $D$ aur uske outputs ke baare mein ek statement hai. "Getting close" ki baat karne se pehle, humein pehle yeh kehna hoga ki points kis arena mein rehte hain. Woh arena ek set hai.

2. Absolute value $|\cdot |$ — woh ruler jo gaps measure karta hai

Absolute value analysis mein dominate kyun karta hai, yeh agla idea batata hai:

Figure dekho. Do points $x$ aur $a$ ruler par baithe hain; neeche orange bracket $|x-a|$ hai, gap ki length. Dhyaan do yeh same length hai chahe tum left-to-right chalo ya right-to-left — woh symmetry exactly yahi hai ki $|x-a|=|a-x|$.

Yeh topic ko kyun chahiye. Har $\epsilon$–$\delta$ statement $|x-a|$ (input gap) aur $|f(x)-L|$ (output gap) se bani hoti hai. Absolute value real line ka measuring tape hai — aur parent ke section 4 mein ise abstract distance $d$ mein generalise kiya jaata hai.

3. Inequalities aur intervals — "ek tolerance ke andar"

Figure mein blue band un sabhi $x$ ka set hai jiske liye $|x-a|<\delta$ hai. $a$ par chhota hollow dot dikhata hai ki $0<|x-a|$ kya karta hai: woh centre ko puncture karta hai, $x=a$ wala single point hata deta hai. Toh $0<|x-a|<\delta$ hai "blue band apne centre pin-hole ke saath."

Yeh topic ko kyun chahiye. "$\epsilon$ ke andar" aur "$\delta$ ke andar" — pure game ke do rulers — absolute values par inequalities hain. Inequalities nahi, toh "close" kaise kahein.

4. Functions aur symbols $f$, $L$, $a$ — the machine

Limit story ke teen lead characters:

• $a$ — woh input value jise hum approach kar rahe hain (horizontal ruler par ek jagah).
• $L$ — woh output value jiske taraf hum claim karte hain ki machine ke results ja rahe hain.
• $f(x)$ — jab input $x$ ho toh actual output.

Figure mein curve $y=f(x)$ hai. Jab inputs $x$ (bottom axis) $a$ ki taraf slide karte hain, dekho outputs $f(x)$ (left axis) height $L$ ki taraf climb karte hain. $L$ ke around half-width $\epsilon$ ki horizontal orange band target tube hai; $a$ ke around half-width $\delta$ ki vertical blue band safe zone hai. Limit statement hai: jab bhi koi input blue zone mein land kare, uska output orange tube mein land kare.

Yeh topic ko kyun chahiye. Limit ${\lim }_{x\to a}f(x)=L$ in teeno symbols ke baare mein exactly ek sentence hai. Input-machine-output ki clear picture ke bina, definition sirf shor hai.

5. Quantifiers $\forall$ aur $\exists$ — game ki grammar

Yeh topic ko kyun chahiye. Limit ki poori definition ek quantified sentence hai. Ise galat padna (ya galat order mein) matlab ek alag, false statement padhna hai.

6. Greek letters $\epsilon$ aur $\delta$ — do tolerances

Yeh topic ko kyun chahiye. Yeh do letters hi definition hain. Sections 1–5 mein sab kuch exist karta hai taaki "$0<|x-a|<\delta ⟹|f(x)-L|<\epsilon$" fluently padha ja sake.

7. Line se plane tak — distance $d$ aur metric leap

Symbol $\sum$ (capital sigma) jo metric table mein appear karta hai bas matlab hai "inhe jodo": ${\sum }_{i=1}^n{a}_i=a_1+a_2+\cdots +a_n$ — running total, jis pal hum one-dimensional ruler chhodte hain aur kai directions mein gaps add karte hain (dekho Sequences and Series).

Prerequisite map

Equipment checklist