टॉटोलॉजिकल बंडल: Difference between revisions

From Vigyanwiki
(Created page with "गणित में, टॉटोलॉजिकल बंडल एक वेक्टर बंडल है जो प्राकृतिक टॉटोलॉज...")
 
No edit summary
Line 1: Line 1:
गणित में, टॉटोलॉजिकल बंडल एक [[वेक्टर बंडल]] है जो प्राकृतिक टॉटोलॉजिकल तरीके से [[ग्रासमैनियन]] के ऊपर होता है: एक ग्रासमैनियन के लिए <math>k</math>-[[आयाम (वेक्टर स्थान)]] का [[रैखिक उपस्थान]] <math>V</math>, ग्रासमैनियन में a के अनुरूप एक बिंदु दिया गया है <math>k</math>-आयामी वेक्टर उपस्थान <math>W \subseteq V</math>, फाइबर खत्म <math>W</math> उपस्थान है <math>W</math> अपने आप। [[प्रक्षेप्य स्थान]] के मामले में टॉटोलॉजिकल बंडल को टॉटोलॉजिकल लाइन बंडल के रूप में जाना जाता है।
गणित में, टॉटोलॉजिकल बंडल एक ऐसा [[वेक्टर बंडल|सदिश बंडल]] है जो प्राकृतिक टॉटोलॉजिकल विधि से [[ग्रासमैनियन]] पर होता है: <math>V</math> के <math>k</math>-[[आयाम (वेक्टर स्थान)|विमा (सदिश समष्टि)]] के [[रैखिक उपस्थान|रैखिक उपसमष्टि]] ग्रासमैनियन के लिए , <math>k</math>-विमीय सदिश उपसमष्टि <math>W \subseteq V</math> के अनुरूप ग्रासमैनियन में एक बिंदु दिया जाता है, फाइबर पर <math>W</math> स्वयं उप समष्टि <math>W</math> है। [[प्रक्षेप्य स्थान|प्रक्षेप्य समष्टि]] की समष्टि में टॉटोलॉजिकल बंडल को टॉटोलॉजिकल रेखा बंडल के रूप में जाना जाता है।


किसी भी वेक्टर बंडल (कॉम्पैक्ट स्पेस पर) के बाद से टॉटोलॉजिकल बंडल को [[ सार्वभौमिक बंडल ]] भी कहा जाता है<ref>Over a noncompact but paracompact base, this remains true provided one uses infinite Grassmannian.</ref>) टॉटोलॉजिकल बंडल का एक पुलबैक है; कहने का तात्पर्य यह है कि ग्रासमैनियन वेक्टर बंडलों के लिए एक वर्गीकृत स्थान है। इस वजह से, विशिष्ट वर्गों के अध्ययन में टॉटोलॉजिकल बंडल महत्वपूर्ण है।
किसी भी सदिश बंडल (कॉम्पैक्ट स्पेस पर) के बाद से टॉटोलॉजिकल बंडल को [[ सार्वभौमिक बंडल |सार्वभौमिक बंडल]] भी कहा जाता है<ref>Over a noncompact but paracompact base, this remains true provided one uses infinite Grassmannian.</ref>) टॉटोलॉजिकल बंडल का पुलबैक है; कहने का तात्पर्य यह है कि ग्रासमैनियन सदिश बंडलों के लिए वर्गीकृत समष्टि है। इस वजह से, विशिष्ट वर्गों के अध्ययन में टॉटोलॉजिकल बंडल महत्वपूर्ण है।


टॉटोलॉजिकल बंडलों का निर्माण बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति दोनों में किया जाता है। बीजगणितीय ज्यामिति में, टॉटोलॉजिकल लाइन बंडल (उल्टे शीफ के रूप में) है
टॉटोलॉजिकल बंडलों का निर्माण बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति दोनों में किया जाता है। बीजगणितीय ज्यामिति में, टॉटोलॉजिकल रेखा बंडल (उल्टे शीफ के रूप में) है


:<math>\mathcal{O}_{\mathbb{P}^n}(-1),</math>
:<math>\mathcal{O}_{\mathbb{P}^n}(-1),</math>
हाइपरप्लेन बंडल या सेरे के ट्विस्टिंग शीफ का [[दोहरा बंडल]] <math>\mathcal{O}_{\mathbb{P}^n}(1)</math>. हाइपरप्लेन बंडल हाइपरप्लेन (वि[[भाजक (बीजगणितीय ज्यामिति)]]) के अनुरूप लाइन बंडल है <math>\mathbb{P}^{n-1}</math> में <math>\mathbb{P}^n</math>. टॉटोलॉजिकल लाइन बंडल और हाइपरप्लेन बंडल वास्तव में प्रक्षेप्य स्थान के [[पिकार्ड समूह]] के दो जनरेटर हैं।<ref>In literature and textbooks, they are both often called canonical generators.</ref>
हाइपरप्लेन बंडल या सेरे के ट्विस्टिंग शीफ का [[दोहरा बंडल]] <math>\mathcal{O}_{\mathbb{P}^n}(1)</math>. हाइपरप्लेन बंडल हाइपरप्लेन (वि[[भाजक (बीजगणितीय ज्यामिति)]]) के अनुरूप रेखा बंडल है <math>\mathbb{P}^{n-1}</math> में <math>\mathbb{P}^n</math>. टॉटोलॉजिकल रेखा बंडल और हाइपरप्लेन बंडल वास्तव में प्रक्षेप्य समष्टि के [[पिकार्ड समूह]] के दो जनरेटर हैं।<ref>In literature and textbooks, they are both often called canonical generators.</ref>
[[माइकल अतियाह]] के के-सिद्धांत में, एक [[जटिल प्रक्षेप्य स्थान]] पर टॉटोलॉजिकल लाइन बंडल को मानक लाइन बंडल कहा जाता है। मानक बंडल के गोलाकार बंडल को आमतौर पर [[हॉपफ बंडल]] कहा जाता है। (सीएफ. बोतल जनरेटर।)
[[माइकल अतियाह]] के के-सिद्धांत में, [[जटिल प्रक्षेप्य स्थान|जटिल प्रक्षेप्य समष्टि]] पर टॉटोलॉजिकल रेखा बंडल को मानक रेखा बंडल कहा जाता है। मानक बंडल के गोलाकार बंडल को आमतौर पर [[हॉपफ बंडल]] कहा जाता है। (सीएफ. बोतल जनरेटर।)


अधिक आम तौर पर, वेक्टर बंडल के [[ प्रक्षेप्य बंडल ]] के साथ-साथ [[ग्रासमैन बंडल]] पर भी टॉटोलॉजिकल बंडल होते हैं।
अधिक आम तौर पर, सदिश बंडल के [[ प्रक्षेप्य बंडल |प्रक्षेप्य बंडल]] के साथ-साथ [[ग्रासमैन बंडल]] पर भी टॉटोलॉजिकल बंडल होते हैं।


पुराना शब्द ''कैनोनिकल बंडल'' इस आधार पर अप्रचलित हो गया है कि ''[[विहित वर्ग]]बहुविकल्पी)'' गणितीय शब्दावली में अत्यधिक अतिभारित है, और (इससे भी बदतर) [[बीजगणितीय ज्यामिति]] में कैनोनिकल वर्ग के साथ भ्रम है शायद ही टाला जा सके।
पुराना शब्द ''कैनोनिकल बंडल'' इस आधार पर अप्रचलित हो गया है कि ''[[विहित वर्ग]]बहुविकल्पी)'' गणितीय शब्दावली में अत्यधिक अतिभारित है, और (इससे भी बदतर) [[बीजगणितीय ज्यामिति]] में कैनोनिकल वर्ग के साथ भ्रम है शायद ही टाला जा सके।
Line 15: Line 15:
== सहज परिभाषा ==
== सहज परिभाषा ==


परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए [[सदिश स्थल]] में, दिए गए आयाम के रैखिक उप-स्थानों के लिए पैरामीटर स्थान हैं <math>W</math>. अगर <math>G</math> एक ग्रासमैनियन है, और <math>V_g</math> का उपस्थान है <math>W</math> तदनुसार <math>g</math> में <math>G</math>, यह पहले से ही लगभग एक वेक्टर बंडल के लिए आवश्यक डेटा है: अर्थात् प्रत्येक बिंदु के लिए एक वेक्टर स्थान <math>g</math>, लगातार बदलता रहता है। वह सब जो इस संकेत से टॉटोलॉजिकल बंडल की परिभाषा को रोक सकता है, वह कठिनाई है <math>V_g</math> प्रतिच्छेद करने जा रहे हैं. इसे ठीक करना [[ असंयुक्त संघ ]] डिवाइस का एक नियमित अनुप्रयोग है, ताकि बंडल प्रक्षेपण [[फाइबर बंडल]] से हो जो कि समान प्रतियों से बना हो। <math>V_g</math>, जो अब प्रतिच्छेद नहीं करते। इसके साथ ही हमारे पास बंडल है.
परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए [[सदिश स्थल]] में, दिए गए विमा के रैखिक उप-समष्टिों के लिए पैरामीटर समष्टि हैं <math>W</math>. अगर <math>G</math> ग्रासमैनियन है, और <math>V_g</math> का उपसमष्टि है <math>W</math> तदनुसार <math>g</math> में <math>G</math>, यह पहले से ही लगभग सदिश बंडल के लिए आवश्यक डेटा है: अर्थात् प्रत्येक बिंदु के लिए सदिश समष्टि <math>g</math>, लगातार बदलता रहता है। वह सब जो इस संकेत से टॉटोलॉजिकल बंडल की परिभाषा को रोक सकता है, वह कठिनाई है <math>V_g</math> प्रतिच्छेद करने जा रहे हैं. इसे ठीक करना [[ असंयुक्त संघ |असंयुक्त संघ]] डिवाइस का नियमित अनुप्रयोग है, ताकि बंडल प्रक्षेपण [[फाइबर बंडल]] से हो जो कि समान प्रतियों से बना हो। <math>V_g</math>, जो अब प्रतिच्छेद नहीं करते। इसके साथ ही हमारे पास बंडल है.


प्रक्षेप्य अंतरिक्ष मामला शामिल है। रिवाज के सन्दर्भ मे <math>P(V)</math> दोहरे अंतरिक्ष अर्थ में टॉटोलॉजिकल बंडल को उपयोगी रूप से ले जा सकता है। यानी साथ में <math>V^*</math> दोहरी जगह, के बिंदु <math>P(V)</math> के सदिश उप-स्थान ले जाएं <math>V^*</math> यह उनकी गुठली है, जब इसे [[रैखिक कार्यात्मक]]ताओं की (किरणों) के रूप में माना जाता है <math>V^*</math>. अगर <math>V</math> आयाम है <math>n+1</math>, टॉटोलॉजिकल [[लाइन बंडल]] एक टॉटोलॉजिकल बंडल है, और दूसरा, जिसका अभी वर्णन किया गया है, रैंक का है <math>n</math>.
प्रक्षेप्य अंतरिक्ष मामला शामिल है। रिवाज के सन्दर्भ मे <math>P(V)</math> दोहरे अंतरिक्ष अर्थ में टॉटोलॉजिकल बंडल को उपयोगी रूप से ले जा सकता है। यानी साथ में <math>V^*</math> दोहरी जगह, के बिंदु <math>P(V)</math> के सदिश उप-समष्टि ले जाएं <math>V^*</math> यह उनकी गुठली है, जब इसे [[रैखिक कार्यात्मक]]ताओं की (किरणों) के रूप में माना जाता है <math>V^*</math>. अगर <math>V</math> विमा है <math>n+1</math>, टॉटोलॉजिकल [[लाइन बंडल|रेखा बंडल]] टॉटोलॉजिकल बंडल है, और दूसरा, जिसका अभी वर्णन किया गया है, रैंक का है <math>n</math>.


== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==
होने देना <math>G_n(\R^{n+k})</math> में एन-आयामी वेक्टर उप-स्थानों का ग्रासमैनियन बनें <math>\R^{n+k};</math> एक समुच्चय के रूप में यह सभी n-आयामी वेक्टर उप-स्थानों का समुच्चय है <math>\R^{n+k}.</math> उदाहरण के लिए, यदि n = 1 है, तो यह वास्तविक प्रक्षेप्य k-स्पेस है।
होने देना <math>G_n(\R^{n+k})</math> में एन-विमीय सदिश उप-समष्टिों का ग्रासमैनियन बनें <math>\R^{n+k};</math> समुच्चय के रूप में यह सभी n-विमीय सदिश उप-समष्टिों का समुच्चय है <math>\R^{n+k}.</math> उदाहरण के लिए, यदि n = 1 है, तो यह वास्तविक प्रक्षेप्य k-स्पेस है।


हम टॉटोलॉजिकल बंडल γ को परिभाषित करते हैं<sub>''n'', ''k''</sub> ऊपर <math>G_n(\R^{n+k})</math> निम्नलिखित नुसार। बंडल का कुल स्थान सभी जोड़ों (वी, वी) का सेट है जिसमें ग्रासमैनियन का एक बिंदु वी और वी में एक वेक्टर वी शामिल है; इसे कार्टेशियन उत्पाद की उप-स्थान टोपोलॉजी दी गई है <math>G_n(\R^{n+k}) \times \R^{n+k}.</math> प्रक्षेपण मानचित्र π, π(V, v) = V द्वारा दिया जाता है। यदि F, π के अंतर्गत V की पूर्व छवि है, तो इसे a(V, v) + b(V, w) द्वारा एक सदिश स्थान की संरचना दी जाती है। ) = (वी, एवी + बीडब्ल्यू)। अंत में, स्थानीय तुच्छता को देखने के लिए, ग्रासमैनियन में एक बिंदु<ref>''U'' is open since <math>G_n(\R^{n+k})</math> is given a topology such that
हम टॉटोलॉजिकल बंडल γ को परिभाषित करते हैं<sub>''n'', ''k''</sub> ऊपर <math>G_n(\R^{n+k})</math> निम्नलिखित नुसार। बंडल का कुल समष्टि सभी जोड़ों (वी, वी) का सेट है जिसमें ग्रासमैनियन का बिंदु वी और वी में सदिश वी शामिल है; इसे कार्टेशियन उत्पाद की उप-समष्टि टोपोलॉजी दी गई है <math>G_n(\R^{n+k}) \times \R^{n+k}.</math> प्रक्षेपण मानचित्र π, π(V, v) = V द्वारा दिया जाता है। यदि F, π के अंतर्गत V की पूर्व छवि है, तो इसे a(V, v) + b(V, w) द्वारा सदिश समष्टि की संरचना दी जाती है। ) = (वी, एवी + बीडब्ल्यू)। अंत में, समष्टिीय तुच्छता को देखने के लिए, ग्रासमैनियन में बिंदु<ref>''U'' is open since <math>G_n(\R^{n+k})</math> is given a topology such that


:<math>\begin{cases} G_n(\R^{n+k}) \to \operatorname{End}(\R^{n+k}) \\ V \mapsto p_V \end{cases}</math>
:<math>\begin{cases} G_n(\R^{n+k}) \to \operatorname{End}(\R^{n+k}) \\ V \mapsto p_V \end{cases}</math>
Line 29: Line 29:


:<math>\begin{cases} \phi: \pi^{-1}(U) \to U\times X\subseteq  G_n(\R^{n+k}) \times X \\ \phi(V,v) = (V, p(v)) \end{cases}</math>
:<math>\begin{cases} \phi: \pi^{-1}(U) \to U\times X\subseteq  G_n(\R^{n+k}) \times X \\ \phi(V,v) = (V, p(v)) \end{cases}</math>
जो स्पष्ट रूप से एक होम्योमोर्फिज्म है। इसलिए, परिणाम रैंक n का एक वेक्टर बंडल है।
जो स्पष्ट रूप से होम्योमोर्फिज्म है। इसलिए, परिणाम रैंक n का सदिश बंडल है।


यदि हम प्रतिस्थापित करें तो उपरोक्त परिभाषा का अर्थ बना रहता है <math>\R</math> [[जटिल क्षेत्र]] के साथ <math>\C.</math>
यदि हम प्रतिस्थापित करें तो उपरोक्त परिभाषा का अर्थ बना रहता है <math>\R</math> [[जटिल क्षेत्र]] के साथ <math>\C.</math>
परिभाषा के अनुसार, अनंत ग्रासमैनियन <math>G_n</math> की सीधी सीमा है <math>G_n(\R^{n+k})</math> जैसा <math>k\to\infty.</math> बंडलों की सीधी सीमा लेना γ<sub>''n'', ''k''</sub> टॉटोलॉजिकल बंडल γ देता है<sub>''n''</sub> का <math>G_n.</math> यह इस अर्थ में एक सार्वभौमिक बंडल है: प्रत्येक कॉम्पैक्ट स्पेस एक्स के लिए, एक प्राकृतिक आक्षेप है
परिभाषा के अनुसार, अनंत ग्रासमैनियन <math>G_n</math> की सीधी सीमा है <math>G_n(\R^{n+k})</math> जैसा <math>k\to\infty.</math> बंडलों की सीधी सीमा लेना γ<sub>''n'', ''k''</sub> टॉटोलॉजिकल बंडल γ देता है<sub>''n''</sub> का <math>G_n.</math> यह इस अर्थ में सार्वभौमिक बंडल है: प्रत्येक कॉम्पैक्ट स्पेस एक्स के लिए, प्राकृतिक आक्षेप है


:<math>\begin{cases} [X, G_n] \to \operatorname{Vect}^{\R}_n(X) \\ f \mapsto f^*(\gamma_n) \end{cases}</math>
:<math>\begin{cases} [X, G_n] \to \operatorname{Vect}^{\R}_n(X) \\ f \mapsto f^*(\gamma_n) \end{cases}</math>
जहां बाईं ओर कोष्ठक का अर्थ समरूपता वर्ग है और दाईं ओर रैंक एन के वास्तविक वेक्टर बंडलों के समरूपता वर्गों का सेट है। उलटा नक्शा इस प्रकार दिया गया है: चूंकि एक्स कॉम्पैक्ट है, कोई भी वेक्टर बंडल ई एक तुच्छ बंडल का एक सबबंडल है: <math>E \hookrightarrow X \times \R^{n+k}</math> कुछ k के लिए और इसलिए E एक मानचित्र निर्धारित करता है
जहां बाईं ओर कोष्ठक का अर्थ समरूपता वर्ग है और दाईं ओर रैंक एन के वास्तविक सदिश बंडलों के समरूपता वर्गों का सेट है। उलटा नक्शा इस प्रकार दिया गया है: चूंकि एक्स कॉम्पैक्ट है, कोई भी सदिश बंडल ई तुच्छ बंडल का सबबंडल है: <math>E \hookrightarrow X \times \R^{n+k}</math> कुछ k के लिए और इसलिए E मानचित्र निर्धारित करता है


:<math>\begin{cases}f_E: X \to G_n \\ x \mapsto E_x \end{cases}</math>
:<math>\begin{cases}f_E: X \to G_n \\ x \mapsto E_x \end{cases}</math>
समरूपता तक अद्वितीय।
समरूपता तक अद्वितीय।


टिप्पणी: बदले में, कोई एक टॉटोलॉजिकल बंडल को एक सार्वभौमिक बंडल के रूप में परिभाषित कर सकता है; मान लीजिए कि कोई स्वाभाविक आपत्ति है
टिप्पणी: बदले में, कोई टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल के रूप में परिभाषित कर सकता है; मान लीजिए कि कोई स्वाभाविक आपत्ति है


:<math>[X, G_n] = \operatorname{Vect}^{\R}_n(X)</math>
:<math>[X, G_n] = \operatorname{Vect}^{\R}_n(X)</math>
किसी भी [[पैराकॉम्पैक्ट स्पेस]] X के लिए <math>G_n</math> कॉम्पैक्ट स्पेस की प्रत्यक्ष सीमा है, यह पैराकॉम्पैक्ट है और इसलिए इसके ऊपर एक अद्वितीय वेक्टर बंडल है <math>G_n</math> जो कि पहचान मानचित्र से मेल खाता है <math>G_n.</math> यह वास्तव में टॉटोलॉजिकल बंडल है और, प्रतिबंध के द्वारा, किसी को सभी पर टॉटोलॉजिकल बंडल मिलते हैं <math>G_n(\R^{n+k}).</math>
किसी भी [[पैराकॉम्पैक्ट स्पेस]] X के लिए <math>G_n</math> कॉम्पैक्ट स्पेस की प्रत्यक्ष सीमा है, यह पैराकॉम्पैक्ट है और इसलिए इसके ऊपर अद्वितीय सदिश बंडल है <math>G_n</math> जो कि पहचान मानचित्र से मेल खाता है <math>G_n.</math> यह वास्तव में टॉटोलॉजिकल बंडल है और, प्रतिबंध के द्वारा, किसी को सभी पर टॉटोलॉजिकल बंडल मिलते हैं <math>G_n(\R^{n+k}).</math>
 
 
== हाइपरप्लेन बंडल ==
== हाइपरप्लेन बंडल ==
वास्तविक प्रक्षेप्य ''k''-स्पेस पर हाइपरप्लेन बंडल ''H'' को इस प्रकार परिभाषित किया गया है। ''H'' का कुल स्थान सभी युग्मों (''L'', ''f'') का समुच्चय है, जिसमें मूल बिंदु से होकर जाने वाली एक रेखा ''L'' शामिल है। <math>\R^{k+1}</math> और एफ एल पर एक रैखिक कार्यात्मक है। प्रक्षेपण मानचित्र π π (एल, एफ) = एल द्वारा दिया गया है (ताकि एल पर फाइबर एल का दोहरी वेक्टर स्थान हो।) बाकी बिल्कुल टॉटोलॉजिकल लाइन बंडल की तरह है।
वास्तविक प्रक्षेप्य ''k''-स्पेस पर हाइपरप्लेन बंडल ''H'' को इस प्रकार परिभाषित किया गया है। ''H'' का कुल समष्टि सभी युग्मों (''L'', ''f'') का समुच्चय है, जिसमें मूल बिंदु से होकर जाने वाली रेखा ''L'' शामिल है। <math>\R^{k+1}</math> और एफ एल पर रैखिक कार्यात्मक है। प्रक्षेपण मानचित्र π π (एल, एफ) = एल द्वारा दिया गया है (ताकि एल पर फाइबर एल का दोहरी सदिश समष्टि हो।) बाकी बिल्कुल टॉटोलॉजिकल रेखा बंडल की तरह है।


दूसरे शब्दों में, एच टॉटोलॉजिकल लाइन बंडल का दोहरा बंडल है।
दूसरे शब्दों में, एच टॉटोलॉजिकल रेखा बंडल का दोहरा बंडल है।


बीजगणितीय ज्यामिति में, हाइपरप्लेन बंडल 'हाइपरप्लेन विभाजक' के अनुरूप लाइन बंडल (उलटा शीफ ​​के रूप में) है
बीजगणितीय ज्यामिति में, हाइपरप्लेन बंडल 'हाइपरप्लेन विभाजक' के अनुरूप रेखा बंडल (उलटा शीफ ​​के रूप में) है


:<math>H = \mathbb{P}^{n-1} \sub \mathbb{P}^{n}</math>
:<math>H = \mathbb{P}^{n-1} \sub \mathbb{P}^{n}</math>
मान लीजिए, x के रूप में दिया गया है<sub>0</sub> = 0, जब x<sub>i</sub>सजातीय निर्देशांक हैं. इस प्रकार इसे देखा जा सकता है। यदि D एक वेइल विभाजक है|(वेइल) विभाजक है <math>X=\mathbb{P}^n,</math> one, X पर संबंधित लाइन बंडल O(D) को परिभाषित करता है
मान लीजिए, x के रूप में दिया गया है<sub>0</sub> = 0, जब x<sub>i</sub>सजातीय निर्देशांक हैं. इस प्रकार इसे देखा जा सकता है। यदि D वेइल विभाजक है|(वेइल) विभाजक है <math>X=\mathbb{P}^n,</math> one, X पर संबंधित रेखा बंडल O(D) को परिभाषित करता है


:<math>\Gamma(U, O(D)) = \{ f \in K | (f) + D \ge 0 \text{ on } U \}</math>
:<math>\Gamma(U, O(D)) = \{ f \in K | (f) + D \ge 0 \text{ on } U \}</math>
Line 60: Line 58:


:<math>\begin{cases}O(H) \simeq O(1)\\ f \mapsto f x_0\end{cases}</math>
:<math>\begin{cases}O(H) \simeq O(1)\\ f \mapsto f x_0\end{cases}</math>
कहां एक्स<sub>0</sub> हमेशा की तरह, ट्विस्टिंग शीफ़ O(1) के एक वैश्विक खंड के रूप में देखा जाता है। (वास्तव में, उपरोक्त समरूपता वेइल डिवाइडर और कार्टियर डिवाइडर के बीच सामान्य पत्राचार का हिस्सा है।) अंत में, ट्विस्टिंग शीफ का दोहरा टॉटोलॉजिकल लाइन बंडल (नीचे देखें) से मेल खाता है।
कहां एक्स<sub>0</sub> हमेशा की तरह, ट्विस्टिंग शीफ़ O(1) के वैश्विक खंड के रूप में देखा जाता है। (वास्तव में, उपरोक्त समरूपता वेइल डिवाइडर और कार्टियर डिवाइडर के बीच सामान्य पत्राचार का हिस्सा है।) अंत में, ट्विस्टिंग शीफ का दोहरा टॉटोलॉजिकल रेखा बंडल (नीचे देखें) से मेल खाता है।


==बीजगणितीय ज्यामिति में टॉटोलॉजिकल लाइन बंडल==
==बीजगणितीय ज्यामिति में टॉटोलॉजिकल रेखा बंडल==


बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर मौजूद होती है। ठोस परिभाषा इस प्रकार है. होने देना <math>A = k[y_0, \dots, y_n]</math> और <math>\mathbb{P}^n = \operatorname{Proj}A</math>. ध्यान दें कि हमारे पास है:
बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर मौजूद होती है। ठोस परिभाषा इस प्रकार है. होने देना <math>A = k[y_0, \dots, y_n]</math> और <math>\mathbb{P}^n = \operatorname{Proj}A</math>. ध्यान दें कि हमारे पास है:
Line 70: Line 68:


:<math>L = \mathbf{Spec} \left (\mathcal{O}_{\mathbb{P}^n}[x_0, \dots, x_n]/I \right )</math>
:<math>L = \mathbf{Spec} \left (\mathcal{O}_{\mathbb{P}^n}[x_0, \dots, x_n]/I \right )</math>
जहां I वैश्विक वर्गों द्वारा उत्पन्न आदर्श शीफ है <math>x_iy_j-x_jy_i</math>. तब L एक बंद उपयोजना है <math>\mathbb{A}^{n+1}_{\mathbb{P}^n}</math> एक ही आधार योजना पर <math>\mathbb{P}^n</math>; इसके अलावा, L के बंद बिंदु बिल्कुल (x, y) के ही हैं <math>\mathbb{A}^{n+1} \times_k \mathbb{P}^n</math> जैसे कि या तो x शून्य है या x की छवि है <math>\mathbb{P}^n</math> य है. इस प्रकार, L टॉटोलॉजिकल लाइन बंडल है जैसा कि पहले परिभाषित किया गया है यदि k वास्तविक या जटिल संख्याओं का क्षेत्र है।
जहां I वैश्विक वर्गों द्वारा उत्पन्न आदर्श शीफ है <math>x_iy_j-x_jy_i</math>. तब L बंद उपयोजना है <math>\mathbb{A}^{n+1}_{\mathbb{P}^n}</math> ही आधार योजना पर <math>\mathbb{P}^n</math>; इसके अलावा, L के बंद बिंदु बिल्कुल (x, y) के ही हैं <math>\mathbb{A}^{n+1} \times_k \mathbb{P}^n</math> जैसे कि या तो x शून्य है या x की छवि है <math>\mathbb{P}^n</math> य है. इस प्रकार, L टॉटोलॉजिकल रेखा बंडल है जैसा कि पहले परिभाषित किया गया है यदि k वास्तविक या जटिल संख्याओं का क्षेत्र है।


अधिक संक्षिप्त शब्दों में, एल एफ़िन स्पेस की उत्पत्ति का ब्लो-अप | ब्लो-अप है <math>\mathbb{A}^{n+1}</math>, जहां एल में लोकस x = 0 [[असाधारण भाजक]] है। (सीएफ. हार्टशोर्न, अध्याय I, § 4 का अंत)
अधिक संक्षिप्त शब्दों में, एल एफ़िन स्पेस की उत्पत्ति का ब्लो-अप | ब्लो-अप है <math>\mathbb{A}^{n+1}</math>, जहां एल में लोकस x = 0 [[असाधारण भाजक]] है। (सीएफ. हार्टशोर्न, अध्याय I, § 4 का अंत)


सामान्य रूप में, <math>\mathbf{Spec}(\operatorname{Sym} \check{E})</math> परिमित रैंक के स्थानीय रूप से मुक्त शीफ ई के अनुरूप [[बीजगणितीय वेक्टर बंडल]] है।<ref>Editorial note: this definition differs from Hartshorne in that he does not take dual, but is consistent with the standard practice and the other parts of Wikipedia.</ref> चूँकि हमारे पास सटीक क्रम है:
सामान्य रूप में, <math>\mathbf{Spec}(\operatorname{Sym} \check{E})</math> परिमित रैंक के समष्टिीय रूप से मुक्त शीफ ई के अनुरूप [[बीजगणितीय वेक्टर बंडल|बीजगणितीय सदिश बंडल]] है।<ref>Editorial note: this definition differs from Hartshorne in that he does not take dual, but is consistent with the standard practice and the other parts of Wikipedia.</ref> चूँकि हमारे पास सटीक क्रम है:


:<math>0 \to I \to \mathcal{O}_{\mathbb{P}^n}[x_0, \ldots, x_n] \overset{x_i \mapsto y_i}{\longrightarrow} \operatorname{Sym} \mathcal{O}_{\mathbb{P}^n}(1) \to 0,</math>
:<math>0 \to I \to \mathcal{O}_{\mathbb{P}^n}[x_0, \ldots, x_n] \overset{x_i \mapsto y_i}{\longrightarrow} \operatorname{Sym} \mathcal{O}_{\mathbb{P}^n}(1) \to 0,</math>
जैसा कि ऊपर परिभाषित है, टॉटोलॉजिकल लाइन बंडल एल, दोहरे से मेल खाता है <math>\mathcal{O}_{\mathbb{P}^n}(-1)</math> सेरे के घुमाव वाले पूले का। व्यवहार में दोनों धारणाओं (टॉटोलॉजिकल लाइन बंडल और ट्विस्टिंग शीफ के दोहरे) का परस्पर उपयोग किया जाता है।
जैसा कि ऊपर परिभाषित है, टॉटोलॉजिकल रेखा बंडल एल, दोहरे से मेल खाता है <math>\mathcal{O}_{\mathbb{P}^n}(-1)</math> सेरे के घुमाव वाले पूले का। व्यवहार में दोनों धारणाओं (टॉटोलॉजिकल रेखा बंडल और ट्विस्टिंग शीफ के दोहरे) का परस्पर उपयोग किया जाता है।


एक क्षेत्र के ऊपर, इसकी दोहरी रेखा बंडल [[हाइपरप्लेन विभाजक]] एच से जुड़ी रेखा बंडल है, जिसके वैश्विक खंड [[रैखिक रूप]] हैं। इसका चेर्न वर्ग −H है। यह एंटी-[[ पर्याप्त लाइन बंडल ]] का एक उदाहरण है। ऊपर <math>\C,</math> यह कहने के बराबर है कि यह एक नकारात्मक रेखा बंडल है, जिसका अर्थ है कि इसके चेर्न वर्ग को घटाकर मानक काहलर फॉर्म का डी राम वर्ग है।
एक क्षेत्र के ऊपर, इसकी दोहरी रेखा बंडल [[हाइपरप्लेन विभाजक]] एच से जुड़ी रेखा बंडल है, जिसके वैश्विक खंड [[रैखिक रूप]] हैं। इसका चेर्न वर्ग −H है। यह एंटी-[[ पर्याप्त लाइन बंडल | पर्याप्त रेखा बंडल]] का उदाहरण है। ऊपर <math>\C,</math> यह कहने के बराबर है कि यह नकारात्मक रेखा बंडल है, जिसका अर्थ है कि इसके चेर्न वर्ग को घटाकर मानक काहलर फॉर्म का डी राम वर्ग है।


==तथ्य==
==तथ्य==


*टॉटोलॉजिकल लाइन बंडल γ<sub>1, ''k''</sub> फाइबर बंडल है लेकिन फाइबर बंडल नहीं#उदाहरण, k ≥ 1 के लिए। यह अन्य क्षेत्रों पर भी सत्य है।{{citation needed|date=December 2014}}
*टॉटोलॉजिकल रेखा बंडल γ<sub>1, ''k''</sub> फाइबर बंडल है लेकिन फाइबर बंडल नहीं#उदाहरण, k ≥ 1 के लिए। यह अन्य क्षेत्रों पर भी सत्य है।{{citation needed|date=December 2014}}


वास्तव में, यह दिखाना सीधा है कि, k = 1 के लिए, वास्तविक टॉटोलॉजिकल लाइन बंडल कोई और नहीं बल्कि प्रसिद्ध बंडल है जिसका फाइबर बंडल मोबियस स्ट्रिप है। उपरोक्त तथ्य के पूर्ण प्रमाण के लिए देखें।<ref>{{harvnb|Milnor|Stasheff|1974|loc=§2. Theorem 2.1.}}</ref>
वास्तव में, यह दिखाना सीधा है कि, k = 1 के लिए, वास्तविक टॉटोलॉजिकल रेखा बंडल कोई और नहीं बल्कि प्रसिद्ध बंडल है जिसका फाइबर बंडल मोबियस स्ट्रिप है। उपरोक्त तथ्य के पूर्ण प्रमाण के लिए देखें।<ref>{{harvnb|Milnor|Stasheff|1974|loc=§2. Theorem 2.1.}}</ref>
* लाइन बंडलों का पिकार्ड समूह <math>\mathbb{P}(V)</math> [[अनंत चक्रीय]] है, और [[टॉटोलॉजिकल लाइन बंडल]] एक जनरेटर है।
* रेखा बंडलों का पिकार्ड समूह <math>\mathbb{P}(V)</math> [[अनंत चक्रीय]] है, और [[टॉटोलॉजिकल लाइन बंडल|टॉटोलॉजिकल रेखा बंडल]] जनरेटर है।


* प्रक्षेप्य स्थान के मामले में, जहां टॉटोलॉजिकल बंडल एक लाइन बंडल है, अनुभागों का संबंधित उलटा शीफ ​​है <math>\mathcal{O}(-1)</math>, हाइपरप्लेन बंडल या प्रोज#द ट्विस्टिंग शीफ का टेंसर व्युत्क्रम (यानी दोहरी वेक्टर बंडल) <math>\mathcal{O}(1)</math>; दूसरे शब्दों में हाइपरप्लेन बंडल पिकार्ड समूह का सकारात्मक डिग्री वाला जनरेटर है (एक विभाजक (बीजगणितीय ज्यामिति) के रूप में) और टॉटोलॉजिकल बंडल इसके विपरीत है: नकारात्मक डिग्री का जनरेटर।
* प्रक्षेप्य समष्टि की समष्टि में, जहां टॉटोलॉजिकल बंडल रेखा बंडल है, अनुभागों का संबंधित उलटा शीफ ​​है <math>\mathcal{O}(-1)</math>, हाइपरप्लेन बंडल या प्रोज#द ट्विस्टिंग शीफ का टेंसर व्युत्क्रम (यानी दोहरी सदिश बंडल) <math>\mathcal{O}(1)</math>; दूसरे शब्दों में हाइपरप्लेन बंडल पिकार्ड समूह का सकारात्मक डिग्री वाला जनरेटर है (एक विभाजक (बीजगणितीय ज्यामिति) के रूप में) और टॉटोलॉजिकल बंडल इसके विपरीत है: नकारात्मक डिग्री का जनरेटर।


==यह भी देखें==
==यह भी देखें==
Line 101: Line 99:
==संदर्भ==
==संदर्भ==
{{reflist}}
{{reflist}}


==स्रोत==
==स्रोत==
Line 118: Line 115:
*{{Citation| last1=Rubei | first1=Elena |  title=Algebraic Geometry: A Concise Dictionary | publisher=Walter De Gruyter | location=Berlin/Boston | isbn=978-3-11-031622-3 | year=2014}}
*{{Citation| last1=Rubei | first1=Elena |  title=Algebraic Geometry: A Concise Dictionary | publisher=Walter De Gruyter | location=Berlin/Boston | isbn=978-3-11-031622-3 | year=2014}}


श्रेणी:वेक्टर बंडल
श्रेणी:सदिश बंडल




[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 10/07/2023]]
[[Category:Created On 10/07/2023]]

Revision as of 20:11, 20 July 2023

गणित में, टॉटोलॉजिकल बंडल एक ऐसा सदिश बंडल है जो प्राकृतिक टॉटोलॉजिकल विधि से ग्रासमैनियन पर होता है: के -विमा (सदिश समष्टि) के रैखिक उपसमष्टि ग्रासमैनियन के लिए , -विमीय सदिश उपसमष्टि के अनुरूप ग्रासमैनियन में एक बिंदु दिया जाता है, फाइबर पर स्वयं उप समष्टि है। प्रक्षेप्य समष्टि की समष्टि में टॉटोलॉजिकल बंडल को टॉटोलॉजिकल रेखा बंडल के रूप में जाना जाता है।

किसी भी सदिश बंडल (कॉम्पैक्ट स्पेस पर) के बाद से टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल भी कहा जाता है[1]) टॉटोलॉजिकल बंडल का पुलबैक है; कहने का तात्पर्य यह है कि ग्रासमैनियन सदिश बंडलों के लिए वर्गीकृत समष्टि है। इस वजह से, विशिष्ट वर्गों के अध्ययन में टॉटोलॉजिकल बंडल महत्वपूर्ण है।

टॉटोलॉजिकल बंडलों का निर्माण बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति दोनों में किया जाता है। बीजगणितीय ज्यामिति में, टॉटोलॉजिकल रेखा बंडल (उल्टे शीफ के रूप में) है

हाइपरप्लेन बंडल या सेरे के ट्विस्टिंग शीफ का दोहरा बंडल . हाइपरप्लेन बंडल हाइपरप्लेन (विभाजक (बीजगणितीय ज्यामिति)) के अनुरूप रेखा बंडल है में . टॉटोलॉजिकल रेखा बंडल और हाइपरप्लेन बंडल वास्तव में प्रक्षेप्य समष्टि के पिकार्ड समूह के दो जनरेटर हैं।[2] माइकल अतियाह के के-सिद्धांत में, जटिल प्रक्षेप्य समष्टि पर टॉटोलॉजिकल रेखा बंडल को मानक रेखा बंडल कहा जाता है। मानक बंडल के गोलाकार बंडल को आमतौर पर हॉपफ बंडल कहा जाता है। (सीएफ. बोतल जनरेटर।)

अधिक आम तौर पर, सदिश बंडल के प्रक्षेप्य बंडल के साथ-साथ ग्रासमैन बंडल पर भी टॉटोलॉजिकल बंडल होते हैं।

पुराना शब्द कैनोनिकल बंडल इस आधार पर अप्रचलित हो गया है कि विहित वर्गबहुविकल्पी) गणितीय शब्दावली में अत्यधिक अतिभारित है, और (इससे भी बदतर) बीजगणितीय ज्यामिति में कैनोनिकल वर्ग के साथ भ्रम है शायद ही टाला जा सके।

सहज परिभाषा

परिभाषा के अनुसार ग्रासमैनियन किसी दिए गए सदिश स्थल में, दिए गए विमा के रैखिक उप-समष्टिों के लिए पैरामीटर समष्टि हैं . अगर ग्रासमैनियन है, और का उपसमष्टि है तदनुसार में , यह पहले से ही लगभग सदिश बंडल के लिए आवश्यक डेटा है: अर्थात् प्रत्येक बिंदु के लिए सदिश समष्टि , लगातार बदलता रहता है। वह सब जो इस संकेत से टॉटोलॉजिकल बंडल की परिभाषा को रोक सकता है, वह कठिनाई है प्रतिच्छेद करने जा रहे हैं. इसे ठीक करना असंयुक्त संघ डिवाइस का नियमित अनुप्रयोग है, ताकि बंडल प्रक्षेपण फाइबर बंडल से हो जो कि समान प्रतियों से बना हो। , जो अब प्रतिच्छेद नहीं करते। इसके साथ ही हमारे पास बंडल है.

प्रक्षेप्य अंतरिक्ष मामला शामिल है। रिवाज के सन्दर्भ मे दोहरे अंतरिक्ष अर्थ में टॉटोलॉजिकल बंडल को उपयोगी रूप से ले जा सकता है। यानी साथ में दोहरी जगह, के बिंदु के सदिश उप-समष्टि ले जाएं यह उनकी गुठली है, जब इसे रैखिक कार्यात्मकताओं की (किरणों) के रूप में माना जाता है . अगर विमा है , टॉटोलॉजिकल रेखा बंडल टॉटोलॉजिकल बंडल है, और दूसरा, जिसका अभी वर्णन किया गया है, रैंक का है .

औपचारिक परिभाषा

होने देना में एन-विमीय सदिश उप-समष्टिों का ग्रासमैनियन बनें समुच्चय के रूप में यह सभी n-विमीय सदिश उप-समष्टिों का समुच्चय है उदाहरण के लिए, यदि n = 1 है, तो यह वास्तविक प्रक्षेप्य k-स्पेस है।

हम टॉटोलॉजिकल बंडल γ को परिभाषित करते हैंn, k ऊपर निम्नलिखित नुसार। बंडल का कुल समष्टि सभी जोड़ों (वी, वी) का सेट है जिसमें ग्रासमैनियन का बिंदु वी और वी में सदिश वी शामिल है; इसे कार्टेशियन उत्पाद की उप-समष्टि टोपोलॉजी दी गई है प्रक्षेपण मानचित्र π, π(V, v) = V द्वारा दिया जाता है। यदि F, π के अंतर्गत V की पूर्व छवि है, तो इसे a(V, v) + b(V, w) द्वारा सदिश समष्टि की संरचना दी जाती है। ) = (वी, एवी + बीडब्ल्यू)। अंत में, समष्टिीय तुच्छता को देखने के लिए, ग्रासमैनियन में बिंदु[3] और फिर परिभाषित करें

जो स्पष्ट रूप से होम्योमोर्फिज्म है। इसलिए, परिणाम रैंक n का सदिश बंडल है।

यदि हम प्रतिस्थापित करें तो उपरोक्त परिभाषा का अर्थ बना रहता है जटिल क्षेत्र के साथ परिभाषा के अनुसार, अनंत ग्रासमैनियन की सीधी सीमा है जैसा बंडलों की सीधी सीमा लेना γn, k टॉटोलॉजिकल बंडल γ देता हैn का यह इस अर्थ में सार्वभौमिक बंडल है: प्रत्येक कॉम्पैक्ट स्पेस एक्स के लिए, प्राकृतिक आक्षेप है

जहां बाईं ओर कोष्ठक का अर्थ समरूपता वर्ग है और दाईं ओर रैंक एन के वास्तविक सदिश बंडलों के समरूपता वर्गों का सेट है। उलटा नक्शा इस प्रकार दिया गया है: चूंकि एक्स कॉम्पैक्ट है, कोई भी सदिश बंडल ई तुच्छ बंडल का सबबंडल है: कुछ k के लिए और इसलिए E मानचित्र निर्धारित करता है

समरूपता तक अद्वितीय।

टिप्पणी: बदले में, कोई टॉटोलॉजिकल बंडल को सार्वभौमिक बंडल के रूप में परिभाषित कर सकता है; मान लीजिए कि कोई स्वाभाविक आपत्ति है

किसी भी पैराकॉम्पैक्ट स्पेस X के लिए कॉम्पैक्ट स्पेस की प्रत्यक्ष सीमा है, यह पैराकॉम्पैक्ट है और इसलिए इसके ऊपर अद्वितीय सदिश बंडल है जो कि पहचान मानचित्र से मेल खाता है यह वास्तव में टॉटोलॉजिकल बंडल है और, प्रतिबंध के द्वारा, किसी को सभी पर टॉटोलॉजिकल बंडल मिलते हैं

हाइपरप्लेन बंडल

वास्तविक प्रक्षेप्य k-स्पेस पर हाइपरप्लेन बंडल H को इस प्रकार परिभाषित किया गया है। H का कुल समष्टि सभी युग्मों (L, f) का समुच्चय है, जिसमें मूल बिंदु से होकर जाने वाली रेखा L शामिल है। और एफ एल पर रैखिक कार्यात्मक है। प्रक्षेपण मानचित्र π π (एल, एफ) = एल द्वारा दिया गया है (ताकि एल पर फाइबर एल का दोहरी सदिश समष्टि हो।) बाकी बिल्कुल टॉटोलॉजिकल रेखा बंडल की तरह है।

दूसरे शब्दों में, एच टॉटोलॉजिकल रेखा बंडल का दोहरा बंडल है।

बीजगणितीय ज्यामिति में, हाइपरप्लेन बंडल 'हाइपरप्लेन विभाजक' के अनुरूप रेखा बंडल (उलटा शीफ ​​के रूप में) है

मान लीजिए, x के रूप में दिया गया है0 = 0, जब xiसजातीय निर्देशांक हैं. इस प्रकार इसे देखा जा सकता है। यदि D वेइल विभाजक है|(वेइल) विभाजक है one, X पर संबंधित रेखा बंडल O(D) को परिभाषित करता है

जहां K, X पर परिमेय फलनों का क्षेत्र है। D को H मानते हुए, हमारे पास है:

कहां एक्स0 हमेशा की तरह, ट्विस्टिंग शीफ़ O(1) के वैश्विक खंड के रूप में देखा जाता है। (वास्तव में, उपरोक्त समरूपता वेइल डिवाइडर और कार्टियर डिवाइडर के बीच सामान्य पत्राचार का हिस्सा है।) अंत में, ट्विस्टिंग शीफ का दोहरा टॉटोलॉजिकल रेखा बंडल (नीचे देखें) से मेल खाता है।

बीजगणितीय ज्यामिति में टॉटोलॉजिकल रेखा बंडल

बीजगणितीय ज्यामिति में, यह धारणा किसी भी क्षेत्र k पर मौजूद होती है। ठोस परिभाषा इस प्रकार है. होने देना और . ध्यान दें कि हमारे पास है:

जहां स्पेक सापेक्ष स्पेक है। अब, डालें:

जहां I वैश्विक वर्गों द्वारा उत्पन्न आदर्श शीफ है . तब L बंद उपयोजना है ही आधार योजना पर ; इसके अलावा, L के बंद बिंदु बिल्कुल (x, y) के ही हैं जैसे कि या तो x शून्य है या x की छवि है य है. इस प्रकार, L टॉटोलॉजिकल रेखा बंडल है जैसा कि पहले परिभाषित किया गया है यदि k वास्तविक या जटिल संख्याओं का क्षेत्र है।

अधिक संक्षिप्त शब्दों में, एल एफ़िन स्पेस की उत्पत्ति का ब्लो-अप | ब्लो-अप है , जहां एल में लोकस x = 0 असाधारण भाजक है। (सीएफ. हार्टशोर्न, अध्याय I, § 4 का अंत)

सामान्य रूप में, परिमित रैंक के समष्टिीय रूप से मुक्त शीफ ई के अनुरूप बीजगणितीय सदिश बंडल है।[4] चूँकि हमारे पास सटीक क्रम है:

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

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

तथ्य

  • टॉटोलॉजिकल रेखा बंडल γ1, k फाइबर बंडल है लेकिन फाइबर बंडल नहीं#उदाहरण, k ≥ 1 के लिए। यह अन्य क्षेत्रों पर भी सत्य है।[citation needed]

वास्तव में, यह दिखाना सीधा है कि, k = 1 के लिए, वास्तविक टॉटोलॉजिकल रेखा बंडल कोई और नहीं बल्कि प्रसिद्ध बंडल है जिसका फाइबर बंडल मोबियस स्ट्रिप है। उपरोक्त तथ्य के पूर्ण प्रमाण के लिए देखें।[5]

  • प्रक्षेप्य समष्टि की समष्टि में, जहां टॉटोलॉजिकल बंडल रेखा बंडल है, अनुभागों का संबंधित उलटा शीफ ​​है , हाइपरप्लेन बंडल या प्रोज#द ट्विस्टिंग शीफ का टेंसर व्युत्क्रम (यानी दोहरी सदिश बंडल) ; दूसरे शब्दों में हाइपरप्लेन बंडल पिकार्ड समूह का सकारात्मक डिग्री वाला जनरेटर है (एक विभाजक (बीजगणितीय ज्यामिति) के रूप में) और टॉटोलॉजिकल बंडल इसके विपरीत है: नकारात्मक डिग्री का जनरेटर।

यह भी देखें

संदर्भ

  1. Over a noncompact but paracompact base, this remains true provided one uses infinite Grassmannian.
  2. In literature and textbooks, they are both often called canonical generators.
  3. U is open since is given a topology such that
    where is the orthogonal projection onto V, is a homeomorphism onto the image.
  4. Editorial note: this definition differs from Hartshorne in that he does not take dual, but is consistent with the standard practice and the other parts of Wikipedia.
  5. Milnor & Stasheff 1974, §2. Theorem 2.1.

स्रोत

  • Atiyah, Michael Francis (1989), K-theory, Advanced Book Classics (2nd ed.), Addison-Wesley, ISBN 978-0-201-09394-0, MR 1043170
  • Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, doi:10.1002/9781118032527, ISBN 978-0-471-05059-9, MR 1288523.
  • Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052.
  • Milnor, John W.; Stasheff, James D. (1974), Characteristic Classes, Annals of Mathematics Studies, vol. 76, Princeton, New Jersey: Princeton University Press, MR 0440554
  • Rubei, Elena (2014), Algebraic Geometry: A Concise Dictionary, Berlin/Boston: Walter De Gruyter, ISBN 978-3-11-031622-3

श्रेणी:सदिश बंडल