अंशांकन: Difference between revisions

Latest revision as of 11:03, 10 March 2023

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

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$ को कोफिब्रेशन कहा जाता है^[1]यदि किसी मानचित्र के लिए $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{aligned} H (a, 0) & = f (a) \\ H^{'} (x, 0) & = f^{'} ( \end{aligned}$

[1]

@@ Line 3: / Line 3: @@
 :<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> को एन्कोड किया जा सकता है। यह परिभाषा [[कंपन]] की दोहरी है, जो सभी रिक्त स्थान के संबंध में होमोटॉपी की संपत्ति को संतुष्ट करने के लिए आवश्यक है। इस द्वैत को अनौपचारिक रूप से एकमैन-हिल्टन द्वैत कहा जाता है। सामान्यता के कारण यह तकनीकी स्थिति है, इसका उपयोग [[मॉडल श्रेणी]] में किया जा सकता है।
@@ Line 12: / Line 12: @@
 निम्नलिखित में, <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'(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>\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>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>.
-: एक तो decomposes <math>f</math> एक कोफिब्रेशन और एक [[होमोटॉपी तुल्यता]] के सम्मिश्रण में। वह है, <math>f</math> मानचित्र के रूप में लिखा जा सकता है
+: एक तो विघटित होता है, <math>f</math> कोफिब्रेशन और [[होमोटॉपी तुल्यता]] के सम्मिश्रण में <math>f</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> से पीछे हटना है। चूंकि पुशआउट (श्रेणी सिद्धांत) है और इस प्रकार आरेख में प्रत्येक स्थान के लिए मानचित्र को प्रेरित करता है।
-* विरूपण-वापसी जोड़े और पड़ोस विरूपण-वापसी जोड़े के लिए समान समानताएं बताई जा सकती हैं।
+* विरूपण-वापसी जोड़े और अन्तःखंडा विरूपण-वापसी जोड़े के लिए समान समानताएं होती है।
 == कोफिब्रेशन के साथ निर्माण ==
 === कोफ़िब्रेंट प्रतिस्थापन ===
-ध्यान दें कि एक मॉडल श्रेणी में <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 \\
 \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> [[ कोफाइबर अनुक्रम | कोफाइबर अनुक्रम]] से सहज है जो त्रिकोणीय श्रेणियों में विशिष्ट त्रिकोण के जैसे कार्य करता है।
 == यह भी देखें ==
@@ Line 82: / 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: समरूप बीजगणित]] [[Category: होमोटॉपी सिद्धांत]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 01/03/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]

Anonymous

Search

अंशांकन: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 11:03, 10 March 2023

Contents

परिभाषा

होमोटॉपी सिद्धांत