ग्रासमैन संख्या: Difference between revisions
No edit summary |
No edit summary |
||
Line 64: | Line 64: | ||
दूसरे स्थिति में, कोई जनरेटर की सीमित संख्या के साथ प्रारंभ कर सकता है, किन्तु दूसरी परिमाणीकरण के समय, अनंत संख्या में जनरेटर की आवश्यकता उत्पन्न होती है: प्रत्येक संभावित गति के लिए जो कि फ़र्मियन ले सकता है। | दूसरे स्थिति में, कोई जनरेटर की सीमित संख्या के साथ प्रारंभ कर सकता है, किन्तु दूसरी परिमाणीकरण के समय, अनंत संख्या में जनरेटर की आवश्यकता उत्पन्न होती है: प्रत्येक संभावित गति के लिए जो कि फ़र्मियन ले सकता है। | ||
== इनवोल्यूशन, | == इनवोल्यूशन, क्षेत्र का चुनाव == | ||
जटिल संख्याओं को सामान्यतः ग्रासमैन संख्याओं की परिभाषा के लिए क्षेत्र के रूप में चुना जाता है, जो वास्तविक संख्याओं के विपरीत होती है, क्योंकि यह कुछ अजीब व्यवहारों से बचा जाता है जब संयुग्मन या समावेशन (गणित) प्रस्तुत किया जाता है। ग्रासमैन संख्याों पर ऑपरेटर * का परिचय देना सामान्य है जैसे कि: | जटिल संख्याओं को सामान्यतः ग्रासमैन संख्याओं की परिभाषा के लिए क्षेत्र के रूप में चुना जाता है, जो वास्तविक संख्याओं के विपरीत होती है, क्योंकि यह कुछ अजीब व्यवहारों से बचा जाता है जब संयुग्मन या समावेशन (गणित) प्रस्तुत किया जाता है। ग्रासमैन संख्याों पर ऑपरेटर * का परिचय देना सामान्य है जैसे कि: | ||
:<math>\theta=\theta^*</math> | :<math>\theta=\theta^*</math> | ||
Line 71: | Line 71: | ||
इसके बाद ग्रासमैन संख्या z पर विचार किया जा सकता है <math>z=z^*</math>, और इन्हें (सुपर) वास्तविक कहते हैं, जबकि जो <math>z^*=-z</math> का पालन करते हैं उन्हें (सुपर) काल्पनिक कहा जाता है। ये परिभाषाएँ ठीक से चलती हैं, किन्तु ग्रासमैन संख्याएँ वास्तविक संख्याओं को आधार क्षेत्र के रूप में उपयोग करती हैं; चूँकि, ऐसे स्थिति में, कई गुणांक लुप्त होने के लिए विवश हो जाते हैं यदि जनरेटर की संख्या 4 से कम है। इस प्रकार, सम्मेलन द्वारा, ग्रासमान संख्या सामान्यतः जटिल संख्याओं पर परिभाषित की जाती है। | इसके बाद ग्रासमैन संख्या z पर विचार किया जा सकता है <math>z=z^*</math>, और इन्हें (सुपर) वास्तविक कहते हैं, जबकि जो <math>z^*=-z</math> का पालन करते हैं उन्हें (सुपर) काल्पनिक कहा जाता है। ये परिभाषाएँ ठीक से चलती हैं, किन्तु ग्रासमैन संख्याएँ वास्तविक संख्याओं को आधार क्षेत्र के रूप में उपयोग करती हैं; चूँकि, ऐसे स्थिति में, कई गुणांक लुप्त होने के लिए विवश हो जाते हैं यदि जनरेटर की संख्या 4 से कम है। इस प्रकार, सम्मेलन द्वारा, ग्रासमान संख्या सामान्यतः जटिल संख्याओं पर परिभाषित की जाती है। | ||
अन्य सम्मेलन संभव हैं; उपरोक्त को कभी-कभी डेविट | अन्य सम्मेलन संभव हैं; उपरोक्त को कभी-कभी डेविट परिपाटी के रूप में संदर्भित किया जाता है; रोजर्स सम्मिलित होने के लिए <math>\theta^*=i\theta</math> का प्रयोग करते हैं इस परिपाटी में, वास्तविक सुपरसंख्याों में हमेशा वास्तविक गुणांक होते हैं; जबकि डेविट परिपाटी में, वास्तविक सुपरसंख्याों में वास्तविक और काल्पनिक दोनों गुणांक हो सकते हैं। इसके अतिरिक्त, सामान्यतः डेविट परिपाटी के साथ काम करना सबसे आसान होता है। | ||
== विश्लेषण == | == विश्लेषण == | ||
ग्रासमैन वैरिएबल की विषम संख्या के उत्पाद एक-दूसरे के साथ एंटी-कम्यूट करते हैं; ऐसे उत्पाद को अधिकांश एक-संख्या कहा जाता है। ग्रासमैन वैरिएबल्स की सम संख्या वाले उत्पाद कम्यूट (सभी ग्रासमैन संख्याों के साथ); उन्हें अधिकांश [[ c-नंबर | c-संख्या]] कहा जाता है। शब्दावली के दुरुपयोग से, a-संख्या को कभी-कभी ''एंटीकम्यूटिंग c-संख्या'' कहा जाता है। सम और विषम उपस्थानों में यह अपघटन प्रदान करता है <math>\mathbb{Z}_2</math> बीजगणित पर [[वर्गीकृत (गणित)]]; इस प्रकार ग्रासमैन बीजगणित [[सुपरकम्यूटेटिव बीजगणित]] के प्रोटोटाइपिक उदाहरण हैं। ध्यान दें कि सी-संख्या का सबलजेब्रा <math>\Lambda</math>बनाते हैं, किन्तु a-संख्या (वे सबस्पेस हैं, सबलजेब्रा नहीं) नहीं हैं। | ग्रासमैन वैरिएबल की विषम संख्या के उत्पाद एक-दूसरे के साथ एंटी-कम्यूट करते हैं; ऐसे उत्पाद को अधिकांश एक-संख्या कहा जाता है। ग्रासमैन वैरिएबल्स की सम संख्या वाले उत्पाद कम्यूट (सभी ग्रासमैन संख्याों के साथ); उन्हें अधिकांश [[ c-नंबर | c-संख्या]] कहा जाता है। शब्दावली के दुरुपयोग से, a-संख्या को कभी-कभी ''एंटीकम्यूटिंग c-संख्या'' कहा जाता है। सम और विषम उपस्थानों में यह अपघटन प्रदान करता है <math>\mathbb{Z}_2</math> बीजगणित पर [[वर्गीकृत (गणित)]]; इस प्रकार ग्रासमैन बीजगणित [[सुपरकम्यूटेटिव बीजगणित]] के प्रोटोटाइपिक उदाहरण हैं। ध्यान दें कि सी-संख्या का सबलजेब्रा <math>\Lambda</math>बनाते हैं, किन्तु a-संख्या (वे सबस्पेस हैं, सबलजेब्रा नहीं) नहीं हैं। | ||
ग्रासमैन संख्या की परिभाषा जटिल संख्याओं पर विश्लेषण के अनुरूप [[गणितीय विश्लेषण]] करने की अनुमति देती है। यही है, कोई [[सुपरहोलोमॉर्फिक फ़ंक्शन]] को परिभाषित कर सकता है, डेरिवेटिव्स को परिभाषित कर सकता है, साथ ही अभिन्नताओं को परिभाषित कर सकता है। दोहरी संख्याओं पर लेख में कुछ आधारभूत अवधारणाओं को अधिक विस्तार से विकसित किया गया है। | ग्रासमैन संख्या की परिभाषा जटिल संख्याओं पर विश्लेषण के अनुरूप [[गणितीय विश्लेषण]] करने की अनुमति देती है। यही है, कोई [[सुपरहोलोमॉर्फिक फ़ंक्शन|सुपरहोलोमॉर्फिक फलन]] को परिभाषित कर सकता है, डेरिवेटिव्स को परिभाषित कर सकता है, साथ ही अभिन्नताओं को परिभाषित कर सकता है। दोहरी संख्याओं पर लेख में कुछ आधारभूत अवधारणाओं को अधिक विस्तार से विकसित किया गया है। | ||
सामान्य नियम के रूप में, सामान्य गणितीय संस्थाओं के सुपर-सममित एनालॉग्स को परिभाषित करना सामान्यतः आसान होता है, जिसमें ग्रासमैन संख्याों के साथ जनरेटर की अनंत संख्या के साथ काम किया जाता है: अधिकांश परिभाषाएँ सीधी हो जाती हैं, और संबंधित बोसोनिक परिभाषाओं से ली जा सकती हैं। उदाहरण के लिए, एकल ग्रासमान संख्या को आयामी स्थान उत्पन्न करने के बारे में सोचा जा सकता है। एक सदिश स्थान, {{math|''m''}}-आयामी सुपरस्पेस, फिर इन एक-आयामी <math>\Lambda</math> के {{math|''m''}}-गुना | सामान्य नियम के रूप में, सामान्य गणितीय संस्थाओं के सुपर-सममित एनालॉग्स को परिभाषित करना सामान्यतः आसान होता है, जिसमें ग्रासमैन संख्याों के साथ जनरेटर की अनंत संख्या के साथ काम किया जाता है: अधिकांश परिभाषाएँ सीधी हो जाती हैं, और संबंधित बोसोनिक परिभाषाओं से ली जा सकती हैं। उदाहरण के लिए, एकल ग्रासमान संख्या को आयामी स्थान उत्पन्न करने के बारे में सोचा जा सकता है। एक सदिश स्थान, {{math|''m''}}-आयामी सुपरस्पेस, फिर इन एक-आयामी <math>\Lambda</math> के {{math|''m''}}-गुना निर्देशांक उत्पाद के रूप में प्रकट होता है। {{what|reason=What is Lambda here? Lambda on what V? Many copies of what?|date=May 2017}} यह दिखाया जा सकता है कि यह अनिवार्य रूप से बीजगणित {{math|''m''}} जनरेटर के बराबर है, किन्तु इसके लिए काम की आवश्यकता है।<ref>{{harvnb|Rogers|2007}}</ref>{{what|reason=This is confusing. A moment ago it was announced that life gets easier if one works with infinitely many variables, but now it seems there are just m variables.|date=May 2017}} | ||
===स्पिनर स्पेस=== | ===स्पिनर स्पेस=== | ||
Line 85: | Line 85: | ||
== एकीकरण == | == एकीकरण == | ||
{{main article| | {{main article|बेरेज़िन अभिन्न}} | ||
ग्रासमैन संख्याओं पर समाकलन को बेरेज़िन समाकलन (कभी-कभी ग्रासमान समाकल कहा जाता है) के रूप में जाना जाता है। फर्मी क्षेत्र के लिए अभिन्न पथ को पुन: प्रस्तुत करने के लिए, ग्रासमैन एकीकरण की परिभाषा में निम्नलिखित गुणों की आवश्यकता है: | ग्रासमैन संख्याओं पर समाकलन को बेरेज़िन समाकलन (कभी-कभी ग्रासमान समाकल कहा जाता है) के रूप में जाना जाता है। फर्मी क्षेत्र के लिए अभिन्न पथ को पुन: प्रस्तुत करने के लिए, ग्रासमैन एकीकरण की परिभाषा में निम्नलिखित गुणों की आवश्यकता है: | ||
* रैखिकता <math display="block">\int\,[a f(\theta) + b g(\theta) ]\, d\theta = a \int\,f(\theta)\, d\theta + b \int\,g(\theta)\, d\theta </math> | * रैखिकता <math display="block">\int\,[a f(\theta) + b g(\theta) ]\, d\theta = a \int\,f(\theta)\, d\theta + b \int\,g(\theta)\, d\theta </math> | ||
* आंशिक एकीकरण सूत्र <math display="block">\int \left[\frac{\partial}{\partial\theta}f(\theta)\right]\, d\theta = 0. </math> | * आंशिक एकीकरण सूत्र <math display="block">\int \left[\frac{\partial}{\partial\theta}f(\theta)\right]\, d\theta = 0. </math> | ||
इसके | इसके अतिरिक्त, टेलर किसी भी फलन <math>f(\theta)=A+B\theta</math> का विस्तार करता है दो शर्तों के बाद समाप्त हो जाता है क्योंकि <math>\theta^2=0</math>, और क्वांटम क्षेत्र सिद्धांत को अतिरिक्त रूप से एकीकरण चर <math>\theta\to\theta+\eta</math> के बदलाव के अनुसार इनवेरियन की आवश्यकता होती है जैसे कि | ||
: <math>\int d\theta f(\theta)=\int d\theta (A+B\theta) \equiv \int d\theta((A+B\eta)+B\theta).</math> | : <math>\int d\theta f(\theta)=\int d\theta (A+B\theta) \equiv \int d\theta((A+B\eta)+B\theta).</math> | ||
Line 101: | Line 101: | ||
इस प्रकार हम निष्कर्ष निकालते हैं कि ग्रासमैन संख्या के एकीकरण और विभेदन के संचालन समान हैं। | इस प्रकार हम निष्कर्ष निकालते हैं कि ग्रासमैन संख्या के एकीकरण और विभेदन के संचालन समान हैं। | ||
क्वांटम | क्वांटम क्षेत्र सिद्धांत के पथ इंटीग्रल फॉर्मूलेशन में ग्रासमैन मात्रा के निम्नलिखित [[ गॉसियन अभिन्न ]] की आवश्यकता होती है, जो फर्मीओनिक एंटीकॉम्यूटिंग क्षेत्र्स के लिए आवश्यक है, जिसमें A N × N आव्यूहों है: | ||
: <math>\int \exp\left[-\theta^{\rm T}A\eta\right] \,d\theta\,d\eta = \det A </math>. | : <math>\int \exp\left[-\theta^{\rm T}A\eta\right] \,d\theta\,d\eta = \det A </math>. | ||
=== | === परिपाटी और जटिल एकीकरण === | ||
एकाधिक ग्रासमान संख्याओं को एकीकृत करते समय अस्पष्टता उत्पन्न होती है। अंतरतम अभिन्न प्रथम | एकाधिक ग्रासमान संख्याओं को एकीकृत करते समय अस्पष्टता उत्पन्न होती है। अंतरतम अभिन्न प्रथम उत्पादन करने वाला सम्मेलन | ||
:<math>\int d\theta \int d\eta\; \eta\theta = +1.</math> | :<math>\int d\theta \int d\eta\; \eta\theta = +1.</math> | ||
Line 115: | Line 115: | ||
:<math>\theta=\frac{\theta_1+i\theta_2}{\sqrt 2},\quad \theta^*=\frac{\theta_1-i\theta_2}{\sqrt 2},</math> | :<math>\theta=\frac{\theta_1+i\theta_2}{\sqrt 2},\quad \theta^*=\frac{\theta_1-i\theta_2}{\sqrt 2},</math> | ||
हम | हम {{math|θ}} और {{math|θ*}} को स्वतंत्र ग्रासमान संख्या के रूप में मान सकते हैं, और अपना सकते हैं | ||
:<math>\int d\theta^* d\theta\, (\theta\theta^*)=1.</math> | :<math>\int d\theta^* d\theta\, (\theta\theta^*)=1.</math> | ||
Line 124: | Line 124: | ||
:<math>\int d\theta^* d\theta\, \theta\theta^*\, e^{-\theta^* b \theta} = 1.</math> | :<math>\int d\theta^* d\theta\, \theta\theta^*\, e^{-\theta^* b \theta} = 1.</math> | ||
एकात्मकता साबित करने के बाद, हम हर्मिटियन | एकात्मकता साबित करने के बाद, हम हर्मिटियन आव्यूहों से जुड़े सामान्य गॉसियन इंटीग्रल का मूल्यांकन कर सकते हैं {{math|B}} eigenvalues के साथ {{math|b<sub>i</sub>}},<ref name=peskin/><ref>Indices' typo present in source.</ref> | ||
:<math>\left(\prod_i \int d\theta_i^* \,d\theta_i \right) e^{-\theta_i^*B_{ij}\theta_j} = \left(\prod_i \int d\theta_i^* \, d\theta_i \right) e^{-\theta_i^*b_i\theta_i} = \prod_i b_i = \det B.</math> | :<math>\left(\prod_i \int d\theta_i^* \,d\theta_i \right) e^{-\theta_i^*B_{ij}\theta_j} = \left(\prod_i \int d\theta_i^* \, d\theta_i \right) e^{-\theta_i^*b_i\theta_i} = \prod_i b_i = \det B.</math> | ||
== | == आव्यूहों प्रतिनिधित्व == | ||
ग्रासमान संख्या को [[मैट्रिक्स (गणित)]] द्वारा दर्शाया जा सकता है। उदाहरण के लिए, दो ग्रासमान संख्याओं | ग्रासमान संख्या को [[मैट्रिक्स (गणित)|आव्यूहों (गणित)]] द्वारा दर्शाया जा सकता है। उदाहरण के लिए, दो ग्रासमान संख्याओं <math>\theta_1</math> और <math>\theta_2</math> द्वारा उत्पन्न ग्रासमान बीजगणित पर विचार करें। इन ग्रासमान संख्याओं को 4×4 आव्यूहों द्वारा प्रदर्शित किया जा सकता है: | ||
:<math>\theta_1 = \begin{bmatrix} | :<math>\theta_1 = \begin{bmatrix} | ||
Line 148: | Line 148: | ||
\end{bmatrix}. | \end{bmatrix}. | ||
</math> | </math> | ||
सामान्यतः, एन जनरेटर पर ग्रासमैन बीजगणित को 2<sup>n</sup> × 2<sup>n</sup> वर्ग आव्यूह द्वारा दर्शाया जा सकता है। भौतिक रूप से, इन आव्यूहों को व्यवसाय संख्या के आधार पर [[ हिल्बर्ट अंतरिक्ष ]] के n समरूप फर्मों पर कार्य करने वाले संचालकों के उत्थान के रूप में सोचा जा सकता है। चूंकि प्रत्येक फ़र्मियन के लिए व्यवसाय संख्या 0 या 1 है, इसलिए 2n संभावित आधार अवस्थाएँ हैं। गणितीय रूप से, इन आव्यूहों की व्याख्या ग्रासमैन बीजगणित पर बाएँ बाहरी गुणन के अनुरूप रैखिक संचालकों के रूप में की जा सकती है। | |||
== सामान्यीकरण == | == सामान्यीकरण == | ||
ग्रासमैन संख्याों के लिए कुछ सामान्यीकरण हैं। इन्हें | ग्रासमैन संख्याों के लिए कुछ सामान्यीकरण हैं। इन्हें n चर के संदर्भ में नियमों की आवश्यकता होती है जैसे कि: | ||
:<math> \theta_{i_1} \theta_{i_2}\cdots\theta_{i_N} + \theta_{i_N}\theta_{i_1}\theta_{i_2}\cdots +\cdots = 0</math> | :<math> \theta_{i_1} \theta_{i_2}\cdots\theta_{i_N} + \theta_{i_N}\theta_{i_1}\theta_{i_2}\cdots +\cdots = 0</math> | ||
जहां सूचकांकों को सभी क्रमपरिवर्तनों पर अभिव्यक्त किया जाता है ताकि परिणाम के रूप में: | जहां सूचकांकों को सभी क्रमपरिवर्तनों पर अभिव्यक्त किया जाता है ताकि परिणाम के रूप में: | ||
: <math>(\theta_i)^N = 0\,</math> | : <math>(\theta_i)^N = 0\,</math> | ||
कुछ N > 2 के लिए। ये N-टेंसर के [[अतिनिर्धारक]] की गणना करने के लिए उपयोगी होते हैं जहां N > 2 और 2 से बड़ी | कुछ N > 2 के लिए। ये N-टेंसर के [[अतिनिर्धारक|हाइपरडेटरमिनेंट्स]] की गणना करने के लिए उपयोगी होते हैं जहां N > 2 और 2 से बड़ी घातों के लिए बहुपदों के भेदभाव की गणना के लिए भी है। सीमित स्थिति भी है क्योंकि N अनंत की ओर जाता है जिस स्थिति में कोई संख्याओं पर विश्लेषणात्मक कार्यों को परिभाषित कर सकता है। उदाहरण के लिए, N = 3 के स्थिति में एकल ग्रासमान संख्या को आव्यूहों द्वारा दर्शाया जा सकता है: | ||
:<math>\theta = \begin{bmatrix} | :<math>\theta = \begin{bmatrix} | ||
Line 164: | Line 164: | ||
\end{bmatrix}\qquad | \end{bmatrix}\qquad | ||
</math> | </math> | ||
ताकि <math>\theta^3=0</math>. दो ग्रासमान संख्याओं के लिए | ताकि <math>\theta^3=0</math>. दो ग्रासमान संख्याओं के लिए आव्यूहों का आकार 10×10 होगा। | ||
उदाहरण के लिए, दो ग्रासमैन चर वाले N = 3 के नियमों का अर्थ है: | उदाहरण के लिए, दो ग्रासमैन चर वाले N = 3 के नियमों का अर्थ है: |
Revision as of 12:59, 2 May 2023
गणितीय भौतिकी में, हरमन ग्रासमैन के नाम पर ग्रासमान संख्या (जिसे एंटीकम्यूटिंग संख्या या सुपरसंख्या भी कहा जाता है), जटिल संख्याओं पर बाहरी बीजगणित का तत्व है।[1] आयामी बीजगणित के विशेष स्थिति को दोहरी संख्या के रूप में जाना जाता है। ग्रासमैन संख्याों ने भौतिक विज्ञान में प्रारंभिक उपयोग देखा, जो फर्मीओनिक क्षेत्रों के लिए पथ अभिन्न सूत्रीकरण को व्यक्त करता है, चूंकि अब वे व्यापक रूप से सुपरस्पेस के लिए नींव के रूप में उपयोग किए जाते हैं, जिस पर सुपरसिमेट्री का निर्माण किया जाता है।
अनौपचारिक चर्चा
ग्रासमैन संख्याएं विरोधी आने वाले तत्वों या वस्तुओं द्वारा उत्पन्न होती हैं। एंटी-कम्यूटिंग वस्तुओं का विचार गणित के कई क्षेत्रों में उत्पन्न होता है: वे सामान्यतः अंतर ज्यामिति में देखे जाते हैं, जहां डिफरेंशियल फॉर्म एंटी-कम्यूटिंग होते हैं। विभेदक रूपों को सामान्यतः मैनिफोल्ड डेरिवेटिव के रूप में परिभाषित किया जाता है; चूँकि, कोई उस स्थिति पर विचार कर सकता है जहाँ कोई किसी भी अंतर्निहित मैनिफोल्ड के अस्तित्व को भूल जाता है या अनदेखा कर देता है, और यह भूल जाता है या अनदेखा कर देता है कि रूपों को डेरिवेटिव के रूप में परिभाषित किया गया था, और इसके अतिरिक्त, केवल ऐसी स्थिति पर विचार करें जहाँ किसी के पास ऐसी वस्तुएँ हों जो विरोधी हों, और कोई अन्य पूर्व-परिभाषित या पूर्व-अनुमानित गुण नहीं हैं। ऐसी वस्तुएं एक बीजगणित और विशेष रूप से ग्रासमैन बीजगणित या बाहरी बीजगणित बनाती हैं।
ग्रासमान संख्याएं उस बीजगणित के तत्व हैं। "संख्या" की अपील इस तथ्य से उचित है कि वे "साधारण" संख्याओं के विपरीत व्यवहार नहीं करते हैं: उन्हें जोड़ा जा सकता है, गुणा किया जा सकता है और विभाजित किया जा सकता है: वे लगभग एक क्षेत्र (गणित) की तरह व्यवहार करते हैं। अधिक किया जा सकता है: ग्रासमान संख्याओं के बहुपदों पर विचार किया जा सकता है, जिससे होलोमॉर्फिक फलन के विचार की ओर अग्रसर होता है। कोई ऐसे कार्यों के डेरिवेटिव ले सकता है, और फिर एंटी-डेरिवेटिव्स पर भी विचार कर सकता है। इन विचारों में से प्रत्येक को ध्यान से परिभाषित किया जा सकता है, और सामान्य गणित से समान अवधारणाओं के लिए यथोचित रूप से मेल खाता है। सादृश्य वहाँ नहीं रुकता: किसी के पास सुपरमैथमैटिक्स की एक पूरी शाखा होती है, जहाँ यूक्लिडियन स्पेस का एनालॉग सुपरस्पेस है, मैनिफोल्ड का एनालॉग सुपरमैनिफ़ोल्ड है, लाइ बीजगणित का एनालॉग लाइ सुपरएलजेब्रा है और इसी तरह। ग्रासमैन संख्याएं अंतर्निहित निर्माण हैं जो यह सब संभव बनाती हैं।
बेशक, कोई भी किसी अन्य क्षेत्र, या यहां तक कि रिंग (गणित) के लिए इसी तरह के कार्यक्रम का अनुसरण कर सकता है, और यह वास्तव में व्यापक रूप से और सामान्यतः गणित में किया जाता है। चूंकि, सुपरमैथमैटिक्स भौतिकी में विशेष महत्व रखता है, क्योंकि एंटी-कम्यूटिंग व्यवहार को फर्मों के क्वांटम-मैकेनिकल व्यवहार के साथ दृढ़ता से पहचाना जा सकता है: पाउली अपवर्जन सिद्धांत का एंटी-कम्यूटेशन है। इस प्रकार, ग्रासमान संख्याओं और सुपरमैथमैटिक्स का अध्ययन, सामान्य रूप से, भौतिकी में उनकी उपयोगिता द्वारा दृढ़ता से संचालित होता है।
विशेष रूप से, क्वांटम क्षेत्र सिद्धांत में, या अधिक संकीर्ण रूप से, दूसरा परिमाणीकरण, सीढ़ी ऑपरेटरों के साथ काम करता है जो बहु-कण क्वांटम राज्य बनाते हैं। फ़र्मियन्स के लिए सीढ़ी संचालक क्षेत्र क्वांटा बनाते हैं जिसमें आवश्यक रूप से एंटी-सिमेट्रिक तरंग क्रिया होने चाहिए, क्योंकि यह पाउली अपवर्जन सिद्धांत द्वारा विवश है। इस स्थिति में, ग्रासमान संख्या तत्काल और सीधे तरंग समारोह से मेल खाती है जिसमें कुछ (सामान्यतः अनिश्चित) संख्याएं होती हैं।
जब फ़र्मियों की संख्या निश्चित और परिमित होती है, तो स्पिन समूह के माध्यम से एंटीकोमुटेशन संबंधों और स्पिनरों के बीच स्पष्ट संबंध दिया जाता है। इस समूह को क्लिफोर्ड बीजगणित में इकाई-लंबाई वाले वैक्टर के सबसेट के रूप में परिभाषित किया जा सकता है, और स्वाभाविक रूप से एंटी-कम्यूटिंग वेइल स्पिनर्स में कारक होता है। विरोधी रूपांतरण और स्पिनर्स के रूप में अभिव्यक्ति स्पिन समूह के लिए स्वाभाविक रूप से उत्पन्न होती है। संक्षेप में, ग्रासमैन संख्याों को स्पिन से उत्पन्न होने वाले रिश्तों को छोड़ने और केवल एंटी-कम्यूटेशन के कारण रिश्तों को रखने के बारे में सोचा जा सकता है।
सामान्य विवरण और गुण
ग्रासमैन संख्याएँ व्यक्तिगत तत्व या बाहरी बीजगणित जनरेटर (गणित) के बिंदु हैं जो n ग्रासमैन चर या ग्रासमैन दिशाओं या अत्यधिक प्रभावकारी , के एक सेट द्वारा उत्पन्न होते हैं, जिसमें n संभवतः अनंत है। ग्रासमान चर शब्द का उपयोग ऐतिहासिक है; वे चर नहीं हैं, किन्तु; उन्हें इकाई बीजगणित के आधार तत्वों के रूप में उत्तम समझा जाता है। शब्दावली इस तथ्य से आती है कि प्राथमिक उपयोग अभिन्न को परिभाषित करना है, और यह कि एकीकरण का चर ग्रासमैन-मूल्यवान है, और इस प्रकार, भाषा के दुरुपयोग से, ग्रासमैन चर कहा जाता है। इसी तरह, दिशा की धारणा सुपरस्पेस की धारणा से आती है, जहां सामान्य यूक्लिडियन स्थान को अतिरिक्त ग्रासमैन-मूल्यवान दिशाओं के साथ विस्तारित किया जाता है। आवेश का पदनाम आवेश (भौतिकी) की धारणा से आता है, जो भौतिक समरूपता के जनक (नोएदर के प्रमेय के माध्यम से) के अनुरूप है। कथित समरूपता यह है कि एकल ग्रासमैन चर द्वारा गुणन फर्मीऑन और बोसोन के बीच ग्रेडिंग को स्वैप करता है; इस पर नीचे और अधिक विस्तार से चर्चा की गई है।
ग्रासमैन चर सदिश स्थान (आयाम n के) के आधार वैक्टर है। वे क्षेत्र पर बीजगणित बनाते हैं, सामान्यतः क्षेत्र को जटिल संख्या के रूप में लिया जाता है, चूंकि कोई अन्य क्षेत्रों पर विचार कर सकता है, जैसे कि वास्तविक। बीजगणित इकाई बीजगणित है, और जेनरेटर विरोधी यात्रा कर रहे हैं:
के बाद से जटिल संख्याओं पर सदिश स्थान के तत्व हैं, परिभाषा के अनुसार, वे जटिल संख्याओं के साथ आवागमन करते हैं। यानी कॉम्प्लेक्स के लिए x, किसी के पास
जेनरेटर के वर्ग लुप्त हो जाते हैं:
- तब से
दूसरे शब्दों में, ग्रासमैन वैरिएबल शून्य का गैर-शून्य वर्गमूल है।
औपचारिक परिभाषा
औपचारिक रूप से, V को के आधार पर एक n-आयामी जटिल सदिश स्थान होने दें। ग्रासमैन बीजगणित जिसका ग्रासमैन चर हैं, को V के बाहरी बीजगणित के रूप में परिभाषित किया गया है
जहाँ बाहरी उत्पाद है और प्रत्यक्ष योग है। इस बीजगणित के अलग-अलग तत्वों को ग्रासमान संख्या कहा जाता है। परिभाषा स्थापित होने के बाद ग्रासमैन संख्या लिखते समय वेज प्रतीक वेज को छोड़ना मानक है। एक सामान्य ग्रासमान संख्या के रूप में लिखा जा सकता है
जहाँ सख्ती से बढ़ रहे हैं k-टुपल्स , और यह रैंक के जटिल, पूरी तरह से एंटीसिमेट्रिक टेंसर k हैं. फिर से, , और यह (का विषय है ), और बड़े परिमित उत्पादों को यहां उप-स्थानों के आधार वैक्टर की भूमिका निभाने के लिए देखा जा सकता है.
ग्रासमैन बीजगणित द्वारा उत्पन्न n रैखिक रूप से स्वतंत्र ग्रासमैन चर का आयाम 2n है; यह उपरोक्त योग पर प्रायुक्त द्विपद प्रमेय से आता है, और तथ्य यह है कि (n + 1) चर के गुना उत्पाद को उपरोक्त एंटी-कम्यूटेशन संबंधों से लुप्त होना चाहिए। का आयाम n चयन k द्विपद गुणांक द्वारा दिया गया है। का विशेष स्थिति n = 1 को दोहरी संख्या कहा जाता है, और 1873 में विलियम किंग्डन क्लिफोर्ड द्वारा प्रस्तुत किया गया था।
यदि V अनंत-आयामी है, उपरोक्त श्रृंखला समाप्त नहीं होती है और परिभाषित करती है
सामान्य तत्व अब है
जहाँ को कभी-कभी पिंड और को सुपरसंख्या की आत्मा के रूप में संदर्भित किया जाता है।
गुण
परिमित-आयामी स्थिति में (उसी शब्दावली का उपयोग करते हुए) आत्मा शून्य है, अर्थात।
किन्तु अनंत-आयामी स्थिति में ऐसा आवश्यक नहीं है।[2]
यदि V परिमित-आयामी है, तब
और यदि V अनंत-आयामी है[3]
परिमित बनाम जनरेटर के गणनीय सेट
सामान्यतः साहित्य में दो अलग-अलग प्रकार के सुपरसंख्या दिखाई देते हैं: जिनमें जेनरेटर की एक सीमित संख्या होती है, सामान्यतः n = 1, 2, 3 या 4, और वे जो जेनरेटर की गिनती-अनंत संख्या के साथ होते हैं। ये दो स्थितियाँ उतनी असंबंधित नहीं हैं जितनी पहली नज़र में लग सकती हैं। सबसे पहले, सुपरमैनिफोल्ड की परिभाषा में, संस्करण जनरेटर की गिनती-असीमित संख्या का उपयोग करता है, किन्तु फिर टोपोलॉजी को नियोजित करता है जो आयाम को छोटी परिमित संख्या में प्रभावी रूप से कम कर देता है।[4][5]
दूसरे स्थिति में, कोई जनरेटर की सीमित संख्या के साथ प्रारंभ कर सकता है, किन्तु दूसरी परिमाणीकरण के समय, अनंत संख्या में जनरेटर की आवश्यकता उत्पन्न होती है: प्रत्येक संभावित गति के लिए जो कि फ़र्मियन ले सकता है।
इनवोल्यूशन, क्षेत्र का चुनाव
जटिल संख्याओं को सामान्यतः ग्रासमैन संख्याओं की परिभाषा के लिए क्षेत्र के रूप में चुना जाता है, जो वास्तविक संख्याओं के विपरीत होती है, क्योंकि यह कुछ अजीब व्यवहारों से बचा जाता है जब संयुग्मन या समावेशन (गणित) प्रस्तुत किया जाता है। ग्रासमैन संख्याों पर ऑपरेटर * का परिचय देना सामान्य है जैसे कि:
कब जनरेटर है, और ऐसा है
इसके बाद ग्रासमैन संख्या z पर विचार किया जा सकता है , और इन्हें (सुपर) वास्तविक कहते हैं, जबकि जो का पालन करते हैं उन्हें (सुपर) काल्पनिक कहा जाता है। ये परिभाषाएँ ठीक से चलती हैं, किन्तु ग्रासमैन संख्याएँ वास्तविक संख्याओं को आधार क्षेत्र के रूप में उपयोग करती हैं; चूँकि, ऐसे स्थिति में, कई गुणांक लुप्त होने के लिए विवश हो जाते हैं यदि जनरेटर की संख्या 4 से कम है। इस प्रकार, सम्मेलन द्वारा, ग्रासमान संख्या सामान्यतः जटिल संख्याओं पर परिभाषित की जाती है।
अन्य सम्मेलन संभव हैं; उपरोक्त को कभी-कभी डेविट परिपाटी के रूप में संदर्भित किया जाता है; रोजर्स सम्मिलित होने के लिए का प्रयोग करते हैं इस परिपाटी में, वास्तविक सुपरसंख्याों में हमेशा वास्तविक गुणांक होते हैं; जबकि डेविट परिपाटी में, वास्तविक सुपरसंख्याों में वास्तविक और काल्पनिक दोनों गुणांक हो सकते हैं। इसके अतिरिक्त, सामान्यतः डेविट परिपाटी के साथ काम करना सबसे आसान होता है।
विश्लेषण
ग्रासमैन वैरिएबल की विषम संख्या के उत्पाद एक-दूसरे के साथ एंटी-कम्यूट करते हैं; ऐसे उत्पाद को अधिकांश एक-संख्या कहा जाता है। ग्रासमैन वैरिएबल्स की सम संख्या वाले उत्पाद कम्यूट (सभी ग्रासमैन संख्याों के साथ); उन्हें अधिकांश c-संख्या कहा जाता है। शब्दावली के दुरुपयोग से, a-संख्या को कभी-कभी एंटीकम्यूटिंग c-संख्या कहा जाता है। सम और विषम उपस्थानों में यह अपघटन प्रदान करता है बीजगणित पर वर्गीकृत (गणित); इस प्रकार ग्रासमैन बीजगणित सुपरकम्यूटेटिव बीजगणित के प्रोटोटाइपिक उदाहरण हैं। ध्यान दें कि सी-संख्या का सबलजेब्रा बनाते हैं, किन्तु a-संख्या (वे सबस्पेस हैं, सबलजेब्रा नहीं) नहीं हैं।
ग्रासमैन संख्या की परिभाषा जटिल संख्याओं पर विश्लेषण के अनुरूप गणितीय विश्लेषण करने की अनुमति देती है। यही है, कोई सुपरहोलोमॉर्फिक फलन को परिभाषित कर सकता है, डेरिवेटिव्स को परिभाषित कर सकता है, साथ ही अभिन्नताओं को परिभाषित कर सकता है। दोहरी संख्याओं पर लेख में कुछ आधारभूत अवधारणाओं को अधिक विस्तार से विकसित किया गया है।
सामान्य नियम के रूप में, सामान्य गणितीय संस्थाओं के सुपर-सममित एनालॉग्स को परिभाषित करना सामान्यतः आसान होता है, जिसमें ग्रासमैन संख्याों के साथ जनरेटर की अनंत संख्या के साथ काम किया जाता है: अधिकांश परिभाषाएँ सीधी हो जाती हैं, और संबंधित बोसोनिक परिभाषाओं से ली जा सकती हैं। उदाहरण के लिए, एकल ग्रासमान संख्या को आयामी स्थान उत्पन्न करने के बारे में सोचा जा सकता है। एक सदिश स्थान, m-आयामी सुपरस्पेस, फिर इन एक-आयामी के m-गुना निर्देशांक उत्पाद के रूप में प्रकट होता है।[clarification needed] यह दिखाया जा सकता है कि यह अनिवार्य रूप से बीजगणित m जनरेटर के बराबर है, किन्तु इसके लिए काम की आवश्यकता है।[6][clarification needed]
स्पिनर स्पेस
स्पिनर स्पेस को ग्रासमैन या बाहरी बीजगणित वेइल स्पिनर्स (और विरोधी स्पिनर ) के स्पेस के रूप में परिभाषित किया गया है, जैसे कि n fermions के तरंग फलन संबंधित हैं .
एकीकरण
ग्रासमैन संख्याओं पर समाकलन को बेरेज़िन समाकलन (कभी-कभी ग्रासमान समाकल कहा जाता है) के रूप में जाना जाता है। फर्मी क्षेत्र के लिए अभिन्न पथ को पुन: प्रस्तुत करने के लिए, ग्रासमैन एकीकरण की परिभाषा में निम्नलिखित गुणों की आवश्यकता है:
- रैखिकता
- आंशिक एकीकरण सूत्र
इसके अतिरिक्त, टेलर किसी भी फलन का विस्तार करता है दो शर्तों के बाद समाप्त हो जाता है क्योंकि , और क्वांटम क्षेत्र सिद्धांत को अतिरिक्त रूप से एकीकरण चर के बदलाव के अनुसार इनवेरियन की आवश्यकता होती है जैसे कि
इस स्थिति को संतुष्ट करने वाला एकमात्र रैखिक कार्य स्थिर (पारंपरिक रूप से 1) बार है B, इसलिए बेरेज़िन ने परिभाषित किया[7]
इसका परिणाम ग्रासमान मात्रा के एकीकरण के लिए निम्नलिखित नियमों में होता है:
इस प्रकार हम निष्कर्ष निकालते हैं कि ग्रासमैन संख्या के एकीकरण और विभेदन के संचालन समान हैं।
क्वांटम क्षेत्र सिद्धांत के पथ इंटीग्रल फॉर्मूलेशन में ग्रासमैन मात्रा के निम्नलिखित गॉसियन अभिन्न की आवश्यकता होती है, जो फर्मीओनिक एंटीकॉम्यूटिंग क्षेत्र्स के लिए आवश्यक है, जिसमें A N × N आव्यूहों है:
- .
परिपाटी और जटिल एकीकरण
एकाधिक ग्रासमान संख्याओं को एकीकृत करते समय अस्पष्टता उत्पन्न होती है। अंतरतम अभिन्न प्रथम उत्पादन करने वाला सम्मेलन
कुछ लेखक संचालकों के हर्मिटियन संयुग्मन के समान जटिल संयुग्मन को भी परिभाषित करते हैं,[8]
अतिरिक्त सम्मेलन के साथ
हम θ और θ* को स्वतंत्र ग्रासमान संख्या के रूप में मान सकते हैं, और अपना सकते हैं
इस प्रकार गॉसियन अभिन्न मूल्यांकन करता है
और का अतिरिक्त कारक θθ* प्रभावी रूप से के कारक का परिचय देता है (1/b), साधारण गाऊसी की तरह,
एकात्मकता साबित करने के बाद, हम हर्मिटियन आव्यूहों से जुड़े सामान्य गॉसियन इंटीग्रल का मूल्यांकन कर सकते हैं B eigenvalues के साथ bi,[8][9]
आव्यूहों प्रतिनिधित्व
ग्रासमान संख्या को आव्यूहों (गणित) द्वारा दर्शाया जा सकता है। उदाहरण के लिए, दो ग्रासमान संख्याओं और द्वारा उत्पन्न ग्रासमान बीजगणित पर विचार करें। इन ग्रासमान संख्याओं को 4×4 आव्यूहों द्वारा प्रदर्शित किया जा सकता है:
सामान्यतः, एन जनरेटर पर ग्रासमैन बीजगणित को 2n × 2n वर्ग आव्यूह द्वारा दर्शाया जा सकता है। भौतिक रूप से, इन आव्यूहों को व्यवसाय संख्या के आधार पर हिल्बर्ट अंतरिक्ष के n समरूप फर्मों पर कार्य करने वाले संचालकों के उत्थान के रूप में सोचा जा सकता है। चूंकि प्रत्येक फ़र्मियन के लिए व्यवसाय संख्या 0 या 1 है, इसलिए 2n संभावित आधार अवस्थाएँ हैं। गणितीय रूप से, इन आव्यूहों की व्याख्या ग्रासमैन बीजगणित पर बाएँ बाहरी गुणन के अनुरूप रैखिक संचालकों के रूप में की जा सकती है।
सामान्यीकरण
ग्रासमैन संख्याों के लिए कुछ सामान्यीकरण हैं। इन्हें n चर के संदर्भ में नियमों की आवश्यकता होती है जैसे कि:
जहां सूचकांकों को सभी क्रमपरिवर्तनों पर अभिव्यक्त किया जाता है ताकि परिणाम के रूप में:
कुछ N > 2 के लिए। ये N-टेंसर के हाइपरडेटरमिनेंट्स की गणना करने के लिए उपयोगी होते हैं जहां N > 2 और 2 से बड़ी घातों के लिए बहुपदों के भेदभाव की गणना के लिए भी है। सीमित स्थिति भी है क्योंकि N अनंत की ओर जाता है जिस स्थिति में कोई संख्याओं पर विश्लेषणात्मक कार्यों को परिभाषित कर सकता है। उदाहरण के लिए, N = 3 के स्थिति में एकल ग्रासमान संख्या को आव्यूहों द्वारा दर्शाया जा सकता है:
ताकि . दो ग्रासमान संख्याओं के लिए आव्यूहों का आकार 10×10 होगा।
उदाहरण के लिए, दो ग्रासमैन चर वाले N = 3 के नियमों का अर्थ है:
ताकि यह दिखाया जा सके
इसलिए
जो 2×2×2 टेंसर के हाइपरडेटरमिनेंट के लिए परिभाषा देता है
यह भी देखें
- ग्रासमानियन
- हरमन ग्रासमैन (भाषाविद् और गणितज्ञ)
- सुपरस्पेस
- बाहरी बीजगणित
टिप्पणियाँ
- ↑ DeWitt 1984, Chapter 1, page 1.
- ↑ DeWitt 1984, pp. 1–2.
- ↑ DeWitt 1984, p. 2.
- ↑ Rogers 2007a, Chapter 1 (available online)
- ↑ Rogers 2007, Chapter 1 and Chapter 8.
- ↑ Rogers 2007
- ↑ Berezin, F. A. (1966). दूसरी परिमाणीकरण की विधि. Pure and Applied Physics. Vol. 24. New York. ISSN 0079-8193.
{{cite book}}
: CS1 maint: location missing publisher (link) - ↑ 8.0 8.1 Peskin, Michael E.; Schroeder, Daniel V. (1995). क्वांटम क्षेत्र सिद्धांत का परिचय (5. (corrected) printing. ed.). Reading, Mass.: Addison-Wesley. ISBN 9780201503975.
- ↑ Indices' typo present in source.
संदर्भ
- DeWitt, B. (1984). Supermanifolds. Cambridge University Press. ISBN 0-521-42377-5.
- Peskin, Michael E.; Schroeder, Daniel V. (1995). An introduction to quantum field theory (5. (corrected) printing. ed.). Reading, Mass.: Addison-Wesley. ISBN 9780201503975.
- Rogers, Alice (2007a). Supermanifolds: Theory and Applications (PDF). World Scientific. Chapter 1. doi:10.1142/1878. ISBN 978-981-3203-21-1.
- Rogers, Alice (2007). Supermanifolds: Theory and Applications. World Scientific. ISBN 978-981-3203-21-1.