अंशांकन - Revision history

Manidh at 05:33, 10 March 2023

2023-03-10T05:33:22Z

← Older revision		Revision as of 11:03, 10 March 2023
Line 96:		Line 96:
	[[Category:Templates Vigyan Ready]]		[[Category:Templates Vigyan Ready]]
	[[Category:Templates generating microformats]]		[[Category:Templates generating microformats]]
	~~[[Category:Vigyan Ready]]~~

Indicwiki: 11 revisions imported from :alpha:अंशांकन

2023-03-10T04:32:58Z

11 revisions imported from alpha:अंशांकन

← Older revision	Revision as of 10:02, 10 March 2023
(No difference)

alpha>Neeraja: added Category:Vigyan Ready using HotCat

2023-03-07T11:21:01Z

added Category:Vigyan Ready using HotCat

← Older revision		Revision as of 16:51, 7 March 2023
Line 96:		Line 96:
	[[Category:Templates Vigyan Ready]]		[[Category:Templates Vigyan Ready]]
	[[Category:Templates generating microformats]]		[[Category:Templates generating microformats]]
			[[Category:Vigyan Ready]]

alpha>Abhishek: /* संदर्भ */

2023-03-07T08:42:21Z

संदर्भ

@@ Line 86: / Line 86: @@
 * {{cite book |url=http://groupoids.org.uk/topgpds.html |first=Ronald |last=Brown |author-link=Ronald Brown (mathematician) |title=Topology and Groupoids |chapter=7. Cofibrations |isbn=978-1-4196-2722-4 }} Chapter 7 has many results not found elsewhere.
-{{Manifolds}}
+[[Category:Collapse templates]]
 [[Category:Created On 01/03/2023]]

alpha>Mithlesh at 03:40, 7 March 2023

2023-03-07T03:40:52Z

← Older revision		Revision as of 09:10, 7 March 2023
Line 3:		Line 3:
	:<math>i: A \to X</math>,		:<math>i: A \to X</math>,

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

	इस प्रकार की संरचना को सभी स्थानों के संबंध में [[होमोटॉपी एक्सटेंशन संपत्ति]] होने की तकनीकी स्थिति के साथ <math>S</math> को एन्कोड किया जा सकता है। यह परिभाषा [[कंपन]] की दोहरी है, जो सभी रिक्त स्थान के संबंध में होमोटॉपी की संपत्ति को संतुष्ट करने के लिए आवश्यक है। इस द्वैत को अनौपचारिक रूप से एकमैन-हिल्टन द्वैत कहा जाता है। सामान्यता के कारण यह तकनीकी स्थिति है, इसका उपयोग [[मॉडल श्रेणी]] में किया जा सकता है।		इस प्रकार की संरचना को सभी स्थानों के संबंध में [[होमोटॉपी एक्सटेंशन संपत्ति]] होने की तकनीकी स्थिति के साथ <math>S</math> को एन्कोड किया जा सकता है। यह परिभाषा [[कंपन]] की दोहरी है, जो सभी रिक्त स्थान के संबंध में होमोटॉपी की संपत्ति को संतुष्ट करने के लिए आवश्यक है। इस द्वैत को अनौपचारिक रूप से एकमैन-हिल्टन द्वैत कहा जाता है। सामान्यता के कारण यह तकनीकी स्थिति है, इसका उपयोग [[मॉडल श्रेणी]] में किया जा सकता है।
Line 12:		Line 12:
	निम्नलिखित में, <math>I = [0,1]</math> को इकाई अंतराल में निरूपित किया गया है।		निम्नलिखित में, <math>I = [0,1]</math> को इकाई अंतराल में निरूपित किया गया है।

	मानचित्रण के टोपोलॉजिकल स्पेस <math>i\colon A \to X</math> को कोफिब्रेशन कहा जाता है<ref name=":0">{{Cite book\|last=May, J. Peter.\|url=https://www.worldcat.org/oclc/41266205\|title=बीजगणितीय टोपोलॉजी में एक संक्षिप्त पाठ्यक्रम\|date=1999\|publisher=University of Chicago Press\|isbn=0-226-51182-0\|location=Chicago\|oclc=41266205}}</ref>~~पृष्ठ 51~~ यदि किसी मानचित्र के लिए <math>f:A \to S</math> ~~जैसे कि~~ विस्तार <math>X</math> है, मानचित्रण <math>f':X \to S</math> है। मानचित्रण <math>f'\circ i = f</math>, द्वारा समरूपता का विस्तार कर सकते हैं। <math>H:A\times I \to S</math> मानचित्रों की समरूपता के लिए <math>H': X\times I \to S</math>, जहां<blockquote><math>\begin{align}		मानचित्रण के टोपोलॉजिकल स्पेस <math>i\colon A \to X</math> को कोफिब्रेशन कहा जाता है<ref name=":0">{{Cite book\|last=May, J. Peter.\|url=https://www.worldcat.org/oclc/41266205\|title=बीजगणितीय टोपोलॉजी में एक संक्षिप्त पाठ्यक्रम\|date=1999\|publisher=University of Chicago Press\|isbn=0-226-51182-0\|location=Chicago\|oclc=41266205}}</ref>यदि किसी मानचित्र के लिए <math>f:A \to S</math> का विस्तार <math>X</math> है, मानचित्रण <math>f':X \to S</math> है। मानचित्रण <math>f'\circ i = f</math>, द्वारा समरूपता का विस्तार कर सकते हैं। <math>H:A\times I \to S</math> मानचित्रों की समरूपता के लिए <math>H': X\times I \to S</math>, जहां<blockquote><math>\begin{align}
	H(a,0) &= f(a) \\		H(a,0) &= f(a) \\
	H'(x,0) &= f'(x)		H'(x,0) &= f'(x)
Line 36:		Line 36:

	=== श्रृंखला परिसरों में ===		=== श्रृंखला परिसरों में ===
	यदि <math>C_+(\mathcal{A})</math> श्रृंखला परिसरों की श्रेणी हैं <math>0</math> डिग्री में <math>q << 0</math>, मॉडल श्रेणी संरचना है<ref name=":1">{{Cite book\|last=Quillen, Daniel G.\|url=https://www.worldcat.org/oclc/294862881\|title=समरूप बीजगणित\|date=1967\|publisher=Springer-Verlag\|isbn=978-3-540-03914-3\|location=Berlin\|oclc=294862881}}</ref~~><sup>pg 1.2</sup~~> जहां शक्तिहीन समकक्ष [[अर्ध-समरूपता]] हैं।		यदि <math>C_+(\mathcal{A})</math> श्रृंखला परिसरों की श्रेणी हैं <math>0</math> डिग्री में <math>q << 0</math>, मॉडल श्रेणी संरचना है<ref name=":1">{{Cite book\|last=Quillen, Daniel G.\|url=https://www.worldcat.org/oclc/294862881\|title=समरूप बीजगणित\|date=1967\|publisher=Springer-Verlag\|isbn=978-3-540-03914-3\|location=Berlin\|oclc=294862881}}</ref>जहां शक्तिहीन समकक्ष [[अर्ध-समरूपता]] हैं।

	<math>i:C_\bullet \to D_\bullet</math>		<math>i:C_\bullet \to D_\bullet</math>

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

	=== अर्ध-सरल सेट ===		=== अर्ध-सरल सेट ===
Line 46:		Line 46:

	== गुण ==		== गुण ==
	* हॉसडॉर्फ रिक्त स्थान के लिए, प्रत्येक कोफिब्रेशन बंद समावेशन है; परिणाम भी शक्तिहीन हॉउसडॉर्फ रिक्त स्थान के लिए सामान्यीकृत होता है।		* हॉसडॉर्फ रिक्त स्थान के लिए, प्रत्येक कोफिब्रेशन का बंद समावेशन है; परिणाम भी शक्तिहीन हॉउसडॉर्फ रिक्त स्थान के लिए सामान्यीकृत होता है।
	* कोफिब्रेशन का [[पुशआउट (श्रेणी सिद्धांत)]] कॉफिब्रेशन है। यदि <math>g\colon A\to B</math> कोई भी (निरंतर) मानचित्रण है (कॉम्पैक्ट रूप से उत्पन्न किए गए रिक्त स्थान के मध्य), और <math>i\colon A\to X</math> कोफिब्रेशन है, फिर प्रेरित मानचित्रण <math>B\to B\cup_g X</math> कोफिब्रेशन है।		* कोफिब्रेशन का [[पुशआउट (श्रेणी सिद्धांत)]] कॉफिब्रेशन है। यदि <math>g\colon A\to B</math> कोई भी (निरंतर) मानचित्रण है (कॉम्पैक्ट रूप से उत्पन्न किए गए रिक्त स्थान के मध्य), और <math>i\colon A\to X</math> कोफिब्रेशन है, फिर प्रेरित मानचित्रण <math>B\to B\cup_g X</math> कोफिब्रेशन है।
	* ~~मैपिंग~~ सिलेंडर को पुशआउट के रूप में जाना जाता है। <math>i\colon A\to X</math> एम्बेडिंग (इकाई अंतराल का सिरा) <math>i_0\colon A\to A\times I</math>. है। अर्थात्, ~~मैपिंग~~ सिलेंडर को इस प्रकार <math>Mi=X\cup_i(A\times I)</math> परिभाषित किया जा सकता है। पुशआउट की [[सार्वभौमिक संपत्ति]] द्वारा, <math>i</math> कोफिब्रेशन है जब प्रत्येक स्थान X के लिए ~~मैपिंग~~ सिलेंडर का निर्माण किया जा सकता है।		* मानचित्रण अनुसार के सिलेंडर को पुशआउट के रूप में जाना जाता है। <math>i\colon A\to X</math> एम्बेडिंग (इकाई अंतराल का सिरा) <math>i_0\colon A\to A\times I</math>. है। अर्थात्, मानचित्रण सिलेंडर को इस प्रकार <math>Mi=X\cup_i(A\times I)</math> परिभाषित किया जा सकता है। पुशआउट की [[सार्वभौमिक संपत्ति]] द्वारा, <math>i</math> कोफिब्रेशन है जब प्रत्येक स्थान X के लिए मानचित्रण सिलेंडर का निर्माण किया जा सकता है।
	* ~~मैपिंग~~ सिलेंडर निर्माण के माध्यम से प्रत्येक मानचित्र को कोफिब्रेशन द्वारा प्रतिस्थापित किया जा सकता है। यही इच्छानुसार (निरंतर) मानचित्रण <math>f\colon X\to Y</math> दिया गया है। (कॉम्पैक्ट रूप से उत्पन्न रिक्त स्थान के मध्य), ~~मैपिंग~~ सिलेंडर को परिभाषित करता है-		* मानचित्रण सिलेंडर निर्माण के माध्यम से प्रत्येक मानचित्र को कोफिब्रेशन द्वारा प्रतिस्थापित किया जा सकता है। यही इच्छानुसार (निरंतर) मानचित्रण <math>f\colon X\to Y</math> दिया गया है। (कॉम्पैक्ट रूप से उत्पन्न रिक्त स्थान के मध्य), मानचित्रण सिलेंडर को परिभाषित करता है-
	::<math>Mf=Y\cup_f(X\times I)</math>.		::<math>Mf=Y\cup_f(X\times I)</math>.
	: एक तो विघटित होता है, <math>f</math> कोफिब्रेशन और [[होमोटॉपी तुल्यता]] के सम्मिश्रण में <math>f</math> को मानचित्र के रूप में लिखा जा सकता है-		: एक तो विघटित होता है, <math>f</math> कोफिब्रेशन और [[होमोटॉपी तुल्यता]] के सम्मिश्रण में <math>f</math> को मानचित्र के रूप में लिखा जा सकता है-
Line 61:		Line 61:

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

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

	जो <math>f</math> मानचित्रण शंकु है, होमोटोपिक रूप में <math>f:X \to Y</math> कोफाइबर मानचित्र के होमोटॉपी कोकर्नेल के रूप में कार्य करता है। वास्तव में, पॉइंटेड टोपोलॉजिकल स्पेस के लिए, [[होमोटॉपी कोलिमिट]] ऑफ़ <math>\underset{\to}{\text{hocolim}}\left(\begin{matrix}		जो <math>f</math> मानचित्रण शंकु है, होमोटोपिक रूप में <math>f:X \to Y</math> कोफाइबर मानचित्र के होमोटॉपी कोकर्नेल के रूप में कार्य करता है। वास्तव में, पॉइंटेड टोपोलॉजिकल स्पेस के लिए, [[होमोटॉपी कोलिमिट]] ऑफ़ <math>\underset{\to}{\text{hocolim}}\left(\begin{matrix}

alpha>Mithlesh at 13:22, 6 March 2023

2023-03-06T13:22:32Z

← Older revision		Revision as of 18:52, 6 March 2023
Line 61:		Line 61:

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

	=== कोफाइबर ===		=== कोफाइबर ===
	कोफिब्रेशन के लिए <math>A \to X</math> हम कोफाइबर को प्रेरित भागफल स्थान के रूप में ~~परिभाषित करते हैं~~ <math>X/A</math>. सामान्यतः, के लिए <math>f:X \to Y</math>, कोफाइबर<ref name=":0" /~~><sup>पृष्ठ 59 </sup~~> को भागफल स्थान ~~<ब्लॉककोट>~~ के रूप में परिभाषित किया गया है<math>C_f = M_f/(A\times \{0\})</math>~~जिसका मैपिंग कोन है~~ <math>f</math>. होमोटोपिक ~~रूप से, कोफाइबर मानचित्र के होमोटॉपी कोकर्नेल के~~ रूप में ~~कार्य करता है~~ <math>f:X \to Y</math>. वास्तव में, पॉइंटेड टोपोलॉजिकल स्पेस के लिए, [[होमोटॉपी कोलिमिट]] ऑफ़ ~~<ब्लॉकक्वोट>~~<math>\underset{\to}{\text{hocolim}}\left(\begin{matrix}		कोफिब्रेशन के लिए <math>A \to X</math> कोफाइबर को प्रेरित भागफल स्थान के रूप में <math>X/A</math> को परिभाषित करते हैं। सामान्यतः, के लिए <math>f:X \to Y</math>, कोफाइबर<ref name=":0" /> को भागफल स्थान के रूप में परिभाषित किया गया है।<math>C_f = M_f/(A\times \{0\})</math>

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

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

	== यह भी देखें ==		== यह भी देखें ==

alpha>Mithlesh at 13:10, 6 March 2023

2023-03-06T13:10:00Z

← Older revision		Revision as of 18:40, 6 March 2023
Line 49:		Line 49:
	* कोफिब्रेशन का [[पुशआउट (श्रेणी सिद्धांत)]] कॉफिब्रेशन है। यदि <math>g\colon A\to B</math> कोई भी (निरंतर) मानचित्रण है (कॉम्पैक्ट रूप से उत्पन्न किए गए रिक्त स्थान के मध्य), और <math>i\colon A\to X</math> कोफिब्रेशन है, फिर प्रेरित मानचित्रण <math>B\to B\cup_g X</math> कोफिब्रेशन है।		* कोफिब्रेशन का [[पुशआउट (श्रेणी सिद्धांत)]] कॉफिब्रेशन है। यदि <math>g\colon A\to B</math> कोई भी (निरंतर) मानचित्रण है (कॉम्पैक्ट रूप से उत्पन्न किए गए रिक्त स्थान के मध्य), और <math>i\colon A\to X</math> कोफिब्रेशन है, फिर प्रेरित मानचित्रण <math>B\to B\cup_g X</math> कोफिब्रेशन है।
	* मैपिंग सिलेंडर को पुशआउट के रूप में जाना जाता है। <math>i\colon A\to X</math> एम्बेडिंग (इकाई अंतराल का सिरा) <math>i_0\colon A\to A\times I</math>. है। अर्थात्, मैपिंग सिलेंडर को इस प्रकार <math>Mi=X\cup_i(A\times I)</math> परिभाषित किया जा सकता है। पुशआउट की [[सार्वभौमिक संपत्ति]] द्वारा, <math>i</math> कोफिब्रेशन है जब प्रत्येक स्थान X के लिए मैपिंग सिलेंडर का निर्माण किया जा सकता है।		* मैपिंग सिलेंडर को पुशआउट के रूप में जाना जाता है। <math>i\colon A\to X</math> एम्बेडिंग (इकाई अंतराल का सिरा) <math>i_0\colon A\to A\times I</math>. है। अर्थात्, मैपिंग सिलेंडर को इस प्रकार <math>Mi=X\cup_i(A\times I)</math> परिभाषित किया जा सकता है। पुशआउट की [[सार्वभौमिक संपत्ति]] द्वारा, <math>i</math> कोफिब्रेशन है जब प्रत्येक स्थान X के लिए मैपिंग सिलेंडर का निर्माण किया जा सकता है।
	* मैपिंग सिलेंडर निर्माण के माध्यम से प्रत्येक मानचित्र को कोफिब्रेशन द्वारा प्रतिस्थापित किया जा सकता है। यही ~~है, एक मनमाना~~ (निरंतर) ~~मानचित्रणदिया गया है~~ <math>f\colon X\to Y</math> (कॉम्पैक्ट रूप से उत्पन्न रिक्त स्थान के ~~बीच~~), एक मैपिंग सिलेंडर को परिभाषित करता है		* मैपिंग सिलेंडर निर्माण के माध्यम से प्रत्येक मानचित्र को कोफिब्रेशन द्वारा प्रतिस्थापित किया जा सकता है। यही इच्छानुसार (निरंतर) मानचित्रण <math>f\colon X\to Y</math> दिया गया है। (कॉम्पैक्ट रूप से उत्पन्न रिक्त स्थान के मध्य), मैपिंग सिलेंडर को परिभाषित करता है-
	::<math>Mf=Y\cup_f(X\times I)</math>.		::<math>Mf=Y\cup_f(X\times I)</math>.
	: एक तो ~~decomposes~~ <math>f</math> एक कोफिब्रेशन और एक [[होमोटॉपी तुल्यता]] के सम्मिश्रण ~~में। वह है,~~ <math>f</math> मानचित्र के रूप में लिखा जा सकता है		: एक तो विघटित होता है, <math>f</math> कोफिब्रेशन और [[होमोटॉपी तुल्यता]] के सम्मिश्रण में <math>f</math> को मानचित्र के रूप में लिखा जा सकता है-
	::<math>X \xrightarrow{j} Mf\xrightarrow{r} Y</math>		::<math>X \xrightarrow{j} Mf\xrightarrow{r} Y</math>
	:साथ <math>f=rj</math>, कब <math>j\colon x\mapsto (x,0)</math> समावेशन है, और <math>r\colon y\mapsto y</math> पर <math>Y</math> और <math>r\colon(x,s)\mapsto f(x)</math> पर <math>X\times I</math>.		:साथ <math>f=rj</math>, जहाँ <math>j\colon x\mapsto (x,0)</math> समावेशन है, और <math>r\colon y\mapsto y</math> पर <math>Y</math> और <math>r\colon(x,s)\mapsto f(x)</math> पर <math>X\times I</math>. है।

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

	== कोफिब्रेशन के साथ निर्माण ==		== कोफिब्रेशन के साथ निर्माण ==

alpha>Mithlesh at 12:59, 6 March 2023

2023-03-06T12:59:54Z

← Older revision		Revision as of 18:29, 6 March 2023
Line 36:		Line 36:

	=== श्रृंखला परिसरों में ===		=== श्रृंखला परिसरों में ===
	यदि ~~हम जाने दें~~ <math>C_+(\mathcal{A})</math> श्रृंखला परिसरों की श्रेणी ~~हो जो~~ हैं <math>0</math> डिग्री में <math>q << 0</math>, ~~तो वहाँ एक~~ मॉडल श्रेणी संरचना है<ref name=":1">{{Cite book\|last=Quillen, Daniel G.\|url=https://www.worldcat.org/oclc/294862881\|title=समरूप बीजगणित\|date=1967\|publisher=Springer-Verlag\|isbn=978-3-540-03914-3\|location=Berlin\|oclc=294862881}}</ref><sup>pg 1.2</sup> जहां ~~कमजोर~~ समकक्ष [[अर्ध-समरूपता]] हैं।<math>i:C_\bullet \to D_\bullet</math>जो ~~इंजेक्शन~~ और कोकर्नेल कॉम्प्लेक्स हैं <math>\text{Coker}(i)_\bullet</math> में [[ प्रक्षेप्य वस्तु ]] का एक कॉम्प्लेक्स है <math>\mathcal{A}</math>. इसके अतिरिक्त, कॉफ़िब्रेंट ऑब्जेक्ट वे कॉम्प्लेक्स हैं ~~जिनकी ऑब्जेक्ट सभी प्रोजेक्टिव~~ ऑब्जेक्ट ~~हैं~~ <math>\mathcal{A}</math>.		यदि <math>C_+(\mathcal{A})</math> श्रृंखला परिसरों की श्रेणी हैं <math>0</math> डिग्री में <math>q << 0</math>, मॉडल श्रेणी संरचना है<ref name=":1">{{Cite book\|last=Quillen, Daniel G.\|url=https://www.worldcat.org/oclc/294862881\|title=समरूप बीजगणित\|date=1967\|publisher=Springer-Verlag\|isbn=978-3-540-03914-3\|location=Berlin\|oclc=294862881}}</ref><sup>pg 1.2</sup> जहां शक्तिहीन समकक्ष [[अर्ध-समरूपता]] हैं।

			<math>i:C_\bullet \to D_\bullet</math>

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

	=== अर्ध-सरल सेट ===		=== अर्ध-सरल सेट ===
	श्रेणी के लिए <math>ss\textbf{Set}</math> अर्ध-~~सरल सेटों की~~<ref name=":1" /~~><sup>pg 1.3</sup~~> (जिसका अर्थ है कि डिग्री में कोई सह-अध: पतन मानचित्र नहीं हैं), कान-फिब्रेशन द्वारा दिए गए फ़िब्रेशन के साथ एक मॉडल श्रेणी संरचना है, कोफिब्रेशन ~~इंजेक्शन मैप्स~~, और ज्यामितीय प्राप्ति के ~~बाद कमजोर~~ समकक्षों ~~द्वारा दी गई कमजोर समकक्षता।~~		श्रेणी के लिए <math>ss\textbf{Set}</math> अर्ध-सरलीकृत सेट हैं।<ref name=":1" /> (जिसका अर्थ है कि डिग्री में कोई सह-अध: पतन मानचित्र नहीं हैं), कान-फिब्रेशन द्वारा दिए गए फ़िब्रेशन के साथ मॉडल श्रेणी संरचना है, कोफिब्रेशन एकैकी मानचित्रण, और ज्यामितीय प्राप्ति के पश्चात शक्तिहीन समकक्षों का उपयोग किया जाता है।

	== गुण ==		== गुण ==
	* हॉसडॉर्फ रिक्त स्थान के लिए, प्रत्येक कोफिब्रेशन एक बंद समावेशन ~~(बंद छवि के साथ अंतःक्षेपण)~~ है; परिणाम भी ~~कमजोर~~ हॉउसडॉर्फ रिक्त स्थान के लिए सामान्यीकृत होता है।		* हॉसडॉर्फ रिक्त स्थान के लिए, प्रत्येक कोफिब्रेशन बंद समावेशन है; परिणाम भी शक्तिहीन हॉउसडॉर्फ रिक्त स्थान के लिए सामान्यीकृत होता है।
	* कोफिब्रेशन का [[पुशआउट (श्रेणी सिद्धांत)]] एक कॉफिब्रेशन है। ~~यानी~~ यदि <math>g\colon A\to B</math> कोई भी (निरंतर) ~~मानचित्रणहै~~ (कॉम्पैक्ट रूप से ~~जेनरेट~~ किए गए रिक्त स्थान के ~~बीच~~), और <math>i\colon A\to X</math> एक कोफिब्रेशन है, फिर प्रेरित मानचित्रण<math>B\to B\cup_g X</math> एक कोफिब्रेशन है।		* कोफिब्रेशन का [[पुशआउट (श्रेणी सिद्धांत)]] कॉफिब्रेशन है। यदि <math>g\colon A\to B</math> कोई भी (निरंतर) मानचित्रण है (कॉम्पैक्ट रूप से उत्पन्न किए गए रिक्त स्थान के मध्य), और <math>i\colon A\to X</math> कोफिब्रेशन है, फिर प्रेरित मानचित्रण <math>B\to B\cup_g X</math> कोफिब्रेशन है।
	* मैपिंग सिलेंडर को पुशआउट के रूप में ~~समझा जा सकता है~~ <math>i\colon A\to X</math> और एम्बेडिंग (इकाई अंतराल ~~के एक छोर पर~~) <math>i_0\colon A\to A\times I</math>. अर्थात्, मैपिंग सिलेंडर को इस प्रकार ~~परिभाषित किया जा सकता है~~ <math>Mi=X\cup_i(A\times I)</math>. पुशआउट की [[सार्वभौमिक संपत्ति]] द्वारा, <math>i</math> एक कोफिब्रेशन ~~ठीक~~ है जब प्रत्येक स्थान ~~एक्स~~ के लिए मैपिंग सिलेंडर का निर्माण किया जा सकता है।		* मैपिंग सिलेंडर को पुशआउट के रूप में जाना जाता है। <math>i\colon A\to X</math> एम्बेडिंग (इकाई अंतराल का सिरा) <math>i_0\colon A\to A\times I</math>. है। अर्थात्, मैपिंग सिलेंडर को इस प्रकार <math>Mi=X\cup_i(A\times I)</math> परिभाषित किया जा सकता है। पुशआउट की [[सार्वभौमिक संपत्ति]] द्वारा, <math>i</math> कोफिब्रेशन है जब प्रत्येक स्थान X के लिए मैपिंग सिलेंडर का निर्माण किया जा सकता है।
	* मैपिंग सिलेंडर निर्माण के माध्यम से प्रत्येक मानचित्र को कोफिब्रेशन द्वारा प्रतिस्थापित किया जा सकता है। यही है, एक मनमाना (निरंतर) मानचित्रणदिया गया है <math>f\colon X\to Y</math> (कॉम्पैक्ट रूप से उत्पन्न रिक्त स्थान के बीच), एक मैपिंग सिलेंडर को परिभाषित करता है		* मैपिंग सिलेंडर निर्माण के माध्यम से प्रत्येक मानचित्र को कोफिब्रेशन द्वारा प्रतिस्थापित किया जा सकता है। यही है, एक मनमाना (निरंतर) मानचित्रणदिया गया है <math>f\colon X\to Y</math> (कॉम्पैक्ट रूप से उत्पन्न रिक्त स्थान के बीच), एक मैपिंग सिलेंडर को परिभाषित करता है
	::<math>Mf=Y\cup_f(X\times I)</math>.		::<math>Mf=Y\cup_f(X\times I)</math>.

alpha>Mithlesh at 12:36, 6 March 2023

2023-03-06T12:36:42Z

← Older revision		Revision as of 18:06, 6 March 2023
Line 23:		Line 23:

	=== टोपोलॉजी में ===		=== टोपोलॉजी में ===
	कम्प्यूटेशनल परिप्रेक्ष्य से कोफिब्रेशन ~~नक्शे~~ का ~~एक अजीब~~ वर्ग है क्योंकि उन्हें एक औपचारिक तकनीकी उपकरण के रूप में अधिक ~~आसानी~~ से देखा जाता है जो किसी को टोपोलॉजिकल रिक्त स्थान के साथ होमोटोपी सैद्धांतिक निर्माण करने में सक्षम बनाता है। सौभाग्य से, किसी भी ~~नक्शे~~ के लिए		कम्प्यूटेशनल परिप्रेक्ष्य से कोफिब्रेशन मानचित्र का विचित्र वर्ग है क्योंकि उन्हें औपचारिक तकनीकी उपकरण के रूप में अधिक सरलता से देखा जाता है जो किसी टोपोलॉजिकल रिक्त स्थान के साथ होमोटोपी सैद्धांतिक निर्माण करने में सक्षम बनाता है। सौभाग्य से, किसी भी मानचित्र के लिए-
	:<math>f:X \to Y</math>		:<math>f:X \to Y</math>
	टोपोलॉजिकल स्पेस में~~, स्पेस से~~ जुड़ा ~~एक कॉफिब्रेशन~~ होता है <math>Mf</math> [[मैपिंग सिलेंडर]] कहा जाता है (जहाँ <math>Y</math> एक विरूपण वापसी है, इसलिए होमोटोपी इसके समतुल्य है) जिसमें एक प्रेरित कोफिब्रेशन होता है जिसे कोफिब्रेशन के साथ ~~मैप~~ को ~~बदलना~~ कहा जाता है		टोपोलॉजिकल स्पेस में कॉफिब्रेशन जुड़ा होता है, <math>Mf</math> को [[मैपिंग सिलेंडर]] कहा जाता है (जहाँ <math>Y</math> विरूपण वापसी है, इसलिए होमोटोपी इसके समतुल्य है) जिसमें प्रेरित कोफिब्रेशन होता है जिसे कोफिब्रेशन के साथ मानचित्र को परिवर्तित करना कहा जाता है।
	:<math>i: X \to Mf</math>		:<math>i: X \to Mf</math>
	~~और एक~~ मानचित्रण<math>Mf \to Y</math> ~~जिसके~~ माध्यम से <math>f</math> कारकों के माध्यम से, जिसका अर्थ है कि एक क्रमविनिमेय आरेख है		मानचित्रण <math>Mf \to Y</math> के माध्यम से और <math>f</math> कारकों के माध्यम से, जिसका अर्थ है कि क्रमविनिमेय आरेख है-
	:[[File:Mapping cylinder from X to Y.png\|frameकम\|108x108पीएक्स]]~~कहाँ~~ <math>r</math> एक होमोटॉपी तुल्यता है।		:[[File:Mapping cylinder from X to Y.png\|frameकम\|108x108पीएक्स]]
			:जहाँ <math>r</math> होमोटॉपी तुल्यता है।

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

alpha>Mithlesh at 11:26, 6 March 2023

2023-03-06T11:26:35Z

← Older revision		Revision as of 16:56, 6 March 2023
Line 10:		Line 10:

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

	~~नक्षा~~ <math>i\colon A \to X</math> ~~टोपोलॉजिकल स्पेस~~ को कोफिब्रेशन कहा जाता है<ref name=":0">{{Cite book\|last=May, J. Peter.\|url=https://www.worldcat.org/oclc/41266205\|title=बीजगणितीय टोपोलॉजी में एक संक्षिप्त पाठ्यक्रम\|date=1999\|publisher=University of Chicago Press\|isbn=0-226-51182-0\|location=Chicago\|oclc=41266205}}</ref~~><sup~~>पृष्ठ 51~~</sup>~~ यदि किसी मानचित्र के लिए <math>f:A \to S</math> जैसे कि एक विस्तार है <math>X</math>, ~~मतलब एक मानचित्रणहै~~ <math>f':X \to S</math> ~~ऐसा है कि~~ <math>f'\circ i = f</math>, ~~हम मानचित्रों की~~ समरूपता का विस्तार कर सकते ~~हैं~~ <math>H:A\times I \to S</math> मानचित्रों की एक समरूपता के लिए <math>H': X\times I \to S</math>, जहां<blockquote><math>\begin{align}		मानचित्रण के टोपोलॉजिकल स्पेस <math>i\colon A \to X</math> को कोफिब्रेशन कहा जाता है<ref name=":0">{{Cite book\|last=May, J. Peter.\|url=https://www.worldcat.org/oclc/41266205\|title=बीजगणितीय टोपोलॉजी में एक संक्षिप्त पाठ्यक्रम\|date=1999\|publisher=University of Chicago Press\|isbn=0-226-51182-0\|location=Chicago\|oclc=41266205}}</ref>पृष्ठ 51 यदि किसी मानचित्र के लिए <math>f:A \to S</math> जैसे कि विस्तार <math>X</math> है, मानचित्रण <math>f':X \to S</math> है। मानचित्रण <math>f'\circ i = f</math>, द्वारा समरूपता का विस्तार कर सकते हैं। <math>H:A\times I \to S</math> मानचित्रों की समरूपता के लिए <math>H': X\times I \to S</math>, जहां<blockquote><math>\begin{align}
	H(a,0) &= f(a) \\		H(a,0) &= f(a) \\
	H'(x,0) &= f'(x)		H'(x,0) &= f'(x)
	\end{align}</math></blockquote>हम निम्नलिखित क्रमविनिमेय आरेख~~<blockquote>~~ में इस स्थिति को ~~एन्कोड~~ कर सकते ~~हैं~~[[File:Cofibration diagram.svg\|frameकम]]</blockquote>~~कहाँ~~ <math>S^I = \text{Hom}_{\textbf{Top}}(I,S)</math> का [[पाथ स्पेस फिब्रेशन]] है <math>S</math>.		\end{align}</math></blockquote>हम निम्नलिखित क्रमविनिमेय आरेख में इस स्थिति को सांकेतिक शब्दों में परिवर्तित कर सकते है।<blockquote> [[File:Cofibration diagram.svg\|frameकम]]</blockquote>जहाँ <math>S^I = \text{Hom}_{\textbf{Top}}(I,S)</math> का [[पाथ स्पेस फिब्रेशन\|पाथ स्पेस कंपन]] <math>S</math> है।

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

	== उदाहरण ==		== उदाहरण ==