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

बीजगणितीय टोपोलॉजी में, गणित की एक शाखा, उच्छेदन प्रमेय सापेक्ष समरूपता के बारे में एक प्रमेय है और ईलेनबर्ग-स्टीनरोड सिद्धांतों में से एक है। टोपोलॉजिकल स्पेस $$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$$ से पूरी तरह से बचता है।

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

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

सजातीय के लिए निलंबन प्रमेय
समरूपता के लिए निलंबन प्रमेय प्राप्त करने के लिए उच्छेदन प्रमेय का उपयोग किया जा सकता है, जो सभी $$n$$ के लिए $$\tilde{H}_n(X) \cong \tilde{H}_{n+1}(SX)$$ कहता है, जहां $$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$$ विरूपण एक गोले पर वापस आ जाता है। विशेष रूप से, यदि $$m\neq n$$ है तो $$\mathbb{R}^n$$, $$\mathbb{R}^m$$ का समरूप नहीं है।

यह भी देखें

 * होमोटोपी उच्छेदन प्रमेय

ग्रन्थसूची

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