3डी रोटेशन समूह: Difference between revisions
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
प्रत्येक गैर-तुच्छ घूर्णन उसके घूर्णन अक्ष (मूल बिंदु से होकर जाने वाली रेखा) और उसके घूर्णन कोण द्वारा निर्धारित होता है। घूर्णन क्रमविनिमेय नहीं होते हैं (उदाहरण के लिए, x-y समतल में R 90° को यात्रा करने के बाद y-z समतल में S 90° को यात्रा करना R को यात्रा करने के समान नहीं है), जिससे 3डी घूर्णन समूह गैर-एबेलियन समूह बन जाता है। इसके अतिरिक्त, रोटेशन समूह में प्राकृतिक संरचना होती है जिसके लिए समूह संचालन [[सुचारू कार्य]] होता है, इसलिए यह वास्तव में [[झूठ समूह]] है। यह [[सघन स्थान|सघन]] समिष्ट है और इसका आयाम 3 है। | प्रत्येक गैर-तुच्छ घूर्णन उसके घूर्णन अक्ष (मूल बिंदु से होकर जाने वाली रेखा) और उसके घूर्णन कोण द्वारा निर्धारित होता है। घूर्णन क्रमविनिमेय नहीं होते हैं (उदाहरण के लिए, x-y समतल में R 90° को यात्रा करने के बाद y-z समतल में S 90° को यात्रा करना R को यात्रा करने के समान नहीं है), जिससे 3डी घूर्णन समूह गैर-एबेलियन समूह बन जाता है। इसके अतिरिक्त, रोटेशन समूह में प्राकृतिक संरचना होती है जिसके लिए समूह संचालन [[सुचारू कार्य]] होता है, इसलिए यह वास्तव में [[झूठ समूह]] है। यह [[सघन स्थान|सघन]] समिष्ट है और इसका आयाम 3 है। | ||
घूर्णन [[रैखिक परिवर्तन]] <math>\R^3</math> हैं और इसलिए इसे सदिश समष्टि के आधार पर बार [[मैट्रिक्स (गणित)]] द्वारा दर्शाया जा सकता है <math>\R^3</math> चुना गया है। विशेष रूप से, यदि हम लम्बवत आधार चुनते हैं <math>\R^3</math>, प्रत्येक रोटेशन को ऑर्थोगोनल | घूर्णन [[रैखिक परिवर्तन]] <math>\R^3</math> हैं और इसलिए इसे सदिश समष्टि के आधार पर बार [[मैट्रिक्स (गणित)|आव्युह (गणित)]] द्वारा दर्शाया जा सकता है <math>\R^3</math> चुना गया है। विशेष रूप से, यदि हम लम्बवत आधार चुनते हैं <math>\R^3</math>, प्रत्येक रोटेशन को ऑर्थोगोनल आव्युह द्वारा वर्णित किया गया है । ऑर्थोगोनल 3 × 3 आव्युह (यानी, वास्तविक प्रविष्टियों के साथ 3 × 3 मैट्रिक्स, जो इसके स्थानान्तरण से गुणा होने पर, पहचान आव्युह में परिणत होता है) निर्धारक 1 के साथ। समूह SO(3) इसलिए [[मैट्रिक्स गुणन|आव्युह गुणन]] के तहत इन आव्युह के समूह के साथ पहचाना जा सकता है। इन आव्यूहों को विशेष ऑर्थोगोनल आव्यूह के रूप में जाना जाता है, जो संकेतन SO(3) की व्याख्या करते हैं। | ||
समूह SO(3) का उपयोग किसी वस्तु की संभावित घूर्णी समरूपता, साथ ही समिष्ट में किसी वस्तु के संभावित अभिविन्यास का वर्णन करने के लिए किया जाता है। इसके समूह निरूपण भौतिकी में महत्वपूर्ण हैं, जहां वे पूर्णांक [[स्पिन (भौतिकी)]] के [[प्राथमिक कण|प्राथमिक कणों]] का उत्पन्न होता है। | समूह SO(3) का उपयोग किसी वस्तु की संभावित घूर्णी समरूपता, साथ ही समिष्ट में किसी वस्तु के संभावित अभिविन्यास का वर्णन करने के लिए किया जाता है। इसके समूह निरूपण भौतिकी में महत्वपूर्ण हैं, जहां वे पूर्णांक [[स्पिन (भौतिकी)]] के [[प्राथमिक कण|प्राथमिक कणों]] का उत्पन्न होता है। | ||
| Line 18: | Line 18: | ||
{{Main|ऑर्थोगोनल आव्युह|रोटेशन आव्युह}} | {{Main|ऑर्थोगोनल आव्युह|रोटेशन आव्युह}} | ||
प्रत्येक घूर्णन | प्रत्येक घूर्णन <math>\R^3</math> लंबात्मक आधार का मानचित्रण करता है। किसी अन्य दैहिक आधार पर। [[परिमित-आयामी]] सदिश स्थानों के किसी भी रैखिक परिवर्तन की तरह, रोटेशन को हमेशा आव्युह (गणित) द्वारा दर्शाया जा सकता है। होने देना {{math|''R''}} दिया गया घुमाव हो। [[मानक आधार]] के संबंध में {{math|'''e'''<sub>1</sub>, '''e'''<sub>2</sub>, '''e'''<sub>3</sub>}} का <math>\R^3</math> के कॉलम {{math|''R''}} द्वारा दिए गए हैं {{math|(''R'''''e'''<sub>1</sub>, ''R'''''e'''<sub>2</sub>, ''R'''''e'''<sub>3</sub>)}}. चूँकि मानक आधार लम्बवत् है, और तब से {{math|''R''}} कोणों और लंबाई, स्तंभों को सुरक्षित रखता है {{math|''R''}} और लंबात्मक आधार बनाएं। इस रूढ़िबद्धता की स्थिति को इस रूप में व्यक्त किया जा सकता है | ||
:<math>R^\mathsf{T}R = RR^\mathsf{T} = I,</math> | :<math>R^\mathsf{T}R = RR^\mathsf{T} = I,</math> | ||
कहाँ {{math|''R''<sup>{{sans-serif|T}}</sup>}} के स्थानान्तरण को दर्शाता है {{math|''R''}} और {{mvar|I}} है {{math|3 × 3}} शिनाख्त सांचा। वे | कहाँ {{math|''R''<sup>{{sans-serif|T}}</sup>}} के स्थानान्तरण को दर्शाता है {{math|''R''}} और {{mvar|I}} है {{math|3 × 3}} शिनाख्त सांचा। वे आव्युह जिनके लिए यह गुण धारण करता है, [[ऑर्थोगोनल मैट्रिक्स|ऑर्थोगोनल]] आव्युह कहलाते हैं। सबका समूह {{math|3 × 3}} ऑर्थोगोनल आव्युह को दर्शाया गया है {{math|O(3)}}, और इसमें सभी उचित और अनुचित घुमाव शामिल हैं। | ||
लंबाई को संरक्षित करने के अतिरिक्त, उचित घुमाव को अभिविन्यास को भी संरक्षित करना | लंबाई को संरक्षित करने के अतिरिक्त, उचित घुमाव को अभिविन्यास को भी संरक्षित करना रखना आवश्यक है। आव्युह का निर्धारक सकारात्मक है या नकारात्मक, इसके अनुसार आव्युह अभिविन्यास को संरक्षित या उलट देगा। ऑर्थोगोनल आव्युह के लिए {{math|''R''}}, ध्यान दें कि {{math|1=det ''R''<sup>{{sans-serif|T}}</sup> = det ''R''}} तात्पर्य {{math|1=(det ''R'')<sup>2</sup> = 1}}, ताकि {{math|1=det ''R'' = ±1}}. निर्धारक के साथ ऑर्थोगोनल आव्युह का [[उपसमूह]] {{math|+1}} को विशेष [[ऑर्थोगोनल समूह]] कहा जाता है, जिसे दर्शाया गया है {{math|SO(3)}}. | ||
इस प्रकार प्रत्येक घुमाव को इकाई निर्धारक के साथ ऑर्थोगोनल | इस प्रकार प्रत्येक घुमाव को इकाई निर्धारक के साथ ऑर्थोगोनल आव्युह द्वारा विशिष्ट रूप से दर्शाया जा सकता है। इसके अतिरिक्त, चूंकि घूर्णन की संरचना आव्युह गुणन से मेल खाती है, इसलिए घूर्णन समूह विशेष ऑर्थोगोनल समूह {{math|SO(3)}} के [[समरूपी]] है। | ||
[[अनुचित घुमाव]] निर्धारक के साथ ऑर्थोगोनल | [[अनुचित घुमाव]] निर्धारक {{math|−1}} के साथ ऑर्थोगोनल आव्युह के अनुरूप होते हैं, और वे समूह नहीं बनाते क्योंकि दो अनुचित घुमावों का गुणनफल उचित घुमाव होता है। | ||
==समूह संरचना== | ==समूह संरचना== | ||
रोटेशन समूह फलन संरचना (या समकक्ष [[मैट्रिक्स उत्पाद]]) के अंतर्गत समूह (गणित) है। यह [[सामान्य रैखिक समूह]] का उपसमूह है जिसमें [[वास्तविक समन्वय स्थान|वास्तविक समन्वय]] समिष्ट के सभी [[उलटा मैट्रिक्स]] रैखिक परिवर्तन शामिल हैं । वास्तविक 3-समिष्ट <math>\R^3</math>.<ref>''n'' × ''n'' real matrices are identical to linear transformations of <math>\R^n</math> expressed in its [[standard basis]].</ref> | रोटेशन समूह फलन संरचना (या समकक्ष [[मैट्रिक्स उत्पाद|आव्युह उत्पाद]]) के अंतर्गत समूह (गणित) है। यह [[सामान्य रैखिक समूह]] का उपसमूह है जिसमें [[वास्तविक समन्वय स्थान|वास्तविक समन्वय]] समिष्ट के सभी [[उलटा मैट्रिक्स|उलटा]] आव्युह रैखिक परिवर्तन शामिल हैं । वास्तविक 3-समिष्ट <math>\R^3</math>.<ref>''n'' × ''n'' real matrices are identical to linear transformations of <math>\R^n</math> expressed in its [[standard basis]].</ref> | ||
इसके अतिरिक्त, घूर्णन समूह [[नॉनबेलियन समूह]] है। अर्थात्, घुमावों की रचना के क्रम से फर्क पड़ता है। उदाहरण के लिए, सकारात्मक x-अक्ष के चारों ओर चौथाई चक्कर और उसके बाद सकारात्मक y-अक्ष के चारों ओर चौथाई चक्कर, पहले y और फिर x के चारों ओर घूमने से प्राप्त घुमाव से भिन्न घूर्णन है। | इसके अतिरिक्त, घूर्णन समूह [[नॉनबेलियन समूह]] है। अर्थात्, घुमावों की रचना के क्रम से फर्क पड़ता है। उदाहरण के लिए, सकारात्मक x-अक्ष के चारों ओर चौथाई चक्कर और उसके बाद सकारात्मक y-अक्ष के चारों ओर चौथाई चक्कर, पहले y और फिर x के चारों ओर घूमने से प्राप्त घुमाव से भिन्न घूर्णन है। | ||
| Line 91: | Line 91: | ||
1 &= w^2 + x^2 + y^2 + z^2 , | 1 &= w^2 + x^2 + y^2 + z^2 , | ||
\end{align}</math> | \end{align}</math> | ||
रोटेशन | रोटेशन आव्युह में मैप किया गया है | ||
<math display="block"> Q = \begin{bmatrix} | <math display="block"> Q = \begin{bmatrix} | ||
1 - 2 y^2 - 2 z^2 & 2 x y - 2 z w & 2 x z + 2 y w \\ | 1 - 2 y^2 - 2 z^2 & 2 x y - 2 z w & 2 x z + 2 y w \\ | ||
| Line 126: | Line 126: | ||
इस प्रकार {{math|Π<sub>''u''</sub>(''g'')}} का रूपांतरण है <math>\Complex</math> परिवर्तन से सम्बंधित है {{math|Π<sub>''s''</sub>(''g'')}} का <math>\R^3</math>. | इस प्रकार {{math|Π<sub>''u''</sub>(''g'')}} का रूपांतरण है <math>\Complex</math> परिवर्तन से सम्बंधित है {{math|Π<sub>''s''</sub>(''g'')}} का <math>\R^3</math>. | ||
यह पता चला है कि {{math|''g'' ∈ SO(3)}} द्वारा इस प्रकार दर्शाया गया है {{math|Π<sub>''u''</sub>(''g'')}} को | यह पता चला है कि {{math|''g'' ∈ SO(3)}} द्वारा इस प्रकार दर्शाया गया है {{math|Π<sub>''u''</sub>(''g'')}} को आव्युह के रूप में व्यक्त किया जा सकता है {{math|Π<sub>''u''</sub>(''g'') ∈ SU(2)}} (जहां आव्युह के परिवर्तन के लिए उसी नाम का उपयोग करने के लिए नोटेशन को पुनर्नवीनीकरण किया जाता है <math>\Complex</math> यह प्रस्तुत करता है)। इस आव्युह की पहचान करने के लिए, पहले रोटेशन पर विचार करें {{math|''g''<sub>''φ''</sub>}} के बारे में {{nowrap|{{math|''z''}}-axis}} कोण के माध्यम से {{mvar|''φ''}}, | ||
:<math>\begin{align} | :<math>\begin{align} | ||
| Line 147: | Line 147: | ||
:<math>\zeta' = \frac{\alpha \zeta + \beta}{\gamma \zeta + \delta}, \quad \alpha\delta - \beta\gamma \ne 0.</math> | :<math>\zeta' = \frac{\alpha \zeta + \beta}{\gamma \zeta + \delta}, \quad \alpha\delta - \beta\gamma \ne 0.</math> | ||
घूर्णन, <math>g_{\phi}, g_{\theta}</math> सभी उत्पन्न करें {{math|SO(3)}} और मोबियस परिवर्तनों के रचना नियम दर्शाते हैं कि कोई भी रचना <math>g_{\phi}, g_{\theta}</math> मोबियस परिवर्तनों की संगत संरचना का अनुवाद करता है। मोबियस परिवर्तनों को | घूर्णन, <math>g_{\phi}, g_{\theta}</math> सभी उत्पन्न करें {{math|SO(3)}} और मोबियस परिवर्तनों के रचना नियम दर्शाते हैं कि कोई भी रचना <math>g_{\phi}, g_{\theta}</math> मोबियस परिवर्तनों की संगत संरचना का अनुवाद करता है। मोबियस परिवर्तनों को आव्युह द्वारा दर्शाया जा सकता है | ||
:<math>\begin{pmatrix}\alpha & \beta\\ \gamma & \delta\end{pmatrix}, \qquad \alpha\delta - \beta\gamma = 1,</math> | :<math>\begin{pmatrix}\alpha & \beta\\ \gamma & \delta\end{pmatrix}, \qquad \alpha\delta - \beta\gamma = 1,</math> | ||
के सामान्य कारक के बाद से {{math|''α'', ''β'', ''γ'', ''δ''}} रद्द करता है. | के सामान्य कारक के बाद से {{math|''α'', ''β'', ''γ'', ''δ''}} रद्द करता है. | ||
इसी कारण से, गुणा के बाद से | इसी कारण से, गुणा के बाद से आव्युह को विशिष्ट रूप से परिभाषित नहीं किया गया है {{math|−''I''}} का निर्धारक या मोबियस परिवर्तन पर कोई प्रभाव नहीं पड़ता है। मोबियस परिवर्तनों का रचना नियम संबंधित आव्यूहों का अनुसरण करता है। निष्कर्ष यह है कि प्रत्येक मोबियस परिवर्तन दो आव्युह से मेल खाता है {{math|''g'', −''g'' ∈ SL(2, '''C''')}}. | ||
इस पत्राचार का उपयोग करके कोई भी लिख सकता है | इस पत्राचार का उपयोग करके कोई भी लिख सकता है | ||
| Line 176: | Line 176: | ||
\end{pmatrix}. | \end{pmatrix}. | ||
\end{align}</math> | \end{align}</math> | ||
ये | ये आव्युह एकात्मक हैं और इस प्रकार {{math|Π<sub>''u''</sub>(SO(3)) ⊂ SU(2) ⊂ SL(2, '''C''')}}. [[यूलर कोण]] के संदर्भ में<ref group="nb">This is effected by first applying a rotation <math>g_{\theta}</math> through {{mvar|''φ''}} about the {{nowrap|{{math|''z''}}-axis}} to take the {{nowrap|{{math|''x''}}-axis}} to the line {{math|''L''}}, the intersection between the planes {{math|''xy''}} and {{math|''x'y'''}}, the latter being the rotated {{nowrap|{{math|''xy''}}-plane}}. Then rotate with <math>g_{\theta}</math> through {{mvar|θ}} about {{math|''L''}} to obtain the new {{nowrap|{{math|''z''}}-axis}} from the old one, and finally rotate by <math>g_{\psi}</math> through an angle {{mvar|ψ}} about the ''new'' {{nowrap|{{math|''z''}}-axis}}, where {{mvar|ψ}} is the angle between {{mvar|L}} and the new {{nowrap|{{math|''x''}}-axis}}. In the equation, <math>g_{\theta}</math> and <math>g_{\psi}</math> are expressed in a temporary ''rotated basis'' at each step, which is seen from their simple form. To transform these back to the original basis, observe that <math>\mathbf{g}_{\theta} = g_{\phi}g_{\theta}g_{\phi}^{-1}.</math> Here boldface means that the rotation is expressed in the ''original'' basis. Likewise, | ||
:<math>\mathbf{g}_{\psi} = g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi} g_{\psi} \left [ g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi} \right ]^{-1}.</math> | :<math>\mathbf{g}_{\psi} = g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi} g_{\psi} \left [ g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi} \right ]^{-1}.</math> | ||
Thus | Thus | ||
| Line 228: | Line 228: | ||
\end{align}</math>|{{EquationRef|2}}}} | \end{align}</math>|{{EquationRef|2}}}} | ||
इसके विपरीत, सामान्य | इसके विपरीत, सामान्य आव्युह पर विचार करें | ||
:<math>\pm\Pi_u(g_{\alpha,\beta}) = \pm\begin{pmatrix} \alpha & \beta\\ -\overline{\beta} & \overline{\alpha} \end{pmatrix} \in \operatorname{SU}(2).</math> | :<math>\pm\Pi_u(g_{\alpha,\beta}) = \pm\begin{pmatrix} \alpha & \beta\\ -\overline{\beta} & \overline{\alpha} \end{pmatrix} \in \operatorname{SU}(2).</math> | ||
| Line 237: | Line 237: | ||
\frac{\phi + \psi}{2} &= \arg \alpha, & \frac{\psi - \phi}{2} &= \arg \beta. & | \frac{\phi + \psi}{2} &= \arg \alpha, & \frac{\psi - \phi}{2} &= \arg \beta. & | ||
\end{align}</math> | \end{align}</math> | ||
प्रतिस्थापन के साथ, {{math|Π(''g''<sub>''α'', ''β''</sub>)}} (के [[दाहिने हाथ की ओर]]) का रूप धारण करता है{{EquationNote|2}}), जो नीचे मेल खाता है {{math|Π<sub>''u''</sub>}} के आरएचएस के रूप में | प्रतिस्थापन के साथ, {{math|Π(''g''<sub>''α'', ''β''</sub>)}} (के [[दाहिने हाथ की ओर]]) का रूप धारण करता है{{EquationNote|2}}), जो नीचे मेल खाता है {{math|Π<sub>''u''</sub>}} के आरएचएस के रूप में आव्युह के लिए ({{EquationNote|1}}) उसी के साथ {{math|''φ'', ''θ'', ''ψ''}}. जटिल मापदंडों के संदर्भ में {{math|''α'', ''β''}}, | ||
:<math>g_{\alpha,\beta} = \begin{pmatrix} | :<math>g_{\alpha,\beta} = \begin{pmatrix} | ||
| Line 252: | Line 252: | ||
\alpha\overline{\alpha} - \beta\overline{\beta} | \alpha\overline{\alpha} - \beta\overline{\beta} | ||
\end{pmatrix}.</math> | \end{pmatrix}.</math> | ||
इसे सत्यापित करने के लिए, प्रतिस्थापित करें {{math|''α''. ''β''}} के आरएचएस पर | इसे सत्यापित करने के लिए, प्रतिस्थापित करें {{math|''α''. ''β''}} के आरएचएस पर आव्युह के तत्व ({{EquationNote|2}}). कुछ हेरफेर के बाद, आव्युह आरएचएस का रूप धारण कर लेता है ({{EquationNote|1}}). | ||
यूलर कोणों के संदर्भ में स्पष्ट रूप से यह स्पष्ट है कि मानचित्र | यूलर कोणों के संदर्भ में स्पष्ट रूप से यह स्पष्ट है कि मानचित्र | ||
| Line 263: | Line 263: | ||
==[[झूठ बीजगणित]]== | ==[[झूठ बीजगणित]]== | ||
प्रत्येक लाई समूह के साथ उसका लाई बीजगणित जुड़ा होता है, लाई समूह के समान आयाम का रैखिक स्थान, जो [[लेट ब्रैकेट]] नामक द्विरेखीय वैकल्पिक उत्पाद के तहत बंद होता है। का झूठ बीजगणित {{math|SO(3)}} द्वारा दर्शाया जाता है <math>\mathfrak{so}(3)</math> और इसमें सभी [[तिरछा-सममित मैट्रिक्स]]।तिरछा-सममित शामिल हैं {{math|3 × 3}} मैट्रिक्स.<ref>{{harvnb|Hall|2015}} Proposition 3.24</ref> इसे ऑर्थोगोनल | प्रत्येक लाई समूह के साथ उसका लाई बीजगणित जुड़ा होता है, लाई समूह के समान आयाम का रैखिक स्थान, जो [[लेट ब्रैकेट]] नामक द्विरेखीय वैकल्पिक उत्पाद के तहत बंद होता है। का झूठ बीजगणित {{math|SO(3)}} द्वारा दर्शाया जाता है <math>\mathfrak{so}(3)</math> और इसमें सभी [[तिरछा-सममित मैट्रिक्स]]।तिरछा-सममित शामिल हैं {{math|3 × 3}} मैट्रिक्स.<ref>{{harvnb|Hall|2015}} Proposition 3.24</ref> इसे ऑर्थोगोनल आव्युह को अलग करके देखा जा सकता है, {{math|1=''A''<sup>T</sup>''A'' = ''I'', ''A'' ∈ SO(3)}}.<ref group="nb">For an alternative derivation of <math>\mathfrak{so}(3)</math>, see [[Classical group]].</ref> के दो तत्वों का झूठ ब्रैकेट <math>\mathfrak{so}(3)</math> आव्युह [[कम्यूटेटर]] द्वारा दिए गए प्रत्येक आव्युह समूह के बीजगणित के लिए, {{math|1=[''A''<sub>1</sub>, ''A''<sub>2</sub>] = ''A''<sub>1</sub>''A''<sub>2</sub> − ''A''<sub>2</sub>''A''<sub>1</sub>}}, जो फिर से तिरछा-सममित आव्युह है। लाई बीजगणित ब्रैकेट बेकर-कैंपबेल-हॉसडॉर्फ सूत्र द्वारा सटीक किए गए अर्थ में लाई समूह उत्पाद के सार को पकड़ता है। | ||
के तत्व <math>\mathfrak{so}(3)</math> घूर्णन के अनंत लघु जनक हैं, यानी, वे पहचान तत्व पर मैनिफोल्ड SO(3) के [[स्पर्शरेखा स्थान|स्पर्शरेखा]] समिष्ट के तत्व हैं। अगर <math>R(\phi, \boldsymbol{n})</math> यूनिट सदिश द्वारा निर्दिष्ट अक्ष के बारे में कोण φ के साथ वामावर्त घुमाव को दर्शाता है <math>\boldsymbol{n},</math> तब | के तत्व <math>\mathfrak{so}(3)</math> घूर्णन के अनंत लघु जनक हैं, यानी, वे पहचान तत्व पर मैनिफोल्ड SO(3) के [[स्पर्शरेखा स्थान|स्पर्शरेखा]] समिष्ट के तत्व हैं। अगर <math>R(\phi, \boldsymbol{n})</math> यूनिट सदिश द्वारा निर्दिष्ट अक्ष के बारे में कोण φ के साथ वामावर्त घुमाव को दर्शाता है <math>\boldsymbol{n},</math> तब | ||
| Line 285: | Line 285: | ||
जो कि तीन मानक आधारों के संबंधों से सहमत हैं <math>\R^3</math> क्रॉस उत्पाद के अंतर्गत. | जो कि तीन मानक आधारों के संबंधों से सहमत हैं <math>\R^3</math> क्रॉस उत्पाद के अंतर्गत. | ||
जैसा कि ऊपर बताया गया है, कोई भी इस लाई बीजगणित में यूलर सदिश के साथ किसी भी | जैसा कि ऊपर बताया गया है, कोई भी इस लाई बीजगणित में यूलर सदिश के साथ किसी भी आव्युह की पहचान कर सकता है <math>\boldsymbol{\omega} = (x,y,z) \in \R^3,</math><ref>{{harvnb|Rossmann|2002}}</ref> | ||
:<math>\widehat{\boldsymbol{\omega}} =\boldsymbol{\omega}\cdot \boldsymbol{L} = x \boldsymbol{L}_x + y \boldsymbol{L}_y + z \boldsymbol{L}_z =\begin{bmatrix}0&-z&y\\z&0&-x\\-y&x&0\end{bmatrix} \in \mathfrak{so}(3).</math> | :<math>\widehat{\boldsymbol{\omega}} =\boldsymbol{\omega}\cdot \boldsymbol{L} = x \boldsymbol{L}_x + y \boldsymbol{L}_y + z \boldsymbol{L}_z =\begin{bmatrix}0&-z&y\\z&0&-x\\-y&x&0\end{bmatrix} \in \mathfrak{so}(3).</math> | ||
इस पहचान को कभी-कभी हैट-मैप भी कहा जाता है।<ref name="Engø 2001">{{harvnb|Engø|2001}}</ref> इस पहचान के तहत, <math>\mathfrak{so}(3)</math> ब्रैकेट में मेल खाता है <math>\R^3</math> क्रॉस उत्पाद के लिए, | इस पहचान को कभी-कभी हैट-मैप भी कहा जाता है।<ref name="Engø 2001">{{harvnb|Engø|2001}}</ref> इस पहचान के तहत, <math>\mathfrak{so}(3)</math> ब्रैकेट में मेल खाता है <math>\R^3</math> क्रॉस उत्पाद के लिए, | ||
:<math>\left [\widehat{\boldsymbol{u}},\widehat{\boldsymbol{v}} \right ] = \widehat{\boldsymbol{u} \times \boldsymbol{v}}.</math> | :<math>\left [\widehat{\boldsymbol{u}},\widehat{\boldsymbol{v}} \right ] = \widehat{\boldsymbol{u} \times \boldsymbol{v}}.</math> | ||
आव्युह की पहचान सदिश से की गई <math>\boldsymbol{u}</math> उसके पास वह संपत्ति है | |||
:<math>\widehat{\boldsymbol{u}}\boldsymbol{v} = \boldsymbol{u} \times \boldsymbol{v},</math> | :<math>\widehat{\boldsymbol{u}}\boldsymbol{v} = \boldsymbol{u} \times \boldsymbol{v},</math> | ||
जहां बाईं ओर हमारे पास साधारण | जहां बाईं ओर हमारे पास साधारण आव्युह गुणन है। यह संकेत करता है <math>\boldsymbol{u}</math> तिरछा-सममित आव्युह के शून्य समिष्ट में है जिसके साथ इसकी पहचान की जाती है, क्योंकि <math>\boldsymbol{u} \times \boldsymbol{u} = \boldsymbol{0}.</math> | ||
| Line 317: | Line 317: | ||
अनंत-आयामी इरेड्यूसबल निरूपण गैर-एकात्मक होना चाहिए, क्योंकि समूह कॉम्पैक्ट है। | अनंत-आयामी इरेड्यूसबल निरूपण गैर-एकात्मक होना चाहिए, क्योंकि समूह कॉम्पैक्ट है। | ||
[[क्वांटम यांत्रिकी]] में, कासिमिर अपरिवर्तनीय कोणीय-संवेग-वर्ग ऑपरेटर है; स्पिन के पूर्णांक मान {{mvar|j}} [[बोसॉन]] को चिह्नित करता है, जबकि अर्ध-पूर्णांक [[फरमिओन्स]] को महत्व देता है। ऊपर उपयोग किए गए [[स्क्यू-हर्मिटियन मैट्रिक्स]] | [[क्वांटम यांत्रिकी]] में, कासिमिर अपरिवर्तनीय कोणीय-संवेग-वर्ग ऑपरेटर है; स्पिन के पूर्णांक मान {{mvar|j}} [[बोसॉन]] को चिह्नित करता है, जबकि अर्ध-पूर्णांक [[फरमिओन्स]] को महत्व देता है। ऊपर उपयोग किए गए [[स्क्यू-हर्मिटियन मैट्रिक्स|स्क्यू-हर्मिटियन]] आव्युह आव्युह को स्पिन ऑपरेटरों के रूप में उपयोग किया जाता है, उन्हें गुणा करने के बाद {{mvar|i}}, इसलिए वे अब [[हर्मिटियन मैट्रिक्स|हर्मिटियन]] आव्युह हैं (पॉली आव्युह की तरह)। इस प्रकार, इस भाषा में, | ||
:<math> | :<math> | ||
[\boldsymbol{J}_x, \boldsymbol{J}_y] = i\boldsymbol{J}_z, \quad | [\boldsymbol{J}_x, \boldsymbol{J}_y] = i\boldsymbol{J}_z, \quad | ||
| Line 354: | Line 354: | ||
\end{pmatrix} | \end{pmatrix} | ||
\end{align}</math> | \end{align}</math> | ||
ध्यान दें, चूँकि, ये उपरोक्त की तुलना में समतुल्य, लेकिन भिन्न आधार, गोलाकार आधार#आधार | ध्यान दें, चूँकि, ये उपरोक्त की तुलना में समतुल्य, लेकिन भिन्न आधार, गोलाकार आधार#आधार आव्युह में परिवर्तन कैसे हैं {{mvar|i}}''एल'' कार्टेशियन आधार पर।<ref group="nb">Specifically, <math>\boldsymbol{U} \boldsymbol{J}_{\alpha}\boldsymbol{U}^\dagger=i\boldsymbol{L}_\alpha</math> for | ||
:<math>\boldsymbol{U}= \left( | :<math>\boldsymbol{U}= \left( | ||
| Line 423: | Line 423: | ||
झूठ बीजगणित <math>\mathfrak{so}(3)</math> और <math>\mathfrak{su}(2)</math> समरूपी हैं। के लिए आधार <math>\mathfrak{su}(2)</math> द्वारा दिया गया है<ref>{{harvnb|Hall|2015}} Example 3.27</ref> | झूठ बीजगणित <math>\mathfrak{so}(3)</math> और <math>\mathfrak{su}(2)</math> समरूपी हैं। के लिए आधार <math>\mathfrak{su}(2)</math> द्वारा दिया गया है<ref>{{harvnb|Hall|2015}} Example 3.27</ref> | ||
:<math>\boldsymbol{t}_1 = \frac{1}{2}\begin{bmatrix}0 & -i\\ -i & 0\end{bmatrix}, \quad \boldsymbol{t}_2 = \frac{1}{2} \begin{bmatrix}0 & -1\\ 1 & 0\end{bmatrix}, \quad \boldsymbol{t}_3 = \frac{1}{2}\begin{bmatrix}-i & 0\\ 0 & i\end{bmatrix}.</math> | :<math>\boldsymbol{t}_1 = \frac{1}{2}\begin{bmatrix}0 & -i\\ -i & 0\end{bmatrix}, \quad \boldsymbol{t}_2 = \frac{1}{2} \begin{bmatrix}0 & -1\\ 1 & 0\end{bmatrix}, \quad \boldsymbol{t}_3 = \frac{1}{2}\begin{bmatrix}-i & 0\\ 0 & i\end{bmatrix}.</math> | ||
ये [[पाउली मैट्रिक्स]] से संबंधित हैं | ये [[पाउली मैट्रिक्स|पाउली]] आव्युह से संबंधित हैं | ||
:<math>\boldsymbol{t}_i \longleftrightarrow \frac{1}{2i} \sigma_i.</math> | :<math>\boldsymbol{t}_i \longleftrightarrow \frac{1}{2i} \sigma_i.</math> | ||
| Line 435: | Line 435: | ||
==घातांकीय मानचित्र== | ==घातांकीय मानचित्र== | ||
के लिए घातीय मानचित्र {{math|SO(3)}}, है, चूँकि {{math|SO(3)}} | के लिए घातीय मानचित्र {{math|SO(3)}}, है, चूँकि {{math|SO(3)}} आव्युह झूठ समूह है, जिसे मानक आव्युह घातीय श्रृंखला का उपयोग करके परिभाषित किया गया है, | ||
:<math>\begin{cases} | :<math>\begin{cases} | ||
| Line 442: | Line 442: | ||
= I + A + \tfrac{1}{2} A^2 + \cdots. | = I + A + \tfrac{1}{2} A^2 + \cdots. | ||
\end{cases}</math> | \end{cases}</math> | ||
किसी भी तिरछा-सममित | किसी भी तिरछा-सममित आव्युह के लिए {{math|''A'' ∈ 𝖘𝖔(3)}}, {{math|''e<sup>A</sup>''}} हमेशा अंदर है {{math|SO(3)}}. प्रमाण आव्युह घातांक के प्रारंभिक गुणों का उपयोग करता है | ||
:<math>\left(e^A\right)^\textsf{T} e^A = e^{A^\textsf{T}} e^A = e^{A^\textsf{T} + A} = e^{-A + A} = e^{A - A} = e^A \left(e^A\right)^\textsf{T} = e^0 = I.</math> | :<math>\left(e^A\right)^\textsf{T} e^A = e^{A^\textsf{T}} e^A = e^{A^\textsf{T} + A} = e^{-A + A} = e^{A - A} = e^A \left(e^A\right)^\textsf{T} = e^0 = I.</math> | ||
आव्युह के बाद से {{math|''A''}} और {{math|''A''{{sup|T}}}} कम्यूट, इसे तिरछा-सममित आव्युह स्थिति के साथ आसानी से सिद्ध किया जा सकता है। ये दिखाने के लिए ये काफी नहीं है {{math|𝖘𝖔(3)}} के लिए संगत झूठ बीजगणित है {{math|SO(3)}}, और अलग से सिद्ध किया जाएगा. | |||
प्रमाण की कठिनाई का स्तर इस बात पर निर्भर करता है कि | प्रमाण की कठिनाई का स्तर इस बात पर निर्भर करता है कि आव्युह समूह लाई बीजगणित को कैसे परिभाषित किया जाता है। {{harvtxt|Hall|2003}} लाई बीजगणित को आव्यूहों के समुच्चय के रूप में परिभाषित करता है | ||
:<math>\left\{A \in \operatorname{M}(n, \R) \left| e^{tA} \in \operatorname{SO}(3) \forall t\right.\right\},</math> | :<math>\left\{A \in \operatorname{M}(n, \R) \left| e^{tA} \in \operatorname{SO}(3) \forall t\right.\right\},</math> | ||
| Line 454: | Line 454: | ||
घातीय मानचित्र मूल के पड़ोस के बीच भिन्नता प्रदान करता है {{math|𝖘𝖔(3)}} और पहचान का पड़ोस {{math|SO(3)}}.<ref>{{harvnb|Hall|2003}} Theorem 2.27.</ref> प्रमाण के लिए, [[बंद उपसमूह प्रमेय]] देखें। | घातीय मानचित्र मूल के पड़ोस के बीच भिन्नता प्रदान करता है {{math|𝖘𝖔(3)}} और पहचान का पड़ोस {{math|SO(3)}}.<ref>{{harvnb|Hall|2003}} Theorem 2.27.</ref> प्रमाण के लिए, [[बंद उपसमूह प्रमेय]] देखें। | ||
घातांकीय मानचित्र विशेषणात्मक होता है। यह इस तथ्य से पता चलता है कि प्रत्येक {{math|''R'' ∈ SO(3)}}, चूँकि प्रत्येक घूर्णन अक्ष निश्चित छोड़ता है (यूलर का घूर्णन प्रमेय), और प्रपत्र के ब्लॉक विकर्ण | घातांकीय मानचित्र विशेषणात्मक होता है। यह इस तथ्य से पता चलता है कि प्रत्येक {{math|''R'' ∈ SO(3)}}, चूँकि प्रत्येक घूर्णन अक्ष निश्चित छोड़ता है (यूलर का घूर्णन प्रमेय), और प्रपत्र के ब्लॉक विकर्ण आव्युह से संयुग्मित होता है | ||
:<math>D = \begin{pmatrix}\cos \theta & -\sin \theta & 0\\ \sin \theta & \cos \theta & 0\\ 0 & 0 & 1\end{pmatrix} = e^{\theta L_z},</math> | :<math>D = \begin{pmatrix}\cos \theta & -\sin \theta & 0\\ \sin \theta & \cos \theta & 0\\ 0 & 0 & 1\end{pmatrix} = e^{\theta L_z},</math> | ||
| Line 465: | Line 465: | ||
:<math>e^{-\pi L_x/2} e^{\theta L_z} e^{\pi L_x/2} = e^{\theta L_y}.</math> | :<math>e^{-\pi L_x/2} e^{\theta L_z} e^{\pi L_x/2} = e^{\theta L_y}.</math> | ||
जैसा कि ऊपर दिखाया गया है, प्रत्येक तत्व {{math|''A'' ∈ 𝖘𝖔(3)}} सदिश से जुड़ा है {{math|1='''''ω''''' = ''θ'' '''''u'''''}}, कहाँ {{math|1='''''u''''' = (''x'',''y'',''z'')}} इकाई परिमाण सदिश है। तब से {{math|'''''u'''''}} के शून्य समिष्ट में है {{mvar|A}}, यदि कोई अब किसी अन्य ऑर्थोगोनल | जैसा कि ऊपर दिखाया गया है, प्रत्येक तत्व {{math|''A'' ∈ 𝖘𝖔(3)}} सदिश से जुड़ा है {{math|1='''''ω''''' = ''θ'' '''''u'''''}}, कहाँ {{math|1='''''u''''' = (''x'',''y'',''z'')}} इकाई परिमाण सदिश है। तब से {{math|'''''u'''''}} के शून्य समिष्ट में है {{mvar|A}}, यदि कोई अब किसी अन्य ऑर्थोगोनल आव्युह के माध्यम से नए आधार पर घूमता है {{math|''O''}}, साथ {{math|'''u'''}} के रूप में {{mvar|z}} अक्ष, नए आधार में रोटेशन आव्युह का अंतिम स्तंभ और पंक्ति शून्य होगी। | ||
इस प्रकार, हम घातांक के सूत्र से पहले से जानते हैं {{math|exp(''OAO''<sup>T</sup>)}} चले जाना चाहिए {{math|'''''u'''''}} तय। किसी फलन जैसे आधार के लिए सीधा सूत्र प्रदान करना गणितीय रूप से असंभव है {{math|'''''u'''''}}, क्योंकि इसका अस्तित्व [[बालों वाली गेंद प्रमेय]] का उल्लंघन करेगा; लेकिन प्रत्यक्ष घातांक संभव है, और अक्ष-कोण प्रतिनिधित्व#घातांक मानचित्र 𝖘𝖔(3) से SO(3) तक | इस प्रकार, हम घातांक के सूत्र से पहले से जानते हैं {{math|exp(''OAO''<sup>T</sup>)}} चले जाना चाहिए {{math|'''''u'''''}} तय। किसी फलन जैसे आधार के लिए सीधा सूत्र प्रदान करना गणितीय रूप से असंभव है {{math|'''''u'''''}}, क्योंकि इसका अस्तित्व [[बालों वाली गेंद प्रमेय]] का उल्लंघन करेगा; लेकिन प्रत्यक्ष घातांक संभव है, और अक्ष-कोण प्रतिनिधित्व#घातांक मानचित्र 𝖘𝖔(3) से SO(3) तक | ||
| Line 480: | Line 480: | ||
\end{bmatrix}, | \end{bmatrix}, | ||
\end{align}</math> | \end{align}</math> | ||
कहाँ <math display="inline">c = \cos\frac{\theta}{2}</math> और <math display="inline">s = \sin\frac{\theta}{2}</math>. इसे अक्ष के चारों ओर घूमने के लिए | कहाँ <math display="inline">c = \cos\frac{\theta}{2}</math> और <math display="inline">s = \sin\frac{\theta}{2}</math>. इसे अक्ष के चारों ओर घूमने के लिए आव्युह के रूप में पहचाना जाता है {{math|'''''u'''''}} कोण से {{mvar|θ}}: सीएफ. रोड्रिग्स का घूर्णन सूत्र. | ||
== लघुगणक मानचित्र == | == लघुगणक मानचित्र == | ||
| Line 500: | Line 500: | ||
== बेकर-कैंपबेल-हॉसडॉर्फ सूत्र == | == बेकर-कैंपबेल-हॉसडॉर्फ सूत्र == | ||
{{main|Baker–Campbell–Hausdorff formula}} | {{main|Baker–Campbell–Hausdorff formula}} | ||
कल्पना करना {{mvar|X}} और {{mvar|Y}} लाई बीजगणित में दिया गया है। उनके घातांक, {{math|exp(''X'')}} और {{math|exp(''Y'')}}, रोटेशन | कल्पना करना {{mvar|X}} और {{mvar|Y}} लाई बीजगणित में दिया गया है। उनके घातांक, {{math|exp(''X'')}} और {{math|exp(''Y'')}}, रोटेशन आव्युह हैं, जिन्हें गुणा किया जा सकता है। चूँकि घातीय मानचित्र कुछ लोगों के लिए अनुमान है {{mvar|Z}} झूठ बीजगणित में, {{math|1=exp(''Z'') = exp(''X'') exp(''Y'')}}, और कोई अस्थायी रूप से लिख सकता है | ||
:<math> Z = C(X, Y),</math> | :<math> Z = C(X, Y),</math> | ||
के लिए {{mvar|C}} में कुछ अभिव्यक्ति {{math|''X''}} और {{math|''Y''}}. कब {{math|exp(''X'')}} और {{math|exp(''Y'')}} फिर आवागमन {{math|1=''Z'' = ''X'' + ''Y''}}, जटिल घातांक के व्यवहार की नकल करना। | के लिए {{mvar|C}} में कुछ अभिव्यक्ति {{math|''X''}} और {{math|''Y''}}. कब {{math|exp(''X'')}} और {{math|exp(''Y'')}} फिर आवागमन {{math|1=''Z'' = ''X'' + ''Y''}}, जटिल घातांक के व्यवहार की नकल करना। | ||
सामान्य मामला अधिक विस्तृत [[बीसीएच सूत्र]] द्वारा दिया गया है, जो नेस्टेड लाई ब्रैकेट्स का श्रृंखला विस्तार है।<ref>{{Harvnb|Hall|2003|loc=Ch. 3}}; {{Harvnb|Varadarajan|1984|loc=§2.15}}</ref> | सामान्य मामला अधिक विस्तृत [[बीसीएच सूत्र]] द्वारा दिया गया है, जो नेस्टेड लाई ब्रैकेट्स का श्रृंखला विस्तार है।<ref>{{Harvnb|Hall|2003|loc=Ch. 3}}; {{Harvnb|Varadarajan|1984|loc=§2.15}}</ref> आव्युह के लिए, लाई ब्रैकेट कम्यूटेटर के समान ऑपरेशन है, जो गुणन में कम्यूटेटिविटी की कमी की निगरानी करता है। यह सामान्य विस्तार इस प्रकार सामने आता है,<ref group="nb">For a full proof, see [[Derivative of the exponential map]]. Issues of convergence of this series to the correct element of the Lie algebra are here swept under the carpet. Convergence is guaranteed when <math>\|X\| + \|Y\| < \log 2 </math> and <math>\|Z\| < \log 2.</math> The series may still converge even if these conditions are not fulfilled. A solution always exists since {{math|exp}} is onto in the cases under consideration.</ref> | ||
:<math>Z = C(X, Y) = X + Y + \frac{1}{2} [X, Y] + \tfrac{1}{12} [X, [X, Y]] - \frac{1}{12} [Y, [X, Y]] + \cdots.</math> | :<math>Z = C(X, Y) = X + Y + \frac{1}{2} [X, Y] + \tfrac{1}{12} [X, [X, Y]] - \frac{1}{12} [Y, [X, Y]] + \cdots.</math> | ||
के लिए BCH सूत्र में अनंत विस्तार {{math|SO(3)}} संक्षिप्त रूप में कम हो जाता है, | के लिए BCH सूत्र में अनंत विस्तार {{math|SO(3)}} संक्षिप्त रूप में कम हो जाता है, | ||
| Line 619: | Line 619: | ||
हमने देखा है कि घूर्णन को दर्शाने के कई तरीके हैं: | हमने देखा है कि घूर्णन को दर्शाने के कई तरीके हैं: | ||
* निर्धारक 1 के साथ ऑर्थोगोनल | * निर्धारक 1 के साथ ऑर्थोगोनल आव्युह के रूप में, | ||
*अक्ष और घूर्णन कोण द्वारा | *अक्ष और घूर्णन कोण द्वारा | ||
* चतुर्धातुक बीजगणित में छंद और मानचित्र 3-गोले एस के साथ<sup>3</sup> → SO(3) (चतुर्भुज और स्थानिक घुमाव देखें) | * चतुर्धातुक बीजगणित में छंद और मानचित्र 3-गोले एस के साथ<sup>3</sup> → SO(3) (चतुर्भुज और स्थानिक घुमाव देखें) | ||
Revision as of 10:19, 24 November 2023
शास्त्रीय यांत्रिकी और ज्यामिति में, 3डी रोटेशन समूह, जिसे अधिकांशतः विशेष ऑर्थोगोनल समूह (3) से दर्शाया जाता है, त्रि-आयामी समिष्ट की उत्पत्ति (गणित) के बारे में सभी घुमावों का समूह (गणित) है। त्रि-आयामी समिष्ट फलन संरचना के संचालन के तहत आता है।[1]
परिभाषा के अनुसार, मूल के बारे में घूर्णन परिवर्तन है जो मूल, यूक्लिडियन दूरी (इसलिए यह आइसोमेट्री है), और अभिविन्यास (अर्थात्, स्थान के हाथ के मुड़ को) को संरक्षित करता है। दो घूर्णनों को संयोजित करने से एक और घूर्णन होता है, प्रत्येक घूर्णन में अद्वितीय व्युत्क्रम फलन घूर्णन होता है, और पहचान मानचित्र घूर्णन की परिभाषा को संतुष्ट करता है। उपरोक्त गुणों (मिश्रित घुमावों की साहचर्य संपत्ति के साथ) के कारण, सभी घुमावों का समूह संरचना के तहत समूह (गणित) है।
प्रत्येक गैर-तुच्छ घूर्णन उसके घूर्णन अक्ष (मूल बिंदु से होकर जाने वाली रेखा) और उसके घूर्णन कोण द्वारा निर्धारित होता है। घूर्णन क्रमविनिमेय नहीं होते हैं (उदाहरण के लिए, x-y समतल में R 90° को यात्रा करने के बाद y-z समतल में S 90° को यात्रा करना R को यात्रा करने के समान नहीं है), जिससे 3डी घूर्णन समूह गैर-एबेलियन समूह बन जाता है। इसके अतिरिक्त, रोटेशन समूह में प्राकृतिक संरचना होती है जिसके लिए समूह संचालन सुचारू कार्य होता है, इसलिए यह वास्तव में झूठ समूह है। यह सघन समिष्ट है और इसका आयाम 3 है।
घूर्णन रैखिक परिवर्तन हैं और इसलिए इसे सदिश समष्टि के आधार पर बार आव्युह (गणित) द्वारा दर्शाया जा सकता है चुना गया है। विशेष रूप से, यदि हम लम्बवत आधार चुनते हैं , प्रत्येक रोटेशन को ऑर्थोगोनल आव्युह द्वारा वर्णित किया गया है । ऑर्थोगोनल 3 × 3 आव्युह (यानी, वास्तविक प्रविष्टियों के साथ 3 × 3 मैट्रिक्स, जो इसके स्थानान्तरण से गुणा होने पर, पहचान आव्युह में परिणत होता है) निर्धारक 1 के साथ। समूह SO(3) इसलिए आव्युह गुणन के तहत इन आव्युह के समूह के साथ पहचाना जा सकता है। इन आव्यूहों को विशेष ऑर्थोगोनल आव्यूह के रूप में जाना जाता है, जो संकेतन SO(3) की व्याख्या करते हैं।
समूह SO(3) का उपयोग किसी वस्तु की संभावित घूर्णी समरूपता, साथ ही समिष्ट में किसी वस्तु के संभावित अभिविन्यास का वर्णन करने के लिए किया जाता है। इसके समूह निरूपण भौतिकी में महत्वपूर्ण हैं, जहां वे पूर्णांक स्पिन (भौतिकी) के प्राथमिक कणों का उत्पन्न होता है।
लंबाई और कोण
मात्र लंबाई को संरक्षित करने के अतिरिक्त, घूर्णन सदिशों के बीच के कोणों को भी संरक्षित करता है। यह इस तथ्य से पता चलता है कि दो सदिश यू और वी के बीच मानक डॉट उत्पाद हो सकता है जो केवल लंबाई के पूर्ण रूप में लिखा जा सकता है।
ऑर्थोगोनल और रोटेशन मैट्रिक्स
प्रत्येक घूर्णन लंबात्मक आधार का मानचित्रण करता है। किसी अन्य दैहिक आधार पर। परिमित-आयामी सदिश स्थानों के किसी भी रैखिक परिवर्तन की तरह, रोटेशन को हमेशा आव्युह (गणित) द्वारा दर्शाया जा सकता है। होने देना R दिया गया घुमाव हो। मानक आधार के संबंध में e1, e2, e3 का के कॉलम R द्वारा दिए गए हैं (Re1, Re2, Re3). चूँकि मानक आधार लम्बवत् है, और तब से R कोणों और लंबाई, स्तंभों को सुरक्षित रखता है R और लंबात्मक आधार बनाएं। इस रूढ़िबद्धता की स्थिति को इस रूप में व्यक्त किया जा सकता है
कहाँ RT के स्थानान्तरण को दर्शाता है R और I है 3 × 3 शिनाख्त सांचा। वे आव्युह जिनके लिए यह गुण धारण करता है, ऑर्थोगोनल आव्युह कहलाते हैं। सबका समूह 3 × 3 ऑर्थोगोनल आव्युह को दर्शाया गया है O(3), और इसमें सभी उचित और अनुचित घुमाव शामिल हैं।
लंबाई को संरक्षित करने के अतिरिक्त, उचित घुमाव को अभिविन्यास को भी संरक्षित करना रखना आवश्यक है। आव्युह का निर्धारक सकारात्मक है या नकारात्मक, इसके अनुसार आव्युह अभिविन्यास को संरक्षित या उलट देगा। ऑर्थोगोनल आव्युह के लिए R, ध्यान दें कि det RT = det R तात्पर्य (det R)2 = 1, ताकि det R = ±1. निर्धारक के साथ ऑर्थोगोनल आव्युह का उपसमूह +1 को विशेष ऑर्थोगोनल समूह कहा जाता है, जिसे दर्शाया गया है SO(3).
इस प्रकार प्रत्येक घुमाव को इकाई निर्धारक के साथ ऑर्थोगोनल आव्युह द्वारा विशिष्ट रूप से दर्शाया जा सकता है। इसके अतिरिक्त, चूंकि घूर्णन की संरचना आव्युह गुणन से मेल खाती है, इसलिए घूर्णन समूह विशेष ऑर्थोगोनल समूह SO(3) के समरूपी है।
अनुचित घुमाव निर्धारक −1 के साथ ऑर्थोगोनल आव्युह के अनुरूप होते हैं, और वे समूह नहीं बनाते क्योंकि दो अनुचित घुमावों का गुणनफल उचित घुमाव होता है।
समूह संरचना
रोटेशन समूह फलन संरचना (या समकक्ष आव्युह उत्पाद) के अंतर्गत समूह (गणित) है। यह सामान्य रैखिक समूह का उपसमूह है जिसमें वास्तविक समन्वय समिष्ट के सभी उलटा आव्युह रैखिक परिवर्तन शामिल हैं । वास्तविक 3-समिष्ट .[2] इसके अतिरिक्त, घूर्णन समूह नॉनबेलियन समूह है। अर्थात्, घुमावों की रचना के क्रम से फर्क पड़ता है। उदाहरण के लिए, सकारात्मक x-अक्ष के चारों ओर चौथाई चक्कर और उसके बाद सकारात्मक y-अक्ष के चारों ओर चौथाई चक्कर, पहले y और फिर x के चारों ओर घूमने से प्राप्त घुमाव से भिन्न घूर्णन है।
ऑर्थोगोनल समूह, जिसमें सभी उचित और अनुचित घुमाव शामिल हैं, प्रतिबिंबों द्वारा उत्पन्न होता है। प्रत्येक उचित घुमाव दो प्रतिबिंबों की संरचना है, जो कार्टन-ड्युडोने प्रमेय का विशेष मामला है।
परिमित उपसमूहों का पूर्ण वर्गीकरण
के परिमित उपसमूह पूर्णतः वर्गीकरण प्रमेय हैं।[3] प्रत्येक परिमित उपसमूह समतल सममिति के दो गणनीय अनंत परिवारों में से किसी के तत्व के लिए समरूपी होता है: चक्रीय समूह या डायहेड्रल समूह , या तीन अन्य समूहों में से एकचतुष्फलकीय समूह समूह , अष्टफलकीय समूह , या इकोसाहेड्रल समूह .
घूर्णन अक्ष
3 आयामों में प्रत्येक गैर-तुच्छ उचित घुमाव अद्वितीय 1-आयामी रैखिक उप-समिष्ट को ठीक करता है जिसे घूर्णन अक्ष कहा जाता है (यह यूलर का घूर्णन प्रमेय है)। ऐसा प्रत्येक घुमाव इस अक्ष के ओर्थोगोनल समतल में सामान्य 2-आयामी घुमाव के रूप में कार्य करता है। चूँकि प्रत्येक 2-आयामी घुमाव को कोण φ द्वारा दर्शाया जा सकता है, मनमाना 3-आयामी घुमाव को इस अक्ष के चारों ओर घूमने के कोण के साथ-साथ घूर्णन की धुरी द्वारा निर्दिष्ट किया जा सकता है। (तकनीकी तौर पर, किसी को अक्ष के लिए अभिविन्यास निर्दिष्ट करने की आवश्यकता होती है और क्या इस अभिविन्यास के संबंध में रोटेशन को [[दक्षिणावर्त और वामावर्त]] या वामावर्त माना जाता है)।
उदाहरण के लिए, कोण φ द्वारा सकारात्मक z-अक्ष के बारे में वामावर्त घूर्णन द्वारा दिया जाता है
इकाई सदिश n दिया गया है और कोण φ, मान लीजिए R(φ, 'n') 'n' के माध्यम से अक्ष के बारे में वामावर्त घुमाव का प्रतिनिधित्व करता है ('n' द्वारा निर्धारित अभिविन्यास के साथ)। तब
- R(0, 'n') किसी भी 'n' के लिए पहचान परिवर्तन है
- R(φ, 'n') = R(−φ, −'n')
- आर(π + φ, 'n') = R(π − φ, −'n').
इन गुणों का उपयोग करके कोई यह दिखा सकता है कि किसी भी घूर्णन को 0 ≤ φ ≤ की सीमा में अद्वितीय कोण φ द्वारा दर्शाया जा सकता है। π और यूनिट सदिश n ऐसा है
- n मनमाना है यदि φ = 0
- n अद्वितीय है यदि 0 < φ < π
- n चिन्ह (गणित) तक अद्वितीय है यदि φ = π (अर्थात्, घूर्णन R(π, ±n) समान हैं)।
अगले अनुभाग में, घुमावों के इस प्रतिनिधित्व का उपयोग त्रि-आयामी वास्तविक प्रक्षेप्य समिष्ट के साथ स्थलीय रूप से SO(3) की पहचान करने के लिए किया जाता है।
टोपोलॉजी
लाई समूह SO(3) वास्तविक प्रक्षेप्य समिष्ट से भिन्नता है [4] ठोस गेंद पर विचार करें त्रिज्या का π (अर्थात, के सभी बिंदु दूरी का π या मूल से कम)। उपरोक्त को देखते हुए, इस गेंद में प्रत्येक बिंदु के लिए घूर्णन होता है, जिसमें अक्ष बिंदु और मूल बिंदु से होकर गुजरती है, और घूर्णन कोण मूल से बिंदु की दूरी के बराबर होता है। पहचान घुमाव गेंद के केंद्र पर बिंदु से मेल खाता है। 0 और - के बीच के कोणों से घूमनाπ मूल बिंदु से समान अक्ष और दूरी पर लेकिन मूल के विपरीत दिशा में स्थित बिंदु के अनुरूप। शेष मुद्दा यह है कि दो घूर्णन होते हैं π और इसके माध्यम से −π समान हैं। तो हम गेंद की सतह पर एंटीपोडल बिंदुओं को कोटिएंट समिष्ट (टोपोलॉजी) (या साथ गोंद) करते हैं। इस पहचान के बाद, हम रोटेशन समूह के लिए टोपोलॉजिकल समिष्ट होम्योमॉर्फिक पर पहुंचते हैं।
दरअसल, पहचाने गए एंटीपोडल सतह बिंदुओं वाली गेंद चिकनी मैनिफोल्ड है, और चिकनी कई गुना रोटेशन समूह के लिए भिन्नता है। यह वास्तविक प्रक्षेप्य स्थान।वास्तविक 3-आयामी प्रक्षेप्य समिष्ट से भिन्न भी है इसलिए उत्तरार्द्ध रोटेशन समूह के लिए टोपोलॉजिकल मॉडल के रूप में भी काम कर सकता है।
ये पहचान दर्शाती हैं कि SO(3) जुड़ा हुआ समिष्ट है लेकिन केवल कनेक्टेड नहीं है। उत्तरार्द्ध के संबंध में, पहचाने गए एंटीपोडल सतह बिंदुओं वाली गेंद में, उत्तरी ध्रुव से सीधे आंतरिक भाग से होते हुए दक्षिणी ध्रुव तक चलने वाले पथ पर विचार करें। यह बंद लूप है, क्योंकि उत्तरी ध्रुव और दक्षिणी ध्रुव की पहचान की जाती है। इस लूप को बिंदु तक छोटा नहीं किया जा सकता है, क्योंकि इससे कोई फर्क नहीं पड़ता कि आप लूप को कैसे विकृत करते हैं, प्रारंभ और अंत बिंदु को एंटीपोडल रहना होगा, अन्यथा लूप टूट कर खुल जाएगा। घूर्णन के संदर्भ में, यह लूप z-अक्ष के बारे में घूर्णन के निरंतर अनुक्रम का प्रतिनिधित्व करता है (उदाहरण के लिए) पहचान (गेंद के केंद्र) पर शुरू होता है, दक्षिणी ध्रुव के माध्यम से, उत्तरी ध्रुव पर कूदता है और फिर से पहचान रोटेशन पर समाप्त होता है (यानी, ए) कोण φ के माध्यम से घूर्णन की श्रृंखला जहां φ 0 से मोड़ (ज्यामिति)।2 तक चलता हैπ).
आश्चर्य की बात है, यदि आप पथ पर दो बार दौड़ते हैं, यानी, उत्तरी ध्रुव से नीचे दक्षिणी ध्रुव तक दौड़ते हैं, उत्तरी ध्रुव पर वापस कूदते हैं (इस तथ्य का उपयोग करते हुए कि उत्तरी और दक्षिणी ध्रुव पहचाने जाते हैं), और फिर उत्तरी ध्रुव से नीचे दक्षिण की ओर दौड़ते हैं ध्रुव, ताकि φ 0 से 4 तक चलेπ, आपको बंद लूप मिलता है जिसे बिंदु तक छोटा किया जा सकता है: पहले पथों को लगातार गेंद की सतह पर ले जाएं, फिर भी उत्तरी ध्रुव को दक्षिणी ध्रुव से दो बार कनेक्ट करें। फिर दूसरे पथ को पथ को बिल्कुल भी बदले बिना एंटीपोडल पक्ष पर प्रतिबिंबित किया जा सकता है। अब हमारे पास गेंद की सतह पर साधारण बंद लूप है, जो उत्तरी ध्रुव को बड़े वृत्त के साथ जोड़ता है। इस वृत्त को बिना किसी समस्या के उत्तरी ध्रुव तक छोटा किया जा सकता है। प्लेट चाल और इसी तरह की ट्रिक्स इसे व्यावहारिक रूप से प्रदर्शित करती हैं।
समान तर्क सामान्य रूप से किया जा सकता है, और यह दर्शाता है कि SO(3) का मूल समूह क्रम 2 का चक्रीय समूह है (दो तत्वों वाला मूल समूह)। भौतिकी अनुप्रयोगों में, मौलिक समूह की गैर-तुच्छता ( से अधिक तत्व) स्पिनर्स के रूप में ज्ञात वस्तुओं के अस्तित्व की अनुमति देती है, और स्पिन-सांख्यिकी प्रमेय के विकास में महत्वपूर्ण उपकरण है।
SO(3) का सार्वभौमिक आवरण स्पिन(3) नामक झूठ समूह है। समूह स्पिन(3) विशेष एकात्मक समूह एसयू(2) का समरूपी है; यह इकाई 3-गोले एस से भिन्न भी है3और इसे छंदों के समूह (पूर्ण मान 1 के साथ चतुर्भुज) के रूप में समझा जा सकता है। चतुर्भुज और घूर्णन के बीच संबंध, जो आमतौर पर कंप्यूटर चित्रलेख में उपयोग किया जाता है, चतुर्भुज और स्थानिक घुमावों में समझाया गया है। एस से नक्शा3SO(3) पर जो S के एंटीपोडल बिंदुओं की पहचान करता है3 कर्नेल (बीजगणित) {±1} के साथ, लाई समूहों का विशेषण समरूपता है। स्थलाकृतिक दृष्टि से, यह मानचित्र दो-से- कवर करने वाला मानचित्र है। (प्लेट ट्रिक देखें।)
SO(3) और SU(2) के बीच संबंध
इस अनुभाग में, हम SO(3) पर SU(2) की दो-से- और विशेषण समरूपता की दो अलग-अलग संरचनाएँ देते हैं।
इकाई मानदंड के चतुर्भुज का उपयोग करना
समूह SU(2) द्वारा दिए गए मानचित्र के माध्यम से इकाई मानदंड के चतुष्कोणों के लिए समूह समरूपता है[5]
आइये अब पहचानते हैं के विस्तार के साथ . इसके बाद कोई इसे सत्यापित कर सकता है में है और तो फिर, इकाई चतुर्भुज है
कोई इस समरूपता को स्पष्ट रूप से कार्यान्वित कर सकता है: इकाई चतुर्भुज, q, साथ
मोबियस परिवर्तनों का उपयोग करना
इस अनुभाग के लिए सामान्य संदर्भ है Gelfand, Minlos & Shapiro (1963). बिन्दु P गोले पर
उत्तरी ध्रुव को छोड़कर, कर सकते हैं N, अंकों के साथ एक-से- आक्षेप में रखा जाए S(P) = P' विमान पर M द्वारा परिभाषित z = −1/2, रेखा - चित्र देखें। वो नक्शा Sत्रिविम प्रक्षेपण कहलाता है।
निर्देशांक चालू रखें M होना (ξ, η). रेखा L के माध्यम से गुजरते हुए N और P को इस प्रकार पैरामीट्रिज्ड किया जा सकता है
मांग कर रहे हैं कि z-coordinate का के बराबर होती है −1/2, कोई पाता है
हमारे पास है इसलिए मानचित्र
जहां, बाद की सुविधा के लिए, विमान M की पहचान जटिल तल से की जाती है व्युत्क्रम के लिए लिखिए L जैसा
और मांग x2 + y2 + z2 = 1/4 ढूँढ़ने के लिए s = 1/1 + ξ2 + η2 और इस तरह
अगर g ∈ SO(3) रोटेशन है, तो इस पर अंक लगेंगे S बिंदुओं पर S अपनी मानक क्रिया द्वारा Πs(g)एम्बेडिंग समिष्ट पर इस क्रिया को साथ बनाकर S व्यक्ति परिवर्तन प्राप्त करता है S ∘ Πs(g) ∘ S−1 का M,
इस प्रकार Πu(g) का रूपांतरण है परिवर्तन से सम्बंधित है Πs(g) का .
यह पता चला है कि g ∈ SO(3) द्वारा इस प्रकार दर्शाया गया है Πu(g) को आव्युह के रूप में व्यक्त किया जा सकता है Πu(g) ∈ SU(2) (जहां आव्युह के परिवर्तन के लिए उसी नाम का उपयोग करने के लिए नोटेशन को पुनर्नवीनीकरण किया जाता है यह प्रस्तुत करता है)। इस आव्युह की पहचान करने के लिए, पहले रोटेशन पर विचार करें gφ के बारे में z-axis कोण के माध्यम से φ,
इस तरह
जो, आश्चर्यजनक रूप से, जटिल तल में घूर्णन है। इसी प्रकार, यदि gθ के बारे में घूर्णन है x-axis कोण के माध्यम से θ, तब
जो, थोड़ा बीजगणित के बाद, बन जाता है
ये दो घुमाव, इस प्रकार के द्विरेखीय परिवर्तनों के अनुरूप है R2 ≃ C ≃ M, अर्थात्, वे मोबियस परिवर्तनों के उदाहरण हैं।
सामान्य मोबियस परिवर्तन द्वारा दिया गया है
घूर्णन, सभी उत्पन्न करें SO(3) और मोबियस परिवर्तनों के रचना नियम दर्शाते हैं कि कोई भी रचना मोबियस परिवर्तनों की संगत संरचना का अनुवाद करता है। मोबियस परिवर्तनों को आव्युह द्वारा दर्शाया जा सकता है
के सामान्य कारक के बाद से α, β, γ, δ रद्द करता है.
इसी कारण से, गुणा के बाद से आव्युह को विशिष्ट रूप से परिभाषित नहीं किया गया है −I का निर्धारक या मोबियस परिवर्तन पर कोई प्रभाव नहीं पड़ता है। मोबियस परिवर्तनों का रचना नियम संबंधित आव्यूहों का अनुसरण करता है। निष्कर्ष यह है कि प्रत्येक मोबियस परिवर्तन दो आव्युह से मेल खाता है g, −g ∈ SL(2, C).
इस पत्राचार का उपयोग करके कोई भी लिख सकता है
ये आव्युह एकात्मक हैं और इस प्रकार Πu(SO(3)) ⊂ SU(2) ⊂ SL(2, C). यूलर कोण के संदर्भ में[nb 1] कोई सामान्य घुमाव ढूंढता है
-
(1)
किसी के पास[6]
-
(2)
इसके विपरीत, सामान्य आव्युह पर विचार करें
प्रतिस्थापन करें
प्रतिस्थापन के साथ, Π(gα, β) (के दाहिने हाथ की ओर) का रूप धारण करता है2), जो नीचे मेल खाता है Πu के आरएचएस के रूप में आव्युह के लिए (1) उसी के साथ φ, θ, ψ. जटिल मापदंडों के संदर्भ में α, β,
इसे सत्यापित करने के लिए, प्रतिस्थापित करें α. β के आरएचएस पर आव्युह के तत्व (2). कुछ हेरफेर के बाद, आव्युह आरएचएस का रूप धारण कर लेता है (1).
यूलर कोणों के संदर्भ में स्पष्ट रूप से यह स्पष्ट है कि मानचित्र
अभी वर्णित सहज है, 2:1 और विशेषण समूह समरूपता। इसलिए यह सार्वभौमिक आवरण समिष्ट का स्पष्ट विवरण है SO(3) यूनिवर्सल कवरिंग ग्रुप से SU(2).
झूठ बीजगणित
प्रत्येक लाई समूह के साथ उसका लाई बीजगणित जुड़ा होता है, लाई समूह के समान आयाम का रैखिक स्थान, जो लेट ब्रैकेट नामक द्विरेखीय वैकल्पिक उत्पाद के तहत बंद होता है। का झूठ बीजगणित SO(3) द्वारा दर्शाया जाता है और इसमें सभी तिरछा-सममित मैट्रिक्स।तिरछा-सममित शामिल हैं 3 × 3 मैट्रिक्स.[7] इसे ऑर्थोगोनल आव्युह को अलग करके देखा जा सकता है, ATA = I, A ∈ SO(3).[nb 2] के दो तत्वों का झूठ ब्रैकेट आव्युह कम्यूटेटर द्वारा दिए गए प्रत्येक आव्युह समूह के बीजगणित के लिए, [A1, A2] = A1A2 − A2A1, जो फिर से तिरछा-सममित आव्युह है। लाई बीजगणित ब्रैकेट बेकर-कैंपबेल-हॉसडॉर्फ सूत्र द्वारा सटीक किए गए अर्थ में लाई समूह उत्पाद के सार को पकड़ता है।
के तत्व घूर्णन के अनंत लघु जनक हैं, यानी, वे पहचान तत्व पर मैनिफोल्ड SO(3) के स्पर्शरेखा समिष्ट के तत्व हैं। अगर यूनिट सदिश द्वारा निर्दिष्ट अक्ष के बारे में कोण φ के साथ वामावर्त घुमाव को दर्शाता है तब
इसका उपयोग यह दिखाने के लिए किया जा सकता है कि झूठ बीजगणित (कम्यूटेटर के साथ) लाई बीजगणित के समरूपी है (क्रॉस उत्पाद के साथ)। इस समरूपता के तहत, अक्ष-कोण प्रतिनिधित्व#रोटेशन सदिश रेखीय मानचित्र से मेल खाता है द्वारा परिभाषित अधिक विस्तार से, अधिकांशतः के लिए उपयुक्त आधार के तौर पर 3-dimensional सदिश समिष्ट है
इन आधार तत्वों के रूपान्तरण संबंध हैं,
जो कि तीन मानक आधारों के संबंधों से सहमत हैं क्रॉस उत्पाद के अंतर्गत.
जैसा कि ऊपर बताया गया है, कोई भी इस लाई बीजगणित में यूलर सदिश के साथ किसी भी आव्युह की पहचान कर सकता है [8]
इस पहचान को कभी-कभी हैट-मैप भी कहा जाता है।[9] इस पहचान के तहत, ब्रैकेट में मेल खाता है क्रॉस उत्पाद के लिए,
आव्युह की पहचान सदिश से की गई उसके पास वह संपत्ति है
जहां बाईं ओर हमारे पास साधारण आव्युह गुणन है। यह संकेत करता है तिरछा-सममित आव्युह के शून्य समिष्ट में है जिसके साथ इसकी पहचान की जाती है, क्योंकि
झूठ बीजगणित पर नोट
बीजगणित अभ्यावेदन में, समूह SO(3) रैंक 1 का कॉम्पैक्ट और सरल है, और इसलिए इसमें एकल स्वतंत्र कासिमिर तत्व है, जो तीन जनरेटर का द्विघात अपरिवर्तनीय कार्य है जो उन सभी के साथ संचार करता है। रोटेशन समूह के लिए किलिंग फॉर्म सिर्फ क्रोनकर डेल्टा है, और इसलिए यह कासिमिर अपरिवर्तनीय केवल जेनरेटर के वर्गों का योग है, बीजगणित का
अर्थात्, कासिमिर अपरिवर्तनीय द्वारा दिया गया है
एकात्मक अघुलनशील झूठ बीजगणित प्रतिनिधित्व के लिए Dj, इस अपरिवर्तनीय के eigenvalues वास्तविक और असतत हैं, और प्रत्येक प्रतिनिधित्व की विशेषता रखते हैं, जो कि आयामीता का परिमित आयामी है . यानी इस कासिमिर ऑपरेटर के eigenvalues हैं
कहाँ j पूर्णांक या अर्ध-पूर्णांक है, और इसे स्पिन (भौतिकी) या कोणीय गति के रूप में जाना जाता है।
तो, ऊपर प्रदर्शित 3 × 3 जनरेटर एल ट्रिपलेट (स्पिन 1) प्रतिनिधित्व पर कार्य करते हैं, जबकि नीचे 2 × 2 जनरेटर, टी, स्पिनर (स्पिन-1/2) प्रतिनिधित्व पर कार्य करते हैं। . के क्रोनकर उत्पाद लेकर D1/2 स्वयं के साथ बार-बार, कोई भी सभी उच्चतर अघुलनशील अभ्यावेदन का निर्माण कर सकता है Dj. अर्थात्, मनमाने ढंग से बड़े के लिए, तीन स्थानिक आयामों में उच्च स्पिन सिस्टम के लिए परिणामी जनरेटर j, इन स्पिन ऑपरेटरों और सीढ़ी ऑपरेटरों का उपयोग करके गणना की जा सकती है।
प्रत्येक एकात्मक अघुलनशील अभ्यावेदन के लिए Dj समतुल्य है, D−j−1. सभी अनंत-आयामी इरेड्यूसबल निरूपण गैर-एकात्मक होना चाहिए, क्योंकि समूह कॉम्पैक्ट है।
क्वांटम यांत्रिकी में, कासिमिर अपरिवर्तनीय कोणीय-संवेग-वर्ग ऑपरेटर है; स्पिन के पूर्णांक मान j बोसॉन को चिह्नित करता है, जबकि अर्ध-पूर्णांक फरमिओन्स को महत्व देता है। ऊपर उपयोग किए गए स्क्यू-हर्मिटियन आव्युह आव्युह को स्पिन ऑपरेटरों के रूप में उपयोग किया जाता है, उन्हें गुणा करने के बाद i, इसलिए वे अब हर्मिटियन आव्युह हैं (पॉली आव्युह की तरह)। इस प्रकार, इस भाषा में,
और इसलिए
इनके लिए स्पष्ट अभिव्यक्तियाँ Dj हैं,
कहाँ j मनमाना है और .
उदाहरण के लिए, स्पिन 1 के लिए परिणामी स्पिन मैट्रिसेस () हैं
ध्यान दें, चूँकि, ये उपरोक्त की तुलना में समतुल्य, लेकिन भिन्न आधार, गोलाकार आधार#आधार आव्युह में परिवर्तन कैसे हैं iएल कार्टेशियन आधार पर।[nb 3] उच्च स्पिन के लिए, जैसे कि स्पिन 3/2 ():
स्पिन के लिए 5/2 (),
=== समरूपता 𝖘𝖚(2) === के साथ झूठ बीजगणित और समरूपी हैं। के लिए आधार द्वारा दिया गया है[10]
ये पाउली आव्युह से संबंधित हैं
पाउली मैट्रिसेस लाई बीजगणित के लिए भौतिकविदों के सम्मेलन का पालन करते हैं। उस सम्मेलन में, बीजगणित तत्वों को गुणा किया जाता है i, घातीय मानचित्र (नीचे) को अतिरिक्त कारक के साथ परिभाषित किया गया है i घातांक और संरचना में स्थिरांक समान रहते हैं, लेकिन उनकी परिभाषा का कारक प्राप्त होता है i. इसी तरह, कम्यूटेशन संबंध का कारक प्राप्त होता है i. के लिए रूपान्तरण संबंध हैं
कहाँ εijk पूरी तरह से विरोधी-सममित प्रतीक है ε123 = 1. के बीच समरूपता और कई तरीकों से स्थापित किया जा सकता है. बाद की सुविधा के लिए, और मैपिंग द्वारा पहचान की जाती है
और रैखिकता द्वारा विस्तार।
घातांकीय मानचित्र
के लिए घातीय मानचित्र SO(3), है, चूँकि SO(3) आव्युह झूठ समूह है, जिसे मानक आव्युह घातीय श्रृंखला का उपयोग करके परिभाषित किया गया है,
किसी भी तिरछा-सममित आव्युह के लिए A ∈ 𝖘𝖔(3), eA हमेशा अंदर है SO(3). प्रमाण आव्युह घातांक के प्रारंभिक गुणों का उपयोग करता है
आव्युह के बाद से A और AT कम्यूट, इसे तिरछा-सममित आव्युह स्थिति के साथ आसानी से सिद्ध किया जा सकता है। ये दिखाने के लिए ये काफी नहीं है 𝖘𝖔(3) के लिए संगत झूठ बीजगणित है SO(3), और अलग से सिद्ध किया जाएगा.
प्रमाण की कठिनाई का स्तर इस बात पर निर्भर करता है कि आव्युह समूह लाई बीजगणित को कैसे परिभाषित किया जाता है। Hall (2003) लाई बीजगणित को आव्यूहों के समुच्चय के रूप में परिभाषित करता है
किस स्थितियों में यह तुच्छ है. Rossmann (2002) परिभाषा के लिए चिकनी वक्र खंडों के डेरिवेटिव का उपयोग करता है SO(3)पहचान पर ली गई पहचान के माध्यम से, जिस स्थिति में यह कठिन है।[11] निश्चित के लिए A ≠ 0, etA, −∞ < t < ∞ जियोडेसिक के साथ एक-पैरामीटर उपसमूह है SO(3). यह एक-पैरामीटर उपसमूह देता है जो घातीय मानचित्र के गुणों से सीधे अनुसरण करता है।[12] घातीय मानचित्र मूल के पड़ोस के बीच भिन्नता प्रदान करता है 𝖘𝖔(3) और पहचान का पड़ोस SO(3).[13] प्रमाण के लिए, बंद उपसमूह प्रमेय देखें।
घातांकीय मानचित्र विशेषणात्मक होता है। यह इस तथ्य से पता चलता है कि प्रत्येक R ∈ SO(3), चूँकि प्रत्येक घूर्णन अक्ष निश्चित छोड़ता है (यूलर का घूर्णन प्रमेय), और प्रपत्र के ब्लॉक विकर्ण आव्युह से संयुग्मित होता है
ऐसा है कि A = BDB−1, ओर वो
इस तथ्य के साथ कि 𝖘𝖔(3) के संयुक्त प्रतिनिधित्व के तहत बंद है SO(3), मतलब है कि BθLzB−1 ∈ 𝖘𝖔(3).
इस प्रकार, उदाहरण के लिए, लोकप्रिय पहचान की जांच करना आसान है
जैसा कि ऊपर दिखाया गया है, प्रत्येक तत्व A ∈ 𝖘𝖔(3) सदिश से जुड़ा है ω = θ u, कहाँ u = (x,y,z) इकाई परिमाण सदिश है। तब से u के शून्य समिष्ट में है A, यदि कोई अब किसी अन्य ऑर्थोगोनल आव्युह के माध्यम से नए आधार पर घूमता है O, साथ u के रूप में z अक्ष, नए आधार में रोटेशन आव्युह का अंतिम स्तंभ और पंक्ति शून्य होगी।
इस प्रकार, हम घातांक के सूत्र से पहले से जानते हैं exp(OAOT) चले जाना चाहिए u तय। किसी फलन जैसे आधार के लिए सीधा सूत्र प्रदान करना गणितीय रूप से असंभव है u, क्योंकि इसका अस्तित्व बालों वाली गेंद प्रमेय का उल्लंघन करेगा; लेकिन प्रत्यक्ष घातांक संभव है, और अक्ष-कोण प्रतिनिधित्व#घातांक मानचित्र 𝖘𝖔(3) से SO(3) तक
कहाँ और . इसे अक्ष के चारों ओर घूमने के लिए आव्युह के रूप में पहचाना जाता है u कोण से θ: सीएफ. रोड्रिग्स का घूर्णन सूत्र.
लघुगणक मानचित्र
दिया गया R ∈ SO(3), होने देना एंटीसिमेट्रिक भाग को निरूपित करें और जाने दें फिर, का लघुगणक R द्वारा दिया गया है[9]
यह रोड्रिग्स सूत्र के मिश्रित समरूपता रूप के निरीक्षण से प्रकट होता है,
जहां दाहिनी ओर पहला और अंतिम पद सममित है।
एकसमान यादृच्छिक नमूनाकरण
इकाई चतुर्भुजों के समूह द्वारा दोगुना आच्छादित है, जो 3-गोले के समरूपी है। चूंकि इकाई चतुर्भुज पर हार माप 4 आयामों में केवल 3-क्षेत्र माप है, इसलिए हार माप पर यह 3-क्षेत्रीय माप को आगे बढ़ाने वाला मात्र है।
परिणामस्वरूप, समान रूप से यादृच्छिक घूर्णन उत्पन्न होता है 3-गोले पर समान रूप से यादृच्छिक बिंदु उत्पन्न करने के बराबर है। इसे निम्नलिखित द्वारा पूरा किया जा सकता है
बेकर-कैंपबेल-हॉसडॉर्फ सूत्र
कल्पना करना X और Y लाई बीजगणित में दिया गया है। उनके घातांक, exp(X) और exp(Y), रोटेशन आव्युह हैं, जिन्हें गुणा किया जा सकता है। चूँकि घातीय मानचित्र कुछ लोगों के लिए अनुमान है Z झूठ बीजगणित में, exp(Z) = exp(X) exp(Y), और कोई अस्थायी रूप से लिख सकता है
के लिए C में कुछ अभिव्यक्ति X और Y. कब exp(X) और exp(Y) फिर आवागमन Z = X + Y, जटिल घातांक के व्यवहार की नकल करना।
सामान्य मामला अधिक विस्तृत बीसीएच सूत्र द्वारा दिया गया है, जो नेस्टेड लाई ब्रैकेट्स का श्रृंखला विस्तार है।[15] आव्युह के लिए, लाई ब्रैकेट कम्यूटेटर के समान ऑपरेशन है, जो गुणन में कम्यूटेटिविटी की कमी की निगरानी करता है। यह सामान्य विस्तार इस प्रकार सामने आता है,[nb 4]
के लिए BCH सूत्र में अनंत विस्तार SO(3) संक्षिप्त रूप में कम हो जाता है,
उपयुक्त त्रिकोणमितीय फलन गुणांक के लिए (α, β, γ).
कहाँ
के लिए
आंतरिक उत्पाद हिल्बर्ट-श्मिट आंतरिक उत्पाद है और मानदंड संबद्ध मानदंड है। टोपी-समरूपता के तहत,
इस मिश्रित घूर्णन जनरेटर को इस प्रकार लिखना सार्थक है
इस बात पर जोर देने के लिए कि यह झूठ बीजगणित पहचान है।
उपरोक्त पहचान सभी वफादार अभ्यावेदन के लिए है 𝖘𝖔(3). ली बीजगणित समरूपता का कर्नेल (बीजगणित) आदर्श (ली बीजगणित) है, लेकिन 𝖘𝖔(3), सरल (अमूर्त बीजगणित) होने के कारण, इसका कोई गैर-तुच्छ आदर्श नहीं है और इसलिए सभी गैर-तुच्छ निरूपण वफादार हैं। यह विशेष रूप से दोहरे या स्पिनर प्रतिनिधित्व में निहित है। इस प्रकार वही स्पष्ट सूत्र पाउली मैट्रिसेस, सीएफ के माध्यम से सरल तरीके से अनुसरण करता है। पाउली मैट्रिसेस#पाउली सदिश का घातांक।एसयू(2) के लिए 2×2 व्युत्पत्ति।
समान BCH सूत्र के पाउली वेक्टर का पाउली मैट्रिसेस#एक्सपोनेंशियल, SU(2) का कुछ हद तक सरल समूह संरचना नियम है,
कहाँ
कोज्या का गोलाकार नियम. (टिप्पणी a', b', c' कोण हैं, नहीं a, b, c ऊपर।)
यह स्पष्ट रूप से ऊपर बताए गए प्रारूप जैसा ही है,
साथ
ताकि
शामिल लाई बीजगणित में जनरेटर के एक समान सामान्यीकरण के लिए, पाउली मैट्रिक्स को के संदर्भ में व्यक्त करें t-मैट्रिसेस, σ → 2i t, ताकि
यह सत्यापित करने के लिए कि ये ऊपर दिए गए समान गुणांक हैं, गुणांकों के अनुपात की गणना करें,
अंत में, γ = γ' पहचान दी d = sin 2c'.
सामान्य के लिए n × n स्थितियों में, कोई Ref का उपयोग कर सकता है।[16]
दो घूर्णन आर की संरचना का चतुर्भुज सूत्रीकरणB और आरA यह सीधे घूर्णन की धुरी और समग्र घूर्णन के कोण R को भी प्राप्त करता हैC = आरBRA.
मान लीजिए कि स्थानिक घूर्णन R से संबद्ध चतुर्भुज का निर्माण इसके घूर्णन के अक्ष S और इस अक्ष के घूर्णन कोण φ से होता है। संबंधित चतुर्भुज द्वारा दिया गया है,
फिर घूर्णन की संरचना आरR आर के साथA घूर्णन R हैC = आरBRA चतुष्कोणों के गुणनफल द्वारा परिभाषित घूर्णन अक्ष और कोण के साथ
वह है
प्राप्त करने के लिए इस उत्पाद का विस्तार करें
इस समीकरण के दोनों पक्षों को पहचान से विभाजित करें, जो कोसाइन का गोलाकार नियम है,
और गणना करें
यह दो घूर्णनों की अक्षों के संदर्भ में परिभाषित मिश्रित घूर्णन की धुरी के लिए रोड्रिग्स का सूत्र है। उन्होंने यह सूत्र 1840 में निकाला (देखें पृष्ठ 408)।[17] तीन घूर्णन अक्ष A, B, और C एक गोलाकार त्रिभुज बनाते हैं और इस त्रिभुज की भुजाओं द्वारा निर्मित तलों के बीच के विकर्ण कोणों को घूर्णन कोणों द्वारा परिभाषित किया जाता है।
अनंतिमल घुमाव
घूर्णन का एहसास
हमने देखा है कि घूर्णन को दर्शाने के कई तरीके हैं:
- निर्धारक 1 के साथ ऑर्थोगोनल आव्युह के रूप में,
- अक्ष और घूर्णन कोण द्वारा
- चतुर्धातुक बीजगणित में छंद और मानचित्र 3-गोले एस के साथ3 → SO(3) (चतुर्भुज और स्थानिक घुमाव देखें)
- ज्यामितीय बीजगणित में रोटर के रूप में (गणित)
- तीन निश्चित अक्षों के बारे में तीन घुमावों के अनुक्रम के रूप में; यूलर कोण देखें.
गोलाकार हार्मोनिक्स
समूह SO(3) त्रि-आयामी यूक्लिडियन घुमावों का हिल्बर्ट समिष्ट पर अनंत-आयामी प्रतिनिधित्व है
कहाँ गोलाकार हार्मोनिक्स हैं. इसके तत्व वर्गाकार पूर्णांक जटिल-मूल्यवान फलन हैं[nb 5] गोले पर. इस समिष्ट पर आंतरिक उत्पाद द्वारा दिया गया है
-
(H1)
अगर f इकाई क्षेत्र पर परिभाषित मनमाना वर्ग पूर्णांक फलन है S2, तो इसे इस प्रकार व्यक्त किया जा सकता है[18]
-
(H2)
जहां विस्तार गुणांक दिए गए हैं
-
(H3)
लोरेंत्ज़ समूह की कार्रवाई यहीं तक सीमित है SO(3) और के रूप में व्यक्त किया गया है
-
(H4)
यह क्रिया एकात्मक अर्थात् एकात्मक है
-
(H5)
वह D(ℓ) से प्राप्त किया जा सकता है D(m, n) उपरोक्त में से क्लेबश-गॉर्डन गुणांक।क्लेबश-गॉर्डन अपघटन का उपयोग करते हुए, लेकिन उन्हें विषम-आयामी के घातांक के रूप में अधिक आसानी से सीधे व्यक्त किया जाता है su(2)-प्रस्तुति (त्रि-आयामी बिल्कुल है 𝖘𝖔(3)).[19][20] इस स्थितियों में समिष्ट L2(S2) अघुलनशील विषम परिमित-आयामी निरूपणों के अनंत प्रत्यक्ष योग में बड़े करीने से विघटित हो जाता है V2i + 1, i = 0, 1, ... के अनुसार[21]
-
(H6)
यह अनंत-आयामी एकात्मक निरूपण की विशेषता है SO(3). अगर Π वियोज्य समिष्ट पर अनंत-आयामी एकात्मक प्रतिनिधित्व है[nb 6] हिल्बर्ट स्पेस, फिर यह परिमित-आयामी एकात्मक प्रतिनिधित्व के प्रत्यक्ष योग के रूप में विघटित होता है।[18]इस प्रकार ऐसा प्रतिनिधित्व कभी भी अप्रासंगिक नहीं होता है। सभी अपरिवर्तनीय परिमित-आयामी निरूपण (Π, V)आंतरिक उत्पाद के उचित चयन द्वारा एकात्मक बनाया जा सकता है,[18]
जहां अभिन्न अद्वितीय अपरिवर्तनीय अभिन्न है SO(3) को सामान्यीकृत किया गया 1, यहां यूलर कोण पैरामीट्रिजेशन का उपयोग करके व्यक्त किया गया है। इंटीग्रल के अंदर का आंतरिक उत्पाद किसी भी आंतरिक उत्पाद पर होता है V.
सामान्यीकरण
घूर्णन समूह बहुत स्वाभाविक रूप से एन-आयामी यूक्लिडियन समिष्ट की मानक यूक्लिडीयन संरचना के साथ होता है। n आयामों में सभी उचित और अनुचित घुमावों के समूह को "ऑर्थोगोनल समूह" O(n) कहा जाता है, और उचित घुमावों के उपसमूह को विशेष ऑर्थोगोनल समूह SO(n) कहा जाता है, जो n(n − 1)/2 आयाम का झूठ समूह है।
विशेष सापेक्षता में, कोई 4-आयामी सदिश समिष्ट में काम करता है, जिसे 3-आयामी यूक्लिडियन समिष्ट के अतिरिक्त मिन्कोव्स्की समिष्ट के रूप में जाना जाता है। यूक्लिडियन समिष्ट के विपरीत, मिन्कोवस्की समिष्ट में अनिश्चित मीट्रिक हस्ताक्षर वाला आंतरिक उत्पाद होता है। चूँकि, कोई अभी भी सामान्यीकृत घुमावों को परिभाषित कर सकता है जो इस आंतरिक उत्पाद को संरक्षित करते हैं। ऐसे सामान्यीकृत घुमावों को लोरेंत्ज़ परिवर्तन के रूप में जाना जाता है और ऐसे सभी परिवर्तनों के समूह को लोरेंत्ज़ समूह कहा जाता है।
घूर्णन समूह SO(3) को SE(3)।E के उपसमूह के रूप में वर्णित किया जा सकता है+(3), यूक्लिडियन समूह का यूक्लिडियन समूह#यूक्लिडियन की प्रत्यक्ष और अप्रत्यक्ष आइसोमेट्री यह बड़ा समूह कठोर पिंड की सभी गतियों का समूह है: इनमें से प्रत्येक मनमाना अक्ष के चारों ओर घूमने और अनुवाद का संयोजन है, या अलग तरीके से कहें तो SO(3) के तत्व और मनमाना अनुवाद का संयोजन है।
सामान्य तौर पर, किसी वस्तु का घूर्णन समूह प्रत्यक्ष आइसोमेट्रीज़ के समूह के भीतर समरूपता समूह होता है; दूसरे शब्दों में, पूर्ण समरूपता समूह और प्रत्यक्ष आइसोमेट्री के समूह का प्रतिच्छेदन। चिरैलिटी (गणित) वस्तुओं के लिए यह पूर्ण समरूपता समूह के समान है।
यह भी देखें
- ओर्थोगोनल समूह
- कोनेदार गति
- समन्वय रोटेशन
- SO(3) पर चार्ट
- झूठ समूह का प्रतिनिधित्व#एक उदाहरण: रोटेशन समूह SO(3)|SO(3) का प्रतिनिधित्व
- यूलर कोण
- रॉड्रिग्स का घूर्णन सूत्र
- अतिसूक्ष्म घूर्णन
- पिन समूह
- चतुर्भुज और स्थानिक घुमाव
- सख्त शरीर
- गोलाकार हार्मोनिक्स
- घूर्णन का तल
- झूठ समूह
- पॉली मैट्रिक्स
- प्लेट ट्रिक
- त्रि-आयामी रोटेशन ऑपरेटर
फुटनोट
- ↑ This is effected by first applying a rotation through φ about the z-axis to take the x-axis to the line L, the intersection between the planes xy and x'y', the latter being the rotated xy-plane. Then rotate with through θ about L to obtain the new z-axis from the old one, and finally rotate by through an angle ψ about the new z-axis, where ψ is the angle between L and the new x-axis. In the equation, and are expressed in a temporary rotated basis at each step, which is seen from their simple form. To transform these back to the original basis, observe that Here boldface means that the rotation is expressed in the original basis. Likewise,
- ↑ For an alternative derivation of , see Classical group.
- ↑ Specifically, for
- ↑ For a full proof, see Derivative of the exponential map. Issues of convergence of this series to the correct element of the Lie algebra are here swept under the carpet. Convergence is guaranteed when and The series may still converge even if these conditions are not fulfilled. A solution always exists since exp is onto in the cases under consideration.
- ↑ The elements of L2(S2) are actually equivalence classes of functions. two functions are declared equivalent if they differ merely on a set of measure zero. The integral is the Lebesgue integral in order to obtain a complete inner product space.
- ↑ A Hilbert space is separable if and only if it has a countable basis. All separable Hilbert spaces are isomorphic.
संदर्भ
- ↑ Jacobson (2009), p. 34, Ex. 14.
- ↑ n × n real matrices are identical to linear transformations of expressed in its standard basis.
- ↑ Coxeter, H. S. M. (1973). नियमित पॉलीटोप्स (Third ed.). New York. p. 53. ISBN 0-486-61480-8.
{{cite book}}: CS1 maint: location missing publisher (link) - ↑ Hall 2015 Proposition 1.17
- ↑ Rossmann 2002 p. 95.
- ↑ These expressions were, in fact, seminal in the development of quantum mechanics in the 1930s, cf. Ch III, § 16, B.L. van der Waerden, 1932/1932
- ↑ Hall 2015 Proposition 3.24
- ↑ Rossmann 2002
- ↑ 9.0 9.1 Engø 2001
- ↑ Hall 2015 Example 3.27
- ↑ See Rossmann 2002, theorem 3, section 2.2.
- ↑ Rossmann 2002 Section 1.1.
- ↑ Hall 2003 Theorem 2.27.
- ↑ Shoemake, Ken (1992-01-01), Kirk, DAVID (ed.), "III.6 - Uniform Random Rotations", Graphics Gems III (IBM Version) (in English), San Francisco: Morgan Kaufmann, pp. 124–132, ISBN 978-0-12-409673-8, retrieved 2022-07-29
- ↑ Hall 2003, Ch. 3; Varadarajan 1984, §2.15
- ↑ Curtright, Fairlie & Zachos 2014 Group elements of SU(2) are expressed in closed form as finite polynomials of the Lie algebra generators, for all definite spin representations of the rotation group.
- ↑ Rodrigues, O. (1840), Des lois géométriques qui régissent les déplacements d'un système solide dans l'espace, et la variation des coordonnées provenant de ses déplacements con- sidérés indépendamment des causes qui peuvent les produire, Journal de Mathématiques Pures et Appliquées de Liouville 5, 380–440.
- ↑ 18.0 18.1 18.2 Gelfand, Minlos & Shapiro 1963
- ↑ In Quantum Mechanics – non-relativistic theory by Landau and Lifshitz the lowest order D are calculated analytically.
- ↑ Curtright, Fairlie & Zachos 2014 A formula for D(ℓ) valid for all ℓ is given.
- ↑ Hall 2003 Section 4.3.5.
ग्रन्थसूची
- Boas, Mary L. (2006), Mathematical Methods in the Physical Sciences (3rd ed.), John Wiley & sons, pp. 120, 127, 129, 155ff and 535, ISBN 978-0471198260
- Curtright, T. L.; Fairlie, D. B.; Zachos, C. K. (2014), "A compact formula for rotations as spin matrix polynomials", SIGMA, 10: 084, arXiv:1402.3541, Bibcode:2014SIGMA..10..084C, doi:10.3842/SIGMA.2014.084, S2CID 18776942
- Engø, Kenth (2001), "On the BCH-formula in 𝖘𝖔(3)", BIT Numerical Mathematics, 41 (3): 629–632, doi:10.1023/A:1021979515229, ISSN 0006-3835, S2CID 126053191 [1]
- Gelfand, I.M.; Minlos, R.A.; Shapiro, Z.Ya. (1963), Representations of the Rotation and Lorentz Groups and their Applications, New York: Pergamon Press
- Goldstein, Herbert; Poole, Charles P.; Safko, John L. (2002), Classical Mechanics (third ed.), Addison Wesley, ISBN 978-0-201-65702-9
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666
- Hall, Brian C. (2003). Lie groups, Lie algebras, and representations : an elementary introduction. Graduate Texts in Mathematics. Vol. 222. New York: Springer. ISBN 0-387-40122-9.
- Jacobson, Nathan (2009), Basic algebra, vol. 1 (2nd ed.), Dover Publications, ISBN 978-0-486-47189-1
- Joshi, A. W. (2007), Elements of Group Theory for Physicists, New Age International, pp. 111ff, ISBN 978-81-224-0975-8
- Rossmann, Wulf (2002), Lie Groups – An Introduction Through Linear Groups, Oxford Graduate Texts in Mathematics, Oxford Science Publications, ISBN 0-19-859683-9
- van der Waerden, B. L. (1952), Group Theory and Quantum Mechanics, Springer Publishing, ISBN 978-3642658624 (translation of the original 1932 edition, Die Gruppentheoretische Methode in Der Quantenmechanik).
- Varadarajan, V. S. (1984). Lie groups, Lie algebras, and their representations. New York: Springer-Verlag. ISBN 978-0-387-90969-1.
- Veltman, M.; 't Hooft, G.; de Wit, B. (2007). "Lie Groups in Physics (online lecture)" (PDF). Retrieved 2016-10-24..