डेडेकाइंड कट

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

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

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

परिभाषा
डेडेकाइंड कट तर्कसंगत का विभाजन है $$\mathbb{Q}$$ दो उपसमूहों में $$A$$ तथा $$B$$ ऐसा है कि


 * 1) $$A$$ खाली नहीं है।
 * 2) $$A \neq \mathbb{Q}$$ (समान रूप से, $$B$$ खाली नहीं है)।
 * 3) यदि $$x, y \in \mathbb{Q}$$, $$ x < y $$, तथा $$ y \in A $$, फिर $$ x \in A $$. ($$A$$ नीचे बंद है।)
 * 4) यदि $$ x \in A $$, तो वहाँ एक मौजूद है $$ y \in A $$ ऐसा है कि $$ y > x $$. ($$A$$ सबसे बड़ा तत्व नहीं है।)

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

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

यदि क्रमित समुच्चय S पूर्ण है, तो, S के प्रत्येक Dedekind कट (A, B) के लिए, समुच्चय B में न्यूनतम अवयव b होना चाहिए, इसलिए हमारे पास यह होना चाहिए कि A अंतराल (गणित) (−∞, b), और B अंतराल [b, +∞) है। इस मामले में, हम कहते हैं कि b को कट (A, B) द्वारा दर्शाया गया है।

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

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

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

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

वास्तविक संख्या का निर्माण
परिमेय संख्याओं का एक प्रारूपिक डेडेकिंड कट $$\Q$$ विभाजन द्वारा दिया गया है $$(A,B)$$ साथ


 * $$A = \{ a\in\mathbb{Q} : a^2 < 2 \text{ or } a < 0 \},$$
 * $$B = \{ b\in\mathbb{Q} : b^2 \ge 2 \text{ and } b \ge 0 \}.$$

यह कट अपरिमेय संख्या का प्रतिनिधित्व करता है √2 डेडेकिंड के निर्माण में। आवश्यक विचार यह है कि हम एक सेट का उपयोग करते हैं $$A$$, जो संख्या का प्रतिनिधित्व करने के लिए सभी परिमेय संख्याओं का समूह है, जिनके वर्ग 2 से कम हैं √2, और आगे, इन सेटों (जोड़, घटाव, गुणा और भाग) पर ठीक से अंकगणितीय संकारकों को परिभाषित करके, ये सेट (इन अंकगणितीय संक्रियाओं के साथ) परिचित वास्तविक संख्याएँ बनाते हैं।

इसे स्थापित करने के लिए, उसे दिखाना होगा $$A$$ वास्तव में एक कट (परिभाषा के अनुसार) और का वर्ग है $$A$$, वह है $$A \times A$$ (कृपया कट्स के गुणन को कैसे परिभाषित किया जाता है, इसकी सटीक परिभाषा के लिए ऊपर दिए गए लिंक को देखें), है $$2$$ (ध्यान दें कि इस नंबर 2 को सख्ती से बोलते हुए कट द्वारा दर्शाया गया है $$\{x\ |\ x \in \mathbb{Q}, x < 2\}$$). पहले भाग को दिखाने के लिए, हम दिखाते हैं कि किसी भी सकारात्मक तर्कसंगत के लिए $$x$$ साथ $$x^2 < 2$$, एक तर्कसंगत है $$y$$ साथ $$x < y$$ तथा $$y^2 < 2$$. विकल्प $$y=\frac{2x+2}{x+2}$$ काम करता है, इस प्रकार $$A$$ वास्तव में एक कट है। अब कटौती के बीच गुणन से लैस, यह जांचना आसान है $$A \times A \le 2$$ (अनिवार्य रूप से, यह इसलिए है क्योंकि $$x \times y \le 2, \forall x, y \in A, x, y \ge 0$$). इसलिए दिखाना है $$A \times A = 2$$, हम दिखाते हैं $$A \times A \ge 2$$, और यह किसी के लिए भी दिखाने के लिए पर्याप्त है $$r < 2$$, वहां मौजूद $$x \in A$$, $$x^2 > r$$. इसके लिए हम देखते हैं कि अगर $$x > 0, 2-x^2=\epsilon > 0$$, फिर $$2-y^2 \le \frac{\epsilon}{2}$$ के लिए $$y$$ ऊपर निर्मित, इसका मतलब है कि हमारे पास एक अनुक्रम है $$A$$ जिसका वर्ग मनमाने ढंग से निकट हो सकता है $$2$$, जो प्रमाण को समाप्त करता है।

ध्यान दें कि समानता $b^{2} = 2$ धारण नहीं कर सकता क्योंकि 2# का वर्गमूल तर्कहीनता का प्रमाण है√2 तर्कसंगत नहीं है।

अंतराल अंकगणित से संबंध
वास्तविक संख्या का प्रतिनिधित्व करने वाला डेडेकिंड कट दिया गया है $$r$$ परिमेय को विभाजित करके $$(A,B)$$ जहां तर्कसंगत है $$A$$ से कम हैं $$r$$ और तर्कसंगत में $$B$$ से अधिक हैं $$r$$, इसे समान रूप से जोड़े के सेट के रूप में दर्शाया जा सकता है $$(a,b)$$ साथ $$a \in A$$ तथा $$b \in B$$, निचले कट और ऊपरी कट अनुमानों द्वारा दिए जा रहे हैं। यह अनुमानित अंतराल के सेट के बिल्कुल अनुरूप है $$r$$.

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

मनमाना रैखिक रूप से आदेशित सेट
मनमाने ढंग से क्रमबद्ध सेट एक्स के सामान्य मामले में, 'कट' एक जोड़ी है $$(A,B)$$ ऐसा है कि $$A \cup B = X $$ तथा $$a \in A$$, $$b \in B$$ मतलब $$a < b$$. कुछ लेखक इस आवश्यकता को जोड़ते हैं कि ए और बी दोनों गैर-खाली हैं। यदि न तो A का अधिकतम है और न ही B का न्यूनतम, तो कटौती को 'अंतर' कहा जाता है। ऑर्डर टोपोलॉजी के साथ संपन्न एक रैखिक रूप से आदेशित सेट कॉम्पैक्ट है अगर और केवल अगर इसमें कोई अंतर नहीं है।

असली संख्या
डेडेकिंड कट्स के समान एक निर्माण का उपयोग वास्तविक संख्याओं के निर्माण (कई संभव में से एक) के लिए किया जाता है। इस मामले में प्रासंगिक धारणा कुएस्ता-दुतारी कट है, स्पेनिश गणितज्ञ के नाम पर Norberto Cuesta Dutari.

आंशिक रूप से आदेशित सेट
अधिक आम तौर पर, यदि एस आंशिक रूप से आदेश दिया गया सबसेट है, तो एस के पूरा होने का अर्थ है एल में एस के ऑर्डर-एम्बेडिंग के साथ एक पूर्ण जाली एल। पूर्ण जाली की धारणा वास्तविक की कम से कम ऊपरी-बाध्य संपत्ति को सामान्यीकृत करती है।

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

संदर्भ

 * Dedekind, Richard, Essays on the Theory of Numbers, "Continuity and Irrational Numbers," Dover Publications: New York, ISBN 0-486-21010-3. Also available at Project Gutenberg.

इस पेज में लापता आंतरिक लिंक की सूची

 * अंक शास्त्र
 * एक सेट का विभाजन
 * वास्तविक संख्या का निर्माण
 * रैखिक निरंतरता
 * पूरी तरह से आदेशित सेट
 * पूर्णता (आदेश सिद्धांत)
 * आंशिक रूप से आदेशित सेट