सममित टेंसर

गणित में, एक सममित टेन्सर एक टेंसर होता है जो अपने सदिश तर्कों के क्रमपरिवर्तन के तहत अपरिवर्तनीय होता है:

$T(v_{1},v_{2},\ldots ,v_{r})=T(v_{\sigma 1},v_{\sigma 2},\ldots ,v_{\sigma r})$

प्रतीकों के प्रत्येक क्रमचय σ के लिए {1, 2, ..., r}. वैकल्पिक रूप से, r सूचकांकों के साथ एक मात्रा के रूप में निर्देशांक में दर्शाए गए क्रम r का एक सममित टेन्सर संतुष्ट करता है

$T_{i_{1}i_{2}\cdots i_{r}}=T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma r}}.$

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

परिभाषा

मान लीजिए कि V एक सदिश समष्टि है और

$T\in V^{\otimes k}$

आदेश का एक टेंसर k। तब T एक सममित टेंसर है यदि

$\tau _{\sigma }T=T\,$

टेंसर उत्पाद के लिए#टेन्सर की शक्तियाँ और ब्रेडिंग प्रत्येक क्रमचय σ से संबंधित प्रतीकों पर {1,2,...,k} (या समतुल्य रूप से इन प्रतीकों पर प्रत्येक ट्रांसपोज़िशन (गणित) के लिए)।

एक आधार दिया (रैखिक बीजगणित) {ईⁱ}, रैंक k के किसी भी सममित टेन्सर T को इस रूप में लिखा जा सकता है

$T=\sum _{i_{1},\ldots ,i_{k}=1}^{N}T_{i_{1}i_{2}\cdots i_{k}}e^{i_{1}}\otimes e^{i_{2}}\otimes \cdots \otimes e^{i_{k}}$

गुणांक की कुछ अनूठी सूची के लिए $T_{i_{1}i_{2}\cdots i_{k}}$ (आधार में टेंसर के घटक) जो सूचकांकों पर सममित हैं। यानी

$T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma k}}=T_{i_{1}i_{2}\cdots i_{k}}$

प्रत्येक क्रमचय के लिए σ.

V पर परिभाषित क्रम k के सभी सममित टेंसरों का स्थान अक्सर S द्वारा निरूपित किया जाता है^k(V) या Sym^{के</सुप>(वी). यह स्वयं एक सदिश समष्टि है, और यदि V का आयाम N है तो Sym का आयाम हैk(V) द्विपद गुणांक है}

$\dim \operatorname {Sym} ^{k}(V)={N+k-1 \choose k}.$

फिर हम Sym(V) की रचना Sym की सदिश समष्टियों के प्रत्यक्ष योग के रूप में करते हैं^{कश्मीर}(वी) के लिए के = 0,1,2,...

$\operatorname {Sym} (V)=\bigoplus _{k=0}^{\infty }\operatorname {Sym} ^{k}(V).$

उदाहरण

सममित टेन्सर के कई उदाहरण हैं। कुछ में शामिल हैं, मीट्रिक टेंसर, $g_{\mu \nu }$, आइंस्टीन टेंसर, $G_{\mu \nu }$ और रिक्की टेंसर, $R_{\mu \nu }$.

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

दीर्घवृत्त बीजगणितीय किस्मों के उदाहरण हैं; और इसलिए, सामान्य रैंक के लिए, सजातीय बहुपदों की आड़ में सममित टेंसरों का उपयोग प्रोजेक्टिव किस्मों को परिभाषित करने के लिए किया जाता है, और अक्सर इस तरह अध्ययन किया जाता है।

एक रिमेंनियन कई गुना दिया गया $(M,g)$ इसके Levi-Civita कनेक्शन से लैस है $\nabla$, रीमैन कर्वेचर टेन्सर#कोऑर्डिनेट एक्सप्रेशन सदिश स्थान पर एक सममित क्रम 2 टेन्सर है ${\textstyle V=\Omega ^{2}(M)=\bigwedge ^{2}T^{*}M}$ अंतर 2-रूपों का। यह इस तथ्य से मेल खाता है कि, देखना $R_{ijk\ell }\in (T^{*}M)^{\otimes 4}$, हमारे पास समरूपता है $R_{ij\,k\ell }=R_{k\ell \,ij}$ प्रत्येक जोड़ी के भीतर एंटीसिमेट्री के अलावा तर्कों के पहले और दूसरे जोड़े के बीच: $R_{jik\ell }=-R_{ijk\ell }=R_{ij\ell k}$.

टेंसर का सममित भाग

कल्पना करना $V$ विशेषता (बीजगणित) 0 के एक क्षेत्र पर एक सदिश स्थान है। यदि T ∈ V^⊗k ऑर्डर का टेन्सर है $k$, फिर का सममित भाग $T$ द्वारा परिभाषित सममित टेंसर है

$\operatorname {Sym} \,T={\frac {1}{k!}}\sum _{\sigma \in {\mathfrak {S}}_{k}}\tau _{\sigma }T,$

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

$T=T_{i_{1}i_{2}\cdots i_{k}}e^{i_{1}}\otimes e^{i_{2}}\otimes \cdots \otimes e^{i_{k}},$

तब

$\operatorname {Sym} \,T={\frac {1}{k!}}\sum _{\sigma \in {\mathfrak {S}}_{k}}T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma k}}e^{i_{1}}\otimes e^{i_{2}}\otimes \cdots \otimes e^{i_{k}}.$

दाई ओर दिखाई देने वाले टेन्सर के घटकों को प्राय: किसके द्वारा निरूपित किया जाता है?

$T_{(i_{1}i_{2}\cdots i_{k})}={\frac {1}{k!}}\sum _{\sigma \in {\mathfrak {S}}_{k}}T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma k}}$

कोष्ठकों के साथ () सूचकांकों को सममित किया जा रहा है। स्क्वायर ब्रैकेट [] का उपयोग एंटी-सममितीकरण को इंगित करने के लिए किया जाता है।

सममित उत्पाद

यदि T एक साधारण टेंसर है, जिसे शुद्ध टेन्सर उत्पाद के रूप में दिया गया है

$T=v_{1}\otimes v_{2}\otimes \cdots \otimes v_{r}$

तब T का सममित भाग कारकों का सममित उत्पाद है:

$v_{1}\odot v_{2}\odot \cdots \odot v_{r}:={\frac {1}{r!}}\sum _{\sigma \in {\mathfrak {S}}_{r}}v_{\sigma 1}\otimes v_{\sigma 2}\otimes \cdots \otimes v_{\sigma r}.$

सामान्य तौर पर हम क्रमविनिमेय और साहचर्य गुणनफल ⊙ को परिभाषित करके Sym(V) को बीजगणित में बदल सकते हैं। दो टेंसर दिए गए हैं T₁ ∈ Sym^k₁(V) और T₂ ∈ Sym^k₂(V), हम सममितीकरण ऑपरेटर का उपयोग परिभाषित करने के लिए करते हैं:

$T_{1}\odot T_{2}=\operatorname {Sym} (T_{1}\otimes T_{2})\quad \left(\in \operatorname {Sym} ^{k_{1}+k_{2}}(V)\right).$

इसे सत्यापित किया जा सकता है (जैसा कि कोस्ट्रिकिन और मैनिन ने किया है परिणामी उत्पाद वास्तव में क्रमविनिमेय और साहचर्य है। कुछ मामलों में ऑपरेटर छोड़ा गया है: T₁T₂ = T₁ ⊙ T₂.

कुछ मामलों में एक घातीय संकेतन का उपयोग किया जाता है:

$v^{\odot k}=\underbrace {v\odot v\odot \cdots \odot v} _{k{\text{ times}}}=\underbrace {v\otimes v\otimes \cdots \otimes v} _{k{\text{ times}}}=v^{\otimes k}.$

जहाँ v एक सदिश राशि है। दोबारा, कुछ मामलों में ⊙ को छोड़ दिया जाता है:

$v^{k}=\underbrace {v\,v\,\cdots \,v} _{k{\text{ times}}}=\underbrace {v\odot v\odot \cdots \odot v} _{k{\text{ times}}}.$

अपघटन

सममित मैट्रिक्स के सिद्धांत के अनुरूप, क्रम 2 के एक (वास्तविक) सममित टेंसर को विकर्ण किया जा सकता है। अधिक सटीकता से, किसी टेन्सर T ∈ Sym के लिए²(V), एक पूर्णांक r है, गैर-शून्य इकाई वैक्टर v₁,...,में_r∈ वी और वजन λ₁,..., एल_r ऐसा है कि

$T=\sum _{i=1}^{r}\lambda _{i}\,v_{i}\otimes v_{i}.$

न्यूनतम संख्या आर जिसके लिए इस तरह का अपघटन संभव है, टी का (सममित) रैंक है। इस न्यूनतम अभिव्यक्ति में दिखाई देने वाले वैक्टर टेन्सर के प्रधान अक्ष प्रमेय हैं, और आम तौर पर एक महत्वपूर्ण भौतिक अर्थ है। उदाहरण के लिए, जड़ता टेंसर के प्रमुख अक्ष जड़ता के क्षण का प्रतिनिधित्व करने वाले पॉइन्सॉट के दीर्घवृत्त को परिभाषित करते हैं। सिल्वेस्टर का जड़त्व का नियम भी देखें।

मनमाना क्रम k के सममित टेंसरों के लिए, अपघटन

$T=\sum _{i=1}^{r}\lambda _{i}\,v_{i}^{\otimes k}$

भी संभव हैं। न्यूनतम संख्या आर जिसके लिए इस तरह का अपघटन संभव है सममित टेंसर (आंतरिक परिभाषा) # टी का टेंसर रैंक है। इस न्यूनतम अपघटन को वारिंग अपघटन कहा जाता है; यह टेंसर रैंक अपघटन का एक सममित रूप है। दूसरे क्रम के टेंसरों के लिए यह किसी भी आधार पर टेंसर का प्रतिनिधित्व करने वाले मैट्रिक्स के रैंक से मेल खाता है, और यह सर्वविदित है कि अधिकतम रैंक अंतर्निहित वेक्टर स्थान के आयाम के बराबर है। हालांकि, उच्च ऑर्डर के लिए यह जरूरी नहीं है: रैंक अंतर्निहित वेक्टर स्पेस में आयामों की संख्या से अधिक हो सकती है। इसके अलावा, एक सममित टेंसर की रैंक और सममित रैंक भिन्न हो सकती है।

यह भी देखें

• एंटीसिमेट्रिक टेंसर
• घुंघराले पथरी
• शूर बहुपद
• सममित बहुपद
• खिसकाना ़ करें
• युवा समरूपता

संदर्भ

• Bourbaki, Nicolas (1989), Elements of mathematics, Algebra I, Springer-Verlag, ISBN 3-540-64243-9.
• Bourbaki, Nicolas (1990), Elements of mathematics, Algebra II, Springer-Verlag, ISBN 3-540-19375-8.
• Greub, Werner Hildbert (1967), Multilinear algebra, Die Grundlehren der Mathematischen Wissenschaften, Band 136, Springer-Verlag New York, Inc., New York, MR 0224623.
• Sternberg, Shlomo (1983), Lectures on differential geometry, New York: Chelsea, ISBN 978-0-8284-0316-0.

बाहरी संबंध

• Cesar O. Aguilar, The Dimension of Symmetric k-tensors