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

Latest revision as of 15:35, 31 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>}}
+{{center|<math>H_n(X \setminus U,A \setminus U) \cong H_n(X,A)</math>}}
-प्रमेय बताता है कि यदि [[ समापन (टोपोलॉजी) ]] का <math>U</math> के [[ आंतरिक (टोपोलॉजी) ]] में समाहित है <math>A</math>, तब <math>U</math> उत्पाद शुल्क लगाया जा सकता है.
+प्रमेय कहता है कि यदि <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>(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>H_n(X, A)</math>, फिर, यह कहता है कि सभी शब्द पूरी तरह से इसके आंतरिक भाग में निहित हैं <math>U</math> चक्र के समरूपता वर्ग को प्रभावित किए बिना छोड़ा जा सकता है। यह हमें यह दिखाने की अनुमति देता है कि समावेशन मानचित्र एक समरूपता है, क्योंकि प्रत्येक सापेक्ष चक्र उस चक्र के बराबर है जो टाला जाता है <math>U</math> पूरी तरह से.
 == अनुप्रयोग ==
@@ Line 23: / Line 22: @@
 === ईलेनबर्ग-स्टीनरोड एक्सिओम्स ===
-छांटना प्रमेय को इलेनबर्ग-स्टीनरोड एक्सिओम्स में से एक माना जाता है।
+उच्छेदन प्रमेय को एलेनबर्ग-स्टीनरोड एक्सिओम्स में से एक माना जाता है।
 === मेयर-विएटोरिस अनुक्रम ===
-मेयर-विएटोरिस अनुक्रम को छांटना प्रमेय और लंबे-सटीक अनुक्रम के संयोजन से प्राप्त किया जा सकता है।<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>
 == यह भी देखें ==
-*[[होमोटोपी एक्सिशन प्रमेय]]
+*[[होमोटोपी एक्सिशन प्रमेय|होमोटोपी उच्छेदन प्रमेय]]
 ==संदर्भ==
 {{reflist}}
 ==ग्रन्थसूची==
 * [[Joseph J. Rotman]], ''An Introduction to Algebraic Topology'', Springer-Verlag, {{ISBN|0-387-96678-1}}
 * [[Allen Hatcher]], [http://www.math.cornell.edu/~hatcher/AT/ATpage.html ''Algebraic Topology.''] Cambridge University Press, Cambridge, 2002.
-[[Category: समरूपता सिद्धांत]] [[Category: टोपोलॉजी में प्रमेय]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 08/07/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:टोपोलॉजी में प्रमेय]]
+[[Category:समरूपता सिद्धांत]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 15:35, 31 July 2023

Contents

प्रमेय