होमोटॉपी

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

औपचारिक परिभाषा
औपचारिक रूप से, से दो निरंतर फलन f और g के बीच एक होमोटॉपी सांस्थितिक स्थल X से सांस्थितिक स्थल Y को एक निरंतर कार्य के रूप में परिभाषित किया गया है $$H: X \times [0,1] \to Y$$ इकाई अंतराल [0, 1] के साथ स्थल X के उत्पाद सांस्थिति से Y तक $$H(x,0) = f(x)$$ और $$H(x,1) = g(x)$$ सभी के लिए $$x \in X$$.

यद्यपि हम समय के रूप में H के दूसरे मापदण्ड के विषय में सोचते हैं तो H g में g के निरंतर विरूपण का वर्णन करता है: समय 0 पर हमारे पास फलन f होता है और समय 1 पर हमारे पास फलन g होता है। हम दूसरे मापदण्ड को सर्पक नियंत्रण के रूप में भी सोच सकते हैं जो हमें f से g तक आसानी से संपर्क करने की अनुमति देता है क्योंकि सर्पक 0 से 1 तक चलता है, परन्तु इसके विपरीत है।

वैकल्पिक संकेतन का यह कहना है कि दो निरंतर कार्यों के बीच एक होमोटॉपी $$f, g: X \to Y$$ निरंतर कार्यों का एक परिवार है $$h_t: X \to Y$$ के लिए $$t \in [0,1]$$ ऐसा है कि $$h_0 = f$$ और $$h_1 = g$$, और Map_(गणित) $$(x, t) \mapsto h_t(x)$$ से निरन्तर है $$X \times [0,1]$$ को $$Y$$. दो संस्करण समायोजन से मेल खाते हैं $$h_t(x) = H(x,t)$$. प्रत्येक मानचित्र की आवश्यकता के लिए पर्याप्त नहीं है $$h_t(x)$$ निरंतर किया जाना। सजीवता जो ऊपर दाईं ओर चक्रित किया गया है, स्थूलक के दो अंतःस्थापन, f और g के बीच एक होमोटॉपी का उदाहरण प्रदान करता है R3. X स्थूलक है, Y है R3, f स्थूलक से R तक कुछ निरंतर कार्य है3 जो स्थूलक को डोनट आकार की अन्तःस्थापित सतह पर ले जाता है जिसके साथ सजीवता शुरू होता है; g कुछ निरंतर कार्य है जो स्थूलक को एक कॉफी-मग आकार की अन्तःस्थापित सतह पर ले जाता है। सजीवता H की छवि प्रदर्शित करता हैt(x) मापदण्ड टी के एक समारोह के रूप में, जहां टी सजीवता चक्रण के प्रत्येक चक्र पर 0 से 1 के समय के साथ बदलता रहता है। यह रुकता है, फिर छवि प्रदर्शित करता है क्योंकि टी 1 से 0 तक भिन्न होता है, रुकता है और इस चक्र को दोहराता है।

गुण
निरंतर कार्य f और g को समस्थानी कहा जाता है यदि ऊपर बताए गए के अनुसार f को g पर ले जाने वाला होमोटॉपी H है।समना X से Y तक सभी निरंतर कार्यों के समुच्चय पर एक तुल्यता संबंध है। यह होमोटॉपी संबंध निम्नलिखित अर्थों में कार्य रचना के अनुकूल है: यदि f1, g1 : X → Y समस्थानी हैं, और f2, g2 : Y → Z समस्थानी हैं, तो उनकी रचनाएँ f2&thinsp;∘&thinsp;f1 और g2&thinsp;∘&thinsp;g1 : X → Z समस्थानी हैं।

उदाहरण
H: [0, 1] \times [0, 1] &\longrightarrow C \\ (s, t) &\longmapsto (1 - t)f(s) + tg(s). \end{align}$$ H: B^n \times [0, 1] &\longrightarrow B^n \\ (x, t) &\longmapsto (1 - t)x. \end{align}$$
 * यदि $$f, g: \R \to \R^2$$ द्वारा दिए गए हैं $$f(x) := \left(x, x^3\right)$$ और $$g(x) = \left(x, e^x\right)$$, फिर मैप $$H: \mathbb{R} \times [0, 1] \to \mathbb{R}^2$$ द्वारा दिए गए $$H(x, t) = \left(x, (1 - t)x^3 + te^x\right)$$ उनके बीच एक होमोटॉपी है।
 * अधिक प्रायः, यदि $$C \subseteq \mathbb{R}^n$$ यूक्लिडियन स्थल का एक उत्तल समुच्चय सबसमुच्चय है और $$f, g: [0, 1] \to C$$ पथ एक ही समापन बिंदु के साथ हैं, जो एक रैखिक होमोटॉपी है तो सरल रेखा होमोटॉपी द्वारा दिया गया
 * $$\begin{align}
 * माना $$\operatorname{id}_{B^n}:B^n\to B^n$$ इकाई n-चक्र पर परिचय फलन हो; अर्थात समुच्चय $$B^n := \left\{x\in\mathbb{R}^n: \|x\| \leq 1\right\}$$. होने देना $$c_{\vec{0}}: B^n \to B^n$$ निरंतर कार्य हो $$c_\vec{0}(x) := \vec{0}$$ जो सभी बिंदु को मूल स्थान पर भेजता है। तब निम्नलिखित से उनके बीच एक होमोटॉपी होती है :
 * $$\begin{align}

होमोटॉपी तुल्यता
दो सांस्थितिक स्थल X और Y दिए गए हैं, X और Y के बीच एक 'होमोटॉपी समतुल्यता' निरंतर मानचित्र की एक जोड़ी है f : X → Y और g : Y → X, ऐसा है कि g&thinsp;∘&thinsp;f पहचान मानचित्र idX के लिए समस्थानी हैX और f&thinsp;∘&thinsp;g आईडी के लिए समस्थानी हैY. यदि ऐसी कोई जोड़ी उपस्थित है, तो X और Y को ' होमोटॉपी समतुल्य ' या समान 'होमोटॉपी प्रकार ' कहा जाता है। सहज रूप से, दो रिक्त स्थान X और Y होमोटॉपी समतुल्य हैं यद्यपि उन्हें झुकने, सिकुड़ने और संचालन के विस्तार से एक दूसरे में परिवर्तित किया जा सकता है। रिक्त स्थान जो होमोटॉपी-एक बिंदु के समतुल्य होते हैं, संविदात्मक कहलाते हैं।

होमोटॉपी तुल्यता बनाम होमियोमोर्फिज्म
होमोमोर्फिज्म होमोटॉपी तुल्यता का एक विशेष मामला है, जिसमें g&thinsp;∘&thinsp;f पहचान मानचित्र idX के बराबर है और f&thinsp;∘&thinsp;g idY के बराबर है. इसलिए, यदि X और Y होमियोमॉर्फिक हैं तो वे होमोटॉपी-समतुल्य हैं, परन्तु विपरीत सत्य नहीं है। कुछ उदाहरण:


 * ठोस चक्र होमोटॉपी-एक बिंदु के बराबर है, क्योंकि आप चक्र को उज्जवल रेखाओं के साथ एक बिंदु पर लगातार विकृत कर सकते हैं। यद्यपि, वे होमियोमॉर्फिक नहीं हैं, क्योंकि उनके बीच कोई आपत्ति नहीं है चूंकि एक अनंत समुच्चय है, जबकि दूसरा परिमित है।
 * मोबियस स्ट्रीपऔर एक मुड़ी हुईस्ट्रीपहोमोटॉपी समतुल्य हैं, क्योंकि आप दोनों स्ट्रीप को लगातार एक वृत्त में विकृत कर सकते हैं। परन्तु वे होमियोमॉर्फिक नहीं हैं।

उदाहरण

 * होमोटॉपी तुल्यता का पहला उदाहरण है $$\mathbb{R}^n$$ एक बिंदु के साथ, निरूपित $$\mathbb{R}^n \simeq \{ 0\}$$. जिस भाग की जाँच करने की आवश्यकता है वह एक होमोटॉपी का अस्तित्व है $$H: I \times \mathbb{R}^n \to \mathbb{R}^n$$ बीच में $$\operatorname{id}_{\mathbb{R}^n}$$ और $$p_0$$, का प्रक्षेपण $$\mathbb{R}^n$$ उत्पत्ति पर। इसका वर्णन इस प्रकार किया जा सकता है $$H(t,\cdot) = t\cdot p_0 + (1-t)\cdot\operatorname{id}_{\mathbb{R}^n}$$.
 * के बीच एक होमोटॉपी समानता है $$S^1$$ (1-sphere) और $$\mathbb{R}^2-\{0\}$$.
 * प्रायः अधिक, $$\mathbb{R}^n-\{ 0\} \simeq S^{n-1}$$.
 * कोई फाइबर बंडल $$\pi: E \to B$$ तंतुओं के साथ $$F_b$$ होमोटॉपी एक बिंदु के बराबर होमोटॉपी समतुल्य कुल और आधार स्थान है। यह पिछले दो उदाहरणों को सामान्यीकृत करता है $$\pi:\mathbb{R}^n - \{0\} \to S^{n-1}$$फाइबर के साथ फाइबर बंडल है $$\mathbb{R}_{>0}$$.
 * प्रत्येक दिष्‍ट बंडल एक फाइबर बंडल है जिसमें एक बिंदु के बराबर फाइबर होमोटॉपी होता है।
 * $$\mathbb{R}^n - \mathbb{R}^k \simeq S^{n-k-1}$$ किसी के लिए $$0 \le k < n$$, लेखन से $$\mathbb{R}^n - \mathbb{R}^k$$ फाइबर बंडल के कुल स्थान के रूप में $$\mathbb{R}^k \times (\mathbb{R}^{n-k}-\{0\})\to (\mathbb{R}^{n-k}-\{0\})$$, फिर उपरोक्त होमोटॉपी समकक्षों को लागू करना।
 * यदि उपसमुच्चय $$A$$ एक सीडब्ल्यू परिसर की $$X$$ सिकुड़ा हुआ है, फिर भागफल स्थान (सांस्थिति) $$X/A$$ होमोटॉपी के बराबर है $$X$$.
 * एक विरूपण प्रत्यावर्तन एक होमोटॉपी तुल्यता है।

शून्य-होमोटॉपी
फलन f को ' शून्य-होमोटॉपी ' कहा जाता है यदि यह निरंतर कार्य के लिए समस्थानी है। (f से एक स्थिर कार्य के लिए होमोटॉपी को कभी-कभी 'शून्य-होमोटॉपी ' कहा जाता है।) उदाहरण के लिए, इकाई सर्कल एस से एक मैप f किसी भी स्थान के लिए 1 X शून्य-होमोटॉपी है जब इसे इकाई चक्र D2 से मानचित्र पर लगातार बढ़ाया जा सकता है से X जो सीमा पर f से सहमत है।

यह इन परिस्थानी हो भाषाओं से अनुसरण करता है कि एक स्थान X सिकुड़ा हुआ है यदि और केवल यदि एक्स से स्वयं के लिए पहचान मानचित्र - जो हमेशा एक होमोटॉपी तुल्यता है - शून्य-होमोटॉपी है।

अपरिवर्तन
होमोटॉपी तुल्यता महत्वपूर्ण है क्योंकि बीजगणितीय सांस्थिति में कई अवधारणाएं होमोटॉपी अपरिवर्तनीय हैं, अर्थात, वे होमोटॉपी तुल्यता के संबंध का सम्मान करते हैं। उदाहरण के लिए, यदि X और Y समरूप समतुल्य स्थान हैं, तो: सांस्थितिक रिक्त स्थान के एक बीजगणितीय अपरिवर्तनीय का एक उदाहरण जो होमोटॉपी-अपरिवर्तनीय नहीं है, कॉम्पैक्ट रूप से समर्थित सजातीय है (जो मोटे तौर पर बोल रहा है, संघनन (गणित)गणित) की सजातीय, और कॉम्पैक्टिफिकेशन होमोटॉपी-अपरिवर्तनीय नहीं है)।
 * X जुड़ा हुआ स्थान है|पथ-कनेक्टेड यदि और केवल यदि Y है।
 * X बस जुड़ा हुआ है यदि और केवल यदि Y है।
 * (एकवचन) सजातीय (गणित) और  एक्स  और  वाई  के कोहोलॉg समूह समूह होमोटॉपी हैं।
 * यदि X और Y पाथ-कनेक्टेड हैं, तो X और Y के मौलिक समूह आइसोमॉर्फिक हैं, और इसलिए उच्च समरूप समूह हैं। (पथ-जुड़ाव धारणा के बिना, किसी के पास π1 है(X, -X0) तुल्याकारी से π1(Y, f (X0)) जहाँ f : X → Y एक होमोटॉपी तुल्यता है और x0 &isin; X.)

सापेक्ष होमोटॉपी
मौलिक समूह को परिभाषित करने के लिए, किसी को एक उप-स्थान के सापेक्ष होमोटॉपी की धारणा की आवश्यकता होती है। ये होमोटॉपीएं हैं जो उप-स्थान के तत्वों को स्थिर रखती हैं। औपचारिक रूप से: यदि f और g X से Y तक निरंतर मानचित्र हैं और K X का उपसमुच्चय है, तो हम कहते हैं कि ' यदि होमोटॉपी उपस्थित है तो 'के' के सापेक्ष 'f' और 'g' समस्थानी हैं H : X &times; [0,&thinsp;1] → Y f और g के बीच ऐसा है कि H(k,&thinsp;t) = f(k) = g(k) सभी के लिए k ∈ K और t ∈ [0,&thinsp;1]. साथ ही, यदि g, X से K तक एक प्रत्यावर्तन (सांस्थिति) है और f पहचान मानचित्र है, तो इसे X से K तक एक मजबूत विरूपण वापसी के रूप में जाना जाता है। जब K एक बिंदु होता है, तो 'पॉइंटेड होमोटॉपी' शब्द का प्रयोग किया जाता है।

समस्थानिक
यदि सांस्थितिक स्थल X से सांस्थितिक स्थल Y तक दिए गए दो निरंतर कार्य f और g अंतःस्थापन हैं, तो कोई पूछ सकता है कि क्या उन्हें 'अंतःस्थापन के माध्यम से' जोड़ा जा सकता है। यह 'आइसोटोपी' की अवधारणा को जन्म देता है, जो पहले उपयोग किए गए अंकन में एक होमोटॉपी, H है, जैसा कि प्रत्येक निश्चित T के लिए, H एक अंतःस्थापन देता है। परन्तु अलग, अवधारणा परिवेश समस्थानिक की है।

यह आवश्यक है कि दो अंतःस्थापन समस्थानिक हों, यह एक प्रबल आवश्यक है कि वे समस्थानी हों। उदाहरण के लिए, अंतराल [−1, 1] से f(x) = −x द्वारा परिभाषित वास्तविक संख्याओं में आरेख पहचान g(x) = x के समस्थानिक नहीं है। f से पहचान तक किसी भी होमोटॉपी को समापन बिंदुओं का आदान-प्रदान करना होगा, जिसका अर्थ होगा कि उन्हें एक-दूसरे से 'गुजरना' होगा। इसके अतिरिक्त, f ने अंतराल के अभिविन्यास को बदल दिया है और g ने नहीं किया है, जो एक समस्थानिक के तहत असंभव है। हालाँकि, नक्शे समरूप हैं; पहचान के लिए f से एक होमोटॉपी H: [−1, 1] × [0, 1] → [−1, 1] H(x, y) = 2yx − x द्वारा दिया गया है।

इकाई बॉल के दो होमोमोर्फिम्स (जो अंतःस्थापन के विशेष मामले हैं) जो सीमा पर सहमत हैं, को अलेक्जेंडर की चाल का उपयोग करके समस्थानिक दिखाया जा सकता है। इसी कारण से 'R' में इकाई चक्र का मानचित्र2 f(x, y) = (−x, −y) द्वारा परिभाषित मूल बिंदु के चारों ओर 180-डिग्री घुमाव के लिए समस्थानिक है, और इसलिए पहचान मानचित्र और f समस्थानिक हैं क्योंकि वे घूर्णन द्वारा जुड़े हो सकते हैं।

ज्यामितीय सांस्थिति में - उदाहरण के लिए गाँठ सिद्धांत में - समस्थानिक के विचार का उपयोग तुल्यता संबंधों के निर्माण के लिए किया जाता है। उदाहरण के लिए, कब दो गांठों को समान माना जाना चाहिए? हम दो समुद्री मील लेते हैं, के1 और के2, त्रि-आयामी स्थल में। एक गाँठ इस स्थान में एक-आयामी स्थान, स्ट्रिंग (या सर्कल) के चक्रण का एक अंतःस्थापन है, और यह अंतःस्थापन सर्कल और इसकी छवि के बीच अंतःस्थापन स्थल में एक होमोमोर्फिज्म देता है। गाँठ तुल्यता की धारणा के पीछे सहज ज्ञान युक्त विचार यह है कि अंतःस्थापन के पथ के माध्यम से एक अंतःस्थापन को दूसरे में विकृत किया जा सकता है: टी = 0 पर शुरू होने वाला एक सतत कार्य के देता है1 अंतःस्थापन, t =  1 पर समाप्त होने पर K देता है2 अंतःस्थापन, अंतःस्थापन के अनुरूप सभी मध्यवर्ती मानों के साथ। यह आइसोटोपी की परिभाषा के अनुरूप है। इस संदर्भ में अध्ययन किया गया एक परिवेश समस्थानिक, बड़े स्थान का एक समस्थानिक है, जिसे अंतःस्थापित सबमनीफोल्ड पर इसकी क्रिया के प्रकाश में माना जाता है। नॉट्स के1 और के2 समतुल्य माना जाता है जब एक परिवेश समस्थानिक होता है जो K को स्थानांतरित करता है1 कश्मीर के लिए2. यह सामयिक श्रेणी में उपयुक्त परिभाषा है।

समान भाषा का उपयोग समकक्ष अवधारणा के संदर्भ में किया जाता है जहां किसी के पास समानता की एक मजबूत धारणा होती है। उदाहरण के लिए, दो चिकनी अंतःस्थापन के बीच एक पथ एक चिकनी समस्थानिक है।

होमोटॉपी
लोरेन्ट्ज़ियन मैनिफोल्ड पर, कुछ वक्रों को टाइमलाइक के रूप में प्रतिष्ठित किया जाता है (कुछ का प्रतिनिधित्व करता है जो केवल आगे बढ़ता है, पीछे नहीं, समय में, हर स्थानीय फ्रेम में)। दो समयबद्ध वक्र्स के बीच एक टाइमलाइक होमोटॉपी एक होमोटॉपी है जैसे कि कर्व एक कर्व से दूसरे कर्व में निरंतर परिवर्तन के दौरान टाइमलाइक रहता है। लोरेंट्ज़ियन कई गुना पर कोई बंद टाइमलाइक कर्व (सीटीसी) एक बिंदु के लिए टाइमलाइक समस्थानी नहीं है (यानी, शून्य टाइमलाइक समस्थानी); इस तरह के कई गुना इसलिए कहा जाता है कि समयबद्ध घटता से गुणा किया जाता है। 3-गोले जैसे मैनिफोल्ड को आसानी से जोड़ा जा सकता है (किसी भी प्रकार के वक्र द्वारा), और फिर बंद समयबद्ध वक्र से गुणा किया जा सकता है।

भारोत्तोलन और विस्तार गुण
यदि हमारे पास होमोटॉपी है H : X &times; [0,1] &rarr; Y और एक आवरण p : Y &rarr; Y और हमें एक मैप दिया जाता है h 0 : X &rarr; Y ऐसा है कि H0 = p ○ h 0 ( h 0 h की लिफ्ट (गणित) कहलाती है0), तो हम सभी H को एक मानचित्र पर उठा सकते हैं H : X &times; [0,&thinsp;1] &rarr; Y ऐसा है कि p ○ H = H. होमोटॉपी उठाने की संपत्ति का उपयोग फ़िब्रेशन को चिह्नित करने के लिए किया जाता है।

होमोटॉपी से जुड़ी एक और उपयोगी संपत्ति होमोटॉपी एक्सटेंशन संपत्ति है, जो कुछ समुच्चय के सबसमुच्चय से समुच्चय तक दो कार्यों के बीच एक होमोटॉपी के विस्तार की विशेषता है। co[[fibration]] से निपटने के दौरान यह उपयोगी है।

समूह
दो कार्यों के संबंध के बाद से $$f, g\colon X\to Y$$ एक उपसमष्टि के सापेक्ष समस्थानी होना एक तुल्यता संबंध है, हम एक निश्चित X और Y के बीच के मानचित्रों के तुल्यता वर्गों को देख सकते हैं। यदि हम तय करते हैं $$X = [0,1]^n$$, इकाई अंतराल [0, 1] कार्तीय उत्पाद स्वयं के साथ n बार, और हम इसकी सीमा लेते हैं $$\partial([0,1]^n)$$ एक उप-स्थान के रूप में, तब तुल्यता वर्ग एक समूह बनाते हैं, जिसे निरूपित किया जाता है $$\pi_n(Y,y_0)$$, कहाँ $$y_0$$ उप-स्थान की छवि में है $$\partial([0,1]^n)$$.

हम एक समतुल्य वर्ग की क्रिया को दूसरे पर परिभाषित कर सकते हैं, और इस प्रकार हमें एक समूह प्राप्त होता है। इन समूहों को होमोटॉपी समूह कहा जाता है। यदि $$n = 1$$, इसे मौलिक समूह भी कहा जाता है।

होमोटॉपी श्रेणी
होमोटॉपी के विचार को श्रेणी सिद्धांत की एक औपचारिक श्रेणी में बदला जा सकता है। होमोटॉपी श्रेणी वह श्रेणी है जिसकी वस्तुएँ सांस्थितिक स्थल हैं, और जिनकी आकृति विज्ञान निरंतर मानचित्रों के होमोटॉपी तुल्यता वर्ग हैं। इस श्रेणी में दो सांस्थितिक स्थल 'X' और 'Y' समरूप हैं यदि केवल वे होमोटॉपी-समतुल्य हैं। फिर सांस्थितिक रिक्त स्थान की श्रेणी पर एक प्रचालक होमोटॉपी अपरिवर्तनीय है यदि इसे होमोटॉपी श्रेणी पर एक कारक के रूप में व्यक्त किया जा सकता है।

उदाहरण के लिए, सजातीय समूह एक क्रियाशील होमोटॉपी अपरिवर्तनीय हैं: इसका तात्पर्य है कि यदि f और g X से Y समस्थानी हैं, तो समूह होमोटॉपी प्रेरित सजातीय समूहों के स्तर पर 'f' और 'g' द्वारा समान हैं: Hn(f) = Hn(g): (X) → Hn (Y) सभी n के लिए। इसी तरह, यदि X और Y अतिरिक्त जुड़ाव में हैं, और f और g के बीच की होमोटॉपी को इंगित किया गया है, तो होमोटॉपी समूहों के स्तर पर f और g द्वारा प्रेरित समूह होमोटॉपी भी समान हैं: πn(f) = πn(g): πn(X) → πn ।

अनुप्रयोग
होमोटॉपी की अवधारणा के आधार पर, बीजगणितीय समीकरणों और अवकल समीकरणों के लिए संख्यात्मक विधियों का विकास किया गया है। बीजगणितीय समीकरणों की विधियों में होमोटॉपी एवं निरंतरता विधि सम्मिलित है विभेदक समीकरणों के विधि में होमोटॉपी विश्लेषण पद्धति सम्मिलित है।

होमोटॉपी सिद्धांत को सजातीय सिद्धांत के लिए एक नींव के रूप में उपयोग किया जा सकता है: होमोटॉपी समतुल्यता तक X के आरेखण द्वारा स्थल X पर एक सह-होमोटॉपी कारक का प्रतिनिधित्व करने योग्य प्रकार्यक हो सकता है। उदाहरण के लिए, किसी भी एबेलियन समूह g और किसी भी आधारित सीडब्ल्यू-परिसर X के लिए, समुच्चय $$[X,K(G,n)]$$ X से ईलेनबर्ग-मैकलेन स्थल के आधारित आरेखों पर होमोटॉपी वर्गों का $$K(G,n)$$ n एकवचनीय सह-होमोटॉपी समूह के साथ प्राकृतिक आपत्ति में है $$H^n(X,G)$$ का कहना है कि वर्णक्रम ईलेनबर्ग-मैकलेन स्थल का अंत वर्णक्रम G में गुणांक के साथ एकवचन सह-होमोटॉपी के लिए स्थान का प्रतिनिधित्व कर रहा है।

यह भी देखें

 * फाइबर-होमोटॉपी तुल्यता (होमोटॉपी तुल्यता का सापेक्ष संस्करण)
 * होम्योपैथी
 * होमोटॉपी प्रकार सिद्धांत
 * मानचित्रण वर्ग समूह
 * पॉइनकेयर अनुमान
 * नियमित होमोटॉपी

स्रोत


श्रेणी:होमोटॉपी सिद्धांत|* श्रेणी:सतत कार्यों का सिद्धांत श्रेणी:कई गुना के मानचित्र