3डी रोटेशन समूह: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Group of rotations in 3 dimensions}} शास्त्रीय यांत्रिकी और ज्यामिति में, 3 डी ...")
 
No edit summary
Line 1: Line 1:
{{Short description|Group of rotations in 3 dimensions}}
{{Short description|Group of rotations in 3 dimensions}}
[[शास्त्रीय यांत्रिकी]] और [[ज्यामिति]] में, 3 डी [[ ROTATION ]] समूह, जिसे अक्सर [[विशेष ऑर्थोगोनल समूह]] (3) कहा जाता है, त्रि-आयामी अंतरिक्ष की [[उत्पत्ति (गणित)]] के बारे में सभी घुमावों का [[समूह (गणित)]] है | त्रि-आयामी यूक्लिडियन अंतरिक्ष <math>\R^3</math> फ़ंक्शन संरचना के संचालन के तहत.<ref>Jacobson (2009), p. 34, Ex. 14.</ref>
[[शास्त्रीय यांत्रिकी]] और [[ज्यामिति]] में, 3 डी [[ ROTATION |रोटेशन]] समूह, जिसे अधिकांशतः [[विशेष ऑर्थोगोनल समूह]] (3) कहा जाता है, त्रि-आयामी समिष्ट की [[उत्पत्ति (गणित)]] के बारे में सभी घुमावों का [[समूह (गणित)]] है | त्रि-आयामी यूक्लिडियन समिष्ट <math>\R^3</math> फलन संरचना के संचालन के तहत.<ref>Jacobson (2009), p. 34, Ex. 14.</ref>
परिभाषा के अनुसार, मूल के बारे में घूर्णन एक परिवर्तन है जो मूल, [[यूक्लिडियन दूरी]] (इसलिए यह एक [[आइसोमेट्री]] है), और [[अभिविन्यास (वेक्टर स्थान)]] (यानी, अंतरिक्ष की सुगमता) को संरक्षित करता है। दो घूर्णनों को संयोजित करने से एक और घूर्णन होता है, प्रत्येक घूर्णन में एक अद्वितीय व्युत्क्रम फ़ंक्शन घूर्णन होता है, और [[पहचान मानचित्र]] एक घूर्णन की परिभाषा को संतुष्ट करता है। उपरोक्त गुणों (मिश्रित घुमावों की साहचर्य संपत्ति के साथ) के कारण, सभी घुमावों का सेट संरचना के तहत एक समूह (गणित) है।


प्रत्येक गैर-तुच्छ घूर्णन उसके घूर्णन अक्ष (मूल बिंदु से होकर जाने वाली एक रेखा) और उसके घूर्णन कोण द्वारा निर्धारित होता है। घूर्णन क्रमविनिमेय नहीं हैं (उदाहरण के लिए, x-y तल में R 90° और उसके बाद y-z तल में S 90° घूमना, S के बाद R के समान नहीं है), जिससे 3D घूर्णन समूह एक गैर-एबेलियन समूह बन जाता है। इसके अलावा, रोटेशन समूह में एक प्राकृतिक संरचना होती है जिसके लिए समूह संचालन [[सुचारू कार्य]] होता है, इसलिए यह वास्तव में एक [[झूठ समूह]] है। यह [[सघन स्थान]] है और इसका आयाम 3 है।
परिभाषा के अनुसार, मूल के बारे में घूर्णन परिवर्तन है जो मूल, [[यूक्लिडियन दूरी]] (इसलिए यह [[आइसोमेट्री]] है), और [[अभिविन्यास (वेक्टर स्थान)]] (यानी, समिष्ट की सुगमता) को संरक्षित करता है। दो घूर्णनों को संयोजित करने से और घूर्णन होता है, प्रत्येक घूर्णन में अद्वितीय व्युत्क्रम फलन घूर्णन होता है, और [[पहचान मानचित्र]] घूर्णन की परिभाषा को संतुष्ट करता है। उपरोक्त गुणों (मिश्रित घुमावों की साहचर्य संपत्ति के साथ) के कारण, सभी घुमावों का सेट संरचना के तहत समूह (गणित) है।


घूर्णन [[रैखिक परिवर्तन]] हैं <math>\R^3</math> और इसलिए इसे वेक्टर समष्टि के आधार पर एक बार [[मैट्रिक्स (गणित)]] द्वारा दर्शाया जा सकता है <math>\R^3</math> चुना गया है। विशेष रूप से, यदि हम लम्बवत आधार चुनते हैं <math>\R^3</math>, प्रत्येक रोटेशन को एक ऑर्थोगोनल मैट्रिक्स द्वारा वर्णित किया गया है | ऑर्थोगोनल 3 × 3 मैट्रिक्स (यानी, वास्तविक प्रविष्टियों के साथ एक 3 × 3 मैट्रिक्स, जो इसके स्थानान्तरण से गुणा होने पर, पहचान मैट्रिक्स में परिणत होता है) निर्धारक 1 के साथ। समूह SO(3) इसलिए [[मैट्रिक्स गुणन]] के तहत इन मैट्रिक्स के समूह के साथ पहचाना जा सकता है। इन आव्यूहों को विशेष ऑर्थोगोनल आव्यूह के रूप में जाना जाता है, जो संकेतन SO(3) की व्याख्या करते हैं।
प्रत्येक गैर-तुच्छ घूर्णन उसके घूर्णन अक्ष (मूल बिंदु से होकर जाने वाली रेखा) और उसके घूर्णन कोण द्वारा निर्धारित होता है। घूर्णन क्रमविनिमेय नहीं हैं (उदाहरण के लिए, x-y तल में R 90° और उसके बाद y-z तल में S 90° घूमना, S के बाद R के समान नहीं है), जिससे 3D घूर्णन समूह गैर-एबेलियन समूह बन जाता है। इसके अलावा, रोटेशन समूह में प्राकृतिक संरचना होती है जिसके लिए समूह संचालन [[सुचारू कार्य]] होता है, इसलिए यह वास्तव में [[झूठ समूह]] है। यह [[सघन स्थान|सघन]] समिष्ट है और इसका आयाम 3 है।


समूह SO(3) का उपयोग किसी वस्तु की संभावित घूर्णी समरूपता, साथ ही अंतरिक्ष में किसी वस्तु के संभावित अभिविन्यास का वर्णन करने के लिए किया जाता है। इसके समूह निरूपण भौतिकी में महत्वपूर्ण हैं, जहां वे पूर्णांक [[स्पिन (भौतिकी)]] के [[प्राथमिक कण]]ों को जन्म देते हैं।
घूर्णन [[रैखिक परिवर्तन]] हैं <math>\R^3</math> और इसलिए इसे वेक्टर समष्टि के आधार पर बार [[मैट्रिक्स (गणित)]] द्वारा दर्शाया जा सकता है <math>\R^3</math> चुना गया है। विशेष रूप से, यदि हम लम्बवत आधार चुनते हैं <math>\R^3</math>, प्रत्येक रोटेशन को ऑर्थोगोनल मैट्रिक्स द्वारा वर्णित किया गया है | ऑर्थोगोनल 3 × 3 मैट्रिक्स (यानी, वास्तविक प्रविष्टियों के साथ 3 × 3 मैट्रिक्स, जो इसके स्थानान्तरण से गुणा होने पर, पहचान मैट्रिक्स में परिणत होता है) निर्धारक 1 के साथ। समूह SO(3) इसलिए [[मैट्रिक्स गुणन]] के तहत इन मैट्रिक्स के समूह के साथ पहचाना जा सकता है। इन आव्यूहों को विशेष ऑर्थोगोनल आव्यूह के रूप में जाना जाता है, जो संकेतन SO(3) की व्याख्या करते हैं।
 
समूह SO(3) का उपयोग किसी वस्तु की संभावित घूर्णी समरूपता, साथ ही समिष्ट में किसी वस्तु के संभावित अभिविन्यास का वर्णन करने के लिए किया जाता है। इसके समूह निरूपण भौतिकी में महत्वपूर्ण हैं, जहां वे पूर्णांक [[स्पिन (भौतिकी)]] के [[प्राथमिक कण]]ों को जन्म देते हैं।


==लंबाई और [[कोण]]==
==लंबाई और [[कोण]]==
केवल लंबाई बनाए रखने के अलावा, घूर्णन सदिशों के बीच के कोणों को भी संरक्षित करता है। यह इस तथ्य से पता चलता है कि दो वैक्टर यू और वी के बीच मानक [[डॉट उत्पाद]] को पूरी तरह से लंबाई के संदर्भ में लिखा जा सकता है:
केवल लंबाई बनाए रखने के अलावा, घूर्णन सदिशों के बीच के कोणों को भी संरक्षित करता है। यह इस तथ्य से पता चलता है कि दो वैक्टर यू और वी के बीच मानक [[डॉट उत्पाद]] को पूरी तरह से लंबाई के संदर्भ में लिखा जा सकता है:
<math display="block">\mathbf{u} \cdot \mathbf{v} = \frac{1}{2} \left(\|\mathbf{u} + \mathbf{v}\|^2 - \|\mathbf{u}\|^2 - \|\mathbf{v}\|^2\right).</math>
<math display="block">\mathbf{u} \cdot \mathbf{v} = \frac{1}{2} \left(\|\mathbf{u} + \mathbf{v}\|^2 - \|\mathbf{u}\|^2 - \|\mathbf{v}\|^2\right).</math>
यह इस प्रकार है कि प्रत्येक लंबाई-संरक्षण रैखिक परिवर्तन में <math>\R^3</math> डॉट उत्पाद को संरक्षित करता है, और इस प्रकार वैक्टर के बीच का कोण। घुमावों को अक्सर रैखिक परिवर्तनों के रूप में परिभाषित किया जाता है जो आंतरिक उत्पाद को संरक्षित करते हैं <math>\R^3</math>, जो उन्हें लंबाई बनाए रखने की आवश्यकता के बराबर है। इस अधिक सामान्य दृष्टिकोण के उपचार के लिए [[शास्त्रीय समूह]] देखें, जहाँ {{math|SO(3)}} एक विशेष मामले के रूप में प्रकट होता है।
यह इस प्रकार है कि प्रत्येक लंबाई-संरक्षण रैखिक परिवर्तन में <math>\R^3</math> डॉट उत्पाद को संरक्षित करता है, और इस प्रकार वैक्टर के बीच का कोण। घुमावों को अधिकांशतः रैखिक परिवर्तनों के रूप में परिभाषित किया जाता है जो आंतरिक उत्पाद को संरक्षित करते हैं <math>\R^3</math>, जो उन्हें लंबाई बनाए रखने की आवश्यकता के बराबर है। इस अधिक सामान्य दृष्टिकोण के उपचार के लिए [[शास्त्रीय समूह]] देखें, जहाँ {{math|SO(3)}} विशेष मामले के रूप में प्रकट होता है।


==ऑर्थोगोनल और रोटेशन मैट्रिक्स==
==ऑर्थोगोनल और रोटेशन मैट्रिक्स==
{{Main|Orthogonal matrix|Rotation matrix}}
{{Main|Orthogonal matrix|Rotation matrix}}


प्रत्येक घूर्णन एक लंबात्मक आधार का मानचित्रण करता है <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^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|3 × 3}} ऑर्थोगोनल मैट्रिक्स को दर्शाया गया है {{math|O(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|''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|SO(3)}}.


[[अनुचित घुमाव]] निर्धारक के साथ ऑर्थोगोनल मैट्रिक्स के अनुरूप होते हैं {{math|−1}}, और वे एक समूह नहीं बनाते क्योंकि दो अनुचित घुमावों का गुणनफल एक उचित घुमाव होता है।
[[अनुचित घुमाव]] निर्धारक के साथ ऑर्थोगोनल मैट्रिक्स के अनुरूप होते हैं {{math|−1}}, और वे समूह नहीं बनाते क्योंकि दो अनुचित घुमावों का गुणनफल उचित घुमाव होता है।


==समूह संरचना==
==समूह संरचना==
रोटेशन समूह फ़ंक्शन संरचना (या समकक्ष [[मैट्रिक्स उत्पाद]]) के अंतर्गत एक समूह (गणित) है। यह [[सामान्य रैखिक समूह]] का एक उपसमूह है जिसमें [[वास्तविक समन्वय स्थान]] के सभी [[उलटा मैट्रिक्स]] रैखिक परिवर्तन शामिल हैं | वास्तविक 3-स्थान <math>\R^3</math>.<ref>''n''&nbsp;×&nbsp;''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''&nbsp;×&nbsp;''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 के चारों ओर घूमने से प्राप्त घुमाव से भिन्न घूर्णन है।


ऑर्थोगोनल समूह, जिसमें सभी उचित और अनुचित घुमाव शामिल हैं, प्रतिबिंबों द्वारा उत्पन्न होता है। प्रत्येक उचित घुमाव दो प्रतिबिंबों की संरचना है, जो कार्टन-ड्युडोने प्रमेय का एक विशेष मामला है।
ऑर्थोगोनल समूह, जिसमें सभी उचित और अनुचित घुमाव शामिल हैं, प्रतिबिंबों द्वारा उत्पन्न होता है। प्रत्येक उचित घुमाव दो प्रतिबिंबों की संरचना है, जो कार्टन-ड्युडोने प्रमेय का विशेष मामला है।


===परिमित उपसमूहों का पूर्ण वर्गीकरण===
===परिमित उपसमूहों का पूर्ण वर्गीकरण===
के परिमित उपसमूह <math>\mathrm{SO}(3)</math> पूर्णतः [[वर्गीकरण प्रमेय]] हैं।<ref name="coxeter">{{cite book |last1=Coxeter |first1=H. S. M. |title=नियमित पॉलीटोप्स|date=1973 |location=New York |isbn=0-486-61480-8 |page=53 |edition=Third}}</ref>
के परिमित उपसमूह <math>\mathrm{SO}(3)</math> पूर्णतः [[वर्गीकरण प्रमेय]] हैं।<ref name="coxeter">{{cite book |last1=Coxeter |first1=H. S. M. |title=नियमित पॉलीटोप्स|date=1973 |location=New York |isbn=0-486-61480-8 |page=53 |edition=Third}}</ref>
प्रत्येक परिमित उपसमूह समतल सममिति के दो गणनीय अनंत परिवारों में से किसी एक के तत्व के लिए समरूपी होता है: [[चक्रीय समूह]] <math>C_n</math> या [[डायहेड्रल समूह]] <math>D_{2n}</math>, या तीन अन्य समूहों में से एक[[चतुष्फलकीय समूह]] समूह <math>\cong A_4</math>, [[अष्टफलकीय समूह]] <math>\cong S_4</math>, या [[इकोसाहेड्रल समूह]] <math>\cong A_5</math>.
प्रत्येक परिमित उपसमूह समतल सममिति के दो गणनीय अनंत परिवारों में से किसी के तत्व के लिए समरूपी होता है: [[चक्रीय समूह]] <math>C_n</math> या [[डायहेड्रल समूह]] <math>D_{2n}</math>, या तीन अन्य समूहों में से एक[[चतुष्फलकीय समूह]] समूह <math>\cong A_4</math>, [[अष्टफलकीय समूह]] <math>\cong S_4</math>, या [[इकोसाहेड्रल समूह]] <math>\cong A_5</math>.


==घूर्णन अक्ष==
==घूर्णन अक्ष==
{{main|Axis–angle representation}}
{{main|Axis–angle representation}}
3 आयामों में प्रत्येक गैर-तुच्छ उचित घुमाव एक अद्वितीय 1-आयामी रैखिक उप-स्थान को ठीक करता है <math>\R^3</math> जिसे घूर्णन अक्ष कहा जाता है (यह यूलर का घूर्णन प्रमेय है)। ऐसा प्रत्येक घुमाव इस अक्ष के [[ओर्थोगोनल]] समतल में सामान्य 2-आयामी घुमाव के रूप में कार्य करता है। चूँकि प्रत्येक 2-आयामी घुमाव को एक कोण φ द्वारा दर्शाया जा सकता है, एक मनमाना 3-आयामी घुमाव को इस अक्ष के चारों ओर घूमने के कोण के साथ-साथ घूर्णन की धुरी द्वारा निर्दिष्ट किया जा सकता है। (तकनीकी तौर पर, किसी को अक्ष के लिए एक अभिविन्यास निर्दिष्ट करने की आवश्यकता होती है और क्या इस अभिविन्यास के संबंध में रोटेशन को [[दक्षिणावर्त और [[वामावर्त]]]] या वामावर्त माना जाता है)।
3 आयामों में प्रत्येक गैर-तुच्छ उचित घुमाव अद्वितीय 1-आयामी रैखिक उप-समिष्ट को ठीक करता है <math>\R^3</math> जिसे घूर्णन अक्ष कहा जाता है (यह यूलर का घूर्णन प्रमेय है)। ऐसा प्रत्येक घुमाव इस अक्ष के [[ओर्थोगोनल]] समतल में सामान्य 2-आयामी घुमाव के रूप में कार्य करता है। चूँकि प्रत्येक 2-आयामी घुमाव को कोण φ द्वारा दर्शाया जा सकता है, मनमाना 3-आयामी घुमाव को इस अक्ष के चारों ओर घूमने के कोण के साथ-साथ घूर्णन की धुरी द्वारा निर्दिष्ट किया जा सकता है। (तकनीकी तौर पर, किसी को अक्ष के लिए अभिविन्यास निर्दिष्ट करने की आवश्यकता होती है और क्या इस अभिविन्यास के संबंध में रोटेशन को [[दक्षिणावर्त और [[वामावर्त]]]] या वामावर्त माना जाता है)।


उदाहरण के लिए, कोण φ द्वारा सकारात्मक z-अक्ष के बारे में वामावर्त घूर्णन द्वारा दिया जाता है
उदाहरण के लिए, कोण φ द्वारा सकारात्मक z-अक्ष के बारे में वामावर्त घूर्णन द्वारा दिया जाता है


:<math>R_z(\phi) = \begin{bmatrix}\cos\phi & -\sin\phi & 0 \\ \sin\phi & \cos\phi & 0 \\ 0 & 0 & 1\end{bmatrix}.</math>
:<math>R_z(\phi) = \begin{bmatrix}\cos\phi & -\sin\phi & 0 \\ \sin\phi & \cos\phi & 0 \\ 0 & 0 & 1\end{bmatrix}.</math>
एक [[इकाई वेक्टर]] n दिया गया है <math>\R^3</math> और एक कोण φ, मान लीजिए R(φ, 'n') 'n' के माध्यम से अक्ष के बारे में वामावर्त घुमाव का प्रतिनिधित्व करता है ('n' द्वारा निर्धारित अभिविन्यास के साथ)। तब
[[इकाई वेक्टर]] n दिया गया है <math>\R^3</math> और कोण φ, मान लीजिए R(φ, 'n') 'n' के माध्यम से अक्ष के बारे में वामावर्त घुमाव का प्रतिनिधित्व करता है ('n' द्वारा निर्धारित अभिविन्यास के साथ)। तब


* R(0, 'n') किसी भी 'n' के लिए पहचान परिवर्तन है
* R(0, 'n') किसी भी 'n' के लिए पहचान परिवर्तन है
Line 51: Line 52:
* आर({{pi}} + φ, 'n') = R({{pi}} − φ, −'n').
* आर({{pi}} + φ, 'n') = R({{pi}} − φ, −'n').


इन गुणों का उपयोग करके कोई यह दिखा सकता है कि किसी भी घूर्णन को 0 ≤ φ ≤ की सीमा में एक अद्वितीय कोण φ द्वारा दर्शाया जा सकता है। {{pi}} और एक यूनिट वेक्टर n ऐसा है
इन गुणों का उपयोग करके कोई यह दिखा सकता है कि किसी भी घूर्णन को 0 ≤ φ ≤ की सीमा में अद्वितीय कोण φ द्वारा दर्शाया जा सकता है। {{pi}} और यूनिट वेक्टर n ऐसा है
* n मनमाना है यदि ''φ'' = 0
* n मनमाना है यदि ''φ'' = 0
* n अद्वितीय है यदि 0 < ''φ'' < {{pi}}
* n अद्वितीय है यदि 0 < ''φ'' < {{pi}}
* n एक चिन्ह (गणित) तक अद्वितीय है यदि ''φ'' = {{pi}} (अर्थात्, घूर्णन R({{pi}}, ±n) समान हैं)।
* n चिन्ह (गणित) तक अद्वितीय है यदि ''φ'' = {{pi}} (अर्थात्, घूर्णन R({{pi}}, ±n) समान हैं)।
अगले अनुभाग में, घुमावों के इस प्रतिनिधित्व का उपयोग त्रि-आयामी वास्तविक प्रक्षेप्य स्थान के साथ स्थलीय रूप से SO(3) की पहचान करने के लिए किया जाता है।
अगले अनुभाग में, घुमावों के इस प्रतिनिधित्व का उपयोग त्रि-आयामी वास्तविक प्रक्षेप्य समिष्ट के साथ स्थलीय रूप से SO(3) की पहचान करने के लिए किया जाता है।


==टोपोलॉजी==
==टोपोलॉजी==
{{Main|Hypersphere of rotations}}
{{Main|Hypersphere of rotations}}
लाई समूह SO(3) [[वास्तविक प्रक्षेप्य स्थान]] से [[भिन्नता]] है <math>\mathbb{P}^3(\R).</math><ref>{{harvnb|Hall|2015}} Proposition 1.17</ref>
लाई समूह SO(3) [[वास्तविक प्रक्षेप्य स्थान|वास्तविक प्रक्षेप्य]] समिष्ट से [[भिन्नता]] है <math>\mathbb{P}^3(\R).</math><ref>{{harvnb|Hall|2015}} Proposition 1.17</ref>
ठोस गेंद पर विचार करें <math>\R^3</math> त्रिज्या का {{pi}} (अर्थात, के सभी बिंदु <math>\R^3</math> दूरी का {{pi}} या मूल से कम)। उपरोक्त को देखते हुए, इस गेंद में प्रत्येक बिंदु के लिए एक घूर्णन होता है, जिसमें अक्ष बिंदु और मूल बिंदु से होकर गुजरती है, और घूर्णन कोण मूल से बिंदु की दूरी के बराबर होता है। पहचान घुमाव गेंद के केंद्र पर बिंदु से मेल खाता है। 0 और - के बीच के कोणों से घूमना{{pi}} मूल बिंदु से समान अक्ष और दूरी पर लेकिन मूल के विपरीत दिशा में स्थित बिंदु के अनुरूप। एक शेष मुद्दा यह है कि दो घूर्णन होते हैं {{pi}} और इसके माध्यम से −{{pi}} समान हैं। तो हम गेंद की सतह पर एंटीपोडल बिंदुओं को कोटिएंट स्पेस (टोपोलॉजी) (या एक साथ गोंद) करते हैं। इस पहचान के बाद, हम रोटेशन समूह के लिए एक [[टोपोलॉजिकल स्पेस]] [[होम्योमॉर्फिक]] पर पहुंचते हैं।
ठोस गेंद पर विचार करें <math>\R^3</math> त्रिज्या का {{pi}} (अर्थात, के सभी बिंदु <math>\R^3</math> दूरी का {{pi}} या मूल से कम)। उपरोक्त को देखते हुए, इस गेंद में प्रत्येक बिंदु के लिए घूर्णन होता है, जिसमें अक्ष बिंदु और मूल बिंदु से होकर गुजरती है, और घूर्णन कोण मूल से बिंदु की दूरी के बराबर होता है। पहचान घुमाव गेंद के केंद्र पर बिंदु से मेल खाता है। 0 और - के बीच के कोणों से घूमना{{pi}} मूल बिंदु से समान अक्ष और दूरी पर लेकिन मूल के विपरीत दिशा में स्थित बिंदु के अनुरूप। शेष मुद्दा यह है कि दो घूर्णन होते हैं {{pi}} और इसके माध्यम से −{{pi}} समान हैं। तो हम गेंद की सतह पर एंटीपोडल बिंदुओं को कोटिएंट समिष्ट (टोपोलॉजी) (या साथ गोंद) करते हैं। इस पहचान के बाद, हम रोटेशन समूह के लिए [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल]] समिष्ट [[होम्योमॉर्फिक]] पर पहुंचते हैं।


दरअसल, पहचाने गए एंटीपोडल सतह बिंदुओं वाली गेंद एक चिकनी मैनिफोल्ड है, और [[चिकनी कई गुना]] रोटेशन समूह के लिए भिन्नता है। यह वास्तविक प्रक्षेप्य स्थान|वास्तविक 3-आयामी प्रक्षेप्य स्थान से भिन्न भी है <math>\mathbb{P}^3(\R),</math> इसलिए उत्तरार्द्ध रोटेशन समूह के लिए एक टोपोलॉजिकल मॉडल के रूप में भी काम कर सकता है।
दरअसल, पहचाने गए एंटीपोडल सतह बिंदुओं वाली गेंद चिकनी मैनिफोल्ड है, और [[चिकनी कई गुना]] रोटेशन समूह के लिए भिन्नता है। यह वास्तविक प्रक्षेप्य स्थान|वास्तविक 3-आयामी प्रक्षेप्य समिष्ट से भिन्न भी है <math>\mathbb{P}^3(\R),</math> इसलिए उत्तरार्द्ध रोटेशन समूह के लिए टोपोलॉजिकल मॉडल के रूप में भी काम कर सकता है।


ये पहचान दर्शाती हैं कि SO(3) [[ जुड़ा हुआ स्थान ]] है लेकिन केवल कनेक्टेड नहीं है। उत्तरार्द्ध के संबंध में, पहचाने गए एंटीपोडल सतह बिंदुओं वाली गेंद में, उत्तरी ध्रुव से सीधे आंतरिक भाग से होते हुए दक्षिणी ध्रुव तक चलने वाले पथ पर विचार करें। यह एक बंद लूप है, क्योंकि उत्तरी ध्रुव और दक्षिणी ध्रुव की पहचान की जाती है। इस लूप को एक बिंदु तक छोटा नहीं किया जा सकता है, क्योंकि इससे कोई फर्क नहीं पड़ता कि आप लूप को कैसे विकृत करते हैं, प्रारंभ और अंत बिंदु को एंटीपोडल रहना होगा, अन्यथा लूप टूट कर खुल जाएगा। घूर्णन के संदर्भ में, यह लूप z-अक्ष के बारे में घूर्णन के एक निरंतर अनुक्रम का प्रतिनिधित्व करता है (उदाहरण के लिए) पहचान (गेंद के केंद्र) पर शुरू होता है, दक्षिणी ध्रुव के माध्यम से, उत्तरी ध्रुव पर कूदता है और फिर से पहचान रोटेशन पर समाप्त होता है (यानी, ए) एक कोण φ के माध्यम से घूर्णन की श्रृंखला जहां φ 0 से मोड़ (ज्यामिति)|2 तक चलता है{{pi}}).
ये पहचान दर्शाती हैं कि SO(3) [[ जुड़ा हुआ स्थान |जुड़ा हुआ]] समिष्ट है लेकिन केवल कनेक्टेड नहीं है। उत्तरार्द्ध के संबंध में, पहचाने गए एंटीपोडल सतह बिंदुओं वाली गेंद में, उत्तरी ध्रुव से सीधे आंतरिक भाग से होते हुए दक्षिणी ध्रुव तक चलने वाले पथ पर विचार करें। यह बंद लूप है, क्योंकि उत्तरी ध्रुव और दक्षिणी ध्रुव की पहचान की जाती है। इस लूप को बिंदु तक छोटा नहीं किया जा सकता है, क्योंकि इससे कोई फर्क नहीं पड़ता कि आप लूप को कैसे विकृत करते हैं, प्रारंभ और अंत बिंदु को एंटीपोडल रहना होगा, अन्यथा लूप टूट कर खुल जाएगा। घूर्णन के संदर्भ में, यह लूप z-अक्ष के बारे में घूर्णन के निरंतर अनुक्रम का प्रतिनिधित्व करता है (उदाहरण के लिए) पहचान (गेंद के केंद्र) पर शुरू होता है, दक्षिणी ध्रुव के माध्यम से, उत्तरी ध्रुव पर कूदता है और फिर से पहचान रोटेशन पर समाप्त होता है (यानी, ए) कोण φ के माध्यम से घूर्णन की श्रृंखला जहां φ 0 से मोड़ (ज्यामिति)|2 तक चलता है{{pi}}).


आश्चर्य की बात है, यदि आप पथ पर दो बार दौड़ते हैं, यानी, उत्तरी ध्रुव से नीचे दक्षिणी ध्रुव तक दौड़ते हैं, उत्तरी ध्रुव पर वापस कूदते हैं (इस तथ्य का उपयोग करते हुए कि उत्तरी और दक्षिणी ध्रुव पहचाने जाते हैं), और फिर उत्तरी ध्रुव से नीचे दक्षिण की ओर दौड़ते हैं ध्रुव, ताकि φ 0 से 4 तक चले{{pi}}, आपको एक बंद लूप मिलता है जिसे एक बिंदु तक छोटा किया जा सकता है: पहले पथों को लगातार गेंद की सतह पर ले जाएं, फिर भी उत्तरी ध्रुव को दक्षिणी ध्रुव से दो बार कनेक्ट करें। फिर दूसरे पथ को पथ को बिल्कुल भी बदले बिना एंटीपोडल पक्ष पर प्रतिबिंबित किया जा सकता है। अब हमारे पास गेंद की सतह पर एक साधारण बंद लूप है, जो उत्तरी ध्रुव को एक बड़े वृत्त के साथ जोड़ता है। इस वृत्त को बिना किसी समस्या के उत्तरी ध्रुव तक छोटा किया जा सकता है। [[ प्लेट चाल ]] और इसी तरह की ट्रिक्स इसे व्यावहारिक रूप से प्रदर्शित करती हैं।
आश्चर्य की बात है, यदि आप पथ पर दो बार दौड़ते हैं, यानी, उत्तरी ध्रुव से नीचे दक्षिणी ध्रुव तक दौड़ते हैं, उत्तरी ध्रुव पर वापस कूदते हैं (इस तथ्य का उपयोग करते हुए कि उत्तरी और दक्षिणी ध्रुव पहचाने जाते हैं), और फिर उत्तरी ध्रुव से नीचे दक्षिण की ओर दौड़ते हैं ध्रुव, ताकि φ 0 से 4 तक चले{{pi}}, आपको बंद लूप मिलता है जिसे बिंदु तक छोटा किया जा सकता है: पहले पथों को लगातार गेंद की सतह पर ले जाएं, फिर भी उत्तरी ध्रुव को दक्षिणी ध्रुव से दो बार कनेक्ट करें। फिर दूसरे पथ को पथ को बिल्कुल भी बदले बिना एंटीपोडल पक्ष पर प्रतिबिंबित किया जा सकता है। अब हमारे पास गेंद की सतह पर साधारण बंद लूप है, जो उत्तरी ध्रुव को बड़े वृत्त के साथ जोड़ता है। इस वृत्त को बिना किसी समस्या के उत्तरी ध्रुव तक छोटा किया जा सकता है। [[ प्लेट चाल |प्लेट चाल]] और इसी तरह की ट्रिक्स इसे व्यावहारिक रूप से प्रदर्शित करती हैं।


समान तर्क सामान्य रूप से किया जा सकता है, और यह दर्शाता है कि SO(3) का मूल समूह क्रम 2 का चक्रीय समूह है (दो तत्वों वाला एक मूल समूह)। भौतिकी अनुप्रयोगों में, [[मौलिक समूह]] की गैर-तुच्छता (एक से अधिक तत्व) [[स्पिनर]]्स के रूप में ज्ञात वस्तुओं के अस्तित्व की अनुमति देती है, और स्पिन-सांख्यिकी प्रमेय के विकास में एक महत्वपूर्ण उपकरण है।
समान तर्क सामान्य रूप से किया जा सकता है, और यह दर्शाता है कि SO(3) का मूल समूह क्रम 2 का चक्रीय समूह है (दो तत्वों वाला मूल समूह)। भौतिकी अनुप्रयोगों में, [[मौलिक समूह]] की गैर-तुच्छता ( से अधिक तत्व) [[स्पिनर]]्स के रूप में ज्ञात वस्तुओं के अस्तित्व की अनुमति देती है, और स्पिन-सांख्यिकी प्रमेय के विकास में महत्वपूर्ण उपकरण है।


SO(3) का [[सार्वभौमिक आवरण]] [[स्पिन(3)]] नामक एक झूठ समूह है। समूह स्पिन(3) [[विशेष एकात्मक समूह]] एसयू(2) का समरूपी है; यह इकाई 3-गोले एस से भिन्न भी है<sup>3</sup>और इसे छंदों के समूह (पूर्ण मान 1 के साथ चतुर्भुज) के रूप में समझा जा सकता है। चतुर्भुज और घूर्णन के बीच संबंध, जो आमतौर पर [[ कंप्यूटर चित्रलेख ]] में उपयोग किया जाता है, चतुर्भुज और स्थानिक घुमावों में समझाया गया है। एस से नक्शा<sup>3</sup>SO(3) पर जो S के एंटीपोडल बिंदुओं की पहचान करता है<sup>3</sup> [[कर्नेल (बीजगणित)]] {±1} के साथ, लाई समूहों का एक [[विशेषण]] [[समरूपता]] है। स्थलाकृतिक दृष्टि से, यह मानचित्र दो-से-एक कवर करने वाला मानचित्र है। (प्लेट ट्रिक देखें।)
SO(3) का [[सार्वभौमिक आवरण]] [[स्पिन(3)]] नामक झूठ समूह है। समूह स्पिन(3) [[विशेष एकात्मक समूह]] एसयू(2) का समरूपी है; यह इकाई 3-गोले एस से भिन्न भी है<sup>3</sup>और इसे छंदों के समूह (पूर्ण मान 1 के साथ चतुर्भुज) के रूप में समझा जा सकता है। चतुर्भुज और घूर्णन के बीच संबंध, जो आमतौर पर [[ कंप्यूटर चित्रलेख |कंप्यूटर चित्रलेख]] में उपयोग किया जाता है, चतुर्भुज और स्थानिक घुमावों में समझाया गया है। एस से नक्शा<sup>3</sup>SO(3) पर जो S के एंटीपोडल बिंदुओं की पहचान करता है<sup>3</sup> [[कर्नेल (बीजगणित)]] {±1} के साथ, लाई समूहों का [[विशेषण]] [[समरूपता]] है। स्थलाकृतिक दृष्टि से, यह मानचित्र दो-से- कवर करने वाला मानचित्र है। (प्लेट ट्रिक देखें।)


==SO(3) और SU(2) के बीच संबंध==
==SO(3) और SU(2) के बीच संबंध==
इस अनुभाग में, हम SO(3) पर SU(2) की दो-से-एक और विशेषण समरूपता की दो अलग-अलग संरचनाएँ देते हैं।
इस अनुभाग में, हम SO(3) पर SU(2) की दो-से- और विशेषण समरूपता की दो अलग-अलग संरचनाएँ देते हैं।


===इकाई मानदंड के चतुर्भुज का उपयोग करना ===
===इकाई मानदंड के चतुर्भुज का उपयोग करना ===
Line 81: Line 82:
तक सीमित <math display="inline">a^2+ b^2 + c^2 + d^2 = |\alpha|^2 +|\beta|^2 = 1</math> कहाँ <math display="inline"> q \in \mathbb{H}</math>, <math display="inline">a, b, c, d \in \R</math>, <math display="inline"> U \in \operatorname{SU}(2)</math>, और <math>\alpha = a+bi \in\mathbb{C}</math>, <math>\beta = c+di \in \mathbb{C}</math>.
तक सीमित <math display="inline">a^2+ b^2 + c^2 + d^2 = |\alpha|^2 +|\beta|^2 = 1</math> कहाँ <math display="inline"> q \in \mathbb{H}</math>, <math display="inline">a, b, c, d \in \R</math>, <math display="inline"> U \in \operatorname{SU}(2)</math>, और <math>\alpha = a+bi \in\mathbb{C}</math>, <math>\beta = c+di \in \mathbb{C}</math>.


आइये अब पहचानते हैं <math>\R^3</math> के विस्तार के साथ <math>\mathbf{i},\mathbf{j},\mathbf{k}</math>. इसके बाद कोई इसे सत्यापित कर सकता है <math>v</math> में है <math>\R^3</math> और <math>q</math> तो फिर, एक इकाई चतुर्भुज है
आइये अब पहचानते हैं <math>\R^3</math> के विस्तार के साथ <math>\mathbf{i},\mathbf{j},\mathbf{k}</math>. इसके बाद कोई इसे सत्यापित कर सकता है <math>v</math> में है <math>\R^3</math> और <math>q</math> तो फिर, इकाई चतुर्भुज है
<math display="block">qvq^{-1}\in \R^3.</math>
<math display="block">qvq^{-1}\in \R^3.</math>
इसके अलावा, मानचित्र <math>v\mapsto qvq^{-1}</math> का एक चक्र है <math>\R^3.</math> इसके अतिरिक्त, <math>(-q)v(-q)^{-1}</math> वैसा ही है जैसा कि <math>qvq^{-1}</math>. इसका मतलब यह है कि वहाँ एक है {{math|2:1}} इकाई मानदंड के चतुर्भुज से 3डी रोटेशन समूह तक समरूपता {{math|SO(3)}}.
इसके अलावा, मानचित्र <math>v\mapsto qvq^{-1}</math> का चक्र है <math>\R^3.</math> इसके अतिरिक्त, <math>(-q)v(-q)^{-1}</math> वैसा ही है जैसा कि <math>qvq^{-1}</math>. इसका मतलब यह है कि वहाँ है {{math|2:1}} इकाई मानदंड के चतुर्भुज से 3डी रोटेशन समूह तक समरूपता {{math|SO(3)}}.


कोई इस समरूपता को स्पष्ट रूप से कार्यान्वित कर सकता है: इकाई चतुर्भुज, {{mvar|q}}, साथ
कोई इस समरूपता को स्पष्ट रूप से कार्यान्वित कर सकता है: इकाई चतुर्भुज, {{mvar|q}}, साथ
Line 96: Line 97:
  2 x z - 2 y w & 2 y z + 2 x w & 1 - 2 x^2 - 2 y^2
  2 x z - 2 y w & 2 y z + 2 x w & 1 - 2 x^2 - 2 y^2
\end{bmatrix}. </math>
\end{bmatrix}. </math>
यह वेक्टर के चारों ओर एक घूर्णन है {{math|(''x'', ''y'', ''z'')}} एक कोण से {{math|2''θ''}}, कहाँ {{math|1=cos ''θ'' = ''w''}} और {{math|1={{!}}sin ''θ''{{!}} = {{norm|(''x'', ''y'', ''z'')}}}}. के लिए उचित संकेत {{math|sin ''θ''}} निहित है, एक बार अक्ष घटकों के संकेत तय हो गए हैं। वह {{nowrap|{{math|2:1}}-nature}} दोनों से स्पष्ट है {{math|''q''}} और {{math|−''q''}} उसी के लिए मानचित्र {{math|''Q''}}.
यह वेक्टर के चारों ओर घूर्णन है {{math|(''x'', ''y'', ''z'')}} कोण से {{math|2''θ''}}, कहाँ {{math|1=cos ''θ'' = ''w''}} और {{math|1={{!}}sin ''θ''{{!}} = {{norm|(''x'', ''y'', ''z'')}}}}. के लिए उचित संकेत {{math|sin ''θ''}} निहित है, बार अक्ष घटकों के संकेत तय हो गए हैं। वह {{nowrap|{{math|2:1}}-nature}} दोनों से स्पष्ट है {{math|''q''}} और {{math|−''q''}} उसी के लिए मानचित्र {{math|''Q''}}.


===मोबियस परिवर्तनों का उपयोग करना===
===मोबियस परिवर्तनों का उपयोग करना===
Line 102: Line 103:


:<math>\mathbf{S} = \left \{(x,y,z)\in\R^3: x^2 +y^2 +z^2 = \frac{1}{4} \right \}</math>
:<math>\mathbf{S} = \left \{(x,y,z)\in\R^3: x^2 +y^2 +z^2 = \frac{1}{4} \right \}</math>
उत्तरी ध्रुव को छोड़कर, कर सकते हैं {{math|''N''}}, अंकों के साथ एक-से-एक आक्षेप में रखा जाए {{math|1=''S''(''P'') = ''P'''}} विमान पर {{math|''M''}} द्वारा परिभाषित {{math|1=''z'' = −{{sfrac|1|2}}}}, रेखा - चित्र देखें। वो नक्शा {{math|''S''}}[[त्रिविम प्रक्षेपण]] कहलाता है।
उत्तरी ध्रुव को छोड़कर, कर सकते हैं {{math|''N''}}, अंकों के साथ एक-से- आक्षेप में रखा जाए {{math|1=''S''(''P'') = ''P'''}} विमान पर {{math|''M''}} द्वारा परिभाषित {{math|1=''z'' = −{{sfrac|1|2}}}}, रेखा - चित्र देखें। वो नक्शा {{math|''S''}}[[त्रिविम प्रक्षेपण]] कहलाता है।


निर्देशांक चालू रखें {{mvar|M}} होना {{math|(''ξ'', ''η'')}}. रेखा {{math|''L''}} के माध्यम से गुजरते हुए {{math|''N''}} और {{math|''P''}} को इस प्रकार पैरामीट्रिज्ड किया जा सकता है
निर्देशांक चालू रखें {{mvar|M}} होना {{math|(''ξ'', ''η'')}}. रेखा {{math|''L''}} के माध्यम से गुजरते हुए {{math|''N''}} और {{math|''P''}} को इस प्रकार पैरामीट्रिज्ड किया जा सकता है
Line 120: Line 121:


:<math>\begin{cases} S^{-1}:M \to \mathbf{S} \\ P'= (\xi, \eta) \longmapsto P = (x,y,z) = \left(\frac{\xi}{1 + \xi^2 + \eta^2}, \frac{\eta}{1 + \xi^2 + \eta^2}, \frac{-1 + \xi^2 + \eta^2}{2 + 2\xi^2 + 2\eta^2}\right) \end{cases}</math>
:<math>\begin{cases} S^{-1}:M \to \mathbf{S} \\ P'= (\xi, \eta) \longmapsto P = (x,y,z) = \left(\frac{\xi}{1 + \xi^2 + \eta^2}, \frac{\eta}{1 + \xi^2 + \eta^2}, \frac{-1 + \xi^2 + \eta^2}{2 + 2\xi^2 + 2\eta^2}\right) \end{cases}</math>
अगर {{math|''g'' ∈ SO(3)}} एक रोटेशन है, तो इस पर अंक लगेंगे {{math|'''S'''}} बिंदुओं पर {{math|'''S'''}} अपनी मानक क्रिया द्वारा {{math|Π<sub>''s''</sub>(''g'')}}एम्बेडिंग स्थान पर <math>\R^3.</math> इस क्रिया को साथ बनाकर {{math|''S''}} व्यक्ति एक परिवर्तन प्राप्त करता है {{math|''S'' ∘ Π<sub>''s''</sub>(''g'') ∘ ''S''<sup>−1</sup>}} का {{mvar|M}},
अगर {{math|''g'' ∈ SO(3)}} रोटेशन है, तो इस पर अंक लगेंगे {{math|'''S'''}} बिंदुओं पर {{math|'''S'''}} अपनी मानक क्रिया द्वारा {{math|Π<sub>''s''</sub>(''g'')}}एम्बेडिंग समिष्ट पर <math>\R^3.</math> इस क्रिया को साथ बनाकर {{math|''S''}} व्यक्ति परिवर्तन प्राप्त करता है {{math|''S'' ∘ Π<sub>''s''</sub>(''g'') ∘ ''S''<sup>−1</sup>}} का {{mvar|M}},


:<math>\zeta=P' \longmapsto P \longmapsto \Pi_s(g)P = gP \longmapsto S(gP) \equiv \Pi_u(g)\zeta = \zeta'.</math>
:<math>\zeta=P' \longmapsto P \longmapsto \Pi_s(g)P = gP \longmapsto S(gP) \equiv \Pi_u(g)\zeta = \zeta'.</math>
इस प्रकार {{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|Π<sub>''u''</sub>(''g'') ∈ SU(2)}} (जहां मैट्रिक्स के परिवर्तन के लिए उसी नाम का उपयोग करने के लिए नोटेशन को पुनर्नवीनीकरण किया जाता है <math>\Complex</math> यह प्रस्तुत करता है)। इस मैट्रिक्स की पहचान करने के लिए, पहले एक रोटेशन पर विचार करें {{math|''g''<sub>''φ''</sub>}} के बारे में {{nowrap|{{math|''z''}}-axis}} एक कोण के माध्यम से {{mvar|''φ''}},
यह पता चला है कि {{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 135: Line 136:


:<math>\zeta' = \frac{x' + iy'}{\frac{1}{2} - z'} = \frac{e^{i\phi}(x + iy)}{\frac{1}{2} - z} = e^{i\phi}\zeta = \frac{e^{\frac{i\phi}{2}} \zeta + 0 }{0 \zeta + e^{-\frac{i\phi}{2}}},</math>
:<math>\zeta' = \frac{x' + iy'}{\frac{1}{2} - z'} = \frac{e^{i\phi}(x + iy)}{\frac{1}{2} - z} = e^{i\phi}\zeta = \frac{e^{\frac{i\phi}{2}} \zeta + 0 }{0 \zeta + e^{-\frac{i\phi}{2}}},</math>
जो, आश्चर्यजनक रूप से, जटिल तल में एक घूर्णन है। इसी प्रकार, यदि {{math|''g''<sub>''θ''</sub>}} के बारे में एक घूर्णन है {{nowrap|{{math|''x''}}-axis}} एक कोण के माध्यम से {{mvar|θ}}, तब
जो, आश्चर्यजनक रूप से, जटिल तल में घूर्णन है। इसी प्रकार, यदि {{math|''g''<sub>''θ''</sub>}} के बारे में घूर्णन है {{nowrap|{{math|''x''}}-axis}} कोण के माध्यम से {{mvar|θ}}, तब


:<math>w' = e^{i\theta}w, \quad w = \frac{y + iz}{\frac{1}{2} - x},</math>
:<math>w' = e^{i\theta}w, \quad w = \frac{y + iz}{\frac{1}{2} - x},</math>
Line 143: Line 144:
ये दो घुमाव, <math>g_{\phi}, g_{\theta},</math> इस प्रकार के [[द्विरेखीय परिवर्तन]]ों के अनुरूप है {{math|'''R'''<sup>2</sup> ≃ '''C''' ≃ ''M''}}, अर्थात्, वे मोबियस परिवर्तनों के उदाहरण हैं।
ये दो घुमाव, <math>g_{\phi}, g_{\theta},</math> इस प्रकार के [[द्विरेखीय परिवर्तन]]ों के अनुरूप है {{math|'''R'''<sup>2</sup> ≃ '''C''' ≃ ''M''}}, अर्थात्, वे मोबियस परिवर्तनों के उदाहरण हैं।


एक सामान्य मोबियस परिवर्तन द्वारा दिया गया है
सामान्य मोबियस परिवर्तन द्वारा दिया गया है


:<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>
Line 149: Line 150:


:<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''')}}.
इसी कारण से, गुणा के बाद से मैट्रिक्स को विशिष्ट रूप से परिभाषित नहीं किया गया है {{math|−''I''}} का निर्धारक या मोबियस परिवर्तन पर कोई प्रभाव नहीं पड़ता है। मोबियस परिवर्तनों का रचना नियम संबंधित आव्यूहों का अनुसरण करता है। निष्कर्ष यह है कि प्रत्येक मोबियस परिवर्तन दो मैट्रिक्स से मेल खाता है {{math|''g'', −''g'' ∈ SL(2, '''C''')}}.
Line 178: Line 179:
:<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  
:<math>\mathbf{g}_{\psi}\mathbf{g}_{\theta}\mathbf{g}_{\phi} = g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi}g_{\psi} \left [g_{\phi} g_{\theta} g_{\phi}^{-1} g_{\phi} \right ]^{-1} * g_{\phi}g_{\theta}g_{\phi}^{-1}* g_{\phi} = g_{\phi}g_{\theta}g_{\psi}.</math></ref> कोई एक सामान्य घुमाव ढूंढता है
:<math>\mathbf{g}_{\psi}\mathbf{g}_{\theta}\mathbf{g}_{\phi} = g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi}g_{\psi} \left [g_{\phi} g_{\theta} g_{\phi}^{-1} g_{\phi} \right ]^{-1} * g_{\phi}g_{\theta}g_{\phi}^{-1}* g_{\phi} = g_{\phi}g_{\theta}g_{\psi}.</math></ref> कोई सामान्य घुमाव ढूंढता है


{{NumBlk
{{NumBlk
Line 227: 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 236: 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>}} के आरएचएस के रूप में एक मैट्रिक्स के लिए ({{EquationNote|1}}) उसी के साथ {{math|''φ'', ''θ'', ''ψ''}}. जटिल मापदंडों के संदर्भ में {{math|''α'', ''β''}},
प्रतिस्थापन के साथ, {{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 259: Line 260:
\Pi_u(\pm g_{\alpha \beta}) \mapsto g_{\alpha \beta}
\Pi_u(\pm g_{\alpha \beta}) \mapsto g_{\alpha \beta}
\end{cases}</math>
\end{cases}</math>
अभी वर्णित एक सहज है, {{math|2:1}} और विशेषण [[समूह समरूपता]]। इसलिए यह [[सार्वभौमिक आवरण स्थान]] का एक स्पष्ट विवरण है {{math|SO(3)}} [[यूनिवर्सल कवरिंग ग्रुप]] से {{math|SU(2)}}.
अभी वर्णित सहज है, {{math|2:1}} और विशेषण [[समूह समरूपता]]। इसलिए यह [[सार्वभौमिक आवरण स्थान|सार्वभौमिक आवरण]] समिष्ट का स्पष्ट विवरण है {{math|SO(3)}} [[यूनिवर्सल कवरिंग ग्रुप]] से {{math|SU(2)}}.


==[[झूठ बीजगणित]]==
==[[झूठ बीजगणित]]==
प्रत्येक लाई समूह के साथ उसका लाई बीजगणित जुड़ा होता है, लाई समूह के समान आयाम का एक रैखिक स्थान, जो [[लेट ब्रैकेट]] नामक द्विरेखीय वैकल्पिक उत्पाद के तहत बंद होता है। का झूठ बीजगणित {{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|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> तब


:<math>\forall \boldsymbol{u} \in \R^3: \qquad \left. \frac{\operatorname{d}}{\operatorname{d}\phi} \right|_{\phi=0} R(\phi,\boldsymbol{n}) \boldsymbol{u} = \boldsymbol{n} \times \boldsymbol{u}.</math>
:<math>\forall \boldsymbol{u} \in \R^3: \qquad \left. \frac{\operatorname{d}}{\operatorname{d}\phi} \right|_{\phi=0} R(\phi,\boldsymbol{n}) \boldsymbol{u} = \boldsymbol{n} \times \boldsymbol{u}.</math>
इसका उपयोग यह दिखाने के लिए किया जा सकता है कि झूठ बीजगणित <math>\mathfrak{so}(3)</math> (कम्यूटेटर के साथ) लाई बीजगणित के समरूपी है <math>\R^3</math> (क्रॉस उत्पाद के साथ)। इस समरूपता के तहत, एक अक्ष-कोण प्रतिनिधित्व#रोटेशन वेक्टर <math>\boldsymbol{\omega}\in\R^3</math> रेखीय मानचित्र से मेल खाता है <math>\widetilde{\boldsymbol{\omega}}</math> द्वारा परिभाषित <math>\widetilde{\boldsymbol{\omega}}(\boldsymbol{u}) = \boldsymbol{\omega}\times\boldsymbol{u}.</math>
इसका उपयोग यह दिखाने के लिए किया जा सकता है कि झूठ बीजगणित <math>\mathfrak{so}(3)</math> (कम्यूटेटर के साथ) लाई बीजगणित के समरूपी है <math>\R^3</math> (क्रॉस उत्पाद के साथ)। इस समरूपता के तहत, अक्ष-कोण प्रतिनिधित्व#रोटेशन वेक्टर <math>\boldsymbol{\omega}\in\R^3</math> रेखीय मानचित्र से मेल खाता है <math>\widetilde{\boldsymbol{\omega}}</math> द्वारा परिभाषित <math>\widetilde{\boldsymbol{\omega}}(\boldsymbol{u}) = \boldsymbol{\omega}\times\boldsymbol{u}.</math>
अधिक विस्तार से, अक्सर के लिए एक उपयुक्त आधार <math>\mathfrak{so}(3)</math> के तौर पर {{nowrap|{{math|3}}-dimensional}} वेक्टर स्पेस है
अधिक विस्तार से, अधिकांशतः के लिए उपयुक्त आधार <math>\mathfrak{so}(3)</math> के तौर पर {{nowrap|{{math|3}}-dimensional}} वेक्टर समिष्ट है


:<math>
:<math>
Line 289: Line 290:


:<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>\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>
जहां बाईं ओर हमारे पास साधारण मैट्रिक्स गुणन है। यह संकेत करता है <math>\boldsymbol{u}</math> तिरछा-सममित मैट्रिक्स के शून्य समिष्ट में है जिसके साथ इसकी पहचान की जाती है, क्योंकि <math>\boldsymbol{u} \times \boldsymbol{u} = \boldsymbol{0}.</math>




===झूठ बीजगणित पर एक नोट===
===झूठ बीजगणित पर नोट===
{{Main|Angular momentum operator}}
{{Main|Angular momentum operator}}
{{see also|Representation theory of SU(2)|Jordan map}}
{{see also|Representation theory of SU(2)|Jordan map}}


बीजगणित अभ्यावेदन में, समूह SO(3) रैंक 1 का कॉम्पैक्ट और सरल है, और इसलिए इसमें एक एकल स्वतंत्र [[कासिमिर तत्व]] है, जो तीन जनरेटर का एक द्विघात अपरिवर्तनीय कार्य है जो उन सभी के साथ संचार करता है। रोटेशन समूह के लिए किलिंग फॉर्म सिर्फ [[ क्रोनकर डेल्टा ]] है, और इसलिए यह कासिमिर अपरिवर्तनीय केवल जेनरेटर के वर्गों का योग है, <math>\boldsymbol{J}_x, \boldsymbol{J}_y, \boldsymbol{J}_z,</math> बीजगणित का
बीजगणित अभ्यावेदन में, समूह SO(3) रैंक 1 का कॉम्पैक्ट और सरल है, और इसलिए इसमें एकल स्वतंत्र [[कासिमिर तत्व]] है, जो तीन जनरेटर का द्विघात अपरिवर्तनीय कार्य है जो उन सभी के साथ संचार करता है। रोटेशन समूह के लिए किलिंग फॉर्म सिर्फ [[ क्रोनकर डेल्टा |क्रोनकर डेल्टा]] है, और इसलिए यह कासिमिर अपरिवर्तनीय केवल जेनरेटर के वर्गों का योग है, <math>\boldsymbol{J}_x, \boldsymbol{J}_y, \boldsymbol{J}_z,</math> बीजगणित का
:<math>
:<math>
[\boldsymbol{J}_x, \boldsymbol{J}_y] = \boldsymbol{J}_z, \quad
[\boldsymbol{J}_x, \boldsymbol{J}_y] = \boldsymbol{J}_z, \quad
Line 313: Line 314:
तो, ऊपर प्रदर्शित 3 × 3 जनरेटर ''एल'' ट्रिपलेट (स्पिन 1) प्रतिनिधित्व पर कार्य करते हैं, जबकि नीचे 2 × 2 जनरेटर, ''टी'', स्पिनर (स्पिन-1/2) प्रतिनिधित्व पर कार्य करते हैं। . के [[क्रोनकर उत्पाद]] लेकर {{math|''D''<sup>1/2</sup>}} स्वयं के साथ बार-बार, कोई भी सभी उच्चतर अघुलनशील अभ्यावेदन का निर्माण कर सकता है {{mvar|D<sup>j</sup>}}. अर्थात्, मनमाने ढंग से बड़े के लिए, तीन स्थानिक आयामों में उच्च स्पिन सिस्टम के लिए परिणामी जनरेटर {{mvar|j}}, इन [[स्पिन ऑपरेटर]]ों और सीढ़ी ऑपरेटरों का उपयोग करके गणना की जा सकती है।
तो, ऊपर प्रदर्शित 3 × 3 जनरेटर ''एल'' ट्रिपलेट (स्पिन 1) प्रतिनिधित्व पर कार्य करते हैं, जबकि नीचे 2 × 2 जनरेटर, ''टी'', स्पिनर (स्पिन-1/2) प्रतिनिधित्व पर कार्य करते हैं। . के [[क्रोनकर उत्पाद]] लेकर {{math|''D''<sup>1/2</sup>}} स्वयं के साथ बार-बार, कोई भी सभी उच्चतर अघुलनशील अभ्यावेदन का निर्माण कर सकता है {{mvar|D<sup>j</sup>}}. अर्थात्, मनमाने ढंग से बड़े के लिए, तीन स्थानिक आयामों में उच्च स्पिन सिस्टम के लिए परिणामी जनरेटर {{mvar|j}}, इन [[स्पिन ऑपरेटर]]ों और सीढ़ी ऑपरेटरों का उपयोग करके गणना की जा सकती है।


प्रत्येक एकात्मक अघुलनशील अभ्यावेदन के लिए {{mvar|D<sup>j</sup>}} एक समतुल्य है, {{math|''D''<sup>−''j''−1</sup>}}. सभी
प्रत्येक एकात्मक अघुलनशील अभ्यावेदन के लिए {{mvar|D<sup>j</sup>}} समतुल्य है, {{math|''D''<sup>−''j''−1</sup>}}. सभी
अनंत-आयामी इरेड्यूसबल निरूपण गैर-एकात्मक होना चाहिए, क्योंकि समूह कॉम्पैक्ट है।
अनंत-आयामी इरेड्यूसबल निरूपण गैर-एकात्मक होना चाहिए, क्योंकि समूह कॉम्पैक्ट है।


Line 353: 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  
ध्यान दें, चूँकि, ये उपरोक्त की तुलना में समतुल्य, लेकिन भिन्न आधार, गोलाकार आधार#आधार मैट्रिक्स में परिवर्तन कैसे हैं {{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(
\begin{array}{ccc}
\begin{array}{ccc}
  -\frac{i}{\sqrt{2}} & 0 & \frac{i}{\sqrt{2}} \\
  -\frac{i}{\sqrt{2}} & 0 & \frac{i}{\sqrt{2}} \\
Line 420: Line 421:


=== समरूपता 𝖘𝖚(2) === के साथ
=== समरूपता 𝖘𝖚(2) === के साथ
झूठ बीजगणित <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>
पाउली मैट्रिसेस लाई बीजगणित के लिए भौतिकविदों के सम्मेलन का पालन करते हैं। उस सम्मेलन में, बीजगणित तत्वों को गुणा किया जाता है {{mvar|i}}, घातीय मानचित्र (नीचे) को एक अतिरिक्त कारक के साथ परिभाषित किया गया है {{mvar|i}} घातांक और संरचना में स्थिरांक समान रहते हैं, लेकिन उनकी परिभाषा का एक कारक प्राप्त होता है {{mvar|i}}. इसी तरह, कम्यूटेशन संबंध का एक कारक प्राप्त होता है {{mvar|i}}. के लिए रूपान्तरण संबंध <math>\boldsymbol{t}_i</math> हैं
पाउली मैट्रिसेस लाई बीजगणित के लिए भौतिकविदों के सम्मेलन का पालन करते हैं। उस सम्मेलन में, बीजगणित तत्वों को गुणा किया जाता है {{mvar|i}}, घातीय मानचित्र (नीचे) को अतिरिक्त कारक के साथ परिभाषित किया गया है {{mvar|i}} घातांक और संरचना में स्थिरांक समान रहते हैं, लेकिन उनकी परिभाषा का कारक प्राप्त होता है {{mvar|i}}. इसी तरह, कम्यूटेशन संबंध का कारक प्राप्त होता है {{mvar|i}}. के लिए रूपान्तरण संबंध <math>\boldsymbol{t}_i</math> हैं


:<math>[\boldsymbol{t}_i, \boldsymbol{t}_j] = \varepsilon_{ijk}\boldsymbol{t}_k,</math>
:<math>[\boldsymbol{t}_i, \boldsymbol{t}_j] = \varepsilon_{ijk}\boldsymbol{t}_k,</math>
Line 434: Line 435:


==घातांकीय मानचित्र==
==घातांकीय मानचित्र==
के लिए घातीय मानचित्र {{math|SO(3)}}, है, चूँकि {{math|SO(3)}} एक मैट्रिक्स झूठ समूह है, जिसे मानक मैट्रिक्स घातीय श्रृंखला का उपयोग करके परिभाषित किया गया है,
के लिए घातीय मानचित्र {{math|SO(3)}}, है, चूँकि {{math|SO(3)}} मैट्रिक्स झूठ समूह है, जिसे मानक मैट्रिक्स घातीय श्रृंखला का उपयोग करके परिभाषित किया गया है,


:<math>\begin{cases}
:<math>\begin{cases}
Line 449: Line 450:


:<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>
किस मामले में यह तुच्छ है. {{harvtxt|Rossmann|2002}} एक परिभाषा के लिए चिकनी वक्र खंडों के डेरिवेटिव का उपयोग करता है {{math|SO(3)}}पहचान पर ली गई पहचान के माध्यम से, जिस स्थिति में यह कठिन है।<ref>See {{harvnb|Rossmann|2002}}, theorem 3, section 2.2.</ref>
किस मामले में यह तुच्छ है. {{harvtxt|Rossmann|2002}} परिभाषा के लिए चिकनी वक्र खंडों के डेरिवेटिव का उपयोग करता है {{math|SO(3)}}पहचान पर ली गई पहचान के माध्यम से, जिस स्थिति में यह कठिन है।<ref>See {{harvnb|Rossmann|2002}}, theorem 3, section 2.2.</ref>
एक निश्चित के लिए {{math|''A'' ≠ 0}}, {{math|''e<sup>tA</sup>'', −∞ < ''t'' < ∞}} एक [[जियोडेसिक]] के साथ [[एक-पैरामीटर उपसमूह]] है {{math|SO(3)}}. यह एक-पैरामीटर उपसमूह देता है जो घातीय मानचित्र के गुणों से सीधे अनुसरण करता है।<ref>{{harvnb|Rossmann|2002}} Section 1.1.</ref>
निश्चित के लिए {{math|''A'' ≠ 0}}, {{math|''e<sup>tA</sup>'', −∞ < ''t'' < ∞}} [[जियोडेसिक]] के साथ [[एक-पैरामीटर उपसमूह]] है {{math|SO(3)}}. यह एक-पैरामीटर उपसमूह देता है जो घातीय मानचित्र के गुणों से सीधे अनुसरण करता है।<ref>{{harvnb|Rossmann|2002}} Section 1.1.</ref>
घातीय मानचित्र मूल के पड़ोस के बीच एक भिन्नता प्रदान करता है {{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 464: 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|''O''}}, साथ {{math|'''u'''}} के रूप में {{mvar|z}} अक्ष, नए आधार में रोटेशन मैट्रिक्स का अंतिम स्तंभ और पंक्ति शून्य होगी।
जैसा कि ऊपर दिखाया गया है, प्रत्येक तत्व {{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) तक


:<math>\begin{align}
:<math>\begin{align}
Line 479: 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|'''''u'''''}} कोण से {{mvar|θ}}: सीएफ. रोड्रिग्स का घूर्णन सूत्र.
कहाँ <math display="inline">c = \cos\frac{\theta}{2}</math> और <math display="inline">s = \sin\frac{\theta}{2}</math>. इसे अक्ष के चारों ओर घूमने के लिए मैट्रिक्स के रूप में पहचाना जाता है {{math|'''''u'''''}} कोण से {{mvar|θ}}: सीएफ. रोड्रिग्स का घूर्णन सूत्र.


== लघुगणक मानचित्र ==
== लघुगणक मानचित्र ==
Line 493: Line 494:
<math>SO(3)</math> इकाई चतुर्भुजों के समूह द्वारा दोगुना आच्छादित है, जो 3-गोले के समरूपी है। चूंकि इकाई चतुर्भुज पर हार माप 4 आयामों में केवल 3-क्षेत्र माप है, इसलिए हार माप पर <math>SO(3)</math> यह 3-क्षेत्रीय माप को आगे बढ़ाने वाला मात्र है।
<math>SO(3)</math> इकाई चतुर्भुजों के समूह द्वारा दोगुना आच्छादित है, जो 3-गोले के समरूपी है। चूंकि इकाई चतुर्भुज पर हार माप 4 आयामों में केवल 3-क्षेत्र माप है, इसलिए हार माप पर <math>SO(3)</math> यह 3-क्षेत्रीय माप को आगे बढ़ाने वाला मात्र है।


परिणामस्वरूप, एक समान रूप से यादृच्छिक घूर्णन उत्पन्न होता है <math>\R^3</math> 3-गोले पर एक समान रूप से यादृच्छिक बिंदु उत्पन्न करने के बराबर है। इसे निम्नलिखित द्वारा पूरा किया जा सकता है<math display="block">(\sqrt{1-u_1}\sin(2\pi u_2), \sqrt{1-u_1}\cos(2\pi u_2), \sqrt{u_1}\sin(2\pi u_3), \sqrt{u_1}\cos(2\pi u_3))</math>
परिणामस्वरूप, समान रूप से यादृच्छिक घूर्णन उत्पन्न होता है <math>\R^3</math> 3-गोले पर समान रूप से यादृच्छिक बिंदु उत्पन्न करने के बराबर है। इसे निम्नलिखित द्वारा पूरा किया जा सकता है<math display="block">(\sqrt{1-u_1}\sin(2\pi u_2), \sqrt{1-u_1}\cos(2\pi u_2), \sqrt{u_1}\sin(2\pi u_3), \sqrt{u_1}\cos(2\pi u_3))</math>
कहाँ <math>u_1, u_2, u_3</math> के समान रूप से यादृच्छिक नमूने हैं <math>[0, 1]</math>.<ref>{{Citation |last=Shoemake |first=Ken |title=III.6 - Uniform Random Rotations |date=1992-01-01 |url=https://www.sciencedirect.com/science/article/pii/B9780080507552500361 |work=Graphics Gems III (IBM Version) |pages=124–132 |editor-last=Kirk |editor-first=DAVID |place=San Francisco |publisher=Morgan Kaufmann |language=en |isbn=978-0-12-409673-8 |access-date=2022-07-29}}</ref>
कहाँ <math>u_1, u_2, u_3</math> के समान रूप से यादृच्छिक नमूने हैं <math>[0, 1]</math>.<ref>{{Citation |last=Shoemake |first=Ken |title=III.6 - Uniform Random Rotations |date=1992-01-01 |url=https://www.sciencedirect.com/science/article/pii/B9780080507552500361 |work=Graphics Gems III (IBM Version) |pages=124–132 |editor-last=Kirk |editor-first=DAVID |place=San Francisco |publisher=Morgan Kaufmann |language=en |isbn=978-0-12-409673-8 |access-date=2022-07-29}}</ref>


Line 499: Line 500:
== बेकर-कैंपबेल-हॉसडॉर्फ सूत्र ==
== बेकर-कैंपबेल-हॉसडॉर्फ सूत्र ==
{{main|Baker–Campbell–Hausdorff formula}}
{{main|Baker–Campbell–Hausdorff formula}}
कल्पना करना {{mvar|X}} और {{mvar|Y}} लाई बीजगणित में दिया गया है। उनके घातांक, {{math|exp(''X'')}} और {{math|exp(''Y'')}}, रोटेशन मैट्रिक्स हैं, जिन्हें गुणा किया जा सकता है। चूँकि घातीय मानचित्र कुछ लोगों के लिए एक अनुमान है {{mvar|Z}} झूठ बीजगणित में, {{math|1=exp(''Z'') = exp(''X'') 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.&nbsp;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>
सामान्य मामला अधिक विस्तृत [[बीसीएच सूत्र]] द्वारा दिया गया है, जो नेस्टेड लाई ब्रैकेट्स का श्रृंखला विस्तार है।<ref>{{Harvnb|Hall|2003|loc=Ch.&nbsp;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)}} संक्षिप्त रूप में कम हो जाता है,


:<math>Z = \alpha X + \beta Y + \gamma[X, Y],</math>
:<math>Z = \alpha X + \beta Y + \gamma[X, Y],</math>
उपयुक्त त्रिकोणमितीय फ़ंक्शन गुणांक के लिए {{math|(''α'', ''β'', ''γ'')}}.
उपयुक्त त्रिकोणमितीय फलन गुणांक के लिए {{math|(''α'', ''β'', ''γ'')}}.
{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=The trigonometric coefficients}} वह {{math|(''α'', ''β'', ''γ'')}} द्वारा दिए गए हैं
{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=The trigonometric coefficients}} वह {{math|(''α'', ''β'', ''γ'')}} द्वारा दिए गए हैं
:<math>\alpha = \phi \cot\left(\frac{\phi}{2}\right) \gamma, \qquad \beta = \theta \cot\left(\frac{\theta}{2}\right)\gamma, \qquad \gamma = \frac{\sin^{-1}d}{d}\frac{c}{\theta \phi},</math>
:<math>\alpha = \phi \cot\left(\frac{\phi}{2}\right) \gamma, \qquad \beta = \theta \cot\left(\frac{\theta}{2}\right)\gamma, \qquad \gamma = \frac{\sin^{-1}d}{d}\frac{c}{\theta \phi},</math>
Line 530: Line 531:


:<math>\alpha X + \beta Y + \gamma[X, Y]\underset{\mathfrak{so}(3)}{=} X + Y + \frac{1}{2} [X, Y] + \frac{1}{12} [X, [X, Y]] - \frac{1}{12} [Y, [X, Y]] + \cdots,</math>
:<math>\alpha X + \beta Y + \gamma[X, Y]\underset{\mathfrak{so}(3)}{=} X + Y + \frac{1}{2} [X, Y] + \frac{1}{12} [X, [X, Y]] - \frac{1}{12} [Y, [X, Y]] + \cdots,</math>
इस बात पर जोर देने के लिए कि यह एक झूठ बीजगणित पहचान है।
इस बात पर जोर देने के लिए कि यह झूठ बीजगणित पहचान है।


उपरोक्त पहचान सभी वफादार अभ्यावेदन के लिए है {{math|𝖘𝖔(3)}}. ली बीजगणित समरूपता का कर्नेल (बीजगणित) एक आदर्श (ली बीजगणित) है, लेकिन {{math|𝖘𝖔(3)}}, [[सरल (अमूर्त बीजगणित)]] होने के कारण, इसका कोई गैर-तुच्छ आदर्श नहीं है और इसलिए सभी गैर-तुच्छ निरूपण वफादार हैं। यह विशेष रूप से दोहरे या स्पिनर प्रतिनिधित्व में निहित है। इस प्रकार वही स्पष्ट सूत्र पाउली मैट्रिसेस, सीएफ के माध्यम से सरल तरीके से अनुसरण करता है। पाउली मैट्रिसेस#पाउली वेक्टर का घातांक|एसयू(2) के लिए 2×2 व्युत्पत्ति।
उपरोक्त पहचान सभी वफादार अभ्यावेदन के लिए है {{math|𝖘𝖔(3)}}. ली बीजगणित समरूपता का कर्नेल (बीजगणित) आदर्श (ली बीजगणित) है, लेकिन {{math|𝖘𝖔(3)}}, [[सरल (अमूर्त बीजगणित)]] होने के कारण, इसका कोई गैर-तुच्छ आदर्श नहीं है और इसलिए सभी गैर-तुच्छ निरूपण वफादार हैं। यह विशेष रूप से दोहरे या स्पिनर प्रतिनिधित्व में निहित है। इस प्रकार वही स्पष्ट सूत्र पाउली मैट्रिसेस, सीएफ के माध्यम से सरल तरीके से अनुसरण करता है। पाउली मैट्रिसेस#पाउली वेक्टर का घातांक|एसयू(2) के लिए 2×2 व्युत्पत्ति।


{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=The SU(2) case}}
{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=The SU(2) case}}
Line 628: Line 629:
{{See also|Representation of a Lie group#An example: The rotation group SO.283.29{{!}}Representations of SO(3)}}
{{See also|Representation of a Lie group#An example: The rotation group SO.283.29{{!}}Representations of SO(3)}}


समूह {{math|SO(3)}} त्रि-आयामी यूक्लिडियन घुमावों का हिल्बर्ट अंतरिक्ष पर अनंत-आयामी प्रतिनिधित्व है
समूह {{math|SO(3)}} त्रि-आयामी यूक्लिडियन घुमावों का हिल्बर्ट समिष्ट पर अनंत-आयामी प्रतिनिधित्व है


:<math>L^2\left(\mathbf{S}^2\right) = \operatorname{span} \left\{ Y^\ell_m, \ell \in \N^+, -\ell \leq m \leq \ell \right\}, </math>
:<math>L^2\left(\mathbf{S}^2\right) = \operatorname{span} \left\{ Y^\ell_m, \ell \in \N^+, -\ell \leq m \leq \ell \right\}, </math>
कहाँ <math>Y^\ell_m</math> [[गोलाकार हार्मोनिक्स]] हैं. इसके तत्व वर्गाकार पूर्णांक जटिल-मूल्यवान फलन हैं<ref group=nb>The elements of {{math|''L''<sup>2</sup>('''S'''<sup>2</sup>)}} 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.</ref> गोले पर. इस स्थान पर आंतरिक उत्पाद द्वारा दिया गया है
कहाँ <math>Y^\ell_m</math> [[गोलाकार हार्मोनिक्स]] हैं. इसके तत्व वर्गाकार पूर्णांक जटिल-मूल्यवान फलन हैं<ref group=nb>The elements of {{math|''L''<sup>2</sup>('''S'''<sup>2</sup>)}} 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.</ref> गोले पर. इस समिष्ट पर आंतरिक उत्पाद द्वारा दिया गया है


{{NumBlk|:|<math>\langle f,g\rangle = \int_{\mathbf{S}^2}\overline{f}g\,d\Omega = \int_0^{2\pi} \int_0^\pi \overline{f}g \sin\theta \, d\theta \, d\phi.</math>|{{EquationRef|H1|H1}}}}
{{NumBlk|:|<math>\langle f,g\rangle = \int_{\mathbf{S}^2}\overline{f}g\,d\Omega = \int_0^{2\pi} \int_0^\pi \overline{f}g \sin\theta \, d\theta \, d\phi.</math>|{{EquationRef|H1|H1}}}}


अगर {{mvar|f}} इकाई क्षेत्र पर परिभाषित एक मनमाना वर्ग पूर्णांक फ़ंक्शन है {{math|'''S'''<sup>2</sup>}}, तो इसे इस प्रकार व्यक्त किया जा सकता है<ref name="Gelfand_M_S">{{harvnb|Gelfand|Minlos|Shapiro|1963}}</ref>
अगर {{mvar|f}} इकाई क्षेत्र पर परिभाषित मनमाना वर्ग पूर्णांक फलन है {{math|'''S'''<sup>2</sup>}}, तो इसे इस प्रकार व्यक्त किया जा सकता है<ref name="Gelfand_M_S">{{harvnb|Gelfand|Minlos|Shapiro|1963}}</ref>


{{NumBlk|:|<math>|f\rangle = \sum_{\ell = 1}^\infty\sum_{m = -\ell}^{m = \ell} \left|Y_m^\ell\right\rangle\left\langle Y_m^\ell|f\right\rangle, \qquad f(\theta, \phi) = \sum_{\ell = 1}^\infty\sum_{m = -\ell}^{m = \ell} f_{\ell m} Y^\ell_m(\theta, \phi),</math>|{{EquationRef|H2|H2}}}}
{{NumBlk|:|<math>|f\rangle = \sum_{\ell = 1}^\infty\sum_{m = -\ell}^{m = \ell} \left|Y_m^\ell\right\rangle\left\langle Y_m^\ell|f\right\rangle, \qquad f(\theta, \phi) = \sum_{\ell = 1}^\infty\sum_{m = -\ell}^{m = \ell} f_{\ell m} Y^\ell_m(\theta, \phi),</math>|{{EquationRef|H2|H2}}}}
Line 649: Line 650:
यह क्रिया एकात्मक अर्थात् एकात्मक है
यह क्रिया एकात्मक अर्थात् एकात्मक है


{{NumBlk|:|<math>\langle \Pi(R)f,\Pi(R)g\rangle = \langle f,g \rangle \qquad \forall f,g \in \mathbf{S}^2, \quad \forall R \in \operatorname{SO}(3).</math>|{{EquationRef|H5|H5}}}} वह {{math|''D''<sup>(''ℓ'')</sup>}} से प्राप्त किया जा सकता है {{math|''D''<sup>(''m'', ''n'')</sup>}} उपरोक्त में से क्लेबश-गॉर्डन गुणांक|क्लेबश-गॉर्डन अपघटन का उपयोग करते हुए, लेकिन उन्हें एक विषम-आयामी के घातांक के रूप में अधिक आसानी से सीधे व्यक्त किया जाता है {{math|'''su'''(2)}}-प्रस्तुति (त्रि-आयामी एक बिल्कुल है {{math|𝖘𝖔(3)}}).<ref>In ''Quantum Mechanics – non-relativistic theory'' by [[Course of Theoretical Physics|Landau and Lifshitz]] the lowest order {{math|''D''}} are calculated analytically.</ref><ref>{{harvnb|Curtright|Fairlie|Zachos|2014}} A formula for {{math|''D''<sup>(''ℓ'')</sup>}} valid for all ''ℓ'' is given.</ref> इस मामले में अंतरिक्ष {{math|''L''<sup>2</sup>('''S'''<sup>2</sup>)}} अघुलनशील विषम परिमित-आयामी निरूपणों के अनंत प्रत्यक्ष योग में बड़े करीने से विघटित हो जाता है {{math|1=''V''<sub>2''i'' + 1</sub>, ''i'' = 0, 1, ...}} के अनुसार<ref>{{harvnb|Hall|2003}} Section 4.3.5.</ref>
{{NumBlk|:|<math>\langle \Pi(R)f,\Pi(R)g\rangle = \langle f,g \rangle \qquad \forall f,g \in \mathbf{S}^2, \quad \forall R \in \operatorname{SO}(3).</math>|{{EquationRef|H5|H5}}}} वह {{math|''D''<sup>(''ℓ'')</sup>}} से प्राप्त किया जा सकता है {{math|''D''<sup>(''m'', ''n'')</sup>}} उपरोक्त में से क्लेबश-गॉर्डन गुणांक|क्लेबश-गॉर्डन अपघटन का उपयोग करते हुए, लेकिन उन्हें विषम-आयामी के घातांक के रूप में अधिक आसानी से सीधे व्यक्त किया जाता है {{math|'''su'''(2)}}-प्रस्तुति (त्रि-आयामी बिल्कुल है {{math|𝖘𝖔(3)}}).<ref>In ''Quantum Mechanics – non-relativistic theory'' by [[Course of Theoretical Physics|Landau and Lifshitz]] the lowest order {{math|''D''}} are calculated analytically.</ref><ref>{{harvnb|Curtright|Fairlie|Zachos|2014}} A formula for {{math|''D''<sup>(''ℓ'')</sup>}} valid for all ''ℓ'' is given.</ref> इस मामले में समिष्ट {{math|''L''<sup>2</sup>('''S'''<sup>2</sup>)}} अघुलनशील विषम परिमित-आयामी निरूपणों के अनंत प्रत्यक्ष योग में बड़े करीने से विघटित हो जाता है {{math|1=''V''<sub>2''i'' + 1</sub>, ''i'' = 0, 1, ...}} के अनुसार<ref>{{harvnb|Hall|2003}} Section 4.3.5.</ref>


{{NumBlk|:|<math>L^2\left(\mathbf{S}^2\right) = \sum_{i = 0}^\infty V_{2i + 1} \equiv \bigoplus_{i=0}^\infty \operatorname{span}\left\{Y_m^{2i+1}\right\}.</math>|{{EquationRef|H6|H6}}}}
{{NumBlk|:|<math>L^2\left(\mathbf{S}^2\right) = \sum_{i = 0}^\infty V_{2i + 1} \equiv \bigoplus_{i=0}^\infty \operatorname{span}\left\{Y_m^{2i+1}\right\}.</math>|{{EquationRef|H6|H6}}}}


यह अनंत-आयामी एकात्मक निरूपण की विशेषता है {{math|SO(3)}}. अगर {{mvar|Π}} एक वियोज्य स्थान पर एक अनंत-आयामी एकात्मक प्रतिनिधित्व है<ref group=nb>A Hilbert space is separable if and only if it has a countable basis. All separable Hilbert spaces are isomorphic.</ref> हिल्बर्ट स्पेस, फिर यह परिमित-आयामी एकात्मक प्रतिनिधित्व के प्रत्यक्ष योग के रूप में विघटित होता है।<ref name=Gelfand_M_S/>इस प्रकार ऐसा प्रतिनिधित्व कभी भी अप्रासंगिक नहीं होता है। सभी अपरिवर्तनीय परिमित-आयामी निरूपण {{math|(Π, ''V'')}}आंतरिक उत्पाद के उचित चयन द्वारा एकात्मक बनाया जा सकता है,<ref name=Gelfand_M_S/>
यह अनंत-आयामी एकात्मक निरूपण की विशेषता है {{math|SO(3)}}. अगर {{mvar|Π}} वियोज्य समिष्ट पर अनंत-आयामी एकात्मक प्रतिनिधित्व है<ref group=nb>A Hilbert space is separable if and only if it has a countable basis. All separable Hilbert spaces are isomorphic.</ref> हिल्बर्ट स्पेस, फिर यह परिमित-आयामी एकात्मक प्रतिनिधित्व के प्रत्यक्ष योग के रूप में विघटित होता है।<ref name=Gelfand_M_S/>इस प्रकार ऐसा प्रतिनिधित्व कभी भी अप्रासंगिक नहीं होता है। सभी अपरिवर्तनीय परिमित-आयामी निरूपण {{math|(Π, ''V'')}}आंतरिक उत्पाद के उचित चयन द्वारा एकात्मक बनाया जा सकता है,<ref name=Gelfand_M_S/>


:<math>\langle f, g\rangle_U \equiv \int_{\operatorname{SO}(3)} \langle\Pi(R)f, \Pi(R)g\rangle \, dg = \frac{1}{8\pi^2} \int_0^{2\pi} \int_0^\pi \int_0^{2\pi} \langle \Pi(R)f, \Pi(R)g\rangle \sin \theta \, d\phi \, d\theta \, d\psi, \quad f,g \in V,</math>
:<math>\langle f, g\rangle_U \equiv \int_{\operatorname{SO}(3)} \langle\Pi(R)f, \Pi(R)g\rangle \, dg = \frac{1}{8\pi^2} \int_0^{2\pi} \int_0^\pi \int_0^{2\pi} \langle \Pi(R)f, \Pi(R)g\rangle \sin \theta \, d\phi \, d\theta \, d\psi, \quad f,g \in V,</math>
Line 659: Line 660:


==सामान्यीकरण==
==सामान्यीकरण==
घूर्णन समूह काफी स्वाभाविक रूप से एन-आयामी यूक्लिडियन अंतरिक्ष का सामान्यीकरण करता है, <math>\R^n</math> इसकी मानक यूक्लिडियन संरचना के साथ। n आयामों में सभी उचित और अनुचित घुमावों के समूह को ऑर्थोगोनल समूह O(n) कहा जाता है, और उचित घुमावों के उपसमूह को विशेष ऑर्थोगोनल समूह SO(n) कहा जाता है, जो आयाम का एक झूठ समूह है {{nowrap|''n''(''n'' − 1)/2}}.
घूर्णन समूह बहुत स्वाभाविक रूप से एन-आयामी यूक्लिडियन समिष्ट <math>\R^n</math>की मानक यूक्लिडीयन संरचना के साथ होता है। n आयामों में सभी उचित और अनुचित घुमावों के समूह को "ऑर्थोगोनल समूह" O(n) कहा जाता है, और उचित घुमावों के उपसमूह को विशेष ऑर्थोगोनल समूह SO(n) कहा जाता है, जो {{nowrap|''n''(''n'' − 1)/2}} आयाम का झूठ समूह है।


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


घूर्णन समूह SO(3) को SE(3)|E के उपसमूह के रूप में वर्णित किया जा सकता है<sup>+</sup>(3), [[यूक्लिडियन समूह]] का यूक्लिडियन समूह#यूक्लिडियन की प्रत्यक्ष और अप्रत्यक्ष आइसोमेट्री <math>\R^3.</math> यह बड़ा समूह एक कठोर पिंड की सभी गतियों का समूह है: इनमें से प्रत्येक एक मनमाना अक्ष के चारों ओर घूमने और एक अनुवाद का संयोजन है, या अलग तरीके से कहें तो SO(3) के एक तत्व और एक मनमाना अनुवाद का संयोजन है।
घूर्णन समूह SO(3) को SE(3)|E के उपसमूह के रूप में वर्णित किया जा सकता है<sup>+</sup>(3), [[यूक्लिडियन समूह]] का यूक्लिडियन समूह#यूक्लिडियन की प्रत्यक्ष और अप्रत्यक्ष आइसोमेट्री <math>\R^3.</math> यह बड़ा समूह कठोर पिंड की सभी गतियों का समूह है: इनमें से प्रत्येक मनमाना अक्ष के चारों ओर घूमने और अनुवाद का संयोजन है, या अलग तरीके से कहें तो SO(3) के तत्व और मनमाना अनुवाद का संयोजन है।


सामान्य तौर पर, किसी वस्तु का घूर्णन समूह प्रत्यक्ष आइसोमेट्रीज़ के समूह के भीतर [[समरूपता समूह]] होता है; दूसरे शब्दों में, पूर्ण समरूपता समूह और प्रत्यक्ष आइसोमेट्री के समूह का प्रतिच्छेदन। [[चिरैलिटी (गणित)]] वस्तुओं के लिए यह पूर्ण समरूपता समूह के समान है।
सामान्य तौर पर, किसी वस्तु का घूर्णन समूह प्रत्यक्ष आइसोमेट्रीज़ के समूह के भीतर [[समरूपता समूह]] होता है; दूसरे शब्दों में, पूर्ण समरूपता समूह और प्रत्यक्ष आइसोमेट्री के समूह का प्रतिच्छेदन। [[चिरैलिटी (गणित)]] वस्तुओं के लिए यह पूर्ण समरूपता समूह के समान है।
Line 693: Line 694:
== संदर्भ ==
== संदर्भ ==
{{reflist|30em}}
{{reflist|30em}}


==ग्रन्थसूची==
==ग्रन्थसूची==

Revision as of 16:53, 23 November 2023

शास्त्रीय यांत्रिकी और ज्यामिति में, 3 डी रोटेशन समूह, जिसे अधिकांशतः विशेष ऑर्थोगोनल समूह (3) कहा जाता है, त्रि-आयामी समिष्ट की उत्पत्ति (गणित) के बारे में सभी घुमावों का समूह (गणित) है | त्रि-आयामी यूक्लिडियन समिष्ट फलन संरचना के संचालन के तहत.[1]

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

प्रत्येक गैर-तुच्छ घूर्णन उसके घूर्णन अक्ष (मूल बिंदु से होकर जाने वाली रेखा) और उसके घूर्णन कोण द्वारा निर्धारित होता है। घूर्णन क्रमविनिमेय नहीं हैं (उदाहरण के लिए, x-y तल में R 90° और उसके बाद y-z तल में S 90° घूमना, S के बाद R के समान नहीं है), जिससे 3D घूर्णन समूह गैर-एबेलियन समूह बन जाता है। इसके अलावा, रोटेशन समूह में प्राकृतिक संरचना होती है जिसके लिए समूह संचालन सुचारू कार्य होता है, इसलिए यह वास्तव में झूठ समूह है। यह सघन समिष्ट है और इसका आयाम 3 है।

घूर्णन रैखिक परिवर्तन हैं और इसलिए इसे वेक्टर समष्टि के आधार पर बार मैट्रिक्स (गणित) द्वारा दर्शाया जा सकता है चुना गया है। विशेष रूप से, यदि हम लम्बवत आधार चुनते हैं , प्रत्येक रोटेशन को ऑर्थोगोनल मैट्रिक्स द्वारा वर्णित किया गया है | ऑर्थोगोनल 3 × 3 मैट्रिक्स (यानी, वास्तविक प्रविष्टियों के साथ 3 × 3 मैट्रिक्स, जो इसके स्थानान्तरण से गुणा होने पर, पहचान मैट्रिक्स में परिणत होता है) निर्धारक 1 के साथ। समूह SO(3) इसलिए मैट्रिक्स गुणन के तहत इन मैट्रिक्स के समूह के साथ पहचाना जा सकता है। इन आव्यूहों को विशेष ऑर्थोगोनल आव्यूह के रूप में जाना जाता है, जो संकेतन 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]

तक सीमित कहाँ , , , और , .

आइये अब पहचानते हैं के विस्तार के साथ . इसके बाद कोई इसे सत्यापित कर सकता है में है और तो फिर, इकाई चतुर्भुज है

इसके अलावा, मानचित्र का चक्र है इसके अतिरिक्त, वैसा ही है जैसा कि . इसका मतलब यह है कि वहाँ है 2:1 इकाई मानदंड के चतुर्भुज से 3डी रोटेशन समूह तक समरूपता SO(3).

कोई इस समरूपता को स्पष्ट रूप से कार्यान्वित कर सकता है: इकाई चतुर्भुज, q, साथ

रोटेशन मैट्रिक्स में मैप किया गया है
यह वेक्टर के चारों ओर घूर्णन है (x, y, z) कोण से 2θ, कहाँ cos θ = w और |sin θ| = ||(x, y, z)||. के लिए उचित संकेत sin θ निहित है, बार अक्ष घटकों के संकेत तय हो गए हैं। वह 2:1-nature दोनों से स्पष्ट है q और q उसी के लिए मानचित्र Q.

मोबियस परिवर्तनों का उपयोग करना

त्रिज्या के गोले से त्रिविम प्रक्षेपण 1/2उत्तरी ध्रुव से (x, y, z) = (0, 0, 1/2) विमान पर M द्वारा दिए गए z = −1/2 द्वारा समन्वित किया गया (ξ, η), यहां क्रॉस सेक्शन में दिखाया गया है।

इस अनुभाग के लिए सामान्य संदर्भ है 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 कोण के माध्यम से θ, तब

जो, थोड़ा बीजगणित के बाद, बन जाता है

ये दो घुमाव, इस प्रकार के द्विरेखीय परिवर्तनों के अनुरूप है R2CM, अर्थात्, वे मोबियस परिवर्तनों के उदाहरण हैं।

सामान्य मोबियस परिवर्तन द्वारा दिया गया है

घूर्णन, सभी उत्पन्न करें 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] = A1A2A2A1, जो फिर से तिरछा-सममित मैट्रिक्स है। लाई बीजगणित ब्रैकेट बेकर-कैंपबेल-हॉसडॉर्फ सूत्र द्वारा सटीक किए गए अर्थ में लाई समूह उत्पाद के सार को पकड़ता है।

के तत्व घूर्णन के अनंत लघु जनक हैं, यानी, वे पहचान तत्व पर मैनिफोल्ड 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 समतुल्य है, Dj−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-गोले पर समान रूप से यादृच्छिक बिंदु उत्पन्न करने के बराबर है। इसे निम्नलिखित द्वारा पूरा किया जा सकता है

कहाँ के समान रूप से यादृच्छिक नमूने हैं .[14]


बेकर-कैंपबेल-हॉसडॉर्फ सूत्र

कल्पना करना 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) संक्षिप्त रूप में कम हो जाता है,

उपयुक्त त्रिकोणमितीय फलन गुणांक के लिए (α, β, γ).

The trigonometric coefficients
वह (α, β, γ) द्वारा दिए गए हैं

कहाँ

के लिए

आंतरिक उत्पाद हिल्बर्ट-श्मिट आंतरिक उत्पाद है और मानदंड संबद्ध मानदंड है। टोपी-समरूपता के तहत,

जो इसके कारकों की व्याख्या करता है θ और φ. यह कोण के व्यंजक में समाप्त हो जाता है।

इस मिश्रित घूर्णन जनरेटर को इस प्रकार लिखना सार्थक है

इस बात पर जोर देने के लिए कि यह झूठ बीजगणित पहचान है।

उपरोक्त पहचान सभी वफादार अभ्यावेदन के लिए है 𝖘𝖔(3). ली बीजगणित समरूपता का कर्नेल (बीजगणित) आदर्श (ली बीजगणित) है, लेकिन 𝖘𝖔(3), सरल (अमूर्त बीजगणित) होने के कारण, इसका कोई गैर-तुच्छ आदर्श नहीं है और इसलिए सभी गैर-तुच्छ निरूपण वफादार हैं। यह विशेष रूप से दोहरे या स्पिनर प्रतिनिधित्व में निहित है। इस प्रकार वही स्पष्ट सूत्र पाउली मैट्रिसेस, सीएफ के माध्यम से सरल तरीके से अनुसरण करता है। पाउली मैट्रिसेस#पाउली वेक्टर का घातांक|एसयू(2) के लिए 2×2 व्युत्पत्ति।

The SU(2) case

समान BCH सूत्र के पाउली वेक्टर का पाउली मैट्रिसेस#एक्सपोनेंशियल, SU(2) का कुछ हद तक सरल समूह संरचना नियम है,

कहाँ

कोज्या का गोलाकार नियम. (टिप्पणी a', b', c' कोण हैं, नहीं a, b, c ऊपर।)

यह स्पष्ट रूप से ऊपर बताए गए प्रारूप जैसा ही है,

साथ

ताकि

शामिल लाई बीजगणित में जनरेटर के एक समान सामान्यीकरण के लिए, पाउली मैट्रिक्स को के संदर्भ में व्यक्त करें t-मैट्रिसेस, σ → 2i t, ताकि

यह सत्यापित करने के लिए कि ये ऊपर दिए गए समान गुणांक हैं, गुणांकों के अनुपात की गणना करें,

अंत में, γ = γ' पहचान दी d = sin 2c'.

सामान्य के लिए n × n मामले में, कोई Ref का उपयोग कर सकता है।[16]

The quaternion case

दो घूर्णन आर की संरचना का चतुर्भुज सूत्रीकरणB और आरA यह सीधे घूर्णन की धुरी और समग्र घूर्णन के कोण R को भी प्राप्त करता हैC = आरBRA.

मान लीजिए कि स्थानिक घूर्णन R से संबद्ध चतुर्भुज का निर्माण इसके घूर्णन के अक्ष S और इस अक्ष के घूर्णन कोण φ से होता है। संबंधित चतुर्भुज द्वारा दिया गया है,

फिर घूर्णन की संरचना आरR आर के साथA घूर्णन R हैC = आरBRA चतुष्कोणों के गुणनफल द्वारा परिभाषित घूर्णन अक्ष और कोण के साथ

वह है

प्राप्त करने के लिए इस उत्पाद का विस्तार करें

इस समीकरण के दोनों पक्षों को पहचान से विभाजित करें, जो कोसाइन का गोलाकार नियम है,

और गणना करें

यह दो घूर्णनों की अक्षों के संदर्भ में परिभाषित मिश्रित घूर्णन की धुरी के लिए रोड्रिग्स का सूत्र है। उन्होंने यह सूत्र 1840 में निकाला (देखें पृष्ठ 408)।[17] तीन घूर्णन अक्ष A, B, और C एक गोलाकार त्रिभुज बनाते हैं और इस त्रिभुज की भुजाओं द्वारा निर्मित तलों के बीच के विकर्ण कोणों को घूर्णन कोणों द्वारा परिभाषित किया जाता है।

अनंतिमल घुमाव

Page 'Infinitesimal rotation matrix' not found

घूर्णन का एहसास

हमने देखा है कि घूर्णन को दर्शाने के कई तरीके हैं:

  • निर्धारक 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) का प्रतिनिधित्व
  • यूलर कोण
  • रॉड्रिग्स का घूर्णन सूत्र
  • अतिसूक्ष्म घूर्णन
  • पिन समूह
  • चतुर्भुज और स्थानिक घुमाव
  • सख्त शरीर
  • गोलाकार हार्मोनिक्स
  • घूर्णन का तल
  • झूठ समूह
  • पॉली मैट्रिक्स
  • प्लेट ट्रिक
  • त्रि-आयामी रोटेशन ऑपरेटर

फुटनोट

  1. 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,
    Thus
  2. For an alternative derivation of , see Classical group.
  3. Specifically, for
  4. 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.
  5. 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.
  6. A Hilbert space is separable if and only if it has a countable basis. All separable Hilbert spaces are isomorphic.

संदर्भ

  1. Jacobson (2009), p. 34, Ex. 14.
  2. n × n real matrices are identical to linear transformations of expressed in its standard basis.
  3. Coxeter, H. S. M. (1973). नियमित पॉलीटोप्स (Third ed.). New York. p. 53. ISBN 0-486-61480-8.{{cite book}}: CS1 maint: location missing publisher (link)
  4. Hall 2015 Proposition 1.17
  5. Rossmann 2002 p. 95.
  6. 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
  7. Hall 2015 Proposition 3.24
  8. Rossmann 2002
  9. 9.0 9.1 Engø 2001
  10. Hall 2015 Example 3.27
  11. See Rossmann 2002, theorem 3, section 2.2.
  12. Rossmann 2002 Section 1.1.
  13. Hall 2003 Theorem 2.27.
  14. 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
  15. Hall 2003, Ch. 3; Varadarajan 1984, §2.15
  16. 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.
  17. 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. 18.0 18.1 18.2 Gelfand, Minlos & Shapiro 1963
  19. In Quantum Mechanics – non-relativistic theory by Landau and Lifshitz the lowest order D are calculated analytically.
  20. Curtright, Fairlie & Zachos 2014 A formula for D() valid for all is given.
  21. Hall 2003 Section 4.3.5.

ग्रन्थसूची