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

From Vigyanwiki
No edit summary
 
Line 23: Line 23:
==बाहरी सम्बन्ध==
==बाहरी सम्बन्ध==
* [[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:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category:CS1 English-language sources (en)]]
[[Category: Machine Translated Page]]
[[Category:Created On 27/01/2023]]
[[Category:Created On 27/01/2023]]
[[Category:Vigyan Ready]]
[[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.

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