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

From Vigyanwiki
No edit summary
m (15 revisions imported from alpha:3डी_रोटेशन_समूह)
 
(13 intermediate revisions by 3 users not shown)
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 है।
प्रत्येक गैर-तुच्छ घूर्णन उसके घूर्णन अक्ष (मूल बिंदु से होकर जाने वाली रेखा) और उसके घूर्णन कोण द्वारा निर्धारित होता है। घूर्णन क्रमविनिमेय नहीं होते हैं (उदाहरण के लिए, x-y समतल में R 90° को यात्रा करने के बाद y-z समतल में S 90° को यात्रा करना R को यात्रा करने के समान नहीं है), जिससे 3डी घूर्णन समूह गैर-एबेलियन समूह बन जाता है। इसके अतिरिक्त, रोटेशन समूह में प्राकृतिक संरचना होती है जिसके लिए समूह संचालन [[सुचारू कार्य]] होता है, इसलिए यह वास्तव में [[झूठ समूह|लाइ समूह]] है। यह [[सघन स्थान|सघन]] समिष्ट है और इसका आयाम 3 है।


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


==लंबाई और [[कोण]]==
==लंबाई और [[कोण]]==
केवल लंबाई बनाए रखने के अलावा, घूर्णन सदिशों के बीच के कोणों को भी संरक्षित करता है। यह इस तथ्य से पता चलता है कि दो वैक्टर यू और वी के बीच मानक [[डॉट उत्पाद]] को पूरी तरह से लंबाई के संदर्भ में लिखा जा सकता है:
मात्र लंबाई को संरक्षित करने के अतिरिक्त, घूर्णन सदिशों के बीच के कोणों को भी संरक्षित करता है। यह इस तथ्य से पता चलता है कि दो सदिश '''u''' और '''v''' के बीच मानक [[डॉट उत्पाद]] हो सकता है जो केवल लंबाई के पूर्ण रूप में लिखा जा सकता है।
<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|ऑर्थोगोनल आव्युह|रोटेशन आव्युह}}


प्रत्येक घूर्णन लंबात्मक आधार का मानचित्रण करता है <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|अक्ष-कोण प्रतिनिधित्व}}
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 52: Line 54:
* आर({{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|घूर्णन का हाइपरस्फेयर}}
लाई समूह 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}} समान हैं। तो हम गेंद की सतह पर एंटीपोडल बिंदुओं को कोटिएंट समिष्ट (टोपोलॉजी) (या साथ गोंद) करते हैं। इस पहचान के बाद, हम रोटेशन समूह के लिए [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल]] समिष्ट [[होम्योमॉर्फिक]] पर पहुंचते हैं।


दरअसल, पहचाने गए एंटीपोडल सतह बिंदुओं वाली गेंद चिकनी मैनिफोल्ड है, और [[चिकनी कई गुना]] रोटेशन समूह के लिए भिन्नता है। यह वास्तविक प्रक्षेप्य स्थान|वास्तविक 3-आयामी प्रक्षेप्य समिष्ट से भिन्न भी है <math>\mathbb{P}^3(\R),</math> इसलिए उत्तरार्द्ध रोटेशन समूह के लिए टोपोलॉजिकल मॉडल के रूप में भी काम कर सकता है।
ठोस गेंद पर विचार करें <math>\R^3</math> त्रिज्या का {{pi}} (अर्थात, के सभी बिंदु <math>\R^3</math> दूरी का {{pi}} या मूल से कम)। उपरोक्त को देखते हुए, इस गेंद में प्रत्येक बिंदु के लिए घूर्णन होता है, जिसमें अक्ष बिंदु और मूल बिंदु से होकर गुजरती है, और घूर्णन कोण मूल से बिंदु की दूरी के समान होता है। पहचान घुमाव गेंद के केंद्र पर बिंदु से मेल खाता है। 0 और -{{pi}} के बीच के कोणों से घूमना मूल बिंदु से समान अक्ष और दूरी पर किन्तु मूल के विपरीत दिशा में स्थित बिंदु के अनुरूप। शेष मुद्दा यह है कि दो घूर्णन होते हैं और {{pi}} इसके माध्यम से −{{pi}} समान हैं। तो हम गेंद की सतह पर एंटीपोडल बिंदुओं को कोटिएंट समिष्ट (टोपोलॉजी) (या साथ गोंद) करते हैं। इस पहचान के बाद, हम रोटेशन समूह के लिए [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल]] समिष्ट [[होम्योमॉर्फिक]] पर पहुंचते हैं।
 
मुख्य रूप से, पहचाने गए एंटीपोडल सतह बिंदुओं वाली गेंद चिकनी मैनिफोल्ड है, और [[चिकनी कई गुना]] रोटेशन समूह के लिए भिन्नता है। यह वास्तविक प्रक्षेप्य स्थान।वास्तविक 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) [[विशेष एकात्मक समूह]] SU(2) का समरूपी है; यह इकाई 3-गोले S<sup>3</sup> से भिन्न भी हैऔर इसे छंदों के समूह (पूर्ण मान 1 के साथ चतुर्भुज) के रूप में समझा जा सकता है। चतुर्भुज और घूर्णन के बीच संबंध, जो सामान्यतः [[ कंप्यूटर चित्रलेख |कंप्यूटर चित्रलेख]] में उपयोग किया जाता है, चतुर्भुज और स्थानिक घुमावों में समझाया गया है। S<sup>3</sup> से नक्शा SO(3) पर जो S<sup>3</sup> के एंटीपोडल बिंदुओं की पहचान करता है [[कर्नेल (बीजगणित)]] {±1} के साथ, लाई समूहों का [[विशेषण]] [[समरूपता]] है। स्थलाकृतिक दृष्टि से, यह मानचित्र दो-से- कवर करने वाला मानचित्र है। (प्लेट ट्रिक देखें।)


==SO(3) और SU(2) के बीच संबंध==
==SO(3) और SU(2) के बीच संबंध==
Line 77: Line 80:


===इकाई मानदंड के चतुर्भुज का उपयोग करना ===
===इकाई मानदंड के चतुर्भुज का उपयोग करना ===
{{main|Quaternions and spatial rotation}}
{{main|चतुर्भुज और स्थानिक घूर्णन}}
समूह {{math|SU(2)}} द्वारा दिए गए मानचित्र के माध्यम से इकाई मानदंड के चतुष्कोणों के लिए [[समूह समरूपता]] है<ref>{{harvnb|Rossmann|2002}} p. 95.</ref>
समूह {{math|SU(2)}} द्वारा दिए गए मानचित्र के माध्यम से इकाई मानदंड के चतुष्कोणों के लिए [[समूह समरूपता]] है<ref>{{harvnb|Rossmann|2002}} p. 95.</ref>
<math display="block">q = a\mathbf{1} + b\mathbf{i} + c\mathbf{j} + d\mathbf{k} = \alpha + \beta \mathbf{j} \leftrightarrow \begin{bmatrix}\alpha & -\overline \beta \\ \beta & \overline \alpha\end{bmatrix} = U</math>
<math display="block">q = a\mathbf{1} + b\mathbf{i} + c\mathbf{j} + d\mathbf{k} = \alpha + \beta \mathbf{j} \leftrightarrow \begin{bmatrix}\alpha & -\overline \beta \\ \beta & \overline \alpha\end{bmatrix} = U</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 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 display="block">qvq^{-1}\in \R^3.</math>
 


आइये अब पहचानते हैं <math>\R^3</math> के विस्तार के साथ <math>\mathbf{i},\mathbf{j},\mathbf{k}</math>. इसके बाद कोई इसे सत्यापित कर सकता है <math>v</math> में है <math>\R^3</math> और <math>q</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 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)}}.


कोई इस समरूपता को स्पष्ट रूप से कार्यान्वित कर सकता है: इकाई चतुर्भुज, {{mvar|q}}, साथ
कोई इस समरूपता को स्पष्ट रूप से कार्यान्वित कर सकता है: इकाई चतुर्भुज, {{mvar|q}}, साथ<math display="block">\begin{align}
<math display="block">\begin{align}
  q &= w + x\mathbf{i} + y\mathbf{j} + z\mathbf{k} , \\
  q &= w + x\mathbf{i} + y\mathbf{j} + z\mathbf{k} , \\
  1 &= w^2 + x^2 + y^2 + z^2 ,
  1 &= w^2 + x^2 + y^2 + z^2 ,
\end{align}</math>
\end{align}</math>
रोटेशन मैट्रिक्स में मैप किया गया है
रोटेशन आव्युह में मैप किया गया है<math display="block"> Q = \begin{bmatrix}
<math display="block"> Q = \begin{bmatrix}
  1 - 2 y^2 - 2 z^2 & 2 x y - 2 z w & 2 x z + 2 y w \\
  1 - 2 y^2 - 2 z^2 & 2 x y - 2 z w & 2 x z + 2 y w \\
  2 x y + 2 z w & 1 - 2 x^2 - 2 z^2 & 2 y z - 2 x w \\
  2 x y + 2 z w & 1 - 2 x^2 - 2 z^2 & 2 y z - 2 x w \\
  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''}}.


===मोबियस परिवर्तनों का उपयोग करना===
===मोबियस परिवर्तनों का उपयोग करना===
[[Image:Stereoprojnegone.svg|thumb|right|300px|त्रिज्या के गोले से त्रिविम प्रक्षेपण {{math|{{sfrac|1|2}}}}उत्तरी ध्रुव से {{math|1=(''x'', ''y'', ''z'') = (0, 0, {{sfrac|1|2}})}} विमान पर {{mvar|M}} द्वारा दिए गए {{math|1=''z'' = −{{sfrac|1|2}}}} द्वारा समन्वित किया गया {{math|(''ξ'', ''η'')}}, यहां क्रॉस सेक्शन में दिखाया गया है।]]इस अनुभाग के लिए सामान्य संदर्भ है {{harvtxt|Gelfand|Minlos|Shapiro|1963}}. बिन्दु {{math|''P''}} गोले पर
[[Image:Stereoprojnegone.svg|thumb|right|300px|त्रिज्या के गोले से त्रिविम प्रक्षेपण {{math|{{sfrac|1|2}}}}उत्तरी ध्रुव से {{math|1=(''x'', ''y'', ''z'') = (0, 0, {{sfrac|1|2}})}} विमान पर {{mvar|M}} द्वारा दिए गए {{math|1=''z'' = −{{sfrac|1|2}}}} द्वारा समन्वित किया गया {{math|(''ξ'', ''η'')}}, यहां क्रॉस सेक्शन में दिखाया गया है।]]इस अनुभाग के लिए सामान्य संदर्भ है {{harvtxt|गेलफैंड|मिनलोस|शापिरो|1963}}. बिन्दु {{math|''P''}} गोले पर


:<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''}} को इस प्रकार पैरामीट्रिज्ड किया जा सकता है


:<math>L(t) = N + t(N - P) = \left(0,0,\frac{1}{2}\right) + t \left ( \left(0,0,\frac{1}{2}\right) - (x, y, z) \right ), \quad t\in \R.</math>
:<math>L(t) = N + t(N - P) = \left(0,0,\frac{1}{2}\right) + t \left ( \left(0,0,\frac{1}{2}\right) - (x, y, z) \right ), \quad t\in \R.</math>
मांग कर रहे हैं कि {{nowrap|{{math|''z''}}-coordinate}} का <math>L(t_0)</math> के बराबर होती है {{math|−{{sfrac|1|2}}}}, कोई पाता है
मांग कर रहे हैं कि {{nowrap|{{math|''z''}}-coordinate}} का <math>L(t_0)</math> के समान होती है {{math|−{{sfrac|1|2}}}}, कोई पाता है


:<math>t_0 = \frac1{z-\frac12}.</math>
:<math>t_0 = \frac1{z-\frac12}.</math>
Line 114: Line 116:


:<math>\begin{cases} S:\mathbf{S} \to M \\ P = (x,y,z) \longmapsto P'= (\xi, \eta) = \left(\frac{x}{\frac{1}{2} - z}, \frac{y}{\frac{1}{2} - z}\right) \equiv \zeta = \xi + i\eta \end{cases}</math>
:<math>\begin{cases} S:\mathbf{S} \to M \\ P = (x,y,z) \longmapsto P'= (\xi, \eta) = \left(\frac{x}{\frac{1}{2} - z}, \frac{y}{\frac{1}{2} - z}\right) \equiv \zeta = \xi + i\eta \end{cases}</math>
जहां, बाद की सुविधा के लिए, विमान {{math|''M''}} की पहचान जटिल तल से की जाती है <math>\Complex.</math>
जहां, बाद की सुविधा के लिए, विमान {{math|''M''}} की पहचान जटिल तल से की जाती है <math>\Complex.</math>व्युत्क्रम के लिए लिखिए {{math|''L''}} जैसा
व्युत्क्रम के लिए लिखिए {{math|''L''}} जैसा


:<math>L = N + s(P'-N) = \left(0,0,\frac{1}{2}\right) + s\left( \left(\xi, \eta, -\frac{1}{2}\right) - \left(0,0,\frac{1}{2}\right)\right),</math>
:<math>L = N + s(P'-N) = \left(0,0,\frac{1}{2}\right) + s\left( \left(\xi, \eta, -\frac{1}{2}\right) - \left(0,0,\frac{1}{2}\right)\right),</math>
और मांग {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> = {{sfrac|1|4}}}} ढूँढ़ने के लिए {{math|1=''s'' = {{sfrac|1|1 + ''ξ''<sup>2</sup> + ''η''<sup>2</sup>}}}} और इस तरह
और मांग {{math|1=''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> = {{sfrac|1|4}}}} ढूँढ़ने के लिए {{math|1=''s'' = {{sfrac|1|1 + ''ξ''<sup>2</sup> + ''η''<sup>2</sup>}}}} और इस प्रकार


:<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 133: Line 134:
z' &= z.
z' &= z.
\end{align}</math>
\end{align}</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>\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>
Line 142: Line 143:


:<math>\zeta' = \frac{\cos \frac{\theta}{2}\zeta +i\sin \frac{\theta}{2} }{i \sin\frac{\theta}{2}\zeta + \cos\frac{\theta}{2}}.</math>
:<math>\zeta' = \frac{\cos \frac{\theta}{2}\zeta +i\sin \frac{\theta}{2} }{i \sin\frac{\theta}{2}\zeta + \cos\frac{\theta}{2}}.</math>
ये दो घुमाव, <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>
घूर्णन, <math>g_{\phi}, g_{\theta}</math> सभी उत्पन्न करें {{math|SO(3)}} और मोबियस परिवर्तनों के रचना नियम दर्शाते हैं कि कोई भी रचना <math>g_{\phi}, g_{\theta}</math> मोबियस परिवर्तनों की संगत संरचना का अनुवाद करता है। मोबियस परिवर्तनों को मैट्रिक्स द्वारा दर्शाया जा सकता है
घूर्णन, <math>g_{\phi}, g_{\theta}</math> सभी उत्पन्न करें {{math|SO(3)}} और मोबियस परिवर्तनों के रचना नियम दर्शाते हैं कि कोई भी रचना <math>g_{\phi}, g_{\theta}</math> मोबियस परिवर्तनों की संगत संरचना का अनुवाद करता है। मोबियस परिवर्तनों को आव्युह द्वारा दर्शाया जा सकता है


:<math>\begin{pmatrix}\alpha & \beta\\ \gamma & \delta\end{pmatrix}, \qquad \alpha\delta - \beta\gamma = 1,</math>
:<math>\begin{pmatrix}\alpha & \beta\\ \gamma & \delta\end{pmatrix}, \qquad \alpha\delta - \beta\gamma = 1,</math>
के सामान्य कारक के बाद से {{math|''α'', ''β'', ''γ'', ''δ''}} रद्द करता है.
के सामान्य कारक के बाद से {{math|''α'', ''β'', ''γ'', ''δ''}} रद्द करता है.


इसी कारण से, गुणा के बाद से मैट्रिक्स को विशिष्ट रूप से परिभाषित नहीं किया गया है {{math|−''I''}} का निर्धारक या मोबियस परिवर्तन पर कोई प्रभाव नहीं पड़ता है। मोबियस परिवर्तनों का रचना नियम संबंधित आव्यूहों का अनुसरण करता है। निष्कर्ष यह है कि प्रत्येक मोबियस परिवर्तन दो मैट्रिक्स से मेल खाता है {{math|''g'', −''g'' ∈ SL(2, '''C''')}}.
इसी कारण से, गुणा के बाद से आव्युह को विशिष्ट रूप से परिभाषित नहीं किया गया है {{math|−''I''}} का निर्धारक या मोबियस परिवर्तन पर कोई प्रभाव नहीं पड़ता है। मोबियस परिवर्तनों का रचना नियम संबंधित आव्यूहों का अनुसरण करता है। निष्कर्ष यह है कि प्रत्येक मोबियस परिवर्तन दो आव्युह से मेल खाता है {{math|''g'', −''g'' ∈ SL(2, '''C''')}}.


इस पत्राचार का उपयोग करके कोई भी लिख सकता है
इस पत्राचार का उपयोग करके कोई भी लिख सकता है
Line 176: Line 177:
\end{pmatrix}.
\end{pmatrix}.
\end{align}</math>
\end{align}</math>
ये मैट्रिक्स एकात्मक हैं और इस प्रकार {{math|Π<sub>''u''</sub>(SO(3)) ⊂ SU(2) ⊂ SL(2, '''C''')}}. [[यूलर कोण]] के संदर्भ में<ref group="nb">This is effected by first applying a rotation <math>g_{\theta}</math> through {{mvar|''φ''}} about the {{nowrap|{{math|''z''}}-axis}} to take the {{nowrap|{{math|''x''}}-axis}} to the line {{math|''L''}}, the intersection between the planes {{math|''xy''}} and {{math|''x'y'''}}, the latter being the rotated {{nowrap|{{math|''xy''}}-plane}}. Then rotate with <math>g_{\theta}</math> through {{mvar|θ}} about {{math|''L''}} to obtain the new {{nowrap|{{math|''z''}}-axis}} from the old one, and finally rotate by <math>g_{\psi}</math> through an angle {{mvar|ψ}} about the ''new'' {{nowrap|{{math|''z''}}-axis}}, where {{mvar|ψ}} is the angle between {{mvar|L}} and the new {{nowrap|{{math|''x''}}-axis}}. In the equation, <math>g_{\theta}</math> and <math>g_{\psi}</math> are expressed in a temporary ''rotated basis'' at each step, which is seen from their simple form. To transform these back to the original basis, observe that <math>\mathbf{g}_{\theta} = g_{\phi}g_{\theta}g_{\phi}^{-1}.</math> Here boldface means that the rotation is expressed in the ''original'' basis. Likewise,  
ये आव्युह एकात्मक हैं और इस प्रकार {{math|Π<sub>''u''</sub>(SO(3)) ⊂ SU(2) ⊂ SL(2, '''C''')}}. [[यूलर कोण]] के संदर्भ में<ref group="nb">This is effected by first applying a rotation <math>g_{\theta}</math> through {{mvar|''φ''}} about the {{nowrap|{{math|''z''}}-axis}} to take the {{nowrap|{{math|''x''}}-axis}} to the line {{math|''L''}}, the intersection between the planes {{math|''xy''}} and {{math|''x'y'''}}, the latter being the rotated {{nowrap|{{math|''xy''}}-plane}}. Then rotate with <math>g_{\theta}</math> through {{mvar|θ}} about {{math|''L''}} to obtain the new {{nowrap|{{math|''z''}}-axis}} from the old one, and finally rotate by <math>g_{\psi}</math> through an angle {{mvar|ψ}} about the ''new'' {{nowrap|{{math|''z''}}-axis}}, where {{mvar|ψ}} is the angle between {{mvar|L}} and the new {{nowrap|{{math|''x''}}-axis}}. In the equation, <math>g_{\theta}</math> and <math>g_{\psi}</math> are expressed in a temporary ''rotated basis'' at each step, which is seen from their simple form. To transform these back to the original basis, observe that <math>\mathbf{g}_{\theta} = g_{\phi}g_{\theta}g_{\phi}^{-1}.</math> Here boldface means that the rotation is expressed in the ''original'' basis. Likewise,  
:<math>\mathbf{g}_{\psi} = g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi} g_{\psi} \left [ g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi} \right ]^{-1}.</math>
:<math>\mathbf{g}_{\psi} = g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi} g_{\psi} \left [ g_{\phi}g_{\theta}g_{\phi}^{-1} g_{\phi} \right ]^{-1}.</math>
Thus  
Thus  
Line 228: Line 229:
\end{align}</math>|{{EquationRef|2}}}}
\end{align}</math>|{{EquationRef|2}}}}


इसके विपरीत, सामान्य मैट्रिक्स पर विचार करें
इसके विपरीत, सामान्य आव्युह पर विचार करें


:<math>\pm\Pi_u(g_{\alpha,\beta}) = \pm\begin{pmatrix} \alpha & \beta\\ -\overline{\beta} & \overline{\alpha} \end{pmatrix} \in \operatorname{SU}(2).</math>
:<math>\pm\Pi_u(g_{\alpha,\beta}) = \pm\begin{pmatrix} \alpha & \beta\\ -\overline{\beta} & \overline{\alpha} \end{pmatrix} \in \operatorname{SU}(2).</math>
Line 237: Line 238:
   \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 252: Line 253:
           \alpha\overline{\alpha} - \beta\overline{\beta}
           \alpha\overline{\alpha} - \beta\overline{\beta}
\end{pmatrix}.</math>
\end{pmatrix}.</math>
इसे सत्यापित करने के लिए, प्रतिस्थापित करें {{math|''α''. ''β''}} के आरएचएस पर मैट्रिक्स के तत्व ({{EquationNote|2}}). कुछ हेरफेर के बाद, मैट्रिक्स आरएचएस का रूप धारण कर लेता है ({{EquationNote|1}}).
इसे सत्यापित करने के लिए, प्रतिस्थापित करें {{math|''α''. ''β''}} के आरएचएस पर आव्युह के तत्व ({{EquationNote|2}}). कुछ हेरफेर के बाद, आव्युह आरएचएस का रूप धारण कर लेता है ({{EquationNote|1}}).


यूलर कोणों के संदर्भ में स्पष्ट रूप से यह स्पष्ट है कि मानचित्र
यूलर कोणों के संदर्भ में स्पष्ट रूप से यह स्पष्ट है कि मानचित्र
Line 263: Line 264:


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


:<math>
:<math>
Line 285: Line 287:
जो कि तीन मानक आधारों के संबंधों से सहमत हैं <math>\R^3</math> क्रॉस उत्पाद के अंतर्गत.
जो कि तीन मानक आधारों के संबंधों से सहमत हैं <math>\R^3</math> क्रॉस उत्पाद के अंतर्गत.


जैसा कि ऊपर बताया गया है, कोई भी इस लाई बीजगणित में यूलर वेक्टर के साथ किसी भी मैट्रिक्स की पहचान कर सकता है <math>\boldsymbol{\omega} = (x,y,z) \in \R^3,</math><ref>{{harvnb|Rossmann|2002}}</ref>
जैसा कि ऊपर बताया गया है, कोई भी इस लाई अलजेब्रा में यूलर सदिश के साथ किसी भी आव्युह की पहचान कर सकता है <math>\boldsymbol{\omega} = (x,y,z) \in \R^3,</math><ref>{{harvnb|Rossmann|2002}}</ref>
:<math>\widehat{\boldsymbol{\omega}} =\boldsymbol{\omega}\cdot \boldsymbol{L} = x \boldsymbol{L}_x + y \boldsymbol{L}_y + z \boldsymbol{L}_z =\begin{bmatrix}0&-z&y\\z&0&-x\\-y&x&0\end{bmatrix} \in \mathfrak{so}(3).</math>
:<math>\widehat{\boldsymbol{\omega}} =\boldsymbol{\omega}\cdot \boldsymbol{L} = x \boldsymbol{L}_x + y \boldsymbol{L}_y + z \boldsymbol{L}_z =\begin{bmatrix}0&-z&y\\z&0&-x\\-y&x&0\end{bmatrix} \in \mathfrak{so}(3).</math>
इस पहचान को कभी-कभी हैट-मैप भी कहा जाता है।<ref name="Engø 2001">{{harvnb|Engø|2001}}</ref> इस पहचान के तहत, <math>\mathfrak{so}(3)</math> ब्रैकेट में मेल खाता है <math>\R^3</math> क्रॉस उत्पाद के लिए,
इस पहचान को कभी-कभी हैट-मैप भी कहा जाता है।<ref name="Engø 2001">{{harvnb|Engø|2001}}</ref> इस पहचान के अनुसार , <math>\mathfrak{so}(3)</math> ब्रैकेट में मेल खाता है <math>\R^3</math> क्रॉस उत्पाद के लिए,


:<math>\left [\widehat{\boldsymbol{u}},\widehat{\boldsymbol{v}} \right ] = \widehat{\boldsymbol{u} \times \boldsymbol{v}}.</math>
:<math>\left [\widehat{\boldsymbol{u}},\widehat{\boldsymbol{v}} \right ] = \widehat{\boldsymbol{u} \times \boldsymbol{v}}.</math>
मैट्रिक्स की पहचान वेक्टर से की गई <math>\boldsymbol{u}</math> उसके पास वह संपत्ति है
आव्युह की पहचान सदिश से की गई <math>\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|कोणीय संवेग संचालिका}}
===झूठ बीजगणित पर नोट===
{{see also|एसयू(2) का प्रतिनिधित्व सिद्धांत|जॉर्डन का नक्शा}}
{{Main|Angular momentum operator}}
{{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> बीजगणित का
Line 308: Line 308:
अर्थात्, कासिमिर अपरिवर्तनीय द्वारा दिया गया है
अर्थात्, कासिमिर अपरिवर्तनीय द्वारा दिया गया है
:<math>\boldsymbol{J}^2\equiv \boldsymbol{J}\cdot \boldsymbol{J} =\boldsymbol{J}_x^2+\boldsymbol{J}_y^2+\boldsymbol{J}_z^2 \propto \boldsymbol{I}.</math>
:<math>\boldsymbol{J}^2\equiv \boldsymbol{J}\cdot \boldsymbol{J} =\boldsymbol{J}_x^2+\boldsymbol{J}_y^2+\boldsymbol{J}_z^2 \propto \boldsymbol{I}.</math>
एकात्मक अघुलनशील झूठ बीजगणित प्रतिनिधित्व के लिए {{mvar|D<sup>j</sup>}}, इस अपरिवर्तनीय के eigenvalues ​​​​वास्तविक और असतत हैं, और प्रत्येक प्रतिनिधित्व की विशेषता रखते हैं, जो कि आयामीता का परिमित आयामी है <math>2j+1</math>. यानी इस कासिमिर ऑपरेटर के eigenvalues ​​हैं
एकात्मक अघुलनशील लाई अलजेब्रा प्रतिनिधित्व के लिए {{mvar|D<sup>j</sup>}}, इस अपरिवर्तनीय के अभिलाक्षणिक मान ​​​​वास्तविक और असतत हैं, और प्रत्येक प्रतिनिधित्व की विशेषता रखते हैं, जो कि आयामीता का परिमित आयामी है <math>2j+1</math>. अर्थात इस कासिमिर ऑपरेटर के अभिलाक्षणिक मान ​​हैं
:<math>\boldsymbol{J}^2=- j(j+1) \boldsymbol{I}_{2j+1},</math>
:<math>\boldsymbol{J}^2=- j(j+1) \boldsymbol{I}_{2j+1},</math>
कहाँ {{mvar|j}} पूर्णांक या अर्ध-पूर्णांक है, और इसे स्पिन (भौतिकी) या कोणीय गति के रूप में जाना जाता है।
जहाँ {{mvar|j}} पूर्णांक या अर्ध-पूर्णांक है, और इसे स्पिन (भौतिकी) या कोणीय गति के रूप में जाना जाता है।


तो, ऊपर प्रदर्शित 3 × 3 जनरेटर ''एल'' ट्रिपलेट (स्पिन 1) प्रतिनिधित्व पर कार्य करते हैं, जबकि नीचे 2 × 2 जनरेटर, ''टी'', स्पिनर (स्पिन-1/2) प्रतिनिधित्व पर कार्य करते हैं। . के [[क्रोनकर उत्पाद]] लेकर {{math|''D''<sup>1/2</sup>}} स्वयं के साथ बार-बार, कोई भी सभी उच्चतर अघुलनशील अभ्यावेदन का निर्माण कर सकता है {{mvar|D<sup>j</sup>}}. अर्थात्, मनमाने ढंग से बड़े के लिए, तीन स्थानिक आयामों में उच्च स्पिन सिस्टम के लिए परिणामी जनरेटर {{mvar|j}}, इन [[स्पिन ऑपरेटर]]ों और सीढ़ी ऑपरेटरों का उपयोग करके गणना की जा सकती है।
तो, ऊपर प्रदर्शित 3 × 3 जनरेटर '''''L''''' ट्रिपलेट (स्पिन 1) प्रतिनिधित्व पर कार्य करते हैं, जबकि नीचे 2 × 2 जनरेटर, '''t''', स्पिनर (स्पिन-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>}}. सभी अनंत-आयामी इरेड्यूसबल निरूपण गैर-एकात्मक होना चाहिए, क्योंकि समूह कॉम्पैक्ट है।
अनंत-आयामी इरेड्यूसबल निरूपण गैर-एकात्मक होना चाहिए, क्योंकि समूह कॉम्पैक्ट है।


[[क्वांटम यांत्रिकी]] में, कासिमिर अपरिवर्तनीय कोणीय-संवेग-वर्ग ऑपरेटर है; स्पिन के पूर्णांक मान {{mvar|j}} [[बोसॉन]] को चिह्नित करता है, जबकि अर्ध-पूर्णांक [[फरमिओन्स]] को महत्व देता है। ऊपर उपयोग किए गए [[स्क्यू-हर्मिटियन मैट्रिक्स]] मैट्रिक्स को स्पिन ऑपरेटरों के रूप में उपयोग किया जाता है, उन्हें गुणा करने के बाद {{mvar|i}}, इसलिए वे अब [[हर्मिटियन मैट्रिक्स]] हैं (पॉली मैट्रिक्स की तरह)। इस प्रकार, इस भाषा में,
[[क्वांटम यांत्रिकी]] में, कासिमिर अपरिवर्तनीय कोणीय-संवेग-वर्ग ऑपरेटर है; स्पिन के पूर्णांक मान {{mvar|j}} [[बोसॉन]] को चिह्नित करता है, जबकि अर्ध-पूर्णांक [[फरमिओन्स]] को महत्व देता है। ऊपर उपयोग किए गए [[स्क्यू-हर्मिटियन मैट्रिक्स|स्क्यू-हर्मिटियन]] आव्युह आव्युह को स्पिन ऑपरेटरों के रूप में उपयोग किया जाता है, उन्हें गुणा करने के बाद {{mvar|i}}, इसलिए वे अब [[हर्मिटियन मैट्रिक्स|हर्मिटियन]] आव्युह हैं (पॉली आव्युह की प्रकार )। इस प्रकार, इस भाषा में,
:<math>
:<math>
[\boldsymbol{J}_x, \boldsymbol{J}_y] = i\boldsymbol{J}_z, \quad
[\boldsymbol{J}_x, \boldsymbol{J}_y] = i\boldsymbol{J}_z, \quad
Line 331: Line 330:
\left (\boldsymbol{J}_y^{(j)}\right )_{ba} &=\frac{1}{2i} \left (\delta_{b,a+1}-\delta_{b+1,a} \right ) \sqrt{(j+1)(a+b-1)-ab}\\
\left (\boldsymbol{J}_y^{(j)}\right )_{ba} &=\frac{1}{2i} \left (\delta_{b,a+1}-\delta_{b+1,a} \right ) \sqrt{(j+1)(a+b-1)-ab}\\
\end{align}</math>
\end{align}</math>
कहाँ {{mvar|j}} मनमाना है और <math>1 \le a, b \le 2j+1</math>.
जहाँ {{mvar|j}} इच्छानुसार है और <math>1 \le a, b \le 2j+1</math>.


उदाहरण के लिए, स्पिन 1 के लिए परिणामी स्पिन मैट्रिसेस (<math>j = 1</math>) हैं
उदाहरण के लिए, स्पिन के लिए परिणामी स्पिन आव्युह 1(<math>j = 1</math>) हैं
:<math>\begin{align}
:<math>\begin{align}
\boldsymbol{J}_x &= \frac{1}{\sqrt{2}}
\boldsymbol{J}_x &= \frac{1}{\sqrt{2}}
Line 354: Line 353:
  \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}}'''L'''कार्टेशियन आधार पर।<ref group="nb">Specifically, <math>\boldsymbol{U} \boldsymbol{J}_{\alpha}\boldsymbol{U}^\dagger=i\boldsymbol{L}_\alpha</math> for  


:<math>\boldsymbol{U}= \left(
:<math>\boldsymbol{U}= \left(
Line 363: Line 362:
\end{array}
\end{array}
\right).</math></ref>
\right).</math></ref>
उच्च स्पिन के लिए, जैसे कि स्पिन {{sfrac|3|2}} (<math>j=\tfrac{3}{2}</math>):
उच्च स्पिन के लिए, जैसे कि स्पिन {{sfrac|3|2}} (<math>j=\tfrac{3}{2}</math>):
:<math>\begin{align}
:<math>\begin{align}
Line 418: Line 418:
\end{align}</math>
\end{align}</math>


{{main|Spin (physics)#Higher spins}}
{{main|स्पिन (भौतिकी)#उच्चतर घूमता है}}


=== समरूपता 𝖘𝖚(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>
कहाँ {{math|[[Levi-Civita symbol|''ε''<sub>''ijk''</sub>]]}} पूरी तरह से विरोधी-सममित प्रतीक है {{math|1=''ε''<sub>123</sub> = 1}}. के बीच समरूपता <math>\mathfrak{so}(3)</math> और <math>\mathfrak{su}(2)</math> कई तरीकों से स्थापित किया जा सकता है. बाद की सुविधा के लिए, <math>\mathfrak{so}(3)</math> और <math>\mathfrak{su}(2)</math> मैपिंग द्वारा पहचान की जाती है
जहाँ {{math|[[Levi-Civita symbol|''ε''<sub>''ijk''</sub>]]}} पूरी प्रकार से विरोधी-सममित प्रतीक है {{math|1=''ε''<sub>123</sub> = 1}}. के बीच समरूपता <math>\mathfrak{so}(3)</math> और <math>\mathfrak{su}(2)</math> कई तरीकों से स्थापित किया जा सकता है. बाद की सुविधा के लिए, <math>\mathfrak{so}(3)</math> और <math>\mathfrak{su}(2)</math> मैपिंग द्वारा पहचान की जाती है


:<math>\boldsymbol{L}_x \longleftrightarrow \boldsymbol{t}_1, \quad \boldsymbol{L}_y \longleftrightarrow \boldsymbol{t}_2, \quad \boldsymbol{L}_z \longleftrightarrow \boldsymbol{t}_3,</math>
:<math>\boldsymbol{L}_x \longleftrightarrow \boldsymbol{t}_1, \quad \boldsymbol{L}_y \longleftrightarrow \boldsymbol{t}_2, \quad \boldsymbol{L}_z \longleftrightarrow \boldsymbol{t}_3,</math>
Line 435: Line 435:


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


:<math>\begin{cases}
:<math>\begin{cases}
Line 442: Line 442:
  = I + A + \tfrac{1}{2} A^2 + \cdots.
  = I + A + \tfrac{1}{2} A^2 + \cdots.
\end{cases}</math>
\end{cases}</math>
किसी भी तिरछा-सममित मैट्रिक्स के लिए {{math|''A'' ∈ 𝖘𝖔(3)}}, {{math|''e<sup>A</sup>''}} हमेशा अंदर है {{math|SO(3)}}. प्रमाण मैट्रिक्स घातांक के प्रारंभिक गुणों का उपयोग करता है
किसी भी तिरछा-सममित आव्युह के लिए {{math|''A'' ∈ 𝖘𝖔(3)}}, {{math|''e<sup>A</sup>''}} सदैव {{math|SO(3)}} में होता है। इस प्रमाण आव्युह घातांक के प्रारंभिक गुणों का उपयोग करता है


:<math>\left(e^A\right)^\textsf{T} e^A = e^{A^\textsf{T}} e^A = e^{A^\textsf{T} + A} = e^{-A + A} = e^{A - A} = e^A \left(e^A\right)^\textsf{T} = e^0 = I.</math>
:<math>\left(e^A\right)^\textsf{T} e^A = e^{A^\textsf{T}} e^A = e^{A^\textsf{T} + A} = e^{-A + A} = e^{A - A} = e^A \left(e^A\right)^\textsf{T} = e^0 = I.</math>
मैट्रिक्स के बाद से {{math|''A''}} और {{math|''A''{{sup|T}}}} कम्यूट, इसे तिरछा-सममित मैट्रिक्स स्थिति के साथ आसानी से सिद्ध किया जा सकता है। ये दिखाने के लिए ये काफी नहीं है {{math|𝖘𝖔(3)}} के लिए संगत झूठ बीजगणित है {{math|SO(3)}}, और अलग से सिद्ध किया जाएगा.
चूंकि आव्युह {{math|''A''}} और {{math|''A''{{sup|T}}}} आवागमन करते हैं, इसे तिरछा-सममित आव्युह स्थिति के साथ आसानी से सिद्ध किया जा सकता है। ये दिखाने के लिए ये काफी नहीं है {{math|𝖘𝖔(3)}} के लिए {{math|SO(3)}} संगत लाई अलजेब्रा है , और अलग से सिद्ध किया जाना चाहिए।


प्रमाण की कठिनाई का स्तर इस बात पर निर्भर करता है कि मैट्रिक्स समूह लाई बीजगणित को कैसे परिभाषित किया जाता है। {{harvtxt|Hall|2003}} लाई बीजगणित को आव्यूहों के समुच्चय के रूप में परिभाषित करता है
प्रमाण की कठिनाई का स्तर इस बात पर निर्भर करता है कि आव्युह समूह लाई अलजेब्रा को कैसे परिभाषित किया जाता है। {{harvtxt|हॉल |2003}} लाई अलजेब्रा को आव्यूहों के समुच्चय के रूप में परिभाषित करता है


:<math>\left\{A \in \operatorname{M}(n, \R) \left| e^{tA} \in \operatorname{SO}(3) \forall t\right.\right\},</math>
:<math>\left\{A \in \operatorname{M}(n, \R) \left| e^{tA} \in \operatorname{SO}(3) \forall t\right.\right\},</math>
किस मामले में यह तुच्छ है. {{harvtxt|Rossmann|2002}} परिभाषा के लिए चिकनी वक्र खंडों के डेरिवेटिव का उपयोग करता है {{math|SO(3)}}पहचान पर ली गई पहचान के माध्यम से, जिस स्थिति में यह कठिन है।<ref>See {{harvnb|Rossmann|2002}}, theorem 3, section 2.2.</ref>
जिस स्थितियों में यह साधारित है, वह हल्का होता है। {{harvtxt|रॉसमैन |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|𝖘𝖔(3)}} और पहचान का पड़ोस {{math|SO(3)}}.<ref>{{harvnb|Hall|2003}} Theorem 2.27.</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|''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>
ऐसा है कि {{math|1=''A'' = ''BDB''<sup>−1</sup>}}, ओर वो
ऐसा है कि {{math|1=''A'' = ''BDB''<sup>−1</sup>}}, और वह


:<math>Be^{\theta L_z}B^{-1} = e^{B\theta L_zB^{-1}},</math>
:<math>Be^{\theta L_z}B^{-1} = e^{B\theta L_zB^{-1}},</math>
इस तथ्य के साथ कि {{math|𝖘𝖔(3)}} के [[संयुक्त प्रतिनिधित्व]] के तहत बंद है {{math|SO(3)}}, मतलब है कि {{math|''BθL<sub>z</sub>B''<sup>−1</sup> ∈ 𝖘𝖔(3)}}.
इस तथ्य के साथ कि {{math|𝖘𝖔(3)}} {{math|SO(3)}} के [[संयुक्त प्रतिनिधित्व]] के अनुसार बंद है, जिसका अर्थ है कि {{math|''BθL<sub>z</sub>B''<sup>−1</sup> ∈ 𝖘𝖔(3)}}


इस प्रकार, उदाहरण के लिए, लोकप्रिय पहचान की जांच करना आसान है
इस प्रकार, उदाहरण के लिए, लोकप्रिय पहचान की जांच करना आसान है


:<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''}} के माध्यम से {{mvar|z}} अक्ष के रूप में {{math|'''u'''}} के साथ, , नए आधार में रोटेशन आव्युह का अंतिम स्तंभ और पंक्ति शून्य होगी।


इस प्रकार, हम घातांक के सूत्र से पहले से जानते हैं {{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 480: Line 482:
       \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'''''}} के कोण से घूर्णन के लिए आव्युह के रूप में पहचाना जाता है: समानता करें रोड्रिग्स का घूर्णन सूत्र के साथ हैं।


== लघुगणक मानचित्र ==
== लघुगणक मानचित्र ==
दिया गया {{math|''R'' ∈ SO(3)}}, होने देना <math>A = \tfrac{1}{2} \left(R - R^\mathrm{T}\right)</math> एंटीसिमेट्रिक भाग को निरूपित करें और जाने दें <math display="inline">\|A\| = \sqrt{-\frac{1}{2}\operatorname{Tr}\left(A^2\right)}.</math> फिर, का लघुगणक {{mvar|R}} द्वारा दिया गया है<ref name="Engø 2001"/>
दिया गया {{math|''R'' ∈ SO(3)}}, मान लीजिए <math>A = \tfrac{1}{2} \left(R - R^\mathrm{T}\right)</math> एंटीसिमेट्रिक भाग को निरूपित करें और जाने दें <math display="inline">\|A\| = \sqrt{-\frac{1}{2}\operatorname{Tr}\left(A^2\right)}.</math> फिर, {{mvar|R}} का लघुगणक निम्नलिखित है<ref name="Engø 2001"/>


:<math>\log R = \frac{\sin^{-1}\|A\|}{\|A\|}A.</math>
:<math>\log R = \frac{\sin^{-1}\|A\|}{\|A\|}A.</math>
Line 494: Line 496:
<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>


== बेकर-कैंपबेल-हॉसडॉर्फ सूत्र ==
{{main|बेकर-कैंपबेल-हॉसडॉर्फ फॉर्मूला}}


== बेकर-कैंपबेल-हॉसडॉर्फ सूत्र ==
{{mvar|X}} और {{mvar|Y}} लाई अलजेब्रा में दिया गया है। उनके घातांक, {{math|exp(''X'')}} और {{math|exp(''Y'')}}, रोटेशन आव्युह हैं, जिन्हें गुणा किया जा सकता है। चूँकि घातीय मानचित्र अनुमान है लाई अलजेब्रा में कुछ {{mvar|Z}} के लिए, {{math|1=exp(''Z'') = exp(''X'') exp(''Y'')}}, और कोई अस्थायी रूप से लिख सकता है
{{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'')}}, और कोई अस्थायी रूप से लिख सकता है


:<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)}} संक्षिप्त रूप में कम हो जाता है,
वह {{math|SO(3)}} के लिए BCH सूत्र में अनंत विस्तार को सघन रूप में कम कर देता है,


:<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=त्रिकोणमितीय गुणांक}} वह {{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 525: Line 527:


:<math>\langle u, v\rangle = \frac{1}{2}\operatorname{Tr}X^\mathrm{T}Y,</math>
:<math>\langle u, v\rangle = \frac{1}{2}\operatorname{Tr}X^\mathrm{T}Y,</math>
जो इसके कारकों की व्याख्या करता है {{mvar|θ}} और {{mvar|φ}}. यह कोण के व्यंजक में समाप्त हो जाता है। {{see also|Rotation formalisms in three dimensions#Rodrigues parameters and Gibbs representation}}
जो इसके कारकों की व्याख्या करता है {{mvar|θ}} और {{mvar|φ}}. यह कोण के व्यंजक में समाप्त हो जाता है। {{see also|तीन आयामों में घूर्णन औपचारिकताएं#रोड्रिग्स पैरामीटर और गिब्स प्रतिनिधित्व}}
{{Hidden end}}
{{Hidden end}}


Line 531: Line 533:


:<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)}}, [[सरल (अमूर्त बीजगणित)]] होने के कारण, इसका कोई गैर-तुच्छ आदर्श नहीं है और इसलिए सभी गैर-तुच्छ निरूपण वफादार हैं। यह विशेष रूप से दोहरे या स्पिनर प्रतिनिधित्व में निहित है। इस प्रकार वही स्पष्ट सूत्र पाउली मैट्रिसेस, सीएफ के माध्यम से सरल तरीके से अनुसरण करता है। SU(2) के लिए 2×2 व्युत्पत्ति।


{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=The SU(2) case}}
{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=एसयू(2) स्थितियों}}
समान BCH सूत्र के पाउली वेक्टर का पाउली मैट्रिसेस#एक्सपोनेंशियल, SU(2) का कुछ हद तक सरल समूह संरचना नियम है,
समान BCH सूत्र के पाउली वेक्टर का पाउली मैट्रिसेस#एक्सपोनेंशियल, SU(2) का कुछ हद तक सरल समूह संरचना नियम है,


Line 561: Line 563:
   \gamma' &= \frac{1}{2}\frac{c'}{\sin c'}\frac{\sin a'}{a'}\frac{\sin b'}{b'}.
   \gamma' &= \frac{1}{2}\frac{c'}{\sin c'}\frac{\sin a'}{a'}\frac{\sin b'}{b'}.
\end{align}</math>
\end{align}</math>
शामिल लाई बीजगणित में जनरेटर के एक समान सामान्यीकरण के लिए, पाउली मैट्रिक्स को के संदर्भ में व्यक्त करें {{mvar|t}}-मैट्रिसेस, {{math|'''''σ'''''  → 2''i'' '''''t'''''}}, ताकि
शामिल लाई बीजगणित में जनरेटर के एक समान सामान्यीकरण के लिए, पाउली मैट्रिक्स को के संदर्भ में व्यक्त करें {{mvar|t}}-मैट्रिसेस, {{math|'''''σ'''''  → 2''i'' '''''t'''''}}, जिससे
:<math>a' \mapsto -\frac{\theta}{2}, \quad b' \mapsto - \frac{\phi}{2}.</math>
:<math>a' \mapsto -\frac{\theta}{2}, \quad b' \mapsto - \frac{\phi}{2}.</math>
यह सत्यापित करने के लिए कि ये ऊपर दिए गए समान गुणांक हैं, गुणांकों के अनुपात की गणना करें,
यह सत्यापित करने के लिए कि ये ऊपर दिए गए समान गुणांक हैं, गुणांकों के अनुपात की गणना करें,
Line 571: Line 573:
  {{Hidden end}}
  {{Hidden end}}


सामान्य के लिए {{math|''n'' × ''n''}} मामले में, कोई Ref का उपयोग कर सकता है।<ref>{{harvnb|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.</ref>
सामान्य के लिए {{math|''n'' × ''n''}} स्थितियों में, कोई Ref का उपयोग कर सकता है।<ref>{{harvnb|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.</ref>


{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=The quaternion case}}
{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=The quaternion case}}
Line 615: Line 617:


==घूर्णन का एहसास==
==घूर्णन का एहसास==
{{Main|Rotation formalisms in three dimensions}}
{{Main|तीन आयामों में घूर्णन औपचारिकताएँ}}
{{see also|Charts on SO(3) }}
{{see also|SO(3) पर चार्ट}}


हमने देखा है कि घूर्णन को दर्शाने के कई तरीके हैं:
हमने देखा है कि घूर्णनों को प्रतिष्ठित करने के कई विधि हैं:
* निर्धारक 1 के साथ ऑर्थोगोनल मैट्रिक्स के रूप में,
* निर्धारक 1 के साथ ऑर्थोगोनल आव्युह के रूप में,
*अक्ष और घूर्णन कोण द्वारा
*अक्ष और घूर्णन कोण द्वारा
* चतुर्धातुक बीजगणित में छंद और मानचित्र 3-गोले एस के साथ<sup>3</sup> → SO(3) (चतुर्भुज और स्थानिक घुमाव देखें)
* चतुर्धातुक बीजगणित में छंद और मानचित्र 3-गोले ''S''<sup>3</sup> → SO(3) के साथ (चतुर्भुज और स्थानिक घुमाव देखें)
* [[ज्यामितीय बीजगणित]] में रोटर के रूप में (गणित)
* [[ज्यामितीय बीजगणित]] में रोटर के रूप में (गणित)
* तीन निश्चित अक्षों के बारे में तीन घुमावों के अनुक्रम के रूप में; [[यूलर कोण]] देखें.
* तीन निश्चित अक्षों के बारे में तीन घुमावों के अनुक्रम के रूप में; [[यूलर कोण]] देखें।


==गोलाकार हार्मोनिक्स ==
==गोलाकार हार्मोनिक्स ==
{{Main|Spherical harmonics}}
{{Main|गोलाकार हार्मोनिक्स}}
{{See also|Representation of a Lie group#An example: The rotation group SO.283.29{{!}}Representations of SO(3)}}
{{See also|झूठ समूह का प्रतिनिधित्व#एक उदाहरण: रोटेशन समूह SO.283.29{{!}}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 644: Line 646:
{{NumBlk|:|<math>f_{\ell m} = \left\langle Y_m^\ell, f \right\rangle = \int_{\mathbf{S}^2}\overline{{Y^\ell_m}}f \, d\Omega = \int_0^{2\pi} \int_0^\pi \overline{{Y_m^\ell}}(\theta, \phi)f(\theta, \phi)\sin \theta \, d\theta \, d\phi.</math>|{{EquationRef|H3|H3}}}}
{{NumBlk|:|<math>f_{\ell m} = \left\langle Y_m^\ell, f \right\rangle = \int_{\mathbf{S}^2}\overline{{Y^\ell_m}}f \, d\Omega = \int_0^{2\pi} \int_0^\pi \overline{{Y_m^\ell}}(\theta, \phi)f(\theta, \phi)\sin \theta \, d\theta \, d\phi.</math>|{{EquationRef|H3|H3}}}}


लोरेंत्ज़ समूह की कार्रवाई यहीं तक सीमित है {{math|SO(3)}} और के रूप में व्यक्त किया गया है
लोरेंत्ज़ समूह क्रिया {{math|SO(3)}} की प्रतिबंधित होती है और इसे निम्नलिखित रूप में व्यक्त किया जा सकता है:


{{NumBlk|:|<math>(\Pi(R)f)(\theta(x), \phi(x)) = \sum_{\ell = 1}^\infty\sum_{m = -\ell}^{m = \ell}\sum_{m' = -\ell}^{m' = \ell} D^{(\ell)}_{mm'} (R) f_{\ell m'}Y^\ell_m \left(\theta\left(R^{-1}x\right), \phi\left(R^{-1}x\right)\right), \qquad R \in \operatorname{SO}(3), \quad x \in \mathbf{S}^2.</math>|{{EquationRef|H4|H4}}}}
{{NumBlk|:|<math>(\Pi(R)f)(\theta(x), \phi(x)) = \sum_{\ell = 1}^\infty\sum_{m = -\ell}^{m = \ell}\sum_{m' = -\ell}^{m' = \ell} D^{(\ell)}_{mm'} (R) f_{\ell m'}Y^\ell_m \left(\theta\left(R^{-1}x\right), \phi\left(R^{-1}x\right)\right), \qquad R \in \operatorname{SO}(3), \quad x \in \mathbf{S}^2.</math>|{{EquationRef|H4|H4}}}}
Line 650: Line 652:
यह क्रिया एकात्मक अर्थात् एकात्मक है
यह क्रिया एकात्मक अर्थात् एकात्मक है


{{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)}} प्रतिष्ठान के एक विस्तृत (यहां, 3-आयामी सही है {{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>
जहां अभिन्न अद्वितीय अपरिवर्तनीय अभिन्न है {{math|SO(3)}} को सामान्यीकृत किया गया {{math|1}}, यहां यूलर कोण पैरामीट्रिजेशन का उपयोग करके व्यक्त किया गया है। इंटीग्रल के अंदर का आंतरिक उत्पाद किसी भी आंतरिक उत्पाद पर होता है {{math|''V''}}.
जहां अभिन्न {{math|SO(3)}} अद्वितीय अपरिवर्तनीय अभिन्न है, जिसे 1 पर सामान्यीकृत किया गया है, यहां यूलर कोण पैरामीट्रिजेशन का उपयोग करके व्यक्त किया गया है। इंटीग्रल के अंदर का आंतरिक उत्पाद {{math|''V''}} किसी भी आंतरिक उत्पाद पर होता है।


==सामान्यीकरण==
==सामान्यीकरण==
घूर्णन समूह बहुत स्वाभाविक रूप से एन-आयामी यूक्लिडियन समिष्ट <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) को E<sup>+</sup>(3) के उपसमूह के रूप में वर्णित किया जा सकता है, जो यूक्लिडियन के प्रत्यक्ष आइसोमेट्री का [[यूक्लिडियन समूह]] है। इनमें से प्रत्येक इच्छानुसार अक्ष के चारों ओर घूमने और अनुवाद का संयोजन है, या अलग विधि से कहें तो SO(3) के तत्व और इच्छानुसार अनुवाद का संयोजन है।


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


==यह भी देखें==
==यह भी देखें==
Line 674: Line 676:
*समन्वय रोटेशन
*समन्वय रोटेशन
*[[SO(3) पर चार्ट]]
*[[SO(3) पर चार्ट]]
*झूठ समूह का प्रतिनिधित्व#एक उदाहरण: रोटेशन समूह SO(3)|SO(3) का प्रतिनिधित्व
*यूलर कोण
*यूलर कोण
*रॉड्रिग्स का घूर्णन सूत्र
*रॉड्रिग्स का घूर्णन सूत्र
Line 683: Line 684:
*गोलाकार हार्मोनिक्स
*गोलाकार हार्मोनिक्स
*[[घूर्णन का तल]]
*[[घूर्णन का तल]]
*झूठ समूह
*पॉली मैट्रिक्स
*पॉली मैट्रिक्स
*प्लेट ट्रिक
*प्लेट ट्रिक
*[[त्रि-आयामी रोटेशन ऑपरेटर]]
*[[त्रि-आयामी रोटेशन ऑपरेटर]]
{{div col end}}
{{div col end}}
[[Category:Articles with broken excerpts]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 17/11/2023]]
[[Category:Harv and Sfn no-target errors]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Template documentation pages|Short description/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]


==फुटनोट==
==फुटनोट==
Line 715: Line 726:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 17/11/2023]]
[[Category:Created On 17/11/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 09:28, 1 December 2023

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

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

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

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

समूह SO(3) का उपयोग किसी वस्तु की संभावित घूर्णी समरूपता, साथ ही समिष्ट में किसी वस्तु के संभावित अभिविन्यास का वर्णन करने के लिए किया जाता है। इसके समूह निरूपण भौतिकी में महत्वपूर्ण हैं, जहां वे पूर्णांक स्पिन (भौतिकी) के प्राथमिक कणों का उत्पन्न होता है।

लंबाई और कोण

मात्र लंबाई को संरक्षित करने के अतिरिक्त, घूर्णन सदिशों के बीच के कोणों को भी संरक्षित करता है। यह इस तथ्य से पता चलता है कि दो सदिश u और v के बीच मानक डॉट उत्पाद हो सकता है जो केवल लंबाई के पूर्ण रूप में लिखा जा सकता है।

इसका परिणाम है कि में हर लंबाई संरक्षित रूपी रैखिक परिवर्तन डॉट उत्पन्न करता है, और इसलिए सदिश के बीच के कोण को भी संरक्षित करता है। घुमावों को अधिकांशतः रैखिक परिवर्तनों के रूप में परिभाषित किया जाता है जो पर आंतरिक गुणन को संरक्षित रखने के रूप में, जो उन्हें लंबाई को संरक्षित रखने की आवश्यकता के समान है। इस अधिक सामान्य दृष्टिकोण के उपचार के लिए "शास्त्रीय समूह" देखें, जहाँ 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) विशेष एकात्मक समूह SU(2) का समरूपी है; यह इकाई 3-गोले S3 से भिन्न भी हैऔर इसे छंदों के समूह (पूर्ण मान 1 के साथ चतुर्भुज) के रूप में समझा जा सकता है। चतुर्भुज और घूर्णन के बीच संबंध, जो सामान्यतः कंप्यूटर चित्रलेख में उपयोग किया जाता है, चतुर्भुज और स्थानिक घुमावों में समझाया गया है। S3 से नक्शा SO(3) पर जो S3 के एंटीपोडल बिंदुओं की पहचान करता है कर्नेल (बीजगणित) {±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 द्वारा समन्वित किया गया (ξ, η), यहां क्रॉस सेक्शन में दिखाया गया है।

इस अनुभाग के लिए सामान्य संदर्भ है गेलफैंड, मिनलोस & शापिरो (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-आकार सदिश समिष्ट है

इन आधार तत्वों के रूपान्तरण संबंध हैं,

जो कि तीन मानक आधारों के संबंधों से सहमत हैं क्रॉस उत्पाद के अंतर्गत.

जैसा कि ऊपर बताया गया है, कोई भी इस लाई अलजेब्रा में यूलर सदिश के साथ किसी भी आव्युह की पहचान कर सकता है [8]

इस पहचान को कभी-कभी हैट-मैप भी कहा जाता है।[9] इस पहचान के अनुसार , ब्रैकेट में मेल खाता है क्रॉस उत्पाद के लिए,

आव्युह की पहचान सदिश से की गई उसके पास वह संपत्ति है

जहां बाईं ओर हमारे पास साधारण आव्युह गुणन है। यह संकेत करता है तिरछा-सममित आव्युह के शून्य समिष्ट में है जिसके साथ इसकी पहचान की जाती है, क्योंकि

लाई अलजेब्रा पर नोट

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

अर्थात्, कासिमिर अपरिवर्तनीय द्वारा दिया गया है

एकात्मक अघुलनशील लाई अलजेब्रा प्रतिनिधित्व के लिए Dj, इस अपरिवर्तनीय के अभिलाक्षणिक मान ​​​​वास्तविक और असतत हैं, और प्रत्येक प्रतिनिधित्व की विशेषता रखते हैं, जो कि आयामीता का परिमित आयामी है . अर्थात इस कासिमिर ऑपरेटर के अभिलाक्षणिक मान ​​हैं

जहाँ j पूर्णांक या अर्ध-पूर्णांक है, और इसे स्पिन (भौतिकी) या कोणीय गति के रूप में जाना जाता है।

तो, ऊपर प्रदर्शित 3 × 3 जनरेटर L ट्रिपलेट (स्पिन 1) प्रतिनिधित्व पर कार्य करते हैं, जबकि नीचे 2 × 2 जनरेटर, t, स्पिनर (स्पिन-1/2) प्रतिनिधित्व पर कार्य करते हैं। क्रोनकर उत्पाद लेकर D1/2 स्वयं के साथ बार-बार, कोई भी सभी उच्चतर अघुलनशील अभ्यावेदन का निर्माण कर सकता है Dj. अर्थात्,इच्छानुसार से बड़े के लिए, तीन स्थानिक आयामों में उच्च स्पिन सिस्टम के लिए परिणामी जनरेटर j, इन स्पिन ऑपरेटर और सीढ़ी ऑपरेटरों का उपयोग करके गणना की जा सकती है।

प्रत्येक एकात्मक अघुलनशील अभ्यावेदन के लिए Dj समतुल्य है, Dj−1. सभी अनंत-आयामी इरेड्यूसबल निरूपण गैर-एकात्मक होना चाहिए, क्योंकि समूह कॉम्पैक्ट है।

क्वांटम यांत्रिकी में, कासिमिर अपरिवर्तनीय कोणीय-संवेग-वर्ग ऑपरेटर है; स्पिन के पूर्णांक मान j बोसॉन को चिह्नित करता है, जबकि अर्ध-पूर्णांक फरमिओन्स को महत्व देता है। ऊपर उपयोग किए गए स्क्यू-हर्मिटियन आव्युह आव्युह को स्पिन ऑपरेटरों के रूप में उपयोग किया जाता है, उन्हें गुणा करने के बाद i, इसलिए वे अब हर्मिटियन आव्युह हैं (पॉली आव्युह की प्रकार )। इस प्रकार, इस भाषा में,

और इसलिए

इनके लिए स्पष्ट अभिव्यक्तियाँ Dj हैं,

जहाँ j इच्छानुसार है और .

उदाहरण के लिए, स्पिन के लिए परिणामी स्पिन आव्युह 1() हैं

ध्यान दें, चूँकि, ये उपरोक्त की समानता में समतुल्य, किन्तु भिन्न आधार, गोलाकार आधार आव्युह में परिवर्तन कैसे हैं iLकार्टेशियन आधार पर।[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) संगत लाई अलजेब्रा है , और अलग से सिद्ध किया जाना चाहिए।

प्रमाण की कठिनाई का स्तर इस बात पर निर्भर करता है कि आव्युह समूह लाई अलजेब्रा को कैसे परिभाषित किया जाता है। हॉल (2003) लाई अलजेब्रा को आव्यूहों के समुच्चय के रूप में परिभाषित करता है

जिस स्थितियों में यह साधारित है, वह हल्का होता है। रॉसमैन (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 के माध्यम से z अक्ष के रूप में u के साथ, , नए आधार में रोटेशन आव्युह का अंतिम स्तंभ और पंक्ति शून्य होगी।

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

वह SO(3) के लिए BCH सूत्र में अनंत विस्तार को सघन रूप में कम कर देता है,

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

त्रिकोणमितीय गुणांक
वह (α, β, γ) द्वारा दिए गए हैं

कहाँ

के लिए

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

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

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

इस बात पर जोर देने के लिए कि यह लाई अलजेब्रा पहचान है।

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

एसयू(2) स्थितियों

समान 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-गोले S3 → SO(3) के साथ (चतुर्भुज और स्थानिक घुमाव देखें)
  • ज्यामितीय बीजगणित में रोटर के रूप में (गणित)
  • तीन निश्चित अक्षों के बारे में तीन घुमावों के अनुक्रम के रूप में; यूलर कोण देखें।

गोलाकार हार्मोनिक्स

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

यहाँ गोलाकार हार्मोनिक्स हैं। इसके तत्व वर्गाकार पूर्णांक जटिल-मूल्यवान फलन हैं[nb 5] जो की स्फेरे पर हैं। इस स्थान पर आंतर गुणन से प्रदान किया जाता है।

 

 

 

 

(H1)

यदि f इकाई क्षेत्र S2 पर परिभाषित इच्छानुसार वर्ग पूर्णांक फलन है, तो इसे इस प्रकार व्यक्त किया जा सकता है[18]

 

 

 

 

(H2)

जहां विस्तार गुणांक दिए गए हैं

 

 

 

 

(H3)

लोरेंत्ज़ समूह क्रिया SO(3) की प्रतिबंधित होती है और इसे निम्नलिखित रूप में व्यक्त किया जा सकता है:

 

 

 

 

(H4)

यह क्रिया एकात्मक अर्थात् एकात्मक है

 

 

 

 

(H5)

D() को ऊपर दिए गए D(m, n) का क्लेबश-गॉर्डन गुणांकका उपयोग करके प्राप्त किया जा सकता है, लेकिन उन्हें विषम-आयामी su(2) प्रतिष्ठान के एक विस्तृत (यहां, 3-आयामी सही है 𝖘𝖔(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) को E+(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.

ग्रन्थसूची