रेलटिव होमोलॉजी

बीजगणितीय टोपोलॉजी में, गणित की शाखा, उप-स्थान के सापेक्ष सांस्थितिक समष्टि की (व्युत्क्रमणीय) समरूपता, सांस्थितिक युग्म के लिए व्युत्क्रमणीय समरूपता में निर्माण है। सापेक्ष समरूपता कई मायनों में उपयोगी और महत्वपूर्ण है। सहज रूप से, यह यह निर्धारित करने में मदद करता है कि पूर्ण समरूपता समूह का कौन सा भाग किस उप-स्थान से आता है।

परिभाषा
उपसमष्‍टि $$A\subseteq X$$ दिया गया, कोई संक्षिप्त सटीक अनुक्रम बना सकता है


 * $$0\to C_\bullet(A) \to C_\bullet(X)\to

C_\bullet(X) /C_\bullet(A) \to 0 ,$$ जहाँ $$C_\bullet(X)$$ समष्‍टि X पर व्युत्क्रमणीय श्रृंखलाओं को दर्शाता है। $$C_\bullet(X)$$ पर सीमा मानचित्र $$C_\bullet(A)$$ तक अवरोह है और इसलिए भागफल पर सीमा मानचित्र $$\partial'_\bullet$$ उत्पन्न करता है। यदि हम इस भागफल को इससे निरूपित करें

$$C_n(X,A):=C_n(X)/C_n(A)$$, फिर हमारे पास सम्मिश्र है
 * $$\cdots\longrightarrow C_n(X,A) \xrightarrow{\partial'_n} C_{n-1}(X,A) \longrightarrow \cdots .$$

परिभाषा के अनुसार,रिक्त स्थान $$(X,A)$$ के युग्म का nवाँ सापेक्ष समरूपता समूह है


 * $$H_n(X,A) := \ker\partial'_n/\operatorname{im}\partial'_{n+1}.$$

एक का कहना है कि सापेक्ष समरूपता सापेक्ष चक्रों द्वारा दी जाती है, श्रृंखलाएं जिनकी सीमाएं A पर श्रृंखलाएं होती हैं, सापेक्ष सीमाएं मॉड्यूलो (श्रृंखलाएं जो A पर श्रृंखला के अनुरूप होती हैं, यानी, श्रृंखलाएं जो सीमाएं होंगी, मॉड्यूलो Aफिर से)।

गुण
सापेक्ष श्रृंखला समूहों को निर्दिष्ट करने वाले उपरोक्त संक्षिप्त सटीक अनुक्रम छोटे सटीक अनुक्रमों के श्रृंखला परिसर को उत्पन्न करती हैं। स्नेक लेम्मा के अनुप्रयोग से सटीक अनुक्रम प्राप्त होता है


 * $$\cdots \to H_n(A) \stackrel{i_*}{\to} H_n(X) \stackrel{j_*}{\to} H_n (X,A) \stackrel{\partial}{\to} H_{n-1}(A) \to \cdots .$$

संयोजक मानचित्र $$\partial$$ सापेक्ष चक्र लेता है, जो समरूपता वर्ग का प्रतिनिधित्व करता है $$H_n(X,A)$$, इसकी सीमा तक (जो A में चक्र है)।

यह इस प्रकार है कि $$H_n(X,x_0)$$, जहाँ $$x_0$$, X में बिंदु है, X का n-वाँ लघुकृत समरूपता समूह है। दूसरे शब्दों में, सभी $$i > 0$$ के लिए $$H_i(X,x_0) = H_i(X)$$, जब $$i = 0$$, जब $$H_0(X,x_0)$$, $$H_0(X)$$ से श्रेणी कम का फ्री मॉड्यूल है। $$x_0$$ जुड़े हुए घटक युक्त सापेक्ष समरूपता में तुच्छ हो जाता है।

उच्छेदन प्रमेय कहता है कि पर्याप्त रूप से अच्छे उपसमुच्चय $$Z \subset A$$ को हटाना सापेक्ष समरूपता समूहों $$H_n(X,A)$$ अपरिवर्तित को छोड़ देता है। युग्म के लंबे सटीक अनुक्रम और उच्छेदन प्रमेय का उपयोग करके, कोई यह दिखा सकता है $$H_n(X,A)$$ भागफल स्थान $$X/A$$ के n-वें कम किए गए समरूपता समूहों के समान है।

सापेक्ष समरूपता आसानी से त्रिगुण तक फैली हुई है $$(X,Y,Z)$$ के लिए $$Z \subset Y \subset X$$.

युग्म के लिए यूलर विशेषता को परिभाषित किया जा सकता है $$Y \subset X$$ द्वारा


 * $$\chi (X, Y) = \sum _{j=0} ^n (-1)^j \operatorname{rank} H_j (X, Y) . $$

अनुक्रम की सटीकता का तात्पर्य है कि यूलर विशेषता योगात्मक है, अर्थात, यदि $$Z \subset Y \subset X$$, किसी के पास



\chi (X, Z) = \chi (X, Y) + \chi (Y, Z) .$$

स्थानीय समरूपता
$$n$$किसी स्थान का वां>-वां स्थानीय समरूपता समूह $$X$$ एक बिंदु पर $$x_0$$, निरूपित
 * $$H_{n,\{x_0\}}(X)$$

सापेक्ष समरूपता समूह के रूप में परिभाषित किया गया है $$H_n(X,X\setminus \{x_0\})$$. अनौपचारिक रूप से, यह स्थानीय समरूपता है $$X$$ के करीब $$x_0$$.

मूल बिंदु पर शंकु CX की स्थानीय समरूपता
स्थानीय समरूपता का एक आसान उदाहरण शंकु के मूल में एक स्थान के शंकु (टोपोलॉजी) की स्थानीय समरूपता की गणना करना है। याद रखें कि शंकु को भागफल स्थान के रूप में परिभाषित किया गया है
 * $$CX = (X\times I)/(X\times\{0\}) ,$$

जहाँ $$X \times \{0\}$$ सबस्पेस टोपोलॉजी है। फिर, उत्पत्ति $$x_0 = 0$$ अंकों का समतुल्य वर्ग है $$[X\times 0]$$. अंतर्ज्ञान का उपयोग करते हुए कि स्थानीय समरूपता समूह $$H_{*,\{x_0\}}(CX)$$ का $$CX$$ पर $$x_0$$ की समरूपता को पकड़ता है $$CX$$ मूल के निकट, हमें उम्मीद करनी चाहिए कि यह समरूपता है $$H_*(X)$$ तब से $$CX \setminus \{x_0\}$$ इसमें एक होमोटोपी वापस लेना है $$X$$. स्थानीय समरूपता की गणना समरूपता में लंबे सटीक अनुक्रम का उपयोग करके की जा सकती है
 * $$\begin{align}

\to &H_n(CX\setminus \{x_0 \})\to H_n(CX) \to H_{n,\{x_{0}\}}(CX)\\ \to & H_{n-1}(CX\setminus \{x_0 \})\to H_{n-1}(CX) \to H_{n-1,\{x_{0}\}}(CX). \end{align}$$ क्योंकि किसी स्थान का शंकु संकुचन योग्य स्थान है, मध्य समरूपता समूह सभी शून्य हैं, जो समरूपता देते हैं
 * $$\begin{align}

H_{n,\{x_0\}}(CX) & \cong H_{n-1}(CX \setminus \{ x_0 \}) \\ & \cong H_{n-1}(X), \end{align}$$ तब से $$CX \setminus \{x_0\}$$ के लिए अनुबंधीय है $$X$$.

बीजगणितीय ज्यामिति में
ध्यान दें कि पिछले निर्माण को प्रक्षेप्य किस्म के शंकु (बीजगणितीय ज्यामिति) का उपयोग करके बीजगणितीय ज्यामिति में सिद्ध किया जा सकता है $$X$$ स्थानीय कोहोमोलॉजी का उपयोग करना।

स्मूथ मैनिफोल्ड पर एक बिंदु की स्थानीय समरूपता
स्थानीय समरूपता के लिए एक अन्य गणना एक बिंदु पर की जा सकती है $$p$$ अनेक गुना का $$M$$. तो करने दें $$K$$ का एक सघन पड़ोस हो $$p$$ एक बंद डिस्क के लिए समरूपी $$\mathbb{D}^n = \{ x \in \R^n : |x| \leq 1 \}$$ और जाने $$U = M \setminus K$$. उच्छेदन प्रमेय का उपयोग करते हुए सापेक्ष समरूपता समूहों का एक समरूपता है
 * $$\begin{align}

H_n(M,M\setminus\{p\}) &\cong H_n(M\setminus U, M\setminus (U\cup \{p\})) \\ &= H_n(K, K\setminus\{p\}), \end{align}$$ इसलिए एक बिंदु की स्थानीय समरूपता एक बंद गेंद में एक बिंदु की स्थानीय समरूपता में बदल जाती है $$\mathbb{D}^n$$. समरूप समतुल्यता के कारण
 * $$\mathbb{D}^n \setminus \{0\} \simeq S^{n-1}$$

और तथ्य
 * $$H_k(\mathbb{D}^n) \cong \begin{cases}

\Z & k = 0 \\ 0 & k \neq 0 , \end{cases}$$ युग्म के लंबे सटीक अनुक्रम का एकमात्र गैर-तुच्छ हिस्सा $$(\mathbb{D},\mathbb{D}\setminus\{0\})$$ है
 * $$0 \to H_{n,\{0\}}(\mathbb{D}^n) \to H_{n-1}(S^{n-1}) \to 0 ,$$

इसलिए एकमात्र गैर-शून्य स्थानीय समरूपता समूह है $$H_{n,\{0\}}(\mathbb{D}^n)$$.

कार्यात्मकता
पूर्ण समरूपता की तरह, रिक्त स्थान के बीच निरंतर मानचित्र सापेक्ष समरूपता समूहों के बीच समरूपता उत्पन्न करते हैं। वास्तव में, यह मानचित्र बिल्कुल समरूपता समूहों पर प्रेरित मानचित्र है, लेकिन यह भागफल तक अवरोह है।

होने देना $$(X,A)$$ और $$(Y,B)$$ ऐसे रिक्त स्थान के युग्म बनें $$A\subseteq X$$ और $$B\subseteq Y$$, और जाने $$f\colon X\to Y$$ एक सतत मानचित्र बनें. फिर एक प्रेरित नक्शा है $$f_\#\colon C_n(X)\to C_n(Y)$$ (पूर्ण) श्रृंखला समूहों पर। अगर $$f(A)\subseteq B$$, तब $$f_\#(C_n(A))\subseteq C_n(B)$$. होने देना

$$\begin{align} \pi_X&:C_n(X)\longrightarrow C_n(X)/C_n(A) \\ \pi_Y&:C_n(Y)\longrightarrow C_n(Y)/C_n(B) \\ \end{align}$$ भागफल समूह #गुण बनें जो तत्वों को भागफल समूहों में उनके समतुल्य वर्गों में ले जाते हैं। फिर नक्शा $$\pi_Y\circ f_\#\colon C_n(X)\to C_n(Y)/C_n(B)$$ एक समूह समरूपता है. तब से $$f_\#(C_n(A))\subseteq C_n(B)=\ker\pi_Y$$, यह मानचित्र भागफल तक अवरोह है, एक अच्छी तरह से परिभाषित मानचित्र को प्रेरित करता है $$\varphi\colon C_n(X)/C_n(A)\to C_n(Y)/C_n(B)$$ ऐसा कि निम्नलिखित आरेख आवागमन करता है:

श्रृंखला मानचित्र समरूपता समूहों के बीच समरूपता उत्पन्न करते हैं, इसलिए $$f$$ एक नक्शा प्रेरित करता है $$f_*\colon H_n(X,A)\to H_n(Y,B)$$ सापेक्ष समरूपता समूहों पर.

उदाहरण
सापेक्ष समरूपता का एक महत्वपूर्ण उपयोग भागफल स्थानों के समरूपता समूहों की गणना है $$X/A$$. उस मामले में $$A$$ का एक उपसमष्‍टि है $$X$$ हल्की नियमितता की शर्त को पूरा करते हुए कि वहाँ एक पड़ोस मौजूद है $$A$$ कि है $$A$$ एक विरूपण के रूप में पीछे हटना, फिर समूह $$\tilde H_n(X/A)$$ के लिए समरूपी है $$ H_n(X,A)$$. हम किसी गोले की समरूपता की गणना करने के लिए इस तथ्य का तुरंत उपयोग कर सकते हैं। हम महसूस कर सकते हैं $$S^n$$ इसकी सीमा द्वारा एन-डिस्क के भागफल के रूप में, अर्थात। $$S^n = D^n/S^{n-1}$$. सापेक्ष समरूपता के सटीक अनुक्रम को लागू करने से निम्नलिखित मिलता है: $$\cdots\to \tilde H_n(D^n)\rightarrow H_n(D^n,S^{n-1})\rightarrow \tilde H_{n-1}(S^{n-1})\rightarrow \tilde H_{n-1}(D^n)\to \cdots.$$ क्योंकि डिस्क सिकुड़ने योग्य है, हम जानते हैं कि इसके कम किए गए समरूपता समूह सभी आयामों में गायब हो जाते हैं, इसलिए उपरोक्त अनुक्रम संक्षिप्त सटीक अनुक्रम में ढह जाता है:

$$0\rightarrow H_n(D^n,S^{n-1}) \rightarrow \tilde H_{n-1}(S^{n-1}) \rightarrow 0. $$ इसलिए, हमें समरूपताएँ प्राप्त होती हैं $$H_n(D^n,S^{n-1})\cong \tilde H_{n-1}(S^{n-1})$$. अब हम इसे दिखाने के लिए प्रेरण द्वारा आगे बढ़ सकते हैं $$H_n(D^n,S^{n-1})\cong \Z$$. अब क्योंकि $$S^{n-1}$$ अपने आप में एक उपयुक्त पड़ोस का विरूपण प्रत्यावर्तन है $$D^n$$, हमें वह मिल गया $$H_n(D^n,S^{n-1})\cong \tilde H_n(S^n)\cong \Z$$.

एक और व्यावहारिक ज्यामितीय उदाहरण सापेक्ष समरूपता द्वारा दिया गया है $$(X=\Complex^*, D = \{1,\alpha\})$$ जहाँ $$\alpha \neq 0, 1$$. तब हम लंबे सटीक अनुक्रम का उपयोग कर सकते हैं

\begin{align} 0 &\to H_1(D)\to H_1(X) \to H_1(X,D) \\ & \to H_0(D)\to H_0(X) \to H_0(X,D) \end{align} = \begin{align} 0 & \to 0 \to \Z \to H_1(X,D) \\ & \to \Z^{\oplus 2} \to \Z \to 0 \end{align} $$ अनुक्रम की सटीकता का उपयोग करके हम इसे देख सकते हैं $$H_1(X,D)$$ एक लूप शामिल है $$\sigma$$ मूल के चारों ओर वामावर्त। के कोकर्नेल के बाद से $$\phi\colon \Z \to H_1(X,D)$$ सटीक क्रम में फिट बैठता है
 * $$ 0 \to \operatorname{coker}(\phi) \to \Z^{\oplus 2} \to \Z \to 0$$

यह समरूपी होना चाहिए $$\Z$$. कोकर्नेल के लिए एक जनरेटर है $$1$$-ज़ंजीर $$[1,\alpha]$$ चूँकि इसका सीमा मानचित्र है
 * $$\partial([1,\alpha]) = [\alpha] - [1]$$

यह भी देखें

 * उच्छेदन प्रमेय
 * मेयर-विएटोरिस अनुक्रम

टिप्पणियाँ
i.e., the boundary $$\partial\colon C_n(X)\to C_{n-1}(X)$$ maps $$C_n(A)$$ to $$C_{n-1}(A)$$

संदर्भ

 * Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1
 * Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1


 * Specific