टॉर्शन टेंसर: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (45 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{Short description|Manner of characterizing a twist or screw of a moving frame around a curve}} | {{Short description|Manner of characterizing a twist or screw of a moving frame around a curve}} | ||
{{Other uses| | {{Other uses|आघूर्ण बल (द्विअर्थता निवारण)|आघूर्ण बल क्षेत्र (द्विअर्थता निवारण)}} | ||
[[File:Torsion along a geodesic.svg|right|thumb|जियोडेसिक के साथ | [[File:Torsion along a geodesic.svg|right|thumb|जियोडेसिक के साथ आघूर्ण बल।]][[विभेदक ज्यामिति|अवकल ज्यामिति]] में, आघूर्ण बल की धारणा एक वक्र के चारों ओर एक [[गतिमान]] [[तंत्र]] के मोड़ या [[पेंच]] को चिह्नित करने का एक तरीका है। [[एक वक्र का आघूर्ण बल]], जैसा कि [[फ्रेनेट-सेरेट]] [[सूत्रों]] में प्रकट होता है, उदाहरण के लिए, अपने स्पर्शरेखा सदिश के बारे में एक वक्र के मोड़ की मात्रा निर्धारित करता है क्योंकि वक्र विकसित होता है (या स्पर्शरेखा सदिश के बारे में फ़्रेनेट-सेरेट तंत्र का परिभ्रमण)। सतहों की ज्यामिति में, अल्पान्तरी ''आघूर्ण बल'' वर्णन करता है कि कैसे एक सतह पर सतह एक वक्र के बारे में मुड़ती है। [[वक्रता]] की साथी धारणा यह मापती है कि कैसे चलते हुए तंत्र बिना मुड़े एक वक्र के साथ बेल्लन हैं। | ||
आम तौर पर अधिक, [[सजातीय संयोजन]] (अर्थात, [[स्पर्शरेखा समूह]] में एक [[संयोजन]]) से सुसज्जित एक [[अलग-अलग बहुविध]] पर, आघूर्ण बल और वक्रता संयोजन के दो मूलभूत आविष्कारों का निर्माण करते हैं। इस संदर्भ में, आघूर्ण बल एक आंतरिक लक्षण वर्णन देता है कि कैसे [[स्पर्शरेखा समष्टि]] एक वक्र के बारे में मुड़ते हैं जब वे [[समानांतर परिवहन]] करते हैं, जबकि वक्रता बताती है कि कैसे स्पर्शरेखा समष्टि वक्र के साथ घूमती है। आघूर्ण बल को विशेष रूप से एक [[प्रदिश]] के रूप में वर्णित किया जा सकता है, या बहुविध पर [[सदिश मूल्यवान 2-विधि]] के रूप में वर्णित किया जा सकता है। अगर ∇ [[अवकलनीय बहुविध|अवकल बहुविध]] पर एक सजातीय संयोजन है, तो सदिश क्षेत्र ''X'' और ''Y'' के संदर्भ में आघूर्ण बल वाले प्रदिश को परिभाषित किया गया है। | |||
:<math>T(X,Y) = \nabla_XY-\nabla_YX - [X,Y]</math> | :<math>T(X,Y) = \nabla_XY-\nabla_YX - [X,Y]</math> | ||
जहां [X,Y] सदिश क्षेत्रों का लाइ ब्रैकेट है। | जहां [X,Y] [[सदिश क्षेत्रों का लाइ ब्रैकेट]] है। | ||
[[अल्पान्तरी]] की ज्यामिति के अध्ययन में आघूर्ण बल विशेष रूप से उपयोगी है। प्रचलीकरण अल्पान्तरी की एक प्रणाली को देखते हुए, उन अल्पान्तरी वाले सजातीय संयोजन के एक वर्ग को निर्दिष्ट कर सकते हैं, लेकिन उनके आघूर्ण बल से भिन्न होते हैं। एक विशिष्ट संयोजन है जो आघूर्ण बल को अवशोषित करता है, तथा [[लेवी-सिविता संयोजन]] को अन्य, संभवतः गैर-मापीय स्थितियों (जैसे [[फिन्सलर ज्यामिति]]) के लिए सामान्यीकृत करता है। आघूर्ण बल के साथ एक संबंध और बिना आघूर्ण बल के संबंधित संबंध के बीच का अंतर एक प्रदिश है, जिसे [[विरूपण प्रदिश]] कहा जाता है। [[जी-संरचनाओं]] और [[कार्टन की तुल्यता पद्धति]] के अध्ययन में आघूर्ण बल का अवशोषण भी एक मौलिक भूमिका निभाता है। संबंधित [[प्रक्षेप्य संयोजन]] के माध्यम से, अल्पान्तरी के अप्रतिबंधित परिवारों के अध्ययन में आघूर्ण बल भी उपयोगी है। [[सापेक्षता सिद्धांत]] में, इस तरह के विचारों को [[आइंस्टीन-कार्टन सिद्धांत]] के रूप में लागू किया गया है। | |||
== | == आघूर्ण बल प्रदिश == | ||
M को स्पर्शरेखा | M को [[स्पर्शरेखा समूह]] (उर्फ [[सहसंयोजक व्युत्पन्न)|सहसंयोजक अवकलज)]] ∇ पर एक [[स]][[जातीय संयोजन]] के साथ बहुविध होने दें। ∇ का 'आघूर्ण बल प्रदिश '(कभी-कभी कार्टन(आघूर्ण बल) प्रदिश भी कहा जाता है) सदिश क्षेत्रों X और Y पर परिभाषित [[सदिश-मूल्यवान 2-रूप|सदिश-मूल्यवान 2-विधि]] है , | ||
:<math>T(X, Y) := \nabla_X Y - \nabla_Y X - [X,Y]</math> | :<math>T(X, Y) := \nabla_X Y - \nabla_Y X - [X,Y]</math> | ||
जहाँ {{nowrap|1=[''X'', ''Y'']}} दो सदिश क्षेत्रों का [[लाई कोष्ठक]] है। [[लीबनिज नियम]] (सामान्यीकृत उत्पाद नियम) द्वारा, किसी भी [[सहज]] [[सुचारू फलन|फलन]] f के लिए T(fX, Y) = T(X, fY) = fT(X, Y) होता है। तो टी [[तन्यता]] है, [[संयोजक]] के संदर्भ में परिभाषित होने के बावजूद, जो एक प्रथम क्रम अंतर प्रचालक है, यह स्पर्शरेखा सदिशो पर 2-विधि देता है, जबकि सहसंयोजक अवकलज केवल सदिश क्षेत्रों के लिए परिभाषित किया गया है। | |||
=== | === आघूर्ण बल प्रदिश के घटक === | ||
स्पर्शरेखा समूह के [[वर्गों]] के स्थानीय [[आधार]] {{nowrap|('''e'''<sub>1</sub>, ..., '''e'''<sub>''n''</sub>)}} के संदर्भ में आघूर्ण बल प्रदिश <math> T^c{}_{ab} </math> के घटक {{nowrap|1=''X'' = '''e'''<sub>''i''</sub>}} ,{{nowrap|1=''Y'' = '''e'''<sub>''j''</sub>}} समायोजन करके और कम्यूटेटर गुणांक {{nowrap|1=''γ<sup>k</sup><sub>ij</sub>'''''e'''<sub>''k''</sub> := ['''e'''<sub>''i''</sub>, '''e'''<sub>''j''</sub>]}} को प्रस्तुत करके प्राप्त किए जा सकते हैं। तब आघूर्ण बल के घटक हैं, | |||
:<math> T^k{}_{ij} := \Gamma^k{}_{ij} - \Gamma^k{}_{ji}-\gamma^k{}_{ij},\quad i,j,k=1,2,\ldots,n.</math> | :<math> T^k{}_{ij} := \Gamma^k{}_{ij} - \Gamma^k{}_{ji}-\gamma^k{}_{ij},\quad i,j,k=1,2,\ldots,n.</math> | ||
यहां <math>{\Gamma^k}_{ij}</math> | यहां <math>{\Gamma^k}_{ij}</math> संयोजन को परिभाषित करने वाले [[संयोजन गुणांक]] हैं। यदि आधार [[होलोनोमिक]] <math>\gamma^k{}_{ij}=0</math> है तो लाई कोष्ठक गायब हो जाते हैं। इसलिए <math>T^k{}_{ij}=2\Gamma^k{}_{[ij]}</math>। विशेष रूप से (नीचे देखें), जबकि [[अल्पान्तरी संयोजन]] के सममित भाग को निर्धारित करता है, आघूर्ण बल प्रदिश प्रतिसममित भाग को निर्धारित करता है। | ||
=== | === आघूर्ण बल रूप === | ||
आघूर्ण बल रूप, आघूर्ण बल का एक वैकल्पिक लक्षण वर्णन है, जो कई गुना ''एम'' के [[फ्रेम समूह]] एफ''एम'' पर लागू होता है। यह मुख्य समूह एक संयोजन विधि ''ω'', a gl(''n'') एक मूल्यवान विधि से सुसज्जित है - जो लम्बवत सदिश को gl(''n) में सही क्रिया के जनित्र के लिए को मानचित्रित करता है, और F''M'' के स्पर्शरेखा समूह पर GL(''n'') की सही क्रिया को समान रूप से परस्पर जोड़ता है, जो कि gl(''n'') पर एक लाइ समूह के आसन्न प्रतिनिधित्व के साथ है। फ्रेम समूह में एक विहित एक-रूप θ भी होता है। जिसका मान Rn में होता है, जिसे एक फ़्रेम u ∈ FxM पर परिभाषित किया जाता है <sup>n</sup>{{nowrap|''u'' ∈ F<sub>x</sub>''M''}} (एक रैखिक फलन के रूप में माना जाता है {{nowrap|''u'' : '''R'''<sup>''n''</sup> → T<sub>x</sub>''M''}}) द्वारा | |||
:<math>\theta(X) = u^{-1}(\pi_{*}(X))</math> | :<math>\theta(X) = u^{-1}(\pi_{*}(X))</math> | ||
कहाँ पे {{nowrap|''π'' : F''M'' → ''M''}} प्रिंसिपल | कहाँ पे {{nowrap|''π'' : F''M'' → ''M''}} प्रिंसिपल समूह के लिए प्रक्षेप मानचित्रण है और {{nowrap|''π∗'' }} इसका '''पुश-फॉरवर्ड''' है। आघूर्ण बल रूप तब है | ||
:<math>\Theta = d\theta + \omega\wedge\theta.</math> | :<math>\Theta = d\theta + \omega\wedge\theta.</math> | ||
समतुल्य रूप से, Θ = Dθ, जहां D संबंध द्वारा निर्धारित बाह्य सहपरिवर्ती | समतुल्य रूप से, Θ = Dθ, जहां D संबंध द्वारा निर्धारित [[बाह्य सहपरिवर्ती अवकलज]] है। | ||
आघूर्ण बल रूप 'R<sup>n</sup>' में मूल्यों के साथ एक(क्षैतिज) तन्य रूप है, जिसका अर्थ है कि {{nowrap|''g'' ∈ GL(''n'')}} की सही कार्रवाई के तहत यह समान रूप से रूपांतरित होता है, | |||
:<math>R_g^*\Theta = g^{-1}\cdot\Theta</math> | :<math>R_g^*\Theta = g^{-1}\cdot\Theta</math> | ||
जहां जी ' | जहां जी 'R<sup>n</sup>' पर अपने आसन्न प्रतिनिधित्व के माध्यम से दाहिने हाथ की ओर कार्य करता है। | ||
==== एक फ्रेम में | ==== एक फ्रेम में आघूर्ण बल रूप ==== | ||
{{See also| | {{See also|संयोजन प्रपत्र}} | ||
स्पर्शरेखा समूह {{nowrap|('''e'''<sub>1</sub>, ..., '''e'''<sub>''n''</sub>)}} के एक विशेष फ्रेम में लिखे गए आधार बहुविध M पर एक [[संयोजन प्रपत्र]] के रूप में आघूर्ण बल का रूप व्यक्त किया जा सकता है। संयोजन प्रपत्र इन बुनियादी वर्गों के बाहरी सहसंयोजक व्युत्पन्न को व्यक्त करता है, | |||
:<math>D\mathbf{e}_i = \mathbf{e}_j {\omega^j}_i .</math> | :<math>D\mathbf{e}_i = \mathbf{e}_j {\omega^j}_i .</math> | ||
स्पर्शरेखा | '''स्पर्शरेखा समूह (इस फ्रेम के सापेक्ष)''' के लिए [[सोल्डर फॉर्म e]]<sub>''i''</sub> का [[दोहरा आधार]] है {{nowrap|''θ<sup>i</sup>'' ∈ T<sup>∗</sup>''M''}} है, ताकि {{nowrap|1=''θ<sup>i</sup>''('''e'''<sub>j</sub>) = ''δ<sup>i</sup><sub>j</sub>''}}([[क्रोनेकर डेल्टा)]]। तब आघूर्ण बल 2-रूप में घटक होते हैं | ||
:<math>\Theta^k = d\theta^k + {\omega^k}_j \wedge \theta^j = {T^k}_{ij} \theta^i \wedge \theta^j.</math> | :<math>\Theta^k = d\theta^k + {\omega^k}_j \wedge \theta^j = {T^k}_{ij} \theta^i \wedge \theta^j.</math> | ||
सबसे सही अभिव्यक्ति में, | सबसे सही अभिव्यक्ति में, | ||
:<math>{T^k}_{ij} = \theta^k\left(\nabla_{\mathbf{e}_i}\mathbf{e}_j - \nabla_{\mathbf{e}_j}\mathbf{e}_i - \left[\mathbf{e}_i, \mathbf{e}_j\right]\right)</math> | :<math>{T^k}_{ij} = \theta^k\left(\nabla_{\mathbf{e}_i}\mathbf{e}_j - \nabla_{\mathbf{e}_j}\mathbf{e}_i - \left[\mathbf{e}_i, \mathbf{e}_j\right]\right)</math> | ||
आघूर्ण बल प्रदिश के फ्रेम-घटक हैं, जैसा कि पिछली परिभाषा में दिया गया है। | |||
यह आसानी से दिखाया जा सकता है कि Θ<sup>i</sup> अस्थायी रूप से इस अर्थ में रूपांतरित होता है कि यदि कोई भिन्न फ़्रेम है | यह आसानी से दिखाया जा सकता है कि Θ<sup>i</sup> अस्थायी रूप से इस अर्थ में रूपांतरित होता है कि यदि कोई भिन्न फ़्रेम है, तब | ||
:<math>\tilde{\mathbf{e}}_i = \mathbf{e}_j {g^j}_i</math> | :<math>\tilde{\mathbf{e}}_i = \mathbf{e}_j {g^j}_i</math> | ||
कुछ उलटा | कुछ उलटा आव्यूह-मूल्यवान फलन के लिए(g<sup>j<sub>''i''</sub>), तब | ||
वैकल्पिक रूप से, सोल्डर फॉर्म को फ्रेम-स्वतंत्र | <math>\tilde{\Theta}^i = {\left(g^{-1}\right)^i}_j\Theta^j</math> | ||
दूसरे शब्दों में, Θ प्रकार {{nowrap|(1, 2)}} का प्रदिश है (एक प्रतिपरिवर्ती और दो सहपरिवर्ती सूचकांकों को वहन करता है)। | |||
वैकल्पिक रूप से, सोल्डर फॉर्म को फ्रेम-स्वतंत्र आचरण में चित्रित किया जा सकता है क्योंकि एम पर टीएम-वैल्यू वन-फॉर्म θ द्वैत समरूपता के तहत स्पर्शरेखा समूह की पहचान एंडोमोर्फिज्म के अनुरूप है। {{nowrap|1=End(T''M'') ≈ T''M'' ⊗ T<sup>∗</sup>''M''}}. फिर आघूर्ण बल 2-रूप एक खंड है | |||
:<math>\Theta\in\text{Hom}\left({\textstyle\bigwedge}^2 {\rm T}M, {\rm T}M\right)</math> | :<math>\Theta\in\text{Hom}\left({\textstyle\bigwedge}^2 {\rm T}M, {\rm T}M\right)</math> | ||
के द्वारा दिया गया | के द्वारा दिया गया | ||
:<math>\Theta = D\theta ,</math> | :<math>\Theta = D\theta ,</math> | ||
जहां D बाहरी सहसंयोजक व्युत्पन्न है। (अधिक जानकारी के लिए कनेक्शन प्रपत्र देखें।) | जहां D बाहरी सहसंयोजक व्युत्पन्न है।(अधिक जानकारी के लिए कनेक्शन प्रपत्र देखें।) | ||
=== अलघुकरणीय अपघटन === | === अलघुकरणीय अपघटन === | ||
आघूर्ण बल प्रदिश को दो [[अलघुकरणीय]] भागों में विघटित किया जा सकता है, एक [[अनुरेख]] (रैखिक बीजगणित)-[[मुक्त]] भाग और दूसरा भाग जिसमें अनुरेख शब्द होते हैं। | |||