रेलटिव होमोलॉजी: Difference between revisions
(Created page with "बीजगणितीय टोपोलॉजी में, गणित की एक शाखा, एक उप-स्थान के सापेक्ष एक...") |
No edit summary |
||
(12 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
[[बीजगणितीय टोपोलॉजी]] में, गणित की | [[बीजगणितीय टोपोलॉजी|बीजगणितीय सांस्थितिक]] में, गणित की शाखा, उप-समष्टि के '''सापेक्ष''' सांस्थितिक समष्टि की '''(व्युत्क्रमणीय) होमोलॉजी''', [[टोपोलॉजिकल जोड़ी|सांस्थितिक युग्म]] के लिए व्युत्क्रमणीय होमोलॉजी में निर्माण है। '''रेलटिव होमोलॉजी''' ('''सापेक्ष सजातीय''') कई मायनों में उपयोगी और महत्वपूर्ण है। सहज रूप से, यह यह निर्धारित करने में मदद करता है कि पूर्ण [[समरूपता समूह|होमोलॉजी समूह]] का कौन सा भाग किस उप-समष्टि से आता है। | ||
== परिभाषा == | == परिभाषा == | ||
उपसमष्टि <math>A\subseteq X</math> दिया गया, कोई संक्षिप्त सटीक अनुक्रम बना सकता है | |||
:<math>0\to C_\bullet(A) \to C_\bullet(X)\to | :<math>0\to C_\bullet(A) \to C_\bullet(X)\to | ||
C_\bullet(X) /C_\bullet(A) \to 0 ,</math> | C_\bullet(X) /C_\bullet(A) \to 0 ,</math> | ||
जहाँ <math>C_\bullet(X)</math> समष्टि X पर [[एकवचन श्रृंखला|व्युत्क्रमणीय श्रृंखला]]ओं को दर्शाता है। <math>C_\bullet(X)</math> पर सीमा मानचित्र <math>C_\bullet(A)</math> तक अवरोह{{ref|a|a}} है और इसलिए भागफल पर सीमा मानचित्र <math>\partial'_\bullet</math> उत्पन्न करता है। यदि हम इस भागफल को इससे निरूपित करें | |||
<math>C_n(X,A):=C_n(X)/C_n(A)</math>, फिर हमारे पास सम्मिश्र है | |||
:<math>\cdots\longrightarrow C_n(X,A) \xrightarrow{\partial'_n} C_{n-1}(X,A) \longrightarrow \cdots .</math> | :<math>\cdots\longrightarrow C_n(X,A) \xrightarrow{\partial'_n} C_{n-1}(X,A) \longrightarrow \cdots .</math> | ||
परिभाषा के अनुसार, | परिभाषा के अनुसार,रिक्त समष्टि <math>(X,A)</math> के युग्म का '''{{var|n}}वाँ रेलटिव होमोलॉजी समूह''' है | ||
:<math>H_n(X,A) := \ker\partial'_n/\operatorname{im}\partial'_{n+1}.</math> | :<math>H_n(X,A) := \ker\partial'_n/\operatorname{im}\partial'_{n+1}.</math> | ||
एक का कहना है कि | एक का कहना है कि रेलटिव होमोलॉजी '''सापेक्ष चक्रों''' द्वारा दी जाती है, श्रृंखलाएं जिनकी सीमाएं ''A'' पर श्रृंखलाएं होती हैं, '''सापेक्ष सीमाएं''' मॉड्यूलो (श्रृंखलाएं जो ''A'' पर श्रृंखला के अनुरूप होती हैं, अर्थात, श्रृंखलाएं जो सीमाएं होंगी, फिर से मॉड्यूलो ''A'' होगा)।<ref>{{Cite book|title=बीजगणितीय टोपोलॉजी|first=Allen|last=Hatcher|authorlink=Allen Hatcher|date=2002|publisher=[[Cambridge University Press]]|isbn=9780521795401|location=Cambridge, UK|oclc=45420394}}</ref> | ||
==गुण== | ==गुण== | ||
सापेक्ष श्रृंखला समूहों को निर्दिष्ट करने वाले उपरोक्त संक्षिप्त सटीक अनुक्रम छोटे सटीक अनुक्रमों के | सापेक्ष श्रृंखला समूहों को निर्दिष्ट करने वाले उपरोक्त संक्षिप्त सटीक अनुक्रम छोटे सटीक अनुक्रमों के श्रृंखला परिसर को उत्पन्न करती हैं।[[ साँप लेम्मा | स्नेक लेम्मा]] के अनुप्रयोग से सटीक अनुक्रम प्राप्त होता है | ||
:<math>\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 .</math> | :<math>\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 .</math> | ||
संयोजक मानचित्र <math>\partial</math> सापेक्ष चक्र लेता है, जो होमोलॉजी वर्ग का प्रतिनिधित्व करता है <math>H_n(X,A)</math>, इसकी सीमा तक (जो ''A'' में चक्र है)।<ref name=":0">{{Cite book|title=बीजगणितीय टोपोलॉजी|first=Allen|last=Hatcher|date=2002|publisher=Cambridge University Press|isbn=9780521795401|location=Cambridge|pages=118–119|oclc=45420394}}</ref> | |||
यह इस प्रकार है कि <math>H_n(X,x_0)</math>, जहाँ <math>x_0</math>, X में बिंदु है, X का ''n''-वाँ लघुकृत होमोलॉजी समूह है। दूसरे शब्दों में, सभी <math>i > 0</math> के लिए <math>H_i(X,x_0) = H_i(X)</math>, जब <math>i = 0</math>, जब <math>H_0(X,x_0)</math>, <math>H_0(X)</math> से श्रेणी कम का फ्री मॉड्यूल है। <math>x_0</math> जुड़े हुए घटक युक्त सापेक्ष होमोलॉजी में तुच्छ हो जाता है। | |||
सापेक्ष | उच्छेदन प्रमेय कहता है कि पर्याप्त रूप से अच्छे उपसमुच्चय <math>Z \subset A</math> को हटाना सापेक्ष होमोलॉजी समूहों <math>H_n(X,A)</math> अपरिवर्तित को छोड़ देता है। युग्म के दीर्घ सटीक अनुक्रम और उच्छेदन प्रमेय का उपयोग करके, कोई यह दिखा सकता है <math>H_n(X,A)</math> भागफल समष्टि <math>X/A</math> के ''n''-वें कम किए गए होमोलॉजी समूहों के समान है। | ||
सापेक्ष होमोलॉजी आसानी से त्रिगुण तक फैली हुई है <math>(X,Y,Z)</math> के लिए <math>Z \subset Y \subset X</math>. | |||
युग्म के लिए [[यूलर विशेषता]] को परिभाषित किया जा सकता है <math>Y \subset X</math> द्वारा | |||
:<math>\chi (X, Y) = \sum _{j=0} ^n (-1)^j \operatorname{rank} H_j (X, Y) . </math> | :<math>\chi (X, Y) = \sum _{j=0} ^n (-1)^j \operatorname{rank} H_j (X, Y) . </math> | ||
Line 34: | Line 35: | ||
\chi (X, Z) = \chi (X, Y) + \chi (Y, Z) .</math> | \chi (X, Z) = \chi (X, Y) + \chi (Y, Z) .</math> | ||
'''<big>सीमित होमोलॉजी</big>''' | |||
किसी समष्टि का <math>n</math>-वां सीमित होमोलॉजी समूह <math>X</math> बिंदु पर <math>x_0</math>, निरूपित | |||
:<math>H_{n,\{x_0\}}(X)</math> | :<math>H_{n,\{x_0\}}(X)</math> | ||
सापेक्ष | सापेक्ष होमोलॉजी समूह <math>H_n(X,X\setminus \{x_0\})</math> के रूप में परिभाषित किया गया है अनौपचारिक रूप से, यह सीमित होमोलॉजी है <math>X</math> के करीब <math>x_0</math>है। | ||
=== मूल बिंदु पर शंकु CX की | === मूल बिंदु पर शंकु CX की सीमित होमोलॉजी === | ||
सीमित होमोलॉजी का आसान उदाहरण शंकु के मूल में समष्टि के [[शंकु (टोपोलॉजी)|शंकु (सांस्थितिक)]] की सीमित होमोलॉजी की गणना करना है। याद रखें कि शंकु को भागफल समष्टि के रूप में परिभाषित किया गया है | |||
:<math>CX = (X\times I)/(X\times\{0\}) ,</math> | :<math>CX = (X\times I)/(X\times\{0\}) ,</math> | ||
जहाँ <math>X \times \{0\}</math> उप-समष्टि सांस्थितिक है। फिर, उत्पत्ति <math>x_0 = 0</math> बिंदु का समतुल्य वर्ग है <math>[X\times 0]</math>। अंतर्ज्ञान का उपयोग करते हुए कि सीमित होमोलॉजी समूह <math>H_{*,\{x_0\}}(CX)</math> का <math>CX</math> पर <math>x_0</math> की होमोलॉजी को <math>CX</math> अधिकृत है मूल के "निकट", हमें उम्मीद करनी चाहिए कि यह होमोलॉजी है <math>H_*(X)</math> तब से <math>CX \setminus \{x_0\}</math> इसमें [[होमोटोपी वापस लेना|होमोलॉजी तर्क]] <math>X</math> है, सीमित होमोलॉजी की गणना होमोलॉजी में दीर्घ सटीक अनुक्रम का उपयोग करके की जा सकती है | |||
:<math>\begin{align} | :<math>\begin{align} | ||
\to &H_n(CX\setminus \{x_0 \})\to H_n(CX) \to H_{n,\{x_{0}\}}(CX)\\ | \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). | \to & H_{n-1}(CX\setminus \{x_0 \})\to H_{n-1}(CX) \to H_{n-1,\{x_{0}\}}(CX). | ||
\end{align}</math> | \end{align}</math> | ||
क्योंकि किसी | क्योंकि किसी समष्टि का शंकु संकुचन योग्य समष्टि है, मध्य होमोलॉजी समूह सभी शून्य हैं, जो होमोलॉजी देते हैं | ||
:<math>\begin{align} | :<math>\begin{align} | ||
H_{n,\{x_0\}}(CX) & \cong | H_{n,\{x_0\}}(CX) & \cong | ||
Line 53: | Line 55: | ||
& \cong H_{n-1}(X), | & \cong H_{n-1}(X), | ||
\end{align}</math> | \end{align}</math> | ||
तब से <math>CX \setminus \{x_0\}</math> | तब से <math>CX \setminus \{x_0\}</math>, <math>X</math> के लिए अनुबंधीय है। | ||
==== [[बीजगणितीय ज्यामिति]] में ==== | ==== [[बीजगणितीय ज्यामिति]] में ==== | ||
ध्यान दें कि पिछले निर्माण को [[प्रक्षेप्य किस्म]] के [[शंकु (बीजगणितीय ज्यामिति)]] का उपयोग करके बीजगणितीय ज्यामिति में सिद्ध किया जा सकता है <math>X</math> | ध्यान दें कि पिछले निर्माण को [[प्रक्षेप्य किस्म]] के [[शंकु (बीजगणितीय ज्यामिति)]] का उपयोग करके बीजगणितीय ज्यामिति में सिद्ध किया जा सकता है <math>X</math> सीमित होमोलॉजी का उपयोग करना है। | ||
=== | === निर्बाध विविधता पर बिंदु की सीमित होमोलॉजी === | ||
सीमित होमोलॉजी के लिए अन्य गणना विविध <math>M</math> एक बिंदु <math>p</math> पर की जा सकती है। तो फिर <math>K</math> का सघन निकटतम <math>p</math> हो बंद डिस्क के लिए समरूपी <math>\mathbb{D}^n = \{ x \in \R^n : |x| \leq 1 \}</math> और मान लीजिये <math>U = M \setminus K</math> है। उच्छेदन प्रमेय का उपयोग करते हुए सापेक्ष होमोलॉजी समूहों का समरूप है | |||
:<math>\begin{align} | :<math>\begin{align} | ||
H_n(M,M\setminus\{p\}) &\cong H_n(M\setminus U, M\setminus (U\cup \{p\})) \\ | H_n(M,M\setminus\{p\}) &\cong H_n(M\setminus U, M\setminus (U\cup \{p\})) \\ | ||
&= H_n(K, K\setminus\{p\}), | &= H_n(K, K\setminus\{p\}), | ||
\end{align}</math> | \end{align}</math> | ||
इसलिए एक बिंदु की | इसलिए एक बिंदु की सीमित होमोलॉजी एक बंद गेंद <math>\mathbb{D}^n</math> में बिंदु की सीमित होमोलॉजी में बदल जाती है। समरूप समतुल्यता के कारण | ||
:<math>\mathbb{D}^n \setminus \{0\} \simeq S^{n-1}</math> | :<math>\mathbb{D}^n \setminus \{0\} \simeq S^{n-1}</math> | ||
और तथ्य | और तथ्य | ||
Line 71: | Line 73: | ||
0 & k \neq 0 , | 0 & k \neq 0 , | ||
\end{cases}</math> | \end{cases}</math> | ||
युग्म के दीर्घ सटीक अनुक्रम का एकमात्र गैर-तुच्छ हिस्सा <math>(\mathbb{D},\mathbb{D}\setminus\{0\})</math> है | |||
:<math>0 \to H_{n,\{0\}}(\mathbb{D}^n) \to H_{n-1}(S^{n-1}) \to 0 ,</math> | :<math>0 \to H_{n,\{0\}}(\mathbb{D}^n) \to H_{n-1}(S^{n-1}) \to 0 ,</math> | ||
इसलिए एकमात्र गैर-शून्य | इसलिए एकमात्र गैर-शून्य सीमित होमोलॉजी समूह <math>H_{n,\{0\}}(\mathbb{D}^n)</math> है। | ||
==कार्यात्मकता== | ==कार्यात्मकता== | ||
पूर्ण | पूर्ण होमोलॉजी की तरह, रिक्त समष्टि के बीच निरंतर मानचित्र सापेक्ष होमोलॉजी समूहों के बीच होमोलॉजी उत्पन्न करते हैं। वास्तव में, यह मानचित्र बिल्कुल होमोलॉजी समूहों पर प्रेरित मानचित्र है, लेकिन यह भागफल तक अवरोह है। | ||
मान लीजिये <math>(X,A)</math> और <math>(Y,B)</math> ऐसे रिक्त समष्टि के युग्म बनें <math>A\subseteq X</math> और <math>B\subseteq Y</math>, और मान लीजिये <math>f\colon X\to Y</math> सतत मानचित्र है। फिर प्रेरित मानचित्र<math>f_\#\colon C_n(X)\to C_n(Y)</math> (पूर्ण) श्रृंखला समूहों पर है। यदि <math>f(A)\subseteq B</math>, तब <math>f_\#(C_n(A))\subseteq C_n(B)</math>है। मान लीजिये | |||
<math>\begin{align} | <math>\begin{align} | ||
Line 84: | Line 86: | ||
\pi_Y&:C_n(Y)\longrightarrow C_n(Y)/C_n(B) \\ | \pi_Y&:C_n(Y)\longrightarrow C_n(Y)/C_n(B) \\ | ||
\end{align}</math> | \end{align}</math> | ||
[[ | [[भागफल समूह]] बनें जो तत्वों को भागफल समूहों में उनके समतुल्य वर्गों में ले जाते हैं। फिर मानचित्र <math>\pi_Y\circ f_\#\colon C_n(X)\to C_n(Y)/C_n(B)</math> समूह होमोलॉजी है। तब से <math>f_\#(C_n(A))\subseteq C_n(B)=\ker\pi_Y</math>, यह मानचित्र भागफल तक अवरोह है, अच्छी तरह से परिभाषित मानचित्र को प्रेरित करता है <math>\varphi\colon C_n(X)/C_n(A)\to C_n(Y)/C_n(B)</math> ऐसा कि निम्नलिखित आरेख आवागमन करता है:<ref>{{Cite book|last1=Dummit|first1=David S.|title=सार बीजगणित|last2=Foote|first2=Richard M.|date=2004|publisher=Wiley|isbn=9780471452348|edition=3|location=Hoboken, NJ|oclc=248917264}}</ref> | ||
[[File:The functoriality of relative homology.svg|frameकम|300x300पिक्सेल]] | |||
श्रृंखला मानचित्र समरूप समूहों के बीच होमोलॉजी उत्पन्न करते हैं, इसलिए <math>f</math> मानचित्र प्रेरित करता है <math>f_*\colon H_n(X,A)\to H_n(Y,B)</math> सापेक्ष होमोलॉजी समूहों पर<ref name=":0" /> | |||
==उदाहरण== | ==उदाहरण== | ||
सापेक्ष | सापेक्ष होमोलॉजी का महत्वपूर्ण उपयोग भागफल समष्टि <math>X/A</math> के होमोलॉजी समूहों की गणना है। <math>A</math>, <math>X</math> का उपसमष्टि है जो मंद नियमितता की शर्त को पूरा करता है जो कि <math>A</math> के निकटतम में सम्मिलित है <math>A</math> विरूपण के रूप में पीछे हटता है, तो समूह <math>\tilde H_n(X/A)</math>, <math> H_n(X,A)</math> के समरूपी है। हम किसी गोले की होमोलॉजी की गणना करने के लिए इस तथ्य का तुरंत उपयोग कर सकते हैं। हम महसूस कर सकते हैं <math>S^n</math> इसकी सीमा द्वारा n-डिस्क के भागफल के रूप में है, अर्थात <math>S^n = D^n/S^{n-1}</math>। सापेक्ष होमोलॉजी के सटीक अनुक्रम को लागू करने से निम्नलिखित मिलता है:<br> <math>\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.</math>क्योंकि डिस्क संकुचन क्षम है, हम जानते हैं कि इसके कम किए गए होमोलॉजी समूह सभी आयामों में अवशिष्ट हो जाते हैं, इसलिए उपरोक्त अनुक्रम संक्षिप्त सटीक अनुक्रम में समाप्त हो जाता है: | ||
क्योंकि डिस्क | |||
<math>0\rightarrow H_n(D^n,S^{n-1}) \rightarrow \tilde H_{n-1}(S^{n-1}) \rightarrow 0. </math> | <math>0\rightarrow H_n(D^n,S^{n-1}) \rightarrow \tilde H_{n-1}(S^{n-1}) \rightarrow 0. </math> | ||
एक और व्यावहारिक ज्यामितीय उदाहरण सापेक्ष | इसलिए, हमें होमोलॉजीएँ <math>H_n(D^n,S^{n-1})\cong \tilde H_{n-1}(S^{n-1})</math> प्राप्त होती हैं अब हम इसे <math>H_n(D^n,S^{n-1})\cong \Z</math> दिखाने के लिए प्रेरण द्वारा आगे बढ़ सकते हैं अब क्योंकि <math>S^{n-1}</math> <math>D^n</math>अपने आप में उपयुक्त निकटतम का विरूपण प्रत्यावर्तन है, हमें <math>H_n(D^n,S^{n-1})\cong \tilde H_n(S^n)\cong \Z</math> मिल गया है। | ||
एक और व्यावहारिक ज्यामितीय उदाहरण सापेक्ष होमोलॉजी द्वारा दिया गया है <math>(X=\Complex^*, D = \{1,\alpha\})</math> जहाँ <math>\alpha \neq 0, 1</math>। तब हम दीर्घ सटीक अनुक्रम का उपयोग कर सकते हैं | |||
:<math> | :<math> | ||
\begin{align} | \begin{align} | ||
Line 108: | Line 111: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
अनुक्रम की सटीकता का उपयोग करके हम इसे देख सकते हैं <math>H_1(X,D)</math> | अनुक्रम की सटीकता का उपयोग करके हम इसे देख सकते हैं <math>H_1(X,D)</math> में लूप <math>\sigma</math> मूल के चारों ओर वामावर्त सम्मिलित है। कोकर्नेल के बाद से <math>\phi\colon \Z \to H_1(X,D)</math> सटीक क्रम में फिट बैठता है | ||
:<math> 0 \to \operatorname{coker}(\phi) \to \Z^{\oplus 2} \to \Z \to 0</math> | :<math> 0 \to \operatorname{coker}(\phi) \to \Z^{\oplus 2} \to \Z \to 0</math> | ||
यह | यह <math>\Z</math> के समरूपी होना चाहिए, कोकर्नेल के लिए जनरेटर है <math>1</math>-चेन <math>[1,\alpha]</math> चूँकि इसका <math>\partial([1,\alpha]) = [\alpha] - [1]</math> | ||
सीमा मानचित्र है | |||
==यह भी देखें== | ==यह भी देखें== | ||
* | *उच्छेदन प्रमेय | ||
*मेयर-विएटोरिस अनुक्रम | *मेयर-विएटोरिस अनुक्रम | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{note|a}}[[wiktionary:i.e.|i.e.]], the boundary <math>\partial\colon C_n(X)\to C_{n-1}(X)</math> maps <math>C_n(A)</math> to <math>C_{n-1}(A)</math> | {{note|a}}[[wiktionary:i.e.|i.e.]], the boundary <math>\partial\colon C_n(X)\to C_{n-1}(X)</math> maps <math>C_n(A)</math> to <math>C_{n-1}(A)</math> | ||
==संदर्भ== | ==संदर्भ== | ||
* {{planetmath reference|urlname=RelativeHomologyGroups|title=Relative homology groups}} | * {{planetmath reference|urlname=RelativeHomologyGroups|title=Relative homology groups}} | ||
Line 128: | Line 129: | ||
;Specific | ;Specific | ||
{{Reflist}} | {{Reflist}} | ||
[[Category:Created On 08/07/2023]] | [[Category:Created On 08/07/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:समरूपता सिद्धांत]] |
Latest revision as of 15:05, 28 July 2023
बीजगणितीय सांस्थितिक में, गणित की शाखा, उप-समष्टि के सापेक्ष सांस्थितिक समष्टि की (व्युत्क्रमणीय) होमोलॉजी, सांस्थितिक युग्म के लिए व्युत्क्रमणीय होमोलॉजी में निर्माण है। रेलटिव होमोलॉजी (सापेक्ष सजातीय) कई मायनों में उपयोगी और महत्वपूर्ण है। सहज रूप से, यह यह निर्धारित करने में मदद करता है कि पूर्ण होमोलॉजी समूह का कौन सा भाग किस उप-समष्टि से आता है।
परिभाषा
उपसमष्टि दिया गया, कोई संक्षिप्त सटीक अनुक्रम बना सकता है
जहाँ समष्टि X पर व्युत्क्रमणीय श्रृंखलाओं को दर्शाता है। पर सीमा मानचित्र तक अवरोहa है और इसलिए भागफल पर सीमा मानचित्र उत्पन्न करता है। यदि हम इस भागफल को इससे निरूपित करें
, फिर हमारे पास सम्मिश्र है
परिभाषा के अनुसार,रिक्त समष्टि के युग्म का nवाँ रेलटिव होमोलॉजी समूह है
एक का कहना है कि रेलटिव होमोलॉजी सापेक्ष चक्रों द्वारा दी जाती है, श्रृंखलाएं जिनकी सीमाएं A पर श्रृंखलाएं होती हैं, सापेक्ष सीमाएं मॉड्यूलो (श्रृंखलाएं जो A पर श्रृंखला के अनुरूप होती हैं, अर्थात, श्रृंखलाएं जो सीमाएं होंगी, फिर से मॉड्यूलो A होगा)।[1]
गुण
सापेक्ष श्रृंखला समूहों को निर्दिष्ट करने वाले उपरोक्त संक्षिप्त सटीक अनुक्रम छोटे सटीक अनुक्रमों के श्रृंखला परिसर को उत्पन्न करती हैं। स्नेक लेम्मा के अनुप्रयोग से सटीक अनुक्रम प्राप्त होता है
संयोजक मानचित्र सापेक्ष चक्र लेता है, जो होमोलॉजी वर्ग का प्रतिनिधित्व करता है , इसकी सीमा तक (जो A में चक्र है)।[2]
यह इस प्रकार है कि , जहाँ , X में बिंदु है, X का n-वाँ लघुकृत होमोलॉजी समूह है। दूसरे शब्दों में, सभी के लिए , जब , जब , से श्रेणी कम का फ्री मॉड्यूल है। जुड़े हुए घटक युक्त सापेक्ष होमोलॉजी में तुच्छ हो जाता है।
उच्छेदन प्रमेय कहता है कि पर्याप्त रूप से अच्छे उपसमुच्चय को हटाना सापेक्ष होमोलॉजी समूहों अपरिवर्तित को छोड़ देता है। युग्म के दीर्घ सटीक अनुक्रम और उच्छेदन प्रमेय का उपयोग करके, कोई यह दिखा सकता है भागफल समष्टि के n-वें कम किए गए होमोलॉजी समूहों के समान है।
सापेक्ष होमोलॉजी आसानी से त्रिगुण तक फैली हुई है के लिए .
युग्म के लिए यूलर विशेषता को परिभाषित किया जा सकता है द्वारा
अनुक्रम की सटीकता का तात्पर्य है कि यूलर विशेषता योगात्मक है, अर्थात, यदि , किसी के पास
सीमित होमोलॉजी
किसी समष्टि का -वां सीमित होमोलॉजी समूह बिंदु पर , निरूपित
सापेक्ष होमोलॉजी समूह के रूप में परिभाषित किया गया है अनौपचारिक रूप से, यह सीमित होमोलॉजी है के करीब है।
मूल बिंदु पर शंकु CX की सीमित होमोलॉजी
सीमित होमोलॉजी का आसान उदाहरण शंकु के मूल में समष्टि के शंकु (सांस्थितिक) की सीमित होमोलॉजी की गणना करना है। याद रखें कि शंकु को भागफल समष्टि के रूप में परिभाषित किया गया है
जहाँ उप-समष्टि सांस्थितिक है। फिर, उत्पत्ति बिंदु का समतुल्य वर्ग है । अंतर्ज्ञान का उपयोग करते हुए कि सीमित होमोलॉजी समूह का पर की होमोलॉजी को अधिकृत है मूल के "निकट", हमें उम्मीद करनी चाहिए कि यह होमोलॉजी है तब से इसमें होमोलॉजी तर्क है, सीमित होमोलॉजी की गणना होमोलॉजी में दीर्घ सटीक अनुक्रम का उपयोग करके की जा सकती है
क्योंकि किसी समष्टि का शंकु संकुचन योग्य समष्टि है, मध्य होमोलॉजी समूह सभी शून्य हैं, जो होमोलॉजी देते हैं
तब से , के लिए अनुबंधीय है।
बीजगणितीय ज्यामिति में
ध्यान दें कि पिछले निर्माण को प्रक्षेप्य किस्म के शंकु (बीजगणितीय ज्यामिति) का उपयोग करके बीजगणितीय ज्यामिति में सिद्ध किया जा सकता है सीमित होमोलॉजी का उपयोग करना है।
निर्बाध विविधता पर बिंदु की सीमित होमोलॉजी
सीमित होमोलॉजी के लिए अन्य गणना विविध एक बिंदु पर की जा सकती है। तो फिर का सघन निकटतम हो बंद डिस्क के लिए समरूपी और मान लीजिये है। उच्छेदन प्रमेय का उपयोग करते हुए सापेक्ष होमोलॉजी समूहों का समरूप है
इसलिए एक बिंदु की सीमित होमोलॉजी एक बंद गेंद में बिंदु की सीमित होमोलॉजी में बदल जाती है। समरूप समतुल्यता के कारण
और तथ्य
युग्म के दीर्घ सटीक अनुक्रम का एकमात्र गैर-तुच्छ हिस्सा है
इसलिए एकमात्र गैर-शून्य सीमित होमोलॉजी समूह है।
कार्यात्मकता
पूर्ण होमोलॉजी की तरह, रिक्त समष्टि के बीच निरंतर मानचित्र सापेक्ष होमोलॉजी समूहों के बीच होमोलॉजी उत्पन्न करते हैं। वास्तव में, यह मानचित्र बिल्कुल होमोलॉजी समूहों पर प्रेरित मानचित्र है, लेकिन यह भागफल तक अवरोह है।
मान लीजिये और ऐसे रिक्त समष्टि के युग्म बनें और , और मान लीजिये सतत मानचित्र है। फिर प्रेरित मानचित्र (पूर्ण) श्रृंखला समूहों पर है। यदि , तब है। मान लीजिये
भागफल समूह बनें जो तत्वों को भागफल समूहों में उनके समतुल्य वर्गों में ले जाते हैं। फिर मानचित्र समूह होमोलॉजी है। तब से , यह मानचित्र भागफल तक अवरोह है, अच्छी तरह से परिभाषित मानचित्र को प्रेरित करता है ऐसा कि निम्नलिखित आरेख आवागमन करता है:[3]
श्रृंखला मानचित्र समरूप समूहों के बीच होमोलॉजी उत्पन्न करते हैं, इसलिए मानचित्र प्रेरित करता है सापेक्ष होमोलॉजी समूहों पर[2]
उदाहरण
सापेक्ष होमोलॉजी का महत्वपूर्ण उपयोग भागफल समष्टि के होमोलॉजी समूहों की गणना है। , का उपसमष्टि है जो मंद नियमितता की शर्त को पूरा करता है जो कि के निकटतम में सम्मिलित है विरूपण के रूप में पीछे हटता है, तो समूह , के समरूपी है। हम किसी गोले की होमोलॉजी की गणना करने के लिए इस तथ्य का तुरंत उपयोग कर सकते हैं। हम महसूस कर सकते हैं इसकी सीमा द्वारा n-डिस्क के भागफल के रूप में है, अर्थात । सापेक्ष होमोलॉजी के सटीक अनुक्रम को लागू करने से निम्नलिखित मिलता है:
क्योंकि डिस्क संकुचन क्षम है, हम जानते हैं कि इसके कम किए गए होमोलॉजी समूह सभी आयामों में अवशिष्ट हो जाते हैं, इसलिए उपरोक्त अनुक्रम संक्षिप्त सटीक अनुक्रम में समाप्त हो जाता है:
इसलिए, हमें होमोलॉजीएँ प्राप्त होती हैं अब हम इसे दिखाने के लिए प्रेरण द्वारा आगे बढ़ सकते हैं अब क्योंकि अपने आप में उपयुक्त निकटतम का विरूपण प्रत्यावर्तन है, हमें मिल गया है।
एक और व्यावहारिक ज्यामितीय उदाहरण सापेक्ष होमोलॉजी द्वारा दिया गया है जहाँ । तब हम दीर्घ सटीक अनुक्रम का उपयोग कर सकते हैं
अनुक्रम की सटीकता का उपयोग करके हम इसे देख सकते हैं में लूप मूल के चारों ओर वामावर्त सम्मिलित है। कोकर्नेल के बाद से सटीक क्रम में फिट बैठता है
यह के समरूपी होना चाहिए, कोकर्नेल के लिए जनरेटर है -चेन चूँकि इसका
सीमा मानचित्र है
यह भी देखें
- उच्छेदन प्रमेय
- मेयर-विएटोरिस अनुक्रम
टिप्पणियाँ
संदर्भ
- "Relative homology groups". PlanetMath.
- Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1
- Specific
- ↑ Hatcher, Allen (2002). बीजगणितीय टोपोलॉजी. Cambridge, UK: Cambridge University Press. ISBN 9780521795401. OCLC 45420394.
- ↑ 2.0 2.1 Hatcher, Allen (2002). बीजगणितीय टोपोलॉजी. Cambridge: Cambridge University Press. pp. 118–119. ISBN 9780521795401. OCLC 45420394.
- ↑ Dummit, David S.; Foote, Richard M. (2004). सार बीजगणित (3 ed.). Hoboken, NJ: Wiley. ISBN 9780471452348. OCLC 248917264.