टेंसर (आंतरिक परिभाषा)

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

विभेदक ज्यामिति में, एक आंतरिक ज्यामितीय कथन को कई गुना  पर एक [[ टेन्सर  फ़ील्ड]] द्वारा वर्णित किया जा सकता है, और फिर निर्देशांक का संदर्भ देने की बिल्कुल भी आवश्यकता नहीं होती है। भौतिक संपत्ति का वर्णन करने वाले टेंसर फ़ील्ड के सामान्य सापेक्षता में भी यही सच है। घटक-मुक्त दृष्टिकोण का उपयोग अमूर्त बीजगणित और होमोलॉजिकल बीजगणित में भी बड़े पैमाने पर किया जाता है, जहां टेंसर स्वाभाविक रूप से उत्पन्न होते हैं।


 * नोट: यह लेख चुने गए आधार (रैखिक बीजगणित) के बिना वेक्टर रिक्त स्थान के टेंसर उत्पाद की समझ मानता है। विषय का अवलोकन मुख्य टेंसर लेख में पाया जा सकता है।

वेक्टर स्थानों के टेंसर उत्पादों के माध्यम से परिभाषा
एक परिमित समुच्चय दिया गया है { V1, ..., Vn } एक सामान्य फ़ील्ड (गणित) एफ पर वेक्टर रिक्त स्थान का, कोई अपना टेन्सर उत्पाद बना सकता है#वेक्टर रिक्त स्थान का टेन्सर उत्पाद V1 ⊗ ... ⊗ Vn, जिसके एक तत्व को टेंसर कहा जाता है।

वेक्टर स्पेस V पर एक टेंसर को तब फॉर्म के वेक्टर स्पेस के एक तत्व (यानी, एक वेक्टर इन) के रूप में परिभाषित किया जाता है:


 * $$V \otimes \cdots \otimes V \otimes V^* \otimes \cdots \otimes V^*$$

जहां वी∗V का दोहरा स्थान है।

यदि V की m प्रतियाँ और V की n प्रतियाँ हैं∗हमारे उत्पाद में, टेंसर को कहा जाता हैtype (m, n) और क्रम एम के प्रतिपरिवर्ती और क्रम एन के सहसंयोजक और कुल टेंसर ऑर्डर के m + n. क्रम शून्य के टेंसर केवल अदिश (क्षेत्र F के तत्व) हैं, विपरीत क्रम 1 वाले टेंसर V में सदिश हैं, और सहसंयोजक क्रम 1 वाले टेंसर V में रैखिक कार्यात्मक|एक-रूप हैं∗ (इस कारण से, अंतिम दो स्थानों के तत्वों को अक्सर कॉन्ट्रावेरिएंट और सहसंयोजक वैक्टर कहा जाता है)। प्रकार के सभी टेंसरों का स्थान (m, n) दर्शाया गया है


 * $$ T^m_n(V) = \underbrace{ V\otimes \dots \otimes V}_{m} \otimes \underbrace{ V^*\otimes \dots \otimes V^*}_{n}.$$

उदाहरण 1. प्रकार का स्थान (1, 1) टेंसर, $$T^1_1(V) = V \otimes V^*,$$ वी से वी तक रैखिक परिवर्तनों के स्थान के लिए प्राकृतिक तरीके से आइसोमोर्फिक है।

'उदाहरण 2.' वास्तविक सदिश समष्टि V पर एक द्विरेखीय रूप, $$V\times V \to F,$$ एक प्रकार से प्राकृतिक तरीके से मेल खाता है (0, 2) टेंसर इन $$T^0_2 (V) = V^* \otimes V^*.$$ ऐसे द्विरेखीय रूप का एक उदाहरण परिभाषित किया जा सकता है,संबंधित मीट्रिक टेंसर कहा जाता है, और आमतौर पर इसे जी दर्शाया जाता है।

टेंसर रैंक
एक साधारण टेंसर (जिसे रैंक एक का टेंसर, प्राथमिक टेंसर या डीकंपोजेबल टेंसर भी कहा जाता है) ) एक टेंसर है जिसे फॉर्म के टेंसर के उत्पाद के रूप में लिखा जा सकता है


 * $$T=a\otimes b\otimes\cdots\otimes d$$

जहां ए, बी, ..., डी शून्येतर हैं और वी या वी में हैं∗ - अर्थात, यदि टेंसर शून्येतर और पूरी तरह से गुणनखंडन है। प्रत्येक टेंसर को सरल टेंसर के योग के रूप में व्यक्त किया जा सकता है। टेन्सर T की रैंक सरल टेन्सर की न्यूनतम संख्या है जिसका योग T होता है.

शून्य टेंसर की रैंक शून्य होती है। एक गैर-शून्य क्रम 0 या 1 टेंसर की रैंक हमेशा 1 होती है। एक गैर-शून्य क्रम 2 या उच्चतर टेंसर की रैंक उच्चतम-आयाम वाले वैक्टर को छोड़कर सभी के आयामों के उत्पाद से कम या उसके बराबर होती है (उत्पादों का योग) ) जिससे टेंसर को व्यक्त किया जा सकता है, जो कि d है जब प्रत्येक उत्पाद आयाम d के परिमित-आयामी वेक्टर स्थान से n वैक्टर का होता है।

टेंसर की रैंक शब्द रैखिक बीजगणित में मैट्रिक्स की रैंक की धारणा को विस्तारित करता है, हालांकि इस शब्द का उपयोग अक्सर टेंसर के क्रम (या डिग्री) के अर्थ के लिए भी किया जाता है। मैट्रिक्स की रैंक पंक्ति और कॉलम रिक्त स्थान को फैलाने के लिए आवश्यक कॉलम वैक्टर की न्यूनतम संख्या है। इस प्रकार एक मैट्रिक्स की रैंक एक होती है यदि इसे दो गैर-शून्य वैक्टरों के बाहरी उत्पाद के रूप में लिखा जा सकता है:


 * $$A = v w^{\mathrm{T}}.$$

मैट्रिक्स ए की रैंक ऐसे बाहरी उत्पादों की सबसे छोटी संख्या है जिसे इसे उत्पन्न करने के लिए जोड़ा जा सकता है:


 * $$A = v_1w_1^\mathrm{T} + \cdots + v_k w_k^\mathrm{T}.$$

सूचकांकों में, रैंक 1 का टेंसर फॉर्म का टेंसर होता है


 * $$T_{ij\dots}^{k\ell\dots}=a_i b_j \cdots c^k d^\ell\cdots.$$

क्रम 2 के टेंसर की रैंक रैंक से सहमत होती है जब टेंसर को मैट्रिक्स (गणित) के रूप में माना जाता है, और उदाहरण के लिए गाऊसी उन्मूलन से निर्धारित किया जा सकता है। हालाँकि ऑर्डर 3 या उच्चतर टेंसर की रैंक निर्धारित करना अक्सर बहुत कठिन होता है, और टेंसर की निम्न रैंक का अपघटन कभी-कभी बहुत व्यावहारिक रुचि का होता है. मैट्रिक्स के कुशल गुणन और बहुपदों के कुशल मूल्यांकन जैसे कम्प्यूटेशनल कार्यों को एक साथ द्विरेखीय रूपों के सेट के मूल्यांकन की समस्या के रूप में पुनर्गठित किया जा सकता है।


 * $$z_k = \sum_{ij} T_{ijk}x_iy_j$$

दिए गए इनपुट के लिए xiऔर यj. यदि टेंसर टी का निम्न-रैंक अपघटन ज्ञात है, तो एक कुशल मूल्यांकन रणनीति ज्ञात है.

सार्वभौमिक संपत्ति
अंतरिक्ष $$T^m_n(V)$$ बहुरेखीय मानचित्रण के संदर्भ में इसे एक सार्वभौमिक संपत्ति द्वारा चित्रित किया जा सकता है। इस दृष्टिकोण के फायदों में से यह है कि यह यह दिखाने का एक तरीका देता है कि कई रैखिक मानचित्रण प्राकृतिक या ज्यामितीय हैं (दूसरे शब्दों में आधार की किसी भी पसंद से स्वतंत्र हैं)। स्पष्ट कम्प्यूटेशनल जानकारी को फिर आधारों का उपयोग करके लिखा जा सकता है, और प्राथमिकताओं का यह क्रम प्राकृतिक मानचित्रण को जन्म देने वाले सूत्र को साबित करने से अधिक सुविधाजनक हो सकता है। दूसरा पहलू यह है कि टेंसर उत्पादों का उपयोग केवल मुफ़्त मॉड्यूल के लिए नहीं किया जाता है, और सार्वभौमिक दृष्टिकोण अधिक सामान्य स्थितियों में अधिक आसानी से लागू होता है।

वेक्टर रिक्त स्थान के कार्टेशियन उत्पाद (या मॉड्यूल का प्रत्यक्ष योग) पर एक स्केलर-मूल्यवान फ़ंक्शन


 * $$f : V_1\times\cdots\times V_N \to F$$

यदि यह प्रत्येक तर्क में रैखिक है तो बहुरेखीय है। से सभी बहुरेखीय मानचित्रणों का स्थान V1 × ... × VN से W को L दर्शाया गया हैएन(बी1, ..., मेंN; डब्ल्यू). जब N = 1, एक बहुरेखीय मानचित्रण केवल एक साधारण रैखिक मानचित्रण होता है, और V से W तक सभी रैखिक मानचित्रणों का स्थान दर्शाया जाता है L(V; W).

टेंसर उत्पाद#यूनिवर्सल प्रॉपर्टी का तात्पर्य यह है कि, प्रत्येक बहुरेखीय फ़ंक्शन के लिए


 * $$f\in L^{m+n}(\underbrace{V^*,\ldots,V^*}_m,\underbrace{V,\ldots,V}_n;W)$$

(कहाँ $$W$$ अदिश क्षेत्र, एक सदिश समष्टि, या एक टेंसर समष्टि का प्रतिनिधित्व कर सकता है) एक अद्वितीय रैखिक फ़ंक्शन मौजूद है


 * $$T_f \in L(\underbrace{V^*\otimes\cdots\otimes V^*}_m \otimes \underbrace{V\otimes\cdots\otimes V}_n; W)$$

ऐसा है कि


 * $$f(\alpha_1,\ldots,\alpha_m, v_1,\ldots,v_n) = T_f(\alpha_1\otimes\cdots\otimes\alpha_m \otimes v_1\otimes\cdots\otimes v_n)$$

सभी के लिए $$v_i \in V$$ और $$\alpha_i \in V^*.$$ सार्वभौमिक संपत्ति का उपयोग करते हुए, यह निम्नानुसार है कि (m,n)-टेंसर्स का स्थान एक प्राकृतिक समरूपता को स्वीकार करता है


 * $$T^m_n(V) \cong L(\underbrace{V^* \otimes \cdots \otimes V^*}_m \otimes \underbrace{V \otimes \cdots \otimes V}_n; F) \cong L^{m+n}(\underbrace{V^*, \ldots,V^*}_m,\underbrace{V,\ldots,V}_n; F).$$

टेंसर की परिभाषा में प्रत्येक V एक V से मेल खाता है*रेखीय मानचित्रों के तर्क के अंदर, और इसके विपरीत। (ध्यान दें कि पहले मामले में, V की m प्रतियां और V की n प्रतियां हैं*, और बाद वाले मामले में इसके विपरीत)। विशेष रूप से, एक के पास है


 * $$\begin{align}

T^1_0(V) &\cong L(V^*;F) \cong V,\\ T^0_1(V) &\cong L(V;F) = V^*,\\ T^1_1(V) &\cong L(V;V). \end{align}$$

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