अशक्त तुल्यता (होमोटॉपी सिद्धांत): Difference between revisions
(Created page with "गणित में, कमजोर तुल्यता समरूपता सिद्धांत की एक धारणा है जो कुछ अर...") |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, | गणित में, तनु तुल्यता समरूप सिद्धांत की एक धारणा है जो कुछ अर्थों में उन वस्तुओं की पहचान करती है जिनका "आकार" समान होता है। [[मॉडल श्रेणी]] की [[स्वयंसिद्ध]] परिभाषा में इस धारणा को औपचारिक रूप दिया गया है। | ||
एक मॉडल श्रेणी एक | एक मॉडल श्रेणी एक ऐसी श्रेणी है जिसमें आकारिकी के वर्ग होते हैं जिन्हें तनु समकक्ष, तंतु और सह-तंतु कहा जाता है, जो कई स्वयंसिद्धों को संतुष्ट करता है। एक मॉडल श्रेणी की संबद्ध होमोटॉपी श्रेणी में समान वस्तुएं होती हैं, लेकिन तनु समकक्षों को समरूपता में बदलने के लिए रूपवाद को बदल दिया जाता है। यह एक उपयोगी अवलोकन है कि संबंधित होमोटॉपी श्रेणी केवल तनु समकक्षों पर निर्भर करती है, फ़ाइब्रेशन और सह-फ़िबरेशन पर नहीं है। | ||
==[[टोपोलॉजिकल स्पेस]]== | ==[[टोपोलॉजिकल स्पेस]]== | ||
[[डेनियल क्विलेन|क्विलेन]] द्वारा मॉडल श्रेणियों को होमोटोपी सिद्धांत के एक स्वयंसिद्धीकरण के रूप में परिभाषित किया गया था जो टोपोलॉजिकल रिक्त स्थान पर लागू होता है, लेकिन बीजगणित और [[ज्यामिति]] में कई अन्य श्रेणियों पर भी लागू होता है। जिस उदाहरण ने विषय को शुरू किया वह टोपोलॉजिकल रिक्त स्थान की श्रेणी है जिसमें सेरे फाइब्रेशन को फाइब्रेशन के रूप में और तनु होमोटॉपी समकक्ष को तनु समकक्ष के रूप में शामिल किया गया है (इस मॉडल संरचना के लिए कोफाइब्रेशन को सापेक्ष सेल कॉम्प्लेक्स ''X'' ⊆ ''Y'' <ref>Hatcher (2002), Theorem 4.32.</ref> के रिट्रेक्ट के रूप में वर्णित किया जा सकता है)। परिभाषा के अनुसार, यदि पथ घटकों के सेट पर प्रेरित कार्य होता है, तो रिक्त स्थान की निरंतर मैपिंग ''f'': ''X'' → ''Y'' को तनु होमोटॉपी तुल्यता कहा जाता है। | |||
:<math>f_*\colon \pi_0(X) \to \pi_0(Y)</math> | :<math>f_*\colon \pi_0(X) \to \pi_0(Y)</math> | ||
विशेषण है, और | विशेषण है, और प्रत्येक बिंदु ''x'' के लिए ''X'' और प्रत्येक n ≥ 1, प्रेरित समरूपता | ||
:<math>f_*\colon \pi_n(X,x) \to \pi_n(Y,f(x))</math> | :<math>f_*\colon \pi_n(X,x) \to \pi_n(Y,f(x))</math> | ||
होमोटोपी समूहों पर विशेषण है। (X और ''Y'' पथ से जुड़े के लिए, पहली शर्त स्वचालित है, और यह x में एकल बिंदु ''X'' के लिए दूसरी शर्त बताने के लिए पर्याप्त है।) | |||
केवल जुड़े हुए टोपोलॉजिकल स्पेस X और Y के लिए, एक मैप ''f'': ''X'' → ''Y'' एक तनु होमोटोपी तुल्यता है यदि और केवल अगर प्रेरित होमोमोर्फिज्म ''f''<sub>*</sub>: ''H<sub>n</sub>''(''X'','''Z''') → ''H<sub>n</sub>''(''Y'','''Z''') एकवचन होमोलॉजी समूहों पर सभी ''n'' के लिए विशेषण है।<ref>[https://mathoverflow.net/q/57783 Is there the Whitehead theorem for cohomology theory?]</ref> इसी तरह, केवल जुड़े हुए स्थानों के लिए X और Y, एक मैप ''f: X → Y'' एक तनु होमोटोपी तुल्यता है यदि और केवल अगर पुलबैक होमोमोर्फिज्म ''f''*: ''H<sup>n</sup>''(''Y'','''Z''') → ''H<sup>n</sup>''(''X'','''Z''') एकवचन समरूपता पर सभी ''n'' के लिए विशेषण है।<ref>Strøm (1972).</ref> | |||
उदाहरण: X को प्राकृतिक संख्याओं का सेट होने दें { 0, 1, 2, ... } और ''Y'' को सेट होने दें { 0 } ∪ 1, 1/2, 1 / 3, ...}, दोनों वास्तविक लाइन से उप-स्थलाकृति के साथ परिभाषित करें ''f: X → Y'' मैपिंग द्वारा 0 से 0 और ''n'' से ''1/n'' तक धनात्मक पूर्णांक ''n'' के लिए. फिर ''f'' निरंतर है, और वास्तव में एक तनु होमोटोपी तुल्यता है, लेकिन यह एक होमोटोपी तुल्यता नहीं है। | |||
टोपोलॉजिकल स्पेस की श्रेणी में कई अन्य मॉडल संरचनाओं पर भी विचार किया गया है. उदाहरण के लिए, टोपोलॉजिकल स्पेस पर स्ट्रॉम मॉडल संरचना में, फ़ाइब्रेशन [[ह्यूरविक्ज़ फ़िब्रेशन]] हैं और तनु समतुल्य होमोटोपी समकक्ष हैं। | |||
==श्रृंखला परिसर== | ==श्रृंखला परिसर== | ||
Line 25: | Line 23: | ||
बस एक्स को परिभाषित करके<sup>मैं</sup> = एक्स<sub>−''i''</sub>.) | बस एक्स को परिभाषित करके<sup>मैं</sup> = एक्स<sub>−''i''</sub>.) | ||
श्रेणी सी(ए) में एक मॉडल संरचना होती है जिसमें सह-फाइब्रेशन [[एकरूपता]] होते हैं और | श्रेणी सी(ए) में एक मॉडल संरचना होती है जिसमें सह-फाइब्रेशन [[एकरूपता]] होते हैं और तनु समकक्ष [[अर्ध-समरूपता]]' होते हैं।<ref>Beke (2000), Proposition 3.13.</ref> परिभाषा के अनुसार, एक श्रृंखला मानचित्र f: X → Y एक अर्ध-समरूपता है यदि प्रेरित समरूपता | ||
:<math>f_*\colon H_n(X) \to H_n(Y)</math> | :<math>f_*\colon H_n(X) \to H_n(Y)</math> | ||
समरूपता (गणित) पर सभी पूर्णांक n के लिए एक समरूपता है। (यहां एच<sub>''n''</sub>(एक्स) ए की वस्तु है जिसे एक्स के [[कर्नेल (श्रेणी सिद्धांत)]] के रूप में परिभाषित किया गया है<sub>''n''</sub> → एक्स<sub>''n''−1</sub> X की [[छवि (गणित)]] मॉड्यूलो<sub>''n''+1</sub> → एक्स<sub>''n''</sub>.) परिणामी समरूप श्रेणी को [[व्युत्पन्न श्रेणी]] डी(ए) कहा जाता है। | समरूपता (गणित) पर सभी पूर्णांक n के लिए एक समरूपता है। (यहां एच<sub>''n''</sub>(एक्स) ए की वस्तु है जिसे एक्स के [[कर्नेल (श्रेणी सिद्धांत)]] के रूप में परिभाषित किया गया है<sub>''n''</sub> → एक्स<sub>''n''−1</sub> X की [[छवि (गणित)]] मॉड्यूलो<sub>''n''+1</sub> → एक्स<sub>''n''</sub>.) परिणामी समरूप श्रेणी को [[व्युत्पन्न श्रेणी]] डी(ए) कहा जाता है। | ||
==तुच्छ तंतु और तुच्छ सहतंतु== | ==तुच्छ तंतु और तुच्छ सहतंतु== | ||
किसी भी मॉडल श्रेणी में, एक फ़ाइब्रेशन जो एक | किसी भी मॉडल श्रेणी में, एक फ़ाइब्रेशन जो एक तनु तुल्यता भी है, को ट्रिवियल (या एसाइक्लिक) फ़ाइब्रेशन कहा जाता है। एक सह-फाइब्रेशन जो कि एक तनु तुल्यता भी है, को ट्रिवियल (या एसाइक्लिक) को-फाइब्रेशन कहा जाता है। | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== |
Revision as of 11:57, 13 July 2023
गणित में, तनु तुल्यता समरूप सिद्धांत की एक धारणा है जो कुछ अर्थों में उन वस्तुओं की पहचान करती है जिनका "आकार" समान होता है। मॉडल श्रेणी की स्वयंसिद्ध परिभाषा में इस धारणा को औपचारिक रूप दिया गया है।
एक मॉडल श्रेणी एक ऐसी श्रेणी है जिसमें आकारिकी के वर्ग होते हैं जिन्हें तनु समकक्ष, तंतु और सह-तंतु कहा जाता है, जो कई स्वयंसिद्धों को संतुष्ट करता है। एक मॉडल श्रेणी की संबद्ध होमोटॉपी श्रेणी में समान वस्तुएं होती हैं, लेकिन तनु समकक्षों को समरूपता में बदलने के लिए रूपवाद को बदल दिया जाता है। यह एक उपयोगी अवलोकन है कि संबंधित होमोटॉपी श्रेणी केवल तनु समकक्षों पर निर्भर करती है, फ़ाइब्रेशन और सह-फ़िबरेशन पर नहीं है।
टोपोलॉजिकल स्पेस
क्विलेन द्वारा मॉडल श्रेणियों को होमोटोपी सिद्धांत के एक स्वयंसिद्धीकरण के रूप में परिभाषित किया गया था जो टोपोलॉजिकल रिक्त स्थान पर लागू होता है, लेकिन बीजगणित और ज्यामिति में कई अन्य श्रेणियों पर भी लागू होता है। जिस उदाहरण ने विषय को शुरू किया वह टोपोलॉजिकल रिक्त स्थान की श्रेणी है जिसमें सेरे फाइब्रेशन को फाइब्रेशन के रूप में और तनु होमोटॉपी समकक्ष को तनु समकक्ष के रूप में शामिल किया गया है (इस मॉडल संरचना के लिए कोफाइब्रेशन को सापेक्ष सेल कॉम्प्लेक्स X ⊆ Y [1] के रिट्रेक्ट के रूप में वर्णित किया जा सकता है)। परिभाषा के अनुसार, यदि पथ घटकों के सेट पर प्रेरित कार्य होता है, तो रिक्त स्थान की निरंतर मैपिंग f: X → Y को तनु होमोटॉपी तुल्यता कहा जाता है।
विशेषण है, और प्रत्येक बिंदु x के लिए X और प्रत्येक n ≥ 1, प्रेरित समरूपता
होमोटोपी समूहों पर विशेषण है। (X और Y पथ से जुड़े के लिए, पहली शर्त स्वचालित है, और यह x में एकल बिंदु X के लिए दूसरी शर्त बताने के लिए पर्याप्त है।)
केवल जुड़े हुए टोपोलॉजिकल स्पेस X और Y के लिए, एक मैप f: X → Y एक तनु होमोटोपी तुल्यता है यदि और केवल अगर प्रेरित होमोमोर्फिज्म f*: Hn(X,Z) → Hn(Y,Z) एकवचन होमोलॉजी समूहों पर सभी n के लिए विशेषण है।[2] इसी तरह, केवल जुड़े हुए स्थानों के लिए X और Y, एक मैप f: X → Y एक तनु होमोटोपी तुल्यता है यदि और केवल अगर पुलबैक होमोमोर्फिज्म f*: Hn(Y,Z) → Hn(X,Z) एकवचन समरूपता पर सभी n के लिए विशेषण है।[3]
उदाहरण: X को प्राकृतिक संख्याओं का सेट होने दें { 0, 1, 2, ... } और Y को सेट होने दें { 0 } ∪ 1, 1/2, 1 / 3, ...}, दोनों वास्तविक लाइन से उप-स्थलाकृति के साथ परिभाषित करें f: X → Y मैपिंग द्वारा 0 से 0 और n से 1/n तक धनात्मक पूर्णांक n के लिए. फिर f निरंतर है, और वास्तव में एक तनु होमोटोपी तुल्यता है, लेकिन यह एक होमोटोपी तुल्यता नहीं है।
टोपोलॉजिकल स्पेस की श्रेणी में कई अन्य मॉडल संरचनाओं पर भी विचार किया गया है. उदाहरण के लिए, टोपोलॉजिकल स्पेस पर स्ट्रॉम मॉडल संरचना में, फ़ाइब्रेशन ह्यूरविक्ज़ फ़िब्रेशन हैं और तनु समतुल्य होमोटोपी समकक्ष हैं।
श्रृंखला परिसर
कुछ अन्य महत्वपूर्ण मॉडल श्रेणियों में श्रृंखला परिसर शामिल हैं। मान लीजिए A एक ग्रोथेंडिक श्रेणी है, उदाहरण के लिए एक रिंग (गणित) पर मॉड्यूल (गणित) की श्रेणी या टोपोलॉजिकल स्पेस पर एबेलियन समूहों के शीफ (गणित) की श्रेणी। ए में वस्तुओं श्रृंखला जटिल एक्स वाली वस्तुओं के साथ एक श्रेणी सी (ए) को परिभाषित करें,
और शृंखला मानचित्रों को आकार देता है। (यह ए की वस्तुओं के कोचेन कॉम्प्लेक्स पर विचार करने के बराबर है, जहां नंबरिंग को इस प्रकार लिखा जाता है
बस एक्स को परिभाषित करकेमैं = एक्स−i.)
श्रेणी सी(ए) में एक मॉडल संरचना होती है जिसमें सह-फाइब्रेशन एकरूपता होते हैं और तनु समकक्ष अर्ध-समरूपता' होते हैं।[4] परिभाषा के अनुसार, एक श्रृंखला मानचित्र f: X → Y एक अर्ध-समरूपता है यदि प्रेरित समरूपता
समरूपता (गणित) पर सभी पूर्णांक n के लिए एक समरूपता है। (यहां एचn(एक्स) ए की वस्तु है जिसे एक्स के कर्नेल (श्रेणी सिद्धांत) के रूप में परिभाषित किया गया हैn → एक्सn−1 X की छवि (गणित) मॉड्यूलोn+1 → एक्सn.) परिणामी समरूप श्रेणी को व्युत्पन्न श्रेणी डी(ए) कहा जाता है।
तुच्छ तंतु और तुच्छ सहतंतु
किसी भी मॉडल श्रेणी में, एक फ़ाइब्रेशन जो एक तनु तुल्यता भी है, को ट्रिवियल (या एसाइक्लिक) फ़ाइब्रेशन कहा जाता है। एक सह-फाइब्रेशन जो कि एक तनु तुल्यता भी है, को ट्रिवियल (या एसाइक्लिक) को-फाइब्रेशन कहा जाता है।
टिप्पणियाँ
- ↑ Hatcher (2002), Theorem 4.32.
- ↑ Is there the Whitehead theorem for cohomology theory?
- ↑ Strøm (1972).
- ↑ Beke (2000), Proposition 3.13.
संदर्भ
- Beke, Tibor (2000), "Sheafifiable homotopy model categories", Mathematical Proceedings of the Cambridge Philosophical Society, 129: 447–473, arXiv:math/0102087, Bibcode:2000MPCPS.129..447B, doi:10.1017/S0305004100004722, MR 1780498
- Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, ISBN 0-521-79540-0, MR 1867354
- Hovey, Mark (1999), Model Categories (PDF), American Mathematical Society, ISBN 0-8218-1359-5, MR 1650134
- Strøm, Arne (1972), "The homotopy category is a homotopy category", Archiv der Mathematik, 23: 435–441, doi:10.1007/BF01304912, MR 0321082