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

गणित में, अवलम्बित विकल्प का सिद्धांत, $$ \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{ZF} $$ से लोवेनहेम-स्कोलेम प्रमेय के बराबर भी है

$$ \mathsf{DC} $$ भी बराबर है $$ \mathsf{ZF} $$ इस कथन के साथ कि हर छँटाई पेड़ के साथ $$ \omega $$ स्तरों की एक शाखा (नीचे प्रमाण) है।

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

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

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

अवलम्बित विकल्प का सिद्धांत गणनीय विकल्प का सिद्धांत अर्थ है और सख्ती से मजबूत है।

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