कांस्टेंट शीफ

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

कुछ मामलों में, सेट $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$ असतत टोपोलॉजी दी गई है)।

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

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

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

होने देना $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}}$, अर्थात यह संख्या है। अनुभाग चुनें $m$ ऊपर $\{p\}$ और $n$ ऊपर $\{q\}$, और मान लीजिये $m\neq n$. क्योंकि $m$ और $n$ ही तत्व को 0 से अधिक तक सीमित रखें $\varnothing$, ग्लूइंग स्वयंसिद्ध को अद्वितीय अनुभाग के अस्तित्व की आवश्यकता होती है $s$ पर $G(\{p,q\})$ जो कि प्रतिबंधित है $m$ पर $\{p\}$ और $n$ पर $\{$