लूप स्पेस: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Topological space}} | {{Short description|Topological space}} | ||
[[टोपोलॉजी]] में, गणित की शाखा, [[ नुकीला स्थान | लूप स्पेस]] [[टोपोलॉजिकल स्पेस]] ''X'' का लूप स्पेस Ω''X'' ''X'' में (आधारित) लूप्स का स्पेस है, अर्थात निरंतर फलन (टोपोलॉजी) पॉइंटेड लूप वृत्त ''S<sup>1</sup>'' से मानचित्र से X, [[कॉम्पैक्ट-ओपन टोपोलॉजी]] से सुसज्जित दो लूपों को पथ (टोपोलॉजी) पथ रचना द्वारा गुणा किया जा सकता है। इस ऑपरेशन के साथ, लूप स्पेस ए-इनफिनिटी ऑपरेड ए स्पेस है | [[टोपोलॉजी]] में, गणित की शाखा, [[ नुकीला स्थान |लूप स्पेस]] [[टोपोलॉजिकल स्पेस]] ''X'' का लूप स्पेस Ω''X'' ''X'' में (आधारित) लूप्स का स्पेस है, अर्थात निरंतर फलन (टोपोलॉजी) पॉइंटेड लूप वृत्त ''S<sup>1</sup>'' से मानचित्र से X, [[कॉम्पैक्ट-ओपन टोपोलॉजी]] से सुसज्जित दो लूपों को पथ (टोपोलॉजी) पथ रचना द्वारा गुणा किया जा सकता है। इस ऑपरेशन के साथ, लूप स्पेस ए-इनफिनिटी ऑपरेड ए स्पेस है अर्थात्, गुणन [[होमोटॉपी]]-सुसंगत साहचर्य गुण है। | ||
ΩX के [[पथ घटक]] का [[सेट (गणित)|समुच्चय (गणित)]] अर्थात एक्स में आधारित लूप के आधारित-होमोटॉपी [[तुल्यता वर्ग]] का समुच्चय एक | |||
ΩX के [[पथ घटक]] का [[सेट (गणित)|समुच्चय (गणित)]] अर्थात एक्स में आधारित लूप के आधारित-होमोटॉपी [[तुल्यता वर्ग]] का समुच्चय एक [[मौलिक समूह]] है, | |||
X के 'पुनरावृत्त लूप स्पेस' Ω को कई बार लगाने से बनते हैं। | X के 'पुनरावृत्त लूप स्पेस' Ω को कई बार लगाने से बनते हैं। | ||
Line 12: | Line 13: | ||
== एकमैन-हिल्टन द्वैत == | == एकमैन-हिल्टन द्वैत == | ||
लूप स्पेस ही स्पेस के [[ निलंबन (टोपोलॉजी) ]] से दोगुना है; इस द्वैत को कभी-कभी एकमैन-हिल्टन द्वैत भी कहा जाता है। मूल अवलोकन यही है | लूप स्पेस ही स्पेस के [[ निलंबन (टोपोलॉजी) |निलंबन (टोपोलॉजी)]] से दोगुना है; इस द्वैत को कभी-कभी एकमैन-हिल्टन द्वैत भी कहा जाता है। मूल अवलोकन यही है | ||
:<math>[\Sigma Z,X] \approxeq [Z, \Omega X]</math> | :<math>[\Sigma Z,X] \approxeq [Z, \Omega X]</math> | ||
जहाँ <math>[A,B]</math> मानचित्रों के समरूप वर्गों का समुच्चय <math>A \rightarrow B</math> है ,और <math>\Sigma A</math> ए का निलंबन है, और <math>\approxeq</math> [[प्राकृतिक परिवर्तन]] समरूपता को दर्शाता है। यह [[होमियोमोर्फिज्म]] अनिवार्य रूप से उत्पादों को कम उत्पादों में परिवर्तित करने के लिए आवश्यक भागफल को संशोधित करने की है। | जहाँ <math>[A,B]</math> मानचित्रों के समरूप वर्गों का समुच्चय <math>A \rightarrow B</math> है ,और <math>\Sigma A</math> ए का निलंबन है, और <math>\approxeq</math> [[प्राकृतिक परिवर्तन]] समरूपता को दर्शाता है। यह [[होमियोमोर्फिज्म]] अनिवार्य रूप से उत्पादों को कम उत्पादों में परिवर्तित करने के लिए आवश्यक भागफल को संशोधित करने की है। | ||
सामान्य रूप में, <math>[A, B]</math> सही स्पेस के लिए कोई समूह संरचना | सामान्य रूप में, <math>[A, B]</math> सही स्पेस के लिए कोई समूह संरचना <math>A</math> और <math>B</math>. नहीं है चूँकि, यह <math>[\Sigma Z,X]</math> और <math>[Z, \Omega X]</math> दिखाया जा सकता है जब प्राकृतिक समूह संरचनाएँ हों <math>Z</math> और <math>X</math> इंगित स्पेस हैं, और उपरोक्त समरूपता उन समूहों की है।<ref name="may">{{citation |last= May |first=J. P. |authorlink=J. Peter May|title=A Concise Course in Algebraic Topology |year=1999 |publisher=U. Chicago Press, Chicago |url=http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf |accessdate=2016-08-27}} ''(See chapter 8, section 2)''</ref> इस प्रकार, <math>Z = S^{k-1}</math> (<math>k-1</math> क्षेत्र) समुच्चय करने से संबंध मिलता है | ||
:<math>\pi_k(X) \approxeq \pi_{k-1}(\Omega X)</math>. | :<math>\pi_k(X) \approxeq \pi_{k-1}(\Omega X)</math>. | ||
Line 22: | Line 23: | ||
यह इस प्रकार है क्योंकि [[समरूप समूह]] को इस प्रकार परिभाषित किया गया है कि <math>\pi_k(X)=[S^k,X]</math> और गोले एक-दूसरे के निलंबन के माध्यम से प्राप्त किए जा सकते हैं, अर्थात <math>S^k=\Sigma S^{k-1}</math>.<ref>[http://topospaces.subwiki.org/wiki/Loop_space_of_a_based_topological_space Topospaces wiki – Loop space of a based topological space]</ref> | यह इस प्रकार है क्योंकि [[समरूप समूह]] को इस प्रकार परिभाषित किया गया है कि <math>\pi_k(X)=[S^k,X]</math> और गोले एक-दूसरे के निलंबन के माध्यम से प्राप्त किए जा सकते हैं, अर्थात <math>S^k=\Sigma S^{k-1}</math>.<ref>[http://topospaces.subwiki.org/wiki/Loop_space_of_a_based_topological_space Topospaces wiki – Loop space of a based topological space]</ref> | ||
== यह भी देखें | == यह भी देखें == | ||
* ईलेनबर्ग-मैकलेन स्पेस | * ईलेनबर्ग-मैकलेन स्पेस | ||
Line 35: | Line 36: | ||
* [[पथ स्थान (बीजगणितीय टोपोलॉजी)|पथ स्पेस (बीजगणितीय टोपोलॉजी)]] | * [[पथ स्थान (बीजगणितीय टोपोलॉजी)|पथ स्पेस (बीजगणितीय टोपोलॉजी)]] | ||
==संदर्भ | ==संदर्भ == | ||
{{Reflist}} | {{Reflist}} | ||
Revision as of 16:57, 7 July 2023
टोपोलॉजी में, गणित की शाखा, लूप स्पेस टोपोलॉजिकल स्पेस X का लूप स्पेस ΩX X में (आधारित) लूप्स का स्पेस है, अर्थात निरंतर फलन (टोपोलॉजी) पॉइंटेड लूप वृत्त S1 से मानचित्र से X, कॉम्पैक्ट-ओपन टोपोलॉजी से सुसज्जित दो लूपों को पथ (टोपोलॉजी) पथ रचना द्वारा गुणा किया जा सकता है। इस ऑपरेशन के साथ, लूप स्पेस ए-इनफिनिटी ऑपरेड ए स्पेस है अर्थात्, गुणन होमोटॉपी-सुसंगत साहचर्य गुण है।
ΩX के पथ घटक का समुच्चय (गणित) अर्थात एक्स में आधारित लूप के आधारित-होमोटॉपी तुल्यता वर्ग का समुच्चय एक मौलिक समूह है,
X के 'पुनरावृत्त लूप स्पेस' Ω को कई बार लगाने से बनते हैं।
बेसपॉइंट के बिना टोपोलॉजिकल रिक्त स्पेस के लिए समान निर्माण होता है। टोपोलॉजिकल स्पेस X का 'फ्री लूप स्पेस' सर्कल S से मानचित्रों का स्पेस है कॉम्पैक्ट-ओपन टोपोलॉजी के साथ 1 से X तक X के मुक्त लूप स्पेस को अधिकांशतः द्वारा दर्शाया जाता है .
एक ऑपरेटर के रूप में, फ्री लूप स्पेस निर्माण सर्कल के साथ कार्टेशियन उत्पाद के ठीक निकट में है, जबकि लूप स्पेस निर्माण कम किए गए सस्पेंशन के ठीक निकट में है। यह संयोजन स्थिर समरूपता सिद्धांत में लूप स्पेस के बहुत अधिक महत्व को दर्शाता है। (कंप्यूटर विज्ञान में संबंधित घटना करीइंग है, जहां कार्टेशियन उत्पाद होम फ़ैक्टर से जुड़ा हुआ है।) अनौपचारिक रूप से इसे एकमैन-हिल्टन द्वैत के रूप में जाना जाता है।
एकमैन-हिल्टन द्वैत
लूप स्पेस ही स्पेस के निलंबन (टोपोलॉजी) से दोगुना है; इस द्वैत को कभी-कभी एकमैन-हिल्टन द्वैत भी कहा जाता है। मूल अवलोकन यही है
जहाँ मानचित्रों के समरूप वर्गों का समुच्चय है ,और ए का निलंबन है, और प्राकृतिक परिवर्तन समरूपता को दर्शाता है। यह होमियोमोर्फिज्म अनिवार्य रूप से उत्पादों को कम उत्पादों में परिवर्तित करने के लिए आवश्यक भागफल को संशोधित करने की है।
सामान्य रूप में, सही स्पेस के लिए कोई समूह संरचना और . नहीं है चूँकि, यह और दिखाया जा सकता है जब प्राकृतिक समूह संरचनाएँ हों और इंगित स्पेस हैं, और उपरोक्त समरूपता उन समूहों की है।[1] इस प्रकार, ( क्षेत्र) समुच्चय करने से संबंध मिलता है
- .
यह इस प्रकार है क्योंकि समरूप समूह को इस प्रकार परिभाषित किया गया है कि और गोले एक-दूसरे के निलंबन के माध्यम से प्राप्त किए जा सकते हैं, अर्थात .[2]
यह भी देखें
- ईलेनबर्ग-मैकलेन स्पेस
- मुक्त पाश
- मौलिक समूह
- ग्रे का अनुमान
- टोपोलॉजी की सूची
- लूप समूह
- पथ (टोपोलॉजी)
- अर्धसमूह
- स्पेक्ट्रम (टोपोलॉजी)
- पथ स्पेस (बीजगणितीय टोपोलॉजी)
संदर्भ
- ↑ May, J. P. (1999), A Concise Course in Algebraic Topology (PDF), U. Chicago Press, Chicago, retrieved 2016-08-27 (See chapter 8, section 2)
- ↑ Topospaces wiki – Loop space of a based topological space
- Adams, John Frank (1978), Infinite loop spaces, Annals of Mathematics Studies, vol. 90, Princeton University Press, ISBN 978-0-691-08207-3, MR 0505692
- May, J. Peter (1972), The Geometry of Iterated Loop Spaces, Lecture Notes in Mathematics, vol. 271, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0067491, ISBN 978-3-540-05904-2, MR 0420610