बेट्टी संख्या

बीजगणितीय टोपोलॉजी में, बेट्टी संख्याओं का उपयोग एन-आयामी सरलीकृत परिसरों की कनेक्टिविटी के आधार पर टोपोलॉजिकल स्पेस स्थान को अलग करने के लिए किया जाता है। सबसे उचित परिमित-आयामी टोपोलॉजिकल रिक्त स्थान (जैसे कि कॉम्पैक्ट मैनिफोल्ड्स, परिमित सरलीकृत कॉम्प्लेक्स या सीडब्ल्यू कॉम्प्लेक्स) के लिए, बेट्टी संख्याओं का अनुक्रम कुछ बिंदु से 0 है (बेटी संख्याएं किसी स्थान के आयाम से ऊपर गायब हो जाती हैं), और वे सभी हैं परिमित.

तब''वेंबेटी संख्या एन के एक समूह की रैंक का प्रतिनिधित्व करती हैवेंहोमोलोजी समूह, निरूपित एचn, जो हमें बताता है कि सतह को दो टुकड़ों या 0-चक्र, 1-चक्र, आदि में अलग करने से पहले अधिकतम कितने कट लगाए जा सकते हैं। उदाहरण के लिए, यदि $$H_n(X) \cong 0$$ तब $$b_n(X) = 0$$, अगर $$H_n(X) \cong \mathbb{Z}$$ तब $$b_n(X) = 1$$, अगर $$H_n(X) \cong \mathbb{Z} \oplus \mathbb{Z}$$ तब $$b_n(X) = 2$$, अगर $$H_n(X) \cong \mathbb{Z} \oplus \mathbb{Z}\oplus \mathbb{Z}$$ तब $$b_n(X) = 3$$, आदि ध्यान दें कि केवल अनंत समूहों की रैंक पर विचार किया जाता है, उदाहरण के लिए यदि $$H_n(X) \cong \mathbb{Z}^k \oplus \mathbb{Z}/(2)$$, कहाँ $$\mathbb{Z}/(2)$$ तो, क्रम 2 का परिमित चक्रीय समूह है $$b_n(X) = k$$. समरूपता समूहों के ये सीमित घटक उनके मरोड़ उपसमूह हैं, और उन्हें मरोड़ गुणांक द्वारा दर्शाया जाता है।

बेट्टी नंबर शब्द हेनरी बेट्टी के बाद हेनरी पोंकारे द्वारा गढ़ा गया था। आधुनिक सूत्रीकरण एमी नोएथर#टोपोलॉजी में योगदान के कारण है। बेट्टी नंबरों का उपयोग आज सरल होमोलॉजी, कंप्यूटर विज्ञान और डिजिटल छवियों जैसे क्षेत्रों में किया जाता है।

ज्यामितीय व्याख्या
अनौपचारिक रूप से, kth बेट्टी संख्या एक टोपोलॉजिकल सतह पर k-आयामी छिद्रों की संख्या को संदर्भित करती है। एक k-आयामी छेद एक k-आयामी चक्र है जो (k+1)-आयामी वस्तु की सीमा नहीं है।

पहले कुछ बेट्टी नंबरों में 0-आयामी, 1-आयामी और 2-आयामी सरलीकृत परिसरों के लिए निम्नलिखित परिभाषाएँ हैं:


 * बी0 जुड़े हुए घटकों की संख्या है;
 * बी1 एक-आयामी या गोलाकार छिद्रों की संख्या है;
 * बी2 द्वि-आयामी रिक्तियों या गुहाओं की संख्या है।

इस प्रकार, उदाहरण के लिए, एक टोरस में एक जुड़ा हुआ सतह घटक होता है इसलिए बी0 = 1, दो गोलाकार छिद्र (एक भूमध्यरेखीय और एक आंचलिक और मध्याह्न रेखा) इसलिए बी1 = 2, और सतह के भीतर एक एकल गुहा घिरा हुआ है इसलिए बी2 = 1.

बी की एक और व्याख्याk के-आयामी वक्रों की अधिकतम संख्या है जिन्हें ऑब्जेक्ट के जुड़े रहने के दौरान हटाया जा सकता है। उदाहरण के लिए, दो 1-आयामी वक्र (भूमध्यरेखीय और मध्याह्न) को हटाने के बाद भी टोरस जुड़ा रहता है1 = 2. द्वि-आयामी बेट्टी संख्याओं को समझना आसान है क्योंकि हम दुनिया को 0, 1, 2 और 3-आयामों में देख सकते हैं।

औपचारिक परिभाषा
एक गैर-नकारात्मक पूर्णांक k के लिए, kth बेट्टी संख्या bkअंतरिक्ष X के (X) को एबेलियन समूह H के एबेलियन समूह (रैखिक रूप से स्वतंत्र जनरेटर की संख्या) की रैंक के रूप में परिभाषित किया गया हैk(X), X का kth होमोलॉजी समूह है। kth होमोलॉजी समूह है $$ H_{k} = \ker \delta_{k} / \mathrm{Im} \delta_{k+1} $$, द $$ \delta_{k}$$s सरल परिसर के सीमा मानचित्र और H की रैंक हैंk kवाँ बेट्टी संख्या है. समान रूप से, कोई इसे H के सदिश समष्टि आयाम के रूप में परिभाषित कर सकता हैk(X; 'Q') चूँकि इस मामले में समरूपता समूह 'Q' के ऊपर एक सदिश समष्टि है। सार्वभौमिक गुणांक प्रमेय, एक बहुत ही सरल मरोड़-मुक्त मामले में, दर्शाता है कि ये परिभाषाएँ समान हैं।

अधिक सामान्यतः, फ़ील्ड (गणित) F दिए जाने पर कोई भी व्यक्ति b को परिभाषित कर सकता हैk(एक्स, एफ), एफ में गुणांक के साथ केटी बेट्टी संख्या, एच के वेक्टर अंतरिक्ष आयाम के रूप मेंk(एक्स,एफ).

पोंकारे बहुपद
किसी सतह के पोंकारे बहुपद को उसकी बेट्टी संख्याओं के जनक फलन के रूप में परिभाषित किया गया है। उदाहरण के लिए, टोरस की बेट्टी संख्याएँ 1, 2, और 1 हैं; इस प्रकार इसका पोंकारे बहुपद है $$1+2x+x^2$$. यही परिभाषा किसी भी टोपोलॉजिकल स्पेस पर लागू होती है जिसमें एक अंतिम रूप से उत्पन्न समरूपता होती है।

एक टोपोलॉजिकल स्पेस को देखते हुए जिसमें एक सीमित रूप से उत्पन्न समरूपता है, पोंकारे बहुपद को बहुपद के माध्यम से, इसके बेट्टी संख्याओं के जनक कार्य के रूप में परिभाषित किया गया है जहां का गुणांक है $$x^n$$ है $$b_n$$.

ग्राफ़ की बेटी संख्या
एक टोपोलॉजिकल ग्राफ सिद्धांत G पर विचार करें जिसमें शीर्षों का सेट V है, किनारों का सेट E है, और जुड़े हुए घटकों का सेट C है। जैसा कि ग्राफ समरूपता  पर पेज में बताया गया है, इसके होमोलॉजी समूह इस प्रकार दिए गए हैं:
 * $$H_k(G) = \begin{cases}

\mathbb Z^{|C|}        & k=0 \\ \mathbb Z^{|E|+|C|-|V|} & k=1 \\ \{0\}                  & \text{otherwise} \end{cases}$$ इसे किनारों की संख्या पर गणितीय प्रेरण द्वारा सीधे सिद्ध किया जा सकता है। एक नया किनारा या तो 1-चक्रों की संख्या बढ़ाता है या जुड़े हुए घटकों की संख्या घटाता है।

इसलिए, शून्य-वें बेट्टी संख्या बी0(जी) |सी| के बराबर है, जो कि केवल जुड़े हुए घटकों की संख्या है। पहला बेट्टी नंबर बी1(जी) बराबर है |ई| + |सी| - |वी|. इसे चक्रीय संख्या  भी कहा जाता है - यह शब्द बेट्टी के पेपर से पहले गुस्ताव किरचॉफ द्वारा पेश किया गया था। सॉफ्टवेयर इंजीनियरिंग के अनुप्रयोग के लिए चक्रीय जटिलता देखें।

अन्य सभी बेट्टी संख्याएँ 0 हैं।

सरल सम्मिश्र की बेट्टी संख्याएँ
0-सिंप्लेक्स के साथ एक सरल कॉम्प्लेक्स पर विचार करें: ए, बी, सी, और डी, 1-सिंप्लेक्स: ई, एफ, जी, एच और आई, और एकमात्र 2-सिंप्लेक्स जे है, जो चित्र में छायांकित क्षेत्र है। यह स्पष्ट है कि इस चित्र में एक जुड़ा हुआ घटक है (बी)।0); एक छेद, जो कि अछायांकित क्षेत्र है (बी1); और कोई रिक्त स्थान या गुहा नहीं (बी2).

इसका मतलब है कि रैंक $$H_0$$ 1 है, की रैंक $$H_{1}$$ 1 है और रैंक है $$H_2$$ 0 है.

इस आंकड़े के लिए बेट्टी संख्या अनुक्रम 1, 1, 0, 0, ... है; पोंकारे बहुपद है $$1 + x\,$$.

प्रक्षेप्य तल की बेट्टी संख्या
प्रक्षेप्य तल P के समरूपता समूह हैं:
 * $$H_k(P) = \begin{cases} \mathbb Z & k=0 \\ \mathbb Z _ 2 & k=1 \\ \{0\} & \text{otherwise} \end{cases}$$

यहाँ, ज़ेड2 क्रम 2 का चक्रीय समूह है। 0वीं बेट्टी संख्या फिर से 1 है। हालाँकि, पहली बेट्टी संख्या 0 है। ऐसा इसलिए है क्योंकि H1(पी) एक परिमित समूह है - इसका कोई अनंत घटक नहीं है। समूह के परिमित घटक को पी का 'मरोड़ गुणांक' कहा जाता है। (तर्कसंगत) बेट्टी संख्याएं बीk(एक्स) होमोलॉजी समूहों में किसी भी मरोड़ उपसमूह को ध्यान में नहीं रखते हैं, लेकिन वे बहुत उपयोगी बुनियादी टोपोलॉजिकल इनवेरिएंट हैं। सबसे सहज शब्दों में, वे किसी को विभिन्न आयामों के छिद्रों की संख्या गिनने की अनुमति देते हैं।

यूलर विशेषता
एक परिमित सीडब्ल्यू-कॉम्प्लेक्स K के लिए हमारे पास है


 * $$\chi(K) = \sum_{i=0}^\infty(-1)^i b_i(K, F), \,$$

कहाँ $$\chi(K)$$ K और किसी फ़ील्ड F की यूलर विशेषता को दर्शाता है।

कार्टेशियन उत्पाद
हमारे पास किन्हीं दो स्थानों X और Y के लिए है


 * $$P_{X\times Y} = P_X P_Y ,$$

कहाँ $$P_X$$ X के पोंकारे बहुपद को दर्शाता है, (आमतौर पर, अनंत-आयामी स्थानों के लिए हिल्बर्ट-पोंकारे श्रृंखला), यानी, X की बेट्टी संख्याओं का जनक कार्य:
 * $$P_X(z) = b_0(X) + b_1(X)z + b_2(X)z^2 + \cdots, \,\!$$

कुनेथ प्रमेय देखें।

समरूपता
यदि X, n-आयामी मैनिफोल्ड है, तो समरूपता का आदान-प्रदान होता है $$k$$ और $$n - k$$, किसी के लिए $$k$$:
 * $$b_k(X) = b_{n-k}(X),$$

शर्तों के तहत (एक बंद और उन्मुख कई गुना); पोंकारे द्वंद्व देखें.

विभिन्न गुणांक
फ़ील्ड F पर निर्भरता केवल उसकी विशेषता (फ़ील्ड) के माध्यम से होती है। यदि समरूपता समूह मरोड़ (बीजगणित) | मरोड़ मुक्त हैं, तो बेट्टी संख्याएं एफ से स्वतंत्र हैं। एक अभाज्य संख्या के लिए विशेषता पी | विशेषता पी के लिए पी-मरोड़ और बेट्टी संख्या का कनेक्शन, द्वारा विस्तार से दिया गया है सार्वभौमिक गुणांक प्रमेय (टोर काम करता है पर आधारित, लेकिन एक साधारण मामले में)।

अधिक उदाहरण

 * 1) एक वृत्त के लिए बेट्टी संख्या अनुक्रम 1, 1, 0, 0, 0, ... है;
 * पोंकारे बहुपद है
 * $$1 + x\,$$.
 * 1) तीन- टोरस्र्स  के लिए बेट्टी संख्या अनुक्रम 1, 3, 3, 1, 0, 0, 0, ... है।
 * पोंकारे बहुपद है
 * $$(1 + x)^3 = 1 + 3x + 3x^2 + x^3\,$$.
 * 1) इसी तरह, एक एन-टोरस के लिए,
 * पोंकारे बहुपद है
 * $$(1 + x)^n \,$$ (कुनेथ प्रमेय के अनुसार), इसलिए बेट्टी संख्याएँ द्विपद गुणांक हैं।

उन स्थानों के लिए यह संभव है जो अनिवार्य रूप से अनंत-आयामी हैं, जिनमें गैर-शून्य बेट्टी संख्याओं का अनंत अनुक्रम हो। एक उदाहरण अनंत-आयामी जटिल प्रक्षेप्य स्थान है, जिसमें अनुक्रम 1, 0, 1, 0, 1, ... है, जो आवधिक है, अवधि की लंबाई 2 के साथ है। इस मामले में पोंकारे फ़ंक्शन एक बहुपद नहीं बल्कि एक अनंत श्रृंखला है
 * $$1 + x^2 + x^4 + \dotsb$$,

जो, एक ज्यामितीय श्रृंखला होने के नाते, तर्कसंगत कार्य के रूप में व्यक्त किया जा सकता है
 * $$\frac{1}{1 - x^2}.$$

अधिक आम तौर पर, कोई भी अनुक्रम जो आवधिक है, उपरोक्त को सामान्यीकृत करते हुए, ज्यामितीय श्रृंखला के योग के रूप में व्यक्त किया जा सकता है। उदाहरण के लिए $$a,b,c,a,b,c,\dots,$$ उत्पन्न करने का कार्य है
 * $$\left(a + bx + cx^2\right)/\left(1 - x^3\right) \,$$

और अधिक आम तौर पर रैखिक पुनरावर्ती अनुक्रम वास्तव में तर्कसंगत कार्यों द्वारा उत्पन्न अनुक्रम होते हैं; इस प्रकार पोंकारे श्रृंखला एक तर्कसंगत फ़ंक्शन के रूप में व्यक्त की जा सकती है यदि और केवल तभी जब बेट्टी संख्याओं का अनुक्रम एक रैखिक पुनरावर्ती अनुक्रम हो।

सघन सरल लाई समूहों के पोंकारे बहुपद हैं:
 * $$\begin{align}

P_{SU(n+1)}(x) &= \left(1 + x^3\right)\left(1 + x^5\right)\cdots\left(1 + x^{2n+1}\right) \\ P_{SO(2n+1)}(x) &= \left(1 + x^3\right)\left(1 + x^7\right)\cdots\left(1 + x^{4n-1}\right) \\ P_{Sp(n)}(x) &= \left(1 + x^3\right)\left(1 + x^7\right)\cdots\left(1 + x^{4n-1}\right) \\ P_{SO(2n)}(x) &= \left(1 + x^{2n-1}\right)\left(1 + x^3\right)\left(1 + x^7\right)\cdots\left(1 + x^{4n-5}\right) \\ P_{G_2}(x) &= \left(1 + x^3\right)\left(1 + x^{11}\right) \\ P_{F_4}(x) &= \left(1 + x^3\right)\left(1 + x^{11}\right)\left(1 + x^{15}\right)\left(1 + x^{23}\right) \\ P_{E_6}(x) &= \left(1 + x^3\right)\left(1 + x^{9}\right)\left(1 + x^{11}\right)\left(1 + x^{15}\right)\left(1 + x^{17}\right)\left(1 + x^{23}\right) \\ P_{E_7}(x) &= \left(1 + x^3\right)\left(1 + x^{11}\right)\left(1 + x^{15}\right)\left(1 + x^{19}\right)\left(1 + x^{23}\right)\left(1 + x^{27}\right)\left(1 + x^{35}\right) \\ P_{E_{8}}(x) &= \left(1 + x^3\right)\left(1 + x^{15}\right)\left(1 + x^{23}\right)\left(1 + x^{27}\right)\left(1 + x^{35}\right)\left(1 + x^{39}\right)\left(1 + x^{47}\right)\left(1 + x^{59}\right) \end{align}$$

अंतर रूपों के स्थानों के आयामों के साथ संबंध
ज्यामितीय स्थितियों में जब $$X$$ एक बंद मैनिफोल्ड है, बेट्टी संख्याओं का महत्व एक अलग दिशा से उत्पन्न हो सकता है, अर्थात् वे बंद अंतर रूपों मॉड्यूलर अंकगणितीय सटीक अंतर रूपों के वेक्टर स्थानों के आयामों की भविष्यवाणी करते हैं। ऊपर दी गई परिभाषा के साथ संबंध तीन बुनियादी परिणामों, डी राम के प्रमेय और पोंकारे द्वैत (जब वे लागू होते हैं), और होमोलॉजी सिद्धांत के सार्वभौमिक गुणांक प्रमेय के माध्यम से है।

एक वैकल्पिक रीडिंग है, अर्थात् बेट्टी संख्याएं हार्मोनिक रूपों के स्थानों के आयाम देती हैं। इसके लिए हॉज लाप्लासियन पर हॉज सिद्धांत के कुछ परिणामों के उपयोग की आवश्यकता है।

इस सेटिंग में, मोर्स सिद्धांत महत्वपूर्ण बिंदु (गणित) की संख्या के संगत वैकल्पिक योग के संदर्भ में बेट्टी संख्याओं के वैकल्पिक योग के लिए असमानताओं का एक सेट देता है। $$N_i$$ किसी दिए गए मोर्स सिद्धांत के मोर्स फ़ंक्शन का:


 * $$ b_i(X) - b_{i-1} (X) + \cdots \le N _i - N_{i-1} + \cdots. $$

एडवर्ड विटेन ने राम परिसर का में बाहरी व्युत्पन्न को संशोधित करने के लिए मोर्स फ़ंक्शन का उपयोग करके इन असमानताओं का स्पष्टीकरण दिया।

यह भी देखें

 * टोपोलॉजिकल डेटा विश्लेषण
 * मरोड़ गुणांक (टोपोलॉजी)
 * यूलर विशेषता