कोटैंजेंट बंडल: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Vector bundle of cotangent spaces at every point in a manifold}} गणित में, विशेष रूप से विभेदक ज्या...")
 
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Vector bundle of cotangent spaces at every point in a manifold}}
{{short description|Vector bundle of cotangent spaces at every point in a manifold}}
गणित में, विशेष रूप से [[विभेदक ज्यामिति]] में, [[ चिकनी कई गुना ]] का कोटैंजेंट बंडल मैनिफोल्ड के प्रत्येक बिंदु पर सभी [[कोटैंजेंट स्थान]]ों का [[वेक्टर बंडल]] होता है। इसे [[स्पर्शरेखा बंडल]] के दोहरे बंडल के रूप में भी वर्णित किया जा सकता है। इसे [[श्रेणी (गणित)]] में सामान्यीकृत किया जा सकता है, जिसमें चिकनी मैनिफोल्ड की तुलना में अधिक संरचना होती है, जैसे [[ जटिल अनेक गुना ]], या (कोटैंजेंट शीफ के रूप में) [[बीजगणितीय विविधता]] या [[योजना (गणित)]]सहज मामले में, कोई भी रीमैनियन मीट्रिक या सिंपलेक्टिक रूप कोटैंजेंट बंडल और टेंजेंट बंडल के बीच एक आइसोमोर्फिज्म देता है, लेकिन वे अन्य श्रेणियों में सामान्य आइसोमोर्फिक नहीं होते हैं।
गणित में, विशेष रूप से [[विभेदक ज्यामिति]] में, [[ चिकनी कई गुना |स्मूथ मैनिफोल्ड]] का कोटैंजेंट बंडल मैनिफोल्ड के प्रत्येक बिंदु पर सभी [[कोटैंजेंट स्थानों|कोटैंजेंट समष्टि]] का [[वेक्टर बंडल|सदिश बंडल]] होता है। इसे [[स्पर्शरेखा बंडल]] के दोहरे बंडल के रूप में भी वर्णित किया जा सकता है। इसे [[श्रेणी (गणित)]] में सामान्यीकृत किया जा सकता है, जिसमें स्मूथ मैनिफोल्ड की तुलना में अधिक संरचना होती है, जैसे [[ जटिल अनेक गुना |सम्मिश्र मैनिफोल्ड]], या (कोटैंजेंट शीफ के रूप में) [[बीजगणितीय विविधता]] या [[योजना (गणित)]] की सहज स्थिति में, कोई भी रीमैनियन मीट्रिक या सिंपलेक्टिक रूप कोटैंजेंट बंडल और स्पर्शरेखा बंडल के बीच एक समरूपता देता है, लेकिन वे अन्य श्रेणियों में सामान्य समरूपी नहीं होते हैं।


== विकर्ण रूपवाद के माध्यम से औपचारिक परिभाषा ==
== विकर्ण आकारिकी के माध्यम से औपचारिक परिभाषा ==
कोटैंजेंट बंडल को परिभाषित करने के कई समान तरीके हैं। कोटैंजेंट शीफ#एक [[विकर्ण आकारिकी]] के माध्यम से निर्माण एक [[विकर्ण मानचित्रण]] Δ और [[रोगाणु (गणित)]] के माध्यम से होता है।
कोटैंजेंट बंडल को परिभाषित करने की कई समान विधि हैं। कोटैंजेंट शीफ एक [[विकर्ण आकारिकी]] के माध्यम से निर्माण एक [[विकर्ण मानचित्रण]] Δ और [[रोगाणु (गणित)]] के माध्यम से होता है।


मान लीजिए कि M एक अवकलनीय मैनिफोल्ड है और मान लीजिए कि M×M स्वयं M का कार्टेशियन गुणनफल है। विकर्ण मानचित्रण Δ M में एक बिंदु p को M×M के बिंदु (p,p) पर भेजता है। Δ की छवि को विकर्ण कहा जाता है। होने देना <math>\mathcal{I}</math> एम×एम पर सुचारु कार्यों के रोगाणु (गणित) का शीफ ​​(गणित) बनें जो विकर्ण पर गायब हो जाते हैं। फिर [[शीफ़ (गणित)]]#ऑपरेशन <math>\mathcal{I}/\mathcal{I}^2</math> इसमें कार्यों के समतुल्य वर्ग शामिल होते हैं जो विकर्ण मॉड्यूलो उच्च क्रम की शर्तों पर गायब हो जाते हैं। [[कोटैंजेंट शीफ]] को इस शीफ के एम के व्युत्क्रम छवि फ़ैक्टर के रूप में परिभाषित किया गया है:
मान लीजिए कि M एक सहज मैनिफोल्ड है और M×M स्वयं M का कार्तीय गुणनफल है। विकर्ण मानचित्रण Δ M में एक बिंदु p को M×M के बिंदु (p,p) पर भेजता है। Δ की छवि को विकर्ण कहा जाता है। मान लीजिए कि <math>\mathcal{I}</math>, M×M पर सुचारु कार्यों के रोगाणुओं का समूह है जो विकर्ण पर लुप्त हो जाते हैं। इसके अतिरिक्त फिर भागफल [[शीफ़ (गणित)]] <math>\mathcal{I}/\mathcal{I}^2</math> में कार्यों के तुल्यता वर्ग सम्मलित होते हैं जो विकर्ण मॉड्यूलो उच्च क्रम की शर्तों पर विलुप्त हो जाते हैं। [[कोटैंजेंट शीफ]] को इस शीफ के M से पुलबैक के रूप में परिभाषित किया गया है:


:<math>\Gamma T^*M=\Delta^*\left(\mathcal{I}/\mathcal{I}^2\right).</math>
:<math>\Gamma T^*M=\Delta^*\left(\mathcal{I}/\mathcal{I}^2\right)</math>
टेलर के प्रमेय के अनुसार, यह एम के सुचारु कार्यों के रोगाणुओं के शीफ के संबंध में मॉड्यूल का एक स्थानीय रूप से मुक्त शीफ है। इस प्रकार यह एम पर एक वेक्टर बंडल को परिभाषित करता है: 'कोटेंजेंट बंडल'।
टेलर के प्रमेय के अनुसार, यह M के सुचारु कार्यों के रोगाणुओं के शीफ के संबंध में मॉड्यूल का एक स्थानीय रूप से मुक्त शीफ है। 'कोटैंजेंट बंडल' इस प्रकार यह M पर एक सदिश बंडल को परिभाषित करता है।


कोटैंजेंट बंडल के [[ सुचारू कार्य ]] [[ अनुभाग (फाइबर बंडल) ]] को (डिफरेंशियल) [[एक प्रपत्र]] कहा जाता है।
इसी प्रकार कोटैंजेंट बंडल के [[ सुचारू कार्य |सुचारू कार्य]] [[ अनुभाग (फाइबर बंडल) |अनुभाग (फाइबर बंडल)]] को (अवकल) [[एक प्रपत्र]] कहा जाता है।


==विपरीत गुण ==
==विरोधाभासी गुण ==


एक सहज रूपवाद <math> \phi\colon M\to N</math> कई गुना, एक [[पुलबैक (विभेदक ज्यामिति)]] प्रेरित करता है <math>\phi^*T^*N</math> एम पर। एक पुलबैक (विभेदक ज्यामिति) है#कोटैंजेंट वैक्टर और वेक्टर बंडलों के 1-रूपों का पुलबैक <math>\phi^*(T^*N)\to T^*M</math>.
एक सहज रूपवाद <math> \phi\colon M\to N</math> कई गुना, एक [[पुलबैक (विभेदक ज्यामिति)]] प्रेरित करता है, <math>\phi^*T^*N</math> M पर एक पुलबैक (विभेदक ज्यामिति) है, कोटैंजेंट सदिश और सदिश बंडलों के 1-रूपों का पुलबैक <math>\phi^*(T^*N)\to T^*M</math> है।


== उदाहरण ==
== उदाहरण ==
सदिश समष्टि का स्पर्शरेखा बंडल <math>\mathbb{R}^n</math> है <math>T\,\mathbb{R}^n = \mathbb{R}^n\times \mathbb{R}^n</math>, और कोटैंजेंट बंडल है <math>T^*\mathbb{R}^n = \mathbb{R}^n\times (\mathbb{R}^n)^*</math>, कहाँ <math>(\mathbb{R}^n)^*</math> कोवेक्टरों के दोहरे स्थान, रैखिक कार्यों को दर्शाता है <math>v^*:\mathbb{R}^n\to \mathbb{R}</math>.
सदिश समष्टि का स्पर्शरेखा बंडल <math>\mathbb{R}^n</math> है और <math>T\,\mathbb{R}^n = \mathbb{R}^n\times \mathbb{R}^n</math>, कोटैंजेंट बंडल है, <math>T^*\mathbb{R}^n = \mathbb{R}^n\times (\mathbb{R}^n)^*</math>, जहाँ <math>(\mathbb{R}^n)^*</math> सहसदिशों की दोहरी समष्टि, रैखिक कार्यों को <math>v^*:\mathbb{R}^n\to \mathbb{R}</math> इस प्रकार दर्शाता है।


एक सहज विविधता दी गई है <math>M\subset \mathbb{R}^n</math> किसी फ़ंक्शन के लुप्त हो रहे स्थान द्वारा दर्शाए गए [[ऊनविम पृष्ठ]] के रूप में एम्बेडेड <math>f\in C^\infty (\mathbb{R}^n),</math> इस शर्त के साथ कि <math>\nabla f \neq 0,</math> स्पर्शरेखा बंडल है
एक सहज विविधता <math>M\subset \mathbb{R}^n</math> दी गई है, किसी फ़ंक्शन के लुप्त हो रहे समष्टि द्वारा दर्शाए गए [[ऊनविम पृष्ठ]] के रूप में एम्बेडेड <math>f\in C^\infty (\mathbb{R}^n)</math> करता है, इस शर्त के साथ कि <math>\nabla f \neq 0,</math> स्पर्शरेखा बंडल है।


:<math>TM = \{(x,v) \in T\,\mathbb{R}^n \ :\ f(x) = 0,\ \, df_x(v) = 0\},</math>
:<math>TM = \{(x,v) \in T\,\mathbb{R}^n \ :\ f(x) = 0,\ \, df_x(v) = 0\},</math>
कहाँ <math>df_x \in T^*_xM</math> [[दिशात्मक व्युत्पन्न]] है <math>df_x(v) = \nabla\! f(x)\cdot v</math>. परिभाषा के अनुसार, इस मामले में कोटैंजेंट बंडल है
जहाँ <math>df_x \in T^*_xM</math> का [[दिशात्मक व्युत्पन्न]] <math>df_x(v) = \nabla\! f(x)\cdot v</math> है, परिभाषा के अनुसार, इस स्थिति में यह कोटैंजेंट बंडल है,


:<math>T^*M = \bigl\{(x,v^*)\in T^*\mathbb{R}^n \ :\ f(x)=0,\ v^* \in T^*_xM \bigr\},</math>
:<math>T^*M = \bigl\{(x,v^*)\in T^*\mathbb{R}^n \ :\ f(x)=0,\ v^* \in T^*_xM \bigr\},</math>
कहाँ <math>T^*_xM=\{v \in T_x\mathbb{R}^n\ :\ df_x(v)=0\}^*.</math> चूँकि प्रत्येक कोवेक्टर <math>v^* \in T^*_xM</math> एक अद्वितीय वेक्टर से मेल खाता है <math>v \in T_xM</math> जिसके लिए <math>v^*(u) = v \cdot u,</math> एक मनमानी के लिए <math>u \in T_xM,</math>
जहाँ <math>T^*_xM=\{v \in T_x\mathbb{R}^n\ :\ df_x(v)=0\}^*</math> चूँकि प्रत्येक सहसदिश <math>v^* \in T^*_xM</math> एक अद्वितीय <math>v \in T_xM</math> सदिश से मेल खाता है, जिसके लिए <math>v^*(u) = v \cdot u,</math> एक स्वेच्छ के लिए <math>u \in T_xM,</math>
:<math>T^*M = \bigl\{(x,v^*)\in T^*\mathbb{R}^n\ :\ f(x) = 0,\ v \in T_x\mathbb{R}^n,\ df_x(v)=0 \bigr\}.</math>
:<math>T^*M = \bigl\{(x,v^*)\in T^*\mathbb{R}^n\ :\ f(x) = 0,\ v \in T_x\mathbb{R}^n,\ df_x(v)=0 \bigr\}</math> है।
== [[चरण स्थान|चरण समष्टि]] के रूप में कोटैंजेंट बंडल ==


चूँकि कोटैंजेंट बंडल X = T*M एक सदिश बंडल है, इसे अपने आप में कई गुना माना जा सकता है। क्योंकि प्रत्येक बिंदु पर M की स्पर्शरेखा दिशाओं को फाइबर में उनके दोहरे सहसदिश के साथ जोड़ा जा सकता है, X के पास एक कैनोनिकल वन-फॉर्म θ होता है, जिसे [[टॉटोलॉजिकल वन-फॉर्म]] कहा जाता है, जिसकी चर्चा नीचे की गई है। θ का [[बाहरी व्युत्पन्न]] एक [[सरलीकृत रूप]] है, जिसमें से X के लिए एक गैर-पतित [[वॉल्यूम फॉर्म]] बनाया जा सकता है। उदाहरण के लिए, परिणामस्वरूप X निरंतर एक (स्पर्शरेखा बंडल TX एक ओरिएंटेबल है सदिश बंडल) [[ एडजस्टेबल |एडजस्टेबल]] मैनिफोल्ड है। निर्देशांक का एक विशेष समुच्चय कोटैंजेंट बंडल पर परिभाषित किया जा सकता है; इन्हें [[विहित निर्देशांक]] कहा जाता है। क्योंकि कोटैंजेंट बंडलों को [[ सिंपलेक्टिक मैनिफ़ोल्ड |सिंपलेक्टिक मैनिफ़ोल्ड]] ्स के रूप में सोचा जा सकता है, कोटैंजेंट बंडल पर किसी भी वास्तविक फ़ंक्शन को [[सिम्प्लेक्टिक वेक्टर स्पेस|सिम्प्लेक्टिक सदिश समष्टि]] के रूप में व्याख्या की जा सकती है; इस प्रकार कोटैंजेंट बंडल को एक चरण समष्टि के रूप में समझा जा सकता है जिस पर [[हैमिल्टनियन यांत्रिकी]] काम करती है।


== [[चरण स्थान]] के रूप में कोटैंजेंट बंडल ==
=== टॉटोलॉजिकल वन-फॉर्म ===
{{main|टॉटोलॉजिकल वन-फॉर्म}}


चूँकि कोटैंजेंट बंडल X = T*M एक वेक्टर बंडल है, इसे अपने आप में कई गुना माना जा सकता है। क्योंकि प्रत्येक बिंदु पर एम की स्पर्शरेखा दिशाओं को फाइबर में उनके दोहरे कोवेक्टर के साथ जोड़ा जा सकता है, एक्स के पास एक कैनोनिकल वन-फॉर्म θ होता है जिसे [[टॉटोलॉजिकल वन-फॉर्म]] कहा जाता है, जिसकी चर्चा नीचे की गई है। θ का [[बाहरी व्युत्पन्न]] एक सिम्प्लेक्टिक रूप है | [[सरलीकृत रूप]], जिसमें से एक्स के लिए एक गैर-पतित [[वॉल्यूम फॉर्म]] बनाया जा सकता है। उदाहरण के लिए, परिणामस्वरूप एक्स हमेशा एक [[ एडजस्टेबल ]] मैनिफोल्ड है (स्पर्शरेखा बंडल टीएक्स एक ओरिएंटेबल है वेक्टर बंडल)। निर्देशांक का एक विशेष सेट कोटैंजेंट बंडल पर परिभाषित किया जा सकता है; इन्हें [[विहित निर्देशांक]] कहा जाता है। क्योंकि कोटैंजेंट बंडलों को [[ सिंपलेक्टिक मैनिफ़ोल्ड ]]्स के रूप में सोचा जा सकता है, कोटैंजेंट बंडल पर किसी भी वास्तविक फ़ंक्शन को [[सिम्प्लेक्टिक वेक्टर स्पेस]] के रूप में व्याख्या किया जा सकता है; इस प्रकार कोटैंजेंट बंडल को एक चरण स्थान के रूप में समझा जा सकता है जिस पर [[हैमिल्टनियन यांत्रिकी]] काम करती है।
कोटैंजेंट बंडल में एक कैनोनिकल वन-फॉर्म θ होता है जिसे [[सहानुभूतिपूर्ण क्षमता]], पोंकारे 1-फॉर्म, या लिउविले 1-फॉर्म के रूप में भी जाना जाता है। इसका अर्थ यह है कि यदि हम T*M को अपने आप में कई गुना मानते हैं, तो T*M के ऊपर सदिश बंडल T*(T*M) का एक कैनोनिकल वर्ग (फाइबर बंडल) है।


=== तात्विक एक-रूप ===
इस अनुभाग का निर्माण कई विधियों से किया जा सकता है। इसी प्रकार सबसे प्राथमिक विधि स्थानीय निर्देशांक का उपयोग करती है। मान लीजिए कि x<sup>i</sup> आधार मैनिफोल्ड M पर स्थानीय निर्देशांक हैं। इन आधार निर्देशांकों के संदर्भ में, फाइबर निर्देशांक p<sub>''i''</sub> हैं: T*M के एक विशेष बिंदु पर वन-फॉर्म का रूप p<sub>''i''</sub> होता है, Dx<sup>i</sup> ([[आइंस्टीन सारांश सम्मेलन]] निहित), तो मैनिफोल्ड T*M स्वयं स्थानीय निर्देशांक (x<sup>i</sup>) वहन करता है, p<sub>''i''</sub>) जहां x आधार पर निर्देशांक हैं और p फाइबर में निर्देशांक हैं। इन निर्देशांकों में विहित वन-फॉर्म दिया गया है,
{{main|Tautological one-form}}
 
कोटैंजेंट बंडल में एक कैनोनिकल वन-फॉर्म θ होता है जिसे [[सहानुभूतिपूर्ण क्षमता]], पोंकारे 1-फॉर्म, या लिउविले 1-फॉर्म के रूप में भी जाना जाता है। इसका मतलब यह है कि अगर हम T*M को अपने आप में कई गुना मानते हैं, तो T*M के ऊपर वेक्टर बंडल T*(T*M) का एक कैनोनिकल सेक्शन (फाइबर बंडल) है।
 
इस अनुभाग का निर्माण कई तरीकों से किया जा सकता है। सबसे प्राथमिक विधि स्थानीय निर्देशांक का उपयोग करती है। मान लीजिए कि एक्स<sup>i</sup>बेस मैनिफोल्ड M पर स्थानीय निर्देशांक हैं। इन आधार निर्देशांकों के संदर्भ में, फाइबर निर्देशांक p हैं<sub>''i''</sub> : T*M के एक विशेष बिंदु पर एक-रूप का रूप p होता है<sub>''i''</sub>डीएक्स<sup>i</sup> ([[आइंस्टीन सारांश सम्मेलन]] निहित)तो मैनिफोल्ड T*M स्वयं स्थानीय निर्देशांक (x) वहन करता है<sup>मैं</sup>, पी<sub>''i''</sub>) जहां x<nowiki/> आधार पर निर्देशांक हैं और p फाइबर में निर्देशांक हैं। इन निर्देशांकों में विहित एक-रूप दिया गया है


:<math>\theta_{(x,p)}=\sum_{{\mathfrak i}=1}^n p_i \, dx^i.</math>
:<math>\theta_{(x,p)}=\sum_{{\mathfrak i}=1}^n p_i \, dx^i.</math>
आंतरिक रूप से, T*M के प्रत्येक निश्चित बिंदु में विहित एक-रूप का मान पुलबैक (विभेदक ज्यामिति) के रूप में दिया जाता है। विशेष रूप से, मान लीजिए कि {{nowrap|&pi; : ''T*M'' &rarr; ''M''}} बंडल का [[प्रक्षेपण (गणित)]] है। टी में एक बिंदु लेते हुए<sub>''x''</sub>*M, M में एक बिंदु x और x पर एक-रूप ω चुनने के समान है, और टॉटोलॉजिकल एक-रूप θ बिंदु (x, ω) को मान प्रदान करता है
इसी प्रकार आंतरिक रूप से, T*M के प्रत्येक निश्चित बिंदु में विहित वन-फॉर्म का मान पुलबैक (विभेदक ज्यामिति) के रूप में दिया जाता है। विशेष रूप से, मान लीजिए कि {{nowrap|&pi; : ''T*M'' &rarr; ''M''}} बंडल का [[प्रक्षेपण (गणित)]] है। T<sub>''x''</sub> में एक बिंदु लेते हुए *M, M में एक बिंदु x और x पर वन-फॉर्म ω चुनने के समान है, और टॉटोलॉजिकल वन-फॉर्म θ बिंदु (x, ω) को मान प्रदान करता है,


:<math>\theta_{(x,\omega)}=\pi^*\omega.</math>
:<math>\theta_{(x,\omega)}=\pi^*\omega.</math>
अर्थात्, कोटैंजेंट बंडल के स्पर्शरेखा बंडल में एक वेक्टर v के लिए, (x, ω) पर टॉटोलॉजिकल वन-फॉर्म θ के अनुप्रयोग की गणना v को x पर स्पर्शरेखा बंडल में प्रक्षेपित करके की जाती है। {{nowrap|''d''&pi; : ''T''(''T''*''M'') &rarr; ''TM''}} और इस प्रक्षेपण पर ω लागू करना। ध्यान दें कि टॉटोलॉजिकल वन-फॉर्म आधार एम पर वन-फॉर्म का पुलबैक नहीं है।
अर्थात्, कोटैंजेंट बंडल के स्पर्शरेखा बंडल में एक सदिश v के लिए, (x, ω) पर टॉटोलॉजिकल वन-फॉर्म θ के अनुप्रयोग की गणना v को x पर स्पर्शरेखा बंडल में प्रक्षेपित करके की जाती है। {{nowrap|''d''&pi; : ''T''(''T''*''M'') &rarr; ''TM''}} और इस प्रक्षेपण पर ω लागू करा जाता है, ध्यान दें कि टॉटोलॉजिकल वन-फॉर्म आधार M पर वन-फॉर्म का पुलबैक नहीं है।


=== सांकेतिक रूप ===
=== सांकेतिक रूप ===


कोटैंजेंट बंडल में एक कैनोनिकल सिंपलेक्टिक रूप होता है | उस पर सिंपलेक्टिक 2-फॉर्म, टॉटोलॉजिकल वन-फॉर्म, सिंपलेक्टिक क्षमता के बाहरी व्युत्पन्न के रूप में। यह साबित करना कि यह फॉर्म वास्तव में सहानुभूतिपूर्ण है, यह ध्यान देकर किया जा सकता है कि सहानुभूति होना एक स्थानीय संपत्ति है: चूंकि कोटैंजेंट बंडल स्थानीय रूप से तुच्छ है, इसलिए इस परिभाषा को केवल जांचने की आवश्यकता है <math>\mathbb{R}^n \times \mathbb{R}^n</math>. लेकिन वहां परिभाषित एक रूप का योग है <math>y_i\,dx_i</math>, और अंतर विहित सहानुभूति रूप है, का योग <math>dy_i \land dx_i</math>.
कोटैंजेंट बंडल में एक कैनोनिकल सिंपलेक्टिक रूप होता है, उस पर सिंपलेक्टिक 2-फॉर्म, टॉटोलॉजिकल वन-फॉर्म, सिंपलेक्टिक क्षमता के बाहरी व्युत्पन्न के रूप में यह सिद्ध करना कि यह फॉर्म वास्तव में सहानुभूतिपूर्ण है, यह ध्यान देकर किया जा सकता है कि सहानुभूति होना एक स्थानीय संपत्ति है: चूंकि कोटैंजेंट बंडल स्थानीय रूप से तुच्छ है, इसलिए इस परिभाषा को केवल <math>\mathbb{R}^n \times \mathbb{R}^n</math> द्वारा जांचने की आवश्यकता है, लेकिन वहां परिभाषित एक रूप का योग है <math>y_i\,dx_i</math>, और का योग <math>dy_i \land dx_i</math> अंतर विहित सहानुभूति रूप है।


=== चरण स्थान ===
=== चरण समष्टि ===
 
यदि अनेक गुना <math>M</math> एक [[गतिशील प्रणाली]] में संभावित स्थितियों के सेट का प्रतिनिधित्व करता है, फिर कोटैंजेंट बंडल
<math>\!\,T^{*}\!M</math> संभावित स्थितियों और संवेगों के समुच्चय के रूप में सोचा जा सकता है। उदाहरण के लिए, यह पेंडुलम के चरण स्थान का वर्णन करने का एक तरीका है। पेंडुलम की स्थिति उसकी स्थिति (एक कोण) और उसके संवेग (या समकक्ष, उसके वेग, क्योंकि उसका द्रव्यमान स्थिर है) से निर्धारित होती है। संपूर्ण राज्य स्थान एक सिलेंडर की तरह दिखता है, जो वृत्त का कोटैंजेंट बंडल है। उपरोक्त सिम्प्लेटिक निर्माण, एक उपयुक्त [[ऊर्जा]] फ़ंक्शन के साथ, सिस्टम की भौतिकी का पूर्ण निर्धारण देता है। गति के हैमिल्टनियन समीकरणों के स्पष्ट निर्माण के लिए हैमिल्टनियन यांत्रिकी और [[जियोडेसिक प्रवाह]] पर लेख देखें।


इसी प्रकार यदि मैनिफोल्ड <math>M</math> एक [[गतिशील प्रणाली]] में संभावित स्थितियों के समुच्चय का प्रतिनिधित्व करता है, तो कोटैंजेंट बंडल  <math>\!\,T^{*}\!M</math>को संभावित स्थितियों और संवेग के समुच्चय के रूप में माना जा सकता है। उदाहरण के लिए, यह पेंडुलम के चरण समष्टि का वर्णन करने की एक विधि है। पेंडुलम की स्थिति तथा उसकी स्थिति (एक कोण) और उसके संवेग (या समकक्ष, उसके वेग, क्योंकि उसका द्रव्यमान स्थिर है) से निर्धारित होती है। संपूर्ण स्टेट समष्टि एक सिलेंडर की तरह दिखता है, जो वृत्त का कोटैंजेंट बंडल है। उपरोक्त सिम्प्लेटिक निर्माण, एक उपयुक्त ऊर्जा फ़ंक्शन के साथ, सिस्टम की भौतिकी का पूर्ण निर्धारण देता है। गति के हैमिल्टनियन समीकरणों के स्पष्ट निर्माण के लिए हैमिल्टनियन यांत्रिकी और जियोडेसिक प्रवाह पर लेख को देख सकते है।
==यह भी देखें==
==यह भी देखें==
* [[पौराणिक परिवर्तन]]
* [[पौराणिक परिवर्तन]]
Line 65: Line 61:


{{Manifolds}}
{{Manifolds}}
[[Category: वेक्टर बंडल]] [[Category: विभेदक टोपोलॉजी]] [[Category: टेंसर]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 03/07/2023]]
[[Category:Created On 03/07/2023]]
[[Category:Lua-based templates]]
[[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]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:टेंसर]]
[[Category:विभेदक टोपोलॉजी]]
[[Category:वेक्टर बंडल]]

Latest revision as of 09:36, 15 July 2023

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

विकर्ण आकारिकी के माध्यम से औपचारिक परिभाषा

कोटैंजेंट बंडल को परिभाषित करने की कई समान विधि हैं। कोटैंजेंट शीफ एक विकर्ण आकारिकी के माध्यम से निर्माण एक विकर्ण मानचित्रण Δ और रोगाणु (गणित) के माध्यम से होता है।

मान लीजिए कि M एक सहज मैनिफोल्ड है और M×M स्वयं M का कार्तीय गुणनफल है। विकर्ण मानचित्रण Δ M में एक बिंदु p को M×M के बिंदु (p,p) पर भेजता है। Δ की छवि को विकर्ण कहा जाता है। मान लीजिए कि , M×M पर सुचारु कार्यों के रोगाणुओं का समूह है जो विकर्ण पर लुप्त हो जाते हैं। इसके अतिरिक्त फिर भागफल शीफ़ (गणित) में कार्यों के तुल्यता वर्ग सम्मलित होते हैं जो विकर्ण मॉड्यूलो उच्च क्रम की शर्तों पर विलुप्त हो जाते हैं। कोटैंजेंट शीफ को इस शीफ के M से पुलबैक के रूप में परिभाषित किया गया है:

टेलर के प्रमेय के अनुसार, यह M के सुचारु कार्यों के रोगाणुओं के शीफ के संबंध में मॉड्यूल का एक स्थानीय रूप से मुक्त शीफ है। 'कोटैंजेंट बंडल' इस प्रकार यह M पर एक सदिश बंडल को परिभाषित करता है।

इसी प्रकार कोटैंजेंट बंडल के सुचारू कार्य अनुभाग (फाइबर बंडल) को (अवकल) एक प्रपत्र कहा जाता है।

विरोधाभासी गुण

एक सहज रूपवाद कई गुना, एक पुलबैक (विभेदक ज्यामिति) प्रेरित करता है, M पर एक पुलबैक (विभेदक ज्यामिति) है, कोटैंजेंट सदिश और सदिश बंडलों के 1-रूपों का पुलबैक है।

उदाहरण

सदिश समष्टि का स्पर्शरेखा बंडल है और , कोटैंजेंट बंडल है, , जहाँ सहसदिशों की दोहरी समष्टि, रैखिक कार्यों को इस प्रकार दर्शाता है।

एक सहज विविधता दी गई है, किसी फ़ंक्शन के लुप्त हो रहे समष्टि द्वारा दर्शाए गए ऊनविम पृष्ठ के रूप में एम्बेडेड करता है, इस शर्त के साथ कि स्पर्शरेखा बंडल है।

जहाँ का दिशात्मक व्युत्पन्न है, परिभाषा के अनुसार, इस स्थिति में यह कोटैंजेंट बंडल है,

जहाँ चूँकि प्रत्येक सहसदिश एक अद्वितीय सदिश से मेल खाता है, जिसके लिए एक स्वेच्छ के लिए

है।

चरण समष्टि के रूप में कोटैंजेंट बंडल

चूँकि कोटैंजेंट बंडल X = T*M एक सदिश बंडल है, इसे अपने आप में कई गुना माना जा सकता है। क्योंकि प्रत्येक बिंदु पर M की स्पर्शरेखा दिशाओं को फाइबर में उनके दोहरे सहसदिश के साथ जोड़ा जा सकता है, X के पास एक कैनोनिकल वन-फॉर्म θ होता है, जिसे टॉटोलॉजिकल वन-फॉर्म कहा जाता है, जिसकी चर्चा नीचे की गई है। θ का बाहरी व्युत्पन्न एक सरलीकृत रूप है, जिसमें से X के लिए एक गैर-पतित वॉल्यूम फॉर्म बनाया जा सकता है। उदाहरण के लिए, परिणामस्वरूप X निरंतर एक (स्पर्शरेखा बंडल TX एक ओरिएंटेबल है सदिश बंडल) एडजस्टेबल मैनिफोल्ड है। निर्देशांक का एक विशेष समुच्चय कोटैंजेंट बंडल पर परिभाषित किया जा सकता है; इन्हें विहित निर्देशांक कहा जाता है। क्योंकि कोटैंजेंट बंडलों को सिंपलेक्टिक मैनिफ़ोल्ड ्स के रूप में सोचा जा सकता है, कोटैंजेंट बंडल पर किसी भी वास्तविक फ़ंक्शन को सिम्प्लेक्टिक सदिश समष्टि के रूप में व्याख्या की जा सकती है; इस प्रकार कोटैंजेंट बंडल को एक चरण समष्टि के रूप में समझा जा सकता है जिस पर हैमिल्टनियन यांत्रिकी काम करती है।

टॉटोलॉजिकल वन-फॉर्म

कोटैंजेंट बंडल में एक कैनोनिकल वन-फॉर्म θ होता है जिसे सहानुभूतिपूर्ण क्षमता, पोंकारे 1-फॉर्म, या लिउविले 1-फॉर्म के रूप में भी जाना जाता है। इसका अर्थ यह है कि यदि हम T*M को अपने आप में कई गुना मानते हैं, तो T*M के ऊपर सदिश बंडल T*(T*M) का एक कैनोनिकल वर्ग (फाइबर बंडल) है।

इस अनुभाग का निर्माण कई विधियों से किया जा सकता है। इसी प्रकार सबसे प्राथमिक विधि स्थानीय निर्देशांक का उपयोग करती है। मान लीजिए कि xi आधार मैनिफोल्ड M पर स्थानीय निर्देशांक हैं। इन आधार निर्देशांकों के संदर्भ में, फाइबर निर्देशांक pi हैं: T*M के एक विशेष बिंदु पर वन-फॉर्म का रूप pi होता है, Dxi (आइंस्टीन सारांश सम्मेलन निहित), तो मैनिफोल्ड T*M स्वयं स्थानीय निर्देशांक (xi) वहन करता है, pi) जहां x आधार पर निर्देशांक हैं और p फाइबर में निर्देशांक हैं। इन निर्देशांकों में विहित वन-फॉर्म दिया गया है,

इसी प्रकार आंतरिक रूप से, T*M के प्रत्येक निश्चित बिंदु में विहित वन-फॉर्म का मान पुलबैक (विभेदक ज्यामिति) के रूप में दिया जाता है। विशेष रूप से, मान लीजिए कि π : T*MM बंडल का प्रक्षेपण (गणित) है। Tx में एक बिंदु लेते हुए *M, M में एक बिंदु x और x पर वन-फॉर्म ω चुनने के समान है, और टॉटोलॉजिकल वन-फॉर्म θ बिंदु (x, ω) को मान प्रदान करता है,

अर्थात्, कोटैंजेंट बंडल के स्पर्शरेखा बंडल में एक सदिश v के लिए, (x, ω) पर टॉटोलॉजिकल वन-फॉर्म θ के अनुप्रयोग की गणना v को x पर स्पर्शरेखा बंडल में प्रक्षेपित करके की जाती है। dπ : T(T*M) → TM और इस प्रक्षेपण पर ω लागू करा जाता है, ध्यान दें कि टॉटोलॉजिकल वन-फॉर्म आधार M पर वन-फॉर्म का पुलबैक नहीं है।

सांकेतिक रूप

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

चरण समष्टि

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

यह भी देखें

संदर्भ

  • Abraham, Ralph; Marsden, Jerrold E. (1978). Foundations of Mechanics. London: Benjamin-Cummings. ISBN 0-8053-0102-X.
  • Jost, Jürgen (2002). Riemannian Geometry and Geometric Analysis. Berlin: Springer-Verlag. ISBN 3-540-63654-4.
  • Singer, Stephanie Frank (2001). Symmetry in Mechanics: A Gentle Modern Introduction. Boston: Birkhäuser.