विच्छेदन प्रमेय: Difference between revisions

Revision as of 10:47, 13 July 2023

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

अनुप्रयोग

ईलेनबर्ग-स्टीनरोड एक्सिओम्स

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

मेयर-विएटोरिस अनुक्रम

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

सजातीय के लिए निलंबन प्रमेय

समरूपता के लिए निलंबन प्रमेय प्राप्त करने के लिए उच्छेदन प्रमेय का उपयोग किया जा सकता है, जो सभी $n$ के लिए ${\tilde {H}}_{n}(X)\cong {\tilde {H}}_{n+1}(SX)$ कहता है, जहां $SX$ , $X$ का निलंबन है।^[2]

आयाम का अपरिवर्तन

यदि गैर-रिक्त विवृत समूह $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}$ का समरूप नहीं है।^[3]

यह भी देखें

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

संदर्भ

↑ See Hatcher 2002, p.149, for example
↑ See Hatcher 2002, p.132, for example
↑ See Hatcher 2002, p.135

ग्रन्थसूची

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

[1] See Hatcher 2002, p.149, for example

[2] See Hatcher 2002, p.132, for example

[3] See Hatcher 2002, p.135

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
 {{Short description|On when the relative homologies of the pairs  (X∖U, A∖U) into (X, A) are isomorphic}}
-[[बीजगणितीय टोपोलॉजी|'''बीजगणितीय टोपोलॉजी''']] में, गणित की एक शाखा, एक्सिशन प्रमेय [[सापेक्ष समरूपता]] के बारे में एक प्रमेय है और ईलेनबर्ग-स्टीनरोड सिद्धांतों में से एक है। एक टोपोलॉजिकल स्पेस <math>X</math> सबस्पेस <math>A</math> और <math>U</math> को देखते हुए <math>U</math> भी <math>A</math> का एक सबस्पेस है, प्रमेय कहता है कि कुछ परिस्थितियों में, हम दोनों स्थानों से <math>U</math> को इस तरह से काट सकते हैं (एक्साइज़) कि जोड़े <math>(X \setminus U,A \setminus U )</math> के <math>(X, A)</math> में सापेक्ष समरूपता आइसोमोर्फिक हैं।
+[[बीजगणितीय टोपोलॉजी|'''बीजगणितीय टोपोलॉजी''']] में, गणित की एक शाखा, उच्छेदन प्रमेय [[सापेक्ष समरूपता]] के बारे में एक प्रमेय है और ईलेनबर्ग-स्टीनरोड सिद्धांतों में से एक है। टोपोलॉजिकल स्पेस <math>X</math> उपसमष्‍टि <math>A</math> और <math>U</math> को देखते हुए <math>U</math> भी <math>A</math> का उपसमष्‍टि है, प्रमेय कहता है कि कुछ परिस्थितियों में, हम दोनों स्थानों से <math>U</math> को इस तरह से काट सकते हैं (एक्साइज़) कि जोड़े <math>(X \setminus U,A \setminus U )</math> के <math>(X, A)</math> में सापेक्ष समरूपता आइसोमोर्फिक हैं।
-यह एकवचन समरूपता समूहों की गणना में सहायता करता है, क्योंकि कभी-कभी उचित रूप से चुने गए उप-स्थान का उपयोग करने के बाद हमें गणना करने में आसान कुछ प्राप्त होता है।
+यह एकवचन समरूपता समूहों की गणना में सहायता करता है, क्योंकि कभी-कभी उचित रूप से चुने गए उप-स्थान का उपयोग करने के बाद हमें गणना करने में कुछ सुविधा प्राप्त होती है।
 == प्रमेय ==
 === कथन ===
-यदि <math>U\subseteq A \subseteq X</math> उपरोक्त के अनुसार हैं, तो हम कहते हैं कि <math>U</math> को एक्साइज किया जा सकता है यदि जोड़ी <math>(X \setminus U,A \setminus U )</math> में शामिल किया गया मानचित्र सापेक्ष समरूपता <math>(X, A)</math>पर एक समरूपता उत्पन्न करता है:
+यदि <math>U\subseteq A \subseteq X</math> उपरोक्त के अनुसार हैं, तो हम कहते हैं कि <math>U</math> को एक्साइज किया जा सकता है यदि जोड़ी <math>(X \setminus U,A \setminus U )</math> में सम्मिलित किया गया मानचित्र सापेक्ष समरूपता <math>(X, A)</math> पर समरूपता उत्पन्न करता है:
 {{center|<math>H_n(X \setminus U,A \setminus U) \cong H_n(X,A)</math>}}
@@ Line 13: / Line 13: @@
 प्रमेय कहता है कि यदि <math>U</math> का समापन <math>A</math> के आंतरिक भाग में समाहित है, तो <math>U</math> को एक्साइज़ किया जा सकता है।
-अक्सर, उप-स्थान जो इस रोकथाम मानदंड को पूरा नहीं करते हैं, उन्हें अभी भी एक्साइज किया जा सकता है - यह उन उप-स्थानों पर उप-स्थानों की विकृति को वापस लेने में सक्षम होने के लिए पर्याप्त है जो इसे संतुष्ट करते हैं।
+प्रायः, उप-स्थान जो इस रोकथाम मानदंड को पूरा नहीं करते हैं, उन्हें अभी भी एक्साइज किया जा सकता है - यह उन उप-स्थानों पर उप-स्थानों की विकृति को वापस लेने में सक्षम होने के लिए पर्याप्त है जो इसे संतुष्ट करते हैं।
 === प्रमाण रेखाचित्र ===
-उच्छेदन प्रमेय का प्रमाण काफी सहज है, हालांकि विवरण इसमें शामिल हैं। विचार यह है कि "छोटी" सरलताओं से युक्त एक और श्रृंखला प्राप्त करने के लिए <math>(X, A)</math> में एक सापेक्ष चक्र में सरलताओं को उप-विभाजित किया जाए, और इस प्रक्रिया को तब तक जारी रखा जाए जब तक श्रृंखला में प्रत्येक सरलता पूरी तरह से <math>A</math> के आंतरिक भाग या <math>X \setminus U</math> के आंतरिक भाग में न आ जाए।  चूँकि ये <math>X</math> के लिए एक खुला आवरण बनाते हैं और सरलीकरण सघन होते हैं, हम अंततः इसे चरणों की एक सीमित संख्या में कर सकते हैं। यह प्रक्रिया श्रृंखला के मूल समरूपता वर्ग को अपरिवर्तित छोड़ देती है (यह कहता है कि उपखंड ऑपरेटर समरूपता पर पहचान मानचित्र के लिए श्रृंखला समस्थानिक है)। सापेक्ष समरूपता में <math>H_n(X, A)</math> फिर, यह कहता है कि सभी शब्द पूरी तरह से इसके आंतरिक भाग में निहित हैं <math>U</math> को चक्र के होमोलॉजी वर्ग को प्रभावित किए बिना हटाया जा सकता है। यह हमें यह दिखाने की अनुमति देता है कि समावेशन मानचित्र एक समरूपता है, क्योंकि प्रत्येक सापेक्ष चक्र एक के बराबर है जो <math>U</math> से पूरी तरह से बचता है।
+उच्छेदन प्रमेय का प्रमाण काफी सहज है, हालांकि विवरण इसमें सम्मिलित हैं। विचार यह है कि "छोटी" सरलताओं से युक्त और श्रृंखला प्राप्त करने के लिए <math>(X, A)</math> में एक सापेक्ष चक्र में सरलताओं को उप-विभाजित किया जाए, और इस प्रक्रिया को तब तक जारी रखा जाए जब तक श्रृंखला में प्रत्येक सरलता पूरी तरह से <math>A</math> के आंतरिक भाग या <math>X \setminus U</math> के आंतरिक भाग में न आ जाए।  चूँकि ये <math>X</math> के लिए एक विवृत आवरण बनाते हैं और सरलीकरण सघन होते हैं, हम अंततः इसे चरणों की एक सीमित संख्या में कर सकते हैं। यह प्रक्रिया श्रृंखला के मूल समरूपता वर्ग को अपरिवर्तित छोड़ देती है (यह कहता है कि उपखंड ऑपरेटर समरूपता पर पहचान मानचित्र के लिए श्रृंखला समस्थानिक है)। सापेक्ष समरूपता में <math>H_n(X, A)</math> फिर, यह कहता है कि सभी शब्द पूरी तरह से इसके आंतरिक भाग में निहित हैं <math>U</math> को चक्र के सजातीय वर्ग को प्रभावित किए बिना हटाया जा सकता है। यह हमें यह दिखाने की अनुमति देता है कि समावेशन मानचित्र एक समरूपता है, क्योंकि प्रत्येक सापेक्ष चक्र एक के बराबर है जो <math>U</math> से पूरी तरह से बचता है।
 == अनुप्रयोग ==
@@ Line 26: / Line 26: @@
 === मेयर-विएटोरिस अनुक्रम ===
-मेयर-विएटोरिस अनुक्रम को उच्छेदन प्रमेय और लंबे-सटीक अनुक्रम के संयोजन से प्राप्त किया जा सकता है।<ref>See Hatcher 2002, p.149, for example</ref>
+मेयर-विएटोरिस अनुक्रम उच्छेदन प्रमेय और लंबे-सटीक अनुक्रम के संयोजन से प्राप्त किया जा सकता है।<ref>See Hatcher 2002, p.149, for example</ref>
+=== सजातीय के लिए निलंबन प्रमेय ===
-=== होमोलॉजी के लिए निलंबन प्रमेय ===
-होमोलॉजी के लिए निलंबन प्रमेय को प्राप्त करने के लिए उच्छेदन प्रमेय का उपयोग किया जा सकता है, जो कहता है <math>\tilde{H}_n(X) \cong \tilde{H}_{n+1}(SX)</math> सभी के लिए <math>n</math>, कहाँ <math>SX</math> का [[ निलंबन (टोपोलॉजी) ]] है <math>X</math>. <ref>See Hatcher 2002, p.132, for example</ref>
+समरूपता के लिए निलंबन प्रमेय प्राप्त करने के लिए उच्छेदन प्रमेय का उपयोग किया जा सकता है, जो सभी <math>n</math> के लिए <math>\tilde{H}_n(X) \cong \tilde{H}_{n+1}(SX)</math> कहता है, जहां <math>SX</math>, <math>X</math> का [[ निलंबन (टोपोलॉजी) |निलंबन]] है।<ref>See Hatcher 2002, p.132, for example</ref>
 ===आयाम का अपरिवर्तन===
-यदि गैर-रिक्त खुले सेट <math> U\subset \mathbb{R}^n</math> और <math> V\subset \mathbb{R}^m</math>
+यदि गैर-रिक्त विवृत समूह <math> U\subset \mathbb{R}^n</math>और <math> V\subset \mathbb{R}^m</math> समरूपी हैं, तो m = n यह उच्छेदन प्रमेय, जोड़ी <math>(\mathbb{R}^n,\mathbb{R}^n-x)</math> के लिए लंबे सटीक अनुक्रम और इस तथ्य से अनुसरण करता है कि <math> \mathbb{R}^n-x</math> विरूपण एक गोले पर वापस आ जाता है। विशेष रूप से, यदि <math>m\neq n</math> है तो <math>\mathbb{R}^n</math>, <math>\mathbb{R}^m</math> का समरूप नहीं है।<ref>See Hatcher 2002, p.135</ref>
-समरूपी हैं, तो m = n. यह उच्छेदन प्रमेय, जोड़ी के लिए लंबे सटीक अनुक्रम का अनुसरण करता है <math>(\mathbb{R}^n,\mathbb{R}^n-x)</math>, और तथ्य यह है कि <math> \mathbb{R}^n-x</math> विरूपण एक गोले पर वापस आ जाता है।
-विशेष रूप से, <math>\mathbb{R}^n</math> के लिए होमोमोर्फिक नहीं है <math>\mathbb{R}^m</math> अगर <math>m\neq n</math>.<ref>See Hatcher 2002, p.135</ref>
 == यह भी देखें ==
-*[[होमोटोपी एक्सिशन प्रमेय]]
+*[[होमोटोपी एक्सिशन प्रमेय|होमोटोपी उच्छेदन प्रमेय]]
 ==संदर्भ==

Anonymous

Search

विच्छेदन प्रमेय: Difference between revisions

Namespaces

More

Page actions

Revision as of 10:47, 13 July 2023

Contents

प्रमेय