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

Latest revision as of 15:05, 28 July 2023

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

परिभाषा

उपसमष्‍टि $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)$ तक अवरोह^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 होगा)।^[1]

गुण

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

\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 में चक्र है)।^[2]

यह इस प्रकार है कि $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{aligned}\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{aligned}}

क्योंकि किसी समष्टि का शंकु संकुचन योग्य समष्टि है, मध्य होमोलॉजी समूह सभी शून्य हैं, जो होमोलॉजी देते हैं

{\begin{aligned}H_{n,\{x_{0}\}}(CX)&\cong H_{n-1}(CX\setminus \{x_{0}\})\\&\cong H_{n-1}(X),\end{aligned}}

तब से $CX\setminus \{x_{0}\}$ , $X$ के लिए अनुबंधीय है।

बीजगणितीय ज्यामिति में

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

निर्बाध विविधता पर बिंदु की सीमित होमोलॉजी

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

{\begin{aligned}H_{n}(M,M\setminus \{p\})&\cong H_{n}(M\setminus U,M\setminus (U\cup \{p\}))\\&=H_{n}(K,K\setminus \{p\}),\end{aligned}}

इसलिए एक बिंदु की सीमित होमोलॉजी एक बंद गेंद $\mathbb {D} ^{n}$ में बिंदु की सीमित होमोलॉजी में बदल जाती है। समरूप समतुल्यता के कारण

\mathbb {D} ^{n}\setminus \{0\}\simeq S^{n-1}

और तथ्य

H_{k}(\mathbb {D} ^{n})\cong {\begin{cases}\mathbb {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{aligned}\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{aligned}}$

भागफल समूह बनें जो तत्वों को भागफल समूहों में उनके समतुल्य वर्गों में ले जाते हैं। फिर मानचित्र $\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)$ ऐसा कि निम्नलिखित आरेख आवागमन करता है:^[3]

श्रृंखला मानचित्र समरूप समूहों के बीच होमोलॉजी उत्पन्न करते हैं, इसलिए $f$ मानचित्र प्रेरित करता है $f_{*}\colon H_{n}(X,A)\to H_{n}(Y,B)$ सापेक्ष होमोलॉजी समूहों पर^[2]

उदाहरण

सापेक्ष होमोलॉजी का महत्वपूर्ण उपयोग भागफल समष्टि $X/A$ के होमोलॉजी समूहों की गणना है। $A$ , $X$ का उपसमष्‍टि है जो मंद नियमितता की शर्त को पूरा करता है जो कि $A$ के निकटतम में सम्मिलित है $A$ विरूपण के रूप में पीछे हटता है, तो समूह ${\tilde {H}}_{n}(X/A)$ , $H_{n}(X,A)$ के समरूपी है। हम किसी गोले की होमोलॉजी की गणना करने के लिए इस तथ्य का तुरंत उपयोग कर सकते हैं। हम महसूस कर सकते हैं $S^{n}$ इसकी सीमा द्वारा 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 \mathbb {Z}$ दिखाने के लिए प्रेरण द्वारा आगे बढ़ सकते हैं अब क्योंकि $S^{n-1}$ $D^{n}$ अपने आप में उपयुक्त निकटतम का विरूपण प्रत्यावर्तन है, हमें $H_{n}(D^{n},S^{n-1})\cong {\tilde {H}}_{n}(S^{n})\cong \mathbb {Z}$ मिल गया है।

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

{\begin{aligned}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{aligned}}={\begin{aligned}0&\to 0\to \mathbb {Z} \to H_{1}(X,D)\\&\to \mathbb {Z} ^{\oplus 2}\to \mathbb {Z} \to 0\end{aligned}}

अनुक्रम की सटीकता का उपयोग करके हम इसे देख सकते हैं $H_{1}(X,D)$ में लूप $\sigma$ मूल के चारों ओर वामावर्त सम्मिलित है। कोकर्नेल के बाद से $\phi \colon \mathbb {Z} \to H_{1}(X,D)$ सटीक क्रम में फिट बैठता है

0\to \operatorname {coker} (\phi )\to \mathbb {Z} ^{\oplus 2}\to \mathbb {Z} \to 0

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

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

यह भी देखें

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

संदर्भ

"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.

[1] Hatcher, Allen (2002). बीजगणितीय टोपोलॉजी. Cambridge, UK: Cambridge University Press. ISBN 9780521795401. OCLC 45420394.

[:0-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.

a

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
-[[बीजगणितीय टोपोलॉजी|बीजगणितीय सांस्थितिक]] में, गणित की शाखा, उप-समष्टि के सापेक्ष सांस्थितिक समष्टि की '''(व्युत्क्रमणीय) समरूपता''', [[टोपोलॉजिकल जोड़ी|सांस्थितिक युग्म]] के लिए व्युत्क्रमणीय समरूपता में निर्माण है। सापेक्ष समरूपता कई मायनों में उपयोगी और महत्वपूर्ण है। सहज रूप से, यह यह निर्धारित करने में मदद करता है कि पूर्ण [[समरूपता समूह]] का कौन सा भाग किस उप-समष्टि से आता है।
+[[बीजगणितीय टोपोलॉजी|बीजगणितीय सांस्थितिक]] में, गणित की शाखा, उप-समष्टि के '''सापेक्ष''' सांस्थितिक समष्टि की '''(व्युत्क्रमणीय) होमोलॉजी''', [[टोपोलॉजिकल जोड़ी|सांस्थितिक युग्म]] के लिए व्युत्क्रमणीय होमोलॉजी में निर्माण है। '''रेलटिव होमोलॉजी''' ('''सापेक्ष सजातीय''') कई मायनों में उपयोगी और महत्वपूर्ण है। सहज रूप से, यह यह निर्धारित करने में मदद करता है कि पूर्ण [[समरूपता समूह|होमोलॉजी समूह]] का कौन सा भाग किस उप-समष्टि से आता है।
 == परिभाषा ==
@@ Line 10: / Line 10: @@
 <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>(X,A)</math> के युग्म का {{var|n}}वाँ सापेक्ष समरूपता समूह है
+परिभाषा के अनुसार,रिक्त समष्टि <math>(X,A)</math> के युग्म का '''{{var|n}}वाँ रेलटिव होमोलॉजी समूह''' है
 :<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>
+एक का कहना है कि रेलटिव होमोलॉजी '''सापेक्ष चक्रों''' द्वारा दी जाती है, श्रृंखलाएं जिनकी सीमाएं ''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>
 ==गुण==
@@ Line 19: / Line 19: @@
 :<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>\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>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>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>(X,Y,Z)</math> के लिए <math>Z \subset Y \subset X</math>.
 युग्म के लिए [[यूलर विशेषता]] को परिभाषित किया जा सकता है <math>Y \subset X</math> द्वारा
@@ Line 35: / Line 35: @@
 \chi (X, Z) = \chi (X, Y) + \chi (Y, Z) .</math>
+'''<big>सीमित होमोलॉजी</big>'''
+किसी समष्टि का <math>n</math>-वां सीमित होमोलॉजी समूह <math>X</math> बिंदु पर <math>x_0</math>, निरूपित
-'''<big>सीमित समरूपता</big>'''
-किसी समष्टि का <math>n</math>-वां सीमित समरूपता समूह <math>X</math> बिंदु पर <math>x_0</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>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}
 \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}</math>
-क्योंकि किसी समष्टि का शंकु संकुचन योग्य समष्टि है, मध्य समरूपता समूह सभी शून्य हैं, जो समरूपता देते हैं
+क्योंकि किसी समष्टि का शंकु संकुचन योग्य समष्टि है, मध्य होमोलॉजी समूह सभी शून्य हैं, जो होमोलॉजी देते हैं
 :<math>\begin{align}
 H_{n,\{x_0\}}(CX) & \cong
@@ Line 60: / Line 58: @@
 ==== [[बीजगणितीय ज्यामिति]] में ====
-ध्यान दें कि पिछले निर्माण को [[प्रक्षेप्य किस्म]] के [[शंकु (बीजगणितीय ज्यामिति)]] का उपयोग करके बीजगणितीय ज्यामिति में सिद्ध किया जा सकता है <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>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}
 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}</math>
-इसलिए एक बिंदु की सीमित समरूपता एक बंद गेंद <math>\mathbb{D}^n</math> में बिंदु की सीमित समरूपता में बदल जाती है। समरूप समतुल्यता के कारण
+इसलिए एक बिंदु की सीमित होमोलॉजी एक बंद गेंद <math>\mathbb{D}^n</math> में बिंदु की सीमित होमोलॉजी में बदल जाती है। समरूप समतुल्यता के कारण
 :<math>\mathbb{D}^n \setminus \{0\} \simeq S^{n-1}</math>
 और तथ्य
@@ Line 75: / Line 73: @@
 & k \neq 0 ,
 \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>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}
@@ Line 89: / Line 87: @@
 \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>
+[[भागफल समूह]] बनें जो तत्वों को भागफल समूहों में उनके समतुल्य वर्गों में ले जाते हैं। फिर मानचित्र <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>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>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>
 \begin{align}
@@ Line 113: / Line 111: @@
 \end{align}
 </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>\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>
+सीमा मानचित्र है
 ==यह भी देखें==
@@ Line 125: / Line 123: @@
 ==टिप्पणियाँ==
 {{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}}
@@ Line 133: / Line 129: @@
 ;Specific
 {{Reflist}}
-[[Category: समरूपता सिद्धांत]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 08/07/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:समरूपता सिद्धांत]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 15:05, 28 July 2023

Contents

परिभाषा

गुण

मूल बिंदु पर शंकु CX की सीमित होमोलॉजी

बीजगणितीय ज्यामिति में

निर्बाध विविधता पर बिंदु की सीमित होमोलॉजी

कार्यात्मकता

उदाहरण

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Latest revision as of 15:05, 28 July 2023

परिभाषा

गुण

मूल बिंदु पर शंकु CX की सीमित होमोलॉजी

बीजगणितीय ज्यामिति में

निर्बाध विविधता पर बिंदु की सीमित होमोलॉजी

कार्यात्मकता

उदाहरण

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories