View source for गणनीय विकल्प का सिद्धांत

[[File:Axiom of countable choice.svg|thumb|समुच्चय (S<sub>''i''</sub>) = S<sub>1</sub>, S<sub>2</sub>, S<sub>3</sub>, ... के [[गणनीय]] क्रम में प्रत्येक समुच्चय में गैर-शून्य, और संभवतः अनंत (या यहां तक कि [[बेशुमार|अगणनीय]]) अवयवों की संख्या सम्मिलित होती है। गणनीय विकल्प का सिद्धांत हमें प्रत्येक समुच्चय से यादृच्छिक रूप से अवयव का चयन करने की अनुमति देता है, जिससे अवयवों का संगत अनुक्रम (''x<sub>i</sub>'') = ''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>, ... बनता है।]]'''गणनीय विकल्प का स्वयंसिद्ध''' या '''संख्येय विकल्प का स्वयंसिद्ध''', जिसे '''''AC<sub>ω</sub>''''' कहा जाता है, समुच्चय सिद्धांत का एक [[स्वयंसिद्ध|'''स्वयंसिद्ध''']] है जो बताता है कि [[खाली सेट|रिक्त समुच्चय]] या गैर-रिक्त [[सेट (गणित)|समुच्चय (गणित)]] के प्रत्येक गणनीय संग्रह में एक विकल्प फलन होना चाहिए। अर्थात्, प्रांत '''N''' के साथ एक फलन '''A''' दिया गया है (जहाँ '''N''' प्राकृतिक संख्याओं के समुच्चय को दर्शाता है) जैसे कि '''''A(n)''''' प्रत्येक '''''n ∈ N''''' के लिए एक गैर-रिक्त समुच्चय है, प्रांत '''N''' के साथ एक फलन '''f''' स्थित है जैसे कि '''''f(n) ∈ A(n)''''' प्रत्येक '''''n ∈ N''''' के लिए।

==अवलोकन==
इस प्रकार से गणनीय विकल्प का सिद्धांत ('''AC<sub>ω</sub>''') निर्भर चयन के सिद्धांत (डीसी) से दृढ़ता से दुर्बल है, {{harv|जेच|1973}} जो बदले में चयन के सिद्धांत '''(AC)''' से दुर्बल है। अतः [[पॉल कोहेन (गणितज्ञ)]] दिखाया कि चयन के सिद्धांत (पॉटर 2004) के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत (ZF) में '''AC<sub>ω</sub>''' सिद्ध नहीं है। इस प्रकार से AC<sub>ω</sub> [[ कोकिला मॉडल |सोलोवे मॉडल]] में है।

अतः '''ZF+AC<sub>ω</sub>''' यह सिद्ध करने के लिए पर्याप्त है कि गणनीय अनेक गणनीय समुच्चयों का मिलन गणनीय है। यह सिद्ध करने के लिए भी पर्याप्त है कि प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत समुच्चय है (समतुल्य: गणनीय अनंत उपसमुच्चय है)।

इस प्रकार से '''''AC<sub>ω</sub>''''' [[गणितीय विश्लेषण]] के विकास के लिए विशेष रूप से उपयोगी है, जहां कई परिणाम [[वास्तविक संख्या|वास्तविक संख्याओं]] के समुच्चय के गणनीय संग्रह के लिए विकल्प फलन पर निर्भर करते हैं। उदाहरण के लिए, यह सिद्ध करने के लिए कि समुच्चय '''''S ⊆ R''''' का प्रत्येक [[संचय बिंदु]] '''''x, S \ {x}''''' के अवयवों के कुछ अनुक्रम की [[सीमा (गणित)]] है, किसी को गणनीय विकल्प के स्वयंसिद्ध (एक दुर्बल रूप) की आवश्यकता होती है। इस प्रकार से जब यादृच्छिक मापीय रिक्त समष्टि के संचय बिंदुओं के लिए तैयार किया जाता है, तो कथन '''''AC<sub>ω</sub>''''' के बराबर हो जाता है। '''''AC<sub>ω</sub>''''' के समतुल्य अन्य कथनों के लिए, हेरलिच (1997) और हॉवर्ड और रुबिन (1998) देखें।

अतः एक सामान्य मिथ्या धारणा यह है कि गणनीय विकल्प में [[गणितीय प्रेरण]] प्रकृति होती है और इसलिए इसे प्रेरण द्वारा प्रमेय (ZF, या समान, या यहां तक कि दुर्बल प्रणालियों में) के रूप में सिद्ध किया जा सकता है। यद्यपि, स्थिति यह नहीं; यह मिथ्या आकार '''''n''''' के परिमित समुच्चय (यादृच्छिक '''n''' के लिए) के लिए परिमित विकल्प के साथ गणनीय विकल्प को भ्रमित करने का परिणाम है, और यह बाद वाला परिणाम है (जो साहचर्य में प्राथमिक प्रमेय है) जो प्रेरण द्वारा सिद्ध किया जा सकता है। यद्यपि, गैर-रिक्त समुच्चयों के कुछ अगणनीय अनंत समुच्चयों को चयन के सिद्धांत के किसी भी रूप के बिना ZF में विकल्प फलन सिद्ध किया जा सकता है। इस प्रकार से उदाहरण के लिए, '''''V<sub>ω</sub>− {Ø}''''' में विकल्प फलन है, जहां '''''V<sub>ω</sub>''''' वंशानुगत रूप से परिमित समुच्चय का समुच्चय है, अर्थात गैर-परिमित पद के वॉन न्यूमैन ब्रह्मांड में पहला समुच्चय है। अतः चयनित फलन (तुच्छ रूप से) सुव्यवस्थित क्रम में सबसे कम अवयव है। अन्य उदाहरण तर्कसंगत अंतिम बिंदुओं के साथ वास्तविक संख्याओं के उचित और बंधे हुए विवृत अंतरालों का समुच्चय है।

==उपयोग==
इस प्रकार से '''AC<sub>ω</sub>''' के अनुप्रयोग के उदाहरण के रूप में, यहां एक प्रमाण है ('''''ZF+AC<sub>ω</sub>''''' से) कि प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है:
: मान लीजिए कि X अनंत है। अतः प्रत्येक प्राकृतिक संख्या n के लिए, मान लीजिए कि '''''A<sub>n</sub>, X''''' के सभी '''''2<sup>n</sup>-'''''अवयव उपसमुच्चयों का समुच्चय है। चूँकि X अनंत है, प्रत्येक A<sub>''n''</sub> गैर-रिक्त है। '''''AC<sub>ω</sub>''''' का पहला अनुप्रयोग एक अनुक्रम उत्पन्न करता है '''(''B<sub>n</sub>'' : ''n'' = 0,1,2,3,...)''' जहां प्रत्येक ''B<sub>n</sub>'' '''''2<sup>n</sup>''''' अवयवों के साथ '''''2<sup>n</sup>''''' का एक उपसमुच्चय है।
: इस प्रकार से समुच्चय B<sub>''n''</sub> आवश्यक रूप से असंयुक्त नहीं हैं, परन्तु हम
:: '''C<sub>0</sub> = B<sub>0</sub>'''
::'''C<sub>''n''</sub> = B<sub>''n''</sub>''' और सभी '''''C<sub>j</sub>, j < n''''' के मिलन के बीच अंतर को परिभाषित कर सकते हैं।
:अतः स्पष्ट रूप से प्रत्येक समुच्चय '''C<sub>''n''</sub>''' में कम से कम 1 और अधिकतम '''''2<sup>n</sup>''''' अवयव होते हैं, और समुच्चय '''C<sub>''n''</sub>''' युग्मित रूप से असंयुक्त होते हैं। इस प्रकार से '''''AC<sub>ω</sub>''''' का दूसरा अनुप्रयोग '''c<sub>''n''</sub> ∈ ''C<sub>n</sub>''''' के साथ एक अनुक्रम ('''c<sub>''n''</sub>: n = 0,1,2,...''') उत्पन्न करता है।
:तो सभी '''c<sub>''n''</sub>''' अलग-अलग हैं, और एक्स में एक गणनीय समुच्चय है। अतः वह फलन जो प्रत्येक '''c<sub>''n''</sub>''' को '''''c<sub>n</sub>''<sub>+1</sub>''' पर प्रतिचित्रित करता है (और '''X''' के अन्य सभी अवयवों को स्थिर छोड़ देता है) X से X तक '''1-1''' प्रतिचित्र है जो प्रारंभ नहीं है, यह सिद्ध करता है कि '''X''' डेडेकाइंड-अनंत है।

==संदर्भ==

* {{cite book
 | first = Thomas J. | last = Jech | author-link = Thomas Jech
 | title = The Axiom of Choice
 | publisher = North Holland
 | year = 1973 | pages = 130–131
 | isbn = 978-0-486-46624-8
 }}
* {{Cite journal
 | first = Horst | last = Herrlich | author-link=Horst Herrlich
 | url = http://www.emis.de/journals/CMUC/pdf/cmuc9703/herrli.pdf
 | title = Choice principles in elementary topology and analysis
 | journal = Comment. Math. Univ. Carolinae
 | volume = 38 | issue = 3 | year = 1997 | pages = 545
 }}
* {{Cite journal
 | first1 = Paul
 | last1 = Howard
 | first2 = Jean E.
 | last2 = Rubin
 | author2-link = Jean E. Rubin
 | title = Consequences of the axiom of choice
 | journal = Providence, R.I.
 | publisher = American Mathematical Society
 | isbn = 978-0-8218-0977-8
 | year = 1998
 | url-access = registration
 | url = https://archive.org/details/consequencesofax0000howa
 }}
* {{Cite book
 | title=Set Theory and its Philosophy : A Critical Introduction
 | first = Michael | last = Potter
 | publisher = Oxford University Press
 | year = 2004
 | page=164
 | isbn = 9780191556432
 | url=https://books.google.com/books?id=FxRoPuPbGgUC&pg=PA164
 }}
{{Set theory}}
{{PlanetMath attribution|id=6418|title=axiom of countable choice}}
{{DEFAULTSORT:Axiom Of Countable Choice}}[[Category: पसंद का सिद्धांत]] 



[[Category: Machine Translated Page]]
[[Category:Created On 04/07/2023]]