सुव्यवस्थित प्रमेय: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Theoretic principle in mathematics stating every set can be well-ordered.}} {{redirect|Zermelo's theorem|Zermelo's theorem in game theory|Zermelo's theorem...")
 
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Theoretic principle in mathematics stating every set can be well-ordered.}}
{{short description|Theoretic principle in mathematics stating every set can be well-ordered.}}
{{redirect|Zermelo's theorem|Zermelo's theorem in game theory|Zermelo's theorem (game theory)}}
{{redirect|ज़र्मेलो का प्रमेय|गेम थ्योरी में ज़र्मेलो का प्रमेय|ज़र्मेलो का प्रमेय (गेम थ्योरी)}}
{{distinguish|Well-ordering principle}}
{{distinguish|सुव्यवस्थित सिद्धांत}}
[[गणित]] में, सुव्यवस्थित प्रमेय, जिसे ज़र्मेलो के प्रमेय के रूप में भी जाना जाता है, कहता है कि प्रत्येक [[सेट (गणित)]] को सुव्यवस्थित किया जा सकता है। एक सेट ''X'' सख्त कुल क्रम द्वारा ''सुव्यवस्थित'' है यदि ''X'' के प्रत्येक गैर-खाली सबसेट में क्रम के तहत [[कम से कम तत्व]] है। ज़ोर्न लेम्मा के साथ सुव्यवस्थित प्रमेय सबसे महत्वपूर्ण गणितीय कथन हैं जो पसंद के स्वयंसिद्ध के बराबर हैं (अक्सर एसी कहा जाता है, यह भी देखें {{section link|Axiom of choice|Equivalents}}).<ref>{{cite book |url=https://books.google.com/books?id=rqqvbKOC4c8C&pg=PA14 |title=An introduction to the theory of functional equations and inequalities |page=14 |location=Berlin |publisher=Springer |isbn=978-3-7643-8748-8 |first=Marek |last=Kuczma |year=2009 |authorlink=Marek Kuczma}}</ref><ref>{{cite book |url=https://books.google.com/books?id=ewIaZqqm46oC&pg=PA458 |title=Encyclopaedia of Mathematics: Supplement |first=Michiel |last=Hazewinkel |year=2001 |authorlink=Michiel Hazewinkel |page=458 |location=Berlin |publisher=Springer |isbn=1-4020-0198-3 }}</ref> [[अर्नेस्ट ज़र्मेलो]] ने सुव्यवस्थित प्रमेय को सिद्ध करने के लिए एक आपत्तिजनक तार्किक सिद्धांत के रूप में पसंद के स्वयंसिद्ध को पेश किया।<ref name = "zer">{{cite book |url=https://books.google.com/books?id=RkepDgAAQBAJ&pg=PA23 |title=Handbook of Mathematics |first=Vialar |last=Thierry |year=1945 |page=23 |location=Norderstedt |publisher=Springer |isbn=978-2-95-519901-5 }}</ref> एक सुव्यवस्थित प्रमेय से यह निष्कर्ष निकाला जा सकता है कि प्रत्येक सेट [[ट्रांसफिनिट इंडक्शन]] के लिए अतिसंवेदनशील है, जिसे गणितज्ञों द्वारा एक शक्तिशाली तकनीक माना जाता है।<ref name = "zer"/>प्रमेय का एक प्रसिद्ध परिणाम बनच-तर्स्की विरोधाभास है।
[[गणित]] में, '''सुव्यवस्थित प्रमेय''', जिसे ज़र्मेलो के प्रमेय के रूप में भी जाना जाता है, कहता है कि प्रत्येक समुच्चय [[सेट (गणित)|(गणित)]] को सुव्यवस्थित किया जा सकता है। समुच्चय ''X'' सख्त कुल क्रम द्वारा ''सुव्यवस्थित'' है यदि ''X'' के प्रत्येक गैर-रिक्त उपसमुच्चय में क्रम के अनुसार [[कम से कम तत्व|न्यूनतम अवयव]] है। ज़ोर्न लेम्मा के साथ सुव्यवस्थित प्रमेय सबसे महत्वपूर्ण गणितीय कथन हैं जो विकल्प के स्वयंसिद्ध के समान हैं (अधिकांशतः एसी कहा जाता है, यह भी देखें {{section link|विकल्प का सिद्धांत|समकक्ष}}).<ref>{{cite book |url=https://books.google.com/books?id=rqqvbKOC4c8C&pg=PA14 |title=An introduction to the theory of functional equations and inequalities |page=14 |location=Berlin |publisher=Springer |isbn=978-3-7643-8748-8 |first=Marek |last=Kuczma |year=2009 |authorlink=Marek Kuczma}}</ref><ref>{{cite book |url=https://books.google.com/books?id=ewIaZqqm46oC&pg=PA458 |title=Encyclopaedia of Mathematics: Supplement |first=Michiel |last=Hazewinkel |year=2001 |authorlink=Michiel Hazewinkel |page=458 |location=Berlin |publisher=Springer |isbn=1-4020-0198-3 }}</ref> [[अर्नेस्ट ज़र्मेलो]] ने सुव्यवस्थित प्रमेय को सिद्ध करने के लिए आपत्तिजनक तार्किक सिद्धांत के रूप में विकल्प के स्वयंसिद्ध को प्रस्तुत किया था।<ref name = "zer">{{cite book |url=https://books.google.com/books?id=RkepDgAAQBAJ&pg=PA23 |title=Handbook of Mathematics |first=Vialar |last=Thierry |year=1945 |page=23 |location=Norderstedt |publisher=Springer |isbn=978-2-95-519901-5 }}</ref> सुव्यवस्थित प्रमेय से यह निष्कर्ष निकाला जा सकता है कि प्रत्येक समुच्चय [[ट्रांसफिनिट इंडक्शन]] के लिए अतिसंवेदनशील है, जिसे गणितज्ञों द्वारा शक्तिशाली तकनीक माना जाता है।<ref name = "zer"/> प्रमेय का प्रसिद्ध परिणाम बनच-तर्स्की विरोधाभास है।


== इतिहास ==
== इतिहास ==
[[जॉर्ज कैंटर]] ने सुव्यवस्थित प्रमेय को विचार का एक मौलिक सिद्धांत माना।<ref>Georg Cantor (1883), “Ueber unendliche, lineare Punktmannichfaltigkeiten”, ''Mathematische Annalen'' 21, pp. 545–591.</ref> हालांकि, एक अच्छी तरह से आदेश देने की कल्पना करना मुश्किल या असंभव माना जाता है <math>\mathbb{R}</math>; इस तरह के विज़ुअलाइज़ेशन को पसंद के स्वयंसिद्ध को शामिल करना होगा।<ref>{{cite book |url=https://books.google.com/books?id=RXzsAwAAQBAJ&pg=PA174 |title=The Logic of Infinity |page=174 |publisher=Cambridge University Press |isbn=978-1-1070-5831-6 |first=Barnaby |last=Sheppard |year=2014 }}</ref> 1904 में, Gyula Kőnig ने यह साबित करने का दावा किया कि इस तरह की सुव्यवस्थित व्यवस्था मौजूद नहीं हो सकती। कुछ हफ्ते बाद, [[फेलिक्स हॉसडॉर्फ]] ने सबूत में गलती पाई।<ref>{{citation|title=Hausdorff on Ordered Sets|volume=25|series=History of Mathematics|first=J. M.|last=Plotkin|publisher=American Mathematical Society|isbn=9780821890516|year=2005|contribution=Introduction to "The Concept of Power in Set Theory"|pages=23–30|url=https://books.google.com/books?id=M_skkA3r-QAC&pg=PA23}}</ref> हालांकि, यह पता चला कि पहले क्रम के तर्क में सुक्रम प्रमेय पसंद के स्वयंसिद्ध के बराबर है, इस अर्थ में कि पसंद के स्वयंसिद्ध के साथ ज़र्मेलो-फ्रेंकेल अभिगृहीत सुक्रम प्रमेय को साबित करने के लिए पर्याप्त हैं, और इसके विपरीत, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध पसंद के स्वयंसिद्ध के बिना, लेकिन अच्छी तरह से आदेश देने वाले प्रमेय के साथ पसंद के स्वयंसिद्ध को साबित करने के लिए पर्याप्त हैं। (यह ज़ोर्न के लेम्मा पर भी लागू होता है।) दूसरे क्रम के तर्क में, हालांकि, अच्छी तरह से ऑर्डरिंग प्रमेय पसंद के स्वयंसिद्ध से अधिक मजबूत है: अच्छी तरह से आदेश देने वाले प्रमेय से कोई पसंद के स्वयंसिद्ध को कम कर सकता है, लेकिन पसंद के स्वयंसिद्ध से कोई सुव्यवस्थित प्रमेय नहीं निकाल सकता है।<ref>{{cite book |authorlink=Stewart Shapiro |first=Stewart |last=Shapiro |year=1991 |title=Foundations Without Foundationalism: A Case for Second-Order Logic |location=New York |publisher=Oxford University Press |isbn=0-19-853391-8 }}</ref>
[[जॉर्ज कैंटर]] ने सुव्यवस्थित प्रमेय को विचार का मौलिक सिद्धांत माना था।<ref>Georg Cantor (1883), “Ueber unendliche, lineare Punktmannichfaltigkeiten”, ''Mathematische Annalen'' 21, pp. 545–591.</ref> चूँकि, अच्छी तरह से आदेश <math>\mathbb{R}</math> देने की कल्पना करना कठिन या असंभव माना जाता है ; इस तरह के विज़ुअलाइज़ेशन को विकल्प के स्वयंसिद्ध को सम्मिलित करना होगा।<ref>{{cite book |url=https://books.google.com/books?id=RXzsAwAAQBAJ&pg=PA174 |title=The Logic of Infinity |page=174 |publisher=Cambridge University Press |isbn=978-1-1070-5831-6 |first=Barnaby |last=Sheppard |year=2014 }}</ref> 1904 में, ग्युला कोनिग ने यह सिद्ध करने का प्रमाणित किया कि इस तरह की सुव्यवस्थित व्यवस्था उपस्थित नहीं हो सकती है। कुछ हफ्ते बाद, [[फेलिक्स हॉसडॉर्फ]] ने प्रमाण में गलती पाई।<ref>{{citation|title=Hausdorff on Ordered Sets|volume=25|series=History of Mathematics|first=J. M.|last=Plotkin|publisher=American Mathematical Society|isbn=9780821890516|year=2005|contribution=Introduction to "The Concept of Power in Set Theory"|pages=23–30|url=https://books.google.com/books?id=M_skkA3r-QAC&pg=PA23}}</ref> चूँकि, यह पता चला कि पहले क्रम के तर्क में सुक्रम प्रमेय विकल्प के स्वयंसिद्ध के समान है, इस अर्थ में कि विकल्प के स्वयंसिद्ध के साथ ज़र्मेलो-फ्रेंकेल अभिगृहीत सुक्रम प्रमेय को सिद्ध करने के लिए पर्याप्त हैं, और इसके विपरीत, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध विकल्प के स्वयंसिद्ध के बिना, किन्तु अच्छी तरह से आदेश देने वाले प्रमेय के साथ विकल्प के स्वयंसिद्ध को सिद्ध करने के लिए पर्याप्त हैं। (यह ज़ोर्न के लेम्मा पर भी प्रयुक्त होता है।) दूसरे क्रम के तर्क में, चूँकि, अच्छी तरह से ऑर्डरिंग प्रमेय विकल्प के स्वयंसिद्ध से अधिक सशक्त है: अच्छी तरह से आदेश देने वाले प्रमेय से कोई विकल्प के स्वयंसिद्ध को कम कर सकता है, किन्तु विकल्प के स्वयंसिद्ध से कोई सुव्यवस्थित प्रमेय नहीं निकाल सकता है।<ref>{{cite book |authorlink=Stewart Shapiro |first=Stewart |last=Shapiro |year=1991 |title=Foundations Without Foundationalism: A Case for Second-Order Logic |location=New York |publisher=Oxford University Press |isbn=0-19-853391-8 }}</ref> तीन कथनों और अंतर्ज्ञान के प्रति उनकी सापेक्ष सहजता के बारे में प्रसिद्ध कथन है: विकल्प का स्वयंसिद्ध स्पष्ट रूप से सत्य है, सुव्यवस्थित सिद्धांत स्पष्ट रूप से गलत है, और ज़ोर्न के लेम्मा के बारे में कौन बता सकता है?<ref>{{Citation|last=Krantz|first=Steven G.|chapter=The Axiom of Choice|date=2002|pages=121–126|editor-last=Krantz|editor-first=Steven G.|publisher=Birkhäuser Boston|language=en|doi=10.1007/978-1-4612-0115-1_9|isbn=9781461201151|title=Handbook of Logic and Proof Techniques for Computer Science}}</ref>
तीन कथनों और अंतर्ज्ञान के प्रति उनकी सापेक्ष सहजता के बारे में एक प्रसिद्ध चुटकुला है: पसंद का स्वयंसिद्ध स्पष्ट रूप से सत्य है, सुव्यवस्थित सिद्धांत स्पष्ट रूप से गलत है, और ज़ोर्न के लेम्मा के बारे में कौन बता सकता है?<ref>{{Citation|last=Krantz|first=Steven G.|chapter=The Axiom of Choice|date=2002|pages=121–126|editor-last=Krantz|editor-first=Steven G.|publisher=Birkhäuser Boston|language=en|doi=10.1007/978-1-4612-0115-1_9|isbn=9781461201151|title=Handbook of Logic and Proof Techniques for Computer Science}}</ref></ब्लॉककोट>


== पसंद के स्वयंसिद्ध से सबूत ==
== विकल्प के स्वयंसिद्ध से प्रमाण ==


पसंद के स्वयंसिद्ध से अच्छी तरह से आदेश देने वाला प्रमेय इस प्रकार है।<ref>{{Cite book |last=Jech |first=Thomas |title=Set Theory (Third Millennium Edition) |publisher=[[Springer Publishing|Springer]] |year=2002 |isbn=978-3-540-44085-7 |pages=48}}</ref><blockquote>हम जिस सेट को व्यवस्थित करने की कोशिश कर रहे हैं, उसे होने दें <math>A</math>, और जाने <math>f</math> के गैर-खाली सबसेट के परिवार के लिए एक विकल्प समारोह हो <math>A</math>. हर क्रमिक संख्या के लिए <math>\alpha</math>, एक सेट परिभाषित करें <math>a_\alpha</math> यह है <math>A</math> व्यवस्थित करके <math>a_\alpha\ =\ f(A\setminus\{a_\xi\mid\xi<\alpha\})</math> यदि यह पूरक है <math>A\setminus\{a_\xi\mid\xi<\alpha\}</math> खाली नहीं है, या छोड़ दें <math>a_\alpha</math> अपरिभाषित अगर यह है। वह है, <math>a_\alpha</math> के तत्वों के समूह से चुना जाता है <math>A</math> जिन्हें अभी तक ऑर्डरिंग में कोई स्थान नहीं दिया गया है (या अपरिभाषित अगर पूरी तरह से <math>A</math> सफलतापूर्वक गिना गया है)। फिर <math>\langle a_\alpha\mid a_\alpha\text{ is defined}\rangle</math> की एक सुव्यवस्था है <math>A</math> इच्छा के अनुसार।</blockquote>
विकल्प के स्वयंसिद्ध से अच्छी तरह से आदेश देने वाला प्रमेय इस प्रकार है।<ref>{{Cite book |last=Jech |first=Thomas |title=Set Theory (Third Millennium Edition) |publisher=[[Springer Publishing|Springer]] |year=2002 |isbn=978-3-540-44085-7 |pages=48}}</ref><blockquote>जिस समुच्चयो को हम अच्छी तरह से व्यवस्थित करने का प्रयास कर रहे हैं उसे <math>A</math> होने दें, और <math>f</math> को <math>A</math> के गैर-रिक्त उपसमुच्चय के समूह के लिए एक विकल्प फलन होने दें। प्रत्येक क्रमसूचक <math>\alpha</math> के लिए, एक समुच्चयो <math>a_\alpha</math> को परिभाषित करें जो कि समुच्चयो करके <math>A</math> में है। <math>a_\alpha\ =\ f(A\setminus\{a_\xi\mid\xi<\alpha\})</math> गैर-रिक्त है, या यदि यह है तो <math>a_\alpha</math> को अपरिभाषित छोड़ दें। अर्थात्, <math>A</math> को <math>A</math> के उन अवयवो के समुच्चयो से चुना जाता है जिन्हें अभी तक क्रम में कोई स्थान नहीं दिया गया है (या यदि <math>A</math> की संपूर्णता सफलतापूर्वक गणना की गई है तो अपरिभाषित है)। फिर <math>\langle a_\alpha\mid a_\alpha\text{ is defined}\rangle</math> वांछित के अनुसार <math>A</math> का एक सुव्यवस्थित क्रम है।</blockquote>


== पसंद के स्वयंसिद्ध प्रमाण ==
== विकल्प के स्वयंसिद्ध प्रमाण                                                                                                                                   ==
पसंद के स्वयंसिद्ध को सुव्यवस्थित प्रमेय से निम्नानुसार सिद्ध किया जा सकता है।
विकल्प के स्वयंसिद्ध को सुव्यवस्थित प्रमेय से निम्नानुसार सिद्ध किया जा सकता है।


: गैर-खाली सेटों के संग्रह के लिए एक विकल्प कार्य करने के लिए, <math>E</math>, सेट के संघ को अंदर ले जाएं <math>E</math> और इसे कॉल करें <math>X</math>. का एक सुव्यवस्थित अस्तित्व है <math>X</math>; होने देना <math>R</math> ऐसा आदेश हो। वह कार्य जो प्रत्येक सेट के लिए <math>S</math> का <math>E</math> का सबसे छोटा तत्व जोड़ता है <math>S</math>, जैसा कि (के लिए प्रतिबंध <math>S</math> का) <math>R</math>, संग्रह के लिए एक विकल्प कार्य है <math>E</math>.
:गैर-रिक्त समुच्चयो के संग्रह के लिए एक विकल्प फलन बनाने के लिए, <math>E</math>, <math>E</math> में समुच्चयो का संघ लें और इसे <math>X</math> कहें। <math>X</math> का एक सुव्यवस्थित क्रम मौजूद है; मान लीजिए कि <math>R</math> ऐसा क्रमबद्ध है। वह फलन जो <math>E</math> के प्रत्येक समुच्चय <math>S</math> के लिए <math>S</math> के सबसे छोटे तत्व को जोड़ता है, जैसा कि (<math>S</math> के प्रतिबंध) <math>R</math> द्वारा आदेशित किया गया है, संग्रह <math>E</math> के लिए एक विकल्प फलन है


इस प्रमाण का एक अनिवार्य बिंदु यह है कि इसमें केवल एक मनमाना विकल्प शामिल है, वह है <math>R</math>; प्रत्येक सदस्य के लिए सुव्यवस्थित प्रमेय लागू करना <math>S</math> का <math>E</math> अलग से काम नहीं करेगा, क्योंकि प्रमेय केवल एक अच्छी व्यवस्था के अस्तित्व पर जोर देता है, और प्रत्येक के लिए चयन करता है <math>S</math> एक सुव्यवस्थित क्रम के लिए उतने ही विकल्पों की आवश्यकता होगी जितनी प्रत्येक में से एक तत्व को चुनने में <math>S</math>. खासकर अगर <math>E</math> पसंद के स्वयंसिद्ध के बिना ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के स्वयंसिद्धों के तहत सभी बेशुमार रूप से कई विकल्पों को बनाने की अनुमति नहीं है।
इस प्रमाण का अनिवार्य बिंदु यह है कि इसमें केवल इच्छानुसार विकल्प सम्मिलित है, वह <math>R</math> है ; प्रत्येक सदस्य के लिए सुव्यवस्थित प्रमेय प्रयुक्त करना <math>S</math> का <math>E</math> अलग से काम नहीं करेगा, क्योंकि प्रमेय केवल अच्छी व्यवस्था के अस्तित्व पर बल देता है, और प्रत्येक के लिए चयन करता है <math>S</math> सुव्यवस्थित क्रम के लिए उतने ही विकल्पों की आवश्यकता होगी जितनी प्रत्येक <math>S</math> में से अवयव को चुनने में .अधिकांशतः यदि <math>E</math> विकल्प के स्वयंसिद्ध के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के स्वयंसिद्धों के अनुसार सभी सामान्यतः कई विकल्पों को बनाने की अनुमति नहीं है।


==टिप्पणियाँ==
==टिप्पणियाँ                                                                                                                                                                                                                                                                                                                                                                                   ==
<references/>
<references/>


 
==बाहरी सम्बन्ध==
==बाहरी कड़ियाँ==
* [[Mizar system]] proof: http://mizar.org/version/current/html/wellord2.html
* [[Mizar system]] proof: http://mizar.org/version/current/html/wellord2.html
[[Category: पसंद का स्वयंसिद्ध]] [[Category: गणित की नींव में प्रमेय]] [[Category: समुच्चय सिद्धांत के अभिगृहीत]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 27/01/2023]]
[[Category:Created On 27/01/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Missing redirects]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:गणित की नींव में प्रमेय]]
[[Category:पसंद का स्वयंसिद्ध]]
[[Category:समुच्चय सिद्धांत के अभिगृहीत]]

Latest revision as of 13:15, 4 August 2023

गणित में, सुव्यवस्थित प्रमेय, जिसे ज़र्मेलो के प्रमेय के रूप में भी जाना जाता है, कहता है कि प्रत्येक समुच्चय (गणित) को सुव्यवस्थित किया जा सकता है। समुच्चय X सख्त कुल क्रम द्वारा सुव्यवस्थित है यदि X के प्रत्येक गैर-रिक्त उपसमुच्चय में क्रम के अनुसार न्यूनतम अवयव है। ज़ोर्न लेम्मा के साथ सुव्यवस्थित प्रमेय सबसे महत्वपूर्ण गणितीय कथन हैं जो विकल्प के स्वयंसिद्ध के समान हैं (अधिकांशतः एसी कहा जाता है, यह भी देखें विकल्प का सिद्धांत § समकक्ष).[1][2] अर्नेस्ट ज़र्मेलो ने सुव्यवस्थित प्रमेय को सिद्ध करने के लिए आपत्तिजनक तार्किक सिद्धांत के रूप में विकल्प के स्वयंसिद्ध को प्रस्तुत किया था।[3] सुव्यवस्थित प्रमेय से यह निष्कर्ष निकाला जा सकता है कि प्रत्येक समुच्चय ट्रांसफिनिट इंडक्शन के लिए अतिसंवेदनशील है, जिसे गणितज्ञों द्वारा शक्तिशाली तकनीक माना जाता है।[3] प्रमेय का प्रसिद्ध परिणाम बनच-तर्स्की विरोधाभास है।

इतिहास

जॉर्ज कैंटर ने सुव्यवस्थित प्रमेय को विचार का मौलिक सिद्धांत माना था।[4] चूँकि, अच्छी तरह से आदेश देने की कल्पना करना कठिन या असंभव माना जाता है ; इस तरह के विज़ुअलाइज़ेशन को विकल्प के स्वयंसिद्ध को सम्मिलित करना होगा।[5] 1904 में, ग्युला कोनिग ने यह सिद्ध करने का प्रमाणित किया कि इस तरह की सुव्यवस्थित व्यवस्था उपस्थित नहीं हो सकती है। कुछ हफ्ते बाद, फेलिक्स हॉसडॉर्फ ने प्रमाण में गलती पाई।[6] चूँकि, यह पता चला कि पहले क्रम के तर्क में सुक्रम प्रमेय विकल्प के स्वयंसिद्ध के समान है, इस अर्थ में कि विकल्प के स्वयंसिद्ध के साथ ज़र्मेलो-फ्रेंकेल अभिगृहीत सुक्रम प्रमेय को सिद्ध करने के लिए पर्याप्त हैं, और इसके विपरीत, ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध विकल्प के स्वयंसिद्ध के बिना, किन्तु अच्छी तरह से आदेश देने वाले प्रमेय के साथ विकल्प के स्वयंसिद्ध को सिद्ध करने के लिए पर्याप्त हैं। (यह ज़ोर्न के लेम्मा पर भी प्रयुक्त होता है।) दूसरे क्रम के तर्क में, चूँकि, अच्छी तरह से ऑर्डरिंग प्रमेय विकल्प के स्वयंसिद्ध से अधिक सशक्त है: अच्छी तरह से आदेश देने वाले प्रमेय से कोई विकल्प के स्वयंसिद्ध को कम कर सकता है, किन्तु विकल्प के स्वयंसिद्ध से कोई सुव्यवस्थित प्रमेय नहीं निकाल सकता है।[7] तीन कथनों और अंतर्ज्ञान के प्रति उनकी सापेक्ष सहजता के बारे में प्रसिद्ध कथन है: विकल्प का स्वयंसिद्ध स्पष्ट रूप से सत्य है, सुव्यवस्थित सिद्धांत स्पष्ट रूप से गलत है, और ज़ोर्न के लेम्मा के बारे में कौन बता सकता है?[8]

विकल्प के स्वयंसिद्ध से प्रमाण

विकल्प के स्वयंसिद्ध से अच्छी तरह से आदेश देने वाला प्रमेय इस प्रकार है।[9]

जिस समुच्चयो को हम अच्छी तरह से व्यवस्थित करने का प्रयास कर रहे हैं उसे होने दें, और को के गैर-रिक्त उपसमुच्चय के समूह के लिए एक विकल्प फलन होने दें। प्रत्येक क्रमसूचक के लिए, एक समुच्चयो को परिभाषित करें जो कि समुच्चयो करके में है। गैर-रिक्त है, या यदि यह है तो को अपरिभाषित छोड़ दें। अर्थात्, को के उन अवयवो के समुच्चयो से चुना जाता है जिन्हें अभी तक क्रम में कोई स्थान नहीं दिया गया है (या यदि की संपूर्णता सफलतापूर्वक गणना की गई है तो अपरिभाषित है)। फिर वांछित के अनुसार का एक सुव्यवस्थित क्रम है।

विकल्प के स्वयंसिद्ध प्रमाण

विकल्प के स्वयंसिद्ध को सुव्यवस्थित प्रमेय से निम्नानुसार सिद्ध किया जा सकता है।

गैर-रिक्त समुच्चयो के संग्रह के लिए एक विकल्प फलन बनाने के लिए, , में समुच्चयो का संघ लें और इसे कहें। का एक सुव्यवस्थित क्रम मौजूद है; मान लीजिए कि ऐसा क्रमबद्ध है। वह फलन जो के प्रत्येक समुच्चय के लिए के सबसे छोटे तत्व को जोड़ता है, जैसा कि ( के प्रतिबंध) द्वारा आदेशित किया गया है, संग्रह के लिए एक विकल्प फलन है

इस प्रमाण का अनिवार्य बिंदु यह है कि इसमें केवल इच्छानुसार विकल्प सम्मिलित है, वह है ; प्रत्येक सदस्य के लिए सुव्यवस्थित प्रमेय प्रयुक्त करना का अलग से काम नहीं करेगा, क्योंकि प्रमेय केवल अच्छी व्यवस्था के अस्तित्व पर बल देता है, और प्रत्येक के लिए चयन करता है सुव्यवस्थित क्रम के लिए उतने ही विकल्पों की आवश्यकता होगी जितनी प्रत्येक में से अवयव को चुनने में .अधिकांशतः यदि विकल्प के स्वयंसिद्ध के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के स्वयंसिद्धों के अनुसार सभी सामान्यतः कई विकल्पों को बनाने की अनुमति नहीं है।

टिप्पणियाँ

  1. Kuczma, Marek (2009). An introduction to the theory of functional equations and inequalities. Berlin: Springer. p. 14. ISBN 978-3-7643-8748-8.
  2. Hazewinkel, Michiel (2001). Encyclopaedia of Mathematics: Supplement. Berlin: Springer. p. 458. ISBN 1-4020-0198-3.
  3. 3.0 3.1 Thierry, Vialar (1945). Handbook of Mathematics. Norderstedt: Springer. p. 23. ISBN 978-2-95-519901-5.
  4. Georg Cantor (1883), “Ueber unendliche, lineare Punktmannichfaltigkeiten”, Mathematische Annalen 21, pp. 545–591.
  5. Sheppard, Barnaby (2014). The Logic of Infinity. Cambridge University Press. p. 174. ISBN 978-1-1070-5831-6.
  6. Plotkin, J. M. (2005), "Introduction to "The Concept of Power in Set Theory"", Hausdorff on Ordered Sets, History of Mathematics, vol. 25, American Mathematical Society, pp. 23–30, ISBN 9780821890516
  7. Shapiro, Stewart (1991). Foundations Without Foundationalism: A Case for Second-Order Logic. New York: Oxford University Press. ISBN 0-19-853391-8.
  8. Krantz, Steven G. (2002), "The Axiom of Choice", in Krantz, Steven G. (ed.), Handbook of Logic and Proof Techniques for Computer Science (in English), Birkhäuser Boston, pp. 121–126, doi:10.1007/978-1-4612-0115-1_9, ISBN 9781461201151
  9. Jech, Thomas (2002). Set Theory (Third Millennium Edition). Springer. p. 48. ISBN 978-3-540-44085-7.

बाहरी सम्बन्ध