रेलटिव होमोलॉजी: Difference between revisions

From Vigyanwiki
(Created page with "बीजगणितीय टोपोलॉजी में, गणित की एक शाखा, एक उप-स्थान के सापेक्ष एक...")
 
No edit summary
 
(12 intermediate revisions by 4 users not shown)
Line 1: Line 1:
[[बीजगणितीय टोपोलॉजी]] में, गणित की एक शाखा, एक उप-स्थान के सापेक्ष एक टोपोलॉजिकल स्पेस की (एकवचन) होमोलॉजी, [[टोपोलॉजिकल जोड़ी]] के लिए एकवचन होमोलॉजी में एक निर्माण है। सापेक्ष समरूपता कई मायनों में उपयोगी और महत्वपूर्ण है। सहज रूप से, यह यह निर्धारित करने में मदद करता है कि पूर्ण [[समरूपता समूह]] का कौन सा भाग किस उप-स्थान से आता है।
[[बीजगणितीय टोपोलॉजी|बीजगणितीय सांस्थितिक]] में, गणित की शाखा, उप-समष्टि के '''सापेक्ष''' सांस्थितिक समष्टि की '''(व्युत्क्रमणीय) होमोलॉजी''', [[टोपोलॉजिकल जोड़ी|सांस्थितिक युग्म]] के लिए व्युत्क्रमणीय होमोलॉजी में निर्माण है। '''रेलटिव होमोलॉजी''' ('''सापेक्ष सजातीय''') कई मायनों में उपयोगी और महत्वपूर्ण है। सहज रूप से, यह यह निर्धारित करने में मदद करता है कि पूर्ण [[समरूपता समूह|होमोलॉजी समूह]] का कौन सा भाग किस उप-समष्टि से आता है।


== परिभाषा ==
== परिभाषा ==
एक उपस्थान दिया गया <math>A\subseteq X</math>, कोई संक्षिप्त सटीक अनुक्रम बना सकता है
उपसमष्‍टि <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> उतरता{{ref|a|a}} को <math>C_\bullet(A)</math> और इसलिए एक सीमा मानचित्र तैयार करता है <math>\partial'_\bullet</math> भागफल पर. यदि हम इस भागफल को इससे निरूपित करें <math>C_n(X,A):=C_n(X)/C_n(A)</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>
परिभाषा के अनुसार,{{var|n}}<sup>रिक्त स्थान के जोड़े का सापेक्ष समरूपता समूह <math>(X,A)</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>
एक का कहना है कि सापेक्ष समरूपता सापेक्ष चक्रों द्वारा दी जाती है, श्रृंखलाएं जिनकी सीमाएं '''' पर श्रृंखलाएं होती हैं, सापेक्ष सीमाएं मॉड्यूलो (श्रृंखलाएं जो '''' पर श्रृंखला के अनुरूप होती हैं, यानी, श्रृंखलाएं जो सीमाएं होंगी) , मॉड्यूलो '''' फिर से)।<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>
एक का कहना है कि रेलटिव होमोलॉजी '''सापेक्ष चक्रों''' द्वारा दी जाती है, श्रृंखलाएं जिनकी सीमाएं ''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>, इसकी सीमा तक (जो में एक चक्र है)।<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>\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>H_i(X,x_0) = H_i(X)</math> सभी के लिए <math>i > 0</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> भागफल स्थान के n-वें कम किए गए समरूपता समूहों के समान है <math>X/A</math>.
यह इस प्रकार है कि <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>(X,Y,Z)</math> के लिए <math>Z \subset Y \subset X</math>.
उच्छेदन प्रमेय कहता है कि पर्याप्त रूप से अच्छे उपसमुच्चय <math>Z \subset A</math> को हटाना सापेक्ष होमोलॉजी समूहों <math>H_n(X,A)</math> अपरिवर्तित को छोड़ देता है। युग्म के दीर्घ सटीक अनुक्रम और उच्छेदन प्रमेय का उपयोग करके, कोई यह दिखा सकता है <math>H_n(X,A)</math> भागफल समष्टि <math>X/A</math> के ''n''-वें कम किए गए होमोलॉजी समूहों के समान है।


एक जोड़ी के लिए [[यूलर विशेषता]] को परिभाषित किया जा सकता है <math>Y \subset X</math> द्वारा
सापेक्ष होमोलॉजी आसानी से त्रिगुण तक फैली हुई है <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>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>.
सापेक्ष होमोलॉजी समूह <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>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>X</math>.
तब से <math>CX \setminus \{x_0\}</math>, <math>X</math> के लिए अनुबंधीय है।


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


=== स्मूथ मैनिफोल्ड पर एक बिंदु की स्थानीय समरूपता ===
=== निर्बाध विविधता पर बिंदु की सीमित होमोलॉजी ===
स्थानीय समरूपता के लिए एक अन्य गणना एक बिंदु पर की जा सकती है <math>p</math> अनेक गुना का <math>M</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>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</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>(\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>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>(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>\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> इसकी सीमा द्वारा एन-डिस्क के भागफल के रूप में, अर्थात। <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>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>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>\sigma</math> मूल के चारों ओर वामावर्त। के कोकर्नेल के बाद से <math>\phi\colon \Z \to 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>\Z</math> के समरूपी होना चाहिए, कोकर्नेल के लिए जनरेटर है <math>1</math>-चेन <math>[1,\alpha]</math> चूँकि इसका <math>\partial([1,\alpha]) = [\alpha] - [1]</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: समरूपता सिद्धांत]]


[[Category: Machine Translated Page]]
[[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]

300x300पिक्सेल

श्रृंखला मानचित्र समरूप समूहों के बीच होमोलॉजी उत्पन्न करते हैं, इसलिए मानचित्र प्रेरित करता है सापेक्ष होमोलॉजी समूहों पर[2]

उदाहरण

सापेक्ष होमोलॉजी का महत्वपूर्ण उपयोग भागफल समष्टि के होमोलॉजी समूहों की गणना है। , का उपसमष्‍टि है जो मंद नियमितता की शर्त को पूरा करता है जो कि के निकटतम में सम्मिलित है विरूपण के रूप में पीछे हटता है, तो समूह , के समरूपी है। हम किसी गोले की होमोलॉजी की गणना करने के लिए इस तथ्य का तुरंत उपयोग कर सकते हैं। हम महसूस कर सकते हैं इसकी सीमा द्वारा n-डिस्क के भागफल के रूप में है, अर्थात । सापेक्ष होमोलॉजी के सटीक अनुक्रम को लागू करने से निम्नलिखित मिलता है:
क्योंकि डिस्क संकुचन क्षम है, हम जानते हैं कि इसके कम किए गए होमोलॉजी समूह सभी आयामों में अवशिष्ट हो जाते हैं, इसलिए उपरोक्त अनुक्रम संक्षिप्त सटीक अनुक्रम में समाप्त हो जाता है:

इसलिए, हमें होमोलॉजीएँ प्राप्त होती हैं अब हम इसे दिखाने के लिए प्रेरण द्वारा आगे बढ़ सकते हैं अब क्योंकि अपने आप में उपयुक्त निकटतम का विरूपण प्रत्यावर्तन है, हमें मिल गया है।

एक और व्यावहारिक ज्यामितीय उदाहरण सापेक्ष होमोलॉजी द्वारा दिया गया है जहाँ । तब हम दीर्घ सटीक अनुक्रम का उपयोग कर सकते हैं

अनुक्रम की सटीकता का उपयोग करके हम इसे देख सकते हैं में लूप मूल के चारों ओर वामावर्त सम्मिलित है। कोकर्नेल के बाद से सटीक क्रम में फिट बैठता है

यह के समरूपी होना चाहिए, कोकर्नेल के लिए जनरेटर है -चेन चूँकि इसका

सीमा मानचित्र है

यह भी देखें

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

टिप्पणियाँ

^ i.e., the boundary maps to

संदर्भ

  • "Relative homology groups". PlanetMath.
  • Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1
Specific
  1. Hatcher, Allen (2002). बीजगणितीय टोपोलॉजी. Cambridge, UK: Cambridge University Press. ISBN 9780521795401. OCLC 45420394.
  2. 2.0 2.1 Hatcher, Allen (2002). बीजगणितीय टोपोलॉजी. Cambridge: Cambridge University Press. pp. 118–119. ISBN 9780521795401. OCLC 45420394.
  3. Dummit, David S.; Foote, Richard M. (2004). सार बीजगणित (3 ed.). Hoboken, NJ: Wiley. ISBN 9780471452348. OCLC 248917264.