बेथ संख्या: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Infinite Cardinal number}} गणित में, विशेष रूप से सेट सिद्धांत में, बेथ संख्य...")
 
No edit summary
 
(13 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Infinite Cardinal number}}
{{short description|Infinite Cardinal number}}
गणित में, विशेष रूप से सेट सिद्धांत में, बेथ संख्याएं [[अनंत सेट]] कार्डिनल संख्याओं (जिन्हें ट्रांसफिनिट संख्याओं के रूप में भी जाना जाता है) का एक निश्चित अनुक्रम है, पारंपरिक रूप से लिखा गया है <math>\beth_0,\ \beth_1,\ \beth_2,\ \beth_3,\ \dots</math>, कहाँ <math>\beth</math> दूसरा [[हिब्रू वर्णमाला]] (शर्त (अक्षर)) है। बेथ संख्याएं [[एलेफ़ संख्या]]ओं से संबंधित हैं (<math>\aleph_0,\ \aleph_1,\ \dots</math>), लेकिन जब तक [[सामान्यीकृत सातत्य परिकल्पना]] सत्य नहीं होती, तब तक संख्याओं को अनुक्रमित किया जाता है <math>\aleph</math> जिन्हें अनुक्रमित नहीं किया गया है <math>\beth</math>.
गणित में, विशेष रूप से समुच्चय सिद्धांत में, ''''बेथ संख्याएँ'''' अनंत गणनांक संख्याओं का एक निश्चित अनुक्रम होते हैं, जो परम्परागत रूप से इस तरह लिखे जाते हैं:  <math>\beth_0, \beth_1, \beth_2, \beth_3, \dots</math>, यहाँ  <math>\beth</math> दूसरे हिब्रू वर्णमाला के द्वितीय अक्षर ('बेथ') को प्रतिनिधित्व करते है।जबकि  बेथ संख्याएँ अलेफ संख्याओं (<math>\aleph_0, \aleph_1, \dots</math>) से संबंधित होते हैं, परंतु यदि सामान्यकृत अव्याप्ति सिद्धांत सत्य न हो, तो ऐसे संख्याओं का सूचकांक <math>\aleph</math> से जुड़ा हुआ होता है जो <math>\beth</math> से जुड़ा नहीं होता है।


== परिभाषा ==
 
== परिभाष==
बेथ संख्याओं को [[ट्रांसफ़िनिट रिकर्सन]] द्वारा परिभाषित किया गया है:
बेथ संख्याओं को [[ट्रांसफ़िनिट रिकर्सन]] द्वारा परिभाषित किया गया है:


* <math>\beth_0=\aleph_0,</math>
*<math>\beth_0=\aleph_0,</math>
* <math>\beth_{\alpha+1}=2^{\beth_{\alpha}},</math>
*<math>\beth_{\alpha+1}=2^{\beth_{\alpha}},</math>
* <math>\beth_{\lambda}=\sup\{ \beth_{\alpha}:\alpha<\lambda \},</math>
*<math>\beth_{\lambda}=\sup{ \beth_{\alpha}:\alpha<\lambda },</math>
कहाँ <math>\alpha</math> एक क्रमसूचक है और <math>\lambda</math> एक [[सीमा क्रमसूचक]] है.<ref>{{cite book |last=Jech |first=Thomas |author-link= |date=2002 |title=समुच्चय सिद्धान्त|edition=3rd Millennium ed, rev. and expanded. Corrected 4th printing 2006|url= |location= |publisher=Springer |page=55  |isbn=978-3-540-44085-7}}</ref>
यहाँ <math>\alpha</math> एक क्रमसूचक और <math>\lambda</math> एक सीमा क्रमसूचक हैं।
कार्डिनल <math>\beth_0=\aleph_0</math> सेट जैसे किसी भी गणनीय अनंत [[सेट (गणित)]] की कार्डिनैलिटी है <math>\mathbb{N}</math> [[प्राकृतिक संख्या]]ओं का, ताकि  <math>\beth_0=|\mathbb{N}|</math>.
 
गणित में, <math>\beth_0=\aleph_0</math> किसी भी गणनीय अनंत समुच्चय का आकार है, जैसे कि प्राकृतिक संख्याओं के समुच्चय <math>\mathbb{N}</math> इसीलिए  <math>\beth_0=|\mathbb{N}|</math>है।


होने देना <math>\alpha</math> एक क्रमसूचक बनें, और <math>A_\alpha</math> कार्डिनलिटी के साथ एक सेट बनें <math>\beth_\alpha=|A_\alpha|</math>. तब,
यदि <math>\alpha</math> एक क्रमसूचक हो, और <math>A_\alpha</math>गणनांक के साथ एक समुच्चय  <math>\beth_\alpha=|A_\alpha|</math> हो तो, निम्नलिखित संबंध होते हैं:
*<math>\mathcal{P}(A_\alpha)</math> के [[ सत्ता स्थापित ]] को दर्शाता है <math>A_\alpha</math> (अर्थात, सभी उपसमुच्चयों का समुच्चय <math>A_\alpha</math>),
*<math>\mathcal{P}(A_\alpha)</math> के ऊर्जा समुच्चय <math>A_\alpha</math> को दर्शाता है, अर्थात, सभी उपसमुच्चयों का <math>A_\alpha</math>समुच्चय ,
*सेट <math>2^{A_\alpha} \subset \mathcal{P}(A_\alpha \times 2)</math> से सभी कार्यों के सेट को दर्शाता है <math>A_\alpha</math> {0,1} तक,
*यहां, हम एक समुच्चय  <math>2^{A_\alpha} \subset \mathcal{P}(A_\alpha \times 2)</math> को दर्शाते हैं जो सभी फलन समुच्चय <math>A_\alpha</math>से  {0,1} के मध्य ,
*कार्डिनल <math>2^{\beth_\alpha}</math> [[कार्डिनल घातांक]] का परिणाम है, और
*गणन <math>2^{\beth_\alpha}</math> [[कार्डिनल घातांक|गणन घातांक]] का परिणाम है, और
*<math>\beth_{\alpha+1}=2^{\beth_{\alpha}}=|2^{A_\alpha}|=|\mathcal{P}(A_\alpha)|</math> के पावर सेट की कार्डिनैलिटी है <math>A_\alpha</math>.
*<math>\beth_{\alpha+1}=2^{\beth_{\alpha}}=|2^{A_\alpha}|=|\mathcal{P}(A_\alpha)|</math> के ऊर्जा समुच्चय <math>A_\alpha</math>का गणनांक है।


इस परिभाषा को देखते हुए,
इस परिभाषा को देखते हुए,


:<math>\beth_0,\ \beth_1,\ \beth_2,\ \beth_3,\ \dots</math>
:<math>\beth_0,\ \beth_1,\ \beth_2,\ \beth_3,\ \dots</math>
क्रमशः की प्रमुखताएँ हैं
क्रमशः की गणनात्मकताएं हैं  


:<math>\mathbb{N},\ \mathcal{P}(\mathbb{N}),\ \mathcal{P}(\mathcal{P}(\mathbb{N})),\ \mathcal{P}(\mathcal{P}(\mathcal{P}(\mathbb{N}))),\ \dots.</math>
:<math>\mathbb{N},\ \mathcal{P}(\mathbb{N}),\ \mathcal{P}(\mathcal{P}(\mathbb{N})),\ \mathcal{P}(\mathcal{P}(\mathcal{P}(\mathbb{N}))),\ \dots.</math>
ताकि दूसरा बेथ नंबर हो <math>\beth_1</math> के बराबर है <math>\mathfrak c</math>, सातत्य की कार्डिनैलिटी ([[वास्तविक संख्या]]ओं के सेट की कार्डिनैलिटी), और तीसरी बेथ संख्या <math>\beth_2</math> सातत्य के शक्ति सेट की प्रमुखता है।
समुच्चय सिद्धांत में, बेथ संख्या <math>\beth_1</math> दूसरी बेथ संख्या है और यह <math>\mathfrak c</math>, के बराबर है, जो संख्या प्रकार की व्याप्ति की परिमाणता है। और इसके अतिरिक्त , तीसरी बेथ संख्या <math>\beth_2</math> व्याप्ति की शक्ति समुच्चय की परिमाणता है।


कैंटर के प्रमेय के कारण, पूर्ववर्ती अनुक्रम में प्रत्येक सेट की कार्डिनैलिटी उसके पूर्ववर्ती की तुलना में सख्ती से अधिक है। अनंत सीमा वाले ऑर्डिनल्स के लिए, λ, संबंधित बेथ संख्या को λ से बिल्कुल छोटे सभी ऑर्डिनल्स के लिए बेथ संख्याओं के सर्वोच्च के रूप में परिभाषित किया गया है:
कैंटर के सिद्धांत के कारण, पिछले अनुक्रम में प्रत्येक समुच्चय की परिमाणता पूर्व वाले समुच्चय से स्पष्ट रूप से अधिक होती है। यहाँ, प्रत्येक समुच्चय की परिमाणता बेथ संख्या होती है अनंत सीमा λ के लिए, संबंधित बेथ संख्या, λ को उस सभी क्रमसूचक से अधिक सभी बेथ संख्याओं का उच्चतम सीमा के रूप में परिभाषित किया जाता है:


:<math>\beth_{\lambda}=\sup\{ \beth_{\alpha}:\alpha<\lambda \}.</math>
:<math>\beth_{\lambda}=\sup\{ \beth_{\alpha}:\alpha<\lambda \}.</math>
कोई यह भी दिखा सकता है कि वॉन न्यूमैन ब्रह्मांड <math>V_{\omega+\alpha} </math> प्रमुखता है <math>\beth_{\alpha} </math>.
वॉन नेमन विश्व <math>V_{\omega+\alpha} </math>की परिमाणता बेथ संख्या <math>\beth_{\alpha} </math> के बराबर होती है।                                 
 
==एलेफ़ संख्याओं से संबंध==
चयन के अभिगृहीत को ध्यान में रखते हुए, अनंत परिमाणताएँ रेखांकित होती हैं; कोई भी दो परिमाणताएँ पूर्वानुमानित नहीं हो सकती हैं। इसलिए, परिभाषा के अनुसार, कोई भी अनंत परिमाणता <math>\aleph_1</math>और  <math>\aleph_0</math>के बीच नहीं हो सकती है, 


== एलेफ़ संख्याओं से संबंध ==
इससे निम्नलिखित परिणाम होता है
पसंद के सिद्धांत को मानते हुए, अनंत कार्डिनैलिटी कुल क्रम हैं; कोई भी दो प्रमुखताएँ तुलनीय होने में असफल नहीं हो सकतीं। इस प्रकार, चूँकि परिभाषा के अनुसार कोई भी अनंत कार्डिनैलिटी बीच में नहीं है <math>\aleph_0</math> और <math>\aleph_1</math>, यह इस प्रकार है कि
:<math>\beth_1 \ge \aleph_1.</math>
:<math>\beth_1 \ge \aleph_1.</math>
इस तर्क को दोहराने से ([[अनंत प्रेरण]] देखें) परिणाम मिलता है
इस तर्क को पुनरावृत्ति करते हुए
  <math>\beth_\alpha \ge \aleph_\alpha</math> सभी अध्यादेशों के लिए <math>\alpha</math>.
  <math>\beth_\alpha \ge \aleph_\alpha</math>  
सभी अध्यादेशों के लिए <math>\alpha</math>.सातत्य परिकल्पना समतुल्य है
:<math>\beth_1=\aleph_1.</math>
सामान्यकृत अव्याप्ति सिद्धांत  कहता है कि बेथ नंबर्स का यह अनुक्रम उसी अनुक्रम के समान होता है जो आलेफ संख्या  के लिए है, अर्थात्
<math>\beth_\alpha = \aleph_\alpha</math> 
सभी आदेशिकों <math>\alpha</math>.के लिए ।
 
[[index.php?title=Category:Pages with script errors|Short description/doc]]
 
[[index.php?title=Category:Template documentation pages|Short description/doc]]
 
 
 
 


सातत्य परिकल्पना समतुल्य है
:<math>\beth_1=\aleph_1.</math>
सातत्य परिकल्पना#सामान्यीकृत सातत्य परिकल्पना कहती है कि इस प्रकार परिभाषित बेथ संख्याओं का अनुक्रम एलेफ़ संख्याओं के अनुक्रम के समान है, अर्थात,
<math>\beth_\alpha = \aleph_\alpha</math> सभी अध्यादेशों के लिए <math>\alpha</math>.


== विशिष्ट कार्डिनल्स ==
==विशिष्ट गणन्स==


=== बेथ शून्य ===
===बेथ शून्य===
चूँकि इसे परिभाषित किया गया है <math>\aleph_0</math>, या [[एलेफ़ नल]], कार्डिनैलिटी के साथ सेट होता है <math>\beth_0</math> शामिल करना:
चूँकि इसे <math>\aleph_0</math>परिभाषित किया गया है, या [[एलेफ़ नल|एलेफ़ शून्य]], कार्डिनैलिटी के साथ समुच्चय  <math>\beth_0</math> होता है:


*प्राकृतिक संख्याएँ N
*प्राकृतिक संख्याएँ N
Line 50: Line 63:
*[[बीजगणितीय संख्या]]एँ
*[[बीजगणितीय संख्या]]एँ
*गणनायोग्य संख्याएँ और संगणनीय समुच्चय
*गणनायोग्य संख्याएँ और संगणनीय समुच्चय
*[[पूर्णांक]]ों के परिमित समुच्चय का समुच्चय
*पूर्णांकों  के परिमित समुच्चयो का समुच्चय
*पूर्णांकों के [[मल्टीसेट]] का सेट
*पूर्णांकों के बहु[[मल्टीसेट|समुच्चय]] का समुच्चय
*पूर्णांकों के परिमित अनुक्रमों का समुच्चय
*पूर्णांकों के परिमित अनुक्रमों का समुच्चय


=== बेथ एक ===
===बेथ एक===


{{main|cardinality of the continuum}}
{{main|cardinality of the continuum}}


कार्डिनैलिटी के साथ सेट <math>\beth_1</math> शामिल करना:
गणनांक के साथ समुच्चय  <math>\beth_1</math>सम्मिलित करना:


* [[पारलौकिक संख्याएँ]]
*[[पारलौकिक संख्याएँ]]
* [[अपरिमेय संख्या]]एँ
*[[अपरिमेय संख्या]]एँ
*वास्तविक संख्या आर
*वास्तविक संख्या R
*संमिश्र संख्या C
*मिश्रितसंख्या C
*[[अगणनीय वास्तविक संख्या]]एँ
*[[अगणनीय वास्तविक संख्या]]एँ
*[[ यूक्लिडियन स्थान ]] आर<sup>n</sup>
*[[ यूक्लिडियन स्थान | यूक्लिडियन स्थान]] R<sup>n</sup>
*प्राकृतिक संख्याओं का घात समुच्चय (प्राकृतिक संख्याओं के सभी उपसमूहों का समुच्चय)
*प्राकृतिक संख्याओं का घात समुच्चय  
*पूर्णांकों के [[अनुक्रम]]ों का सेट (अर्थात् सभी फ़ंक्शन 'एन' → 'जेड', जिसे अक्सर 'जेड' कहा जाता है)<sup></sup>)
*पूर्णांकों के [[अनुक्रम|अनुक्रमो]] का समुच्चय अर्थात् सभी फ़ंक्शन ' '''N''' → '''Z''',', जिसे प्रायः ''''Z<sup>N</sup>''' कहा जाता है
*वास्तविक संख्याओं के अनुक्रमों का समुच्चय, R<sup>एन</sup>
*वास्तविक संख्याओं के अनुक्रमों का समुच्चय, '''R<sup>N</sup>'''
*आर से आर तक सभी [[वास्तविक [[विश्लेषणात्मक कार्य]]]]ों का सेट
*'''R''' से '''R''' तक सभीवास्तविक [[विश्लेषणात्मक कार्य]] का समुच्चय
*आर से आर तक सभी निरंतर कार्यों का सेट
*'''R''' से '''R'''  तक सभी निरंतर कार्यों का समुच्चय
*वास्तविक संख्याओं के परिमित उपसमुच्चय का समुच्चय
*वास्तविक संख्याओं के परिमित उपसमुच्चय का समुच्चय
*सी से सी तक सभी विश्लेषणात्मक कार्यों का सेट ([[ होलोमार्फिक ]] फ़ंक्शन)
*'''C''' से '''C''' तक सभी विश्लेषणात्मक कार्यों का समुच्चय


=== बेथ दो ===
===बेथ दो===
<math>\beth_2</math> (दो के साथ उच्चारित) को '2' भी कहा जाता है<sup>c</sup>' (उच्चारण में c की घात दो होती है)।
<math>\beth_2</math> को ''''2<sup>''c''</sup>''' भी कहा जाता है' उच्चारण में c की घात दो होती है।


कार्डिनैलिटी के साथ सेट <math>\beth_2</math> शामिल करना:
गणनांक के साथ समुच्चय  <math>\beth_2</math> सम्मिलित करना:


* वास्तविक संख्याओं के समुच्चय का घात समुच्चय, इसलिए यह वास्तविक रेखा के उपसमुच्चयों की संख्या, या वास्तविक संख्याओं के समुच्चयों की संख्या है
*वास्तविक संख्याओं के समुच्चय का घात समुच्चय, इसलिए यह वास्तविक रेखा के उपसमुच्चयों की संख्या, या वास्तविक संख्याओं के समुच्चयों की संख्या है
* प्राकृतिक संख्याओं के समुच्चय के घात समुच्चय का घात समुच्चय
*प्राकृतिक संख्याओं के समुच्चयो के घात समुच्चय
* आर से आर (आर) तक सभी [[फ़ंक्शन (गणित)]] का [[सबसेट]]<sup>आर</sup>)
*'''R''' से '''R''' तक सभी फलन का [[सबसेट|सबसमुच्चय]]  
* आर से सभी कार्यों का सेट<sup></sup> से 'R'<sup>n</sup>
*'''R'''<sup>''m''</sup> से '''R'''<sup>''n''</sup> सभी कार्यों का समुच्चय
* प्राकृतिक संख्याओं के सेट से सभी कार्यों के सेट की शक्ति सेट, इसलिए यह प्राकृतिक संख्याओं के अनुक्रमों के सेट की संख्या है
*प्राकृतिक संख्याओं के समुच्चय से सभी कार्यों के समुच्चय की शक्ति समुच्चय, इसलिए यह प्राकृतिक संख्याओं के अनुक्रमों के समुच्चय की संख्या है
* 'आर', 'क्यू' और 'एन' का स्टोन-सेच कॉम्पेक्टिफिकेशन
*''''R''', '''Q'''<nowiki/>' और ''''N'''<nowiki/>' का स्टोन-सेच कॉम्पेक्टिफिकेशन
* 'आर' में नियतात्मक [[भग्न]] का सेट<sup>n</sup> <ref name=":3">{{Cite journal|title= नियतात्मक भग्न के लिए हॉसडॉर्फ आयाम प्रमेय का एक सामान्यीकरण|year=2021 |doi=10.3390/math9131546 |doi-access=free |last1=Soltanifar |first1=Mohsen |journal=Mathematics |volume=9 |issue=13 |page=1546 }}</ref>
*''''R'''<sup>''n''</sup>' में नियतात्मक फ्रैक्टल का समुच्चय  <ref name=":3">{{Cite journal|title= नियतात्मक भग्न के लिए हॉसडॉर्फ आयाम प्रमेय का एक सामान्यीकरण|year=2021 |doi=10.3390/math9131546 |doi-access=free |last1=Soltanifar |first1=Mohsen |journal=Mathematics |volume=9 |issue=13 |page=1546 }}</ref>
* आर में यादृच्छिक फ्रैक्टल्स का सेट<sup>n</sup> <ref name=":4">{{Cite journal|title= रैंडम फ्रैक्टल्स के लिए हॉसडॉर्फ आयाम प्रमेय का दूसरा सामान्यीकरण|year=2022 |doi=10.3390/math10050706 |doi-access=free |last1=Soltanifar |first1=Mohsen |journal=Mathematics |volume=10 |issue=5 |page=706 }}</ref>
*'''R'''<sup>''n''</sup> में यादृच्छिक फ्रैक्टल्स का समुच्चय  <ref name=":4">{{Cite journal|title= रैंडम फ्रैक्टल्स के लिए हॉसडॉर्फ आयाम प्रमेय का दूसरा सामान्यीकरण|year=2022 |doi=10.3390/math10050706 |doi-access=free |last1=Soltanifar |first1=Mohsen |journal=Mathematics |volume=10 |issue=5 |page=706 }}</ref>




=== बेथ ओमेगा ===
===बेथ ओमेगा===
<math>\beth_\omega</math> (उच्चारण बेथ ओमेगा) सबसे छोटी, [[बेशुमार]] [[मजबूत सीमा कार्डिनल]] है।
<math>\beth_\omega</math> को बेथ ओमेगा कहते हैं, जो सबसे छोटी अगणित सबल सीमा संख्या होती है।


==सामान्यीकरण==
==सामान्यीकरण==
अधिक सामान्य प्रतीक <math>\beth_\alpha(\kappa)</math>, ऑर्डिनल्स α और कार्डिनल्स κ के लिए, कभी-कभी उपयोग किया जाता है। इसे इसके द्वारा परिभाषित किया गया है:
कभी-कभी, बेथ संख्या  <math>\beth_\alpha(\kappa)</math>,को अधिक सामान्य चिह्न  α के रूप में उपयोग किया जाता है जहां κ एक गणन है जिसे परिभाषित किया गया है
:<math>\beth_0(\kappa)=\kappa,</math>
:<math>\beth_0(\kappa)=\kappa,</math>
:<math>\beth_{\alpha+1}(\kappa)=2^{\beth_\alpha(\kappa)},</math>
:<math>\beth_{\alpha+1}(\kappa)=2^{\beth_\alpha(\kappa)},</math>
:<math>\beth_\lambda(\kappa)=\sup\{ \beth_\alpha(\kappa):\alpha<\lambda \}</math> यदि λ एक सीमा क्रमसूचक है।
:<math>\beth_\lambda(\kappa)=\sup\{ \beth_\alpha(\kappa):\alpha<\lambda \}</math>  
:यदि λ एक सीमा क्रमसूचक है। तो


इसलिए
<math>\beth_\alpha=\beth_\alpha(\aleph_0).</math>
:<math>\beth_\alpha=\beth_\alpha(\aleph_0).</math>
 
ज़र्मेलो-फ्रेंकेल सेट सिद्धांत (जेडएफ) में, किसी भी कार्डिनल κ और μ के लिए, एक क्रमिक α होता है जैसे:
ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत (जेडएफ) में, किसी भी गणन κ और μ के लिए, एक क्रमिक संख्या α होता है जैसे:


:<math>\kappa \le \beth_\alpha(\mu).</math>
:<math>\kappa \le \beth_\alpha(\mu).</math>
और ZF में, किसी भी कार्डिनल κ और ऑर्डिनल्स α और β के लिए:
और ZF में, किसी भी गणन κ और गणनांक α और β के लिए:


:<math>\beth_\beta(\beth_\alpha(\kappa)) = \beth_{\alpha+\beta}(\kappa).</math>
:<math>\beth_\beta(\beth_\alpha(\kappa)) = \beth_{\alpha+\beta}(\kappa).</math>
नतीजतन, ZF में किसी भी कार्डिनल κ और μ के लिए पसंद के स्वयंसिद्ध के साथ या उसके बिना यूआर-तत्व अनुपस्थित हैं, समानता
परिणाम स्वरूप, ZF में अभाव में या चयन के अभिगृहीत के साथ, किसी भी परिमाणों  κ और μ के लिए निम्नलिखित समानता होती है:


:<math>\beth_\beta(\kappa) = \beth_\beta(\mu)</math>
:<math>\beth_\beta(\kappa) = \beth_\beta(\mu)</math>
सभी पर्याप्त रूप से बड़े ऑर्डिनल्स β के लिए मान्य है। अर्थात्, एक क्रमसूचक α है, जो प्रत्येक क्रमसूचक β ≥ α के लिए समानता रखता है।
सभी पर्याप्त रूप से बड़े गणनांक β के लिए मान्य है। अर्थात्, एक क्रमसूचक α है, जो प्रत्येक क्रमसूचक β ≥ α के लिए समानता रखता है।


यह उर-तत्वों (पसंद के स्वयंसिद्ध के साथ या उसके बिना) के साथ ज़र्मेलो-फ्रेंकेल सेट सिद्धांत में भी लागू होता है, बशर्ते कि उर-तत्व एक सेट बनाते हैं जो एक [[शुद्ध सेट]] के साथ समतुल्य होता है (एक सेट जिसका सकर्मक सेट #ट्रांसिटिव क्लोजर में कोई उर-तत्व नहीं होता है)। यदि पसंद का सिद्धांत मान्य है, तो उर-तत्वों का कोई भी सेट शुद्ध सेट के साथ समतुल्य है।
यह स्थिति जर्मेलो-फ्रैंकल समुच्चय सिद्धांत में भी सत्य है जहां यूर-तत्व  के साथ और उनके बिना भी अभिग्रहण के साथ, प्राय टूटे समुच्चय के साथ समान संख्या की जा सकती है। यदि अभिग्रहण के उपदान काम आता है, तो किसी भी यूर-तत्वों की समूह प्राय टूटे समुच्चय के साथ समान संख्या की होती है।


== [[बोरेल निर्धारण]] ==
==[[बोरेल निर्धारण]]==


बोरेल निर्धारण गणनीय सूचकांक के सभी बेथ के अस्तित्व से निहित है।<ref>{{cite web
बोरेल निर्धारण गणनीय सूचकांक के सभी बेथ के अस्तित्व से निहित है।<ref>{{cite web
Line 127: Line 141:




== यह भी देखें ==
==यह भी देखें==


* अनंत संख्या
*अनंत संख्या
* [[बेशुमार सेट]]
*[[बेशुमार सेट|अगणनीय समुच्चय]]


== संदर्भ ==
==संदर्भ==
<references />
<references />


Line 138: Line 152:
==ग्रन्थसूची==
==ग्रन्थसूची==


* [[Thomas Forster|T. E. Forster]], ''Set Theory with a Universal Set: Exploring an Untyped Universe'', [[Oxford University Press]], 1995 &mdash; ''Beth number'' is defined on page 5.
*[[Thomas Forster|T. E. Forster]], ''Set Theory with a Universal Set: Exploring an Untyped Universe'', [[Oxford University Press]], 1995 &mdash; ''Beth number'' is defined on page 5.
* {{ cite book | last=Bell | first=John Lane |author1link = John Lane Bell|author2=Slomson, Alan B. | year=2006 | title=Models and Ultraproducts: An Introduction | edition=reprint of 1974 | orig-year=1969 | publisher=[[Dover Publications]] | isbn=0-486-44979-3 }} See pages 6 and 204–205 for beth numbers.
*{{cite book | last=Bell | first=John Lane |author1link = John Lane Bell|author2=Slomson, Alan B. | year=2006 | title=Models and Ultraproducts: An Introduction | edition=reprint of 1974 | orig-year=1969 | publisher=[[Dover Publications]] | isbn=0-486-44979-3 }} See pages 6 and 204–205 for beth numbers.
* {{cite book
*{{cite book
   | last = Roitman
   | last = Roitman
   | first = Judith
   | first = Judith
Line 148: Line 162:
   | publisher = [[Virginia Commonwealth University]]
   | publisher = [[Virginia Commonwealth University]]
   | isbn = 978-0-9824062-4-3 }} See page 109 for beth numbers.
   | isbn = 978-0-9824062-4-3 }} See page 109 for beth numbers.
[[Category: कार्डिनल संख्या]] [[Category: अनंतता]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 20/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[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]]

Latest revision as of 13:36, 3 August 2023

गणित में, विशेष रूप से समुच्चय सिद्धांत में, 'बेथ संख्याएँ' अनंत गणनांक संख्याओं का एक निश्चित अनुक्रम होते हैं, जो परम्परागत रूप से इस तरह लिखे जाते हैं: , यहाँ दूसरे हिब्रू वर्णमाला के द्वितीय अक्षर ('बेथ') को प्रतिनिधित्व करते है।जबकि बेथ संख्याएँ अलेफ संख्याओं () से संबंधित होते हैं, परंतु यदि सामान्यकृत अव्याप्ति सिद्धांत सत्य न हो, तो ऐसे संख्याओं का सूचकांक से जुड़ा हुआ होता है जो से जुड़ा नहीं होता है।


परिभाष

बेथ संख्याओं को ट्रांसफ़िनिट रिकर्सन द्वारा परिभाषित किया गया है:

यहाँ एक क्रमसूचक और एक सीमा क्रमसूचक हैं।

गणित में, किसी भी गणनीय अनंत समुच्चय का आकार है, जैसे कि प्राकृतिक संख्याओं के समुच्चय इसीलिए है।

यदि एक क्रमसूचक हो, और गणनांक के साथ एक समुच्चय हो तो, निम्नलिखित संबंध होते हैं:

  • के ऊर्जा समुच्चय को दर्शाता है, अर्थात, सभी उपसमुच्चयों का समुच्चय ,
  • यहां, हम एक समुच्चय को दर्शाते हैं जो सभी फलन समुच्चय से {0,1} के मध्य ,
  • गणन गणन घातांक का परिणाम है, और
  • के ऊर्जा समुच्चय का गणनांक है।

इस परिभाषा को देखते हुए,

क्रमशः की गणनात्मकताएं हैं

समुच्चय सिद्धांत में, बेथ संख्या दूसरी बेथ संख्या है और यह , के बराबर है, जो संख्या प्रकार की व्याप्ति की परिमाणता है। और इसके अतिरिक्त , तीसरी बेथ संख्या व्याप्ति की शक्ति समुच्चय की परिमाणता है।

कैंटर के सिद्धांत के कारण, पिछले अनुक्रम में प्रत्येक समुच्चय की परिमाणता पूर्व वाले समुच्चय से स्पष्ट रूप से अधिक होती है। यहाँ, प्रत्येक समुच्चय की परिमाणता बेथ संख्या होती है अनंत सीमा λ के लिए, संबंधित बेथ संख्या, λ को उस सभी क्रमसूचक से अधिक सभी बेथ संख्याओं का उच्चतम सीमा के रूप में परिभाषित किया जाता है:

वॉन नेमन विश्व की परिमाणता बेथ संख्या के बराबर होती है।

एलेफ़ संख्याओं से संबंध

चयन के अभिगृहीत को ध्यान में रखते हुए, अनंत परिमाणताएँ रेखांकित होती हैं; कोई भी दो परिमाणताएँ पूर्वानुमानित नहीं हो सकती हैं। इसलिए, परिभाषा के अनुसार, कोई भी अनंत परिमाणता और के बीच नहीं हो सकती है,

इससे निम्नलिखित परिणाम होता है:

इस तर्क को पुनरावृत्ति करते हुए

 

सभी अध्यादेशों के लिए .सातत्य परिकल्पना समतुल्य है

सामान्यकृत अव्याप्ति सिद्धांत कहता है कि बेथ नंबर्स का यह अनुक्रम उसी अनुक्रम के समान होता है जो आलेफ संख्या के लिए है, अर्थात्

  

सभी आदेशिकों .के लिए ।

Short description/doc

Short description/doc




विशिष्ट गणन्स

बेथ शून्य

चूँकि इसे परिभाषित किया गया है, या एलेफ़ शून्य, कार्डिनैलिटी के साथ समुच्चय होता है:

  • प्राकृतिक संख्याएँ N
  • परिमेय संख्याएं Q
  • बीजगणितीय संख्याएँ
  • गणनायोग्य संख्याएँ और संगणनीय समुच्चय
  • पूर्णांकों के परिमित समुच्चयो का समुच्चय
  • पूर्णांकों के बहुसमुच्चय का समुच्चय
  • पूर्णांकों के परिमित अनुक्रमों का समुच्चय

बेथ एक

गणनांक के साथ समुच्चय सम्मिलित करना:

बेथ दो

को '2c भी कहा जाता है' उच्चारण में c की घात दो होती है।

गणनांक के साथ समुच्चय सम्मिलित करना:

  • वास्तविक संख्याओं के समुच्चय का घात समुच्चय, इसलिए यह वास्तविक रेखा के उपसमुच्चयों की संख्या, या वास्तविक संख्याओं के समुच्चयों की संख्या है
  • प्राकृतिक संख्याओं के समुच्चयो के घात समुच्चय
  • R से R तक सभी फलन का सबसमुच्चय
  • Rm से Rn सभी कार्यों का समुच्चय
  • प्राकृतिक संख्याओं के समुच्चय से सभी कार्यों के समुच्चय की शक्ति समुच्चय, इसलिए यह प्राकृतिक संख्याओं के अनुक्रमों के समुच्चय की संख्या है
  • 'R, Q' और 'N' का स्टोन-सेच कॉम्पेक्टिफिकेशन
  • 'Rn' में नियतात्मक फ्रैक्टल का समुच्चय [1]
  • Rn में यादृच्छिक फ्रैक्टल्स का समुच्चय [2]


बेथ ओमेगा

को बेथ ओमेगा कहते हैं, जो सबसे छोटी अगणित सबल सीमा संख्या होती है।

सामान्यीकरण

कभी-कभी, बेथ संख्या ,को अधिक सामान्य चिह्न α के रूप में उपयोग किया जाता है जहां κ एक गणन है जिसे परिभाषित किया गया है

यदि λ एक सीमा क्रमसूचक है। तो

ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत (जेडएफ) में, किसी भी गणन κ और μ के लिए, एक क्रमिक संख्या α होता है जैसे:

और ZF में, किसी भी गणन κ और गणनांक α और β के लिए:

परिणाम स्वरूप, ZF में अभाव में या चयन के अभिगृहीत के साथ, किसी भी परिमाणों κ और μ के लिए निम्नलिखित समानता होती है:

सभी पर्याप्त रूप से बड़े गणनांक β के लिए मान्य है। अर्थात्, एक क्रमसूचक α है, जो प्रत्येक क्रमसूचक β ≥ α के लिए समानता रखता है।

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

बोरेल निर्धारण

बोरेल निर्धारण गणनीय सूचकांक के सभी बेथ के अस्तित्व से निहित है।[3]


यह भी देखें

संदर्भ

  1. Soltanifar, Mohsen (2021). "नियतात्मक भग्न के लिए हॉसडॉर्फ आयाम प्रमेय का एक सामान्यीकरण". Mathematics. 9 (13): 1546. doi:10.3390/math9131546.
  2. Soltanifar, Mohsen (2022). "रैंडम फ्रैक्टल्स के लिए हॉसडॉर्फ आयाम प्रमेय का दूसरा सामान्यीकरण". Mathematics. 10 (5): 706. doi:10.3390/math10050706.
  3. Leinster, Tom (23 July 2021). "Borel Determinacy Does Not Require Replacement". The n-Category Café. The University of Texas at Austin. Retrieved 25 August 2021.


ग्रन्थसूची