बेथ संख्या

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

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

यहाँ $$\alpha$$ एक क्रमसूचक और $$\lambda$$ एक सीमा क्रमसूचक हैं।
 * $$\beth_0=\aleph_0,$$
 * $$\beth_{\alpha+1}=2^{\beth_{\alpha}},$$
 * $$\beth_{\lambda}=\sup{ \beth_{\alpha}:\alpha<\lambda },$$

गणित में, $$\beth_0=\aleph_0$$ किसी भी गणनीय अनंत समुच्चय का आकार है, जैसे कि प्राकृतिक संख्याओं के समुच्चय $$\mathbb{N}$$ इसीलिए  $$\beth_0=|\mathbb{N}|$$है।

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

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


 * $$\beth_0,\ \beth_1,\ \beth_2,\ \beth_3,\ \dots$$

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


 * $$\mathbb{N},\ \mathcal{P}(\mathbb{N}),\ \mathcal{P}(\mathcal{P}(\mathbb{N})),\ \mathcal{P}(\mathcal{P}(\mathcal{P}(\mathbb{N}))),\ \dots.$$

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

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


 * $$\beth_{\lambda}=\sup\{ \beth_{\alpha}:\alpha<\lambda \}.$$

वॉन नेमन विश्व $$V_{\omega+\alpha} $$की परिमाणता बेथ संख्या $$\beth_{\alpha} $$ के बराबर होती है।

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

इससे निम्नलिखित परिणाम होता है:
 * $$\beth_1 \ge \aleph_1.$$

इस तर्क को पुनरावृत्ति करते हुए $$\beth_\alpha \ge \aleph_\alpha$$ सभी अध्यादेशों के लिए $$\alpha$$.सातत्य परिकल्पना समतुल्य है
 * $$\beth_1=\aleph_1.$$

सामान्यकृत अव्याप्ति सिद्धांत कहता है कि बेथ नंबर्स का यह अनुक्रम उसी अनुक्रम के समान होता है जो आलेफ संख्या  के लिए है, अर्थात् $$\beth_\alpha = \aleph_\alpha$$ सभी आदेशिकों $$\alpha$$.के लिए ।

Short description/doc

Short description/doc

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


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

बेथ एक
गणनांक के साथ समुच्चय $$\beth_1$$सम्मिलित करना:


 * पारलौकिक संख्याएँ
 * अपरिमेय संख्याएँ
 * वास्तविक संख्या R
 * मिश्रितसंख्या C
 * अगणनीय वास्तविक संख्याएँ
 * यूक्लिडियन स्थान Rn
 * प्राकृतिक संख्याओं का घात समुच्चय
 * पूर्णांकों के अनुक्रमो का समुच्चय अर्थात् सभी फ़ंक्शन ' N → Z,', जिसे प्रायः 'ZN कहा जाता है
 * वास्तविक संख्याओं के अनुक्रमों का समुच्चय, RN
 * R से R तक सभीवास्तविक विश्लेषणात्मक कार्य का समुच्चय
 * R से R तक सभी निरंतर कार्यों का समुच्चय
 * वास्तविक संख्याओं के परिमित उपसमुच्चय का समुच्चय
 * C से C तक सभी विश्लेषणात्मक कार्यों का समुच्चय

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

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


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

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

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

$$\beth_\alpha=\beth_\alpha(\aleph_0).$$

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


 * $$\kappa \le \beth_\alpha(\mu).$$

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


 * $$\beth_\beta(\beth_\alpha(\kappa)) = \beth_{\alpha+\beta}(\kappa).$$

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


 * $$\beth_\beta(\kappa) = \beth_\beta(\mu)$$

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

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

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

यह भी देखें

 * अनंत संख्या
 * अगणनीय समुच्चय

ग्रन्थसूची

 * 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.
 * See pages 6 and 204–205 for beth numbers.
 * See page 109 for beth numbers.