कोहोमोटोपी समुच्चय: Difference between revisions

From Vigyanwiki
Line 7: Line 7:


:<math>\pi^p(X) = [X,S^p]</math>
:<math>\pi^p(X) = [X,S^p]</math>
निरंतर मापन के अंकित [[होमोटॉपी|समरूप]] वर्गों का समुच्चय <math>X</math> p-[[ अति क्षेत्र |गोला]] के लिए <math>S^p</math> होता हैं। p = 1 के लिए इस समुच्चय में [[एबेलियन समूह]] संरचना है, और, इसके अतिरिक्त <math>X</math> एक [[सीडब्ल्यू-कॉम्प्लेक्स|सीडब्ल्यू-समिश्र]] है, पहले[[ सह-समरूपता ]] समूह के लिए [[समूह समरूपता|समूह समरूप]] <math>H^1(X)</math> है, चुकी वृत्त <math>S^1</math> ईलेनबर्ग-मैकलेन <math>K(\mathbb{Z},1)</math> प्रकार का स्थान है। वास्तव में, यह [[हेंज हॉफ]] का प्रमेय है कि यदि <math>X</math> तब अधिकतम p आयाम का सीडब्ल्यू-समिश्र है तब  <math>[X,S^p]</math> p-वें सह समरूप समूह <math>H^p(X)</math> द्विभाज्य है।  
निरंतर मापन के अंकित [[होमोटॉपी|समरूप]] वर्गों का समुच्चय <math>X</math> p-[[ अति क्षेत्र |गोला]] के लिए <math>S^p</math> होता हैं। p = 1 के लिए इस समुच्चय में [[एबेलियन समूह]] संरचना है, और, इसके अतिरिक्त <math>X</math> [[सीडब्ल्यू-कॉम्प्लेक्स|सीडब्ल्यू-समिश्र]] है, पहले[[ सह-समरूपता | सह-समरूपता]] समूह के लिए [[समूह समरूपता|समूह समरूप]] <math>H^1(X)</math> है, चुकी वृत्त <math>S^1</math> ईलेनबर्ग-मैकलेन <math>K(\mathbb{Z},1)</math> प्रकार का स्थान है। वास्तव में, यह [[हेंज हॉफ]] का प्रमेय है कि यदि <math>X</math> तब अधिकतम p आयाम का सीडब्ल्यू-समिश्र है तब  <math>[X,S^p]</math> p-वें सह समरूप समूह <math>H^p(X)</math> द्विभाज्य है।  


समुच्चय <math>[X,S^p]</math> प्राकृतिक [[समूह (गणित)]] संरचना भी है यदि <math>X</math> स्थगन <math>\Sigma Y</math> है, जैसे कि गोला <math>S^q</math> के लिए <math>q \ge 1</math> होता हैं।  
समुच्चय <math>[X,S^p]</math> प्राकृतिक [[समूह (गणित)]] संरचना भी है यदि <math>X</math> स्थगन <math>\Sigma Y</math> है, जैसे कि गोला <math>S^q</math> के लिए <math>q \ge 1</math> होता हैं।  


यदि X, सीडब्ल्यू-समिश्र के समतुल्य समरूप नहीं है, तो <math>H^1(X)</math> हो सकता है कि यह समरूपी न हो <math>[X,S^1]</math>. [[वारसॉ सर्कल]] द्वारा एक प्रति-उदाहरण दिया गया है, जिसका पहला कोहॉमोलॉजी समूह गायब हो जाता है, लेकिन एक मानचित्र को स्वीकार करता है <math>S^1</math> जो स्थिर मानचित्र के लिए समस्थानिक नहीं है।<ref>[http://math.ucr.edu/~res/math205B-2012/polishcircle.pdf Polish Circle]. Retrieved July 17, 2014.</ref>
यदि X, सीडब्ल्यू-समिश्र के समतुल्य समरूप नहीं है, तो हो सकता है कि <math>H^1(X)</math> <math>[X,S^1]</math> के समरूप नहीं होता हैं। [[वारसॉ सर्कल|वारसॉ वृत्त]] द्वारा प्रति-उदाहरण दिया गया है, जिसका पहला सह समरूप समूह समाप्त हो जाता है, लेकिन मानचित्र <math>S^1</math>को स्वीकार करता है जो स्थिर मानचित्र के लिए समरूपी नहीं है।<ref>[http://math.ucr.edu/~res/math205B-2012/polishcircle.pdf Polish Circle]. Retrieved July 17, 2014.</ref>





Revision as of 10:32, 14 July 2023

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

अवलोकन

अंकित संस्थिति स्थान X के p-वें सह-समरूप समुच्चय को परिभाषित किया गया है

निरंतर मापन के अंकित समरूप वर्गों का समुच्चय p-गोला के लिए होता हैं। p = 1 के लिए इस समुच्चय में एबेलियन समूह संरचना है, और, इसके अतिरिक्त सीडब्ल्यू-समिश्र है, पहले सह-समरूपता समूह के लिए समूह समरूप है, चुकी वृत्त ईलेनबर्ग-मैकलेन प्रकार का स्थान है। वास्तव में, यह हेंज हॉफ का प्रमेय है कि यदि तब अधिकतम p आयाम का सीडब्ल्यू-समिश्र है तब p-वें सह समरूप समूह द्विभाज्य है।

समुच्चय प्राकृतिक समूह (गणित) संरचना भी है यदि स्थगन है, जैसे कि गोला के लिए होता हैं।

यदि X, सीडब्ल्यू-समिश्र के समतुल्य समरूप नहीं है, तो हो सकता है कि के समरूप नहीं होता हैं। वारसॉ वृत्त द्वारा प्रति-उदाहरण दिया गया है, जिसका पहला सह समरूप समूह समाप्त हो जाता है, लेकिन मानचित्र को स्वीकार करता है जो स्थिर मानचित्र के लिए समरूपी नहीं है।[1]


गुण

कोहोमोटोपी सेट के बारे में कुछ बुनियादी तथ्य, कुछ दूसरों की तुलना में अधिक स्पष्ट:

  • सभी पी और क्यू के लिए.
  • के लिए और , समूह के बराबर है . (इस परिणाम को साबित करने के लिए, लेव पोंट्रीगिन ने फ़्रेमयुक्त सह-बॉर्डिज्म की अवधारणा विकसित की।)
  • अगर है सभी x के लिए, फिर , और यदि f और g हैं तो समरूपता चिकनी है।
  • के लिए एक सघन स्थान चिकनी कई गुना , सुचारू फ़ंक्शन मानचित्रों के समरूप वर्गों के सेट के लिए समरूपी है ; इस मामले में, प्रत्येक सतत मानचित्र को एक चिकने मानचित्र द्वारा समान रूप से अनुमानित किया जा सकता है और कोई भी समस्थानिक सुचारू मानचित्र सुचारू रूप से समस्थानिक होगा।
  • अगर एक -तो फिर कई गुना के लिए .
  • अगर एक -मैनिफोल्ड#मैनिफोल्ड विद बाउंड्री, सेट आंतरिक (टोपोलॉजी) के संहिताकरण -पी फ़्रेमयुक्त सबमेनिफोल्ड्स के कोबॉर्डिज़्म वर्गों के सेट के साथ आपत्ति में प्राकृतिक समरूपता है। .
  • का स्थिर कोहोमोटोपी समूह कॉलिमिट है
जो एक एबेलियन समूह है।

संदर्भ

  1. Polish Circle. Retrieved July 17, 2014.