पुलबैक (कोहोमोलॉजी): Difference between revisions

From Vigyanwiki
(Created page with "बीजगणितीय टोपोलॉजी में, टोपोलॉजिकल स्पेस स्थान का एक सतत मानचि...")
 
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[बीजगणितीय टोपोलॉजी]] में, [[टोपोलॉजिकल स्पेस]] स्थान का एक सतत मानचित्र f:
[[बीजगणितीय टोपोलॉजी]] में, [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समष्टियाँ]] का एक सतत मानचित्र ''f'': ''X'' → ''Y''  और एक वलय ''R'' दिया गया है, कोहोमोलॉजी सिद्धांत पर ''f'' के साथ पुलबैक एक ग्रेड-संरक्षित ''R''-बीजगणित समरूपता है:  
:<math>f^*: H^*(Y; R) \to H^*(X; R)</math>
:<math>f^*: H^*(Y; R) \to H^*(X; R)</math>
आर में गुणांक के साथ वाई के [[ कोहोमोलोजी रिंग ]] से एक्स के गुणांक तक। सुपरस्क्रिप्ट का उपयोग इसकी विरोधाभासी प्रकृति को इंगित करने के लिए है: यह मानचित्र की दिशा को उलट देता है। उदाहरण के लिए, यदि
Y के[[ कोहोमोलोजी रिंग | कोहोमोलोजी वलय]] से R में गुणांक के साथ X के गुणांक तक है। सुपरस्क्रिप्ट का उपयोग इसकी विरोधाभासी प्रकृति को इंगित करने के लिए है: यह मानचित्र की दिशा को उलट देता है। उदाहरण के लिए, यदि X, Y बहुविध हैं, R वास्तविक संख्याओं का क्षेत्र है, और सह-समरूपता डी राम सह-समरूपता है, तो पुलबैक विभेदक रूपों के पुलबैक से प्रेरित होता है।


कोहोमोलॉजी के होमोटॉपी इनवेरिएंस में कहा गया है कि यदि दो मानचित्र एफ, जी: एक्स वाई एक दूसरे के लिए होमोटोपिक हैं, तो वे समान पुलबैक निर्धारित करते हैं: एफ<sup>*</sup> = जी<sup>*</sup>.
कोहोमोलॉजी के होमोटॉपी इनवेरिएंस में कहा गया है कि यदि दो मानचित्र ''f'', ''g'': X Y एक दूसरे के लिए होमोटोपिक हैं, तो वे समान पुलबैक निर्धारित करते हैं: ''f''<sup>*</sup> = ''g''<sup>*</sup>


इसके विपरीत, उदाहरण के लिए डी राम कोहोमोलॉजी के लिए एक प्रोत्साहन [[एकीकरण-साथ-फाइबर]] द्वारा दिया जाता है।
इसके विपरीत, उदाहरण के लिए डी राम कोहोमोलॉजी के लिए एक प्रोत्साहन [[एकीकरण-साथ-फाइबर]] द्वारा दिया जाता है।


== शृंखला संकुल से परिभाषा ==
== शृंखला संकुल से परिभाषा ==
हम सबसे पहले एक श्रृंखला परिसर के दोहरे की सह-समरूपता की परिभाषा की समीक्षा करते हैं। मान लीजिए कि R एक क्रमविनिमेय वलय है, C, R-मॉड्यूल का एक श्रृंखला परिसर है और G एक R-मॉड्यूल है। जैसे कोई जाने देता है <math>H_*(C; G) = H_*(C \otimes_R G)</math>, एक चलो
हम सबसे पहले एक श्रृंखला परिसर के दोहरे की सह-समरूपता की परिभाषा की समीक्षा करते हैं। मान लीजिए कि R एक क्रमविनिमेय वलय है, C, R-मॉड्यूल का एक श्रृंखला परिसर है और G एक R-मॉड्यूल है। जैसे कोई <math>H_*(C; G) = H_*(C \otimes_R G)</math> देता है, वैसे ही कोई
:<math>H^*(C; G) = H^*(\operatorname{Hom}_R(C, G))</math>
:<math>H^*(C; G) = H^*(\operatorname{Hom}_R(C, G))</math>
जहां होम एक चेन कॉम्प्लेक्स और एक कोचेन कॉम्प्लेक्स के बीच होम का विशेष मामला है, जी को एक कोचेन कॉम्प्लेक्स के रूप में देखा जाता है जो डिग्री शून्य में केंद्रित होता है। (इसे कठोर बनाने के लिए, किसी को कॉम्प्लेक्स के टेंसर उत्पाद में संकेतों के समान संकेतों को चुनने की आवश्यकता है।) उदाहरण के लिए, यदि सी एक टोपोलॉजिकल स्पेस एक्स से जुड़ा एकवचन श्रृंखला कॉम्प्लेक्स है, तो यह की परिभाषा है जी में गुणांक के साथ एक्स की एकवचन सहसंरचना।
देता है जहां होम एक चेन कॉम्प्लेक्स और एक कोचेन कॉम्प्लेक्स के बीच होम की विशेष स्थिति है, ''G'' को डिग्री शून्य में केंद्रित एक कोचेन कॉम्प्लेक्स के रूप में देखा जाता है जो डिग्री शून्य में केंद्रित होता है। (इसे कठोर बनाने के लिए, किसी को कॉम्प्लेक्स के टेंसर उत्पाद में संकेतों के समान संकेतों को चुनने की आवश्यकता है।) उदाहरण के लिए, यदि ''C'' एक टोपोलॉजिकल समष्टि X से जुड़ा एकवचन श्रृंखला कॉम्प्लेक्स है, तो यह ''G'' में गुणांक के साथ X के एकवचन सह-समरूपता की परिभाषा है।


अब, मान लीजिए f: C → C{{'}} श्रृंखला परिसरों का एक मानचित्र हो (उदाहरण के लिए, यह टोपोलॉजिकल रिक्त स्थान के बीच एक सतत मानचित्र द्वारा प्रेरित हो सकता है)। फिर वहाँ है
अब, मान लीजिए f: C → C{{'}} श्रृंखला परिसरों का एक मानचित्र हो (उदाहरण के लिए, यह टोपोलॉजिकल समष्टि के बीच एक सतत मानचित्र द्वारा प्रेरित हो सकता है)। फिर वहाँ  
:<math>f^*: \operatorname{Hom}_R(C', G) \to \operatorname{Hom}_R(C, G)</math>
:<math>f^*: \operatorname{Hom}_R(C', G) \to \operatorname{Hom}_R(C, G)</math>
जो बदले में निर्धारित करता है
है जो बदले में निर्धारित करता है
:<math>f^*: H^*(C'; G) \to H^*(C; G).</math>
:<math>f^*: H^*(C'; G) \to H^*(C; G).</math>
यदि सी, सी{{'}} रिक्त स्थान
यदि ''C'', ''C'''  समष्टियाँ ''X'', ''Y'' के एकवचन श्रृंखला परिसर हैं, तो यह एकवचन कोहोमोलॉजी सिद्धांत के लिए एक बाधा है।


== संदर्भ ==
== संदर्भ ==
*J. P. May (1999), ''A Concise Course in Algebraic Topology''.
*J. P. May (1999), ''A Concise Course in Algebraic Topology''.
*S. P. Novikov (1996), ''Topology I - General Survey''.
*S. P. Novikov (1996), ''Topology I - General Survey''.
[[Category: सहसंगति सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:Created On 08/07/2023]]
[[Category:Created On 08/07/2023]]
[[Category:Machine Translated Page]]
[[Category:सहसंगति सिद्धांत]]

Latest revision as of 12:51, 28 July 2023

बीजगणितीय टोपोलॉजी में, टोपोलॉजिकल समष्टियाँ का एक सतत मानचित्र f: XY और एक वलय R दिया गया है, कोहोमोलॉजी सिद्धांत पर f के साथ पुलबैक एक ग्रेड-संरक्षित R-बीजगणित समरूपता है:

Y के कोहोमोलोजी वलय से R में गुणांक के साथ X के गुणांक तक है। सुपरस्क्रिप्ट का उपयोग इसकी विरोधाभासी प्रकृति को इंगित करने के लिए है: यह मानचित्र की दिशा को उलट देता है। उदाहरण के लिए, यदि X, Y बहुविध हैं, R वास्तविक संख्याओं का क्षेत्र है, और सह-समरूपता डी राम सह-समरूपता है, तो पुलबैक विभेदक रूपों के पुलबैक से प्रेरित होता है।

कोहोमोलॉजी के होमोटॉपी इनवेरिएंस में कहा गया है कि यदि दो मानचित्र f, g: X → Y एक दूसरे के लिए होमोटोपिक हैं, तो वे समान पुलबैक निर्धारित करते हैं: f* = g*

इसके विपरीत, उदाहरण के लिए डी राम कोहोमोलॉजी के लिए एक प्रोत्साहन एकीकरण-साथ-फाइबर द्वारा दिया जाता है।

शृंखला संकुल से परिभाषा

हम सबसे पहले एक श्रृंखला परिसर के दोहरे की सह-समरूपता की परिभाषा की समीक्षा करते हैं। मान लीजिए कि R एक क्रमविनिमेय वलय है, C, R-मॉड्यूल का एक श्रृंखला परिसर है और G एक R-मॉड्यूल है। जैसे कोई देता है, वैसे ही कोई

देता है जहां होम एक चेन कॉम्प्लेक्स और एक कोचेन कॉम्प्लेक्स के बीच होम की विशेष स्थिति है, G को डिग्री शून्य में केंद्रित एक कोचेन कॉम्प्लेक्स के रूप में देखा जाता है जो डिग्री शून्य में केंद्रित होता है। (इसे कठोर बनाने के लिए, किसी को कॉम्प्लेक्स के टेंसर उत्पाद में संकेतों के समान संकेतों को चुनने की आवश्यकता है।) उदाहरण के लिए, यदि C एक टोपोलॉजिकल समष्टि X से जुड़ा एकवचन श्रृंखला कॉम्प्लेक्स है, तो यह G में गुणांक के साथ X के एकवचन सह-समरूपता की परिभाषा है।

अब, मान लीजिए f: C → C' श्रृंखला परिसरों का एक मानचित्र हो (उदाहरण के लिए, यह टोपोलॉजिकल समष्टि के बीच एक सतत मानचित्र द्वारा प्रेरित हो सकता है)। फिर वहाँ

है जो बदले में निर्धारित करता है

यदि C, C' समष्टियाँ X, Y के एकवचन श्रृंखला परिसर हैं, तो यह एकवचन कोहोमोलॉजी सिद्धांत के लिए एक बाधा है।

संदर्भ

  • J. P. May (1999), A Concise Course in Algebraic Topology.
  • S. P. Novikov (1996), Topology I - General Survey.