वैश्विक विकल्प अवलम्बित: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित में, विशेष रूप से वर्ग सिद्धांतों में, वैश्विक [[पसंद का स्वयंसिद्ध|विकल्प का स्वयंसिद्ध]] विकल्प के स्वयंसिद्ध का '''एक''' मजबूत रूप है जो [[सेट (गणित)|सेट]] के [[उचित वर्ग|उचित वर्गों]] के साथ-साथ सेट के सेट पर भी प्रयुक्त होता है। अनौपचारिक रूप से यह बताता है कि एक साथ प्रत्येक गैर-[[खाली सेट]] से '''एक''' तत्व चुन सकता है।
गणित में, विशेष रूप से वर्ग सिद्धांतों में, वैश्विक [[पसंद का स्वयंसिद्ध|विकल्प का स्वयंसिद्ध]] विकल्प के स्वयंसिद्ध का '''एक''' शक्तिशाली रूप है जो [[सेट (गणित)|समुच्चय]] के [[उचित वर्ग|उचित वर्गों]] के साथ-साथ समुच्चय के समुच्चय पर भी प्रयुक्त होता है। अनौपचारिक रूप से यह बताता है कि एक साथ प्रत्येक गैर-[[खाली सेट|खाली समुच्चय]] से '''एक''' तत्व चुन सकता है।


== कथन ==
== कथन ==


वैश्विक विकल्प का स्वयंसिद्ध बताता है कि वैश्विक विकल्प फलन या बॉरबाकी ताऊ फलन τ है, जिसका अर्थ है कि प्रत्येक गैर-खाली सेट z के लिए, τ(z) z का तत्व है।
वैश्विक विकल्प का स्वयंसिद्ध बताता है कि वैश्विक विकल्प फलन या बॉरबाकी ताऊ फलन τ है, जिसका अर्थ है कि प्रत्येक गैर-खाली समुच्चय z के लिए, τ(z) z का तत्व है।


वैश्विक विकल्प के स्वयंसिद्ध को सीधे [[ZFC|जेडएफसी]] की भाषा में नहीं कहा जा सकता है ([[अर्नेस्ट ज़र्मेलो]] सेट थ्योरी विथ द एक्सिओम ऑफ़ विकल्प), क्योंकि च्वाइस फंक्शन τ उचित वर्ग है और जेडएफसी में कोई भी कक्षाओं की मात्रा निर्धारित नहीं कर सकता है। इसे जेडएफसी की भाषा में नया फलन प्रतीक τ जोड़कर कहा जा सकता है, संपत्ति के साथ कि τ वैश्विक विकल्प फलन है। यह जेडएफसी का [[रूढ़िवादी विस्तार]] है: इस विस्तारित सिद्धांत का प्रत्येक सिद्ध कथन जो जेडएफसी की भाषा में कहा जा सकता है, जेडएफसी में पहले से ही सिद्ध है। {{harv|Fraenkel|Bar-Hillel|Levy|1973|loc=p.72}}. वैकल्पिक रूप से, कर्ट गोडेल | गोडेल ने दिखाया कि निर्माण के स्वयंसिद्ध को देखते हुए स्पष्ट (हालांकि कुछ जटिल) विकल्प फलन τ को जेडएफसी की भाषा में लिखा जा सकता है, इसलिए कुछ अर्थों में निर्माण क्षमता का स्वयंसिद्ध वैश्विक विकल्प (वास्तव में, (जेडएफसी) साबित करता है कि) यूनरी फलन प्रतीक τ द्वारा विस्तारित भाषा में, निर्माण के स्वयंसिद्ध का अर्थ है कि यदि τ को स्पष्ट रूप से निश्चित फलन कहा जाता है, तो यह τ वैश्विक विकल्प फलन है। और फिर वैश्विक विकल्प नैतिक रूप से, τ को गवाह के रूप में रखता है ( अंक शास्त्र))।
वैश्विक विकल्प के स्वयंसिद्ध को सीधे [[ZFC|जेडएफसी]] की भाषा में नहीं कहा जा सकता है ([[अर्नेस्ट ज़र्मेलो]] समुच्चय थ्योरी विथ द एक्सिओम ऑफ़ विकल्प), क्योंकि विकल्प फलन τ उचित वर्ग है और जेडएफसी में कोई भी कक्षाओं की मात्रा निर्धारित नहीं कर सकता है। इसे जेडएफसी की भाषा में नया फलन प्रतीक τ जोड़कर कहा जा सकता है, संपत्ति के साथ कि τ वैश्विक विकल्प फलन है। यह जेडएफसी का [[रूढ़िवादी विस्तार]] है: इस विस्तारित सिद्धांत का प्रत्येक सिद्ध कथन जो जेडएफसी की भाषा में कहा जा सकता है, जेडएफसी में पहले से ही सिद्ध है। {{harv|फ्रेंकेल|बार-हिल्लेल|लेवी|1973|loc=पी.72}}. वैकल्पिक रूप से, कर्ट गोडेल | गोडेल ने दिखाया कि निर्माण के स्वयंसिद्ध को देखते हुए स्पष्ट (चूंकि कुछ जटिल) विकल्प फलन τ को जेडएफसी की भाषा में लिखा जा सकता है, इसलिए कुछ अर्थों में निर्माण क्षमता का स्वयंसिद्ध वैश्विक विकल्प (वास्तव में, (जेडएफसी) साबित करता है कि) यूनरी फलन प्रतीक τ द्वारा विस्तारित भाषा में, निर्माण के स्वयंसिद्ध का अर्थ है कि यदि τ को स्पष्ट रूप से निश्चित फलन कहा जाता है, तो यह τ वैश्विक विकल्प फलन है। और फिर वैश्विक विकल्प नैतिक रूप से, τ को गवाह के रूप में रखता है ( अंक शास्त्र))।


वॉन न्यूमैन-बर्नेज़-गोडेल सेट थ्योरी (NBG) और मोर्स-केली सेट थ्योरी की भाषा में, वैश्विक विकल्प के स्वयंसिद्ध को सीधे कहा जा सकता है {{harv|Fraenkel|Bar-Hillel|Levy|1973|loc=p.133}}, और कई अन्य बयानों के बराबर है:
वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय थ्योरी (एनबीजी) और मोर्स-केली समुच्चय थ्योरी की भाषा में, वैश्विक विकल्प के स्वयंसिद्ध को सीधे कहा जा सकता है {{harv|फ्रेंकेल|बार-हिल्लेल|लेवी|1973|loc=पी.133}}, और कई अन्य बयानों के सामान्य है:


* गैर-खाली सेटों के प्रत्येक वर्ग में विकल्प कार्य होता है।
* गैर-खाली समुच्चयों के प्रत्येक वर्ग में विकल्प कार्य होता है।
* V \ {∅} का [[पसंद समारोह|विकल्प फलन]] है (जहाँ V वॉन न्यूमैन ब्रह्मांड है)।
* V \ {∅} का [[पसंद समारोह|विकल्प फलन]] है (जहाँ V वॉन न्यूमैन ब्रह्मांड है)।
* V का सुक्रम है।
* V का सुक्रम है।
* V और सभी क्रमिक संख्याओं के वर्ग के बीच आक्षेप है।
* V और सभी क्रमिक संख्याओं के वर्ग के बीच आक्षेप है।


वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत में, वैश्विक विकल्प 'सेट' (उचित वर्ग नहीं) के बारे में कोई परिणाम नहीं जोड़ता है, जो विकल्प के सामान्य स्वयंसिद्ध से निकाला जा सकता है।
वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत में, वैश्विक विकल्प 'समुच्चय' (उचित वर्ग नहीं) के बारे में कोई परिणाम नहीं जोड़ता है, जो विकल्प के सामान्य स्वयंसिद्ध से निकाला जा सकता है।


वैश्विक विकल्प आकार की सीमा के स्वयंसिद्ध का परिणाम है।
वैश्विक विकल्प आकार की सीमा के स्वयंसिद्ध का परिणाम है।
Line 21: Line 21:


*{{citation|mr= 0345816|last= Fraenkel|first= Abraham A.|author-link=Abraham Fraenkel|last2= Bar-Hillel|first2= Yehoshua|author-link2=Yehoshua Bar-Hillel|last3= Levy|first3= Azriel|author-link3=Azriel Lévy|title= Foundations of set theory|edition= Second revised|series= Studies in Logic and the Foundations of Mathematics|volume= 67|publisher= North-Holland Publishing Co.|place= Amsterdam-London|year= 1973|isbn= 978-0720422702|url-access= registration|url= https://archive.org/details/foundationsofset0000frae}}
*{{citation|mr= 0345816|last= Fraenkel|first= Abraham A.|author-link=Abraham Fraenkel|last2= Bar-Hillel|first2= Yehoshua|author-link2=Yehoshua Bar-Hillel|last3= Levy|first3= Azriel|author-link3=Azriel Lévy|title= Foundations of set theory|edition= Second revised|series= Studies in Logic and the Foundations of Mathematics|volume= 67|publisher= North-Holland Publishing Co.|place= Amsterdam-London|year= 1973|isbn= 978-0720422702|url-access= registration|url= https://archive.org/details/foundationsofset0000frae}}
*[[Thomas Jech|Jech, Thomas]], 2003. ''Set Theory: The Third Millennium Edition, Revised and Expanded''. Springer. {{ISBN|3-540-44085-2}}.
*[[Thomas Jech|Jech, Thomas]], 2003. ''Set Theory: The Third Millennium Edition, Revised and Expanded''. Springer. {{ISBN|3-540-44085-2}}.
* [[John L. Kelley]]; <cite>General Topology</cite>; {{ISBN|0-387-90125-6}}
* [[John L. Kelley]]; <cite>General Topology</cite>; {{ISBN|0-387-90125-6}}


{{Mathematical logic}}
{{Mathematical logic}}
{{Set theory}}
{{Set theory}}
[[Category: समुच्चय सिद्धांत के अभिगृहीत]] [[Category: पसंद का स्वयंसिद्ध]]


 
[[Category:Collapse templates]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 13/02/2023]]
[[Category:Created On 13/02/2023]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:पसंद का स्वयंसिद्ध]]
[[Category:समुच्चय सिद्धांत के अभिगृहीत]]

Latest revision as of 12:41, 14 March 2023

गणित में, विशेष रूप से वर्ग सिद्धांतों में, वैश्विक विकल्प का स्वयंसिद्ध विकल्प के स्वयंसिद्ध का एक शक्तिशाली रूप है जो समुच्चय के उचित वर्गों के साथ-साथ समुच्चय के समुच्चय पर भी प्रयुक्त होता है। अनौपचारिक रूप से यह बताता है कि एक साथ प्रत्येक गैर-खाली समुच्चय से एक तत्व चुन सकता है।

कथन

वैश्विक विकल्प का स्वयंसिद्ध बताता है कि वैश्विक विकल्प फलन या बॉरबाकी ताऊ फलन τ है, जिसका अर्थ है कि प्रत्येक गैर-खाली समुच्चय z के लिए, τ(z) z का तत्व है।

वैश्विक विकल्प के स्वयंसिद्ध को सीधे जेडएफसी की भाषा में नहीं कहा जा सकता है (अर्नेस्ट ज़र्मेलो समुच्चय थ्योरी विथ द एक्सिओम ऑफ़ विकल्प), क्योंकि विकल्प फलन τ उचित वर्ग है और जेडएफसी में कोई भी कक्षाओं की मात्रा निर्धारित नहीं कर सकता है। इसे जेडएफसी की भाषा में नया फलन प्रतीक τ जोड़कर कहा जा सकता है, संपत्ति के साथ कि τ वैश्विक विकल्प फलन है। यह जेडएफसी का रूढ़िवादी विस्तार है: इस विस्तारित सिद्धांत का प्रत्येक सिद्ध कथन जो जेडएफसी की भाषा में कहा जा सकता है, जेडएफसी में पहले से ही सिद्ध है। (फ्रेंकेल, बार-हिल्लेल & लेवी 1973, पी.72). वैकल्पिक रूप से, कर्ट गोडेल | गोडेल ने दिखाया कि निर्माण के स्वयंसिद्ध को देखते हुए स्पष्ट (चूंकि कुछ जटिल) विकल्प फलन τ को जेडएफसी की भाषा में लिखा जा सकता है, इसलिए कुछ अर्थों में निर्माण क्षमता का स्वयंसिद्ध वैश्विक विकल्प (वास्तव में, (जेडएफसी) साबित करता है कि) यूनरी फलन प्रतीक τ द्वारा विस्तारित भाषा में, निर्माण के स्वयंसिद्ध का अर्थ है कि यदि τ को स्पष्ट रूप से निश्चित फलन कहा जाता है, तो यह τ वैश्विक विकल्प फलन है। और फिर वैश्विक विकल्प नैतिक रूप से, τ को गवाह के रूप में रखता है ( अंक शास्त्र))।

वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय थ्योरी (एनबीजी) और मोर्स-केली समुच्चय थ्योरी की भाषा में, वैश्विक विकल्प के स्वयंसिद्ध को सीधे कहा जा सकता है (फ्रेंकेल, बार-हिल्लेल & लेवी 1973, पी.133), और कई अन्य बयानों के सामान्य है:

  • गैर-खाली समुच्चयों के प्रत्येक वर्ग में विकल्प कार्य होता है।
  • V \ {∅} का विकल्प फलन है (जहाँ V वॉन न्यूमैन ब्रह्मांड है)।
  • V का सुक्रम है।
  • V और सभी क्रमिक संख्याओं के वर्ग के बीच आक्षेप है।

वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत में, वैश्विक विकल्प 'समुच्चय' (उचित वर्ग नहीं) के बारे में कोई परिणाम नहीं जोड़ता है, जो विकल्प के सामान्य स्वयंसिद्ध से निकाला जा सकता है।

वैश्विक विकल्प आकार की सीमा के स्वयंसिद्ध का परिणाम है।

संदर्भ

  • Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel (1973), Foundations of set theory, Studies in Logic and the Foundations of Mathematics, vol. 67 (Second revised ed.), Amsterdam-London: North-Holland Publishing Co., ISBN 978-0720422702, MR 0345816
  • Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
  • John L. Kelley; General Topology; ISBN 0-387-90125-6