क्षेत्र अभिगृहीतों के परिणाम
क्षेत्र अभिगृहीतों के परिणाम
आप जानते हैं कि $(-2)(-3)=6$ और शून्य से भाग नहीं होता — पर क्यों? अंकगणित का प्रत्येक परिचित नियम — घटाव, भाग, चिह्न परिवर्तन, लघुकरण — एक अभिगृहीत नहीं बल्कि एक प्रमेय (Theorem) है। इस पोस्ट में हम केवल नौ Field अभिगृहीतों से सोलह परिणाम सिद्ध करेंगे, प्रत्येक चरण में अभिगृहीत का लेबल देते हुए।
नौ अभिगृहीत — स्मरण
इस पोस्ट की हर बात ठीक इन्हीं नौ कथनों से व्युत्पन्न है। $\mathbb{Q}$ या $\mathbb{R}$ का कोई अतिरिक्त गुण नहीं माना जाएगा।
(A1) $x+y=y+x$
(A2) $(x+y)+z=x+(y+z)$
(A3) $\exists\,0\colon 0+x=x$
(A4) $\exists\,{-x}\colon x+(-x)=0$
(M1) $xy=yx$
(M2) $(xy)z=x(yz)$
(M3) $\exists\,1\neq0\colon 1\cdot x=x$
(M4) $x\neq0\Rightarrow\exists\,x^{-1}\colon xx^{-1}=1$
(D) $x(y+z)=xy+xz$
📖 Reference: Rudin, W., Principles of Mathematical Analysis, 3rd ed., Ch. 1, Propositions 1.14–1.16. Also: Apostol, T.M., Mathematical Analysis, 2nd ed., Ch. 1, §1.3–1.4.
← Algebraic Structures and Field Axioms — नौ Field अभिगृहीत (A1–A4, M1–M4, D) इस पोस्ट से ज्ञात माने गए हैं।
← Logic and Proof Methods — यहाँ प्रत्येक Proof Direct Axiomatic Argument या Contradiction Proof है।
सरल स्पष्टीकरण — प्रमेय हैं, अभिगृहीत नहीं
जब हम $\mathbb{R}$ या $\mathbb{Q}$ में काम करते हैं, हम स्वतंत्र रूप से $(-a)(-b)=ab$ जैसे नियमों का उपयोग करते हैं। किन्तु ये स्वयंसिद्ध सत्य नहीं — ये प्रमेय हैं जो तार्किक रूप से नौ अभिगृहीतों से निकलते हैं।
एकैकता Proofs: दो अवयव समान समीकरण संतुष्ट करते हैं — लघुकरण से दिखाएँ कि वे समान हैं।
$a\cdot0=0$: $0+0=0$ (A3) पर D लगाएँ; फिर A4 से रद्द करें।
चिह्न नियम: $ab+(-a)b=0$ दिखाएँ (D, A4 से); योगात्मक प्रतिलोम की एकैकता लागू करें।
शून्य-भाजक नहीं: $ab=0$, $a\neq0$ मानें; $a^{-1}$ से गुणा करें (M4); $b=0$ निष्कर्षित करें।
नियम: Field Proof के प्रत्येक चरण में अभिगृहीत लेबल या पूर्व-सिद्ध परिणाम की संदर्भ देना अनिवार्य है।
सोलह परिणाम (All Sixteen Consequences)
माना $F$ एक Field है और $a,b,c,d\in F$। नीचे दिए गए प्रत्येक परिणाम केवल नौ अभिगृहीतों से सिद्ध होते हैं।
चुने हुए पूर्ण Proofs — अभिगृहीत सहित
चरण 1. A3 से: $0 + 0 = 0$।
चरण 2. दोनों पक्षों को $a$ से गुणा: $a(0+0)=a\cdot0$।
चरण 3. D से: $a\cdot0+a\cdot0=a\cdot0$।
चरण 4. परिणाम 1 (एकैकता): $a\cdot0+x=a\cdot0$ का एकमात्र हल $x=0$ है। यहाँ $x=a\cdot0$, अतः $a\cdot0=0$। $\blacksquare$
चरण 1. D: $ab + (-a)b = (a + (-a))b$।
चरण 2. A4: $a + (-a) = 0$, अतः $(a+(-a))b = 0 \cdot b$।
चरण 3. M1 + परिणाम 6: $0\cdot b = b\cdot 0 = 0$।
चरण 4. अतः $ab + (-a)b = 0$। परिणाम 2 से: $(-a)b = -(ab)$। $\blacksquare$
दिया: $ab = 0$ और $a \neq 0$। सिद्ध करना है: $b = 0$।
चरण 1. M4: $a\neq0$ होने से $a^{-1}$ अस्तित्व में है।
चरण 2. $a^{-1}(ab) = a^{-1}\cdot0$।
चरण 3. M2: बायाँ $= (a^{-1}a)b$। M4: $a^{-1}a=1$। M3: $1\cdot b=b$। अतः बायाँ $= b$।
चरण 4. परिणाम 6: दायाँ $= a^{-1}\cdot0=0$। अतः $b=0$। $\blacksquare$
दिया: $ab = ac$ और $a \neq 0$। सिद्ध करना है: $b = c$।
चरण 1. M4: $a^{-1}$ अस्तित्व में है। $a^{-1}(ab) = a^{-1}(ac)$।
चरण 2. M2, M4, M3: बायाँ $=b$, दायाँ $=c$। अतः $b=c$। $\blacksquare$
टिप्पणी: यदि $a=0$ हो, तो $0\cdot b=0=0\cdot c$ सभी $b,c$ के लिए — लघुकरण असफल। $a\neq0$ की शर्त अनिवार्य है।
हल किए गए उदाहरण (Solved Examples)
परिणाम 6 ($a\cdot0=0$ सभी $a\in F$ के लिए) में $a=0$ रखें:
$$0\cdot0=0. \quad \blacksquare$$
यह सिद्ध-परिणाम में प्रत्यक्ष प्रतिस्थापन है — कोई अतिरिक्त कार्य आवश्यक नहीं।
$x=0$ रखें: $e+0=0$।
A3 से: $e+0=e$, अतः $e=0$।
वैकल्पिक: परिणाम 11 (योगात्मक लघुकरण) से: $e+0=0+0$ (A3); लघुकरण से $e=0$। $\blacksquare$
चरण 1. $(-a)b=-(ab)$ सिद्ध करें (परिणाम 7):
$ab+(-a)b \stackrel{\text{D}}{=}(a+(-a))b \stackrel{\text{A4}}{=}0\cdot b \stackrel{\text{M1,R6}}{=}0$। अतः $(-a)b=-(ab)$ (परिणाम 2 से)।
चरण 2. $b$ के स्थान पर $(-b)$ रखें: $(-a)(-b)=-(a(-b))$।
चरण 3. $a(-b)=-(ab)$ (चरण 1 से)।
चरण 4. $(-a)(-b)=-(-(ab)) \stackrel{\text{R5}}{=}ab$। $\blacksquare$
$b,d\neq0$। सिद्ध करें: (i) $\dfrac{a}{b}+\dfrac{c}{d}=\dfrac{ad+bc}{bd}$; (ii) $\dfrac{a}{b}\cdot\dfrac{c}{d}=\dfrac{ac}{bd}$।
(i) का Proof।
$\dfrac{a}{b}+\dfrac{c}{d}=ab^{-1}+cd^{-1}$ (परिभाषा, परिणाम 14)।
$\stackrel{\text{M4,M3}}{=}ab^{-1}(dd^{-1})+cd^{-1}(bb^{-1})$
$\stackrel{\text{M1,M2}}{=}(ad)(b^{-1}d^{-1})+(bc)(d^{-1}b^{-1})$
$\stackrel{\text{M1}}{=}(ad)(bd)^{-1}+(bc)(bd)^{-1}$ (चूँकि $(bd)^{-1}=b^{-1}d^{-1}$)
$\stackrel{\text{D}}{=}(ad+bc)(bd)^{-1}=\dfrac{ad+bc}{bd}$। $\blacksquare$
(ii) का Proof।
$\dfrac{a}{b}\cdot\dfrac{c}{d}=(ab^{-1})(cd^{-1})\stackrel{\text{M1,M2}}{=}ac\cdot b^{-1}d^{-1}=ac(bd)^{-1}=\dfrac{ac}{bd}$। $\blacksquare$
त्वरित पुनरावृत्ति कार्ड (Quick Revision Cards)
📊 A — परिणाम 1–10
- $a+b=a\Rightarrow b=0$ ($0$ एकैक)
- $a+b=0\Rightarrow b=-a$ ($-a$ एकैक)
- $-(-a)=a$; $a\cdot0=0$
- $(-a)b=-(ab)$; $(-a)(-b)=ab$
- $ab=0\Rightarrow a=0$ या $b=0$
- $(-1)a=-a$
⚙️ B — परिणाम 11–16 एवं जाल
- योगात्मक लघुकरण: सदा ($a$ पर कोई शर्त नहीं)
- गुणात्मक लघुकरण: $a\neq0$ अनिवार्य
- $a-b:=a+(-b)$; $a/b:=ab^{-1}$
- $a/b+c/d=(ad+bc)/(bd)$
- $a/b\cdot c/d=ac/(bd)$
- $(ab)^{-1}=b^{-1}a^{-1}=a^{-1}b^{-1}$
🎯 C — परीक्षा युक्तियाँ
- 🔵 CSIR NET: "$a\cdot0=0$" — D को $0+0=0$ पर लगाएँ; रद्द करें; अभिगृहीत लेबल करें।
- 🟢 GATE: गुणात्मक लघुकरण में $a\neq0$ जरूरी; योगात्मक में नहीं — MCQ जाल।
- 🟠 IIT JAM: भिन्न नियम (15,16) व्युत्पन्न हैं — Axiomatic Proof जानें।
- 🔴 B.Sc. Raj.: परिणाम 1–10 को एक Theorem लिखें; प्रत्येक चरण में अभिगृहीत उद्धृत करें।
सामान्य त्रुटियाँ (Common Mistakes)
❌ इन भूलों से बचें
गलत: "$a-b=0\Rightarrow a=b$" से लघुकरण सिद्ध करना। | सही: $a+b=a+c$ से प्रारम्भ करें; A4 से $-a$ जोड़ें; A2, A4, A3 से $b=c$ निष्कर्षित करें।
गलत: $ab=ac$ से $a\neq0$ जाँचे बिना $b=c$ निष्कर्षित करना। | सही: $a=0$ हो तो $0\cdot b=0=0\cdot c$ सभी $b,c$ के लिए — लघुकरण असफल। शर्त आवश्यक है।
गलत: "घटाव अभिगृहीत $a-b=a+(-b)$।" | सही: कोई घटाव अभिगृहीत नहीं। $a-b$ परिभाषित संक्रिया है — $a+(-b)$ का संक्षिप्त रूप। इसी प्रकार $a/b$ का अर्थ $a\cdot b^{-1}$ है।
गलत: $0$ से भाग करना। | सही: $b^{-1}$ केवल $b\neq0$ के लिए परिभाषित है (M4)। किसी भी Field में $0\cdot x=0\neq1$ सदा, अतः $0^{-1}$ असम्भव और $a/0$ अपरिभाषित है।
वास्तविक अनुप्रयोग (Real-World Applications)
Computer Algebra Systems
प्रत्येक CAS (Mathematica, SageMath, SymPy) में $(-a)(-b)\to ab$ और $a\cdot0\to0$ पुनर्लेखन नियम (Rewrite Rules) के रूप में प्रति सेकंड करोड़ों बार लागू होते हैं।
Field पर रैखिक बीजगणित
Row Reduction, Determinants और Eigenvalues किसी भी Field पर काम करते हैं। शून्य-भाजक नहीं होने से Rank-Nullity का आधार तैयार होता है।
परिमेय फलन अंकगणित
परिणाम 15 और 16 परिमेय फलनों के जोड़ और गुणन के ठीक वही नियम हैं। Partial Fraction Decomposition Field प्रतिलोम की एकैकता पर निर्भर है।
Coding Theory (AES/BCH)
$\mathbb{F}_{2^n}$ (AES, BCH Codes में) में ये परिणाम लागू होते हैं। शून्य-भाजक नहीं होने से Encoded Message की अद्वितीय पुनर्प्राप्ति सुनिश्चित होती है।
सारांश सारणी एवं मुख्य सिद्धांत
| # | परिणाम | मुख्य Proof चरण | Rudin सन्दर्भ |
|---|---|---|---|
| 1–2 | $0$ और $-a$ की एकैकता | $-a$ जोड़ें; A2, A4, A3 | P1.14(i–ii) |
| 3–4 | $1$ और $a^{-1}$ की एकैकता | $a^{-1}$ से गुणा; M2, M4, M3 | P1.14(iii–iv) |
| 5 | $-(-a)=a$ | $(-a)+a=0$; परिणाम 2 | P1.14(v) |
| 6 | $a\cdot0=0$ | D को $0+0=0$ पर; परिणाम 1 | P1.14(vi) |
| 7–8 | $(-a)b=-(ab)$; $(-a)(-b)=ab$ | D, A4, परिणाम 6; फिर परिणाम 5 | P1.14(vii) |
| 9 | शून्य-भाजक नहीं | $a^{-1}$ से गुणा; M4 | P1.14(viii) |
| 10 | $(-1)a=-a$ | $a+(-1)a=0$; परिणाम 2 | P1.15 |
| 11–12 | योगात्मक और गुणात्मक लघुकरण | प्रतिलोम जोड़ें/गुणा करें; A4/M4 | P1.14 |
| 13–14 | घटाव और भाग परिभाषित | परिभाषाएँ: $a-b:=a+(-b)$; $a/b:=ab^{-1}$ | P1.15 |
| 15–16 | भिन्न अंकगणित | D, M1, M2, $(bd)^{-1}=b^{-1}d^{-1}$ | P1.15–16 |
मुख्य सिद्धांत:
अंकगणित का प्रत्येक परिचित नियम एक प्रमेय (Theorem) है, अभिगृहीत नहीं।
नौ Field अभिगृहीत (A1–A4, M1–M4, D) तार्किक रूप से उपरोक्त सोलह परिणाम बाध्य करते हैं — उनसे परे कुछ भी नहीं माना जाता।
सम्बंधित पोस्ट एवं आगे का अध्ययन
← प्रत्यक्ष पूर्वापेक्षा: Algebraic Structures and Field Axioms — नौ अभिगृहीत जिनसे यहाँ सभी परिणाम व्युत्पन्न हैं।
← Proof toolkit: Logic and Proof Methods — Direct Axiomatic Argument और Contradiction Proof।
→ Next Topic: Foundations of Real Numbers.
📖 अतिरिक्त पाठन: Rudin, Ch. 1, Prop. 1.14–1.16; Apostol, Ch. 1, §§1.3–1.5; Bartle & Sherbert, Ch. 2, §2.1.
How did you find this post?
Tap a reaction — counts are saved permanently on our server.
Have a question, doubt, or thought about this post? Choose how you want to join the discussion below.
💬 Comment on Telegram — No account needed