सममित टेंसर

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


 * $$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_1i_2\cdots i_r} = T_{i_{\sigma 1}i_{\sigma 2}\cdots i_{\sigma r}}.$$

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

परिभाषा
मान लीजिए कि V सदिश समष्टि है एवं
 * $$T\in V^{\otimes k}$$

आदेश का टेंसर k। तब T सममित टेंसर है, यदि
 * $$\tau_\sigma T = T\,$$

प्रतीकों {1,2,...,k} पर प्रत्येक क्रमचय σ से संबंधित ब्रेडिंग मानचित्रों के लिए (या समतुल्य रूप से इन प्रतीकों पर प्रत्येक स्थानान्तरण (गणित) के लिए) है।

V के आधार {ei} को देखते हुए, रैंक k के किसी भी सममित टेन्सर T को इस रूप में लिखा जा सकता है।


 * $$T = \sum_{i_1,\ldots,i_k=1}^N T_{i_1i_2\cdots i_k} e^{i_1} \otimes e^{i_2}\otimes\cdots \otimes e^{i_k}$$

गुणांक की कुछ अनूठी सूची $$T_{i_1i_2\cdots i_k}$$ (आधार में टेंसर के घटक) जो सूचकांकों पर सममित हैं। अर्थात,


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

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

V पर परिभाषित क्रम k के सभी सममित टेंसरों का स्थान प्रायः Sk(V) या Symk(V) द्वारा निरूपित किया जाता है। यह स्वयं सदिश समष्टि है, एवं यदि V का आयाम N है, तो Symk(V) का आयाम द्विपद गुणांक है।


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

तत्पश्चात स्वयं = 0,1,2,... के लिए Sym(V) के प्रत्यक्ष योग के रूप में Symk(V) का निर्माण करते हैं।
 * $$\operatorname{Sym}(V)= \bigoplus_{k=0}^\infty \operatorname{Sym}^k(V).$$

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

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

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

रिमेंनियन कई गुना दिया गया $$(M,g)$$ इसके लेवी-सिविता कनेक्शन से लैस $$\nabla$$ है, रीमैन सहपरिवर्ती वक्रता टेंसर सदिश स्थान पर सममित क्रम 2 टेन्सर है $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 &isin; V&otimes;k क्रम का टेन्सर है $$k$$, का सममित भाग $$T$$ द्वारा परिभाषित सममित टेंसर है।
 * $$\operatorname{Sym}\, T = \frac{1}{k!}\sum_{\sigma\in\mathfrak{S}_k} \tau_\sigma T,$$

कश्मीर प्रतीकों पर सममित समूह पर विस्तार योग आधार के संदर्भ में, एवं आइंस्टीन योग सम्मेलन को नियोजित करते हुए, यदि
 * $$T = T_{i_1i_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_1i_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) को बीजगणित में परिवर्तित कर सकते हैं। दो टेंसर T1 &isin; Symk1(V) एवं T2 &isin; Symk2(V) दिए गए हैं। हम सममितीकरण ऑपरेटर का उपयोग परिभाषित करने के लिए करते हैं।
 * $$T_1\odot T_2 = \operatorname{Sym}(T_1\otimes T_2)\quad\left(\in\operatorname{Sym}^{k_1+k_2}(V)\right).$$

इसे सत्यापित किया जा सकता है (जैसा कि कोस्ट्रिकिन एवं मैनिन ने किया है परिणामी उत्पाद वास्तव में क्रमविनिमेय एवं साहचर्य है। कुछ स्थितियों जैसे T1T2 = T1 ⊙ T2 में ऑपरेटर को त्याग दिया जाता है।.

कुछ स्थितियों में घातीय संकेतन v का उपयोग किया जाता है।
 * $$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 ∈ Sym2(V) के लिए पूर्णांक r गैर-शून्य इकाई सदिश v1,...,vr ∈ V एवं वजन λ1,...,λr ऐसा है कि
 * $$T = \sum_{i=1}^r \lambda_i \, v_i\otimes v_i.$$

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

मनमाना क्रम k के सममित टेंसरों के लिए, अपघटन
 * $$T = \sum_{i=1}^r \lambda_i \, v_i^{\otimes k}$$

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

यह भी देखें

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

बाहरी संबंध

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