कोहोमोटोपी समुच्चय

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

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


 * $$\pi^p(X) = [X,S^p]$$

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

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

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

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


 * $$\pi^p(S^q) = \pi_q(S^p)$$ सभी p और q के लिए होता हैं।
 * $$q= p + 1$$ और $$p > 2$$ के लिए, समूह $$\pi^p(S^q)$$ $$\mathbb{Z}_2$$ के बराबर है होता हैं। (इस परिणाम को सिद्ध करने के लिए, लेव पोंट्रीगिन ने फ़्रेमयुक्त सह-बॉर्डिज्म की अवधारणा विकसित की थी।)
 * यदि $$f,g\colon X \to S^p$$ के पास सभी x के लिए $$\|f(x) - g(x)\| < 2$$ हैं, फिर $$[f] = [g]$$, और यदि f और g होते हैं तो समरूपता सहज होती हैं।
 * $$X$$ के लिए विविध सहज संकुचित स्थान$$\pi^p(X)$$ सुचारू फलन मानचित्रों $$X \to S^p$$ के समरूप वर्गों के समुच्चय के लिए समरूप है; इस स्थिति में, प्रत्येक सतत मानचित्र को सहज मानचित्र द्वारा समान रूप से अनुमानित किया जा सकता है और कोई भी समरूप सुचारू मानचित्र सुचारू रूप से समरूप होता हैं।
 * यदि $$X$$ एक $$m$$-तो फिर विविध $$\pi^p(X)=0$$ के लिए $$p > m$$ होता हैं।
 * यदि $$X$$ एक $$m$$-सीमा में विविध, समुच्चय $$\pi^p(X,\partial X)$$ आंतरिक (टोपोलॉजी)  के  संहिताकरण -पी फ़्रेमयुक्त सबमेनिफोल्ड्स के कोबॉर्डिज़्म वर्गों के सेट के साथ आपत्ति में प्राकृतिक समरूपता है। $$X \setminus \partial X$$.
 * का स्थिर कोहोमोटोपी समूह $$X$$ कॉलिमिट है
 * $$\pi^p_s(X) = \varinjlim_k{[\Sigma^k X, S^{p+k}]}$$
 * जो एक एबेलियन समूह है।