टेट्राडिक पलाटिनी क्रिया

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

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

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

कुछ परिभाषाएँ
हमें सबसे पहले टेट्राड की अवधारणा का परिचय देना होगा। टेट्राड ऑर्थोनॉर्मल वेक्टर आधार है जिसके संदर्भ में स्पेस-टाइम मीट्रिक स्थानीय रूप से सपाट दिखता है,


 * $$g_{\alpha \beta} = e_\alpha^I e_\beta^J \eta_{IJ}$$

जहाँ $$\eta_{IJ} = \text{diag}(-1,1,1,1)$$ मिन्कोवस्की मीट्रिक है। टेट्रैड्स स्थान-समय मीट्रिक के बारे में जानकारी को संकोड़ित करती हैं और क्रिया सिद्धांत में स्वतंत्र मानों में से एक के रूप में ली जाएंगी।

अब यदि कोई उन वस्तुओं पर काम करने जा रहा है जिनमें आंतरिक सूचकांक हैं तो उसे उपयुक्त व्युत्पन्न (सहसंयोजक व्युत्पन्न) प्रस्तुत करने की आवश्यकता है। हम इच्छानुसार सहसंयोजक व्युत्पन्न का परिचय देते हैं


 * $$\mathcal{D}_\alpha V_I = \partial_\alpha V_I + {\omega_{\alpha I}}^J V_J.$$

जहाँ $${\omega_{\alpha I}}^J$$ स्पिन (लोरेंत्ज़) संबंध एक-रूप है (व्युत्पन्न मिन्कोव्स्की मीट्रिक को नष्ट कर देता है $$\eta_{IJ}$$)। हम इसके माध्यम से वक्रता को परिभाषित करते हैं


 * $${\Omega_{\alpha \beta I}}^J V_J = (\mathcal{D}_\alpha \mathcal{D}_\beta - \mathcal{D}_\beta\mathcal{D}_\alpha) V_I$$

हमने प्राप्त


 * $${\Omega_{\alpha \beta}}^{IJ} = 2 \partial_{[\alpha} {\omega_{\beta]}}^{IJ} + 2{\omega_{[\alpha}}^{IK} {\omega_{\beta] K}}^J$$।

हम सहसंयोजक व्युत्पन्न का परिचय देते हैं जो टेट्राड को नष्ट कर देता है,


 * $$\nabla_\alpha e_\beta^I = 0$$।

संबंध पूरी प्रकार से टेट्राड द्वारा निर्धारित होता है। सामान्यीकृत टेंसर पर इसकी क्रिया $$V_\beta^I$$ द्वारा दिया गया है


 * $$\nabla_\alpha V_\beta^I = \partial_\alpha V_\beta^I - \Gamma_{\alpha \beta}^\gamma V_\gamma^I + {\omega_{\alpha J}}^I V_\beta^J.$$

हम वक्रता को परिभाषित करते हैं $${R_{\alpha \beta}}^{IJ}$$ द्वारा


 * $${R_{\alpha \beta I}}^J V_J = (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) V_I.$$

"यह आसानी से सामान्य रूप से परिभाषित करे गए रूपता से संबंधित है,


 * $${R_{\alpha \beta \gamma}}^{\delta} V_\delta = (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) V_\gamma $$

प्रतिस्थापन के माध्यम से $$V_\gamma = V_I e^I_\gamma$$ इस अभिव्यक्ति में (विवरण के लिए नीचे देखें)। प्राप्त होता है,


 * $${R_{\alpha \beta \gamma}}^{\delta} = e_\gamma^I {R_{\alpha \beta I}}^J e_J^\delta, \quad R_{\alpha \beta} = {R_{\alpha \gamma I}}^J e^I_\beta e^\gamma_J, R = {R_{\alpha \beta}}^{IJ} e_I^\alpha e_J^\beta$$

क्रमशः रीमैन टेंसर, रिक्की टेंसर और रिक्की अदिश के लिए।

टेट्राडिक पलाटिनी क्रिया
इस कक्षता का रिची स्कैलर इस विन्यास के रूप में व्यक्त किया जा सकता है $$e^\alpha_I e^\beta_J {\Omega_{\alpha \beta}}^{IJ}.$$ क्रिया लिखी जा सकती है


 * $$S_{H-P} = \int d^4 x \; e \; e^\alpha_I e^\beta_J {\Omega_{\alpha \beta}}^{IJ}$$

जहाँ $$e = \sqrt{-g}$$ लेकिन अब $$g$$ फ़्रेम फ़ील्ड का फलन है।

हम इस क्रिया को टेट्रेड और स्पिन संबंध के साथ भिन्नता के साथ विचलन करके आइन्स्टीन के समीकरणों का प्रमाणपत्र प्राप्त करेंगे।

गणना करने के शॉर्टकट के रूप में हम टेट्राड के साथ संगत संबंध प्रस्तुत करते हैं, $$\nabla_\alpha e^I_\beta = 0.$$ इस सहसंयोजक व्युत्पन्न से जुड़ा संबंध पूरी प्रकार से टेट्राड द्वारा निर्धारित होता है। हमने प्रस्तुत किए गए दो कनेक्शनों के बीच का अंतर क्षेत्र $${C_{\alpha I}}^J$$ द्वारा परिभाषित किया गया है:


 * $${C_{\alpha I}}^J V_J = \left (D_\alpha - \nabla_\alpha \right ) V_I.$$

हम इन दो सहसंयोजक व्युत्पन्नों की वक्रता के बीच अंतर की गणना कर सकते हैं (विवरण के लिए नीचे देखें),


 * $${\Omega_{\alpha \beta}}^{IJ}-{R_{\alpha \beta}}^{IJ} =\nabla_{[\alpha} {C_{\beta]}}^{IJ} + {C_{[\alpha}}^{IM} {C_{\beta]M}}^J $$

इस मध्यवर्ती गणना का कारण यह है कि क्रिया को संदर्भ में पुनः व्यक्त करके भिन्नता की गणना करना आसान है $$\nabla$$ और $${C_\alpha}^{IJ}$$ और यह देखते हुए कि इसके संबंध में भिन्नता है $${\omega_\alpha}^{IJ}$$ के संबंध में भिन्नता के समान है $${C_\alpha}^{IJ}$$ (टेट्राड को स्थिर रखते समय)। क्रिया बन जाती है


 * $$S_{H-P} = \int d^4x \; e \; e^\alpha_I e^\beta_J \left ({R_{\alpha \beta}}^{IJ} + \nabla_{[\alpha} {C_{\beta]}}^{IJ} + {C_{[\alpha}}^{IM} {C_{\beta]M}}^J \right )$$

हम पहले $${C_\alpha}^{IJ}$$ के संबंध में विचलन करते हैं। पहला पद $${C_\alpha}^{IJ}$$ पर नहीं निर्भर है, इसलिए यह योगदान नहीं करता है। दूसरा पद कुल मानक है। आखिरी पद से यह प्राप्त होता है।"


 * $$e^{[a}_M e^{b]}_N \delta^M_{[I} \delta^K_{J]} {C_{bK}}^N = 0.$$

हम नीचे दिखाते हैं कि इसका तात्पर्य यह है कि $${C_\alpha}^{IJ} = 0$$ पूर्वकारक के रूप में $$e^{[a}_M e^{b]}_N \delta^M_{[I} \delta^K_{J]}$$ गैर पतित है। ये हमें ये बताता है $$\nabla$$ के साथ मेल खाता है $$D$$ जब केवल आंतरिक सूचकांकों वाली वस्तुओं पर कार्य किया जाता है। इस प्रकार संबंध $$D$$ पूरी प्रकार से टेट्राड और द्वारा निर्धारित होता है $$\Omega$$ के साथ मेल खाता है $$R$$। टेट्राड के संबंध में भिन्नता की गणना करने के लिए हमें भिन्नता की आवश्यकता है $$e = \det e_\alpha^I$$। मानक सूत्र से


 * $$\delta \det (a) = \det (a) \left (a^{-1} \right )_{ji} \delta a_{ij}$$

हमारे पास है $$\delta e = e e_I^\alpha \delta e_\alpha^I$$। या उपयोग करने पर $$\delta \left (e_\alpha^I e_I^\alpha \right ) = 0$$, ये बन जाता है $$\delta e = -e e_\alpha^I \delta e_I^\alpha$$ हम टेट्राड के संबंध में भिन्नता करके दूसरे समीकरण की गणना करते हैं,


 * $$\begin{align}

\delta S_{H-P} &= \int d^4 x \; e \left ( \left (\delta e^\alpha_I \right ) e^\beta_J {\Omega_{\alpha \beta}}^{IJ} + e^\alpha_I \left (\delta e^\beta_J \right ) {\Omega_{\alpha \beta}}^{IJ} - e_\gamma^K \left ( \delta e_K^\gamma \right ) e^\alpha_I e^\beta_J {\Omega_{\alpha \beta}}^{IJ} \right ) \\ &= 2 \int d^4 x \; e \left ( e^\beta_J {\Omega_{\alpha \beta}}^{IJ} - {1 \over 2} e_M^\gamma e_N^\delta e_\alpha^I {\Omega_{\gamma \delta}}^{MN} \right ) \left  (\delta e_I^\alpha \right ) \end{align}$$ मिलता है, प्रतिस्थापित करने के बाद $${\Omega_{\alpha \beta}}^{IJ}$$ के लिए $${R_{\alpha \beta}}^{IJ}$$ जैसा कि गति के पिछले समीकरण द्वारा दिया गया है,


 * $$e_J^\gamma {R_{\alpha \gamma}}^{IJ} - {1 \over 2} {R_{\gamma \delta}}^{MN} e_M^\gamma e_N^\delta e_\alpha^I = 0$$

जिसे, से गुणा करने के बाद $$e_{I \beta}$$ बस हमें बताता है कि आइंस्टीन टेंसर $$R_{\alpha\beta}-\tfrac{1}{2} R g_{\alpha \beta}$$ टेट्राड द्वारा परिभाषित मीट्रिक गायब हो जाता है। इसलिए हमने यह सिद्ध कर दिया है कि टेट्राडिक रूप में क्रिया का पैलेटिनी रूपांतर सामान्य आइंस्टीन समीकरण उत्पन्न करता है।

पलटिनी क्रिया का सामान्यीकरण
हम क्रिया को एक शब्द जोड़कर बदलते हैं


 * $$- {1 \over 2 \gamma} e e_I^\alpha e_J^\beta {\Omega_{\alpha \beta}}^{MN} [\omega] {\epsilon^{IJ}}_{MN}$$

यह पलाटिनी क्रिया को संशोधित करता है


 * $$S = \int d^4 x \; e \; e^\alpha_I e^\beta_J {P^{IJ}}_{MN} {\Omega_{\alpha \beta}}^{MN}$$

जहाँ


 * $${P^{IJ}}_{MN} = \delta_M^{[I} \delta_N^{J]} - {1 \over 2 \gamma} {\epsilon^{IJ}}_{MN}.$$

ऊपर दिए गए क्रियाकलाप को होल्स्ट क्रिया कहा जाता है, जिसे होल्स्ट ने प्रस्तुत किया था, और $$\gamma$$ बारबेरो-इमिरज़ी पैरामीटर है जिसकी भूमिका बारबेरो और इमिरिज़ी द्वारा पहचानी गई थी। स्व-द्वितीय सूत्रन रूपांतरण उस चयन का समर्थन करता है, जिसमें $$\gamma = -i$$ है।

यह दिखाना आसान है कि ये क्रियाएं समान समीकरण देती हैं। चूँकि, जो पृष्ठ उस स्थिति का समर्थन करता है जो $$\gamma = \pm i$$ उसे अलग से किया जाना चाहिए (स्व-द्वितीय पालाटिनी क्रिया देखें)। मान लीजिए $$\gamma \not= \pm i$$, तो फिर $${P^{IJ}}_{MN}$$ द्वारा दिया गया व्युत्क्रम है।


 * $${(P^{-1})_{IJ}}^{MN} = \frac{\gamma^2}{\gamma^2+1} \left ( \delta_I^{[M} \delta_J^{N]} + \frac{1}{2\gamma} {\epsilon_{IJ}}^{MN} \right).$$

(ध्यान दें कि यह अलग है $$\gamma = \pm i$$) चूँकि यह व्युत्क्रम पूर्वकारक का सामान्यीकरण उपस्थित है $$e^{[a}_M e^{b]}_N \delta^M_{[I} \delta^K_{J]}$$ भी होगा गैर-विकृत हो और इस प्रकार संबंध के संबंध में भिन्नता से समतुल्य स्थितियाँ प्राप्त की जाती हैं। हम फिर से प्राप्त करते हैं $${C_\alpha}^{IJ} = 0$$। चूँकि टेट्राड के संबंध में भिन्नता से आइंस्टीन का समीकरण और अतिरिक्त पद प्राप्त होता है। चूँकि, यह अतिरिक्त शब्द रीमैन टेंसर की समरूपता से गायब हो जाता है।

सामान्य वक्रता को मिश्रित सूचकांक वक्रता से संबंधित करना
सामान्य रीमैन वक्रता टेंसर $${R_{\alpha \beta \gamma}}^{\delta}$$ द्वारा परिभाषित किया गया है


 * $${R_{\alpha \beta \gamma}}^{\delta} V_\delta = \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right ) V_\gamma.$$

मिश्रित सूचकांक वक्रता टेंसर से संबंध खोजने के लिए आइए हम विकल्प चुनें $$V_\gamma = e_\gamma^I V_I$$
 * $$\begin{align}

{R_{\alpha \beta \gamma}}^{\delta} V_\delta &= \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right ) V_\gamma \\ &= \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right ) \left (e_\gamma^I V_I \right ) \\ &= e_\gamma^I \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right ) V_I \\ &= e_\gamma^I {R_{\alpha \beta I}}^J e_J^\delta V_\delta \end{align}$$ जहां हमने उपयोग किया है $$\nabla_\alpha e_\beta^I = 0$$। चूँकि यह सभी के लिए सत्य है $$V_\delta$$ हमने प्राप्त


 * $${R_{\alpha \beta \gamma}}^{\delta} = e_\gamma^I {R_{\alpha \beta I}}^J e_J^\delta$$।

इस अभिव्यक्ति का प्रयोग करके हम पाते हैं


 * $$R_{\alpha \beta} = {R_{\alpha \gamma \beta}}^{\gamma} = {R_{\alpha \gamma I}}^J e_\beta^I e_J^\gamma.$$

ठेकेदारी ख़त्म $$\alpha$$ और $$\beta$$ हमें रिक्की अदिश लिखने की अनुमति देता है


 * $$R = {R_{\alpha \beta}}^{IJ} e_I^\alpha e_J^\beta.$$

वक्रता के बीच अंतर
व्युत्पन्न द्वारा परिभाषित $$D_\alpha V_I$$ केवल आंतरिक सूचकांकों पर कार्य करना जानता है। चूँकि, हमें स्पेसटाइम सूचकांकों के लिए मरोड़-मुक्त विस्तार पर विचार करना सुविधाजनक लगता है। सभी गणनाएँ विस्तार के इस विकल्प से स्वतंत्र होंगी। को लागू करने $$\mathcal{D}_a$$ दो बार चालू $$V_I$$,


 * $$\mathcal{D}_\alpha \mathcal{D}_\beta V_I = \mathcal{D}_\alpha (\nabla_\beta V_I + {C_{\beta I}}^J V_J) = \nabla_\alpha \left (\nabla_\beta V_I + {C_{\beta I}}^J V_J \right ) + {C_{\alpha I}}^K \left (\nabla_b V_K + {C_{\beta K}}^J V_J \right ) + \overline{\Gamma}_{\alpha \beta}^\gamma \left (\nabla_\gamma V_I + {C_{\gamma I}}^J V_J \right )$$

जहाँ $$\overline{\Gamma}_{\alpha \beta}^\gamma$$ महत्वहीन है, हमें केवल यह ध्यान देने की आवश्यकता है कि यह सममित है $$\alpha$$ और $$\beta$$ क्योंकि यह मरोड़-मुक्त है। तब


 * $$\begin{align}

{\Omega_{\alpha \beta I}}^J V_J &= \left (\mathcal{D}_\alpha \mathcal{D}_\beta - \mathcal{D}_\beta \mathcal{D}_\alpha \right ) V_I \\ &= \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right ) V_I + \nabla_\alpha \left ({C_{\beta I}}^J V_J \right ) - \nabla_\beta \left ({C_{\alpha I}}^J V_J \right ) +{C_{\alpha I}}^K \nabla_\beta V_K - {C_{\beta I}}^K \nabla_\alpha V_K + {C_{\alpha I}}^K {C_{\beta K}}^J V_J - {C_{\beta I}}^K {C_{\alpha K}}^J V_J \\ &= {R_{\alpha \beta I}}^J V_J + \left (\nabla_\alpha {C_{\beta I}}^J - \nabla_\beta {C_{\alpha I}}^J + {C_{\alpha I}}^K {C_{\beta K}}^J - {C_{\beta_I}}^K {C_{\alpha K}}^J \right ) V_J \end{align}$$ इस तरह:


 * $${\Omega_{ab}}^{IJ} - {R_{ab}}^{IJ} = 2 \nabla_{[a} {C_{b]}}^{IJ} + 2{C_{[a}}^{IK} {C_{b] K}}^J$$

क्षेत्र के संबंध में प्रक्रिया को अलग-अलग करना $${C_\alpha}^{IJ}$$
हम उम्मीद करेंगे $$\nabla_a$$ मिन्कोव्स्की मीट्रिक को भी नष्ट करने के लिए $$\eta_{IJ} = e_{\beta I} e^\beta_J$$। यदि हम यह भी मान लें कि सहसंयोजक व्युत्पन्न $$\mathcal{D}_\alpha$$ हमारे पास मिन्कोव्स्की मीट्रिक (जिसे मरोड़-मुक्त कहा जाता है) को नष्ट कर देता है,


 * $$0 = (\mathcal{D}_\alpha - \nabla_\alpha) \eta_{IJ}= {C_{\alpha I}}^K \eta_{KJ} + {C_{aJ}}^K \eta_{IK} = C_{\alpha IJ} + C_{\alpha JI}.$$

यह दावा करना


 * $$C_{\alpha IJ} = C_{\alpha [IJ]}.$$

प्रक्रिया के अंतिम पद से हमारे पास इसके संबंध में भिन्नता है $${C_{\alpha I}}^J,$$

$$\begin{align} \delta S_{EH} &= \delta \int d^4 x \; e \; e_M^\gamma e_N^\beta {C_{[\gamma}}^{MK} {C_{\beta]K}}^N \\ &= \delta \int d^4 x \; e \; e_M^{[\gamma} e_N^{\beta]} {C_\gamma}^{MK} {C_{\beta K}}^N \\ &= \delta \int d^4 x \; e \; e^{M [\gamma} e^{\beta]}_N {C_{\gamma M}}^K {C_{\beta K}}^N \\ &= \int d^4 x \; e e^{M [\gamma} e^{\beta]}_N \left ( \delta_\gamma^\alpha \delta^I_M \delta^K_J {C_{\beta K}}^N + {C_{\gamma M}}^K \delta^\alpha_\beta \delta^I_K \delta^N_J \right ) \delta {C_{\alpha I}}^J \\ &= \int d^4 x \; e \left (e^{I [\alpha} e^{\beta]}_N {C_{\beta J}}^N + e^{M [\beta} e^{\alpha]}_J {C_{\beta M}}^I \right ) \delta {C_{\alpha I}}^J \end{align}$$

या


 * $$e_I^{[\alpha} e^{\beta]}_K {C_{\beta J}}^K + e^{K [\beta} e^{\alpha]}_J C_{\beta KI} = 0$$

या


 * $${C_{\beta I}}^K e^{[\alpha}_K e^{\beta]}_J + {C_{\beta J}}^K e^{[\alpha}_I e^{\beta]}_K = 0.$$

जहां हमने उपयोग किया है $$C_{\beta KI} = - C_{\beta IK}$$। इसे और अधिक संक्षिप्त रूप में लिखा जा सकता है


 * $$e^{[\alpha}_M e^{\beta]}_N \delta^M_{[I} \delta^K_{J]} {C_{\beta K}}^N = 0.$$

$${C_\alpha}^{IJ}$$ का लुप्त हो जाना
हम "जियोमेट्रोडायनामिक्स बनाम संबंध डायनेमिक्स" संदर्भ का अनुसरण करके दिखाएंगे वह


 * $${C_{\beta I}}^K e^{[\alpha}_K e^{\beta]}_J + {C_{\beta J}}^K e^{[\alpha}_I e^{\beta]}_K = 0 \quad Eq. 1$$

तात्पर्य $${C_{\alpha I}}^J = 0.$$ सबसे पहले हम स्पेसटाइम टेंसर फ़ील्ड को परिभाषित करते हैं


 * $$S_{\alpha \beta \gamma} := C_{\alpha IJ} e^I_\beta e^J_\gamma.$$

तब शर्त $$C_{\alpha IJ} = C_{\alpha [IJ]}$$ के समान है जो $$S_{\alpha \beta \gamma} = S_{\alpha [\beta \gamma]}$$के समान है।अनुबंधन समीकरण 1 के साथ $$e_\alpha^I e_\gamma^J$$ कोई उसका हिसाब लगाता है


 * $${C_{\beta J}}^I e_\gamma^J e_I^\beta = 0.$$

जैसा $${S_{\alpha \beta}}^{\gamma} = {C_{\alpha I}}^J e_\beta^I e_J^\gamma,$$ हमारे पास है $${S_{\beta \gamma}}^{\beta} = 0.$$ हम इसे इस प्रकार लिखते हैं


 * $$({C_{\beta I}}^J e_J^\beta) e_\gamma^I = 0,$$

और के रूप में $$e_\alpha^I$$ उलटे हैं इसका तात्पर्य है


 * $${C_{\beta I}}^J e_J^\beta = 0.$$

इस प्रकार शर्तें $${C_{\beta I}}^K e^\beta_K e^\alpha_J,$$ और $${C_{\beta J}}^K e^\alpha_I e^\beta_K$$ Eq का। 1 दोनों गायब हो जाते हैं और Eq। 1 से कम हो जाता है


 * $${C_{\beta I}}^K e^\alpha_K e^\beta_J - {C_{\beta J}}^K e^\beta_I e^\alpha_K = 0.$$

यदि अब हम इसके साथ अनुबंध करते हैं $$e^I_\gamma e^J_\delta$$, हम पाते हैं


 * $$\begin{align}

0 &= \left ( {C_{\beta I}}^K e^\alpha_K e^\beta_J - {C_{\beta J}}^K e^\beta_I e^\alpha_K \right ) e^I_\gamma e^J_\delta \\ &= {C_{\beta I}}^K e^\alpha_K e^I_\gamma \delta_\delta^\beta - {C_{\beta J}}^K \delta_\gamma^\beta e^\alpha_K e^J_\delta \\ &= {C_{\delta I}}^K e^I_\gamma e^\alpha_K - {C_{\gamma J}}^K e^J_\delta e^\alpha_K \end{align}$$ या


 * $${S_{\gamma \delta}}^{\alpha} = {S_{(\gamma \delta)}}^{\alpha}.$$

चूंकि हमारे पास है $$S_{\alpha \beta \gamma} = S_{\alpha [\beta \gamma]}$$ और $$S_{\alpha \beta \gamma} = S_{(\alpha \beta) \gamma}$$, हम प्राप्त करने के लिए हर बार उचित चिह्न परिवर्तन के साथ पहले दो और फिर अंतिम दो सूचकांकों को क्रमिक रूप से बदल सकते हैं,


 * $$S_{\alpha \beta \gamma} = S_{\beta \alpha \gamma} = -S_{\beta \gamma \alpha} = -S_{\gamma \beta \alpha} = S_{\gamma \alpha \beta} = S_{\alpha \gamma \beta} = -S_{\alpha \beta \gamma}$$

यह दावा करना


 * $$S_{\alpha \beta \gamma} = 0,$$ या


 * $$C_{\alpha IJ} e_\beta^I e_\gamma^J = 0,$$

और तब से $$e_\alpha^I$$ उलटे हैं, हम पाते हैं $$C_{\alpha IJ} = 0$$। यह वांछित परिणाम है।

यह भी देखें

 * टेंशनर लैंज़ोस
 * वेइल टेंसर