अवलम्बित विकल्प अभिगृहीत

गणित में, अवलम्बित विकल्प अभिगृहीत, $$ \mathsf{DC} $$ द्वारा निरूपित विकल्प के सिद्धांत ($$ \mathsf{AC} $$) का कमजोर रूप है जो अभी भी अधिकांश वास्तविक विश्लेषण विकसित करने के लिए पर्याप्त है। यह 1942 के लेख में पॉल बर्नेज़ द्वारा प्रस्तुत किया गया था जो विश्लेषण को विकसित करने के लिए गणित को उलट देता है जो समुच्चय-सैद्धांतिक सिद्धांत की आवश्यकता होती है।

औपचारिक वक्तव्य
$$X$$ पर सजातीय संबंध $$R$$ को कुल संबंध कहा जाता है यदि प्रत्येक $$a \in X,$$ के लिए कुछ $$b \in X$$ उपस्थित है जैसे कि $$a\,R~b$$ सच है।

अवलम्बित विकल्प अभिगृहीत निम्नानुसार कहा जा सकता है:

प्रत्येक गैर-खाली समुच्चय (गणित) के लिए $$X$$ और हर कुल संबंध $$R$$ पर $$X,$$ एक क्रम होता है $$(x_n)_{n \in \N}$$ में $$X$$ ऐसा है कि
 * $$x_n\, R~x_{n + 1}$$ सभी के लिए $$n \in \N.$$

वास्तव में, x0 X के किसी भी वांछित तत्व के रूप में लिया जा सकता है। (इसे देखने के लिए, x0 से प्रारंभ होने वाले परिमित अनुक्रमों के समुच्चय के ऊपर बताए गए सिद्धांत को प्रयुक्त करें और जिसमें बाद के शब्द संबंध $$R$$, एक साथ दूसरे अनुक्रम के इस समुच्चय पर कुल संबंध पहले से एक शब्द जोड़कर प्राप्त किया जा रहा है।)

यदि उपरोक्त समुच्चय $$X$$ सभी वास्तविक संख्याओं के समुच्चय तक सीमित है, तो परिणामी अभिगृहीत को $$\mathsf{DC}_{\R}. $$ द्वारा निरूपित किया जाता है

प्रयोग
इस तरह के सिद्धांत के बिना भी, किसी के लिए भी $$n$$, पहला बनाने के लिए कोई साधारण गणितीय आगमन का उपयोग कर सकता है $$n$$ ऐसे क्रम की शर्तें।

अवलम्बित विकल्प अभिगृहीत कहता है कि हम इस तरह से संपूर्ण (अनगिनत रूप से अनंत) अनुक्रम बना सकते हैं।

सिद्धांत $$ \mathsf{DC} $$ का अंश है $$ \mathsf{AC} $$ यदि प्रत्येक चरण पर विकल्प बनाना आवश्यक है और यदि उनमें से कुछ विकल्पों को पिछले विकल्पों से स्वतंत्र रूप से नहीं बनाया जा सकता है, तो गणनीय समुच्चय लंबाई के ट्रांसफिनिट रिकर्सन द्वारा निर्मित अनुक्रम के अस्तित्व को दिखाने के लिए आवश्यक है।

समतुल्य कथन
ज़र्मेलो-फ्रेंकेल समुच्चय थ्योरी पर $$ \mathsf{ZF} $$, $$ \mathsf{DC} $$ पूर्ण मीट्रिक रिक्त स्थान के लिए बायर श्रेणी प्रमेय के बराबर है।

यह $$ \mathsf{ZF} $$ से लोवेनहेम-स्कोलेम प्रमेय के बराबर भी है

$$ \mathsf{DC} $$ इस कथन के $$ \mathsf{ZF} $$ के बराबर भी है कि $$ \omega $$ स्तरों वाले प्रत्येक प्रूनेड ट्री की शाखा (वर्णनात्मक समुच्चय सिद्धांत) होती है (नीचे प्रमाण)।

आगे, $$ \mathsf{DC} $$ ज़ोर्न लेम्मा के कमजोर रूप के बराबर है; विशेष रूप से $$ \mathsf{DC} $$ इस कथन के समतुल्य है कि कोई भी आंशिक क्रम जैसे कि प्रत्येक सुव्यवस्थित श्रृंखला परिमित और परिमित है, यह अधिकतम तत्व होना चाहिए।

इसके अतिरिक्त $$ \mathsf{DC} $$ ज़ोर्न के लेम्मा एक कमजोर रूप के बराबर है, विशेष रूप से $$ \mathsf{DC} $$ इस कथन के बराबर है कि कोई भी आंशिक क्रम जैसे कि प्रत्येक सुव्यवस्थित श्रृंखला परिमित और परिमित है यह अधिकतम तत्व होना चाहिए।

अन्य सिद्धांतों के साथ संबंध
पूर्ण $$ \mathsf{AC} $$ के विपरीत, $$ \mathsf{DC} $$ यह सिद्ध करने के लिए अपर्याप्त है (दिया गया $$ \mathsf{ZF} $$) कि वास्तविक संख्याओं का गैर-मापने योग्य समुच्चय है, या यह कि बायर की संपत्ति के बिना या पूर्ण समुच्चय संपत्ति के बिना वास्तविक संख्याओं का समुच्चय है। यह इस प्रकार है क्योंकि सोलोवे मॉडल $$ \mathsf{ZF} + \mathsf{DC} $$ संतुष्ट करता है और इस मॉडल में वास्तविक संख्याओं का प्रत्येक समुच्चय लेबेसेग मापने योग्य है, इसमें बायर गुण है और इसके पास पूर्ण समुच्चय गुण है।

अवलम्बित विकल्प अभिगृहीत गणनीय विकल्प अभिगृहीत अर्थ है यह और सख्ती से शक्तिशाली है।

ट्रांसफिनिट अनुक्रमों का उत्पादन करने के लिए सिद्धांत को सामान्य बनाना संभव है। यदि इन्हें इच्छानुसार से लंबा करने की अनुमति दी जाती है, तो यह विकल्प के पूर्ण सिद्धांत के बराबर हो जाता है।