अंशांकन

गणित में, विशेष रूप से समरूपता सिद्धांत में, सतत मानचित्रण है-


 * $$i: A \to X$$,

जहाँ $$A$$ और $$X$$ टोपोलॉजिकल स्पेस हैं, यदि कोफिब्रेशन मानचित्रण की होमोटॉपी कक्षाऐ प्रदान करता है तब $$[A,S]$$ मानचित्रण की होमोटॉपी कक्षाओं तक विस्तारित किया जा सकता है। जब $$[X,S]$$ कोई मानचित्रण $$f \in \text{Hom}_{\textbf{Top}}(A,S)$$ द्वारा विस्तारित किया जा सकता है। यदि $$f' \in \text{Hom}_{\textbf{Top}}(X,S)$$ जहाँ $$f'\circ i = f$$, इसलिए उनके संबद्ध होमोटोपी वर्ग $$[f] = [f'\circ i]$$ समान हैं।

इस प्रकार की संरचना को सभी स्थानों के संबंध में होमोटॉपी एक्सटेंशन संपत्ति होने की तकनीकी स्थिति के साथ $$S$$ को एन्कोड किया जा सकता है। यह परिभाषा कंपन की दोहरी है, जो सभी रिक्त स्थान के संबंध में होमोटॉपी की संपत्ति को संतुष्ट करने के लिए आवश्यक है। इस द्वैत को अनौपचारिक रूप से एकमैन-हिल्टन द्वैत कहा जाता है। सामान्यता के कारण यह तकनीकी स्थिति है, इसका उपयोग मॉडल श्रेणी में किया जा सकता है।

होमोटॉपी सिद्धांत
निम्नलिखित में, $$I = [0,1]$$ को इकाई अंतराल में निरूपित किया गया है।

मानचित्रण के टोपोलॉजिकल स्पेस $$i\colon A \to X$$ को कोफिब्रेशन कहा जाता है पृष्ठ 51 यदि किसी मानचित्र के लिए $$f:A \to S$$ जैसे कि विस्तार $$X$$ है, मानचित्रण $$f':X \to S$$ है। मानचित्रण $$f'\circ i = f$$, द्वारा समरूपता का विस्तार कर सकते हैं। $$H:A\times I \to S$$ मानचित्रों की समरूपता के लिए $$H': X\times I \to S$$, जहां $$\begin{align} H(a,0) &= f(a) \\ H'(x,0) &= f'(x) \end{align}$$ हम निम्नलिखित क्रमविनिमेय आरेख में इस स्थिति को सांकेतिक शब्दों में परिवर्तित कर सकते है।"Cofibration diagram.svg"जहाँ $$S^I = \text{Hom}_{\textbf{Top}}(I,S)$$ का पाथ स्पेस कंपन $$S$$ है।

कोफ़िब्रेंट ऑब्जेक्ट
मॉडल श्रेणी के लिए $$\mathcal{M}$$, जैसे पॉइंटेड टोपोलॉजिकल स्पेस के लिए, ऑब्जेक्ट $$X$$ को कोफाइब्रेंट कहा जाता है। यदि मानचित्रण $$* \to X$$ कोफिब्रेशन है। ध्यान दें कि पॉइंटेड टोपोलॉजिकल स्पेस की श्रेणी में, कोफिब्रेशन की धारणा पूर्व परिभाषा के साथ युग्मित होती है, यह मानते हुए कि मानचित्र टोपोलॉजिकल स्पेस हैं।

टोपोलॉजी में
कम्प्यूटेशनल परिप्रेक्ष्य से कोफिब्रेशन मानचित्र का विचित्र वर्ग है क्योंकि उन्हें औपचारिक तकनीकी उपकरण के रूप में अधिक सरलता से देखा जाता है जो किसी टोपोलॉजिकल रिक्त स्थान के साथ होमोटोपी सैद्धांतिक निर्माण करने में सक्षम बनाता है। सौभाग्य से, किसी भी मानचित्र के लिए-
 * $$f:X \to Y$$

टोपोलॉजिकल स्पेस में कॉफिब्रेशन जुड़ा होता है, $$Mf$$ को मैपिंग सिलेंडर कहा जाता है (जहाँ $$Y$$ विरूपण वापसी है, इसलिए होमोटोपी इसके समतुल्य है) जिसमें प्रेरित कोफिब्रेशन होता है जिसे कोफिब्रेशन के साथ मानचित्र को परिवर्तित करना कहा जाता है।
 * $$i: X \to Mf$$

मानचित्रण $$Mf \to Y$$ के माध्यम से और $$f$$ कारकों के माध्यम से, जिसका अर्थ है कि क्रमविनिमेय आरेख है-
 * Mapping cylinder from X to Y.png
 * जहाँ $$r$$ होमोटॉपी तुल्यता है।

उदाहरण के अतिरिक्त और भी वर्ग हैं।
 * प्रायः उपयोग किया जाने वाला तथ्य यह है कि सेलुलर समावेशन कोफिब्रेशन है (उदाहरण के लिए, यदि $$(X, A)$$ सीडब्ल्यू-जोड़ी है, तो $$A \to X$$ कोफिब्रेशन है)। यह पूर्व तथ्य से इस प्रकार है $$S^{n-1} \to D^n$$ प्रत्येक के लिए कोफिब्रेशन है $$n$$, और पुशआउट्स ग्लूइंग मानचित्रण हैं $$n-1 $$ स्केलेटन है।
 * कोफिब्रेशन को पुशआउट्स और कंपोजीशन के अंतर्गत संरक्षित किया जाता है, जिसे ठीक नीचे बताया गया है।

श्रृंखला परिसरों में
यदि $$C_+(\mathcal{A})$$ श्रृंखला परिसरों की श्रेणी हैं $$0$$ डिग्री में $$q << 0$$, मॉडल श्रेणी संरचना है pg 1.2 जहां शक्तिहीन समकक्ष अर्ध-समरूपता हैं।

$$i:C_\bullet \to D_\bullet$$

जो एकैकी और कोकर्नेल कॉम्प्लेक्स हैं $$\text{Coker}(i)_\bullet$$ में प्रक्षेप्य वस्तु का कॉम्प्लेक्स $$\mathcal{A}$$ है, इसके अतिरिक्त, कॉफ़िब्रेंट ऑब्जेक्ट वे कॉम्प्लेक्स हैं जिनका प्रक्षेपीय ऑब्जेक्ट $$\mathcal{A}$$ हैं।

अर्ध-सरल सेट
श्रेणी के लिए $$ss\textbf{Set}$$ अर्ध-सरलीकृत सेट हैं। (जिसका अर्थ है कि डिग्री में कोई सह-अध: पतन मानचित्र नहीं हैं), कान-फिब्रेशन द्वारा दिए गए फ़िब्रेशन के साथ मॉडल श्रेणी संरचना है, कोफिब्रेशन एकैकी मानचित्रण, और ज्यामितीय प्राप्ति के पश्चात शक्तिहीन समकक्षों का उपयोग किया जाता है।

गुण

 * हॉसडॉर्फ रिक्त स्थान के लिए, प्रत्येक कोफिब्रेशन बंद समावेशन है; परिणाम भी शक्तिहीन हॉउसडॉर्फ रिक्त स्थान के लिए सामान्यीकृत होता है।
 * कोफिब्रेशन का पुशआउट (श्रेणी सिद्धांत) कॉफिब्रेशन है। यदि $$g\colon A\to B$$ कोई भी (निरंतर) मानचित्रण है (कॉम्पैक्ट रूप से उत्पन्न किए गए रिक्त स्थान के मध्य), और $$i\colon A\to X$$ कोफिब्रेशन है, फिर प्रेरित मानचित्रण $$B\to B\cup_g X$$ कोफिब्रेशन है।
 * मैपिंग सिलेंडर को पुशआउट के रूप में जाना जाता है। $$i\colon A\to X$$ एम्बेडिंग (इकाई अंतराल का सिरा) $$i_0\colon A\to A\times I$$. है। अर्थात्, मैपिंग सिलेंडर को इस प्रकार $$Mi=X\cup_i(A\times I)$$ परिभाषित किया जा सकता है। पुशआउट की सार्वभौमिक संपत्ति द्वारा, $$i$$ कोफिब्रेशन है जब प्रत्येक स्थान X के लिए मैपिंग सिलेंडर का निर्माण किया जा सकता है।
 * मैपिंग सिलेंडर निर्माण के माध्यम से प्रत्येक मानचित्र को कोफिब्रेशन द्वारा प्रतिस्थापित किया जा सकता है। यही इच्छानुसार (निरंतर) मानचित्रण $$f\colon X\to Y$$ दिया गया है। (कॉम्पैक्ट रूप से उत्पन्न रिक्त स्थान के मध्य), मैपिंग सिलेंडर को परिभाषित करता है-
 * $$Mf=Y\cup_f(X\times I)$$.
 * एक तो विघटित होता है, $$f$$ कोफिब्रेशन और होमोटॉपी तुल्यता के सम्मिश्रण में $$f$$ को मानचित्र के रूप में लिखा जा सकता है-
 * $$X \xrightarrow{j} Mf\xrightarrow{r} Y$$
 * साथ $$f=rj$$, जहाँ $$j\colon x\mapsto (x,0)$$ समावेशन है, और $$r\colon y\mapsto y$$ पर $$Y$$ और $$r\colon(x,s)\mapsto f(x)$$ पर $$X\times I$$. है।


 * कोफिब्रेशन (A, X) है, यदि $$ X \times I $$ विरूपण को $$ (A \times I) \cup (X \times \{0\})$$ से पीछे हटना है। चूंकि पुशआउट (श्रेणी सिद्धांत) है और इस प्रकार आरेख में प्रत्येक स्थान के लिए मानचित्र को प्रेरित करता है।
 * विरूपण-वापसी जोड़े और अन्तःखंडा विरूपण-वापसी जोड़े के लिए समान समानताएं होती है।

कोफ़िब्रेंट प्रतिस्थापन
ध्यान दें कि मॉडल श्रेणी में $$\mathcal{M}$$ यदि $$i:* \to X$$ कोफिब्रेशन नहीं है, तो मैपिंग सिलेंडर $$Mi$$ कोफ़िब्रेंट प्रतिस्थापन बनाता है। वास्तव में, यदि हम सिर्फ टोपोलॉजिकल स्पेस की श्रेणी में कार्य करते हैं, तो किसी भी मानचित्र के लिए बिंदु से स्पेस तक कोफिब्रेंट प्रतिस्थापन बनाता है।

कोफाइबर
कोफिब्रेशन के लिए $$A \to X$$ कोफाइबर को प्रेरित भागफल स्थान के रूप में $$X/A$$ को परिभाषित करते हैं। सामान्यतः, के लिए $$f:X \to Y$$, कोफाइबर को भागफल स्थान के रूप में परिभाषित किया गया है।$$C_f = M_f/(A\times \{0\})$$

जो $$f$$ मानचित्रण शंकु है, होमोटोपिक रूप में $$f:X \to Y$$ कोफाइबर मानचित्र के होमोटॉपी कोकर्नेल के रूप में कार्य करता है। वास्तव में, पॉइंटेड टोपोलॉजिकल स्पेस के लिए, होमोटॉपी कोलिमिट ऑफ़ $$\underset{\to}{\text{hocolim}}\left(\begin{matrix} X & \xrightarrow{f} & Y \\ \downarrow & & \\ \end{matrix}\right) = C_f$$

वास्तव में, मानचित्रण का क्रम $$X \to Y \to C_f$$ कोफाइबर अनुक्रम से सहज है जो त्रिकोणीय श्रेणियों में विशिष्ट त्रिकोण के जैसे कार्य करता है।

यह भी देखें

 * कंपन
 * होमोटॉपी कोलिमिट
 * होमोटॉपी फाइबर

संदर्भ

 * Peter May, "A Concise Course in Algebraic Topology" : chapter 6 defines and discusses cofibrations, and they are used throughout
 * Chapter 7 has many results not found elsewhere.