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

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

अवलोकन
अंकित संस्थिति स्थान 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$$ के विहित p-फ़्रेमयुक्त सह विविध के सह बॉर्डिज़्म वर्गों के समुच्चय के साथ द्विभाजित में प्राकृतिक समरूपता है।
 * $$X$$ का स्थिर सह समरूप समूह सह सिमित है।
 * $$\pi^p_s(X) = \varinjlim_k{[\Sigma^k X, S^{p+k}]}$$
 * जो एक एबेलियन समूह है।