कोटैंजेंट स्थान: Difference between revisions
(Created page with "{{Use American English|date=March 2019}}{{Short description|Dual space to the tangent space in differential geometry}} विभेदक ज्यामिति मे...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{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>, हालाँकि अधिक प्रत्यक्ष परिभाषाएँ हैं (नीचे देखें)। कोटैंजेंट स्पेस के तत्वों को कोटैंजेंट वैक्टर या टेंगेंट कोवेक्टर कहा जाता है। | ||
==गुण== | ==गुण== | ||
कनेक्टेड मैनिफोल्ड पर बिंदुओं पर सभी कोटैंजेंट स्पेस में वेक्टर स्पेस का समान आयाम होता है, जो मैनिफोल्ड के आयाम के बराबर होता है। मैनिफोल्ड के सभी कोटैंजेंट स्थानों को | कनेक्टेड मैनिफोल्ड पर बिंदुओं पर सभी कोटैंजेंट स्पेस में वेक्टर स्पेस का समान आयाम होता है, जो मैनिफोल्ड के आयाम के बराबर होता है। मैनिफोल्ड के सभी कोटैंजेंट स्थानों को साथ चिपकाया जा सकता है (अर्थात संघबद्ध और टोपोलॉजी के साथ संपन्न) ताकि दोगुने आयाम का नया विभेदक मैनिफोल्ड, मैनिफोल्ड का [[कोटैंजेंट बंडल]] बनाया जा सके। | ||
एक बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान दोनों | एक बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान दोनों ही आयाम के वास्तविक वेक्टर स्थान हैं और इसलिए कई संभावित समरूपता के माध्यम से दूसरे के लिए [[ समरूपी |समरूपी]] हैं। [[रीमैनियन मीट्रिक]] या सहानुभूतिपूर्ण रूप की शुरूआत बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान के बीच [[प्राकृतिक समरूपता]] को जन्म देती है, जो किसी भी स्पर्शरेखा कोवेक्टर के साथ विहित स्पर्शरेखा वेक्टर को जोड़ती है। | ||
==औपचारिक परिभाषाएँ== | ==औपचारिक परिभाषाएँ== | ||
Line 11: | Line 11: | ||
===रेखीय कार्यात्मकताओं के रूप में परिभाषा=== | ===रेखीय कार्यात्मकताओं के रूप में परिभाषा=== | ||
होने देना <math>\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> कोटैंजेंट सदिश कहलाते हैं। | ||
Line 20: | Line 20: | ||
===वैकल्पिक परिभाषा=== | ===वैकल्पिक परिभाषा=== | ||
कुछ मामलों में, कोई व्यक्ति स्पर्शरेखा स्थान के संदर्भ के बिना कोटैंजेंट स्पेस की सीधी परिभाषा प्राप्त करना पसंद कर सकता है। ऐसी परिभाषा सुचारू कार्यों के [[तुल्यता वर्ग]]ों के संदर्भ में तैयार की जा सकती है <math>\mathcal M</math>. अनौपचारिक रूप से, हम कहेंगे कि दो सुचारु फलन f और g | कुछ मामलों में, कोई व्यक्ति स्पर्शरेखा स्थान के संदर्भ के बिना कोटैंजेंट स्पेस की सीधी परिभाषा प्राप्त करना पसंद कर सकता है। ऐसी परिभाषा सुचारू कार्यों के [[तुल्यता वर्ग]]ों के संदर्भ में तैयार की जा सकती है <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> | होने देना <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> यह दिखाकर कि दोनों स्थान एक-दूसरे के समरूप हैं। | ||
यह सूत्रीकरण बीजगणितीय ज्यामिति में [[ज़ारिस्की स्पर्शरेखा स्थान]] को परिभाषित करने के लिए कोटैंजेंट स्पेस के निर्माण के अनुरूप है। निर्माण स्थानीय रूप से रिंगित स्थानों पर भी सामान्यीकृत होता है। | यह सूत्रीकरण बीजगणितीय ज्यामिति में [[ज़ारिस्की स्पर्शरेखा स्थान]] को परिभाषित करने के लिए कोटैंजेंट स्पेस के निर्माण के अनुरूप है। निर्माण स्थानीय रूप से रिंगित स्थानों पर भी सामान्यीकृत होता है। | ||
Line 28: | Line 28: | ||
==फ़ंक्शन का अंतर== | ==फ़ंक्शन का अंतर== | ||
होने देना <math>M</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_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>\mathrm df_x</math> पर रेखीय मानचित्र है <math>T_xM</math> और इसलिए यह स्पर्शरेखा कोवेक्टर है <math>x</math>. | ||
फिर हम विभेदक मानचित्र को परिभाषित कर सकते हैं <math>\mathrm d:C^\infty(M)\to T_x^*(M)</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</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: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> | ||
पुलबैक को स्वाभाविक रूप से पुशफॉरवर्ड (डिफरेंशियल) के दोहरे (या ट्रांसपोज़) के रूप में परिभाषित किया गया है। परिभाषा को उजागर करते हुए, इसका अर्थ निम्नलिखित है: | पुलबैक को स्वाभाविक रूप से पुशफॉरवर्ड (डिफरेंशियल) के दोहरे (या ट्रांसपोज़) के रूप में परिभाषित किया गया है। परिभाषा को उजागर करते हुए, इसका अर्थ निम्नलिखित है: | ||
Line 50: | Line 50: | ||
कहाँ <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>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>th>-कोटटेंजेंट स्पेस की [[बाहरी शक्ति]], निरूपित <math>\Lambda^k(T_x^*\mathcal{M})</math>, विभेदक ज्यामिति में और महत्वपूर्ण वस्तु है। वेक्टर में <math>k</math>-वें बाहरी शक्ति, या अधिक सटीक रूप से के अनुभाग <math>k</math>कोटैंजेंट बंडल की -वीं बाहरी शक्ति को डिफरेंशियल फॉर्म|डिफरेंशियल कहा जाता है <math>k</math>-रूप। उन्हें वैकल्पिक, [[बहुरेखीय मानचित्र]]ों के रूप में सोचा जा सकता है <math>k</math> स्पर्शरेखा सदिश. | ||
इस कारण से, स्पर्शरेखा कोवेक्टरों को अक्सर एक-रूप कहा जाता है। | इस कारण से, स्पर्शरेखा कोवेक्टरों को अक्सर एक-रूप कहा जाता है। | ||
Line 63: | Line 63: | ||
* {{Citation | last1=Lee | first1=John M. | title=Introduction to smooth manifolds | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Springer Graduate Texts in Mathematics | isbn=978-0-387-95448-6 | year=2003 | volume=218}} | * {{Citation | last1=Lee | first1=John M. | title=Introduction to smooth manifolds | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Springer Graduate Texts in Mathematics | isbn=978-0-387-95448-6 | year=2003 | volume=218}} | ||
* {{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: विभेदक टोपोलॉजी]] [[Category: टेंसर]] |
Revision as of 20:59, 4 July 2023
विभेदक ज्यामिति में, कोटैंजेंट स्पेस बिंदु से जुड़ा सदिश स्थल है चिकनी मैनिफोल्ड पर | चिकनी (या अलग-अलगचिकनी कई गुना ; कोई भी व्यक्ति स्मूथ मैनिफोल्ड पर प्रत्येक बिंदु के लिए कोटैंजेंट स्थान को परिभाषित कर सकता है। आमतौर पर, कोटैंजेंट स्पेस, पर स्पर्शरेखा स्थान के दोहरे स्थान के रूप में परिभाषित किया गया है, , हालाँकि अधिक प्रत्यक्ष परिभाषाएँ हैं (नीचे देखें)। कोटैंजेंट स्पेस के तत्वों को कोटैंजेंट वैक्टर या टेंगेंट कोवेक्टर कहा जाता है।
गुण
कनेक्टेड मैनिफोल्ड पर बिंदुओं पर सभी कोटैंजेंट स्पेस में वेक्टर स्पेस का समान आयाम होता है, जो मैनिफोल्ड के आयाम के बराबर होता है। मैनिफोल्ड के सभी कोटैंजेंट स्थानों को साथ चिपकाया जा सकता है (अर्थात संघबद्ध और टोपोलॉजी के साथ संपन्न) ताकि दोगुने आयाम का नया विभेदक मैनिफोल्ड, मैनिफोल्ड का कोटैंजेंट बंडल बनाया जा सके।
एक बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान दोनों ही आयाम के वास्तविक वेक्टर स्थान हैं और इसलिए कई संभावित समरूपता के माध्यम से दूसरे के लिए समरूपी हैं। रीमैनियन मीट्रिक या सहानुभूतिपूर्ण रूप की शुरूआत बिंदु पर स्पर्शरेखा स्थान और कोटैंजेंट स्थान के बीच प्राकृतिक समरूपता को जन्म देती है, जो किसी भी स्पर्शरेखा कोवेक्टर के साथ विहित स्पर्शरेखा वेक्टर को जोड़ती है।
औपचारिक परिभाषाएँ
रेखीय कार्यात्मकताओं के रूप में परिभाषा
होने देना चिकनी कई गुना हो और चलो में बिंदु हो . होने देना पर स्पर्शरेखा स्थान बनें . फिर x पर कोटैंजेंट स्पेस को दोहरे स्पेस के रूप में परिभाषित किया गया है :
सीधे तौर पर, कोटैंजेंट स्पेस के तत्व रैखिक कार्यात्मक हैं . यानि हर तत्व रेखीय मानचित्र है
कहाँ विचाराधीन सदिश समष्टि का अंतर्निहित क्षेत्र (गणित) है, उदाहरण के लिए, वास्तविक संख्याओं का क्षेत्र। के तत्व कोटैंजेंट सदिश कहलाते हैं।
वैकल्पिक परिभाषा
कुछ मामलों में, कोई व्यक्ति स्पर्शरेखा स्थान के संदर्भ के बिना कोटैंजेंट स्पेस की सीधी परिभाषा प्राप्त करना पसंद कर सकता है। ऐसी परिभाषा सुचारू कार्यों के तुल्यता वर्गों के संदर्भ में तैयार की जा सकती है . अनौपचारिक रूप से, हम कहेंगे कि दो सुचारु फलन f और g बिंदु पर समतुल्य हैं यदि उनके पास समान प्रथम-क्रम का व्यवहार है , उनके रैखिक टेलर बहुपद के अनुरूप; दो फ़ंक्शन f और g का प्रथम क्रम व्यवहार समान है यदि और केवल यदि फ़ंक्शन f - g का व्युत्पन्न गायब हो जाता है . कोटैंजेंट स्पेस में किसी फ़ंक्शन के सभी संभावित प्रथम-क्रम व्यवहार शामिल होंगे .
होने देना सहज मैनिफ़ोल्ड बनें और x को बिंदु होने दें . होने देना में सभी कार्यों का आदर्श (रिंग सिद्धांत) बनें पर लुप्त हो रहा है , और जाने फॉर्म के कार्यों का सेट बनें , कहाँ . तब और दोनों वास्तविक सदिश समष्टि हैं और कोटैंजेंट समष्टि को भागफल समष्टि (रैखिक बीजगणित) के रूप में परिभाषित किया जा सकता है यह दिखाकर कि दोनों स्थान एक-दूसरे के समरूप हैं।
यह सूत्रीकरण बीजगणितीय ज्यामिति में ज़ारिस्की स्पर्शरेखा स्थान को परिभाषित करने के लिए कोटैंजेंट स्पेस के निर्माण के अनुरूप है। निर्माण स्थानीय रूप से रिंगित स्थानों पर भी सामान्यीकृत होता है।
फ़ंक्शन का अंतर
होने देना चिकनी कई गुना हो और चलो सुचारु कार्य हो. का अंतर बिंदु पर नक्शा है
कहाँ पर वक्रों की विभेदक ज्यामिति है , व्युत्पत्ति के रूप में सोचा। वह है का झूठ व्युत्पन्न है दिशा में , और के पास है . समान रूप से, हम स्पर्शरेखा सदिशों को वक्रों की स्पर्शरेखा के रूप में सोच सकते हैं और लिख सकते हैं
किसी भी मामले में, पर रेखीय मानचित्र है और इसलिए यह स्पर्शरेखा कोवेक्टर है .
फिर हम विभेदक मानचित्र को परिभाषित कर सकते हैं बिंदु पर जैसा कि मानचित्र भेजता है को . विभेदक मानचित्र के गुणों में शामिल हैं:
- रेखीय मानचित्र है: स्थिरांक के लिए और ,
विभेदक मानचित्र ऊपर दिए गए कोटैंजेंट स्पेस की दो वैकल्पिक परिभाषाओं के बीच लिंक प्रदान करता है। फ़ंक्शन दिया गया (एक सुचारु कार्य गायब हो रहा है ) हम रैखिक कार्यात्मक बना सकते हैं ऊपरोक्त अनुसार। मानचित्र के बाद से पर 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