तंत्रिका जटिल
सांस्थिति में, एक समुच्चय वर्ग के तंत्रिका परिसर एक सार सरल जटिल है जो वर्ग में समुच्चय के बीच के प्रतिच्छेदन के प्रतिरूप को अभिलेख करता है। इसका प्रारम्भ पावेल अलेक्जेंड्रोव ने किया था[1] और अब इसके कई प्रकार और सामान्यीकरण हैं, उनमें से एक आवरण की सीच तंत्रिका है, जिसे बदले में अति आच्छादन द्वारा सामान्यीकृत किया जाता है। यह कई रुचिपूर्ण सांस्थितिक गुणों को एक एल्गोरिथम या संयोजी रूप से प्रग्रहण करता है।[2]
मूल परिभाषा
को सूचकांकों का एक समुच्चय होने दें और समुच्चय का एक वर्ग हो। की तंत्रिका अनुक्रमणिका समुच्चय के परिमित उपसमुच्चय का एक समूह है। इसमें सभी परिमित उपसमुच्चय शामिल हैं जैसे कि का प्रतिच्छेदन जिसका उपसूचक में है गैर-रिक्त है:[3]: 81
अलेक्जेंड्रोव की मूल परिभाषा में, समुच्चय कुछ सांस्थितिक समष्टि के विवृत समुच्चय हैं ।
समुच्चय में एकल हो सकते हैं (अवयव जैसे कि गैर-रिक्त है), युग्म (अवयवों के युग्म जैसे कि ), तीनो इत्यादि। यदि है, तो का कोई भी उपसमुच्चय भी में है, जिससे एक सार सरल परिसर बन जाता है। इसलिए को प्रायः का तंत्रिका परिसर कहा जाता है।
उदाहरण
- X को वृत्त और होने दें, जहां एक चाप है जो के ऊपरी आधे भाग को आच्छादित करता है और एक चाप है जो इसके निचले आधे भाग को आच्छादित करता है, दोनों ओर कुछ अधिव्यापन के साथ (वे सभी को आच्छादित करने के लिए दोनों ओर अधिव्यापन होना चाहिए)। फिर , जो एक सार 1-एकदिश है।
- माना X वृत्त है और , जहां प्रत्येक एक तिहाई को आच्छादित करने वाला एक चाप है , आसन्न के साथ कुछ अधिव्यापन के साथ । तब । ध्यान दें कि {1,2,3} अंदर नहीं है चूँकि तीनों समुच्चयों का उभयनिष्ठ प्रतिच्छेदन रिक्त है; इसलिए एक अधूरा त्रिकोण है।
सीच तंत्रिका
विवृत ढक्कन दिया एक सांस्थितिक समष्टि का , या अधिक आम तौर पर ग्रोथेंडिक सांस्थिति में एक आच्छादन , हम जोड़ीवार पुलबैक_(श्रेणी_सिद्धांत) पर विचार कर सकते हैं। , जो एक सांस्थितिक समष्टि के मामले में बिल्कुल प्रतिच्छेदन हैं । ऐसे सभी प्रतिच्छेदन के संग्रह को कहा जा सकता है और ट्रिपल प्रतिच्छेदन के रूप में ।
प्राकृतिक मानचित्रों पर विचार करके और , हम एक साधारण वस्तु का निर्माण कर सकते हैं द्वारा परिभाषित , एन-गुना फाइबर उत्पाद। यह सीच तंत्रिका है।[4] जुड़े हुए घटकों को लेने से हमें एक साधारण समुच्चय मिलता है, जिसे हम स्थैतिक रूप से महसूस कर सकते हैं: ।
तंत्रिका प्रमेय
तंत्रिका परिसर एक साधारण संयोजन वस्तु है। प्रायः, यह अंतर्निहित सांस्थितिक समष्टि (समुच्चय में समुच्चय का संघ) की तुलना में बहुत सरल होता है )। इसलिए, एक स्वाभाविक प्रश्न यह है कि क्या सांस्थिति है की सांस्थिति के बराबर है ।
सामान्य तौर पर, यह मामला नहीं होना चाहिए। उदाहरण के लिए, कोई भी किसी भी N-sphere|n-sphere को दो अनुबंधित समुच्चयों के साथ आच्छादित कर सकता है और जिसमें एक गैर-रिक्त प्रतिच्छेदन है, जैसा कि ऊपर उदाहरण 1 में है। इस मामले में, एक अमूर्त 1-एकदिश है, जो एक रेखा के समान है लेकिन एक गोले के समान नहीं है।
हालाँकि, कुछ मामलों में एक्स की सांस्थिति को प्रतिबिंबित करता है। उदाहरण के लिए, यदि एक सर्कल को तीन विवृत चापों द्वारा आच्छादित किया जाता है, जैसा ऊपर उदाहरण 2 में जोड़ों में प्रतिच्छेद करता है, तो एक 2-सिंप्लेक्स है (इसके आंतरिक भाग के बिना) और यह होमोटॉपी-मूल सर्कल के बराबर है।[5] एक तंत्रिका प्रमेय (या तंत्रिका लेम्मा) एक प्रमेय है जो गारंटी देने के लिए सी पर पर्याप्त शर्तें देता है कुछ अर्थों में, की सांस्थिति को दर्शाता है।
लेरे की तंत्रिका प्रमेय
जॉन लेरे के मूल तंत्रिका प्रमेय का कहना है कि, यदि कोई प्रतिच्छेदन समुच्चय होता है संविदात्मक स्थान है (समतुल्य: प्रत्येक परिमित के लिए समुच्चय या तो रिक्त है या सिकुड़ा जा सकता है; समतुल्य: सी एक अच्छा आच्छादन है), फिर होमोटॉपी-समतुल्य है।
बोरसुक का तंत्रिका प्रमेय
एक असतत संस्करण है, जिसका श्रेय करोल बोरसुक को दिया जाता है।[6][3]: 81, Thm.4.4.4 माना के1,।।।,कnसार सरल जटिल हो, और K। Let U द्वारा उनके संघ को निरूपित करेंi= ||केi|| = K का सार सरल जटिलi, और {यू की तंत्रिका को निरूपित करें1, ।।। , यूn} द्वारा एन।
यदि, प्रत्येक गैर-रिक्त के लिए , प्रतिच्छेदन या तो रिक्त या सिकुड़ा जा सकता है, तो N होमोटॉपी-K के बराबर है।
एंडर्स ब्योर्नर द्वारा एक मजबूत प्रमेय सिद्ध किया गया था।[7] यदि, प्रत्येक गैर-रिक्त के लिए , प्रतिच्छेदन या तो रिक्त है या एन-कनेक्टेड समष्टि|(के-|जे|+1)-कनेक्टेड है, तो प्रत्येक जे ≤ के लिए, एन का जे-वें होमोटोपी समूह के के जे-वें होमोटॉपी समूह के लिए आइसोमॉर्फिक है। विशेष रूप से , एन के-कनेक्टेड है यदि और केवल-यदि के के-कनेक्टेड है।
चेक तंत्रिका प्रमेय
एक अन्य तंत्रिका प्रमेय उपरोक्त चेक तंत्रिका से संबंधित है: यदि कॉम्पैक्ट है और सी में समुच्चय के सभी प्रतिच्छेदन अनुबंधित या रिक्त हैं, फिर स्थान
होमोटॉपी-समतुल्य है ।[8]
होमोलॉजिकल तंत्रिका प्रमेय
निम्नलिखित तंत्रिका प्रमेय आच्छादन में समुच्चय के प्रतिच्छेदन के होमोलॉजी समूहों का उपयोग करता है।[9] प्रत्येक परिमित के लिए , निरूपित करें जे-वें कम समरूपता समूह ।
यदि एचJ,jN(C) के k-कंकाल में सभी J के लिए तुच्छ समूह है और {0, ।।।, k-dim(J)} में सभी j के लिए है, तो N(C) समरूपता-समरूपता में X के बराबर है निम्नलिखित अर्थ:
- {0, ।।।, k} में सभी j के लिए;
- यदि तब ।
यह भी देखें
- हाइपरकवरिंग
संदर्भ
- ↑ Aleksandroff, P. S. (1928). "Über den allgemeinen Dimensionsbegriff und seine Beziehungen zur elementaren geometrischen Anschauung". Mathematische Annalen. 98: 617–635. doi:10.1007/BF01451612. S2CID 119590045.
- ↑ Eilenberg, Samuel; Steenrod, Norman (1952-12-31). बीजगणितीय टोपोलॉजी की नींव. Princeton: Princeton University Press. doi:10.1515/9781400877492. ISBN 978-1-4008-7749-2.
- ↑ 3.0 3.1 Matoušek, Jiří (2007). Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry (2nd ed.). Berlin-Heidelberg: Springer-Verlag. ISBN 978-3-540-00362-5.
Written in cooperation with Anders Björner and Günter M. Ziegler
, Section 4.3 - ↑ "Čech nerve in nLab". ncatlab.org. Retrieved 2020-08-07.
- ↑ Artin, Michael; Mazur, Barry (1969). "एटेल होमोटॉपी". Lecture Notes in Mathematics. 100. doi:10.1007/bfb0080957. ISBN 978-3-540-04619-6. ISSN 0075-8434.
- ↑ Borsuk, Karol (1948). "साधारण परिसरों में कॉम्पेक्टा की प्रणालियों के अंतःस्थापन पर". Fundamenta Mathematicae. 35 (1): 217–234. doi:10.4064/fm-35-1-217-234. ISSN 0016-2736.
- ↑ Björner, Anders (2003-04-01). "नसों, तंतुओं और होमोटोपी समूहों". Journal of Combinatorial Theory. Series A (in English). 102 (1): 88–93. doi:10.1016/S0097-3165(03)00015-3. ISSN 0097-3165.
- ↑ Nerve theorem at the nLab
- ↑ Meshulam, Roy (2001-01-01). "क्लिक कॉम्प्लेक्स और हाइपरग्राफ मिलान". Combinatorica (in English). 21 (1): 89–94. doi:10.1007/s004930170006. ISSN 1439-6912. S2CID 207006642.