कांस्टेंट शीफ: Difference between revisions

Revision as of 08:55, 14 July 2023

गणित में, टोपोलॉजिकल समिष्ट $X$ पर लगातार पुलिंदा (गणित) संबंधित सेट $A$ की शीफ (गणित) होती है, जिसके डंठल (शेफ) समान $A$ होती हैं। इसे $A_{X}$ या आंतरवृत्ति ${\underline {A}}$ के रूप में चिह्नित किया जाता है। $A$ के संबंधित स्थायी पूर्वशीफ उस पूर्वशीफ को कहते हैं जो $X$ के प्रत्येक गैर-रिक्त खुले उपसमूह को $A$ का मान आवंटित करती है, और जिसके सभी सीमांकन मान अभिन्नता मान $A$ होते हैं। $A\to A$ से संबंधित स्थायी शीफ़ $A$ से जुड़े स्थायी प्रीशीफ़ का शीफ़ीकरण कहा जाता है। यह शीफ $X$ पर स्थानीय स्थिरांक $A$ -मान्य (स्थानीय रूप से स्थिर $A$ -मान) फ़ंक्शनों के शीफ के समान होती है।^[1]

कुछ मामलों में, सेट $A$ किसी (श्रेणी सिद्धांत) ${\textbf {C}}$ (उदाहरण के लिए जब ${\textbf {C}}$ एबेलियन समूहों की श्रेणी है, या क्रमविनिमेय वलय की श्रेणी हो) में वस्तु $A$ से प्रतिस्थापित किया जा सकता है।

एबेलियन समूहों के स्थायी शीफ विशेष रूप से शीफ़ सहयोगिता मेंमें गणकों के रूप में प्रदर्शित होते हैं।

बुनियादी बातें

यदि $X$ टोपोलॉजिकल समिष्ट है और $A$ सेट है,तो स्थायी शीफ के अनुभाग ${\underline {A}}$ खुले सेट पर $U$ स्थायी फ़ंक्शनों $U\to A$ के रूप में व्याख्या की जा सकती है , जहाँ $A$ को असतत टोपोलॉजी के साथ दिया गया है। यदि $U$ समिष्ट जुड़ा हुआ है, तो ये स्थानीय रूप से स्थायी फ़ंक्शन स्थायी होते हैं। यदि $f:X\to \{{\text{pt}}\}$ एकमात्र मानचित्र (गणित) है जो एक-बिंदु समिष्ट के लिए होता है और $A$ को $\{{\text{pt}}\}$ पर शीफ के रूप में मान दिया जाता है , तो उलटा छवि शीफ $f^{-1}A$ स्थायी पूल है ${\underline {A}}$ पर $X$ . का शीफ़ समिष्ट ${\underline {A}}$ प्रक्षेपण मानचित्र है $A$ (कहाँ $X\times A\to X$ असतत टोपोलॉजी दी गई है)।

विस्तृत उदाहरण

दो-बिंदु असतत समिष्ट पर लगातार प्रीशेफ़

दो-बिंदु असतत टोपोलॉजिकल समिष्ट

यहां $X$ दो बिंदुओं से युक्त टोपोलॉजिकल समिष्ट बनें $p$ और $q$ असतत टोपोलॉजी के साथ. $X$ चार खुले सेट हैं: $\varnothing ,\{p\},\{q\},\{p,q\}$ . के खुले सेट के पांच गैर-तुच्छ समावेशन $X$ चार्ट में दिखाया गया है.

पूर्वशीफ $X$ के चार खुले सेटों में से प्रत्येक के लिए सेट चुनता है $X$ और नौ समावेशन मानचित्रों में से प्रत्येक के लिए प्रतिबंध मानचित्र (पांच गैर-तुच्छ समावेशन और चार तुच्छ समावेशन)। मान के साथ स्थायी पूर्वशीफ ${\textbf {Z}}$ , जिसे हम निरूपित करेंगे $F$ , वह प्रीशीफ़ है जो सभी चार सेटों को चुनता है ${\textbf {Z}}$ , पूर्णांक, और सभी प्रतिबंध मानचित्र पहचान होंगे। $F$ फ़नकार है, इसलिए प्रीशीफ़ है, क्योंकि यह स्थायी है। $F$ ग्लूइंग सिद्धांत को संतुष्ट करता है, लेकिन यह शीफ नहीं है क्योंकि यह खाली सेट पर स्थानीय पहचान सिद्धांत को विफल करता है। ऐसा इसलिए है क्योंकि खाली सेट सेट के खाली परिवार द्वारा कवर किया जाता है: रिक्त रूप से, कोई भी दो खंड $F$ खाली परिवार में किसी भी सेट तक सीमित होने पर खाली सेट पर बराबर होते हैं। इसलिए स्थानीय पहचान स्वयंसिद्ध का तात्पर्य यह होगा कि कोई भी दो खंड $F$ खाली सेट पर बराबर हैं, लेकिन यह सच नहीं है।

समान पूर्वशीफ $G$ जो खाली सेट पर स्थानीय पहचान सिद्धांत को संतुष्ट करता है उसका निर्माण निम्नानुसार किया जाता है। यहां $G(\varnothing )=0$ दिया जाता है, जहां 0 एक-तत्व सेट है। सभी गैर-रिक्त सेटों पर, $G$ को मान ${\textbf {Z}}$ दिया जाता है। खुले सेटों के प्रत्येक समावेशन के लिए, $G$ उन्हें या तो 0 को एकमात्र मानचित्र लौटाता है, अगर छोटा सेट खाली है, या ${\textbf {Z}}$ पर पहचान मानचित्र लौटाता है।

स्थायी शीफ़ के लिए मध्यवर्ती चरण

ध्यान दें कि खाली सेट के लिए स्थानीय पहचान सिद्धांत के परिणामस्वरूप, खाली सेट से जुड़े सभी प्रतिबंध मानचित्र उबाऊ होते हैं। यह खाली सेट के लिए स्थानीय पहचान स्वयंसिद्ध को संतुष्ट करने वाले किसी भी पूर्वशीफ के लिए और विशेष रूप से किसी भी शीफ के लिए सच है।

$G$ अलग होने वाली पूर्वशीफ है (अर्थात, स्थानीय पहचान सिद्धांत को संतुष्ट करता है), लेकिन $F$ के विपरीत इसमें ग्लूइंग अधिमान असफल होता है। $\{p,q\}$ द्वारा ढँके जाने वाले दो खुले सेट $\{p\}$ और $\{q\}$ , हैं, और इन सेट्स का रिक्त प्रांसगिक है। $\{p\}$ या $\{q\}$ पर अनुभाग ${\textbf {Z}}$ का तत्व होता है, अर्थात्, यह संख्या होती है। $\{p\}$ पर अनुभाग $m$ ऊपर और $\{q\}$ पर अनुभाग $n$ का चयन करें, और मान रखें कि $m\neq n$ है, क्योंकि $m$ और $n$ ही तत्व को 0 को रेखांकित करते हैं जब $\varnothing$ पर, ग्लूइंग स्वयंसिद्ध को अद्वितीय अनुभाग के अस्तित्व की आवश्यकता होती है जो $s$ पर $G(\{p,q\})$ जो कि प्रतिबंधित है $m$ पर $\{p\}$ और $n$ पर $\{q\}$ . लेकिन क्योंकि प्रतिबंध मानचित्र से $\{p,q\}$ को $\{p\}$ पहचान है, $s=m$ , और इसी तरह $s=n$ , इसलिए $m=n$ , विरोधाभास.

दो-बिंदु टोपोलॉजिकल समिष्ट पर लगातार शीफ

$G(\{p,q\})$ दोनों $\{p\}$ और $\{q\}$ के बारे में जानकारी रखने के लिए बहुत छोटा है। इसे ऐसे विस्तृत किया जा सकता है कि यह ग्लूइंग अधिकार को पूरा करता है। इसके लिए, $H(\{p,q\})=\mathbf {Z} \oplus \mathbf {Z}$ . को परिभाषित करें। यहां, $\pi _{1}$ और $\pi _{2}$ दो प्रक्षेपण चित्र हैं: $\mathbf {Z} \oplus \mathbf {Z} \to \mathbf {Z}$ । परिभाषित करें $H(\{p\})={\text{im}}(\pi _{1})=\mathbf {Z}$ और $H(\{q\})={\text{im}}(\pi _{2})=\mathbf {Z}$ । शेष खुले सेट और समावेशन के लिए, $H$ को $G$ के बराबर ठहराया जाए। $H$ ऐसी शीफ है जिसे $X$ पर स्थायी शीफ कहा जाता है मूल्य ${\textbf {Z}}$ होता है। क्योंकि ${\textbf {Z}}$ वलय है और सभी प्रतिबंध मानचित्र वलय समरूपताएँ होते हैं, $H$ क्रमविनिमेय छल्लों का शीफ होती है।

यह भी देखें

स्थानीय रूप से स्थायी शीफ

संदर्भ

↑ "Does the extension by zero sheaf of the constant sheaf have some nice description?". Mathematics Stack Exchange (in English). Retrieved 2022-07-08.

Section II.1 of Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
Section 2.4.6 of Tennison, B.R. (1975), Sheaf theory, ISBN 978-0-521-20784-3

[1] "Does the extension by zero sheaf of the constant sheaf have some nice description?". Mathematics Stack Exchange (in English). Retrieved 2022-07-08.

[1]

@@ Line 1: / Line 1: @@
-गणित में, [[टोपोलॉजिकल स्पेस]] <math>X</math> पर निरंतर शीफ़ सेट <math>A</math> से संबंधित (गणित) शीफ (गणित) होती है, जिसके डंठल (शेफ) सभी <math>A</math> बराबर होते हैं। इसे  <math>A_X</math>या आंतरवृत्ति <math>\underline{A}</math> के रूप में चिह्नित किया जाता है। मान <math>A</math> के साथ निरंतर प्रीशीफ  उस [[प्रीशीफ]] को कहते हैं जो <math>X</math> के प्रत्येक गैर-रिक्त खुले उपसमूह को <math>A</math> का आवंटन करता है, और जिनके सभी प्रतिबंध मानचित्र पहचान मानचित्र हैं <math>A\to A</math>. से संबंधित निरंतर शीफ़ <math>A</math> से जुड़े निरंतर प्रीशीफ़ का [[शीफ़ीकरण]] है <math>A</math>. यह शीफ स्थानीय स्थिरांक <math>A</math> के शीफ से पहचान करता है -मूल्यवान कार्य चालू <math>X</math>.<ref>{{Cite web |title=Does the extension by zero sheaf of the constant sheaf have some nice description? |url=https://math.stackexchange.com/questions/4488075/does-the-extension-by-zero-sheaf-of-the-constant-sheaf-have-some-nice-descriptio |access-date=2022-07-08 |website=Mathematics Stack Exchange |language=en}}</ref>
+गणित में, [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समिष्ट]] <math>X</math> पर '''लगातार पुलिंदा''' (गणित) संबंधित सेट <math>A</math> की शीफ (गणित) होती है, जिसके डंठल (शेफ) समान <math>A</math> होती हैं। इसे  <math>A_X</math>या आंतरवृत्ति <math>\underline{A}</math> के रूप में चिह्नित किया जाता है। <math>A</math> के संबंधित स्थायी पूर्वशीफ उस पूर्वशीफ को कहते हैं जो <math>X</math> के प्रत्येक गैर-रिक्त खुले उपसमूह को <math>A</math> का मान आवंटित करती है, और जिसके सभी सीमांकन मान अभिन्नता मान <math>A</math> होते हैं। <math>A\to A</math> से संबंधित स्थायी शीफ़ <math>A</math> से जुड़े स्थायी प्रीशीफ़ का [[शीफ़ीकरण]] कहा जाता है। यह शीफ <math>X</math> पर स्थानीय स्थिरांक <math>A</math> -मान्य (स्थानीय रूप से स्थिर <math>A</math>-मान) फ़ंक्शनों के शीफ के समान होती है।<ref>{{Cite web |title=Does the extension by zero sheaf of the constant sheaf have some nice description? |url=https://math.stackexchange.com/questions/4488075/does-the-extension-by-zero-sheaf-of-the-constant-sheaf-have-some-nice-descriptio |access-date=2022-07-08 |website=Mathematics Stack Exchange |language=en}}</ref>
-कुछ मामलों में, सेट <math>A</math> किसी वस्तु से प्रतिस्थापित किया जा सकता है (श्रेणी सिद्धांत) <math>A</math> किसी श्रेणी में (गणित) <math>\textbf{C}</math> (उदाहरण के लिए जब <math>\textbf{C}</math> [[[[एबेलियन समूह]]ों की श्रेणी]] है, या [[क्रमविनिमेय वलय की श्रेणी]] है)।
+कुछ मामलों में, सेट <math>A</math> किसी (श्रेणी सिद्धांत) <math>\textbf{C}</math> (उदाहरण के लिए जब <math>\textbf{C}</math> [[एबेलियन समूह|एबेलियन समूहों]] की श्रेणी है, या [[क्रमविनिमेय वलय की श्रेणी]] हो) में वस्तु <math>A</math> से प्रतिस्थापित किया जा सकता है।
-एबेलियन समूहों के निरंतर शीव विशेष रूप से [[शीफ़ कोहोमोलोजी]] में गुणांक के रूप में दिखाई देते हैं।
+एबेलियन समूहों के स्थायी शीफ विशेष रूप से [[शीफ़ कोहोमोलोजी|शीफ़ सहयोगिता]] मेंमें गणकों के रूप में प्रदर्शित होते हैं।
 ==बुनियादी बातें==
-यदि <math>X</math> टोपोलॉजिकल स्पेस है और <math>A</math> सेट है। निरंतर शीफ के अनुभाग <math>\underline{A}</math> खुले सेट पर <math>U</math> निरंतर कार्यों के रूप में व्याख्या की जा सकती है <math>U\to A</math>, जहाँ <math>A</math> को [[असतत टोपोलॉजी]] के साथ दिया गया है। यदि <math>U</math> स्थान जुड़ा हुआ है, तो ये स्थानीय रूप से निरंतर फ़ंक्शन निरंतर होते हैं। यदि <math>f:X\to\{\text{pt}\}</math> एकमात्र [[मानचित्र (गणित)]] है जो एक-बिंदु स्थान के लिए होता है और <math>A</math> को <math>\{\text{pt}\}</math> पर शीफ के रूप में मान दिया जाता है , तो [[उलटा छवि शीफ]] <math>f^{-1}A</math> निरंतर पूल है <math>\underline{A}</math> पर <math>X</math>. का [[शीफ़ स्थान]] <math>\underline{A}</math> प्रक्षेपण मानचित्र है <math>A</math> (कहाँ <math>X\times A\to X</math> असतत टोपोलॉजी दी गई है)।
+यदि <math>X</math> टोपोलॉजिकल समिष्ट है और <math>A</math> सेट है,तो स्थायी शीफ के अनुभाग <math>\underline{A}</math> खुले सेट पर <math>U</math> स्थायी फ़ंक्शनों <math>U\to A</math> के रूप में व्याख्या की जा सकती है , जहाँ <math>A</math> को [[असतत टोपोलॉजी]] के साथ दिया गया है। यदि <math>U</math> समिष्ट जुड़ा हुआ है, तो ये स्थानीय रूप से स्थायी फ़ंक्शन स्थायी होते हैं। यदि <math>f:X\to\{\text{pt}\}</math> एकमात्र [[मानचित्र (गणित)]] है जो एक-बिंदु समिष्ट के लिए होता है और <math>A</math> को <math>\{\text{pt}\}</math> पर शीफ के रूप में मान दिया जाता है , तो [[उलटा छवि शीफ]] <math>f^{-1}A</math> स्थायी पूल है <math>\underline{A}</math> पर <math>X</math>. का [[शीफ़ स्थान|शीफ़]] समिष्ट <math>\underline{A}</math> प्रक्षेपण मानचित्र है <math>A</math> (कहाँ <math>X\times A\to X</math> असतत टोपोलॉजी दी गई है)।
 ==विस्तृत उदाहरण==
-[[File:Constantpresheaf.png|right|thumb|300px|दो-बिंदु असतत स्थान पर लगातार प्रीशेफ़]]
+[[File:Constantpresheaf.png|right|thumb|300px|दो-बिंदु असतत समिष्ट पर लगातार प्रीशेफ़]]
-[[File:2 point discrete space.png|left|thumb|100px|दो-बिंदु असतत टोपोलॉजिकल स्पेस]]होने देना <math>X</math> दो बिंदुओं से युक्त टोपोलॉजिकल स्पेस बनें <math>p</math> और <math>q</math> असतत टोपोलॉजी के साथ. <math>X</math> चार खुले सेट हैं: <math>\varnothing, \{p\}, \{q\}, \{p,q\}</math>. के खुले सेट के पांच गैर-तुच्छ समावेशन <math>X</math> चार्ट में दिखाया गया है.
+[[File:2 point discrete space.png|left|thumb|100px|दो-बिंदु असतत टोपोलॉजिकल समिष्ट]]यहां <math>X</math> दो बिंदुओं से युक्त टोपोलॉजिकल समिष्ट बनें <math>p</math> और <math>q</math> असतत टोपोलॉजी के साथ. <math>X</math> चार खुले सेट हैं: <math>\varnothing, \{p\}, \{q\}, \{p,q\}</math>. के खुले सेट के पांच गैर-तुच्छ समावेशन <math>X</math> चार्ट में दिखाया गया है.
-पर प्रीशीफ <math>X</math> के चार खुले सेटों में से प्रत्येक के लिए सेट चुनता है <math>X</math> और नौ [[समावेशन मानचित्र]]ों में से प्रत्येक के लिए प्रतिबंध मानचित्र (पांच गैर-तुच्छ समावेशन और चार तुच्छ समावेशन)। मान के साथ निरंतर प्रीशीफ <math>\textbf{Z}</math>, जिसे हम निरूपित करेंगे <math>F</math>, वह प्रीशीफ़ है जो सभी चार सेटों को चुनता है <math>\textbf{Z}</math>, पूर्णांक, और सभी प्रतिबंध मानचित्र पहचान होंगे। <math>F</math> फ़नकार है, इसलिए प्रीशीफ़ है, क्योंकि यह निरंतर है। <math>F</math> ग्लूइंग सिद्धांत को संतुष्ट करता है, लेकिन यह शीफ नहीं है क्योंकि यह खाली सेट पर स्थानीय पहचान सिद्धांत को विफल करता है। ऐसा इसलिए है क्योंकि खाली सेट सेट के खाली परिवार द्वारा कवर किया जाता है: रिक्त रूप से, कोई भी दो खंड <math>F</math> खाली परिवार में किसी भी सेट तक सीमित होने पर खाली सेट पर बराबर होते हैं। इसलिए स्थानीय पहचान स्वयंसिद्ध का तात्पर्य यह होगा कि कोई भी दो खंड <math>F</math> खाली सेट पर बराबर हैं, लेकिन यह सच नहीं है।
+पूर्वशीफ <math>X</math> के चार खुले सेटों में से प्रत्येक के लिए सेट चुनता है <math>X</math> और नौ [[समावेशन मानचित्र]]ों में से प्रत्येक के लिए प्रतिबंध मानचित्र (पांच गैर-तुच्छ समावेशन और चार तुच्छ समावेशन)। मान के साथ स्थायी पूर्वशीफ <math>\textbf{Z}</math>, जिसे हम निरूपित करेंगे <math>F</math>, वह प्रीशीफ़ है जो सभी चार सेटों को चुनता है <math>\textbf{Z}</math>, पूर्णांक, और सभी प्रतिबंध मानचित्र पहचान होंगे। <math>F</math> फ़नकार है, इसलिए प्रीशीफ़ है, क्योंकि यह स्थायी है। <math>F</math> ग्लूइंग सिद्धांत को संतुष्ट करता है, लेकिन यह शीफ नहीं है क्योंकि यह खाली सेट पर स्थानीय पहचान सिद्धांत को विफल करता है। ऐसा इसलिए है क्योंकि खाली सेट सेट के खाली परिवार द्वारा कवर किया जाता है: रिक्त रूप से, कोई भी दो खंड <math>F</math> खाली परिवार में किसी भी सेट तक सीमित होने पर खाली सेट पर बराबर होते हैं। इसलिए स्थानीय पहचान स्वयंसिद्ध का तात्पर्य यह होगा कि कोई भी दो खंड <math>F</math> खाली सेट पर बराबर हैं, लेकिन यह सच नहीं है।
-समान प्रीशीफ <math>G</math> जो खाली सेट पर स्थानीय पहचान सिद्धांत को संतुष्ट करता है उसका निर्माण निम्नानुसार किया जाता है। होने देना <math>G(\varnothing)=0</math>, जहां 0 एक-तत्व सेट है। सभी गैर-रिक्त सेटों पर, दें <math>G</math> मूल्य <math>\textbf{Z}</math>. खुले सेटों के प्रत्येक समावेशन के लिए, <math>G</math> यदि छोटा सेट खाली है, तो या तो अद्वितीय मानचित्र को 0 पर लौटाता है, या पहचान मानचित्र को चालू करता है <math>\textbf{Z}</math>.
+समान पूर्वशीफ <math>G</math> जो खाली सेट पर स्थानीय पहचान सिद्धांत को संतुष्ट करता है उसका निर्माण निम्नानुसार किया जाता है। यहां <math>G(\varnothing)=0</math> दिया जाता है, जहां 0 एक-तत्व सेट है। सभी गैर-रिक्त सेटों पर, <math>G</math> को मान <math>\textbf{Z}</math> दिया जाता है। खुले सेटों के प्रत्येक समावेशन के लिए, <math>G</math> उन्हें या तो 0 को एकमात्र मानचित्र लौटाता है, अगर छोटा सेट खाली है, या <math>\textbf{Z}</math> पर पहचान मानचित्र लौटाता है।
-[[File:Constantsheaf intermediate step.png|left|thumb|300px|निरंतर शीफ़ के लिए मध्यवर्ती चरण]]ध्यान दें कि खाली सेट के लिए स्थानीय पहचान सिद्धांत के परिणामस्वरूप, खाली सेट से जुड़े सभी प्रतिबंध मानचित्र उबाऊ हैं। यह खाली सेट के लिए स्थानीय पहचान स्वयंसिद्ध को संतुष्ट करने वाले किसी भी प्रीशीफ के लिए और विशेष रूप से किसी भी शीफ के लिए सच है।
+[[File:Constantsheaf intermediate step.png|left|thumb|300px|स्थायी शीफ़ के लिए मध्यवर्ती चरण]]ध्यान दें कि खाली सेट के लिए स्थानीय पहचान सिद्धांत के परिणामस्वरूप, खाली सेट से जुड़े सभी प्रतिबंध मानचित्र उबाऊ होते हैं। यह खाली सेट के लिए स्थानीय पहचान स्वयंसिद्ध को संतुष्ट करने वाले किसी भी पूर्वशीफ के लिए और विशेष रूप से किसी भी शीफ के लिए सच है।
-<math>G</math> पृथक प्रीशीफ़ है (अर्थात, स्थानीय पहचान सिद्धांत को संतुष्ट करता है), लेकिन इसके विपरीत <math>F</math> यह ग्लूइंग सिद्धांत को विफल कर देता है। <math>\{p,q\}</math> दो खुले सेटों द्वारा कवर किया गया है <math>\{p\}</math> और <math>\{q\}</math>, और इन सेटों में खाली चौराहा है। पर अनुभाग <math>\{p\}</math> या पर <math>\{q\}</math> का तत्व है <math>\textbf{Z}</math>, अर्थात यह संख्या है। अनुभाग चुनें <math>m</math> ऊपर <math>\{p\}</math> और <math>n</math> ऊपर <math>\{q\}</math>, और मान लीजिये <math>m\neq n</math>. क्योंकि <math>m</math> और <math>n</math> ही तत्व को 0 से अधिक तक सीमित रखें <math>\varnothing</math>, ग्लूइंग स्वयंसिद्ध को अद्वितीय अनुभाग के अस्तित्व की आवश्यकता होती है <math>s</math> पर <math>G(\{p,q\})</math> जो कि प्रतिबंधित है <math>m</math> पर <math>\{p\}</math> और <math>n</math> पर <math>\{q\}</math>. लेकिन क्योंकि प्रतिबंध मानचित्र से <math>\{p,q\}</math> को <math>\{p\}</math> पहचान है, <math>s=m</math>, और इसी तरह <math>s=n</math>, इसलिए <math>m=n</math>, विरोधाभास.
+<math>G</math> अलग होने वाली पूर्वशीफ है (अर्थात, स्थानीय पहचान सिद्धांत को संतुष्ट करता है), लेकिन <math>F</math> के विपरीत इसमें ग्लूइंग अधिमान असफल होता है। <math>\{p,q\}</math> द्वारा ढँके जाने वाले दो खुले सेट <math>\{p\}</math> और <math>\{q\}</math>, हैं, और इन सेट्स का रिक्त प्रांसगिक है।  <math>\{p\}</math> या <math>\{q\}</math> पर  अनुभाग <math>\textbf{Z}</math> का तत्व होता है, अर्थात्, यह संख्या होती है। <math>\{p\}</math> पर अनुभाग <math>m</math> ऊपर  और <math>\{q\}</math> पर अनुभाग <math>n</math> का चयन करें, और मान रखें कि <math>m\neq n</math> है, क्योंकि <math>m</math> और <math>n</math> ही तत्व को 0 को रेखांकित करते हैं जब <math>\varnothing</math> पर, ग्लूइंग स्वयंसिद्ध को अद्वितीय अनुभाग के अस्तित्व की आवश्यकता होती है जो <math>s</math> पर <math>G(\{p,q\})</math> जो कि प्रतिबंधित है <math>m</math> पर <math>\{p\}</math> और <math>n</math> पर <math>\{q\}</math>. लेकिन क्योंकि प्रतिबंध मानचित्र से <math>\{p,q\}</math> को <math>\{p\}</math> पहचान है, <math>s=m</math>, और इसी तरह <math>s=n</math>, इसलिए <math>m=n</math>, विरोधाभास.
-[[File:Constantsheaf.png|right|thumb|300px|दो-बिंदु टोपोलॉजिकल स्पेस पर लगातार शीफ]]
+[[File:Constantsheaf.png|right|thumb|300px|दो-बिंदु टोपोलॉजिकल समिष्ट पर लगातार शीफ]]
-<math>G(\{p,q\})</math> दोनों के बारे में जानकारी रखने के लिए बहुत छोटा है <math>\{p\}</math> और <math>\{q\}</math>. इसे बड़ा करने के लिए ताकि यह ग्लूइंग सिद्धांत को संतुष्ट कर सके, चलो <math>H(\{p,q\})=\mathbf{Z}\oplus\mathbf{Z}</math>. होने देना <math>\pi_1</math> और <math>\pi_2</math> दो प्रक्षेपण मानचित्र बनें <math>\mathbf{Z}\oplus\mathbf{Z}\to\mathbf{Z}</math>. परिभाषित करना <math>H(\{p\})=\text{im}(\pi_1)=\mathbf{Z}</math> और <math>H(\{q\})=\text{im}(\pi_2)=\mathbf{Z}</math>. शेष खुले सेट और समावेशन के लिए, आइए <math>H</math> बराबर <math>G</math>. <math>H</math> शीफ है जिसे निरंतर शीफ ऑन कहा जाता है <math>X</math> मूल्य के साथ <math>\textbf{Z}</math>. क्योंकि <math>\textbf{Z}</math> वलय है और सभी प्रतिबंध मानचित्र वलय समरूपताएँ हैं, <math>H</math> क्रमविनिमेय छल्लों का समूह है।
+<math>G(\{p,q\})</math> दोनों <math>\{p\}</math> और <math>\{q\}</math> के बारे में जानकारी रखने के लिए बहुत छोटा है। इसे ऐसे विस्तृत किया जा सकता है कि यह ग्लूइंग अधिकार को पूरा करता है। इसके लिए,<math>H(\{p,q\})=\mathbf{Z}\oplus\mathbf{Z}</math>. को परिभाषित करें। यहां, <math>\pi_1</math> और <math>\pi_2</math> दो प्रक्षेपण चित्र हैं: <math>\mathbf{Z}\oplus\mathbf{Z}\to\mathbf{Z}</math>। परिभाषित करें <math>H(\{p\})=\text{im}(\pi_1)=\mathbf{Z}</math> और <math>H(\{q\})=\text{im}(\pi_2)=\mathbf{Z}</math>।  शेष खुले सेट और समावेशन के लिए, <math>H</math> को<math>G</math> के बराबर ठहराया जाए। <math>H</math> ऐसी शीफ है जिसे <math>X</math> पर स्थायी शीफ कहा जाता है  मूल्य <math>\textbf{Z}</math> होता है। क्योंकि <math>\textbf{Z}</math> वलय है और सभी प्रतिबंध मानचित्र वलय समरूपताएँ होते हैं, <math>H</math> क्रमविनिमेय छल्लों का शीफ होती है।
 == यह भी देखें ==
-*स्थानीय रूप से निरंतर शीफ
+*स्थानीय रूप से स्थायी शीफ
 ==संदर्भ==

Anonymous

Search

कांस्टेंट शीफ: Difference between revisions

Namespaces

More

Page actions

Revision as of 08:55, 14 July 2023

Contents

बुनियादी बातें

विस्तृत उदाहरण

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

कांस्टेंट शीफ: Difference between revisions

Revision as of 08:55, 14 July 2023

बुनियादी बातें

विस्तृत उदाहरण

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories