कोटैंजेंट स्थान: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Dual space to the tangent space in differential geometry}}
{{Short description|Dual space to the tangent space in differential geometry}}
[[विभेदक ज्यामिति]] में, कोटैंजेंट स्पेस बिंदु से जुड़ा [[ सदिश स्थल |सदिश स्थल]] है <math>x</math> चिकनी मैनिफोल्ड पर | चिकनी (या अलग-अलग[[चिकनी कई गुना]] <math>\mathcal M</math>; कोई भी व्यक्ति स्मूथ मैनिफोल्ड पर प्रत्येक बिंदु के लिए कोटैंजेंट स्थान को परिभाषित कर सकता है। आमतौर पर, कोटैंजेंट स्पेस, <math>T^*_x\!\mathcal M</math> पर [[स्पर्शरेखा स्थान]] के दोहरे स्थान के रूप में परिभाषित किया गया है<math>x</math>, <math>T_x\mathcal M</math>, हालाँकि अधिक प्रत्यक्ष परिभाषाएँ हैं (नीचे देखें)। कोटैंजेंट स्पेस के तत्वों को कोटैंजेंट वैक्टर या टेंगेंट कोवेक्टर कहा जाता है।
[[विभेदक ज्यामिति]] में, '''कोटैंजेंट क्षेत्र''' किसी बिंदु से जुड़ा हुआ ऐसा [[ सदिश स्थल |सदिश स्थल]] है, जहाँ पर <math>x</math> समतल मैनिफोल्ड पर या समतल या अलग-अलग [[चिकनी कई गुना|समतल से कई गुना]] <math>\mathcal M</math> मान को किसी भी व्यक्ति द्वारा समतल मैनिफोल्ड पर प्रत्येक बिंदु के लिए कोटैंजेंट स्थान को परिभाषित करता है। सामान्यतः, कोटैंजेंट क्षेत्र  <math>T^*_x\!\mathcal M</math> पर [[स्पर्शरेखा स्थान]] के दोहरे स्थान <math>x</math>, <math>T_x\mathcal M</math> के रूप में परिभाषित किया गया है, चूंकि अधिक प्रत्यक्ष परिभाषाएँ हैं। कोटैंजेंट क्षेत्र के तत्वों को कोटैंजेंट वैक्टर या टेंगेंट सह सदिश कहा जाता है।


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


एक बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान दोनों ही आयाम के वास्तविक वेक्टर स्थान हैं और इसलिए कई संभावित समरूपता के माध्यम से दूसरे के लिए [[ समरूपी |समरूपी]] हैं। [[रीमैनियन मीट्रिक]] या सहानुभूतिपूर्ण रूप की शुरूआत बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान के बीच [[प्राकृतिक समरूपता]] को जन्म देती है, जो किसी भी स्पर्शरेखा कोवेक्टर के साथ विहित स्पर्शरेखा वेक्टर को जोड़ती है।
किसी बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान दोनों ही आयाम के वास्तविक सदिश स्थान हैं और इसलिए कई संभावित समरूपता के माध्यम से दूसरे के लिए [[ समरूपी |समरूपी]] हैं। [[रीमैनियन मीट्रिक]] या सहानुभूतिपूर्ण रूप के प्रारंभिक बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान के बीच [[प्राकृतिक समरूपता]] को जन्म देती है, जो किसी भी स्पर्शरेखा कोसदिश के साथ विहित स्पर्शरेखा सदिश को जोड़ती है।


==औपचारिक परिभाषाएँ==
==औपचारिक परिभाषाएँ==


===रेखीय कार्यात्मकताओं के रूप में परिभाषा===
===रेखीय फलनात्मकताओं के रूप में परिभाषा===


होने देना <math>\mathcal M</math> चिकनी कई गुना हो और चलो <math>x</math> में बिंदु हो <math>\mathcal M</math>. होने देना <math>T_x\mathcal M</math> पर स्पर्शरेखा स्थान बनें <math>x</math>. फिर x पर कोटैंजेंट स्पेस को दोहरे स्पेस के रूप में परिभाषित किया गया है {{nowrap|<math>T_x\mathcal M</math>:}}
यहाँ पर <math>\mathcal M</math> समतल कई गुना हो जाता हैं और <math>x</math> में बिंदु <math>\mathcal M</math> प्राप्त होता हैं, इस प्रकार <math>T_x\mathcal M</math> पर स्पर्शरेखा स्थान <math>x</math> बनाते हैं। फिर x पर कोटैंजेंट क्षेत्र को दोहरे क्षेत्र {{nowrap|<math>T_x\mathcal M</math>:}} के रूप में परिभाषित किया गया है-


:<math>T^*_x\!\mathcal M = (T_x \mathcal M)^*</math>
:<math>T^*_x\!\mathcal M = (T_x \mathcal M)^*</math>
सीधे तौर पर, कोटैंजेंट स्पेस के तत्व [[रैखिक कार्यात्मक]] हैं <math>T_x\mathcal M</math>. यानि हर तत्व <math>\alpha\in T^*_x\mathcal M</math> [[रेखीय मानचित्र]] है
सामान्यतः कोटैंजेंट क्षेत्र के तत्व [[रैखिक कार्यात्मक|रैखिक फलनात्मक]] <math>T_x\mathcal M</math> हैं, अर्ताथ इसका हर तत्व <math>\alpha\in T^*_x\mathcal M</math> [[रेखीय मानचित्र]] को प्रदर्शित करता है।
:<math>\alpha:T_x\mathcal M \to F</math>
:<math>\alpha:T_x\mathcal M \to F</math>
कहाँ <math>F</math> विचाराधीन सदिश समष्टि का अंतर्निहित क्षेत्र (गणित) है, उदाहरण के लिए, [[वास्तविक संख्या]]ओं का क्षेत्र। के तत्व <math>T^*_x\!\mathcal M</math> कोटैंजेंट सदिश कहलाते हैं।
जहाँ <math>F</math> विचाराधीन सदिश समष्टि का अंतर्निहित क्षेत्र (गणित) है, उदाहरण के लिए, [[वास्तविक संख्या]]ओं का क्षेत्र। के तत्व <math>T^*_x\!\mathcal M</math> कोटैंजेंट सदिश कहलाते हैं।


===वैकल्पिक परिभाषा===
===वैकल्पिक परिभाषा===


कुछ मामलों में, कोई व्यक्ति स्पर्शरेखा स्थान के संदर्भ के बिना कोटैंजेंट स्पेस की सीधी परिभाषा प्राप्त करना पसंद कर सकता है। ऐसी परिभाषा सुचारू कार्यों के [[तुल्यता वर्ग]]ों के संदर्भ में तैयार की जा सकती है <math>\mathcal M</math>. अनौपचारिक रूप से, हम कहेंगे कि दो सुचारु फलन f और g बिंदु पर समतुल्य हैं <math>x</math> यदि उनके पास समान प्रथम-क्रम का व्यवहार है <math>x</math>, उनके रैखिक टेलर बहुपद के अनुरूप; दो फ़ंक्शन f और g का प्रथम क्रम व्यवहार समान है <math>x</math> यदि और केवल यदि फ़ंक्शन f - g का व्युत्पन्न गायब हो जाता है <math>x</math>. कोटैंजेंट स्पेस में किसी फ़ंक्शन के सभी संभावित प्रथम-क्रम व्यवहार शामिल होंगे <math>x</math>.
कुछ स्थितियों में, किसी विशेष परिस्थिति के लिए स्पर्शरेखा वाले क्षेत्र के संदर्भ के बिना कोटैंजेंट क्षेत्र की सीधी परिभाषा प्राप्त करना आसान होता है। ऐसी परिभाषा सुचारू फलनों के [[तुल्यता वर्ग|तुल्यता वर्गों]] के संदर्भ <math>\mathcal M</math> में तैयार की जा सकती है, इस प्रकार अनौपचारिक रूप से, हम कहेंगे कि दो सुचारु फलन f और g बिंदु <math>x</math> पर समतुल्य हैं, जिसके कारण यदि उनके पास समान प्रथम-क्रम <math>x</math> का व्यवहार है, उनके रैखिक टेलर बहुपद के अनुरूप; दो फलन f और g का प्रथम क्रम <math>x</math> व्यवहार समान है, यदि फलन f - g का व्युत्पन्न विलुप्त हो जाते है, इस प्रकार <math>x</math>. कोटैंजेंट क्षेत्र में किसी फलन के सभी संभावित प्रथम-क्रम में व्यवहारिक रूप से <math>x</math> में सम्मलित होते हैं।


होने देना <math>\mathcal M</math> सहज मैनिफ़ोल्ड बनें और x को बिंदु होने दें <math>\mathcal M</math>. होने देना <math>I_x</math>में सभी कार्यों का [[आदर्श (रिंग सिद्धांत)]] बनें <math>C^\infty\! (\mathcal M)</math> पर लुप्त हो रहा है <math>x</math>, और जाने <math>I_x^2</math> फॉर्म के कार्यों का सेट बनें <math display="inline">\sum_i f_i g_i</math>, कहाँ <math>f_i, g_i \in I_x</math>. तब <math>I_x</math> और <math>I_x^2</math> दोनों वास्तविक सदिश समष्टि हैं और कोटैंजेंट समष्टि को भागफल समष्टि (रैखिक बीजगणित) के रूप में परिभाषित किया जा सकता है <math>T^*_x\!\mathcal M = I_x/I^2_x</math> यह दिखाकर कि दोनों स्थान एक-दूसरे के समरूप हैं।
जिसके आधार पर <math>\mathcal M</math> को सहज मैनिफ़ोल्ड बनाया जाता हैं, और x को बिंदु <math>\mathcal M</math> के लिए <math>I_x</math>में सभी फलनों का [[आदर्श (रिंग सिद्धांत)]]<math>C^\infty\! (\mathcal M)</math> पर <math>x</math> द्वारा लुप्त हो जाता है, और इस प्रकार <math>I_x^2</math> फॉर्म के फलनों का सेट <math display="inline">\sum_i f_i g_i</math> बनाया जाता हैं, जहाँ <math>f_i, g_i \in I_x</math>. तब <math>I_x</math> और <math>I_x^2</math> दोनों वास्तविक सदिश समष्टि हैं और कोटैंजेंट समष्टि को भागफल समष्टि रैखिक बीजगणित के रूप में परिभाषित किया जा सकता है। इस प्रकार<math>T^*_x\!\mathcal M = I_x/I^2_x</math> इस समीकरण में दोनों स्थान एक-दूसरे के समरूप हैं।


यह सूत्रीकरण बीजगणितीय ज्यामिति में [[ज़ारिस्की स्पर्शरेखा स्थान]] को परिभाषित करने के लिए कोटैंजेंट स्पेस के निर्माण के अनुरूप है। निर्माण स्थानीय रूप से रिंगित स्थानों पर भी सामान्यीकृत होता है।
यह सूत्रीकरण बीजगणितीय ज्यामिति में [[ज़ारिस्की स्पर्शरेखा स्थान]] को परिभाषित करने के लिए कोटैंजेंट क्षेत्र के निर्माण के अनुरूप है। निर्माण स्थानीय रूप से रिंगित स्थानों पर भी सामान्यीकृत होता है।


==फ़ंक्शन का अंतर==
==फलन का अंतर==


होने देना <math>M</math> चिकनी कई गुना हो और चलो <math>f\in C^\infty(M)</math> सुचारु कार्य हो. का अंतर <math>f</math> बिंदु पर <math>x</math> नक्शा है
यहाँ पर <math>M</math> समतल कई गुना होने पर <math>f\in C^\infty(M)</math> सुचारु फलन को प्रदर्शित करता हैं, जिसका अंतर <math>f</math> बिंदु पर <math>x</math> क्षेत्र को प्रकट करता है।
:<math>\mathrm d f_x(X_x) = X_x(f)</math>
:<math>\mathrm d f_x(X_x) = X_x(f)</math>
कहाँ <math>X_x</math> पर [[वक्रों की विभेदक ज्यामिति]] है <math>x</math>, व्युत्पत्ति के रूप में सोचा। वह है <math>X(f)=\mathcal{L}_Xf</math> का [[झूठ व्युत्पन्न]] है <math>f</math> दिशा में <math>X</math>, और के पास है <math>\mathrm df(X)=X(f)</math>. समान रूप से, हम स्पर्शरेखा सदिशों को वक्रों की स्पर्शरेखा के रूप में सोच सकते हैं और लिख सकते हैं
जहाँ <math>X_x</math> पर [[वक्रों की विभेदक ज्यामिति]] <math>x</math> है, इस प्रकार व्युत्पत्ति के रूप में हम इसे प्रकट कर सते हैं। यहाँ पर <math>X(f)=\mathcal{L}_Xf</math> का [[झूठ व्युत्पन्न|असत्य व्युत्पन्न]] है, जहाँ <math>f</math> दिशा में <math>X</math>, और के पास <math>\mathrm df(X)=X(f)</math> है, इसके आधार पर समान रूप से, हम स्पर्शरेखा सदिशों को वक्रों की स्पर्शरेखा के रूप में सोच सकते हैं और लिख सकते हैं
:<math>\mathrm d f_x(\gamma'(0))=(f\circ\gamma)'(0)</math>
:<math>\mathrm d f_x(\gamma'(0))=(f\circ\gamma)'(0)</math>
किसी भी मामले में, <math>\mathrm df_x</math> पर रेखीय मानचित्र है <math>T_xM</math> और इसलिए यह स्पर्शरेखा कोवेक्टर है <math>x</math>.
किसी भी स्थिति में, <math>\mathrm df_x</math> पर रेखीय मानचित्र <math>T_xM</math> है, और इसलिए यह स्पर्शरेखा को सदिश <math>x</math> मानते है।


फिर हम विभेदक मानचित्र को परिभाषित कर सकते हैं <math>\mathrm d:C^\infty(M)\to T_x^*(M)</math> बिंदु पर <math>x</math> जैसा कि मानचित्र भेजता है <math>f</math> को <math>\mathrm df_x</math>. विभेदक मानचित्र के गुणों में शामिल हैं:
फिर हम विभेदक मानचित्र को <math>\mathrm d:C^\infty(M)\to T_x^*(M)</math> द्वारा परिभाषित कर सकते हैं, यहाँ पर बिंदु <math>x</math> जैसा कि मानचित्र भेजता है इसमें <math>f</math> को <math>\mathrm df_x</math> विभेदक मानचित्र के गुणों में सम्मिलित किया गया हैं:


# <math>\mathrm d</math> रेखीय मानचित्र है: <math>\mathrm d(af+bg)=a\mathrm df + b\mathrm dg</math> स्थिरांक के लिए <math>a</math> और <math>b</math>,
# <math>\mathrm d</math> रेखीय मानचित्र है: <math>\mathrm d(af+bg)=a\mathrm df + b\mathrm dg</math> स्थिरांक के लिए <math>a</math> और <math>b</math>,
# <math>\mathrm d(fg)_x=f(x)\mathrm dg_x+g(x)\mathrm df_x</math>
# <math>\mathrm d(fg)_x=f(x)\mathrm dg_x+g(x)\mathrm df_x</math>
विभेदक मानचित्र ऊपर दिए गए कोटैंजेंट स्पेस की दो वैकल्पिक परिभाषाओं के बीच लिंक प्रदान करता है। फ़ंक्शन दिया गया <math>f\in I_x</math> (एक सुचारु कार्य गायब हो रहा है <math>x</math>) हम रैखिक कार्यात्मक बना सकते हैं <math>\mathrm df_x</math> ऊपरोक्त अनुसार। मानचित्र के बाद से <math>\mathrm d</math> पर 0 तक सीमित है <math>I_x^2</math> (पाठक को इसे सत्यापित करना चाहिए), <math>\mathrm d</math> से मानचित्र पर उतरता है <math>I_x/I_x^2</math> स्पर्शरेखा स्थान के दोहरे के लिए, <math>(T_xM)^*</math>. कोई यह दिखा सकता है कि यह मानचित्र समरूपता है, जो दो परिभाषाओं की समानता स्थापित करता है।
विभेदक मानचित्र ऊपर दिए गए कोटैंजेंट क्षेत्र की दो वैकल्पिक परिभाषाओं के बीच लिंक प्रदान करता है। यहाँ पर फलन <math>f\in I_x</math> सुचारु रूप से <math>x</math> द्वारा विलुप्त हो रहा है, हम रैखिक फलनात्मक फलन <math>\mathrm df_x</math> बना सकते हैं, इसके आधार पर उक्त मानचित्र के बाद से <math>\mathrm d</math> पर 0 तक <math>I_x^2</math> को सीमित किया जाता है,  इस प्रकार पाठक को इसे सत्यापित करना आवश्यक होता हैं, इस प्रकार <math>\mathrm d</math> से मानचित्र पर उतरता है, जहाँ पर <math>I_x/I_x^2</math> स्पर्शरेखा स्थान के दोहरे के लिए <math>(T_xM)^*</math> द्वारा प्रदर्शित करता हैं। इस प्रकार कोई यह दिखा सकता है कि यह मानचित्र समरूपता है, जो दो परिभाषाओं की समानता स्थापित करता है।


==एक सहज मानचित्र का प्रतिकर्षण==
==एक सहज मानचित्र का प्रतिकर्षण==


बिल्कुल हर अलग-अलग मानचित्र की तरह <math>f:M\to N</math> मैनिफोल्ड्स के बीच स्पर्शरेखा स्थानों के बीच रेखीय मानचित्र (जिसे पुशफॉरवर्ड या व्युत्पन्न कहा जाता है) उत्पन्न होता है
बिल्कुल हर अलग-अलग मानचित्र के समान <math>f:M\to N</math> मैनिफोल्ड्स के बीच स्पर्शरेखा स्थानों के बीच रेखीय मानचित्र जिसे पुशफॉरवर्ड या व्युत्पन्न कहा जाता है, यह इसके द्वारा उत्पन्न होता है
:<math>f_{*}^{}\colon T_x M \to T_{f(x)} N</math>
:<math>f_{*}^{}\colon T_x M \to T_{f(x)} N</math>
ऐसा प्रत्येक मानचित्र कोटैंजेंट स्थानों के बीच रेखीय मानचित्र (जिसे [[पुलबैक (विभेदक ज्यामिति)]] कहा जाता है) उत्पन्न करता है, केवल इस बार विपरीत दिशा में:
ऐसा प्रत्येक मानचित्र कोटैंजेंट स्थानों के बीच रेखीय मानचित्र जिसे [[पुलबैक (विभेदक ज्यामिति)]] कहा जाता है, इसके द्वारा इसे उत्पन्न करते हैं, केवल इस बार विपरीत दिशा में हम इसे प्रकट करते हैं:
:<math>f^{*}\colon T_{f(x)}^{*} N \to T_{x}^{*} M .</math>
:<math>f^{*}\colon T_{f(x)}^{*} N \to T_{x}^{*} M .</math>
पुलबैक को स्वाभाविक रूप से पुशफॉरवर्ड (डिफरेंशियल) के दोहरे (या ट्रांसपोज़) के रूप में परिभाषित किया गया है। परिभाषा को उजागर करते हुए, इसका अर्थ निम्नलिखित है:
पुलबैक को स्वाभाविक रूप से पुशफॉरवर्ड (डिफरेंशियल) के दोहरे (या ट्रांसपोज़) के रूप में परिभाषित किया गया है। यहाँ पर उक्त परिभाषा को संदर्भित करते हुए जिसका अर्थ निम्नलिखित है:
:<math>(f^{*}\theta)(X_x) = \theta(f_{*}^{}X_x) ,</math>
:<math>(f^{*}\theta)(X_x) = \theta(f_{*}^{}X_x) ,</math>
कहाँ <math>\theta\in T_{f(x)}^*N</math> और <math>X_x\in T_xM</math>. ध्यान से नोट करें कि सब कुछ कहाँ रहता है।
जहाँ <math>\theta\in T_{f(x)}^*N</math> और <math>X_x\in T_xM</math>. ध्यान से नोट करें कि सब कुछ जहाँ रहता है।


यदि हम बिंदु पर लुप्त होने वाले चिकने मानचित्रों के तुल्यता वर्गों के संदर्भ में स्पर्शरेखा कोवेक्टर को परिभाषित करते हैं तो पुलबैक की परिभाषा और भी सरल है। होने देना <math>g</math> पर सुचारू कार्य हो <math>N</math> पर लुप्त हो रहा है <math>f(x)</math>. फिर कोवेक्टर का पुलबैक निर्धारित किया गया <math>g</math> (संकेतित <math>\mathrm d g</math>) द्वारा दिया गया है
यदि हम बिंदु पर लुप्त होने वाले चिकने मानचित्रों के तुल्यता वर्गों के संदर्भ में स्पर्शरेखा कोसदिश को परिभाषित करते हैं तो पुलबैक की परिभाषा और भी सरल है। इस प्रकार <math>g</math> पर सुचारू फलन हैं जहाँ पर <math>N</math> पर <math>f(x)</math> लुप्त हो रहा है, फिर सदिश का पुलबैक निर्धारित किया गया हैं, जिसे <math>g</math> (संकेतित <math>\mathrm d g</math>) द्वारा निर्देशित कर दिया गया है-
:<math>f^{*}\mathrm dg = \mathrm d(g \circ f).</math>
:<math>f^{*}\mathrm dg = \mathrm d(g \circ f).</math>
अर्थात्, यह कार्यों का समतुल्य वर्ग है <math>M</math> पर लुप्त हो रहा है <math>x</math> द्वारा निर्धारित <math>g\circ f</math>.
अर्थात्, यह फलनों का समतुल्य वर्ग <math>M</math> है, जहाँ पर <math>x</math> द्वारा निर्धारित <math>g\circ f</math> लुप्त हो रहा है।


==बाहरी शक्तियां== <math>k</math>th>-कोटटेंजेंट स्पेस की [[बाहरी शक्ति]], निरूपित <math>\Lambda^k(T_x^*\mathcal{M})</math>, विभेदक ज्यामिति में और महत्वपूर्ण वस्तु है। वेक्टर में <math>k</math>-वें बाहरी शक्ति, या अधिक सटीक रूप से के अनुभाग <math>k</math>कोटैंजेंट बंडल की -वीं बाहरी शक्ति को डिफरेंशियल फॉर्म|डिफरेंशियल कहा जाता है <math>k</math>-रूप। उन्हें वैकल्पिक, [[बहुरेखीय मानचित्र]]ों के रूप में सोचा जा सकता है <math>k</math> स्पर्शरेखा सदिश.
==== बाह्य बल ====
इस कारण से, स्पर्शरेखा कोवेक्टरों को अक्सर एक-रूप कहा जाता है।
<math>k</math>th>-कोटटेंजेंट क्षेत्र की [[बाहरी शक्ति|बाहरी बल]], निरूपित <math>\Lambda^k(T_x^*\mathcal{M})</math>, विभेदक ज्यामिति में और महत्वपूर्ण वस्तु है। इस प्रकार किसी सदिश में <math>k</math>-वें बाहरी बल, या अधिक सटीक रूप से के अनुभाग <math>k</math>कोटैंजेंट बंडल की -वीं बाहरी बल को <math>k</math>-रूप में डिफरेंशियल फॉर्म या डिफरेंशियल कहा जाता है। उन्हें वैकल्पिक, [[बहुरेखीय मानचित्र]] के रूप में सोचा जा सकता है <math>k</math> स्पर्शरेखा सदिश द्वारा प्रकट किया जाता हैं। जिसके कारण स्पर्शरेखा कोसदिशों को अधिकांशतः इसका एक मुख्य रूप कहा जाता है।


== संदर्भ ==
== संदर्भ ==
Line 64: Line 64:
* {{Citation | last1=Misner | first1=Charles W. | author1-link=Charles W. Misner | last2=Thorne | first2=Kip | author2-link=Kip Thorne | last3=Wheeler | first3=John Archibald | author3-link=John Archibald Wheeler | title=[[Gravitation (book)|Gravitation]] | publisher=W. H. Freeman | isbn=978-0-7167-0344-0 | year=1973}}
* {{Citation | last1=Misner | first1=Charles W. | author1-link=Charles W. Misner | last2=Thorne | first2=Kip | author2-link=Kip Thorne | last3=Wheeler | first3=John Archibald | author3-link=John Archibald Wheeler | title=[[Gravitation (book)|Gravitation]] | publisher=W. H. Freeman | isbn=978-0-7167-0344-0 | year=1973}}


{{DEFAULTSORT:Cotangent Space}}[[Category: विभेदक टोपोलॉजी]] [[Category: टेंसर]]
{{DEFAULTSORT:Cotangent Space}}


 
[[Category:Created On 03/07/2023|Cotangent Space]]
 
[[Category:Lua-based templates|Cotangent Space]]
[[Category: Machine Translated Page]]
[[Category:Machine Translated Page|Cotangent Space]]
[[Category:Created On 03/07/2023]]
[[Category:Pages with script errors|Cotangent Space]]
[[Category:Templates Vigyan Ready|Cotangent Space]]
[[Category:Templates that add a tracking category|Cotangent Space]]
[[Category:Templates that generate short descriptions|Cotangent Space]]
[[Category:Templates using TemplateData|Cotangent Space]]
[[Category:टेंसर|Cotangent Space]]
[[Category:विभेदक टोपोलॉजी|Cotangent Space]]

Latest revision as of 10:18, 10 July 2023

विभेदक ज्यामिति में, कोटैंजेंट क्षेत्र किसी बिंदु से जुड़ा हुआ ऐसा सदिश स्थल है, जहाँ पर समतल मैनिफोल्ड पर या समतल या अलग-अलग समतल से कई गुना मान को किसी भी व्यक्ति द्वारा समतल मैनिफोल्ड पर प्रत्येक बिंदु के लिए कोटैंजेंट स्थान को परिभाषित करता है। सामान्यतः, कोटैंजेंट क्षेत्र पर स्पर्शरेखा स्थान के दोहरे स्थान , के रूप में परिभाषित किया गया है, चूंकि अधिक प्रत्यक्ष परिभाषाएँ हैं। कोटैंजेंट क्षेत्र के तत्वों को कोटैंजेंट वैक्टर या टेंगेंट सह सदिश कहा जाता है।

गुण

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

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

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

रेखीय फलनात्मकताओं के रूप में परिभाषा

यहाँ पर समतल कई गुना हो जाता हैं और में बिंदु प्राप्त होता हैं, इस प्रकार पर स्पर्शरेखा स्थान बनाते हैं। फिर x पर कोटैंजेंट क्षेत्र को दोहरे क्षेत्र : के रूप में परिभाषित किया गया है-

सामान्यतः कोटैंजेंट क्षेत्र के तत्व रैखिक फलनात्मक हैं, अर्ताथ इसका हर तत्व रेखीय मानचित्र को प्रदर्शित करता है।

जहाँ विचाराधीन सदिश समष्टि का अंतर्निहित क्षेत्र (गणित) है, उदाहरण के लिए, वास्तविक संख्याओं का क्षेत्र। के तत्व कोटैंजेंट सदिश कहलाते हैं।

वैकल्पिक परिभाषा

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

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

यह सूत्रीकरण बीजगणितीय ज्यामिति में ज़ारिस्की स्पर्शरेखा स्थान को परिभाषित करने के लिए कोटैंजेंट क्षेत्र के निर्माण के अनुरूप है। निर्माण स्थानीय रूप से रिंगित स्थानों पर भी सामान्यीकृत होता है।

फलन का अंतर

यहाँ पर समतल कई गुना होने पर सुचारु फलन को प्रदर्शित करता हैं, जिसका अंतर बिंदु पर क्षेत्र को प्रकट करता है।

जहाँ पर वक्रों की विभेदक ज्यामिति है, इस प्रकार व्युत्पत्ति के रूप में हम इसे प्रकट कर सते हैं। यहाँ पर का असत्य व्युत्पन्न है, जहाँ दिशा में , और के पास है, इसके आधार पर समान रूप से, हम स्पर्शरेखा सदिशों को वक्रों की स्पर्शरेखा के रूप में सोच सकते हैं और लिख सकते हैं

किसी भी स्थिति में, पर रेखीय मानचित्र है, और इसलिए यह स्पर्शरेखा को सदिश मानते है।

फिर हम विभेदक मानचित्र को द्वारा परिभाषित कर सकते हैं, यहाँ पर बिंदु जैसा कि मानचित्र भेजता है इसमें को विभेदक मानचित्र के गुणों में सम्मिलित किया गया हैं:

  1. रेखीय मानचित्र है: स्थिरांक के लिए और ,

विभेदक मानचित्र ऊपर दिए गए कोटैंजेंट क्षेत्र की दो वैकल्पिक परिभाषाओं के बीच लिंक प्रदान करता है। यहाँ पर फलन सुचारु रूप से द्वारा विलुप्त हो रहा है, हम रैखिक फलनात्मक फलन बना सकते हैं, इसके आधार पर उक्त मानचित्र के बाद से पर 0 तक को सीमित किया जाता है, इस प्रकार पाठक को इसे सत्यापित करना आवश्यक होता हैं, इस प्रकार से मानचित्र पर उतरता है, जहाँ पर स्पर्शरेखा स्थान के दोहरे के लिए द्वारा प्रदर्शित करता हैं। इस प्रकार कोई यह दिखा सकता है कि यह मानचित्र समरूपता है, जो दो परिभाषाओं की समानता स्थापित करता है।

एक सहज मानचित्र का प्रतिकर्षण

बिल्कुल हर अलग-अलग मानचित्र के समान मैनिफोल्ड्स के बीच स्पर्शरेखा स्थानों के बीच रेखीय मानचित्र जिसे पुशफॉरवर्ड या व्युत्पन्न कहा जाता है, यह इसके द्वारा उत्पन्न होता है

ऐसा प्रत्येक मानचित्र कोटैंजेंट स्थानों के बीच रेखीय मानचित्र जिसे पुलबैक (विभेदक ज्यामिति) कहा जाता है, इसके द्वारा इसे उत्पन्न करते हैं, केवल इस बार विपरीत दिशा में हम इसे प्रकट करते हैं:

पुलबैक को स्वाभाविक रूप से पुशफॉरवर्ड (डिफरेंशियल) के दोहरे (या ट्रांसपोज़) के रूप में परिभाषित किया गया है। यहाँ पर उक्त परिभाषा को संदर्भित करते हुए जिसका अर्थ निम्नलिखित है:

जहाँ और . ध्यान से नोट करें कि सब कुछ जहाँ रहता है।

यदि हम बिंदु पर लुप्त होने वाले चिकने मानचित्रों के तुल्यता वर्गों के संदर्भ में स्पर्शरेखा कोसदिश को परिभाषित करते हैं तो पुलबैक की परिभाषा और भी सरल है। इस प्रकार पर सुचारू फलन हैं जहाँ पर पर लुप्त हो रहा है, फिर सदिश का पुलबैक निर्धारित किया गया हैं, जिसे (संकेतित ) द्वारा निर्देशित कर दिया गया है-

अर्थात्, यह फलनों का समतुल्य वर्ग है, जहाँ पर द्वारा निर्धारित लुप्त हो रहा है।

बाह्य बल

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

संदर्भ

  • Abraham, Ralph H.; Marsden, Jerrold E. (1978), Foundations of mechanics, London: Benjamin-Cummings, ISBN 978-0-8053-0102-1
  • Jost, Jürgen (2005), Riemannian Geometry and Geometric Analysis (4th ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-25907-7
  • Lee, John M. (2003), Introduction to smooth manifolds, Springer Graduate Texts in Mathematics, vol. 218, Berlin, New York: Springer-Verlag, ISBN 978-0-387-95448-6
  • Misner, Charles W.; Thorne, Kip; Wheeler, John Archibald (1973), Gravitation, W. H. Freeman, ISBN 978-0-7167-0344-0