प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Real numbers with an added point at infinity}}
[[Image:Real projective line.svg|right|thumb|प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा को अनंत पर एक अतिरिक्त बिंदु के साथ एक वृत्त के चारों ओर लिपटी वास्तविक संख्या रेखा के रूप में देखा जा सकता है ([[त्रिविम प्रक्षेपण]] के कुछ रूप द्वारा)।]][[वास्तविक विश्लेषण]] में, '''प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा''' (जिसे वास्तविक रेखा का [[एक-बिंदु संघनन]] भी कहा जाता है), [[वास्तविक संख्या]] <math>\mathbb{R}</math> के [[सेट (गणित)|सम्मुच्चय (गणित)]] का विस्तार एक बिंदु {{math|∞}} द्वारा दर्शाया गया है। <ref name=":0">{{Cite book |last=NBU |first=DDE |url=https://books.google.com/books?id=4i7eDwAAQBAJ&dq=%22Projectively+extended+real+line%22+-wikipedia&pg=PA62 |title=PG MTM 201 B1 |date=2019-11-05 |publisher=Directorate of Distance Education, University of North Bengal |language=en}}</ref> इस प्रकार यह समुच्चय <math>\mathbb{R}\cup\{\infty\}</math> है जहां संभव हो वहां मानक अंकगणितीय संक्रियाओं का विस्तार किया गया, <ref name=":0" /> और कभी-कभी इसके द्वारा <math>\mathbb{R}^*</math> या <math>\widehat{\mathbb{R}}</math> निरूपित किया जाता है। <ref name=":1">{{Cite web |last=Weisstein |first=Eric W. |title=प्रोजेक्टिवली विस्तारित वास्तविक संख्याएँ|url=https://mathworld.wolfram.com/ |access-date=2023-01-22 |website=mathworld.wolfram.com |language=en}}</ref> जोड़े गए बिंदु को अनंत पर बिंदु कहा जाता है, क्योंकि इसे वास्तविक रेखा के दोनों छोर (सांस्थिति) का प्रतिवैस माना जाता है। अधिक सटीक रूप से, अनंत पर बिंदु वास्तविक संख्याओं के प्रत्येक अनुक्रम की सीमा है जिनके निरपेक्ष मान बढ़ रहे हैं और असीमित हैं।
{{about|अनंत पर एक बिंदु द्वारा यथार्थ का विस्तार|+∞ और –∞ द्वारा विस्तार |विस्तारित वास्तविक संख्या रेखा}}
{{More cn|date=January 2023}}[[Image:Real projective line.svg|right|thumb|प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा को अनंत पर एक अतिरिक्त बिंदु के साथ एक वृत्त के चारों ओर लिपटी वास्तविक संख्या रेखा के रूप में देखा जा सकता है ([[त्रिविम प्रक्षेपण]] के कुछ रूप द्वारा)।]][[वास्तविक विश्लेषण]] में, प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा (जिसे वास्तविक रेखा का [[एक-बिंदु संघनन]] भी कहा जाता है), [[वास्तविक संख्या]] <math>\mathbb{R}</math> के [[सेट (गणित)|सम्मुच्चय (गणित)]] का विस्तार एक बिंदु {{math|∞}} द्वारा दर्शाया गया है। <ref name=":0">{{Cite book |last=NBU |first=DDE |url=https://books.google.com/books?id=4i7eDwAAQBAJ&dq=%22Projectively+extended+real+line%22+-wikipedia&pg=PA62 |title=PG MTM 201 B1 |date=2019-11-05 |publisher=Directorate of Distance Education, University of North Bengal |language=en}}</ref> इस प्रकार यह समुच्चय <math>\mathbb{R}\cup\{\infty\}</math> है जहां संभव हो वहां मानक अंकगणितीय संक्रियाओं का विस्तार किया गया, <ref name=":0" /> और कभी-कभी इसके द्वारा <math>\mathbb{R}^*</math> या <math>\widehat{\mathbb{R}}</math> निरूपित किया जाता है। <ref name=":1">{{Cite web |last=Weisstein |first=Eric W. |title=प्रोजेक्टिवली विस्तारित वास्तविक संख्याएँ|url=https://mathworld.wolfram.com/ |access-date=2023-01-22 |website=mathworld.wolfram.com |language=en}}</ref> जोड़े गए बिंदु को अनंत पर बिंदु कहा जाता है, क्योंकि इसे वास्तविक रेखा के दोनों छोर (सांस्थिति) का प्रतिवैस माना जाता है। अधिक सटीक रूप से, अनंत पर बिंदु वास्तविक संख्याओं के प्रत्येक अनुक्रम की सीमा है जिनके निरपेक्ष मान बढ़ रहे हैं और असीमित हैं।


प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा को [[वास्तविक प्रक्षेप्य रेखा]] से पहचाना जा सकता है जिसमें तीन बिंदुओं {{math|0}}, {{math|1}} और {{math|∞}} को विशिष्ट मान दिए गए हैं। प्रोजेक्टिवली विस्तारित वास्तविक संख्या रेखा, एफ़िनली विस्तारित वास्तविक संख्या रेखा से भिन्न होती है, जिसमें {{math|+∞}} और {{math|−∞}} अलग हैं।
प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा को [[वास्तविक प्रक्षेप्य रेखा]] से पहचाना जा सकता है जिसमें तीन बिंदुओं {{math|0}}, {{math|1}} और {{math|∞}} को विशिष्ट मान दिए गए हैं। प्रक्षेपीयली विस्तारित वास्तविक संख्या रेखा, एफ़िनली विस्तारित वास्तविक संख्या रेखा से भिन्न होती है, जिसमें {{math|+∞}} और {{math|−∞}} अलग हैं।


== शून्य से विभाजित करना ==
== शून्य से विभाजित करना ==
Line 9: Line 7:
संख्याओं के अधिकांश गणितीय प्रतिरूप के विपरीत, यह संरचना [[शून्य से विभाजन]] की अनुमति देती है:
संख्याओं के अधिकांश गणितीय प्रतिरूप के विपरीत, यह संरचना [[शून्य से विभाजन]] की अनुमति देती है:
: <math>\frac{a}{0} = \infty</math>
: <math>\frac{a}{0} = \infty</math>
विशेष रूप से, {{math|1 / 0 {{=}} ∞}} और {{math|1 / ∞ {{=}} 0}}, गुणक व्युत्क्रम फलन बनाना (गणित) {{math|1 / ''x''}} इस संरचना में एक संपूर्ण कार्य है। <ref name=":0" /> हालाँकि, संरचना एक क्षेत्र (गणित) नहीं है, और कोई भी [[बाइनरी ऑपरेशन|द्विआधारी संक्रिया]] '''अंकगणितीय ऑपरेशन कुल नहीं है''' - उदाहरण के लिए, {{math|0 ⋅ ∞}} अपरिभाषित है, भले ही व्युत्क्रम कुल है।<ref name=":0" />हालाँकि, इसकी उपयोगी व्याख्याएँ हैं - उदाहरण के लिए, ज्यामिति में, एक ऊर्ध्वाधर रेखा का [[ढलान]] होता है {{math|∞}}.<ref name=":0" />
विशेष रूप से, {{math|1 / 0 {{=}} ∞}} और {{math|1 / ∞ {{=}} 0}}, गुणक व्युत्क्रम फलन बनाना (गणित) {{math|1 / ''x''}} इस संरचना में एक संपूर्ण कार्य है। <ref name=":0" /> हालाँकि, संरचना एक क्षेत्र (गणित) नहीं है, और कोई भी द्विआधारी अंकगणितीय संक्रिया पूर्ण नहीं है - उदाहरण के लिए, {{math|0 ⋅ ∞}} अपरिभाषित है, भले ही व्युत्क्रम कुल है। <ref name=":0" /> हालाँकि, इसकी उपयोगी व्याख्याएँ हैं - उदाहरण के लिए, ज्यामिति में, एक ऊर्ध्वाधर रेखा का [[ढलान]] {{math|∞}} होता है। <ref name=":0" />




== वास्तविक रेखा का विस्तार ==
== वास्तविक रेखा का विस्तार ==


प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा वास्तविक संख्याओं के क्षेत्र (गणित) को उसी तरह बढ़ाती है जैसे [[रीमैन क्षेत्र]] पारंपरिक रूप से कहे जाने वाले एक बिंदु को जोड़कर [[जटिल संख्या]]ओं के क्षेत्र का विस्तार करता है। {{math|∞}}.
प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा वास्तविक संख्याओं के क्षेत्र (गणित) को उसी तरह बढ़ाती है जैसे [[रीमैन क्षेत्र]] पारंपरिक रूप से कहे जाने वाले एक बिंदु को जोड़करसम्मिश्र संख्या के क्षेत्र {{math|∞}} का विस्तार करता है।


इसके विपरीत, एफ़िनली विस्तारित वास्तविक संख्या रेखा (जिसे वास्तविक रेखा का दो-बिंदु [[संघनन (गणित)]] भी कहा जाता है) के बीच अंतर करती है {{math|+∞}} और {{math|−∞}}.
इसके विपरीत, एफ़िनली विस्तारित वास्तविक संख्या रेखा {{math|+∞}} और {{math|−∞}} (जिसे वास्तविक रेखा का दो-बिंदु [[संघनन (गणित)]] भी कहा जाता है) के बीच अंतर करती है।


== आदेश ==
== आदेश ==


[[आदेश सिद्धांत]] संबंध को आगे नहीं बढ़ाया जा सकता <math>\widehat{\mathbb{R}}</math> सार्थक तरीके से. एक नंबर दिया गया {{math|''a'' ≠ ∞}}, परिभाषित करने के लिए कोई ठोस तर्क नहीं है {{math|''a'' > ∞}} या वो {{math|''a'' < ∞}}. तब से {{math|∞}} की तुलना किसी भी अन्य तत्व से नहीं की जा सकती, इस संबंध को बरकरार रखने का कोई मतलब नहीं है <math>\widehat{\mathbb{R}}</math>.<ref name=":1" />हालाँकि, ऑर्डर जारी रखें <math>\mathbb{R}</math> की परिभाषाओं में प्रयोग किया जाता है <math>\widehat{\mathbb{R}}</math>.
[[आदेश सिद्धांत]] संबंध को सार्थक तरीके <math>\widehat{\mathbb{R}}</math> से आगे नहीं बढ़ाया जा सकता। एक संख्या {{math|''a'' ≠ ∞}} दी गई है, {{math|''a'' > ∞}} या {{math|''a'' < ∞}} परिभाषित करने के लिए कोई ठोस तर्क नहीं है। तब से {{math|∞}} की तुलना किसी भी अन्य तत्व से नहीं की जा सकती, इस संबंध <math>\widehat{\mathbb{R}}</math>को प्रतिधारक रखने का कोई मतलब नहीं है। <ref name=":1" /> हालाँकि, <math>\mathbb{R}</math> पर अनुक्रम का उपयोग <math>\widehat{\mathbb{R}}</math> में परिभाषाओं में किया जाता है।


== ज्यामिति ==
== ज्यामिति ==


इस विचार के लिए मौलिक {{math|∞}} एक ऐसा बिंदु है जो किसी भी अन्य से अलग नहीं है, जिस तरह से वास्तविक प्रक्षेप्य रेखा एक [[सजातीय स्थान]] है, वास्तव में एक वृत्त के लिए [[ होम्योमॉर्फिक ]] है। उदाहरण के लिए 2 × 2 वास्तविक व्युत्क्रमणीय मैट्रिक्स [[मैट्रिक्स (गणित)]] के [[सामान्य रैखिक समूह]] पर एक [[सकर्मक क्रिया]] होती है। समूह क्रिया को मोबियस परिवर्तनों (जिसे रैखिक भिन्नात्मक परिवर्तन भी कहा जाता है) द्वारा व्यक्त किया जा सकता है, इस समझ के साथ कि जब रैखिक भिन्नात्मक परिवर्तन का हर होता है {{math|0}}, छवि है {{math|}}.
इस विचार के लिए मौलिक {{math|∞}} एक ऐसा बिंदु है जो किसी भी अन्य से अलग नहीं है, जिस तरह से वास्तविक प्रक्षेप्य रेखा एक [[सजातीय स्थान]] है, वास्तव में एक वृत्त के लिए[[ होम्योमॉर्फिक ]]है। उदाहरण के लिए 2 × 2 वास्तविक व्युत्क्रमणीय [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के [[सामान्य रैखिक समूह]] पर एक [[सकर्मक क्रिया]] होती है। समूह क्रिया को मोबियस परिवर्तनों (जिसे रैखिक भिन्नात्मक परिवर्तन भी कहा जाता है) द्वारा व्यक्त किया जा सकता है, इस समझ के साथ कि जब रैखिक भिन्नात्मक परिवर्तन का हर 0 है, तो छवि ∞ है।


क्रिया के विस्तृत विश्लेषण से पता चलता है कि किन्हीं तीन अलग-अलग बिंदुओं P, Q और R के लिए, P से 0, Q से 1 और R से लेकर एक रैखिक भिन्नात्मक परिवर्तन होता है। {{math|∞}} अर्थात्, रैखिक भिन्नात्मक परिवर्तनों का [[समूह (गणित)]] वास्तविक [[प्रक्षेप्य रेखा]] पर सकर्मक क्रिया है। इसे 4-टुपल अंकों तक नहीं बढ़ाया जा सकता, क्योंकि क्रॉस-अनुपात अपरिवर्तनीय है।
क्रिया के विस्तृत विश्लेषण से पता चलता है कि किन्हीं तीन अलग-अलग बिंदुओं P, Q और R के लिए, P से 0, Q से 1 और R से लेकर एक रैखिक भिन्नात्मक परिवर्तन होता है। {{math|∞}} अर्थात्, रैखिक भिन्नात्मक परिवर्तनों का [[समूह (गणित)]] वास्तविक [[प्रक्षेप्य रेखा]] पर सकर्मक क्रिया है। इसे 4-टुपल अंकों तक नहीं बढ़ाया जा सकता, क्योंकि वज्रानुपात अपरिवर्तनीय है।


शब्दावली प्रक्षेप्य रेखा उपयुक्त है, क्योंकि बिंदु एक-[[आयाम (वेक्टर स्थान)]] रैखिक उप-स्थानों के साथ 1-से-1 पत्राचार में हैं <math>\mathbb{R}^2</math>.
शब्दावली प्रक्षेप्य रेखा उपयुक्त है, क्योंकि बिंदु एक-[[आयाम (वेक्टर स्थान)|आयाम (सदिश स्थान)]] रैखिक उप-स्थानों के साथ 1-से-1 पत्राचार में <math>\mathbb{R}^2</math> हैं।


== अंकगणितीय परिचालन ==
== अंकगणितीय परिचालन ==
Line 36: Line 34:


=== अंकगणितीय परिचालन जो परिभाषित हैं ===
=== अंकगणितीय परिचालन जो परिभाषित हैं ===
उपसमुच्चय पर मानक संचालन के अतिरिक्त <math>\mathbb{R}</math> का <math>\widehat{\mathbb{R}}</math>, निम्नलिखित परिचालनों को परिभाषित किया गया है <math>a \in \widehat{\mathbb{R}}</math>, संकेतानुसार अपवादों के साथ:<ref>{{Cite book |last=Lee |first=Nam-Hoon |url=https://books.google.com/books?id=l3HgDwAAQBAJ&dq=%22Projectively+extended+real+line%22+-wikipedia&pg=PA255 |title=Geometry: from Isometries to Special Relativity |date=2020-04-28 |publisher=Springer Nature |isbn=978-3-030-42101-4 |language=en}}</ref><ref name=":1" />:<math>\begin{align}
उपसमुच्चय पर मानक संचालन के अतिरिक्त <math>\mathbb{R}</math> का <math>\widehat{\mathbb{R}}</math>, निम्नलिखित परिचालनों <math>a \in \widehat{\mathbb{R}}</math> को संकेतानुसार अपवादों के साथ परिभाषित किया गया है: <ref>{{Cite book |last=Lee |first=Nam-Hoon |url=https://books.google.com/books?id=l3HgDwAAQBAJ&dq=%22Projectively+extended+real+line%22+-wikipedia&pg=PA255 |title=Geometry: from Isometries to Special Relativity |date=2020-04-28 |publisher=Springer Nature |isbn=978-3-030-42101-4 |language=en}}</ref><ref name=":1" />:
 
<math>\begin{align}
a + \infty = \infty + a & = \infty, & a \neq \infty \\
a + \infty = \infty + a & = \infty, & a \neq \infty \\
a - \infty = \infty - a & = \infty, & a \neq \infty \\
a - \infty = \infty - a & = \infty, & a \neq \infty \\
Line 44: Line 44:
0 / a & = 0, & a \neq 0
0 / a & = 0, & a \neq 0
\end{align}</math>
\end{align}</math>




=== अंकगणितीय संक्रियाएं जो अपरिभाषित रह गई हैं ===
=== अंकगणितीय संक्रियाएं जो अपरिभाषित रह गई हैं ===
निम्नलिखित अभिव्यक्तियों को वास्तविक कार्यों की सीमाओं पर विचार करके प्रेरित नहीं किया जा सकता है, और उनकी कोई भी परिभाषा सभी परिभाषित मामलों के लिए मानक बीजगणितीय गुणों के बयान को अपरिवर्तित बनाए रखने की अनुमति नहीं देती है।{{efn|An extension does however exist in which all the algebraic properties, when restricted to defined operations in <math>\widehat{\mathbb{R}}</math>, resolve to the standard rules: see [[Wheel theory]].}} नतीजतन, वे अपरिभाषित रह गए हैं:
निम्नलिखित अभिव्यक्तियों को वास्तविक कार्यों की सीमाओं पर विचार करके प्रेरित नहीं किया जा सकता है, और उनकी कोई भी परिभाषा सभी परिभाषित स्तिथियों के लिए मानक बीजगणितीय गुणों के बयान को अपरिवर्तित बनाए रखने की अनुमति नहीं देती है। {{efn|An extension does however exist in which all the algebraic properties, when restricted to defined operations in <math>\widehat{\mathbb{R}}</math>, resolve to the standard rules: see [[Wheel theory]].}} नतीजतन, वे अपरिभाषित रह गए हैं:
:<math>\begin{align}
:<math>\begin{align}
& \infty + \infty \\
& \infty + \infty \\
Line 56: Line 57:
& 0 / 0
& 0 / 0
\end{align}</math>
\end{align}</math>
घातांकीय फलन <math>e^x</math> तक बढ़ाया नहीं जा सकता <math>\widehat{\mathbb{R}}</math>.<ref name=":1" />
घातांकीय फलन <math>e^x</math> <math>\widehat{\mathbb{R}}</math> तक बढ़ाया नहीं जा सकता। <ref name=":1" />




== बीजगणितीय गुण ==
== बीजगणितीय गुण ==
निम्नलिखित समानताओं का अर्थ है: या तो दोनों पक्ष अपरिभाषित हैं, या दोनों पक्ष परिभाषित और समान हैं। यह किसी के लिए भी सच है <math>a, b, c \in \widehat{\mathbb{R}}.</math>
निम्नलिखित समानताओं का अर्थ है: या तो दोनों पक्ष अपरिभाषित हैं, या दोनों पक्ष परिभाषित और समान हैं। यह किसी <math>a, b, c \in \widehat{\mathbb{R}}</math> के लिए भी सच है
:<math>\begin{align}
:<math>\begin{align}
(a + b) + c & = a + (b + c) \\
(a + b) + c & = a + (b + c) \\
Line 68: Line 69:
a \cdot \infty & = \frac{a}{0} \\
a \cdot \infty & = \frac{a}{0} \\
\end{align}</math>
\end{align}</math>
जब भी किसी के लिए दाहिना पक्ष परिभाषित किया जाता है, तो निम्नलिखित सत्य होता है <math>a, b, c \in \widehat{\mathbb{R}}.</math>
जब भी किसी के लिए दाहिना पक्ष परिभाषित किया जाता है, तो निम्नलिखित <math>a, b, c \in \widehat{\mathbb{R}}</math> सत्य होता है
:<math>
:<math>
\begin{align}
\begin{align}
Line 76: Line 77:
\end{align}
\end{align}
</math>
</math>
सामान्यतः अंकगणित के सभी नियम मान्य होते हैं <math>\mathbb{R}</math> के लिए भी मान्य हैं <math>\widehat{\mathbb{R}}</math> जब भी सभी घटित होने वाले भाव परिभाषित होते हैं।
सामान्यतः अंकगणित के सभी नियम जो <math>\mathbb{R}</math> के लिए मान्य हैं, <math>\widehat{\mathbb{R}}</math> के लिए भी मान्य हैं, जब भी सभी घटित होने वाले भाव परिभाषित होते हैं।


== अंतराल और सांस्थिति ==
== अंतराल और सांस्थिति ==
एक [[अंतराल (गणित)]] की अवधारणा को बढ़ाया जा सकता है <math>\widehat{\mathbb{R}}</math>. हालाँकि, चूँकि यह एक क्रमबद्ध सम्मुच्चय नहीं है, इसलिए अंतराल का थोड़ा अलग अर्थ है। बंद अंतरालों की परिभाषाएँ इस प्रकार हैं (ऐसा माना जाता है
एक [[अंतराल (गणित)]] की अवधारणा <math>\widehat{\mathbb{R}}</math> को बढ़ाया जा सकता है हालाँकि, चूँकि यह एक क्रमबद्ध सम्मुच्चय नहीं है, इसलिए अंतराल का थोड़ा अलग अर्थ है। बंद अंतरालों की परिभाषाएँ इस प्रकार हैं (ऐसा माना जाता है
  <math>a, b \in \mathbb{R}, a < b</math>):<ref name=":1" />{{Additional citations needed|date=January 2023}}
  <math>a, b \in \mathbb{R}, a < b</math>):<ref name=":1" />


: <math>\begin{align}
: <math>\begin{align}
Line 90: Line 91:
\left[\infty, \infty\right] & = \lbrace \infty \rbrace  
\left[\infty, \infty\right] & = \lbrace \infty \rbrace  
\end{align}</math>
\end{align}</math>
अपवाद के साथ जब अंत-बिंदु समान होते हैं, संबंधित खुले और आधे-खुले अंतराल को संबंधित समापन बिंदुओं को हटाकर परिभाषित किया जाता है। 0 वाले अंतराल से विभाजित करते समय यह पुनर्परिभाषा [[अंतराल अंकगणित]] में उपयोगी होती है।<ref name=":1" />
अपवाद के साथ जब अंत-बिंदु समान होते हैं, संबंधित विवृत और अर्ध-विवृत अंतराल को संबंधित समापन बिंदुओं को हटाकर परिभाषित किया जाता है। 0 वाले अंतराल से विभाजित करते समय यह पुनर्परिभाषा [[अंतराल अंकगणित]] में उपयोगी होती है।<ref name=":1" />
 
<math>\widehat{\mathbb{R}}</math> और [[खाली सेट|रिक्त सम्मुच्चय]] भी अंतराल हैं, जैसा कि <math>\widehat{\mathbb{R}}</math> किसी भी एक बिंदु को छोड़कर है। {{efn|If consistency of complementation is required, such that <math>[a,b]^\complement = (b,a)</math> and <math>(a,b]^\complement = (b,a]</math> for all <math>a, b \in \widehat{\mathbb{R}}</math> (where the interval on either side is defined), all intervals excluding <math>\varnothing</math> and <math>\widehat{\mathbb{R}}</math> may be naturally represented using this notation, with <math>(a,a)</math> being interpreted as <math>\widehat{\mathbb{R}}\setminus \{ a \}</math>, and half-open intervals with equal endpoints, e.g. <math>(a,a]</math>, remaining undefined.}}
 
[[आधार (टोपोलॉजी)|आधार (सांस्थिति)]] के रूप में विवृत अंतराल एक [[टोपोलॉजिकल स्पेस|सांस्थितिक समष्टि]] <math>\widehat{\mathbb{R}}</math> को परिभाषित करते हैं। आधार <math>\mathbb{R}</math> के लिए [[परिबद्ध अंतराल]] विवृत अंतराल पर्याप्त और अंतराल <math>(b, a) = \{x \mid x \in \mathbb{R}, b < x\} \cup \{\infty\} \cup \{x \mid x \in \mathbb{R}, x < a\}</math> हैं सभी <math>a, b \in \mathbb{R}</math>के लिए इस प्रकार हैं कि <math>a < b</math> है।


<math>\widehat{\mathbb{R}}</math> और [[खाली सेट|खाली सम्मुच्चय]] भी अंतराल हैं, जैसा कि है <math>\widehat{\mathbb{R}}</math> किसी भी एक बिंदु को छोड़कर.{{efn|If consistency of complementation is required, such that <math>[a,b]^\complement = (b,a)</math> and <math>(a,b]^\complement = (b,a]</math> for all <math>a, b \in \widehat{\mathbb{R}}</math> (where the interval on either side is defined), all intervals excluding <math>\varnothing</math> and <math>\widehat{\mathbb{R}}</math> may be naturally represented using this notation, with <math>(a,a)</math> being interpreted as <math>\widehat{\mathbb{R}}\setminus \{ a \}</math>, and half-open intervals with equal endpoints, e.g. <math>(a,a]</math>, remaining undefined.}}
जैसा कि कहा गया है, सांस्थिति एक वृत्त के लिए समरूपी है। इस प्रकार यह इस वृत्त पर सामान्य [[मीट्रिक (गणित)|मापीय (गणित)]] (या तो सीधे या वृत्त के साथ मापा जाता है) के अनुरूप (किसी दिए गए समरूपता के लिए) [[मेट्रिज़ेबल]] है। ऐसी कोई मीट्रिक नहीं है जो सामान्य मीट्रिक <math>\mathbb{R}</math> का विस्तार होता है।


[[आधार (टोपोलॉजी)|आधार (सांस्थिति)]] के रूप में खुले अंतराल एक [[टोपोलॉजिकल स्पेस]] को परिभाषित करते हैं <math>\widehat{\mathbb{R}}</math>. आधार के लिए [[परिबद्ध अंतराल]] खुले अंतराल पर्याप्त हैं <math>\mathbb{R}</math> और अंतराल <math>(b, a) = \{x \mid x \in \mathbb{R}, b < x\} \cup \{\infty\} \cup \{x \mid x \in \mathbb{R}, x < a\}</math> सभी के लिए <math>a, b \in \mathbb{R}</math> ऐसा है कि <math>a < b.</math>
जैसा कि कहा गया है, सांस्थिति एक वृत्त के लिए समरूपी है। इस प्रकार यह इस वृत्त पर सामान्य [[मीट्रिक (गणित)]] (या तो सीधे या वृत्त के साथ मापा जाता है) के अनुरूप (किसी दिए गए होमोमोर्फिज़्म के लिए) [[मेट्रिज़ेबल]] है। ऐसी कोई मीट्रिक नहीं है जो सामान्य मीट्रिक का विस्तार हो <math>\mathbb{R}.</math>




==अंतराल अंकगणित ==
==अंतराल अंकगणित ==
अंतराल अंकगणित का विस्तार होता है <math>\widehat{\mathbb{R}}</math> से <math>\mathbb{R}</math>. अंतराल पर एक अंकगणितीय ऑपरेशन का परिणाम हमेशा एक अंतराल होता है, सिवाय इसके कि जब बाइनरी ऑपरेशन वाले अंतराल में असंगत मान होते हैं जो एक अपरिभाषित परिणाम की ओर ले जाते हैं।{{efn|For example, the ratio of intervals <math>[0,1]/[0,1]</math> contains {{math|0}} in both intervals, and since {{math|0 / 0}} is undefined, the result of division of these intervals is undefined.}} विशेष रूप से, हमारे पास प्रत्येक के लिए है <math>a, b \in \widehat{\mathbb{R}}</math>:
अंतराल अंकगणित का विस्तार <math>\widehat{\mathbb{R}}</math> से <math>\mathbb{R}</math> होता है। अंतराल पर एक अंकगणितीय संक्रिया का परिणाम हमेशा एक अंतराल होता है, अतिरिक्त इसके कि जब द्विआधारी संक्रिया वाले अंतराल में असंगत मान होते हैं जो एक अपरिभाषित परिणाम की ओर ले जाते हैं। {{efn|For example, the ratio of intervals <math>[0,1]/[0,1]</math> contains {{math|0}} in both intervals, and since {{math|0 / 0}} is undefined, the result of division of these intervals is undefined.}} विशेष रूप से, हमारे पास प्रत्येक के लिए <math>a, b \in \widehat{\mathbb{R}}</math> है:
:<math>x \in [a, b] \iff \frac{1}{x} \in \left[ \frac{1}{b}, \frac{1}{a} \right] \!,</math>
:<math>x \in [a, b] \iff \frac{1}{x} \in \left[ \frac{1}{b}, \frac{1}{a} \right] \!,</math>
चाहे कोई भी अंतराल शामिल हो {{math|0}} और {{math|∞}}.
चाहे कोई भी अंतराल {{math|0}} और {{math|∞}} सम्मिलित हो।


== कलन ==
== कलन ==
[[ गणना ]] के उपकरणों का उपयोग कार्यों का विश्लेषण करने के लिए किया जा सकता है <math>\widehat{\mathbb{R}}</math>. परिभाषाएँ इस स्थान की सांस्थिति से प्रेरित हैं।
[[ गणना ]]के उपकरणों का उपयोग कार्य <math>\widehat{\mathbb{R}}</math> का विश्लेषण करने के लिए किया जा सकता है। परिभाषाएँ इस स्थान की सांस्थिति से प्रेरित हैं।


=== पड़ोस ===
=== प्रतिवैस ===
होने देना <math>x \in \widehat{\mathbb{R}}</math> और <math>A \subseteq \widehat{\mathbb{R}}</math>.
मान लीजिये <math>x \in \widehat{\mathbb{R}}</math> और <math>A \subseteq \widehat{\mathbb{R}}</math> है।
* {{mvar|A}} का [[पड़ोस (गणित)]] है {{math|''x''}}, अगर {{math|''A''}} में एक खुला अंतराल होता है {{math|''B''}} उसमें सम्मिलित है {{mvar|x}}.
* {{mvar|A}} का [[पड़ोस (गणित)|प्रतिवैस (गणित)]] {{math|''x''}} है, यदि {{math|''A''}} में एक विवृत अंतराल {{math|''B''}} होता है उसमें {{mvar|x}} सम्मिलित है।
* {{mvar|A}} दाहिनी ओर का पड़ोस है {{mvar|x}}, यदि कोई वास्तविक संख्या है {{mvar|y}} ऐसा है कि <math>y \neq x </math> और {{mvar|A}} अर्ध-खुला अंतराल शामिल है <math>[x, y)</math>.
* {{mvar|A}} दाहिनी ओर {{mvar|x}} का प्रतिवैस है, यदि कोई वास्तविक संख्या {{mvar|y}} इस प्रकार है कि <math>y \neq x </math> है और {{mvar|A}} अर्ध-विवृत अंतराल <math>[x, y)</math> सम्मिलित है।
* {{mvar|A}} बायीं ओर का पड़ोस है {{mvar|x}}, यदि कोई वास्तविक संख्या है {{mvar|y}} ऐसा है कि <math>y \neq x </math> और {{mvar|A}} अर्ध-खुला अंतराल शामिल है <math>(y, x]</math>.
* {{mvar|A}} बायीं ओर का प्रतिवैस है {{mvar|x}}, यदि कोई वास्तविक संख्या {{mvar|y}} इस प्रकार है कि <math>y \neq x </math> है और {{mvar|A}} अर्ध-विवृत अंतराल <math>(y, x]</math> सम्मिलित है।
* {{mvar|A}} एक [[पंचर पड़ोस]] है (सम्मानतः दाएं तरफा या बाएं तरफा पंचर पड़ोस) {{mvar|x}}, अगर <math>x\not\in A,</math> और <math>A\cup\{x\}</math> का एक पड़ोस (सम्मानतः दाहिनी ओर या बाईं ओर का पड़ोस) है {{mvar|x}}.
* {{mvar|A}} एक [[पंचर पड़ोस|वेधित प्रतिवैस]] {{mvar|x}} है (सम्मानतः दाएं तरफा या बाएं तरफा वेधित प्रतिवैस), यदि <math>x\not\in A,</math> और <math>A\cup\{x\}</math> का एक प्रतिवैस (सम्मानतः दाहिनी ओर या बाईं ओर का प्रतिवैस) {{mvar|x}} है।


=== सीमाएं ===
=== सीमाएं ===


==== सीमाओं की मूल परिभाषाएँ ====
==== सीमाओं की मूल परिभाषाएँ ====
होने देना <math>f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}},</math> <math>p \in \widehat{\mathbb{R}},</math> और <math>L \in \widehat{\mathbb{R}}</math>.
मान लीजिये <math>f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}},</math> <math>p \in \widehat{\mathbb{R}},</math> और <math>L \in \widehat{\mathbb{R}}</math> है।


f&hairsp;(x) के एक फ़ंक्शन की सीमा {{math|''x''}} दृष्टिकोण p, L है, जिसे दर्शाया गया है
f&hairsp;(x) के एक फलन की सीमा {{math|''x''}} दृष्टिकोण p, L है, जिसे निम्न रूप से दर्शाया गया है
: <math>\lim_{x \to p}{f(x)} = L</math>
: <math>\lim_{x \to p}{f(x)} = L</math>
यदि और केवल यदि L के प्रत्येक पड़ोस A के लिए, p का एक छिद्रित पड़ोस B है, जैसे कि <math>x \in B</math> तात्पर्य <math>f(x) \in A</math>.
यदि और केवल यदि L के प्रत्येक प्रतिवैस A के लिए, p का एक छिद्रित प्रतिवैस B है, जैसे कि <math>x \in B</math> तात्पर्य <math>f(x) \in A</math> है।


जैसे-जैसे x दाएँ (बाएँ) से p की ओर बढ़ता है, f&hairsp;(x) की [[एकतरफ़ा सीमा]] L होती है, जिसे दर्शाया जाता है
जैसे-जैसे x दाएँ (बाएँ) से p की ओर बढ़ता है, f&hairsp;(x) की [[एकतरफ़ा सीमा]] L होती है, जिसे निम्न रूप से दर्शाया जाता है
: <math>\lim_{x \to p^{+}}{f(x)} = L \qquad \left( \lim_{x \to p^{-}}{f(x)} = L \right),</math>
: <math>\lim_{x \to p^{+}}{f(x)} = L \qquad \left( \lim_{x \to p^{-}}{f(x)} = L \right),</math>
यदि और केवल यदि एल के प्रत्येक पड़ोस ए के लिए, पी का दाहिनी ओर (बाएं तरफ) छिद्रित पड़ोस बी है, जैसे कि <math>x \in B</math> तात्पर्य <math>f(x) \in A.</math>
यदि और केवल यदि एल के प्रत्येक प्रतिवैस ए के लिए, पी का दाहिनी ओर (बाएं तरफ) छिद्रित प्रतिवैस बी है, जैसे कि <math>x \in B</math> तात्पर्य <math>f(x) \in A</math> है।
ऐसा दिखाया जा सकता है <math>\lim_{x \to p}{f(x)} = L</math> यदि और केवल यदि दोनों <math>\lim_{x \to p^+}{f(x)} = L</math> और <math>\lim_{x \to p^-}{f(x)} = L</math>.
 
ऐसा दिखाया जा सकता है <math>\lim_{x \to p}{f(x)} = L</math> यदि और केवल यदि दोनों <math>\lim_{x \to p^+}{f(x)} = L</math> और <math>\lim_{x \to p^-}{f(x)} = L</math> है।


==== सीमाओं के साथ तुलना <math>\mathbb{R}</math> ====
==== <math>\mathbb{R}</math> में सीमाओं के साथ तुलना ====
ऊपर दी गई परिभाषाओं की तुलना वास्तविक कार्यों की सीमाओं की सामान्य परिभाषाओं से की जा सकती है। निम्नलिखित कथनों में, <math>p, L \in \mathbb{R},</math> पहली सीमा ऊपर परिभाषित के अनुसार है, और दूसरी सीमा सामान्य अर्थ में है:
ऊपर दी गई परिभाषाओं की तुलना वास्तविक कार्यों की सीमाओं की सामान्य परिभाषाओं से की जा सकती है। निम्नलिखित कथनों में, <math>p, L \in \mathbb{R},</math> पहली सीमा ऊपर परिभाषित के अनुसार है, और दूसरी सीमा सामान्य अर्थ में है:
* <math>\lim_{x \to p}{f(x)} = L</math> के बराबर है <math>\lim_{x \to p}{f(x)} = L</math>
* <math>\lim_{x \to p}{f(x)} = L</math> के बराबर है <math>\lim_{x \to p}{f(x)} = L</math>
Line 138: Line 142:


==== सीमाओं की विस्तारित परिभाषा ====
==== सीमाओं की विस्तारित परिभाषा ====
होने देना <math>A \subseteq \widehat{\mathbb{R}}</math>. तब p, A का एक [[सीमा बिंदु]] है यदि और केवल यदि p के प्रत्येक पड़ोस में एक बिंदु शामिल है <math>y \in A</math> ऐसा है कि <math>y \neq p.</math>
मान लीजिये <math>A \subseteq \widehat{\mathbb{R}}</math> है। तब p, A का एक [[सीमा बिंदु]] है यदि और केवल यदि p के प्रत्येक प्रतिवैस में एक बिंदु <math>y \in A</math> इस प्रकार सम्मिलित है कि <math>y \neq p</math> है।
होने देना <math>f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}}, A \subseteq \widehat{\mathbb{R}}, L \in \widehat{\mathbb{R}}, p \in \widehat{\mathbb{R}}</math>, p A का एक सीमा बिंदु। जैसे-जैसे x, A से होकर p तक पहुंचता है, f&hairsp;(x) की सीमा L होती है, यदि और केवल यदि L के प्रत्येक पड़ोस B के लिए, p का एक छिद्रित पड़ोस C है, जैसे कि <math>x \in A \cap C</math> तात्पर्य <math>f(x) \in B.</math>
 
यह नियमित [[निरंतरता (टोपोलॉजी)|निरंतरता (सांस्थिति)]] से मेल खाती है, जो [[सबस्पेस टोपोलॉजी|सबस्पेस सांस्थिति]] पर लागू होती है <math>A\cup \lbrace p \rbrace,</math> और f का [[प्रतिबंध (गणित)]]। <math>A \cup \lbrace p \rbrace.</math>
मान लीजिये <math>f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}}, A \subseteq \widehat{\mathbb{R}}, L \in \widehat{\mathbb{R}}, p \in \widehat{\mathbb{R}}</math>, p A का एक सीमा बिंदु है। जैसे-जैसे x, A से होकर p तक पहुंचता है, f&hairsp;(x) की सीमा L होती है, यदि और केवल यदि L के प्रत्येक प्रतिवैस B के लिए, p का एक छिद्रित प्रतिवैस C है, जैसे कि <math>x \in A \cap C</math> तात्पर्य <math>f(x) \in B</math> है।
 
यह नियमित [[निरंतरता (टोपोलॉजी)|निरंतरता (सांस्थिति)]] से मेल खाती है, जो [[सबस्पेस टोपोलॉजी|उपसमष्‍टि सांस्थिति]] <math>A\cup \lbrace p \rbrace</math> पर लागू होती है और f से <math>A \cup \lbrace p \rbrace</math> का प्रतिबंध है।
 




=== निरंतरता ===
=== निरंतरता ===


कार्यक्रम
फलन
: <math>f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}},\quad p \in \widehat{\mathbb{R}}.</math>
: <math>f : \widehat{\mathbb{R}} \to \widehat{\mathbb{R}},\quad p \in \widehat{\mathbb{R}}.</math>
पर [[सतत कार्य]] है {{math|''p''}} अगर और केवल अगर {{math|''f''}} को परिभाषित किया गया है {{math|''p''}} और
पर [[सतत कार्य]] {{math|''p''}} है यदि और केवल यदि {{math|''f''}} को {{math|''p''}} पर परिभाषित किया गया है और
: <math>\lim_{x \to p}{f(x)} = f(p).</math>
: <math>\lim_{x \to p}{f(x)} = f(p).</math>
अगर <math>A \subseteq \widehat\mathbb R,</math> कार्यक्रम
यदि <math>A \subseteq \widehat\mathbb R,</math> फलन
: <math>f : A \to \widehat{\mathbb{R}}</math>
: <math>f : A \to \widehat{\mathbb{R}}</math>
में निरंतर है {{math|''A''}} यदि और केवल यदि, प्रत्येक के लिए <math>p \in A</math>, {{math|''f''}} को परिभाषित किया गया है {{math|''p''}} और की सीमा <math>f(x)</math> जैसा {{math|''x''}} आदत है {{math|''p''}} द्वारा {{math|''A''}} है <math>f(p).</math>
में निरंतर है {{math|''A''}} यदि और केवल यदि, प्रत्येक <math>p \in A</math> के लिए {{math|''f''}} को {{math|''p''}} पर परिभाषित किया गया है और जब {{math|''x''}}, {{math|''A''}} से होकर {{math|''p''}} की ओर बढ़ता है तो <math>f(x)</math> की सीमा <math>f(p)</math> होती है।   
प्रत्येक [[तर्कसंगत कार्य]] {{math|''P''(''x'')/''Q''(''x'')}}, कहाँ {{math|''P''}} और {{math|''Q''}} [[बहुपद]] हैं, इन्हें एक अनूठे तरीके से, एक फलन तक बढ़ाया जा सकता है <math>\widehat{\mathbb{R}}</math> को <math>\widehat{\mathbb{R}}</math> वह निरंतर है <math>\widehat{\mathbb{R}}.</math> विशेष रूप से, यह बहुपद फलनों का मामला है, जो मान लेते हैं <math>\infty</math> पर <math>\infty,</math> यदि वे स्थिर कार्य नहीं हैं।


इसके अलावा, यदि स्पर्शरेखा फ़ंक्शन कार्य करती है <math>\tan</math> इतना बढ़ाया गया है
प्रत्येक [[तर्कसंगत कार्य]] {{math|''P''(''x'')/''Q''(''x'')}}, जहाँ {{math|''P''}} और {{math|''Q''}} [[बहुपद]] हैं, इन्हें एक अनूठे तरीके से, एक फलन <math>\widehat{\mathbb{R}}</math> को <math>\widehat{\mathbb{R}}</math> तक बढ़ाया जा सकता है, जो कि निरंतर <math>\widehat{\mathbb{R}}</math> है।  विशेष रूप से, यह बहुपद फलनों की स्तिथि है, जो <math>\infty</math> पर <math>\infty</math> मान लेते हैं यदि वे स्थिर कार्य नहीं हैं।
 
इसके अतिरिक्त, यदि स्पर्शरेखा फलन <math>\tan</math> को इस प्रकार बढ़ाया जाए
: <math>\tan\left(\frac{\pi}{2} + n\pi\right) = \infty\text{ for }n \in \mathbb{Z},</math>
: <math>\tan\left(\frac{\pi}{2} + n\pi\right) = \infty\text{ for }n \in \mathbb{Z},</math>
तब <math>\tan</math> में निरंतर है <math>\mathbb{R},</math> लेकिन किसी ऐसे फ़ंक्शन को आगे नहीं बढ़ाया जा सकता जो निरंतर है <math>\widehat{\mathbb{R}}.</math>
तब <math>\tan</math> में निरंतर <math>\mathbb{R}</math> है लेकिन किसी ऐसे फलन को आगे नहीं बढ़ाया जा सकता जो निरंतर <math>\widehat{\mathbb{R}}</math> है।
कई [[प्राथमिक कार्य]] जो निरंतर होते रहते हैं <math>\mathbb R</math> उन कार्यों को लंबे समय तक नहीं बढ़ाया जा सकता जो निरंतर चल रहे हैं <math>\widehat\mathbb{R}.</math> यह मामला है, उदाहरण के लिए, घातीय फलन और सभी त्रिकोणमितीय फलन का। उदाहरण के लिए, [[ उन लोगों के ]] फ़ंक्शन निरंतर है <math>\mathbb{R},</math> लेकिन इसे निरंतर नहीं बनाया जा सकता <math>\infty.</math> जैसा कि ऊपर देखा गया है, स्पर्शरेखा फ़ंक्शन को उस फ़ंक्शन तक बढ़ाया जा सकता है जो निरंतर है <math>\mathbb{R},</math> लेकिन इस फ़ंक्शन को निरंतर नहीं बनाया जा सकता है <math>\infty.</math>
 
कई असंतत कार्य जो [[कोडोमेन]] के विस्तारित होने पर निरंतर हो जाते हैं <math>\widehat{\mathbb{R}}</math> यदि कोडोमेन को एफ़िनली विस्तारित वास्तविक संख्या प्रणाली तक बढ़ाया जाता है तो यह असंतत रहता है <math>\overline{\mathbb{R}}.</math> ये है फंक्शन का मामला <math>x\mapsto \frac 1x.</math> दूसरी ओर, कुछ कार्य जो निरंतर होते रहते हैं <math>\mathbb R</math> और पर असंतत <math>\infty \in \widehat{\mathbb{R}}</math> यदि [[किसी फ़ंक्शन का डोमेन]] बढ़ाया जाता है तो यह निरंतर हो जाता है <math>\overline{\mathbb{R}}.</math> यह [[आर्कटिक स्पर्शरेखा]] का मामला है।
कई [[प्राथमिक कार्य]] जो निरंतर <math>\mathbb R</math> होते रहते हैं उन कार्यों को लंबे समय तक नहीं बढ़ाया जा सकता जो निरंतर <math>\widehat\mathbb{R}</math> चल रहे हैं। यह स्तिथि, उदाहरण के लिए, घातीय फलन और सभी त्रिकोणमितीय फलन की है। उदाहरण के लिए, [[ उन लोगों के |ज्या]] फलन निरंतर <math>\mathbb{R}</math> है  लेकिन इसे निरंतर <math>\infty</math> नहीं बनाया जा सकता है। जैसा कि ऊपर देखा गया है, स्पर्शरेखा फलन को उस फलन तक बढ़ाया जा सकता है जो निरंतर <math>\mathbb{R}</math> है लेकिन इस फलन को निरंतर <math>\infty</math> नहीं बनाया जा सकता है।
 
कई असंतत कार्य जो [[कोडोमेन]] के विस्तारित होने पर निरंतर हो जाते हैं <math>\widehat{\mathbb{R}}</math> यदि कोडोमेन को स्वजन विस्तारित वास्तविक संख्या प्रणाली तक बढ़ाया जाता है तो यह असंतत <math>\overline{\mathbb{R}}</math> रहता है  ये फलन की स्तिथि <math>x\mapsto \frac 1x</math> है।
 
दूसरी ओर, कुछ कार्य <math>\mathbb R</math> जो निरंतर होते रहते हैं और <math>\infty \in \widehat{\mathbb{R}}</math> पर असंतत है  यदि किसी फलन का कार्यछेत्र बढ़ाया जाता है तो यह निरंतर <math>\overline{\mathbb{R}}</math> हो जाता है यह [[आर्कटिक स्पर्शरेखा|अरक्तांगेंट]] की स्तिथि है।


== एक प्रक्षेप्य सीमा के रूप में ==
== एक प्रक्षेप्य सीमा के रूप में ==
{{Main|Projective range}}
{{Main|प्रक्षेपीय श्रेणी}}
जब वास्तविक प्रक्षेप्य रेखा को [[वास्तविक प्रक्षेप्य तल]] के संदर्भ में माना जाता है, तो डेसार्गेस प्रमेय के परिणाम अंतर्निहित होते हैं। विशेष रूप से, बिंदुओं के बीच [[प्रक्षेप्य हार्मोनिक संयुग्म]] संबंध का निर्माण वास्तविक प्रक्षेप्य रेखा की संरचना का हिस्सा है। उदाहरण के लिए, किसी भी बिंदु के जोड़े को देखते हुए, अनंत पर बिंदु उनके [[मध्य]] बिंदु का प्रक्षेप्य हार्मोनिक संयुग्म है।


चूंकि [[ प्रक्षेप्यता ]] हार्मोनिक संबंध को संरक्षित करती है, वे वास्तविक प्रोजेक्टिव लाइन की [[ स्वचालितता ]] बनाते हैं। प्रोजेक्टिविटी को बीजगणितीय रूप से [[होमोग्राफी]] के रूप में वर्णित किया गया है, क्योंकि वास्तविक संख्याएं एक रिंग (गणित) बनाती हैं, एक रिंग के ऊपर एक प्रोजेक्टिव लाइन के सामान्य निर्माण के अनुसार। सामूहिक रूप से वे समूह PGL(2,R)|PGL(2,R) बनाते हैं।
जब वास्तविक प्रक्षेप्य रेखा को [[वास्तविक प्रक्षेप्य तल]] के संदर्भ में माना जाता है, तो डेसार्गेस प्रमेय के परिणाम अंतर्निहित होते हैं। विशेष रूप से, बिंदुओं के बीच [[प्रक्षेप्य हार्मोनिक संयुग्म|प्रक्षेप्य सुसंगत संयुग्म]] संबंध का निर्माण वास्तविक प्रक्षेप्य रेखा की संरचना का हिस्सा है। उदाहरण के लिए, किसी भी बिंदु के जोड़े को देखते हुए, अनंत पर बिंदु उनके [[मध्य]] बिंदु का प्रक्षेप्य सुसंगत संयुग्म है।


जो प्रोजेक्टिविटी अपने स्वयं के व्युत्क्रम होते हैं उन्हें इनवोल्यूशन (गणित) #प्रोजेक्टिव ज्योमेट्री कहा जाता है। एक अतिशयोक्तिपूर्ण इन्वोल्यूशन में दो [[निश्चित बिंदु (गणित)]] होते हैं। इनमें से दो वास्तविक प्रक्षेप्य रेखा पर प्राथमिक, अंकगणितीय संक्रियाओं के अनुरूप हैं: योगात्मक व्युत्क्रम और गुणक व्युत्क्रम। दरअसल, 0 और ∞ निषेध के तहत तय होते हैं, जबकि 1 और −1 व्युत्क्रम के तहत तय होते हैं।
चूंकि [[ प्रक्षेप्यता |प्रक्षेप्यता]] सुसंगत संबंध को संरक्षित करती है, वे वास्तविक प्रक्षेपीय रेखा की [[ स्वचालितता |स्वचालितता]] बनाते हैं। प्रोजेक्टिविटीज़ को बीजगणितीय रूप से [[होमोग्राफी]] के रूप में वर्णित किया गया है, क्योंकि वास्तविक संख्याएं एक वलय (गणित) बनाती हैं, एक वलय के ऊपर एक प्रक्षेपीय रेखा के सामान्य निर्माण के अनुसार है। सामूहिक रूप से वे समूह पीजीएल(2,आर) बनाते हैं।
 
जो प्रक्षेपीयिटी अपने स्वयं के व्युत्क्रम होते हैं उन्हें प्रत्यावर्तन (गणित) कहा जाता है। एक अतिशयोक्तिपूर्ण प्रत्यावर्तन में दो [[निश्चित बिंदु (गणित)]] होते हैं। इनमें से दो वास्तविक प्रक्षेप्य रेखा पर प्राथमिक, अंकगणितीय संक्रियाओं के अनुरूप हैं: योगात्मक व्युत्क्रम और गुणक व्युत्क्रम। वास्तव में, 0 और ∞ निषेध के अंतर्गत निश्चित होते हैं, जबकि 1 और −1 व्युत्क्रम के अंतर्गत निश्चित होते हैं।


== यह भी देखें ==
== यह भी देखें ==
Line 179: Line 192:
== संदर्भ ==
== संदर्भ ==
{{Reflist}}
{{Reflist}}
[[Category: वास्तविक विश्लेषण]] [[Category: टोपोलॉजिकल रिक्त स्थान]] [[Category: प्रक्षेप्य ज्यामिति]] [[Category: अनंतता]]


[[Category: Machine Translated Page]]
[[Category:All articles needing additional references]]
[[Category:Articles needing additional references from January 2023]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with invalid date parameter in template]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 04/07/2023]]
[[Category:Created On 04/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:अनंतता]]
[[Category:टोपोलॉजिकल रिक्त स्थान]]
[[Category:प्रक्षेप्य ज्यामिति]]
[[Category:वास्तविक विश्लेषण]]

Latest revision as of 17:04, 7 November 2023

प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा को अनंत पर एक अतिरिक्त बिंदु के साथ एक वृत्त के चारों ओर लिपटी वास्तविक संख्या रेखा के रूप में देखा जा सकता है (त्रिविम प्रक्षेपण के कुछ रूप द्वारा)।

वास्तविक विश्लेषण में, प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा (जिसे वास्तविक रेखा का एक-बिंदु संघनन भी कहा जाता है), वास्तविक संख्या के सम्मुच्चय (गणित) का विस्तार एक बिंदु द्वारा दर्शाया गया है। [1] इस प्रकार यह समुच्चय है जहां संभव हो वहां मानक अंकगणितीय संक्रियाओं का विस्तार किया गया, [1] और कभी-कभी इसके द्वारा या निरूपित किया जाता है। [2] जोड़े गए बिंदु को अनंत पर बिंदु कहा जाता है, क्योंकि इसे वास्तविक रेखा के दोनों छोर (सांस्थिति) का प्रतिवैस माना जाता है। अधिक सटीक रूप से, अनंत पर बिंदु वास्तविक संख्याओं के प्रत्येक अनुक्रम की सीमा है जिनके निरपेक्ष मान बढ़ रहे हैं और असीमित हैं।

प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा को वास्तविक प्रक्षेप्य रेखा से पहचाना जा सकता है जिसमें तीन बिंदुओं 0, 1 और को विशिष्ट मान दिए गए हैं। प्रक्षेपीयली विस्तारित वास्तविक संख्या रेखा, एफ़िनली विस्तारित वास्तविक संख्या रेखा से भिन्न होती है, जिसमें +∞ और −∞ अलग हैं।

शून्य से विभाजित करना

संख्याओं के अधिकांश गणितीय प्रतिरूप के विपरीत, यह संरचना शून्य से विभाजन की अनुमति देती है:

विशेष रूप से, 1 / 0 = ∞ और 1 / ∞ = 0, गुणक व्युत्क्रम फलन बनाना (गणित) 1 / x इस संरचना में एक संपूर्ण कार्य है। [1] हालाँकि, संरचना एक क्षेत्र (गणित) नहीं है, और कोई भी द्विआधारी अंकगणितीय संक्रिया पूर्ण नहीं है - उदाहरण के लिए, 0 ⋅ ∞ अपरिभाषित है, भले ही व्युत्क्रम कुल है। [1] हालाँकि, इसकी उपयोगी व्याख्याएँ हैं - उदाहरण के लिए, ज्यामिति में, एक ऊर्ध्वाधर रेखा का ढलान होता है। [1]


वास्तविक रेखा का विस्तार

प्रक्षेप्य रूप से विस्तारित वास्तविक रेखा वास्तविक संख्याओं के क्षेत्र (गणित) को उसी तरह बढ़ाती है जैसे रीमैन क्षेत्र पारंपरिक रूप से कहे जाने वाले एक बिंदु को जोड़करसम्मिश्र संख्या के क्षेत्र का विस्तार करता है।

इसके विपरीत, एफ़िनली विस्तारित वास्तविक संख्या रेखा +∞ और −∞ (जिसे वास्तविक रेखा का दो-बिंदु संघनन (गणित) भी कहा जाता है) के बीच अंतर करती है।

आदेश

आदेश सिद्धांत संबंध को सार्थक तरीके से आगे नहीं बढ़ाया जा सकता। एक संख्या a ≠ ∞ दी गई है, a > ∞ या a < ∞ परिभाषित करने के लिए कोई ठोस तर्क नहीं है। तब से की तुलना किसी भी अन्य तत्व से नहीं की जा सकती, इस संबंध को प्रतिधारक रखने का कोई मतलब नहीं है। [2] हालाँकि, पर अनुक्रम का उपयोग में परिभाषाओं में किया जाता है।

ज्यामिति

इस विचार के लिए मौलिक एक ऐसा बिंदु है जो किसी भी अन्य से अलग नहीं है, जिस तरह से वास्तविक प्रक्षेप्य रेखा एक सजातीय स्थान है, वास्तव में एक वृत्त के लिएहोम्योमॉर्फिक है। उदाहरण के लिए 2 × 2 वास्तविक व्युत्क्रमणीय आव्यूह (गणित) के सामान्य रैखिक समूह पर एक सकर्मक क्रिया होती है। समूह क्रिया को मोबियस परिवर्तनों (जिसे रैखिक भिन्नात्मक परिवर्तन भी कहा जाता है) द्वारा व्यक्त किया जा सकता है, इस समझ के साथ कि जब रैखिक भिन्नात्मक परिवर्तन का हर 0 है, तो छवि ∞ है।

क्रिया के विस्तृत विश्लेषण से पता चलता है कि किन्हीं तीन अलग-अलग बिंदुओं P, Q और R के लिए, P से 0, Q से 1 और R से लेकर एक रैखिक भिन्नात्मक परिवर्तन होता है। अर्थात्, रैखिक भिन्नात्मक परिवर्तनों का समूह (गणित) वास्तविक प्रक्षेप्य रेखा पर सकर्मक क्रिया है। इसे 4-टुपल अंकों तक नहीं बढ़ाया जा सकता, क्योंकि वज्रानुपात अपरिवर्तनीय है।

शब्दावली प्रक्षेप्य रेखा उपयुक्त है, क्योंकि बिंदु एक-आयाम (सदिश स्थान) रैखिक उप-स्थानों के साथ 1-से-1 पत्राचार में हैं।

अंकगणितीय परिचालन

अंकगणितीय संक्रियाओं के लिए प्रेरणा

इस स्थान पर अंकगणितीय संक्रियाएँ वास्तविक पर समान संक्रियाओं का विस्तार हैं। नई परिभाषाओं के लिए प्रेरणा वास्तविक संख्याओं के फलनों के फलन की सीमा है।

अंकगणितीय परिचालन जो परिभाषित हैं

उपसमुच्चय पर मानक संचालन के अतिरिक्त का , निम्नलिखित परिचालनों को संकेतानुसार अपवादों के साथ परिभाषित किया गया है: [3][2]:


अंकगणितीय संक्रियाएं जो अपरिभाषित रह गई हैं

निम्नलिखित अभिव्यक्तियों को वास्तविक कार्यों की सीमाओं पर विचार करके प्रेरित नहीं किया जा सकता है, और उनकी कोई भी परिभाषा सभी परिभाषित स्तिथियों के लिए मानक बीजगणितीय गुणों के बयान को अपरिवर्तित बनाए रखने की अनुमति नहीं देती है। [lower-alpha 1] नतीजतन, वे अपरिभाषित रह गए हैं:

घातांकीय फलन तक बढ़ाया नहीं जा सकता। [2]


बीजगणितीय गुण

निम्नलिखित समानताओं का अर्थ है: या तो दोनों पक्ष अपरिभाषित हैं, या दोनों पक्ष परिभाषित और समान हैं। यह किसी के लिए भी सच है

जब भी किसी के लिए दाहिना पक्ष परिभाषित किया जाता है, तो निम्नलिखित सत्य होता है

सामान्यतः अंकगणित के सभी नियम जो के लिए मान्य हैं, के लिए भी मान्य हैं, जब भी सभी घटित होने वाले भाव परिभाषित होते हैं।

अंतराल और सांस्थिति

एक अंतराल (गणित) की अवधारणा को बढ़ाया जा सकता है हालाँकि, चूँकि यह एक क्रमबद्ध सम्मुच्चय नहीं है, इसलिए अंतराल का थोड़ा अलग अर्थ है। बंद अंतरालों की परिभाषाएँ इस प्रकार हैं (ऐसा माना जाता है

):[2]

अपवाद के साथ जब अंत-बिंदु समान होते हैं, संबंधित विवृत और अर्ध-विवृत अंतराल को संबंधित समापन बिंदुओं को हटाकर परिभाषित किया जाता है। 0 वाले अंतराल से विभाजित करते समय यह पुनर्परिभाषा अंतराल अंकगणित में उपयोगी होती है।[2]

और रिक्त सम्मुच्चय भी अंतराल हैं, जैसा कि किसी भी एक बिंदु को छोड़कर है। [lower-alpha 2]

आधार (सांस्थिति) के रूप में विवृत अंतराल एक सांस्थितिक समष्टि को परिभाषित करते हैं। आधार के लिए परिबद्ध अंतराल विवृत अंतराल पर्याप्त और अंतराल हैं सभी के लिए इस प्रकार हैं कि है।

जैसा कि कहा गया है, सांस्थिति एक वृत्त के लिए समरूपी है। इस प्रकार यह इस वृत्त पर सामान्य मापीय (गणित) (या तो सीधे या वृत्त के साथ मापा जाता है) के अनुरूप (किसी दिए गए समरूपता के लिए) मेट्रिज़ेबल है। ऐसी कोई मीट्रिक नहीं है जो सामान्य मीट्रिक का विस्तार होता है।


अंतराल अंकगणित

अंतराल अंकगणित का विस्तार से होता है। अंतराल पर एक अंकगणितीय संक्रिया का परिणाम हमेशा एक अंतराल होता है, अतिरिक्त इसके कि जब द्विआधारी संक्रिया वाले अंतराल में असंगत मान होते हैं जो एक अपरिभाषित परिणाम की ओर ले जाते हैं। [lower-alpha 3] विशेष रूप से, हमारे पास प्रत्येक के लिए है:

चाहे कोई भी अंतराल 0 और सम्मिलित हो।

कलन

गणना के उपकरणों का उपयोग कार्य का विश्लेषण करने के लिए किया जा सकता है। परिभाषाएँ इस स्थान की सांस्थिति से प्रेरित हैं।

प्रतिवैस

मान लीजिये और है।

  • A का प्रतिवैस (गणित) x है, यदि A में एक विवृत अंतराल B होता है उसमें x सम्मिलित है।
  • A दाहिनी ओर x का प्रतिवैस है, यदि कोई वास्तविक संख्या y इस प्रकार है कि है और A अर्ध-विवृत अंतराल सम्मिलित है।
  • A बायीं ओर का प्रतिवैस है x, यदि कोई वास्तविक संख्या y इस प्रकार है कि है और A अर्ध-विवृत अंतराल सम्मिलित है।
  • A एक वेधित प्रतिवैस x है (सम्मानतः दाएं तरफा या बाएं तरफा वेधित प्रतिवैस), यदि और का एक प्रतिवैस (सम्मानतः दाहिनी ओर या बाईं ओर का प्रतिवैस) x है।

सीमाएं

सीमाओं की मूल परिभाषाएँ

मान लीजिये और है।

f (x) के एक फलन की सीमा x दृष्टिकोण p, L है, जिसे निम्न रूप से दर्शाया गया है

यदि और केवल यदि L के प्रत्येक प्रतिवैस A के लिए, p का एक छिद्रित प्रतिवैस B है, जैसे कि तात्पर्य है।

जैसे-जैसे x दाएँ (बाएँ) से p की ओर बढ़ता है, f (x) की एकतरफ़ा सीमा L होती है, जिसे निम्न रूप से दर्शाया जाता है

यदि और केवल यदि एल के प्रत्येक प्रतिवैस ए के लिए, पी का दाहिनी ओर (बाएं तरफ) छिद्रित प्रतिवैस बी है, जैसे कि तात्पर्य है।

ऐसा दिखाया जा सकता है यदि और केवल यदि दोनों और है।

में सीमाओं के साथ तुलना

ऊपर दी गई परिभाषाओं की तुलना वास्तविक कार्यों की सीमाओं की सामान्य परिभाषाओं से की जा सकती है। निम्नलिखित कथनों में, पहली सीमा ऊपर परिभाषित के अनुसार है, और दूसरी सीमा सामान्य अर्थ में है:

  • के बराबर है
  • के बराबर है
  • के बराबर है
  • के बराबर है
  • के बराबर है
  • के बराबर है


सीमाओं की विस्तारित परिभाषा

मान लीजिये है। तब p, A का एक सीमा बिंदु है यदि और केवल यदि p के प्रत्येक प्रतिवैस में एक बिंदु इस प्रकार सम्मिलित है कि है।

मान लीजिये , p A का एक सीमा बिंदु है। जैसे-जैसे x, A से होकर p तक पहुंचता है, f (x) की सीमा L होती है, यदि और केवल यदि L के प्रत्येक प्रतिवैस B के लिए, p का एक छिद्रित प्रतिवैस C है, जैसे कि तात्पर्य है।

यह नियमित निरंतरता (सांस्थिति) से मेल खाती है, जो उपसमष्‍टि सांस्थिति पर लागू होती है और f से का प्रतिबंध है।


निरंतरता

फलन

पर सतत कार्य p है यदि और केवल यदि f को p पर परिभाषित किया गया है और

यदि फलन

में निरंतर है A यदि और केवल यदि, प्रत्येक के लिए f को p पर परिभाषित किया गया है और जब x, A से होकर p की ओर बढ़ता है तो की सीमा होती है।

प्रत्येक तर्कसंगत कार्य P(x)/Q(x), जहाँ P और Q बहुपद हैं, इन्हें एक अनूठे तरीके से, एक फलन को तक बढ़ाया जा सकता है, जो कि निरंतर है। विशेष रूप से, यह बहुपद फलनों की स्तिथि है, जो पर मान लेते हैं यदि वे स्थिर कार्य नहीं हैं।

इसके अतिरिक्त, यदि स्पर्शरेखा फलन को इस प्रकार बढ़ाया जाए

तब में निरंतर है लेकिन किसी ऐसे फलन को आगे नहीं बढ़ाया जा सकता जो निरंतर है।

कई प्राथमिक कार्य जो निरंतर होते रहते हैं उन कार्यों को लंबे समय तक नहीं बढ़ाया जा सकता जो निरंतर चल रहे हैं। यह स्तिथि, उदाहरण के लिए, घातीय फलन और सभी त्रिकोणमितीय फलन की है। उदाहरण के लिए, ज्या फलन निरंतर है लेकिन इसे निरंतर नहीं बनाया जा सकता है। जैसा कि ऊपर देखा गया है, स्पर्शरेखा फलन को उस फलन तक बढ़ाया जा सकता है जो निरंतर है लेकिन इस फलन को निरंतर नहीं बनाया जा सकता है।

कई असंतत कार्य जो कोडोमेन के विस्तारित होने पर निरंतर हो जाते हैं यदि कोडोमेन को स्वजन विस्तारित वास्तविक संख्या प्रणाली तक बढ़ाया जाता है तो यह असंतत रहता है ये फलन की स्तिथि है।

दूसरी ओर, कुछ कार्य जो निरंतर होते रहते हैं और पर असंतत है यदि किसी फलन का कार्यछेत्र बढ़ाया जाता है तो यह निरंतर हो जाता है यह अरक्तांगेंट की स्तिथि है।

एक प्रक्षेप्य सीमा के रूप में

जब वास्तविक प्रक्षेप्य रेखा को वास्तविक प्रक्षेप्य तल के संदर्भ में माना जाता है, तो डेसार्गेस प्रमेय के परिणाम अंतर्निहित होते हैं। विशेष रूप से, बिंदुओं के बीच प्रक्षेप्य सुसंगत संयुग्म संबंध का निर्माण वास्तविक प्रक्षेप्य रेखा की संरचना का हिस्सा है। उदाहरण के लिए, किसी भी बिंदु के जोड़े को देखते हुए, अनंत पर बिंदु उनके मध्य बिंदु का प्रक्षेप्य सुसंगत संयुग्म है।

चूंकि प्रक्षेप्यता सुसंगत संबंध को संरक्षित करती है, वे वास्तविक प्रक्षेपीय रेखा की स्वचालितता बनाते हैं। प्रोजेक्टिविटीज़ को बीजगणितीय रूप से होमोग्राफी के रूप में वर्णित किया गया है, क्योंकि वास्तविक संख्याएं एक वलय (गणित) बनाती हैं, एक वलय के ऊपर एक प्रक्षेपीय रेखा के सामान्य निर्माण के अनुसार है। सामूहिक रूप से वे समूह पीजीएल(2,आर) बनाते हैं।

जो प्रक्षेपीयिटी अपने स्वयं के व्युत्क्रम होते हैं उन्हें प्रत्यावर्तन (गणित) कहा जाता है। एक अतिशयोक्तिपूर्ण प्रत्यावर्तन में दो निश्चित बिंदु (गणित) होते हैं। इनमें से दो वास्तविक प्रक्षेप्य रेखा पर प्राथमिक, अंकगणितीय संक्रियाओं के अनुरूप हैं: योगात्मक व्युत्क्रम और गुणक व्युत्क्रम। वास्तव में, 0 और ∞ निषेध के अंतर्गत निश्चित होते हैं, जबकि 1 और −1 व्युत्क्रम के अंतर्गत निश्चित होते हैं।

यह भी देखें

टिप्पणियाँ

  1. An extension does however exist in which all the algebraic properties, when restricted to defined operations in , resolve to the standard rules: see Wheel theory.
  2. If consistency of complementation is required, such that and for all (where the interval on either side is defined), all intervals excluding and may be naturally represented using this notation, with being interpreted as , and half-open intervals with equal endpoints, e.g. , remaining undefined.
  3. For example, the ratio of intervals contains 0 in both intervals, and since 0 / 0 is undefined, the result of division of these intervals is undefined.


संदर्भ

  1. 1.0 1.1 1.2 1.3 1.4 NBU, DDE (2019-11-05). PG MTM 201 B1 (in English). Directorate of Distance Education, University of North Bengal.
  2. 2.0 2.1 2.2 2.3 2.4 2.5 Weisstein, Eric W. "प्रोजेक्टिवली विस्तारित वास्तविक संख्याएँ". mathworld.wolfram.com (in English). Retrieved 2023-01-22.
  3. Lee, Nam-Hoon (2020-04-28). Geometry: from Isometries to Special Relativity (in English). Springer Nature. ISBN 978-3-030-42101-4.