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

Revision as of 18:57, 13 July 2023

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

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

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

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

यदि $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$ असतत टोपोलॉजी दी गई है)।

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

File:Constantpresheaf.png

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

File:2 point discrete space.png

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

होने देना $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}}$ .

File:Constantsheaf intermediate step.png

निरंतर शीफ़ के लिए मध्यवर्ती चरण

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

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

File:Constantsheaf.png

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

$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: @@
-{{more citations needed|date=May 2010}}
+गणित में, [[टोपोलॉजिकल स्पेस]] <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>X</math> जिसके डंठल (शेफ) सभी बराबर हों <math>A</math>. द्वारा निरूपित किया जाता है <math>\underline{A}</math> या <math>A_X</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>A</math> किसी वस्तु से प्रतिस्थापित किया जा सकता है (श्रेणी सिद्धांत) <math>A</math> किसी श्रेणी में (गणित) <math>\textbf{C}</math> (उदाहरण के लिए जब <math>\textbf{C}</math> [[[[एबेलियन समूह]]ों की श्रेणी]] है, या [[क्रमविनिमेय वलय की श्रेणी]] है)।
@@ Line 6: / Line 6: @@
 ==बुनियादी बातें==
-होने देना <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: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>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>, विरोधाभास.
 [[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 18:57, 13 July 2023

Contents

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

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

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 18:57, 13 July 2023

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

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

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories