Real number system — ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ

2.5.5 · Maths › Number Theory (Intermediate)

Symbol ⊂ ka matlab hai "proper subset" — har natural number ek integer HAI, har integer ek rational HAI, har rational ek real HAI, lekin ulta nahi.

Natural Numbers (ℕ)

Properties:

• Ye properties kyun hain? Kyunki cheezein ginne ka behavior naturally aisa hi hota hai.
• Addition aur multiplication ke under closed: do naturals ko add ya multiply karo → ek aur natural milega
• Subtraction ke under NOT closed: 3 - 5 = -2 ∉ ℕ (isi se integers ki zaroorat padti hai!)
• Division ke under NOT closed: 7 ÷ 2 = 3.5 ∉ ℕ (isi se rationals ki zaroorat padti hai!)
• Ek smallest element hota hai (definition ke hisaab se 1 ya 0)
• Koi largest element nahi (infinity koi number nahi hai)

Integers (ℤ)

Integers ko naturals se kaise construct kiya? Hum $x+5=3$ jaisi equations solve karna chahte the. ℕ mein iska koi solution nahi hai. Hum negative numbers create karte hain inhe aisi equations ke solutions ke roop mein define karke.

Formally: Pairs (a, b) define karo jahan a, b ∈ ℕ, aur kaho ki (a, b) integer a - b ko represent karta hai.

• (5, 2) represents 3
• (2, 5) represents -3
• (5, 5) represents 0

Properties:

• Addition, subtraction, aur multiplication ke under closed
• Division ke under NOT closed: 5 ÷ 2 ∉ ℤ (rationals ki zaroorat motivate karta hai!)
• Unity ke saath ek ring banata hai (algebraic structure)

Rational Numbers (ℚ)

Rationals ko integers se kaise construct karte hain? Hum kisi bhi integers p, q (q ≠ 0) ke liye $qx=p$ solve karna chahte hain. Rational p/q ko solution ke roop mein define karo.

Key insight: Alag-alag fractions equal ho sakte hain! $\frac{p}{q}=\frac{r}{s}⟺ps=qr$

Kyun? Kyunki $\frac{2}{3}$ aur $\frac{4}{6}$ same quantity represent karte hain (cross-multiply karo: 2×6 = 3×4).

Properties:

• Addition, subtraction, multiplication, AUR division ke under closed (zero se divide karne ko chhodkar)
• Ek field banata hai (reals se pehle sabse complete algebraic structure)
• ℝ mein dense: Koi bhi do rationals ke beech mein ek aur rational hota hai $\text{Between }a\text{ and }b:\text{take }\frac{a+b}{2}$
• Countably infinite: ℕ×ℕ ki zig–zag (pairing) enumeration use karke ek sequence mein list kiya ja sakta hai

Construction: Maano $c=\frac{a+b}{2}$ (average).

Ye kyun kaam karta hai?

• Kyunki $a<b$ hai, toh $2a<a+b<2b$ hai
• 2 se divide karne par: $a<\frac{a+b}{2}<b$
• Kyunki rationals ka sum aur division rational hota hai, $c\in \mathbb{Q}$

Density ka MATLAB kya hai? Rationals mein is sense mein koi "gap" nahi ki aap hamesha aur zoom in kar sakte ho. LEKIN iska matlab nahi ki ye poori number line fill karte hain — wahan irrationals aate hain!

Verify: $\frac{1}{3}=\frac{4}{12}<\frac{5}{12}<\frac{6}{12}=\frac{1}{2}$ ✓

Ye step kyun? Compare karne ke liye common denominator (12) mein convert karo.

Kya ek aur dhundh sakte hain? Haan! 1/3 aur 5/12 ke beech: $\frac{\frac{4}{12}+\frac{5}{12}}{2}=\frac{9}{24}=\frac{3}{8}$. Ye process kabhi khatam nahi hoti — kisi bhi do rationals ke beech infinitely many rationals hote hain!

Irrational Numbers and Real Numbers (ℝ)

Real numbers ℝ = ℚ ∪ (irrationals) — poori number line BINA kisi gap ke.

Irrationals exist kyun karte hain? Rationals mein "holes" hain — kuch aisi limits hain jinhein rational sequences approach karte hain lekin kabhi reach nahi karte.

Goal: Dikhao ki $\sqrt{2}\notin \mathbb{Q}$

Method: Proof by contradiction.

Maano $\sqrt{2}$ rational hai. Tab hum likh sakte hain: $\sqrt{2}=\frac{p}{q}$ jahan p, q ∈ ℤ, q ≠ 0, aur fraction lowest terms mein hai (gcd(p,q) = 1).

Step 1: Dono sides ko square karo. $2=\frac{p^2}{q^2}$ Kyun? Square root hatane ke liye aur integers ke saath kaam karne ke liye.

Step 2: $q^2$ se multiply karo. $2q^2=p^2$ Ye hume kya batata hai? $p^2$ even hai (ye 2 ke kisi multiple ke barabar hai).

Step 3: Agar $p^2$ even hai, toh p even hai. Kyun? Agar p odd hota, toh p = 2k+1 kisi integer k ke liye, toh: $p^2=(2k+1{)}^2=4k^2+4k+1=2(2k^2+2k)+1$ jo odd hai. Contradiction! Toh p even hona chahiye.

Step 4: Kyunki p even hai, p = 2m likho kisi integer m ke liye. $2q^2=p^2$ mein substitute karo: $2q^2=(2m{)}^2=4m^2$ $q^2=2m^2$ Ye hume kya batata hai? $q^2$ even hai, toh q bhi even hai (Step 3 jaisi reasoning).

Step 5: Contradiction! Humne dikhaya hai ki p aur q dono even hain, matlab unka common factor 2 hai. Lekin humne maana tha ki gcd(p,q) = 1 (lowest terms). Contradiction!

Conclusion: Hamari assumption galat thi. $\sqrt{2}$ ko p/q ki tarah nahi likha ja sakta, toh √2 irrational hai. □

Solution:

• 7: Natural ✓, Integer ✓, Rational ✓ (7/1), Real ✓
• -3/4: Integer ✗, Rational ✓, Real ✓
• 0: Natural ✗ (usually), Integer ✓, Rational ✓ (0/1), Real ✓
• √9 = 3: Natural ✓, Integer ✓, Rational ✓, Real ✓ Kyun? Pehle simplify karo! √9 = 3, jo rational HAI.
• √7 ≈ 2.645...: Rational ✗ (koi perfect square nahi), Irrational ✓, Real ✓
• π ≈ 3.14159...: Irrational ✓, Real ✓
• 0.666... = 2/3: Rational ✓! (Repeating decimals rational hote hain), Real ✓ Convert kaise karein: Maano x = 0.666..., tab 10x = 6.666..., toh 10x - x = 6, jisse x = 6/9 = 2/3 milta hai.

The Subset Structure

⊂ ka exactly matlab kya hai? $A\subset B$ ka matlab:

1. A ka har element B mein hai (A ⊆ B)
2. B mein kam se kam ek aisa element hai jo A mein nahi (A ≠ B)

Proper subsets kyun?

• Har natural number ek integer hai: 5 ∈ ℕ → 5 ∈ ℤ
• Lekin kuch integers natural nahi hote: -3 ∈ ℤ lekin -3 ∉ ℕ
• Har integer rational hai: 5 = 5/1
• Lekin kuch rationals integers nahi hote: 1/2 ∈ ℚ lekin 1/2 ∉ ℤ
• Har rational real hai: 3/4 ∈ ℝ
• Lekin kuch reals rational nahi hote: √2 ∈ ℝ lekin √2 ∉ ℚ

Har set mein KITNE numbers hain?

• ℕ: Countably infinite (ℵ₀)
• ℤ: Countably infinite (ℕ ke "same size"!)
• ℚ: Countably infinite (abhi bhi ℵ₀)
• ℝ: Uncountably infinite — iski cardinality $2^{{\aleph }_0}$ hai (continuum ki cardinality), ℵ₀ se strictly badi

Rationals naturals ke same size kyun hain? Kyunki ℚ ko ℕ×ℕ ki zig–zag (pairing) enumeration use karke ℕ ke saath one-to-one correspondence mein rakh sakte hain, toh ℚ countable hai. Reals bade kyun hain? Cantor's diagonal argument prove karta hai ki ℝ ko kisi bhi aisi sequence mein list NAHI kiya ja sakta, toh ℝ uncountable hai, jiska $|\mathbb{R}|=2^{{\aleph }_0}>{\aleph }_0$ hai.

Note on ℵ₁: Kya $2^{{\aleph }_0}={\aleph }_1$ hai, ye Continuum Hypothesis hai, jo standard ZFC axioms se independent hai (Gödel & Cohen). Toh hum $|\mathbb{R}|=2^{{\aleph }_0}$ likhte hain, "${\aleph }_1$" nahi.

The steel-man: Density ek powerful property hai. Practical sense mein, finite precision ke liye (computers, measurements), rationals KAFI hain. Kisi bhi real ko rationals se arbitrarily well approximate kiya ja sakta hai.

The fix: Density ≠ completeness. Haan, rationals dense hain, LEKIN abhi bhi infinitely many "holes" hain jahan irrationals rehte hain.

• Example: Sequence 1, 1.4, 1.41, 1.414, 1.4142, ... (√2 ke decimal approximations) rationals se bani hai, lekin limit √2 rational NAHI hai.
• Rationals countable hain, lekin reals uncountable hain — "holes" rationals se infinitely zyada numerous hain!

Socho aise: rational numbers aasman mein taare hain (dense — har jagah taare dikhte hain), lekin andhera (irrationals) infinitely zyada jagah fill karta hai.

The steel-man: Digits mein pattern recognition mushkil hai. π mein "999" jaisi streaks milti hain (Feynman point). Lagta hai repeat ho raha hai!

The fix: Distinction hai eventually periodic aur kabhi periodic nahi ke beech:

• Rational: 0.333... (3 repeat), 0.142857142857... (142857 repeat), yahan tak ki 2.0 = 2.000... (0 repeat)
• Irrational: √2 = 1.41421356... (kabhi repeating cycle mein settle nahi hota, PROVEN kabhi repeat nahi karta)

Theorem: Ek decimal eventually periodic hai ⟺ number rational hai.

Kyun? Agar x = 0.abc̄ (bar ka matlab repeat), toh 10ⁿ se multiply karo repeat shift karne ke liye, phir subtract karo use eliminate karne ke liye, aur x ko fraction ke roop mein solve karo.

Har set poochta hai: "Kya main kaafi hoon?" aur agla set jawab deta hai: "Nahi, ye hai jo tumhe miss ho raha hai!"

Natural numbers (ℕ): Tum bas ginte ho: "Mere paas 1 coin hai, 2 coins hain, 3 coins hain..." Ginti ke liye perfect!

Integers (ℤ): Lekin phir game mein "karz" aa jaata hai — tum coins udhar le sakte ho aur negative mein ja sakte ho. Ab tumhe -1, -2, -3 chahiye track karne ke liye ki kitna dena hai. Integers = saare counting numbers PLUS zero PLUS negative numbers.

Rational numbers (ℚ): Phir tum dosto ke saath coins baantna chahte ho. Aadha coin = 1/2. Teen dost 7 coins share karein = 7/3 each. Koi bhi fraction (jaise 5/2, -3/4) rational hai. Agar tum ise "number over number" likh sako, toh rational hai.

Irrational numbers: Yahan weird part hai — kuch numbers kisi bhi fraction ki tarah NAHI likhe ja sakte! Jaise agar tumhare paas ek perfect square hai (ek square jis mein har side 1 coin lambi hai), uska diagonal √2 coins lambi hai. Lekin √2 ko KISI bhi fraction ki tarah nahi likha ja sakta — ye 1.41421356... hai aur digits FOREVER bina repeat kiye chalte rehte hain. Ye irrational hai.

Real numbers (ℝ): Saare rationals aur irrationals ko mila do, tumhe bina kisi gap ke poori number line milti hai — ye reals hain. Ek infinite ruler par har point.

Symbol ⊂ ka matlab hai "andar fit hona": naturals integers ke andar fit hote hain, integers rationals ke andar, rationals reals ke andar. Har step kuch aisa add karta hai jo pichle set mein missing tha!

Connections

• Number Theory Fundamentals — ye foundation hai
• Properties of Operations — har set ke liye closure, commutativity, associativity
• Decimal Representations — har real ka ek decimal hota hai, rationals eventually periodic hote hain
• Cardinality and Infinity — infinite sets ke sizes compare karna
• Field Axioms — ℚ aur ℝ fields hain, ℕ aur ℤ nahi
• Dedekind Cuts — ℚ se ℝ rigorously construct karne ka ek tarika
• Completeness Axiom — ℝ ko "complete" kya banata hai lekin ℚ ko incomplete
• Algebraic vs. Transcendental Numbers — reals classify karne ka ek aur tarika
• Cantor's Diagonal Argument — proof ki ℝ uncountable hai
• Continuum Hypothesis — kya $2^{{\aleph }_0}={\aleph }_1$ hai? (ZFC se independent)

#flashcards/maths

Concept Map

Deep Dive

• D1 · Foundations — zero se har ek symbol
• D2 · Visual walkthrough — derivation pictures mein
• D3 · Worked examples — har ek scenario
• D4 · Exercises — graded, full solutions ke saath
• D5 · Question bank — concept traps