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

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

nवीं बेट्टी संख्या nवें समरूपता समूह की रैंक का प्रतिनिधित्व करती है, जिसे H_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)=3$, आदि। ध्यान दें कि केवल अपरिमित समूहों की रैंक पर विचार किया जाता है, उदाहरण के लिए यदि $H_{n}(X)\cong \mathbb {Z} ^{k}\oplus \mathbb {Z} /(2)$ , जहाँ $\mathbb {Z} /(2)$ तो, क्रम 2 का परिमित चक्रीय समूह है $b_{n}(X)=k$. समरूपता समूहों के ये सीमित घटक उनके टॉरशन उपसमूह हैं, और उन्हें टॉरशन गुणांक द्वारा दर्शाया जाता है।

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

ज्यामितीय व्याख्या

टोरस के लिए, पहला बेट्टी संख्या B₁ = 2 है, जिसे सहज रूप से गोलाकार छिद्रों की संख्या के रूप में सोचा जा सकता है

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

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

• b₀ जुड़े हुए घटकों की संख्या है;
• b₁ एक-आयामी या गोलाकार छिद्रों की संख्या है;
• b₂ द्वि-आयामी रिक्तियों या गुहाओं की संख्या है।

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

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

द्वि-आयामी बेट्टी संख्या को समझना आसान है क्योंकि हम दुनिया को 0, 1, 2 और 3 आयामों में देख सकते हैं।

औपचारिक परिभाषा

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

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

पोंकारे बहुपद

किसी सतह के पोंकारे बहुपद को उसकी बेट्टी संख्याओं का जनक फलन माना जाता है। उदाहरण के लिए, टोरस की बेट्टी संख्या 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-चक्रों की संख्या बढ़ाता है या जुड़े हुए घटकों की संख्या घटाता है।

इसलिए, शून्य-वें बेट्टी संख्या b₀(G) |C| के बराबर है, जो कि केवल जुड़े हुए घटकों की संख्या है।

पहला बेट्टी संख्या b₁(G) |E| + |C| - |V|| बराबर है। इसे चक्रीय संख्या भी कहा जाता है - यह शब्द बेट्टी के पेपर से पहले गुस्ताव किरचॉफ द्वारा पेश किया गया था। सॉफ्टवेयर इंजीनियरिंग के अनुप्रयोग के लिए चक्रीय जटिलता देखें।

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

सरल सम्मिश्र की बेट्टी संख्याएँ

0-सिम्पलेक्स के साथ एक सरल जटिल पर विचार करें: a, b, c, और d, 1-सिम्पलेक्स: E, F, G, H और I, और एकमात्र 2-सिंप्लेक्स J है, जो चित्र में छायांकित क्षेत्र है। यह स्पष्ट है कि इस आंकड़े में एक जुड़ा हुआ घटक है (b₀); एक छेद, जो कि अछायांकित (b₁) क्षेत्र है; और कोई (b₂) "रिक्त स्थान" या "गुहा" नहीं।

इसका अर्थ यह है कि $H_{0}$ की रैंक 1 है, $H_{1}$ की रैंक 1 है और $H_{2}$ की रैंक 0 है।

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

प्रक्षेप्य तल की बेट्टी संख्या

प्रक्षेप्य तल P के समरूपता समूह हैं:

$H_k(P)=\{\begin{array}{ll}\mathbb{Z}& \end{array}$