Foundations — Sequences — convergence, divergence, boundedness, monotonicity

4.3.1 · D1 · Maths › Calculus III — Sequences & Series › Sequences — convergence, divergence, boundedness, monotonici

Parent note padhne se pehle, tumhe us mein aane wale har symbol ki complete pakad honi chahiye. Neeche, har symbol ko teen cheezein milti hain: plain words, picture, aur topic ko uski zaroorat kyun hai. Inhe is tarah order kiya gaya hai ki har ek sirf upar waalon par depend kare.

1. Counting numbers $\mathbb{N}$

Picture: page ke right edge se bahar jaati evenly spaced ticks ki ek row — position 1, position 2, position 3… Yeh woh slots hain jo ek sequence fill karta hai. Yeh woh "$n$" hain jo "infinity ki taraf march karega" (ek phrase jise hum Section 2b mein precise karenge).

Topic ko iski zaroorat kyun hai: ek sequence ek list hai, aur list ko numbered slots chahiye. $\mathbb{N}$ woh slot numbers supply karta hai.

2. $\mathbb{N}$ aur $\mathbb{R}$ par ordering: $<$, $>$, $\le$, $\ge$

Picture: number line par do dots point karo; jo further left hai woh chhota hai. "$\epsilon >0$" ka seedha matlab hai "$\epsilon$ strictly $0$ ke right mein baitha hai" — yaani woh positive hai.

Topic ko pehle iski zaroorat kyun hai: baad ke har statement — "$\epsilon >0$", "$n>N$", "$a_n\le M$" — ek comparison hai. Greater/less ka matlab fix karna zaroori hai usse use karne se pehle. Dhyan do $<,>$ strict hain (equality forbidden); $\le ,\ge$ equality allow karte hain.

2b. "$\to \infty$" ka matlab kya hai — aur symbol $\infty$

Picture: $\mathbb{N}$ ki ticks page ke right edge se hamesha ke liye stream karti hain. Koi last tick nahi hai; $\infty$ us "keeps going" behaviour ko naam deta hai, ek open horizon ki tarah mark kiya gaya, koi aise dot nahi jahan tum land karo.

Topic ko iski zaroorat kyun hai: poore subject ka ek hi sawaal hai "jab $n$ bina bound ke badhe toh kya hota hai?" Symbol $\infty$ hume yeh compactly likhne deta hai ($(a_n{)}_{n=1}^{\infty }$ aur ${\lim }_{n\to \infty }$ mein), lekin tumhe hamesha mentally isse translate karna chahiye "jitne chaaho utne right slots ke liye".

3. Real numbers $\mathbb{R}$ aur number line

Picture: ek horizontal line jiske beech mein $0$ hai, positive numbers ($>0$) right mein, negative ($<0$) left mein. $\mathbb{N}$ ki isolated ticks ke unlike, $\mathbb{R}$ mein koi holes nahi hain — kisi bhi do points ke beech hamesha ek aur point hota hai.

Topic ko iski zaroorat kyun hai: ek sequence jo values leta hai woh yahan rehti hain. Slot numbers $\mathbb{N}$ se aate hain (figure mein top ruler); jis values ki taraf woh point karte hain woh real numbers hain (bottom line). "Gap-free" property decorative nahi hai — yeh woh deep fact (Completeness of the Real Numbers) hai jo baad mein Monotone Convergence Theorem ko power deta hai.

4. Ek function $a:\mathbb{N}\to \mathbb{R}$

Picture: top ruler par har tick $n$ number line par exactly ek point ki taraf arrow shoot karta hai. Input $1\to a_1$, input $2\to a_2$, aur aage bhi. Ek sequence literally is arrows ke bundle ki tarah hai.

Topic ko iski zaroorat kyun hai: ek sequence ko "function" kehna pedantry nahi hai — yeh hume batata hai ki functions ke rules apply hote hain (har input ko exactly ek output milta hai; hum Limits of functions ki tarah long-run behaviour ke baare mein poochh sakte hain lekin sirf integer inputs par).

5. Term $a_n$ aur poori sequence $(a_n{)}_{n=1}^{\infty }$

Picture: $a_n$ ek dot hai; $(a_n)$ dots ka poora scatter hai. Parentheses woh "box" hain jo kehta hai inhe sab milake treat karo.

Topic ko iski zaroorat kyun hai: convergence poori list ki property hai, kisi ek term ki nahi. Hume ek symbol chahiye ek single value ke liye ($a_n$) aur ek alag symbol list-as-a-thing ke liye ($(a_n)$).

6. Subscript index $n$ vs. fixed cutoff $N$, aur tail

Picture: slot $N$ par ek vertical dashed fence imagine karo. Fence ke right mein sab kuch "tail" hai. $n$ ek walker hai; $N$ fence post hai.

Topic ko iski zaroorat kyun hai: convergence ki poori definition tail ke baare mein ek statement hai — "kisi fence ke baad, har term theek se behave karta hai". Pehle $N$ terms ko misbehave karne ki permission hai; sirf $(a_n{)}_{n>N}$ matter karta hai. Moving-$n$ aur frozen-$N$ ko confuse karna definition ko unreadable bana deta hai.

7. Absolute value $|x|$ — distance

Picture: do dots ke beech gap ki length, hamesha positive, chahe koi bhi left mein ho.

Topic ko iski zaroorat kyun hai: yeh kehne ke liye ki "$a_n$ ek target value ke paas aata hai", hume pehle us target ka naam chahiye aur closeness measure karne ka tarika. Absolute value woh tool hai jo "close" ko ek measurable, sign-free number mein badalta hai.

8. Target value $L$

Picture: number line par ek special dot, aur hum dekhte hain ki sequence ke dots uske upar pile up hote hain ya nahi. Figure s03 mein yeh woh solid central horizontal line hai jiske toward terms squeeze karte hain.

Topic ko iski zaroorat kyun hai: "kya terms ek single number par settle karti hain?" tab hi sense karta hai jab hum us single number ko naam dein. $L$ woh naam hai. Section 7 se distance $|a_n-L|$ measure karta hai ki term $n$ target se abhi kitni door hai.

9. Tolerance $\epsilon$ aur $L$ ke aas-paas band

Picture: do horizontal guide-lines $L$ ke upar aur neeche $\epsilon$ ki height par, ek horizontal stripe banate hue. Statement $|a_n-L|<\epsilon$ ka matlab hai dot $a_n$ stripe ke andar baitha hai.

Topic ko iski zaroorat kyun hai: "close" vague hai; kisi bhi width ki stripe precise hai. Agar hum poori tail ko har stripe mein trap kar sakein — chahe razor-thin ones mein bhi — toh terms genuinely $L$ par home in karti hain.

10. Quantifiers $\forall$ aur $\exists$

Picture: $\forall$ challenger hai jo har stripe width try karta hai; $\exists$ tum ho jo haath mein aai width ke liye ek fence dhundhte ho. Order matter karta hai: challenger pehle move karta hai ($\epsilon$), phir tum respond karte ho ($N$) — isliye tumhara $N$ unke $\epsilon$ par depend kar sakta hai.

Topic ko iski zaroorat kyun hai: convergence definition exactly ek two-move game hai in symbols ke saath likha hua: $\forall \epsilon >0,\exists N:n>N⟹|a_n-L|<\epsilon .$ Isse loud padhein: "kisi bhi stripe ke liye, ek fence exist karta hai jiske baad har tail term andar hoti hai." Us line ka har symbol ab define ho chuka hai.

11. Implication $⟹$, limit symbol $\lim$, aur divergence

Picture: arrow $⟹$ ek one-way street hai — fence ke baad hona force karta hai stripe ke andar hone ko (reverse nahi). $\lim =L$ ek word "converges" hai formula costume mein.

Topic ko iski zaroorat kyun hai: "converges" aur "diverges" woh do verdicts hain jo poora subject deta hai. Core sawaal ka jawab dene ke liye bina ek precise naam — aur criterion — ke "nahi, woh kabhi settle nahi karte" case ke liye nahi chal sakta.

12. Bounds: $M$, $m$, $K$, $\sup$, $\inf$

Picture: do horizontal rails, ek ceiling aur ek floor, jiske beech mein saare dots sandwiched hain. $\sup$ woh ceiling hai jo neechay push ki jaati hai jab tak dots ko just touch kare; $\inf$ woh floor hai jo upar push ki jaati hai jab tak dots ko just touch kare.

Topic ko iski zaroorat kyun hai: boundedness convergence ke liye ek necessary condition hai (ek sequence jo $\infty$ ki taraf diverge kare woh settle nahi ho sakti). Aur $\sup$/$\inf$ exact woh values hain jahan ek monotone bounded sequence land karti hai — Monotone Convergence Theorem ka heart, Completeness of the Real Numbers dwara exist karne ki guarantee ke saath.

13. Monotone comparisons: $a_{n+1}$ vs $a_n$

Picture: ek staircase jo sirf upar jaaye (ya sirf neeche) — kabhi koi wobble nahi. Compare karo $(-1{)}^n$ se: pure zig-zag, monotone nahi, aur (Section 11 se) divergent.

Topic ko iski zaroorat kyun hai: monotone + bounded woh winning combination hai jo convergence force karta hai. Test karne ke liye ki monotonicity hai ya nahi, tum $a_{n+1}-a_n$ ka sign dekhte ho, isliye pehle exactly samajhna zaroori hai ki $a_{n+1}$ ka matlab kya hai.

Yeh topic ko kaise feed karte hain

Upar se neeche padhein: number systems aur ordering ek term ki notion aur "$\to \infty$" horizon banate hain; term plus ek moving index plus distance plus ek target $L$ plus quantifiers convergence definition banate hain (aur uska opposite, divergence); bounds plus monotonicity plus woh definition payoff theorem banate hain.

Equipment checklist

Apne aap ko test karo — har ::: line ka right side cover karo aur loud mein answer do.