स्थिर समरूपता सिद्धांत: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|The study of spectra}} गणित में, स्थिर होमोटॉपी सिद्धांत होमोटॉपी सिद्...")
 
No edit summary
Line 1: Line 1:
{{Short description|The study of spectra}}
{{Short description|The study of spectra}}
गणित में, स्थिर [[होमोटॉपी सिद्धांत]] होमोटॉपी सिद्धांत (और इस प्रकार [[बीजगणितीय टोपोलॉजी]]) का हिस्सा है जो सभी संरचना और घटनाओं से संबंधित है जो निलंबन फ़ैक्टर के पर्याप्त रूप से कई अनुप्रयोगों के बाद भी रहता है। एक संस्थापक परिणाम [[फ्रायडेंथल निलंबन प्रमेय]] था, जिसमें कहा गया है कि किसी भी बिंदु पर स्थान दिया गया है <math>X</math>, होमोटॉपी समूह <math>\pi_{n+k}(\Sigma^n X)</math> के लिए स्थिर करें <math>n</math> पर्याप्त रूप से बड़ा। विशेष रूप से, [[गोले के होमोटॉपी समूह]] <math>\pi_{n+k}(S^n)</math> के लिए स्थिर करें <math>n\ge k + 2</math>. उदाहरण के लिए,
गणित में, स्थिर [[होमोटॉपी सिद्धांत|समरूपता सिद्धांत]] समरूपता सिद्धांत (और इस प्रकार [[बीजगणितीय टोपोलॉजी]]) का भाग है जो सभी संरचना और घटनाओं से संबंधित है जो निलंबन कारक के पर्याप्त रूप से कई अनुप्रयोगों के बाद भी रहता है। एक संस्थापक परिणाम [[फ्रायडेंथल निलंबन प्रमेय]] था, जिसमें कहा गया है कि किसी भी बिंदु <math>X</math> पर स्थान दिया गया है , समरूपता समूह <math>\pi_{n+k}(\Sigma^n X)</math> पर्याप्त रूप से <math>n</math> के लिए स्थिर है। विशेष रूप से, [[गोले के होमोटॉपी समूह|गोले]] <math>\pi_{n+k}(S^n)</math> [[गोले के होमोटॉपी समूह|के समरूपता समूह]] <math>n\ge k + 2</math> के लिए स्थिर होते हैं। उदाहरण के लिए,


:<math>\langle \text{id}_{S^1}\rangle = \Z = \pi_1(S^1)\cong \pi_2(S^2)\cong \pi_3(S^3)\cong\cdots</math>
:<math>\langle \text{id}_{S^1}\rangle = \Z = \pi_1(S^1)\cong \pi_2(S^2)\cong \pi_3(S^3)\cong\cdots</math>
:<math>\langle \eta \rangle = \Z = \pi_3(S^2)\to \pi_4(S^3)\cong \pi_5(S^4)\cong\cdots</math>
:<math>\langle \eta \rangle = \Z = \pi_3(S^2)\to \pi_4(S^3)\cong \pi_5(S^4)\cong\cdots</math>
उपरोक्त दो उदाहरणों में होमोटॉपी समूहों के बीच के सभी मानचित्र निलंबन फ़ैक्टर के अनुप्रयोग हैं। पहला उदाहरण ह्युरेविक्ज़ प्रमेय का एक मानक परिणाम है, कि <math>\pi_n(S^n)\cong \Z</math>. दूसरे उदाहरण में हॉफ मानचित्र, <math>\eta</math>, इसके निलंबन के लिए मैप किया गया है <math>\Sigma\eta</math>, जो उत्पन्न करता है <math>\pi_4(S^3)\cong \Z/2</math>.
उपरोक्त दो उदाहरणों में समरूपता समूहों के बीच के सभी मानचित्र निलंबन कारक के अनुप्रयोग हैं। पहला उदाहरण ह्युरेविक्ज़ प्रमेय का एक मानक परिणाम है, कि <math>\pi_n(S^n)\cong \Z</math>दूसरे उदाहरण में हॉफ मानचित्र, <math>\eta</math>, इसके निलंबन के लिए मैप किया गया है <math>\Sigma\eta</math>, जो उत्पन्न करता है <math>\pi_4(S^3)\cong \Z/2</math>


स्थिर होमोटोपी सिद्धांत में सबसे महत्वपूर्ण समस्याओं में से एक है क्षेत्रों के स्थिर होमोटॉपी समूहों की गणना। फ्रायडेंथल के प्रमेय के अनुसार, स्थिर श्रेणी (टोपोलॉजी) में क्षेत्रों के होमोटोपी समूह डोमेन और लक्ष्य में क्षेत्रों के विशिष्ट आयामों पर निर्भर नहीं करते हैं, बल्कि उन आयामों में अंतर पर निर्भर करते हैं। इसे ध्यान में रखते हुए k-वें स्थिर तना है
स्थिर होमोटोपी सिद्धांत में सबसे महत्वपूर्ण समस्याओं में से एक है क्षेत्रों के स्थिर समरूपता समूहों की गणना। फ्रायडेंथल के प्रमेय के अनुसार, स्थिर श्रेणी (टोपोलॉजी) में क्षेत्रों के होमोटोपी समूह डोमेन और लक्ष्य में क्षेत्रों के विशिष्ट आयामों पर निर्भर नहीं करते हैं, बल्कि उन आयामों में अंतर पर निर्भर करते हैं। इसे ध्यान में रखते हुए k-वें स्थिर तना है
:<math>\pi_{k}^{s}:= \lim_n \pi_{n+k}(S^n)</math>.
:<math>\pi_{k}^{s}:= \lim_n \pi_{n+k}(S^n)</math>
यह सभी k के लिए एक [[एबेलियन समूह]] है। यह [[ जीन पियरे सेरे ]] का एक प्रमेय है<ref>{{cite journal|last=Serre|first= Jean-Pierre|authorlink=Jean-Pierre Serre|title=होमोटॉपी समूह और एबेलियन समूहों की कक्षाएं|journal=[[Annals of Mathematics]]|year=1953|volume=58|issue=2|pages=258–295|doi=10.2307/1969789|jstor=1969789}}</ref> कि ये समूह सीमित हैं <math>k \ne 0</math>. वास्तव में रचना बनती है <math>\pi_*^{S}</math> एक [[वर्गीकृत अंगूठी]] में। [[ ग्राउंडर निशिदा ]] का एक प्रमेय<ref>{{citation
यह सभी k के लिए एक [[एबेलियन समूह]] है। यह [[ जीन पियरे सेरे |जीन पियरे सेरे]] का एक प्रमेय है<ref>{{cite journal|last=Serre|first= Jean-Pierre|authorlink=Jean-Pierre Serre|title=होमोटॉपी समूह और एबेलियन समूहों की कक्षाएं|journal=[[Annals of Mathematics]]|year=1953|volume=58|issue=2|pages=258–295|doi=10.2307/1969789|jstor=1969789}}</ref> कि ये समूह सीमित हैं <math>k \ne 0</math>वास्तव में रचना बनती है <math>\pi_*^{S}</math> एक [[वर्गीकृत अंगूठी]] में। [[ ग्राउंडर निशिदा |ग्राउंडर निशिदा]] का एक प्रमेय<ref>{{citation
  |doi= 10.2969/jmsj/02540707
  |doi= 10.2969/jmsj/02540707
  |last= Nishida  | first= Goro | authorlink = Goro Nishida
  |last= Nishida  | first= Goro | authorlink = Goro Nishida
Line 20: Line 20:
  |mr= 0341485
  |mr= 0341485
  |doi-access= free
  |doi-access= free
  }}</ref> बताता है कि इस रिंग में सकारात्मक ग्रेडिंग के सभी तत्व शून्य हैं। इस प्रकार केवल प्रमुख आदर्श ही अभाज्य हैं <math>\pi_0^{s} \cong \Z</math>. तो की संरचना <math>\pi_*^{s}</math> काफी जटिल है।
  }}</ref> बताता है कि इस रिंग में सकारात्मक ग्रेडिंग के सभी तत्व शून्य हैं। इस प्रकार केवल प्रमुख आदर्श ही अभाज्य हैं <math>\pi_0^{s} \cong \Z</math>तो की संरचना <math>\pi_*^{s}</math> काफी जटिल है।


स्थिर होमोटॉपी सिद्धांत के आधुनिक उपचार में, रिक्त स्थान को आमतौर पर [[स्पेक्ट्रम (होमोटोपी सिद्धांत)]] द्वारा प्रतिस्थापित किया जाता है। विचार की इस पंक्ति के बाद, एक संपूर्ण स्थिर होमोटोपी श्रेणी बनाई जा सकती है। इस श्रेणी में कई अच्छे गुण हैं जो (अस्थिर) होमोटॉपी श्रेणी के रिक्त स्थान में मौजूद नहीं हैं, इस तथ्य के बाद कि निलंबन फ़ैक्टर उलटा हो जाता है। उदाहरण के लिए, [[cofibration]] और फ़िब्रेशन अनुक्रम की धारणा समतुल्य है।
स्थिर समरूपता सिद्धांत के आधुनिक उपचार में, रिक्त स्थान को आमतौर पर [[स्पेक्ट्रम (होमोटोपी सिद्धांत)]] द्वारा प्रतिस्थापित किया जाता है। विचार की इस पंक्ति के बाद, एक संपूर्ण स्थिर होमोटोपी श्रेणी बनाई जा सकती है। इस श्रेणी में कई अच्छे गुण हैं जो (अस्थिर) समरूपता श्रेणी के रिक्त स्थान में मौजूद नहीं हैं, इस तथ्य के बाद कि निलंबन कारक उलटा हो जाता है। उदाहरण के लिए, [[cofibration]] और फ़िब्रेशन अनुक्रम की धारणा समतुल्य है।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 10:08, 5 May 2023

गणित में, स्थिर समरूपता सिद्धांत समरूपता सिद्धांत (और इस प्रकार बीजगणितीय टोपोलॉजी) का भाग है जो सभी संरचना और घटनाओं से संबंधित है जो निलंबन कारक के पर्याप्त रूप से कई अनुप्रयोगों के बाद भी रहता है। एक संस्थापक परिणाम फ्रायडेंथल निलंबन प्रमेय था, जिसमें कहा गया है कि किसी भी बिंदु पर स्थान दिया गया है , समरूपता समूह पर्याप्त रूप से के लिए स्थिर है। विशेष रूप से, गोले के समरूपता समूह के लिए स्थिर होते हैं। उदाहरण के लिए,

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

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

यह सभी k के लिए एक एबेलियन समूह है। यह जीन पियरे सेरे का एक प्रमेय है[1] कि ये समूह सीमित हैं । वास्तव में रचना बनती है एक वर्गीकृत अंगूठी में। ग्राउंडर निशिदा का एक प्रमेय[2] बताता है कि इस रिंग में सकारात्मक ग्रेडिंग के सभी तत्व शून्य हैं। इस प्रकार केवल प्रमुख आदर्श ही अभाज्य हैं । तो की संरचना काफी जटिल है।

स्थिर समरूपता सिद्धांत के आधुनिक उपचार में, रिक्त स्थान को आमतौर पर स्पेक्ट्रम (होमोटोपी सिद्धांत) द्वारा प्रतिस्थापित किया जाता है। विचार की इस पंक्ति के बाद, एक संपूर्ण स्थिर होमोटोपी श्रेणी बनाई जा सकती है। इस श्रेणी में कई अच्छे गुण हैं जो (अस्थिर) समरूपता श्रेणी के रिक्त स्थान में मौजूद नहीं हैं, इस तथ्य के बाद कि निलंबन कारक उलटा हो जाता है। उदाहरण के लिए, cofibration और फ़िब्रेशन अनुक्रम की धारणा समतुल्य है।

यह भी देखें

संदर्भ

  1. Serre, Jean-Pierre (1953). "होमोटॉपी समूह और एबेलियन समूहों की कक्षाएं". Annals of Mathematics. 58 (2): 258–295. doi:10.2307/1969789. JSTOR 1969789.
  2. Nishida, Goro (1973), "The nilpotency of elements of the stable homotopy groups of spheres", Journal of the Mathematical Society of Japan, 25 (4): 707–732, doi:10.2969/jmsj/02540707, ISSN 0025-5645, MR 0341485