पुलबैक (अंतर ज्यामिति): Difference between revisions
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
<math>\phi:M\to N</math> स्मूथ मैनिफोल्ड <math>M</math> और <math>N</math>.के बीच [[चिकना नक्शा|स्मूथ मैप]] के रूप में बनें होते है, इसके बाद 1-फॉर्म के स्थान से संबद्ध एक <math>N</math> [[रैखिक नक्शा|रैखिक मैप के रूप में]] होता है। इस रैखिक मानचित्र को <math>\phi</math> पुलबैक के रूप में जाना जाता है और इसे अधिकांशतः <math>\phi^*</math>.द्वारा निरूपित किया जाता है और इस प्रकार सामान्यतः किसी भी सहसंयोजक टेंसर क्षेत्र विशेष रूप से N पर किसी भी अवकलन रूप को <math>\phi</math>. का उपयोग करके M पर वापस खींचा जा सकता है। | <math>\phi:M\to N</math> स्मूथ मैनिफोल्ड <math>M</math> और <math>N</math>.के बीच [[चिकना नक्शा|स्मूथ मैप]] के रूप में बनें होते है, इसके बाद 1-फॉर्म के स्थान से संबद्ध एक <math>N</math> [[रैखिक नक्शा|रैखिक मैप के रूप में]] होता है। इस रैखिक मानचित्र को <math>\phi</math> पुलबैक के रूप में जाना जाता है और इसे अधिकांशतः <math>\phi^*</math>.द्वारा निरूपित किया जाता है और इस प्रकार सामान्यतः किसी भी सहसंयोजक टेंसर क्षेत्र विशेष रूप से N पर किसी भी अवकलन रूप को <math>\phi</math>. का उपयोग करके M पर वापस खींचा जा सकता है। | ||
जब मैप <math>\phi</math> एक भिन्नता के रूप में है, तो पुलबैक, पुशफॉरवर्ड के साथ किसी भी टेंसर क्षेत्र को N से M या इसके विपरीत बदलने के लिए उपयोग किया जा सकता है और इस प्रकार विशेष रूप से, यदि <math>\phi</math> के | जब मैप <math>\phi</math> एक भिन्नता के रूप में है, तो पुलबैक, पुशफॉरवर्ड के साथ किसी भी टेंसर क्षेत्र को N से M या इसके विपरीत बदलने के लिए उपयोग किया जा सकता है और इस प्रकार विशेष रूप से, यदि <math>\phi</math> के विवृत उपसमुच्चय के बीच एक भिन्नता <math>\R^n</math> और <math>\R^n</math> निर्देशांक के परिवर्तन के रूप में देखा जाता है और संभवतः विभिन्न मैनिफोल्ड चार्ट्स के बीच मैनिफोल्ड पर <math>M</math> फिर पुलबैक और पुशफॉरवर्ड विषय के अधिक संकीर्ण समन्वय निर्भर दृष्टिकोणों में उपयोग किए जाने वाले सदिश टेंसरों के कोवैरिएंट और कॉन्ट्रावैरिएंट के परिवर्तन गुणों का वर्णन करते हैं। | ||
पुलबैक के पीछे का विचार अनिवार्य रूप से एक फलन के दूसरे | पुलबैक के पीछे का विचार अनिवार्य रूप से एक फलन के दूसरे प्रफलन के साथ संयोजन की धारणा है। चूंकि इस विचार को कई भिन्न भिन्न संदर्भो में जोड़कर बहुत जटिल पुलबैक ऑपरेशंस का निर्माण किया जा सकता है। इइस लेख की शुरुआत सरल संक्रियाओं से प्रारंभ होता है, फिर उनका उपयोग अधिक जटिल संक्रियाओं के निर्माण के लिए के लिए उपयोग में लाया जाता है और इस प्रकार सामान्यतः पुलबैक मैकेनिज्म प्रीकम्पोजिशन का उपयोग करके[[ अंतर ज्यामिति | अवकलन ज्यामिति]] में कई [[प्रतिपरिवर्ती संचालिका]] कार्यात्मक के रूप में बदल देती है। | ||
== स्मूथ फलन और स्मूथ नक्शों का पुलबैक == | == स्मूथ फलन और स्मूथ नक्शों का पुलबैक == | ||
माना कि <math>\phi:M\to N</math> स्मूथ मैनिफोल्ड <math>M</math> और <math>N</math>.के बीच [[चिकना नक्शा|स्मूथ मैप]] के रूप में बनें होते है और मान लीजिए <math>f:N\to\R</math> एक सुचारू फलन के रूप में <math>N</math>.है, फिर <math>\phi</math> द्वारा <math>f</math> का पुलबैक स्मूथ <math>(\phi^*f)(x)=f(\phi(x))</math> द्वारा परिभाषित <math>M</math> पर स्मूथ फलन <math>\phi^*f</math> .के रूप में है, इसी प्रकार यदि <math>f</math> एक विवृत समुच्चय पर एक सहज फलन <math>U</math> और <math>N</math> के रूप में है तो वही सूत्र <math>\phi^{-1}(U)</math>.में विवृत समुच्चय <math>f</math> पर एक स्मूथ फलन को परिभाषित करता है। (शेफ (गणित) की पुलबैक भाषा में <math>M</math> स्मूथ फलन के शीफ से <math>\phi</math> द्वारा [[प्रत्यक्ष छवि शीफ]] के लिए <math>N</math> पर स्मूथ फलन के शीफ मोर्फिज्म को परिभाषित करता है। | |||
अधिक सामान्यतः | अधिक सामान्यतः यदि <math>f:N\to A</math>, <math>N</math> से किसी भी अन्य गुना <math>A</math> के लिए स्मूथ मैप के रूप में है और तब <math>(\phi^*f)(x)=f(\phi(x))</math> <math>M</math> को <math>A</math> तक एक स्मूथ मैप के रूप में है। | ||
== बंडलों और वर्गों का पुलबैक == | == बंडलों और वर्गों का पुलबैक == | ||
Line 27: | Line 27: | ||
:<math>(\Phi^*F)(v_1,v_2,\ldots,v_s) = F(\Phi(v_1), \Phi(v_2), \ldots ,\Phi(v_s)),</math> | :<math>(\Phi^*F)(v_1,v_2,\ldots,v_s) = F(\Phi(v_1), \Phi(v_2), \ldots ,\Phi(v_s)),</math> | ||
जो वी पर एक बहुरेखीय रूप है। इसलिए Φ<sup>∗</sup> एक (रैखिक) संकारक है जो W पर बहुरेखीय रूपों से V पर बहुरेखीय रूपों तक होता है। एक विशेष स्थितियों े के रूप में, ध्यान दें कि यदि F, W पर एक रैखिक रूप (या (0,1)-टेंसर) है, जिससे कि F, W का एक अवयव है<sup>∗</sup>, W का दोहरा स्थान, फिर Φ<sup>∗</sup>F, V का एक अवयव है<sup>∗</sup>, और इसलिए Φ द्वारा पुलबैक दोहरे स्थानों के बीच एक रेखीय मानचित्र को परिभाषित करता है जो रेखीय मानचित्र Φ के विपरीत दिशा में | जो वी पर एक बहुरेखीय रूप है। इसलिए Φ<sup>∗</sup> एक (रैखिक) संकारक है जो W पर बहुरेखीय रूपों से V पर बहुरेखीय रूपों तक होता है। एक विशेष स्थितियों े के रूप में, ध्यान दें कि यदि F, W पर एक रैखिक रूप (या (0,1)-टेंसर) है, जिससे कि F, W का एक अवयव है<sup>∗</sup>, W का दोहरा स्थान, फिर Φ<sup>∗</sup>F, V का एक अवयव है<sup>∗</sup>, और इसलिए Φ द्वारा पुलबैक दोहरे स्थानों के बीच एक रेखीय मानचित्र को परिभाषित करता है जो रेखीय मानचित्र Φ के विपरीत दिशा में फलन करता है: | ||
:<math>\Phi\colon V\rightarrow W, \qquad \Phi^*\colon W^*\rightarrow V^*.</math> | :<math>\Phi\colon V\rightarrow W, \qquad \Phi^*\colon W^*\rightarrow V^*.</math> | ||
Line 37: | Line 37: | ||
== कॉटैंजेंट सदिश और 1-फॉर्म == का पुलबैक | == कॉटैंजेंट सदिश और 1-फॉर्म == का पुलबैक | ||
चलो φ : एम → एन [[चिकनी कई गुना|स्मूथ | चलो φ : एम → एन [[चिकनी कई गुना|स्मूथ कई गुना]]ओं के बीच एक स्मूथ मैप बनें। फिर φ का पुशफॉरवर्ड (अंतर), φ लिखा<sub>*</sub>, dφ, या Dφ, M के [[स्पर्शरेखा बंडल]] TM से पुलबैक बंडल φ तक एक वेक्टर बंडल आकारिकी (M से अधिक) है<sup>*</sup>टीएन। φ की दोहरी जगह<sub>*</sub> इसलिए φ से एक बंडल मैप है<sup>*</sup>टी<sup>*</sup>N से T<sup>*</sup>M, M का कोटैंजेंट बंडल। | ||
अब मान लीजिए α T का एक खंड (फाइबर बंडल) है<sup>*</sup>N (एक अवकलन फॉर्म|N पर 1-फॉर्म), और φ का पुलबैक बंडल प्राप्त करने के लिए α को φ के साथ प्रीकंपोज़ करें<sup>*</sup>टी<sup>*</sup>एन. उपरोक्त बंडल मानचित्र (बिंदुवार) को इस अनुभाग में लागू करने से α का 'पुलबैक' φ द्वारा प्राप्त होता है, जो 1-रूप φ है<sup>*</sup>α ऑन एम द्वारा परिभाषित | अब मान लीजिए α T का एक खंड (फाइबर बंडल) है<sup>*</sup>N (एक अवकलन फॉर्म|N पर 1-फॉर्म), और φ का पुलबैक बंडल प्राप्त करने के लिए α को φ के साथ प्रीकंपोज़ करें<sup>*</sup>टी<sup>*</sup>एन. उपरोक्त बंडल मानचित्र (बिंदुवार) को इस अनुभाग में लागू करने से α का 'पुलबैक' φ द्वारा प्राप्त होता है, जो 1-रूप φ है<sup>*</sup>α ऑन एम द्वारा परिभाषित |
Revision as of 17:32, 23 May 2023
स्मूथ मैनिफोल्ड और .के बीच स्मूथ मैप के रूप में बनें होते है, इसके बाद 1-फॉर्म के स्थान से संबद्ध एक रैखिक मैप के रूप में होता है। इस रैखिक मानचित्र को पुलबैक के रूप में जाना जाता है और इसे अधिकांशतः .द्वारा निरूपित किया जाता है और इस प्रकार सामान्यतः किसी भी सहसंयोजक टेंसर क्षेत्र विशेष रूप से N पर किसी भी अवकलन रूप को . का उपयोग करके M पर वापस खींचा जा सकता है।
जब मैप एक भिन्नता के रूप में है, तो पुलबैक, पुशफॉरवर्ड के साथ किसी भी टेंसर क्षेत्र को N से M या इसके विपरीत बदलने के लिए उपयोग किया जा सकता है और इस प्रकार विशेष रूप से, यदि के विवृत उपसमुच्चय के बीच एक भिन्नता और निर्देशांक के परिवर्तन के रूप में देखा जाता है और संभवतः विभिन्न मैनिफोल्ड चार्ट्स के बीच मैनिफोल्ड पर फिर पुलबैक और पुशफॉरवर्ड विषय के अधिक संकीर्ण समन्वय निर्भर दृष्टिकोणों में उपयोग किए जाने वाले सदिश टेंसरों के कोवैरिएंट और कॉन्ट्रावैरिएंट के परिवर्तन गुणों का वर्णन करते हैं।
पुलबैक के पीछे का विचार अनिवार्य रूप से एक फलन के दूसरे प्रफलन के साथ संयोजन की धारणा है। चूंकि इस विचार को कई भिन्न भिन्न संदर्भो में जोड़कर बहुत जटिल पुलबैक ऑपरेशंस का निर्माण किया जा सकता है। इइस लेख की शुरुआत सरल संक्रियाओं से प्रारंभ होता है, फिर उनका उपयोग अधिक जटिल संक्रियाओं के निर्माण के लिए के लिए उपयोग में लाया जाता है और इस प्रकार सामान्यतः पुलबैक मैकेनिज्म प्रीकम्पोजिशन का उपयोग करके अवकलन ज्यामिति में कई प्रतिपरिवर्ती संचालिका कार्यात्मक के रूप में बदल देती है।
स्मूथ फलन और स्मूथ नक्शों का पुलबैक
माना कि स्मूथ मैनिफोल्ड और .के बीच स्मूथ मैप के रूप में बनें होते है और मान लीजिए एक सुचारू फलन के रूप में .है, फिर द्वारा का पुलबैक स्मूथ द्वारा परिभाषित पर स्मूथ फलन .के रूप में है, इसी प्रकार यदि एक विवृत समुच्चय पर एक सहज फलन और के रूप में है तो वही सूत्र .में विवृत समुच्चय पर एक स्मूथ फलन को परिभाषित करता है। (शेफ (गणित) की पुलबैक भाषा में स्मूथ फलन के शीफ से द्वारा प्रत्यक्ष छवि शीफ के लिए पर स्मूथ फलन के शीफ मोर्फिज्म को परिभाषित करता है।
अधिक सामान्यतः यदि , से किसी भी अन्य गुना के लिए स्मूथ मैप के रूप में है और तब को तक एक स्मूथ मैप के रूप में है।
बंडलों और वर्गों का पुलबैक
यदि एक वेक्टर बंडल (या वास्तव में कोई फाइबर बंडल) खत्म हो गया है और एक स्मूथ मैप है, फिर पुलबैक बंडल एक वेक्टर बंडल (या फाइबर बंडल) खत्म हो गया है जिसका रेशा (गणित) खत्म हो गया में द्वारा दिया गया है .
इस स्थिति में, प्रीकंपोज़िशन के अनुभागों पर पुलबैक ऑपरेशन को परिभाषित करता है : यदि का एक खंड (फाइबर बंडल) है ऊपर , फिर पुलबैक बंडल का एक भाग है ऊपर .
बहुरेखीय रूपों का पुलबैक
होने देना Φ: V → W वेक्टर रिक्त स्थान वी और डब्ल्यू के बीच एक रैखिक मानचित्र बनें (अर्थात , Φ का एक तत्व है L(V, W), भी निरूपित Hom(V, W)), और जाने
डब्ल्यू पर एक बहुरेखीय रूप हो (जिसे एक टेन्सर के रूप में भी जाना जाता है - एक टेंसर फ़ील्ड के साथ भ्रमित नहीं होना - रैंक का (0, s), जहां s उत्पाद में W के कारकों की संख्या है)। फिर पुलबैक Φ∗Φ द्वारा F का F, V पर एक बहुरेखीय रूप है, जिसे Φ के साथ F को पूर्वनिर्मित करके परिभाषित किया गया है। अधिक सटीकता से, दिए गए सदिश v1, में2, ..., मेंs वी में, Φ∗F सूत्र द्वारा परिभाषित किया गया है
जो वी पर एक बहुरेखीय रूप है। इसलिए Φ∗ एक (रैखिक) संकारक है जो W पर बहुरेखीय रूपों से V पर बहुरेखीय रूपों तक होता है। एक विशेष स्थितियों े के रूप में, ध्यान दें कि यदि F, W पर एक रैखिक रूप (या (0,1)-टेंसर) है, जिससे कि F, W का एक अवयव है∗, W का दोहरा स्थान, फिर Φ∗F, V का एक अवयव है∗, और इसलिए Φ द्वारा पुलबैक दोहरे स्थानों के बीच एक रेखीय मानचित्र को परिभाषित करता है जो रेखीय मानचित्र Φ के विपरीत दिशा में फलन करता है:
तन्यता के दृष्टिकोण से, मनमाना रैंक के टेंसरों के लिए पुलबैक की धारणा का विस्तार करने की कोशिश करना स्वाभाविक है, अर्थात, W की r प्रतियों के टेन्सर उत्पाद में मान लेने वाले W पर बहुरेखीय नक्शों के लिए, अर्थात, W ⊗ W ⊗ ⋅⋅⋅ ⊗ W. चूंकि , ऐसे टेंसर उत्पाद के तत्व स्वाभाविक रूप से पीछे नहीं हटते हैं: इसके अतिरिक्त एक पुशफॉरवर्ड ऑपरेशन होता है V ⊗ V ⊗ ⋅⋅⋅ ⊗ V को W ⊗ W ⊗ ⋅⋅⋅ ⊗ W द्वारा दिए गए
फिर भी, यह इस बात का अनुसरण करता है कि यदि Φ उलटा है, पुलबैक को व्युत्क्रम फलन Φ द्वारा पुशफॉरवर्ड का उपयोग करके परिभाषित किया जा सकता है-1. इन दो निर्माणों के संयोजन से किसी भी रैंक के टेंसरों के लिए एक उलटा रैखिक मानचित्र के साथ एक पुशफॉरवर्ड ऑपरेशन प्राप्त होता है (r, s).
== कॉटैंजेंट सदिश और 1-फॉर्म == का पुलबैक
चलो φ : एम → एन स्मूथ कई गुनाओं के बीच एक स्मूथ मैप बनें। फिर φ का पुशफॉरवर्ड (अंतर), φ लिखा*, dφ, या Dφ, M के स्पर्शरेखा बंडल TM से पुलबैक बंडल φ तक एक वेक्टर बंडल आकारिकी (M से अधिक) है*टीएन। φ की दोहरी जगह* इसलिए φ से एक बंडल मैप है*टी*N से T*M, M का कोटैंजेंट बंडल।
अब मान लीजिए α T का एक खंड (फाइबर बंडल) है*N (एक अवकलन फॉर्म|N पर 1-फॉर्म), और φ का पुलबैक बंडल प्राप्त करने के लिए α को φ के साथ प्रीकंपोज़ करें*टी*एन. उपरोक्त बंडल मानचित्र (बिंदुवार) को इस अनुभाग में लागू करने से α का 'पुलबैक' φ द्वारा प्राप्त होता है, जो 1-रूप φ है*α ऑन एम द्वारा परिभाषित
एम में एक्स और टी में एक्स के लिएxएम।
(सहसंयोजक) टेंसर फ़ील्ड्स का पुलबैक
पिछले खंड का निर्माण रैंक के दसियों के लिए तुरंत सामान्यीकृत होता है किसी भी प्राकृतिक संख्या के लिए : ए कई गुना पर टेंसर क्षेत्र टेंसर बंडल का एक भाग चालू है जिसका फाइबर पर में बहुरेखीय का स्थान है -रूप
ले कर एक स्मूथ मानचित्र के (बिंदुवार) अवकलन के बराबर से को , बहुरेखीय रूपों के पुलबैक को पुलबैक उत्पन्न करने के लिए वर्गों के पुलबैक के साथ जोड़ा जा सकता है टेंसर फ़ील्ड चालू . अधिक सटीक यदि एक है -टेंसर फील्ड ऑन , फिर का पुलबैक द्वारा है -टेंसर क्षेत्र पर द्वारा परिभाषित
के लिए में और में .
अवकलन रूपों का पुलबैक
सहसंयोजक टेंसर क्षेत्रों के पुलबैक का एक विशेष महत्वपूर्ण स्थितियों अवकलन रूपों का पुलबैक है। यदि एक अवकलन है -फॉर्म, अर्थात बाहरी बंडल का एक हिस्सा (फाइबरवाइज) बारी-बारी से -फॉर्म चालू है , फिर का पुलबैक अवकलन है -फॉर्म ऑन पिछले अनुभाग के समान सूत्र द्वारा परिभाषित:
के लिए में और में .
अवकलन फॉर्म के पुलबैक में दो गुण होते हैं जो इसे बहुत उपयोगी बनाते हैं।
- यह वेज उत्पाद के साथ इस अर्थ में संगत है कि अवकलन रूपों के लिए और पर ,
- यह बाहरी व्युत्पन्न के साथ संगत है : यदि पर अवकलन रूप है तब
अलग-भिन्न रूपों द्वारा पुलबैक
जब मैप मैनिफोल्ड्स के बीच एक डिफियोमोर्फिज्म है, अर्थात , इसका एक स्मूथ व्युत्क्रम है, फिर पुलबैक को वेक्टर क्षेत्रों के साथ-साथ 1-रूपों के लिए परिभाषित किया जा सकता है, और इस प्रकार, विस्तार द्वारा, कई गुना पर एक मनमाना मिश्रित टेंसर क्षेत्र के लिए। रेखीय मैप
देने के लिए उलटा किया जा सकता है
एक सामान्य मिश्रित टेंसर फ़ील्ड तब का उपयोग कर रूपांतरित हो जाएगा और टेंसर उत्पाद के अनुसार टेंसर बंडल की प्रतियों में अपघटन और . कब , फिर पुलबैक और पुशफॉरवर्ड (अवकलन ) कई गुना पर टेंसर के परिवर्तन गुणों का वर्णन करते हैं . संकीर्ण शब्दों में, पुलबैक टेंसर के सहसंयोजक सूचकांकों के परिवर्तन गुणों का वर्णन करता है; इसके विपरीत, सदिश सूचकांकों के सहप्रसरण और प्रतिप्रसरण का परिवर्तन एक पुशफॉरवर्ड (अंतर) द्वारा दिया जाता है।
ऑटोमोर्फिज्म द्वारा पुलबैक
पिछले खंड के निर्माण में एक प्रतिनिधित्व-सैद्धांतिक व्याख्या है जब कई गुना से एक भिन्नता है खुद को। इस स्थितियों े में व्युत्पन्न का एक भाग है . यह फ्रेम बंडल से जुड़े किसी भी बंडल के अनुभागों पर पुलबैक क्रिया को प्रेरित करता है का सामान्य रैखिक समूह के प्रतिनिधित्व द्वारा (कहाँ ).
पुलबैक और झूठ व्युत्पन्न
लाइ डेरिवेटिव देखें। सदिश क्षेत्र द्वारा परिभाषित भिन्नता के स्थानीय 1-पैरामीटर समूह में पूर्ववर्ती विचारों को लागू करके , और पैरामीटर के संबंध में अवकलन करते हुए, किसी भी संबद्ध बंडल पर लाई डेरिवेटिव की धारणा प्राप्त की जाती है।
कनेक्शन का पुलबैक (सहसंयोजक डेरिवेटिव)
यदि एक वेक्टर बंडल पर एक कनेक्शन (वेक्टर बंडल) (या सहसंयोजक व्युत्पन्न) है ऊपर और से एक स्मूथ मैप है को , तो एक पुलबैक कनेक्शन है पर ऊपर , विशिष्ट रूप से इस शर्त द्वारा निर्धारित किया गया है कि
यह भी देखें
- पुशफॉरवर्ड (अंतर)
- पुलबैक बंडल
- पुलबैक (श्रेणी सिद्धांत)
संदर्भ
- Jost, Jürgen (2002). Riemannian Geometry and Geometric Analysis. Berlin: Springer-Verlag. ISBN 3-540-42627-2. See sections 1.5 and 1.6.
- Abraham, Ralph; Marsden, Jerrold E. (1978). Foundations of Mechanics. London: Benjamin-Cummings. ISBN 0-8053-0102-X. See section 1.7 and 2.3.