गणित में, विशेष रूप से रैखिक बीजगणित, टेंसर विश्लेषण और अंतर ज्यामिति में, लेवी-सिविटा प्रतीक या लेवी-सिविटा एप्सिलॉन संख्याओं के संग्रह का प्रतिनिधित्व करता है; प्राकृतिक संख्याओं के क्रमपरिवर्तन की समता से परिभाषित 1, 2, ..., n, कुछ सकारात्मक पूर्णांक के लिए n. इसका नाम इतालवी गणितज्ञ और भौतिक विज्ञानी टुलियो लेवी-सिविटा के नाम पर रखा गया है। अन्य नामों में क्रमपरिवर्तन प्रतीक, एंटीसिमेट्रिक प्रतीक, या वैकल्पिक प्रतीक शामिल हैं, जो क्रमपरिवर्तन के संदर्भ में इसकी एंटीसिमेट्रिक टेंसर संपत्ति और परिभाषा को संदर्भित करता है।
लेवी-सिविटा प्रतीक को दर्शाने के लिए मानक अक्षर ग्रीक लोअर केस एप्सिलॉन हैं ε या ϵ, या कम सामान्यतः लैटिन लोअर केस e. इंडेक्स नोटेशन टेंसर विश्लेषण के साथ संगत तरीके से क्रमपरिवर्तन प्रदर्शित करने की अनुमति देता है:
जहां प्रत्येक सूचकांक i1, i2, ..., in मान लेता है 1, 2, ..., n. वहाँ हैं nn के अनुक्रमित मान εi1i2...in, जिसे एक में व्यवस्थित किया जा सकता है n-आयामी सरणी। प्रतीक की प्रमुख परिभाषित संपत्ति सूचकांकों में कुल एंटीसिमेट्री है। जब किन्हीं दो सूचकांकों को आपस में बदल दिया जाता है, बराबर या नहीं, तो प्रतीक अस्वीकृत हो जाता है:
यदि कोई दो सूचकांक बराबर हों, तो प्रतीक शून्य होता है। जब सभी सूचकांक असमान होते हैं, तो हमारे पास होता है:
कहाँ पे p (क्रमपरिवर्तन की समता कहा जाता है) अनस्क्रैम्बल के लिए आवश्यक सूचकांकों के जोड़ीदार इंटरचेंज की संख्या है i1, i2, ..., in क्रम में 1, 2, ..., n, और कारक (−1)p क्रमचय के क्रमपरिवर्तन की समता कहलाती है। मूल्य ε1 2 ... n परिभाषित किया जाना चाहिए, अन्यथा सभी क्रमपरिवर्तन के लिए प्रतीक के विशेष मूल्य अनिश्चित हैं। अधिकांश लेखक चुनते हैं ε1 2 ... n = +1, जिसका अर्थ है कि लेवी-सिविटा प्रतीक एक क्रमपरिवर्तन के संकेत के बराबर होता है जब सूचकांक सभी असमान होते हैं। इस विकल्प का उपयोग इस पूरे लेख में किया गया है।
शब्दn-आयामी लेवी-सिविटा प्रतीक इस तथ्य को दर्शाता है कि प्रतीक पर सूचकांकों की संख्या n विचाराधीन सदिश स्थान की विमा से मेल खाता है, जो यूक्लिडियन स्थान या गैर-यूक्लिडियन स्थान हो सकता है|गैर-यूक्लिडियन, उदाहरण के लिए, या मिंकोवस्की अंतरिक्ष। लेवी-सिविटा प्रतीक के मान किसी भी मीट्रिक टेंसर और समन्वय प्रणाली से स्वतंत्र होते हैं। इसके अलावा, विशिष्ट शब्द प्रतीक इस बात पर जोर देता है कि यह एक टेंसर नहीं है क्योंकि यह समन्वय प्रणालियों के बीच कैसे बदलता है; हालाँकि इसे एक टेंसर घनत्व के रूप में व्याख्या किया जा सकता है।
लेवी-सिविटा प्रतीक एक वर्ग मैट्रिक्स के निर्धारक और त्रि-आयामी यूक्लिडियन अंतरिक्ष में दो वैक्टरों के क्रॉस उत्पाद को आइंस्टीन संकेतन में व्यक्त करने की अनुमति देता है।
लेवी-सिविटा प्रतीक का उपयोग अक्सर तीन और चार आयामों में और कुछ हद तक दो आयामों में किया जाता है, इसलिए ये सामान्य मामले को परिभाषित करने से पहले यहां दिए गए हैं।
दो आयाम
दो आयामों में, लेवी-सिविटा प्रतीक द्वारा परिभाषित किया गया है:
मानों को 2 × 2 एंटीसिमेट्रिक मैट्रिक्स में व्यवस्थित किया जा सकता है:
द्वि-आयामी प्रतीक का उपयोग अपेक्षाकृत असामान्य है, हालांकि कुछ विशेष विषयों जैसे सुपरसिमेट्री में[1] और ट्विस्टर सिद्धांत[2] यह 2-स्पिनर के संदर्भ में प्रकट होता है। त्रि- और उच्च-आयामी लेवी-सिविटा प्रतीकों का अधिक सामान्यतः उपयोग किया जाता है।
तीन आयाम
सूचकांकों के लिए (i, j, k) में εijk, मूल्य 1, 2, 3 में हो रहा है चक्रीय क्रम (1, 2, 3) के अनुरूप ε = +1, में होने के दौरान रिवर्स चक्रीय क्रम के अनुरूप है ε = −1, अन्यथा ε = 0.
तीन आयामों में, लेवी-सिविटा प्रतीक द्वारा परिभाषित किया गया है:[3]
वह है, εijk है 1 यदि (i, j, k) का सम और विषम क्रमपरिवर्तन है (1, 2, 3), −1 यदि यह एक विषम क्रमपरिवर्तन है, और 0 यदि कोई अनुक्रमणिका दोहराई जाती है। केवल तीन आयामों में, के चक्रीय क्रमपरिवर्तन (1, 2, 3) सभी सम क्रमपरिवर्तन हैं, इसी प्रकार प्रतिचक्रीय क्रमपरिवर्तन सभी विषम क्रमपरिवर्तन हैं। इसका मतलब है कि 3d में यह का चक्रीय या प्रतिचक्रीय क्रमपरिवर्तन लेने के लिए पर्याप्त है (1, 2, 3) और आसानी से सभी सम या विषम क्रमपरिवर्तन प्राप्त कर सकते हैं।
2-आयामी मैट्रिक्स के अनुरूप, 3-आयामी लेवी-सिविटा प्रतीक के मूल्यों को एक में व्यवस्थित किया जा सकता है 3 × 3 × 3 सरणी:
कहाँ पे i गहराई है (blue: i = 1; red: i = 2; green: i = 3), j पंक्ति है और k स्तंभ है।
कुछ उदाहरण:
चार आयाम
चार-आयामी अंतरिक्ष में, लेवी-सिविटा प्रतीक द्वारा परिभाषित किया गया है:
इन मानों को a . में व्यवस्थित किया जा सकता है 4 × 4 × 4 × 4 सरणी, हालांकि 4 आयामों और उच्चतर में इसे खींचना मुश्किल है।
कुछ उदाहरण:
n आयामों का सामान्यीकरण
अधिक सामान्यतः, n-आयामी अंतरिक्ष में|n आयाम, लेवी-सिविटा प्रतीक द्वारा परिभाषित किया गया है:[4]
इस प्रकार, यह क्रमपरिवर्तन के मामले में सम और विषम क्रमपरिवर्तन है, और अन्यथा शून्य।
गुणन का उपयोग करना#कैपिटल पाई नोटेशन Π संख्याओं के साधारण गुणन के लिए, प्रतीक के लिए एक स्पष्ट व्यंजक है:[citation needed]
जहां साइनम फ़ंक्शन (निरूपित) sgn) गैर-शून्य होने पर निरपेक्ष मान को त्यागते हुए अपने तर्क का संकेत देता है। सूत्र सभी सूचकांक मूल्यों के लिए मान्य है, और किसी के लिए भी n (जब n = 0 या n = 1, यह खाली उत्पाद है)। हालाँकि, ऊपर दिए गए सूत्र की गणना भोलेपन से करने की समय जटिलता है O(n2), जबकि चिन्ह की गणना उसके क्रमपरिवर्तन से क्रमपरिवर्तन की समता से की जा सकती है#साइकिल संकेतन केवल में O(n log(n)) लागत।
गुण
एक टेंसर जिसके घटकों को एक ऑर्थोनॉर्मल आधार पर लेवी-सिविटा प्रतीक (सहसंयोजक का एक टेंसर और वैक्टर रैंक के विपरीत) द्वारा दिया जाता है n) को कभी-कभी क्रमपरिवर्तन टेंसर कहा जाता है।
टेंसर के लिए सामान्य परिवर्तन नियमों के तहत लेवी-सिविटा प्रतीक शुद्ध घुमावों के तहत अपरिवर्तित है, इसके अनुरूप यह (परिभाषा के अनुसार) ऑर्थोगोनल परिवर्तनों से संबंधित सभी समन्वय प्रणालियों में समान है। हालांकि, लेवी-सिविटा प्रतीक एक स्यूडोटेंसर है क्योंकि जैकोबियन मैट्रिक्स और निर्धारक -1 के ऑर्थोगोनल मैट्रिक्स के तहत, उदाहरण के लिए, विषम संख्या में आयामों में एक प्रतिबिंब (गणित), इसे एक ऋण चिह्न प्राप्त करना चाहिए, यदि यह एक टेंसर थे। चूंकि यह बिल्कुल भी नहीं बदलता है, लेवी-सिविटा प्रतीक, परिभाषा के अनुसार, एक स्यूडोटेंसर है।
चूंकि लेवी-सिविटा प्रतीक एक स्यूडोटेंसर है, इसलिए क्रॉस उत्पाद लेने का परिणाम एक छद्म वेक्टर है, वेक्टर नहीं।[5]
एक सामान्य समन्वय परिवर्तन के तहत, क्रमचय टेंसर के घटकों को जैकोबियन मैट्रिक्स और परिवर्तन मैट्रिक्स के निर्धारक द्वारा गुणा किया जाता है। इसका तात्पर्य यह है कि समन्वयित फ़्रेमों में, जिसमें टेंसर को परिभाषित किया गया था, से भिन्न होते हैं, इसके घटक लेवी-सिविटा प्रतीक से एक समग्र कारक से भिन्न हो सकते हैं। यदि फ़्रेम ऑर्थोनॉर्मल है, तो फ़ैक्टर ±1 होगा जो इस पर निर्भर करता है कि फ़्रेम का ओरिएंटेशन समान है या नहीं।[5]
इंडेक्स-फ्री टेंसर नोटेशन में, लेवी-सिविटा प्रतीक को हॉज डुअल की अवधारणा से बदल दिया गया है।
आइंस्टीन संकेतन का उपयोग करके योग प्रतीकों को समाप्त किया जा सकता है, जहां दो या दो से अधिक शब्दों के बीच दोहराया गया सूचकांक उस सूचकांक पर योग को इंगित करता है। उदाहरण के लिए,
.
निम्नलिखित उदाहरणों में, आइंस्टीन संकेतन का उपयोग किया जाता है।
दो आयाम
दो आयामों में, जब सभी i, j, m, n प्रत्येक मान 1 और 2 लेते हैं:[3]
(1)
(2)
(3)
तीन आयाम
सूचकांक और प्रतीक मान
तीन आयामों में, जब सभी i, j, k, m, n प्रत्येक मान 1, 2, और 3 लेते हैं:[3]
(4)
(5)
(6)
उत्पाद
लेवी-सिविटा प्रतीक क्रोनकर डेल्टा से संबंधित है। तीन आयामों में, संबंध निम्नलिखित समीकरणों द्वारा दिया जाता है (ऊर्ध्वाधर रेखाएं निर्धारक को दर्शाती हैं):[4]
आइंस्टीन संकेतन में, का दोहराव i सूचकांक का तात्पर्य योग पर है i. पिछला तब निरूपित किया जाता है εijkεimn = δjmδkn − δjnδkm.
एन आयाम
सूचकांक और प्रतीक मान
में n आयाम, जब सभी i1, ...,in, j1, ..., jn मान लें 1, 2, ..., n:
(7)
(8)
(9)
जहां विस्मयादिबोधक चिह्न (!) भाज्य को दर्शाता है, और δα... β... सामान्यीकृत क्रोनकर डेल्टा है। किसी के लिए n, संपत्ति
इस तथ्य से अनुसरण करता है कि
हर क्रमपरिवर्तन या तो सम या विषम होता है,
(+1)2 = (−1)2 = 1, तथा
किसी के क्रमपरिवर्तन की संख्या n-तत्व सेट संख्या बिल्कुल है n!.
उत्पाद
सामान्य तौर पर, के लिए n आयाम, कोई दो लेवी-सिविटा प्रतीकों के उत्पाद को इस प्रकार लिख सकता है:
सबूत
के लिये (1), दोनों पक्ष के संबंध में एंटीसिमेट्रिक हैं ij तथा mn. इसलिए हमें केवल मामले पर विचार करने की आवश्यकता है i ≠ j तथा m ≠ n. प्रतिस्थापन द्वारा, हम देखते हैं कि समीकरण के लिए धारण करता है ε12ε12, अर्थात्, के लिए i = m = 1 तथा j = n = 2. (दोनों पक्ष तब एक हैं)। चूंकि समीकरण में एंटीसिमेट्रिक है ij तथा mn, इनके लिए मूल्यों के किसी भी सेट को उपरोक्त मामले (जो धारण करता है) में घटाया जा सकता है। इस प्रकार समीकरण के सभी मानों के लिए धारण करता है ij तथा mn.
यहां हमने आइंस्टीन के योग सम्मेलन का इस्तेमाल किया i 1 से 2 तक जा रहा है। अगला, (3) से इसी प्रकार अनुसरण करता है (2)
स्थापित करना (5), ध्यान दें कि दोनों पक्ष गायब हो जाते हैं जब i ≠ j. दरअसल, अगर i ≠ j, तो कोई नहीं चुन सकता m तथा n जैसे कि बाईं ओर के दोनों क्रमपरिवर्तन चिह्न अशून्य हैं। फिर, साथ i = j फिक्स्ड, चुनने के केवल दो तरीके हैं m तथा n शेष दो सूचकांकों से। ऐसे किसी भी सूचकांक के लिए, हमारे पास है
(कोई योग नहीं), और परिणाम इस प्रकार है।
फिर (6) से अनुसरण करता है 3! = 6 और किसी भी विशिष्ट सूचकांक के लिए i, j, k मान लेना 1, 2, 3, अपने पास
(कोई योग नहीं, विशिष्ट i, j, k)
अनुप्रयोग और उदाहरण
निर्धारक
रैखिक बीजगणित में, a . का सारणिक 3 × 3 वर्ग मैट्रिक्स A = [aij] लिखा जा सकता है[6]
इसी प्रकार an . का निर्धारक n × n आव्यूह A = [aij] के रूप में लिखा जा सकता है[5]
जहां प्रत्येक ir सारांशित किया जाना चाहिए 1, ..., n, या समकक्ष:
जहां अब प्रत्येक ir और प्रत्येक jr सारांशित किया जाना चाहिए 1, ..., n. अधिक आम तौर पर, हमारे पास पहचान है[5]
होने देना एक ओरिएंटेशन (वेक्टर स्पेस) एक वेक्टर स्पेस का ऑर्थोनॉर्मल बेस। यदि (a1, a2, a3) तथा (b1, b2, b3) सदिश (ज्यामिति) s . के निर्देशांक हैं a तथा b इस आधार पर, उनके क्रॉस उत्पाद को एक निर्धारक के रूप में लिखा जा सकता है:[5]
इसलिए लेवी-सिविटा प्रतीक का भी उपयोग करना, और अधिक सरलता से:
आइंस्टीन संकेतन में, योग प्रतीकों को छोड़ा जा सकता है, और iउनके क्रॉस उत्पाद का वां घटक बराबर होता है[4]
पहला घटक है
फिर के चक्रीय क्रमपरिवर्तन द्वारा 1, 2, 3 अन्य को उपरोक्त सूत्रों से स्पष्ट रूप से गणना किए बिना, तुरंत प्राप्त किया जा सकता है:
ट्रिपल स्केलर उत्पाद (तीन वैक्टर)
क्रॉस उत्पाद के लिए उपरोक्त अभिव्यक्ति से, हमारे पास है:
.
यदि c = (c1, c2, c3) एक तीसरा वेक्टर है, तो ट्रिपल स्केलर उत्पाद बराबर होता है
इस अभिव्यक्ति से, यह देखा जा सकता है कि किसी भी जोड़े के तर्कों का आदान-प्रदान करते समय ट्रिपल स्केलर उत्पाद एंटीसिमेट्रिक है। उदाहरण के लिए,
.
कर्ल (एक वेक्टर क्षेत्र)
यदि F = (F1, F2, F3) के कुछ खुले सेट पर परिभाषित एक सदिश क्षेत्र है स्थिति वेक्टर के एक फ़ंक्शन (गणित) के रूप में x = (x1, x2, x3) (कार्टेशियन निर्देशांक का उपयोग करके)। फिर iकर्ल (गणित) का वां घटक F बराबरी[4]
जो ग्रेडिएंट वेक्टर लीनियर ऑपरेटर (नाबला) के घटकों को प्रतिस्थापित करते हुए, उपरोक्त क्रॉस उत्पाद अभिव्यक्ति से अनुसरण करता है।
टेंसर घनत्व
किसी भी मनमानी वक्रीय समन्वय प्रणाली में और यहां तक कि कई गुना पर एक मीट्रिक टेंसर की अनुपस्थिति में, ऊपर परिभाषित लेवी-सिविटा प्रतीक को दो अलग-अलग तरीकों से एक टेंसर घनत्व क्षेत्र माना जा सकता है। इसे भार +1 के वैक्टर टेंसर घनत्व या वजन -1 के सहसंयोजक टेंसर घनत्व के एक सहसंयोजक और विरोधाभास के रूप में माना जा सकता है। सामान्यीकृत क्रोनकर डेल्टा का उपयोग करते हुए n आयामों में,[7][8]
ध्यान दें कि ये संख्यात्मक रूप से समान हैं। विशेष रूप से, संकेत वही है।
लेवी-सिविटा टेंसर
छद्म-रिमेंनियन मैनिफोल्ड पर, कोई एक समन्वय-अपरिवर्तनीय सहसंयोजक टेंसर क्षेत्र को परिभाषित कर सकता है जिसका समन्वय प्रतिनिधित्व लेवी-सिविटा प्रतीक से सहमत होता है जहां समन्वय प्रणाली ऐसी होती है कि स्पर्शरेखा स्थान का आधार मीट्रिक के संबंध में ऑर्थोनॉर्मल होता है और एक से मेल खाता है चयनित अभिविन्यास। इस टेंसर को ऊपर बताए गए टेंसर घनत्व क्षेत्र के साथ भ्रमित नहीं होना चाहिए। इस खंड में प्रस्तुति बारीकी से इस प्रकार है Carroll 2004.
चयनित अभिविन्यास से मेल खाने वाली किसी भी समन्वय प्रणाली में सहसंयोजक लेवी-सिविटा टेंसर (रिमेंनियन वॉल्यूम फॉर्म के रूप में भी जाना जाता है) है
कहाँ पे gab उस समन्वय प्रणाली में मीट्रिक का प्रतिनिधित्व है। हम हमेशा की तरह मीट्रिक के साथ सूचकांकों को ऊपर उठाकर एक विपरीत लेवी-सिविटा टेंसर पर विचार कर सकते हैं,
लेकिन ध्यान दें कि यदि मीट्रिक हस्ताक्षर में विषम संख्या में नकारात्मक हैं q, तो इस टेंसर के घटकों का चिन्ह मानक लेवी-सिविटा प्रतीक से भिन्न होता है:
कहाँ पे sgn(det[gab]) = (−1)q, तथा इस लेख के बाकी हिस्सों में चर्चा की गई सामान्य लेवी-सिविटा प्रतीक है। अधिक स्पष्ट रूप से, जब टेंसर और आधार अभिविन्यास को इस तरह चुना जाता है कि , हमारे पास वह है .
इससे हम पहचान का अनुमान लगा सकते हैं,
कहाँ पे
सामान्यीकृत क्रोनकर डेल्टा है।
उदाहरण: मिंकोव्स्की अंतरिक्ष
मिंकोव्स्की अंतरिक्ष (विशेष सापेक्षता का चार-आयामी स्पेसटाइम) में, सहसंयोजक लेवी-सिविटा टेंसर है
जहां संकेत आधार के उन्मुखीकरण पर निर्भर करता है। contravariant Levi-Civita tensor is
निम्नलिखित सामान्य पहचान के उदाहरण हैं जो मिंकोव्स्की स्पेस के लिए विशिष्ट हैं (किसी भी साइन कन्वेंशन में मीट्रिक टेंसर के हस्ताक्षर में विषम संख्या से उत्पन्न होने वाले नकारात्मक चिह्न के साथ):
यह भी देखें
क्रमपरिवर्तन विषयों की सूची
सममित टेंसर
टिप्पणियाँ
↑Labelle, P. (2010). Supersymmetry. Demystified. McGraw-Hill. pp. 57–58. ISBN978-0-07-163641-4.
↑Lipcshutz, S.; Lipson, M. (2009). Linear Algebra. Schaum's Outlines (4th ed.). McGraw Hill. ISBN978-0-07-154352-1.
↑Murnaghan, F. D. (1925), "The generalized Kronecker symbol and its application to the theory of determinants", Amer. Math. Monthly, 32 (5): 233–241, doi:10.2307/2299191, JSTOR2299191
↑Lovelock, David; Rund, Hanno (1989). Tensors, Differential Forms, and Variational Principles. Courier Dover Publications. p. 113. ISBN0-486-65840-6.
संदर्भ
Misner, C.; Thorne, K. S.; Wheeler, J. A. (1973). Gravitation. W. H. Freeman & Co. pp. 85–86, §3.5. ISBN0-7167-0344-0.
Neuenschwander, D. E. (2015). Tensor Calculus for Physics. Johns Hopkins University Press. pp. 11, 29, 95. ISBN978-1-4214-1565-9.