होमोटॉपी

ऊपर दिखाए गए दो धराशायी पथ (सांस्थिति) उनके समापन बिंदुओं के सापेक्ष समस्थानी हैं। सजीवता एक संभावित समरूपता का प्रतिनिधित्व करता है।

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

कार्यप्रणाली में, कुछ स्थानों के साथ समरूपता का उपयोग करने में तकनीकी कठिनाइयाँ हैं। बीजगणितीय सांस्थितिकीय सघन रूप से उत्पन्न रिक्त स्थान, सीडब्ल्यू परिसरों या वर्णक्रम के साथ काम करते हैं।

औपचारिक परिभाषा

आर में स्थूलक्र्स के दो अंतःस्थापन के बीच एक समरूपता³: एक डोनट की सतह के रूप में और एक कॉफी मग की सतह के रूप में। यह भी एक #आइसोटोपी का उदाहरण है।

औपचारिक रूप से, से दो निरंतर फलन 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 के बीच एक समरूपता का उदाहरण प्रदान करता है R³. X स्थूलक है, Y है R³, f स्थूलक से R तक कुछ निरंतर कार्य है³ जो स्थूलक को डोनट आकार की अन्तःस्थापित सतह पर ले जाता है जिसके साथ सजीवता शुरू होता है; g कुछ निरंतर कार्य है जो स्थूलक को एक कॉफी-मग आकार की अन्तःस्थापित सतह पर ले जाता है। सजीवता H की छवि प्रदर्शित करता है_t(x) मापदण्ड टी के एक समारोह के रूप में, जहां टी सजीवता चक्रण के प्रत्येक चक्र पर 0 से 1 के समय के साथ बदलता रहता है। यह रुकता है, फिर छवि प्रदर्शित करता है क्योंकि टी 1 से 0 तक भिन्न होता है, रुकता है और इस चक्र को दोहराता है।

गुण

निरंतर कार्य f और g को समस्थानी कहा जाता है यदि ऊपर बताए गए के अनुसार f को g पर ले जाने वाला समस्थेयता H है।समना X से Y तक सभी निरंतर कार्यों के समुच्चय पर एक तुल्यता संबंध है। यह समस्थेयता संबंध निम्नलिखित अर्थों में कार्य रचना के अनुकूल है: यदि f₁, g₁ : X → Y समस्थानी हैं, और f₂, g₂ : Y → Z समस्थानी हैं, तो उनकी रचनाएँ f₂ ∘ f₁ और g₂ ∘ g₁ : X → Z समस्थानी हैं।

उदाहरण

• यदि $f,g:\mathbb {R} \to \mathbb {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{aligned}H:[0,1]\times [0,1]&\longrightarrow C\\(s,t)&\longmapsto (1-t)f(s)+tg(s).\end{aligned}}$

  • माना $\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{aligned}H:B^{n}\times [0,1]&\longrightarrow B^{n}\\(x,t)&\longmapsto (1-t)x.\end{aligned}}$

समस्थेयता तुल्यता

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

समस्थेयता तुल्यता बनाम होमियोमोर्फिज्म

होमोमोर्फिज्म समस्थेयता तुल्यता का एक विशेष मामला है, जिसमें g ∘ f पहचान मानचित्र id_X के बराबर है और f ∘ g id_Y के बराबर है. इसलिए, यदि 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\leq 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 से मानचित्र पर लगातार बढ़ाया जा सकता है² से X जो सीमा पर f से सहमत है।

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

अपरिवर्तन

समस्थेयता तुल्यता महत्वपूर्ण है क्योंकि बीजगणितीय सांस्थिति में कई अवधारणाएं समस्थेयता अपरिवर्तनीय हैं, अर्थात, वे समस्थेयता तुल्यता के संबंध का सम्मान करते हैं। उदाहरण के लिए, यदि X और Y समरूप समतुल्य स्थान हैं, तो:

• X जुड़ा हुआ स्थान है|पथ-कनेक्टेड यदि और केवल यदि Y है।
• X बस जुड़ा हुआ है यदि और केवल यदि Y है।
• (एकवचन) सजातीय (गणित) और एक्स और वाई के कोहोलॉg समूह समूह समरूपता हैं।
• यदि X और Y पाथ-कनेक्टेड हैं, तो X और Y के मौलिक समूह आइसोमॉर्फिक हैं, और इसलिए उच्च समरूप समूह हैं। (पथ-जुड़ाव धारणा के बिना, किसी के पास π है₁(एक्स, -एक्स₀) तुल्याकारी से π₁(वाई, f (एक्स₀)) कहाँ f : X → Y एक समरूपता तुल्यता है और x₀ ∈ X.)

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

वेरिएंट

सापेक्ष समरूपता

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

समस्थानिक

The unknot is not equivalent to the trefoil knot since one cannot be deformed into the other through a continuous path of homeomorphisms of the ambient space. Thus they are not ambient-isotopic.

यदि सांस्थितिक स्थल 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' में इकाई चक्र का मानचित्र² f(x, y) = (−x, −y) द्वारा परिभाषित मूल बिंदु के चारों ओर 180-डिग्री घुमाव के लिए समस्थानिक है, और इसलिए पहचान मानचित्र और f समस्थानिक हैं क्योंकि वे घूर्णन द्वारा जुड़े हो सकते हैं।

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

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

समस्थेयता

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

गुण

भारोत्तोलन और विस्तार गुण

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

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

समूह

दो कार्यों के संबंध के बाद से $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' द्वारा समान हैं: H_n(f) = H_n(g): (X) → H_n (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 में गुणांक के साथ एकवचन सह-समरूपता के लिए स्थान का प्रतिनिधित्व कर रहा है।

यह भी देखें

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

स्रोत

• Armstrong, M.A. (1979). बेसिक टोपोलॉजी. Springer. ISBN 978-0-387-90839-7.
• "Homotopy", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• "Isotopy (in topology)", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Spanier, Edwin (December 1994). बीजगणितीय टोपोलॉजी. Springer. ISBN 978-0-387-94426-5.

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