होमोटॉपी

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

औपचारिक परिभाषा
औपचारिक रूप से, से दो निरंतर फलन 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$$ इकाई एन-बॉल पर परिचय फलन हो; अर्थात समुच्चय $$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$$ (द n-sphere|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 अशक्त-होमोटोपिक है जब इसे इकाई चक्र D से मानचित्र पर लगातार बढ़ाया जा सकता है2 से X जो सीमा पर f से सहमत है।

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

अपरिवर्तन
होमोटॉपी तुल्यता महत्वपूर्ण है क्योंकि बीजगणितीय सांस्थिति में कई अवधारणाएं होमोटॉपी इनवेरिएंट हैं, अर्थात, वे होमोटॉपी तुल्यता के संबंध का सम्मान करते हैं। उदाहरण के लिए, यदि X और Y समरूप समतुल्य स्थान हैं, तो: सांस्थितिक रिक्त स्थान के एक बीजगणितीय अपरिवर्तनीय का एक उदाहरण जो होमोटॉपी-इनवेरिएंट नहीं है, कॉम्पैक्ट रूप से समर्थित होमोलॉg है (जो मोटे तौर पर बोल रहा है, संघनन (गणित)गणित) की होमोलॉg, और कॉम्पैक्टिफिकेशन होमोटॉपी-इनवेरिएंट नहीं है)।
 * X जुड़ा हुआ स्थान है|पथ-कनेक्टेड अगर और केवल अगर Y है।
 * X बस जुड़ा हुआ है अगर और केवल अगर Y है।
 * (एकवचन) होमोलॉg (गणित) और  एक्स  और  वाई  के कोहोलॉg समूह समूह समरूपता हैं।
 * यदि X और Y पाथ-कनेक्टेड हैं, तो X और Y के मौलिक समूह आइसोमॉर्फिक हैं, और इसलिए उच्च समरूप समूह हैं। (पथ-जुड़ाव धारणा के बिना, किसी के पास π है1(एक्स, -एक्स0) तुल्याकारी से π1(वाई, f (एक्स0)) कहाँ 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 अंतःस्थापन हैं, तो कोई पूछ सकता है कि क्या उन्हें 'अंतःस्थापन के माध्यम से' जोड़ा जा सकता है। यह 'आइसोटोपी' की अवधारणा को जन्म देता है, जो पहले इस्तेमाल किए गए नोटेशन में एक होमोटॉपी, एच है, जैसे कि प्रत्येक निश्चित टी के लिए, एच(एक्स,-टी) एक अंतःस्थापन देता है। एक संबंधित, परन्तु अलग, अवधारणा परिवेश समस्थानिक की है।

यह आवश्यक है कि दो अंतःस्थापन समस्थानिक हों, यह एक मजबूत आवश्यकता है कि वे होमोटोपिक हों। उदाहरण के लिए, अंतराल [−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. यह सामयिक श्रेणी में उपयुक्त परिभाषा है।

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

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

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

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

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

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

यह भी देखें

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

स्रोत


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