डेडेकाइंड कट: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 64: Line 64:
क्रमहीनतः से क्रमबद्ध समुच्चय X के सामान्य स्थिति में, 'कट' एक जोड़ी <math>(A,B)</math> ऐसा है कि <math>A \cup B = X </math> तथा <math>a \in A</math>, <math>b \in B</math> अर्थ  <math>a < b</math>  है. कुछ लेखक इस आवश्यकता को जोड़ते हैं कि A और  B  दोनों गैर-खाली हैं।<ref>R. Engelking, General Topology, I.3</ref>
क्रमहीनतः से क्रमबद्ध समुच्चय X के सामान्य स्थिति में, 'कट' एक जोड़ी <math>(A,B)</math> ऐसा है कि <math>A \cup B = X </math> तथा <math>a \in A</math>, <math>b \in B</math> अर्थ  <math>a < b</math>  है. कुछ लेखक इस आवश्यकता को जोड़ते हैं कि A और  B  दोनों गैर-खाली हैं।<ref>R. Engelking, General Topology, I.3</ref>


यदि न तो A का अधिकतम है और न ही B का न्यूनतम, तो कट को 'अंतर' कहा जाता है। ऑर्डर टोपोलॉजी के साथ संपन्न एक रैखिक रूप से आदेशित समुच्चय कॉम्पैक्ट है अगर और केवल अगर इसमें कोई अंतर नहीं है।<ref>Jun-Iti Nagata, Modern General Topology, Second revised edition, Theorem VIII.2, p. 461. Actually, the theorem holds in the setting of generalized ordered spaces, but in this more general setting pseudo-gaps should be taken into account.</ref>
यदि न तो A का अधिकतम है और न ही B का न्यूनतम, तो कट को 'अंतराल' कहा जाता है। ऑर्डर टोपोलॉजी के साथ संपन्न एक रैखिक रूप से आदेशित समुच्चय सुसम्बद्ध है यदि और केवल अगर इसमें कोई अंतर नहीं है।<ref>Jun-Iti Nagata, Modern General Topology, Second revised edition, Theorem VIII.2, p. 461. Actually, the theorem holds in the setting of generalized ordered spaces, but in this more general setting pseudo-gaps should be taken into account.</ref>






=== [[असली संख्या]] ===
=== [[असली संख्या|अवास्तविक संख्या]] ===
डेडेकिंड कट्स के समान एक निर्माण का उपयोग वास्तविक संख्याओं के निर्माण (कई संभव में से एक) के लिए किया जाता है। इस मामले में प्रासंगिक धारणा कुएस्ता-दुतारी कट है,<ref name="Alling">{{cite book | last = Alling | first = Norman L. | title = वास्तविक संख्या क्षेत्रों पर विश्लेषण की नींव| publisher = North-Holland | series = Mathematics Studies 141 | year = 1987 | isbn = 0-444-70226-1}}</ref> स्पेनिश गणितज्ञ के नाम पर {{Ill|Norberto Cuesta Dutari|es}}.
डेडेकिंड कट्स के समान एक निर्माण का उपयोग वास्तविक संख्याओं के निर्माण (कई संभव में से एक) के लिए किया जाता है। इस स्थिति में प्रासंगिक धारणा कुएस्ता-दुतारी कट है,<ref name="Alling">{{cite book | last = Alling | first = Norman L. | title = वास्तविक संख्या क्षेत्रों पर विश्लेषण की नींव| publisher = North-Holland | series = Mathematics Studies 141 | year = 1987 | isbn = 0-444-70226-1}}</ref> जिसका नाम स्पेनिश गणितज्ञ {{Ill|नॉर्बर्टो कुएस्टा दुतारी|es}} के नाम पर रखा गया है.


=== आंशिक रूप से आदेशित समुच्चय ===
=== आंशिक रूप से आदेशित समुच्चय ===
{{Main|Dedekind–MacNeille completion}}
{{Main|डेडेकाइंड-मैकनील समापन}}
अधिक आम तौर पर, यदि एस आंशिक रूप से आदेश दिया गया [[सबसेट|सबसमुच्चय]] है, तो एस के पूरा होने का अर्थ है एल में एस के ऑर्डर-एम्बेडिंग के साथ एक [[पूर्ण जाली]] एल। पूर्ण जाली की धारणा वास्तविक की कम से कम ऊपरी-बाध्य संपत्ति को सामान्यीकृत करती है।


S का एक पूरा होना इसके नीचे की ओर बंद उपसमुच्चय का समुच्चय है, जो उपसमुच्चय द्वारा क्रमित है। एक संबंधित पूर्णता जो S के सभी मौजूदा सुपर और infs को संरक्षित करती है, निम्नलिखित निर्माण द्वारा प्राप्त की जाती है: S के प्रत्येक उपसमुच्चय A के लिए, A को<sup>u</sup> A की ऊपरी सीमा के समुच्चय को निरूपित करता है, और मान लीजिए A<sup>l</sup> A की निचली सीमा के समुच्चय को दर्शाता है। (ये ऑपरेटर एक [[गाल्वा कनेक्शन]] बनाते हैं।) फिर S के डेडेकिंड-मैकनील समापन में सभी सबसमुच्चय A होते हैं जिसके लिए (A<sup>में</sup>)<sup>एल </सुप> = ; इसे शामिल करने का आदेश दिया गया है। Dedekind-MacNeille पूर्णता इसमें एम्बेडेड S के साथ सबसे छोटी पूर्ण जाली है।
अधिक सामान्यतः, यदि S आंशिक रूप से आदेश दिया गया [[सबसेट|सबसमुच्चय]] है, तो S के पूरा होने का अर्थ है L में S के ऑर्डर-अंतः स्थापन के साथ एक [[पूर्ण जाली]] L। पूर्ण जाली की धारणा वास्तविक की कम से कम ऊपरी-बाध्य गुण को सामान्यीकृत करती है।
 
S का एक पूरा होना इसके नीचे की ओर बंद उपसमुच्चय का समुच्चय है, जिसे समावेशन द्वारा क्रमबद्ध किया गया है। एक संबंधित पूर्णता जो S के सभी मौजूदा सुपर और जानकारी को संरक्षित करती है, निम्नलिखित निर्माण द्वारा प्राप्त की जाती है: S के प्रत्येक उपसमुच्चय A के लिए, ''A''<sup>u</sup> का A की ऊपरी सीमा के समुच्चय को निरूपित करता है, और मान लीजिए A<sup>l</sup> A की निचली सीमा के समुच्चय को दर्शाता है। (ये ऑपरेटर एक [[गाल्वा कनेक्शन]] बनाते हैं।) फिर S के डेडेकिंड-मैकनील समापन में सभी सबसमुच्चय A होते हैं जिसके लिए जिनके लिए  (''A''<sup>u</sup>)<sup>l</sup> = ''A''; इसे सम्मिलित करने का आदेश दिया गया है। डेडेकिंड-मैकनील पूर्णता इसमें अंतः स्थापन S के साथ सबसे छोटी पूर्ण जाली है।


==टिप्पणियाँ==
==टिप्पणियाँ==

Revision as of 12:51, 9 December 2022

डेडेकाइंड ने अपरिमेय संख्या, वास्तविक संख्याओं के निर्माण के लिए अपने कट का उपयोग किया।

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

डेडेकाइंड कट्स को परिमेय संख्याओं से किसी भी पूरी तरह से सुव्यवस्थित किए गए समुच्चय तक सामान्यीकृत किया जा सकता है, डेडेकिंड कट को दो गैर-खाली भागों A और B में पूरी तरह से ऑर्डर किए गए समुच्चय के विभाजन के रूप में परिभाषित किया जा सकता है, जैसे कि A नीचे की ओर बंद है (जिसका अर्थ है कि सभी A में A, X ≤ A का तात्पर्य है कि X A में भी है) और B ऊपर की तरफ बंद है, और A में कोई सबसे बड़ा तत्व नहीं है। पूर्णता (आदेश सिद्धांत) भी देखें।

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

परिभाषा

डेडेकाइंड कट परिमेय का दो उपसमुच्चयों और में विभाजन है, जैसे कि

  1. खाली नहीं है।
  2. (समान रूप से, खाली नहीं है)।
  3. यदि , , तथा , फिर . ( नीचे बंद है।)
  4. यदि , तो वहाँ एक उपस्थित है ऐसा है कि . ( सबसे बड़ा तत्व नहीं है।)

पहली दो आवश्यकताओं को छोड़ कर, हम औपचारिक रूप से विस्तारित वास्तविक संख्या रेखा प्राप्त करते हैं।

प्रतिनिधित्व

डेडेकिंड कट के लिए (ए, बी) संकेत का उपयोग करना अधिक सममित है, लेकिन A और B में से प्रत्येक दूसरे को निर्धारित करता है। यह एक सरलीकरण हो सकता है, संकेत के संदर्भ में, यदि अधिक कुछ नहीं, एक आधे पर ध्यान केंद्रित करने के लिए-कहें, निचला एक-और किसी भी नीचे की ओर बंद समुच्चय A को सबसे बड़े तत्व के बिना डेडेकाइंड कट कहा जाता है।

यदि क्रमित समुच्चय S पूर्ण है, तो, S के प्रत्येक डेडेकिंड कट (A, B) के लिए, समुच्चय B में न्यूनतम अवयव b होना चाहिए,

इसलिए हमारे पास यह होना चाहिए कि A अंतराल (गणित) (−∞, b), और B अंतराल [b, +∞) है।

इस स्थिति में, हम कहते हैं कि b को कट (A, B) द्वारा दर्शाया गया है।

डेडेकाइंड कट का महत्वपूर्ण उद्देश्य उन संख्या समुच्चयों के साथ काम करना है जो पूर्ण नहीं हैं। कट स्वयं संख्याओं के मूल संग्रह में नहीं एक संख्या का प्रतिनिधित्व कर सकता है (अधिकांश परिमेय संख्याएं)। कट एक संख्या b का प्रतिनिधित्व कर सकता है, भली-भाँति दो समुच्चय A और B में निहित संख्या में वास्तविक में वह संख्या b शामिल नहीं है जो उनका कट दर्शाता है।

उदाहरण के लिए यदि A और B में केवल परिमेय संख्याएँ हैं, तब भी उन्हें A में प्रत्येक ऋणात्मक परिमेय संख्या डालकर, प्रत्येक गैर-ऋणात्मक संख्या जिसका वर्ग 2 से कम है, डालकर √2 पर काटा जा सकता है; इसी तरह B में हर सकारात्मक परिमेय संख्या होगी जिसका वर्ग 2 से अधिक या उसके बराबर है। यद्यपि √2 के लिए कोई परिमेय मान नहीं है, यदि परिमेय संख्याओं को A और B में इस तरह विभाजित किया जाता है, तो विभाजन स्वयं एक अपरिमेय संख्या का प्रतिनिधित्व करता है।

कट का आदेश

एक डेडेकाइंड कट (A, B) के संबंध में एक और डेडेकिंड कट (C, D) (उसी सुपर समुच्चय के) से कम है यदि A C का एक उचित उपसमूह है। समतुल्य रूप से, यदि D, B का एक उचित उपसमुच्चय है, तो कट (A) , B) फिर से (C, D ) से कम है। इस तरह, संख्याओं के क्रम का प्रतिनिधित्व करने के लिए समुच्चय समावेशन का उपयोग किया जा सकता है, और अन्य सभी संबंध (इससे अधिक, से कम या बराबर, बराबर, और इसी तरह) समुच्चय संबंधों से समान रूप से बनाए जा सकते हैं।

सभी डेडेकाइंड कट्स का समुच्चय अपने आप में एक रैखिक रूप से सुव्यवस्थित किया गया समुच्चय (समुच्चय का) है। इसके अतिरिक्त, डेडेकाइंड कट्स के समुच्चय में सबसे कम से कम ऊपरी बाध्य गुण होता है, अर्थात्, इसका हर गैर-खाली उपसमुच्चय जिसकी कोई ऊपरी सीमा होती है, उसकी ऊपरी सीमा कम से कम होती है। इस प्रकार, डेडेकाइंड कट्स के समुच्चय का निर्माण मूल ऑर्डर किए गए समुच्चय S को अंत: स्थापित करने के उद्देश्य से कार्य करता है, जिसमें कम से कम-ऊपरी-बाध्य गुण नहीं हो सकती है, (सामान्यतः बड़ा) रैखिक रूप से आदेशित समुच्चय के भीतर यह उपयोगी गुण होती है।

वास्तविक संख्या का निर्माण

विभाजन के साथ परिमेय संख्याओं का एक विशिष्ट डेडेकिंड कट द्वारा दिया गया है