विच्छेदन प्रमेय

बीजगणितीय टोपोलॉजी में, गणित की एक शाखा, एक्सिशन प्रमेय सापेक्ष समरूपता के बारे में एक प्रमेय है और ईलेनबर्ग-स्टीनरोड सिद्धांतों में से एक है। एक टोपोलॉजिकल स्पेस $$X$$ सबस्पेस $$A$$ और $$U$$ को देखते हुए $$U$$ भी $$A$$ का एक सबस्पेस है, प्रमेय कहता है कि कुछ परिस्थितियों में, हम दोनों स्थानों से $$U$$ को इस तरह से काट सकते हैं (एक्साइज़) कि जोड़े $$(X \setminus U,A \setminus U )$$ के $$(X, A)$$ में सापेक्ष समरूपता आइसोमोर्फिक हैं।

यह एकवचन समरूपता समूहों की गणना में सहायता करता है, क्योंकि कभी-कभी उचित रूप से चुने गए उप-स्थान का उपयोग करने के बाद हमें गणना करने में आसान कुछ प्राप्त होता है।

कथन
यदि $$U\subseteq A \subseteq X$$ उपरोक्त के अनुसार हैं, तो हम कहते हैं कि $$U$$ को एक्साइज किया जा सकता है यदि जोड़ी $$(X \setminus U,A \setminus U )$$ में शामिल किया गया मानचित्र सापेक्ष समरूपता $$(X, A)$$पर एक समरूपता उत्पन्न करता है:

$H_n(X \setminus U,A \setminus U) \cong H_n(X,A)$

प्रमेय कहता है कि यदि $$U$$ का समापन $$A$$ के आंतरिक भाग में समाहित है, तो $$U$$ को एक्साइज़ किया जा सकता है।

अक्सर, उप-स्थान जो इस रोकथाम मानदंड को पूरा नहीं करते हैं, उन्हें अभी भी एक्साइज किया जा सकता है - यह उन उप-स्थानों पर उप-स्थानों की विकृति को वापस लेने में सक्षम होने के लिए पर्याप्त है जो इसे संतुष्ट करते हैं।

प्रमाण रेखाचित्र
उच्छेदन प्रमेय का प्रमाण काफी सहज है, हालांकि विवरण इसमें शामिल हैं। विचार यह है कि "छोटी" सरलताओं से युक्त एक और श्रृंखला प्राप्त करने के लिए $$(X, A)$$ में एक सापेक्ष चक्र में सरलताओं को उप-विभाजित किया जाए, और इस प्रक्रिया को तब तक जारी रखा जाए जब तक श्रृंखला में प्रत्येक सरलता पूरी तरह से $$A$$ के आंतरिक भाग या $$X \setminus U$$ के आंतरिक भाग में न आ जाए।  चूँकि ये $$X$$ के लिए एक खुला आवरण बनाते हैं और सरलीकरण सघन होते हैं, हम अंततः इसे चरणों की एक सीमित संख्या में कर सकते हैं। यह प्रक्रिया श्रृंखला के मूल समरूपता वर्ग को अपरिवर्तित छोड़ देती है (यह कहता है कि उपखंड ऑपरेटर समरूपता पर पहचान मानचित्र के लिए श्रृंखला समस्थानिक है)। सापेक्ष समरूपता में $$H_n(X, A)$$ फिर, यह कहता है कि सभी शब्द पूरी तरह से इसके आंतरिक भाग में निहित हैं $$U$$ को चक्र के होमोलॉजी वर्ग को प्रभावित किए बिना हटाया जा सकता है। यह हमें यह दिखाने की अनुमति देता है कि समावेशन मानचित्र एक समरूपता है, क्योंकि प्रत्येक सापेक्ष चक्र एक के बराबर है जो $$U$$ से पूरी तरह से बचता है।

ईलेनबर्ग-स्टीनरोड एक्सिओम्स
उच्छेदन प्रमेय को एलेनबर्ग-स्टीनरोड एक्सिओम्स में से एक माना जाता है।

मेयर-विएटोरिस अनुक्रम
मेयर-विएटोरिस अनुक्रम को उच्छेदन प्रमेय और लंबे-सटीक अनुक्रम के संयोजन से प्राप्त किया जा सकता है।

होमोलॉजी के लिए निलंबन प्रमेय
होमोलॉजी के लिए निलंबन प्रमेय को प्राप्त करने के लिए उच्छेदन प्रमेय का उपयोग किया जा सकता है, जो कहता है $$\tilde{H}_n(X) \cong \tilde{H}_{n+1}(SX)$$ सभी के लिए $$n$$, कहाँ $$SX$$ का निलंबन (टोपोलॉजी)  है $$X$$.

आयाम का अपरिवर्तन
यदि गैर-रिक्त खुले सेट $$ U\subset \mathbb{R}^n$$ और $$ V\subset \mathbb{R}^m$$ समरूपी हैं, तो m = n. यह उच्छेदन प्रमेय, जोड़ी के लिए लंबे सटीक अनुक्रम का अनुसरण करता है $$(\mathbb{R}^n,\mathbb{R}^n-x)$$, और तथ्य यह है कि $$ \mathbb{R}^n-x$$ विरूपण एक गोले पर वापस आ जाता है। विशेष रूप से, $$\mathbb{R}^n$$ के लिए होमोमोर्फिक नहीं है $$\mathbb{R}^m$$ अगर $$m\neq n$$.

यह भी देखें

 * होमोटोपी एक्सिशन प्रमेय

ग्रन्थसूची

 * Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1
 * Allen Hatcher, Algebraic Topology. Cambridge University Press, Cambridge, 2002.