तंत्रिका जटिल

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

मूल परिभाषा
$$I$$ को सूचकांकों का एक समुच्चय होने दें और $$C$$ समुच्चय $$(U_i)_{i\in I}$$ का एक वर्ग हो। $$C$$ की तंत्रिका अनुक्रमणिका समुच्चय $$I$$ के परिमित उपसमुच्चय का एक समूह है। इसमें सभी परिमित उपसमुच्चय $$J\subseteq I$$ शामिल हैं जैसे कि $$U_i$$ का प्रतिच्छेदन जिसका उपसूचक $$J$$ में है गैर-रिक्त है:
 * $$N(C) := \bigg\{J\subseteq I: \bigcap_{j\in J}U_j \neq \varnothing, J \text{ finite set} \bigg\}.$$

अलेक्जेंड्रोव की मूल परिभाषा में, समुच्चय $$(U_i)_{i\in I}$$ कुछ सांस्थितिक समष्टि $$X$$ के विवृत समुच्चय हैं ।

समुच्चय $$N(C)$$ में एकल हो सकते हैं (अवयव $$i \in I$$ जैसे कि $$U_i$$ गैर-रिक्त है), युग्म (अवयवों के युग्म $$i,j \in I$$ जैसे कि $$U_i \cap U_j \neq \emptyset$$), तीनो इत्यादि। यदि $$J \in N(C)$$ है, तो $$J$$ का कोई भी उपसमुच्चय भी $$N(C)$$ में है, जिससे $$N(C)$$ एक सार सरल परिसर बन जाता है। इसलिए $$N(C)$$ को प्रायः $$C$$ का तंत्रिका परिसर कहा जाता है।

उदाहरण

 * 1) X को वृत्त $$S^1$$ और $$C = \{U_1, U_2\}$$ होने दें, जहां $$U_1$$ एक चाप है जो $$S^1$$ के ऊपरी आधे भाग को आच्छादित करता है और $$U_2$$ एक चाप है जो इसके निचले आधे भाग को आच्छादित करता है, दोनों ओर कुछ अधिव्यापन के साथ (वे सभी $$S^1$$ को आच्छादित करने के लिए दोनों ओर अधिव्यापन होना चाहिए)। फिर $$N(C) = \{ \{1\}, \{2\}, \{1,2\} \}$$, जो एक सार 1-एकदिश है।
 * 2) X को वृत्त $$S^1$$ और $$C = \{U_1, U_2, U_3\}$$ होने दें, जहां प्रत्येक $$U_i$$ एक चाप है जो $$S^1$$ के एक तिहाई भाग को आच्छादित करता है, जिसमें आसन्न $$U_i$$ के साथ कुछ अधिव्यापन होता है। तब $$N(C) = \{ \{1\}, \{2\}, \{3\}, \{1,2\}, \{2,3\}, \{3,1\} \}$$। ध्यान दें कि {1,2,3} $$N(C)$$ में नहीं है क्योंकि तीनों समुच्चयों का उभयनिष्ठ प्रतिच्छेदन रिक्त है; अतः $$N(C)$$ एक अपूर्ण त्रिभुज है।

सीच तंत्रिका
एक सांस्थितिक समष्टि $$X$$ के विवृत आवरक $$C=\{U_i: i\in I\}$$, या अधिक सामान्यतः ग्रोथेंडिक सांस्थिति में एक कवर दिया जाता है, हम जोड़ीदार फाइबर उत्पादों $$U_{ij}=U_i\times_XU_j$$ पर विचार कर सकते हैं,, जो एक सांस्थितिक समष्टि की स्थिति में पूर्णतः प्रतिच्छेदन $$U_i\cap U_j$$ हैं। ऐसे सभी प्रतिच्छेदन के संग्रह को $$C\times_X C$$ और त्रिपक्षीय प्रतिच्छेदन $$C\times_X C\times_X C$$ के रूप में संदर्भित किया जा सकता है।

प्राकृतिक प्रतिचित्र $$U_{ij}\to U_i$$ और $$U_i\to U_{ii}$$ पर विचार करके, हम $$S(C)_n=C\times_X\cdots\times_XC$$ एन-गुना फाइबर उत्पाद द्वारा परिभाषित एक साधारण वस्तु $$S(C)_\bullet$$ का निर्माण कर सकते हैं। यह सीच तंत्रिका है। जुड़े हुए घटकों को लेने से हमें एक साधारण समुच्चय मिलता है, जिसे हम स्थैतिक रूप से समझ सकते हैं: $$|S(\pi_0(C))|$$।

तंत्रिका प्रमेय
तंत्रिका परिसर $$N(C)$$ एक साधारण संयोजन वस्तु है। प्रायः, यह अंतर्निहित सांस्थितिक समष्टि ( $$C$$ में समुच्चय का संघ) से कहीं अधिक सरल होता है। इसलिए, एक स्वाभाविक प्रश्न यह है कि क्या $$N(C)$$ की सांस्थिति $$\bigcup C$$ की सांस्थिति के बराबर है ।

सामान्यतः, यह स्थिति नहीं होनी चाहिए। उदाहरण के लिए, कोई भी n-गोले को दो अनुबंधित समुच्चयों $$U_1$$ और $$U_2$$ के साथ आच्छादित कर सकता है जिसमें एक गैर-रिक्त प्रतिच्छेदन है, जैसा कि ऊपर उदाहरण 1 में है। इस स्थिति में, $$N(C)$$ एक अमूर्त 1-एकदिश है, जो एक रेखा के समान है परन्तु एक गोले के समान नहीं है।

यद्यपि, कुछ स्थितियों में $$N(C)$$, X की सांस्थिति को प्रतिबिंबित करता है। उदाहरण के लिए, यदि एक वृत्त को तीन विवृत चापों द्वारा आच्छादित किया जाता है, जैसा कि ऊपर उदाहरण 2 में युग्म में प्रतिच्छेद करते हैं, तो $$N(C)$$ एक 2- एकधा है (इसके आंतरिक भाग के बिना) है और यह मूल वृत्त के समतुल्य है।

एक तंत्रिका प्रमेय (या तंत्रिका लेम्मा) एक प्रमेय है जो सी गारंटी देने के लिए पर पर्याप्त प्रतिबन्ध देता है कि $$N(C)$$ कुछ अर्थों में $$\bigcup C$$ की सांस्थिति को दर्शाता है।

लेरे की तंत्रिका प्रमेय
जीन लेरे के मूल तंत्रिका प्रमेय का कहना है कि, यदि $$N(C)$$ में समुच्चय का कोई प्रतिच्छेदन संकुचन क्षम है संविदात्मक स्थान होता है (समतुल्य: प्रत्येक परिमित $$J\subset I$$ के लिए समुच्चय $$\bigcap_{i\in J} U_i$$ या तो रिक्त है या संकुचन क्षम है; समतुल्य: C एक ठीक विवृत आवरक है), तो $$N(C)$$ समस्थेयता- $$\bigcup C$$ के समतुल्य है।

बोरसुक का तंत्रिका प्रमेय
एक असतत संस्करण है, जिसका श्रेय करोल बोरसुक को दिया जाता है। मान लीजिए K1,...,Knसार सरल परिसर हैं, और K द्वारा उनके मिलन को निरूपित करते हैं। माना Ui= ||Ki|| = Ki का ज्यामितीय बोध, और N द्वारा {U1, ... , Un} की तंत्रिका को निरूपित करें।

यदि, प्रत्येक गैर-रिक्त के लिए $$J\subset I$$, प्रतिच्छेदन $$\bigcap_{i\in J} U_i$$ या तो रिक्त या सिकुड़ा जा सकता है, तो N समस्थेयता-K के बराबर है।

एंडर्स ब्योर्नर द्वारा एक मजबूत प्रमेय सिद्ध किया गया था। यदि, प्रत्येक गैर-रिक्त के लिए $$J\subset I$$, प्रतिच्छेदन $$\bigcap_{i\in J} U_i$$ या तो रिक्त है या एन-कनेक्टेड समष्टि|(के-|जे|+1)-कनेक्टेड है, तो प्रत्येक जे ≤ के लिए, एन का जे-वें होमोटोपी समूह के के जे-वें समस्थेयता समूह के लिए आइसोमॉर्फिक है। विशेष रूप से, एन के-कनेक्टेड है यदि और केवल-यदि के के-कनेक्टेड है।

चेक तंत्रिका प्रमेय
एक अन्य तंत्रिका प्रमेय उपरोक्त चेक तंत्रिका से संबंधित है: यदि $$X$$ कॉम्पैक्ट है और सी में समुच्चय के सभी प्रतिच्छेदन अनुबंधित या रिक्त हैं, फिर स्थान

$$|S(\pi_0(C))|$$ समस्थेयता-समतुल्य है $$X$$।

होमोलॉजिकल तंत्रिका प्रमेय
निम्नलिखित तंत्रिका प्रमेय आच्छादन में समुच्चय के प्रतिच्छेदन के होमोलॉजी समूहों का उपयोग करता है। प्रत्येक परिमित के लिए $$J\subset I$$, निरूपित करें $$H_{J,j} := \tilde{H}_j(\bigcap_{i\in J} U_i)=$$ जे-वें कम समरूपता समूह $$\bigcap_{i\in J} U_i$$।

यदि एचJ,jN(C) के k-कंकाल में सभी J के लिए तुच्छ समूह है और {0, ।।।, k-dim(J)} में सभी j के लिए है, तो N(C) समरूपता-समरूपता में X के बराबर है निम्नलिखित अर्थ:


 * $$\tilde{H}_j(N(C)) \cong \tilde{H}_j(X)$$ {0, ।।।, k} में सभी j के लिए;
 * यदि $$\tilde{H}_{k+1}(N(C))\not\cong 0$$ तब $$\tilde{H}_{k+1}(X)\not\cong 0$$ ।

यह भी देखें

 * हाइपरकवरिंग