चतुर्विम यूक्लिडीन समष्टि में घूर्णन

गणित में, चार-आयामी यूक्लिडीय स्थल में एक निश्चित बिंदु के चारों ओर घूर्णन के समूह (गणित) को SO(4) द्वारा निरूपित किया जाता है। नाम इस तथ्य से आता है कि यह क्रम 4 का विशेष आयतीय समूह है।

इस लेख में घूर्णन (गणित) का अर्थ है घूर्णी विस्थापन। विशिष्टता के लिए, घूर्णन कोणों को खंड [0, π] में माना जाता है सिवाय जहां उल्लेख किया गया हो या अन्यथा संदर्भ द्वारा स्पष्ट रूप से निहित हो।

स्थिर तल वह तल होता है जिसके लिए तल का प्रत्येक सदिश घूर्णन के बाद अपरिवर्तित रहता है। एक अपरिवर्तनीय तल एक तल है जिसके लिए तल में प्रत्येक सदिश घूर्णन के बाद तल में रहता है, हालांकि यह घूर्णन से प्रभावित हो सकता है।

4D घुमावों की ज्यामिति

चार आयामी घुमाव दो प्रकार के होते हैं: साधारण घुमाव और दोहरा घुमाव।

साधारण घुमाव

एक घूर्णन केंद्र O के चारों ओर एक साधारण घुमाव R एक पूरे तल A को O (अक्ष-तल) के माध्यम से तय करता है। प्रत्येक तल B जो पूरी तरह से आयतीय है [a] A को एक निश्चित बिंदु P पर काटता है। ऐसा प्रत्येक बिंदु P, B में R द्वारा प्रेरित 2D घुमाव का केंद्र है। इन सभी 2D घुमावों का घूर्णन कोण α समान है।

अक्ष-तल A में O से अर्ध-रेखाएँ विस्थापित नहीं होती हैं; O आयतीय से A तक की आधी-रेखाएँ α के माध्यम से विस्थापित होती हैं; अन्य सभी अर्ध-रेखाएँ α से कम कोण के माध्यम से विस्थापित होती हैं.

युग्म घूर्णन

Tesseract , त्रिविम प्रक्षेपण में, युग्म घूर्णन में

प्रत्येक घूर्णन के लिए R 4-स्थल (उत्पत्ति को ठीक करना) में, अचर 2-त्रिविम की कम से कम एक जोड़ी है A और B जिनमें से प्रत्येक अपरिवर्तनीय है और जिसका प्रत्यक्ष योग A ⊕ B सभी 4-स्थलीय है। अतः इनमें से किसी भी तल R पर काम करने से उस तल का एक सामान्य घुमाव पैदा होता है। लगभग सभी R (3-आयामी सबसेट को छोड़कर घूर्णन के सभी 6-आयामी सम्मुच्चय) के लिए, घूर्णन कोण α तल में A और β तल में B - दोनों को अशून्य माना जाता है - अलग हैं। असमान घूर्णन कोण α और β संतुष्टि देने वाला −π < α, β < π लगभग R के द्वारा विशिष्ट रूप से निर्धारित किया गया है। यह मानते हुए कि 4-स्थल उन्मुख है, फिर 2-तलों A और B का झुकाव इस अभिविन्यास के अनुरूप दो तरह से चुना जा सकता है। यदि घूर्णन कोण असमान (α ≠ β) हैं, R कभी-कभी युग्म घूर्णन कहा जाता है।

युग्म घूर्णन की उस स्थिति में, A और B अपरिवर्तनीय तलों की एकमात्र जोड़ी है, और मूल से आधी-रेखाएँ α और β क्रमशः हैं A, B माध्यम से विस्थापित होते हैं , और मूल से आधी-रेखाएँ जो A या B में नहीं हैं, उन्हें α और β के बीच के कोणों से विस्थापित किया जाता है.

आइसोक्लिनिक घुमाव

यदि एक दोहरे घुमाव के घूर्णन कोण बराबर हैं, तो केवल दो के स्थान पर असीम रूप से कई अपरिवर्तनीय (गणित) तल हैं, और सभी अर्ध-रेखाएँ O उसी कोण से विस्थापित होते हैं। इस तरह के घुमावों को आइसोक्लिनिक या समकोणीय घुमाव या क्लिफर्ड विस्थापन कहा जाता है। सावधान रहें कि सभी तलों के माध्यम से नहीं O आइसोक्लिनिक घुमावों के तहत अपरिवर्तनीय हैं; केवल वे समतल जो एक अर्ध-रेखा द्वारा फैलाए जाते हैं और संबंधित विस्थापित अर्ध-रेखा अपरिवर्तनीय होते हैं।

इसे देखने के लिए, एक आइसोक्लिनिक घूर्णन आर पर विचार करें, और OU, OX, OY, OZ पर पारस्परिक रूप से लंबवत अर्ध-रेखाओं के एक अभिविन्यास-संगत आदेशित सम्मुच्चय लें (OUXYZ के रूप में चिह्नित) जैसे कि OU और OX एक अपरिवर्तनीय तल फैलाते हैं, और इसलिए OA और OZ भी एक अपरिवर्तनीय तल का विस्तार करते हैं। अब मान लें कि केवल घूर्णन कोण α निर्दिष्ट है। फिर OUX और OYZ में घूर्णन इंद्रियों के आधार पर घूर्णन कोण α के साथ विमानों OUX और OYZ में सामान्य रूप से चार आइसोक्लिनिक घुमाव होते हैं।.

हम करार बनाते हैं कि OU से OX तक और OY से OZ तक घूर्णन इंद्रिय को सकारात्मक माना जाता है। फिर हमारे पास चार घुमाव R1 = (+α, +α), R2 = (−α, −α), R3 = (+α, −α) और R4 = (−α, +α) हैं। R1 और R2 एक दूसरे के व्युत्क्रम हैं; इसी प्रकार R3 और R4 एक दूसरे के व्युत्क्रम हैं। जब तक α 0 और π के बीच होता है, तब तक ये चार घुमाव अलग-अलग होंगे।

समान चिह्नों वाले समनतिक घुमावों को बाएँ-समनत वक्र के रूप में निरूपित किया जाता है; जिनके विपरीत चिन्ह यथार्थ-आइसोक्लिनिक हैं। बाएँ- और दाएँ-आइसोक्लिनिक घुमावों को क्रमशः बाएँ और दाएँ-गुणन द्वारा इकाई चतुष्कोणों द्वारा दर्शाया जाता है; नीचे चतुष्कोणों से संबंधित अनुच्छेद देखें।

सिवाय इसके कि चार घुमाव जोड़ीदार अलग-अलग हैं α = 0 या α = π. कोण α = 0 अस्मिता घूर्णन से समानता रखती है; α = π अस्मिता आव्यूह के ऋणात्मक द्वारा दिए गए एक बिंदु में व्युत्क्रम से समानता रखती है। SO(4) के ये दो तत्व ही ऐसे हैं जो एक साथ बाएं और दाएं-आइसोक्लिनिक हैं।

उपरोक्त के रूप में परिभाषित बाएं और दाएं-आइसोक्लिनिक इस बात पर निर्भर करता है कि किस विशिष्ट आइसोक्लिनिक घूर्णन का चयन किया गया था। हालांकि, जब अन्य आइसोक्लिनिक घूर्णन R' अपने स्वयं के अक्षों OU', OX', OY', OZ' के साथ चुना जाता है, तो कोई हमेशा U', X', Y', Z' का क्रम चुन सकता है जैसे एक घूर्णन-परावर्तन के स्थान पर एक घूर्णन द्वारा OU′X′Y′Z′ में परिवर्तित OUXYZ हो सकता है (अर्थात, आदेशित आधार OU′, OX′, OY′, OZ′ भी अभिविन्यास के समान निश्चित विकल्प के अनुरूप है O, X, OY, OZ के रूप में)। इसलिए, एक बार एक अभिविन्यास (अर्थात, अक्षों की एक प्रणाली OUXYZ जिसे सार्वभौमिक रूप से दाएं हाथ के रूप में चिह्नित किया जाता है) का चयन किया जाता है, एक विशिष्ट आइसोक्लिनिक घूर्णन के बाएं या दाएं चरित्र को निर्धारित कर सकता है।

SO(4) की समूह संरचना

SO (4) एक गैर-अनुक्रमणीय संक्षिप्त 6-आयामी लाई समूह है।

घूर्णन केंद्र के माध्यम से प्रत्येक तल O SO(2) के क्रम विनिमेयउपसमूह समरूपी का अक्ष-तल है। ये सभी उपसमूह SO(4) में परस्पर संयुग्मित हैं।

पूरी तरह से आयतीयिटी तलों की प्रत्येक जोड़ी के माध्यम से O SO (4) समरूपी के एक क्रम विनिमय उपसमूह के अपरिवर्तनीय (गणित) तलों की जोड़ी SO(2) × SO(2) है।

ये समूह SO(4) के अधिकतम स्थूलक हैं, जो सभी SO(4) में परस्पर संयुग्मी हैं। क्लिफोर्ड स्थूलक भी देखें।

सभी बाएं-आइसोक्लिनिकक घुमाव SO(4) का एक गैर-अनुवर्ती उपसमूह S³_L बनाते हैं, जो गुणक समूह S³ के लिए तुल्याकारी चतुष्कोणों की इकाई है। इसी तरह सभी समकोणीय घूर्णन एक उपसमूह S³_R बनाते हैं, दोनों S³_L और S³_R SO(4) के अधिकतम उपसमूह हैं।

प्रत्येक बाएँ-समनतिक घुमाव क्रमविनिमेय प्रत्येक दाएँ-समनतिक घूर्णन के साथ होता है। इसका तात्पर्य है किसमूहों का प्रत्यक्ष उत्पाद S³_L × S³_R मौजूद है सामान्य उपसमूहों S³_L और S³_R के साथ; दोनों संबंधित कारक समूह प्रत्यक्ष उत्पाद के अन्य कारक के लिए समरूपी हैं, यानी समरूपी टू S³. (यह SO(4) या इसका उपसमूह नहीं है, क्योंकि S³_L और S³_R असंबद्ध नहीं हैं: पहचान I और केंद्रीय उलटा −I प्रत्येक दोनों S³_L और S³_R का है।)

प्रत्येक 4D घूर्णन A दो प्रकार से बाएँ और दाएँ समनतिक घुमावों का गुणनफल A_L और A_R है A_L और A_R एक साथ केंद्रीय व्युत्क्रम तक निर्धारित होते हैं, अर्थात जब दोनों A_L और A_R उनके उत्पाद के केंद्रीय व्युत्क्रम से A गुणा किया जाता है फिर।

इसका तात्पर्य है कि S3L × S3R SO(4) का सार्वभौमिक आवरण समूह है - इसका अद्वितीय दोहरा आवरण - और यह कि S3L और S3R SO(4) के सामान्य उपसमूह हैं। सर्वसमिका घूर्णन I और केंद्रीय व्युत्क्रम -I क्रम 2 का एक समूह C2 बनाता है, जो SO(4) और S3L और S3R दोनों का केंद्र है। किसी समूह का केंद्र उस समूह का एक सामान्य उपसमूह होता है। SO(4) में C2 का कारक समूह SO(3) × SO(3) के लिए तुल्याकारी है। S3L बटा C2 और S3R बटा C2 के कारक समूह प्रत्येक SO(3) के समरूपी हैं। इसी तरह, S3L द्वारा SO(4) और S3R द्वारा SO(4) के कारक समूह SO(3) के लिए प्रत्येक समरूपी हैं।

SO(4) की सांस्थिति वही है जो लाइ समूह की है SO(3) × Spin(3) = SO(3) × SU(2), अर्थात् स्थल $\mathbb {P} ^{3}\times \mathbb {S} ^{3}$ जहाँ $\mathbb {P} ^{3}$ आयाम 3 और का वास्तविक प्रक्षेप्य स्थान $\mathbb {S} ^{3}$3-क्षेत्र है। हालांकि, यह उल्लेखनीय है कि, एक लाइ समूह के रूप में, SO(4) लाइ समूहों का प्रत्यक्ष उत्पाद नहीं है, और इसलिए यह समरूप SO(3) × Spin(3) = SO(3) × SU(2) नहीं है।

सामान्य रूप से घूर्णन समूहों के बीच SO(4) की विशेष संपत्ति

विषम-आयामी घूर्णन समूहों में केंद्रीय उलटा नहीं होता है और सरल समूह होते हैं।

सम-आयामी घूर्णन समूहों में केंद्रीय उलटा होता है −I और समूह है C₂ = {I, −I} एक समूह के उनके केंद्र के रूप में। यहां तक ​​कि n ≥ 6 के लिए, SO(n) लगभग सरल है क्योंकि कारक समूह SO(n)/C₂ इसके केंद्र द्वारा SO(n) का एक साधारण समूह है।

SO(4) अलग है: SO(4) के किसी भी तत्व द्वारा यूक्लिडीय स्थल में आइसोमेट्री का कोई संयुग्मन नहीं है जो बाएं और दाएं-आइसोक्लिनिक घुमाव को एक दूसरे में बदल देता है। परावर्तन (गणित) संयुग्मन द्वारा एक बाएं-आइसोक्लिनिक घुमाव को दाएं-आइसोक्लिनिक में बदल देता है, और इसके विपरीत। इसका तात्पर्य है कि निश्चित बिंदु वाले सभी आइसोमेट्री के समूह ओ (4) के तहत O अलग उपसमूह S³_L और S³_R एक दूसरे के संयुग्मी हैं, और इसलिए O(4) के सामान्य उपसमूह नहीं हो सकते। 5D घूर्णन समूह SO(5) और सभी उच्च घूर्णन समूहों में उपसमूह आइसोमॉर्फिक से O(4) होते हैं। SO(4) की तरह, सभी समान-आयामी घूर्णन समूहों में आइसोक्लिनिक घूर्णन होते हैं। लेकिन SO(4) के विपरीत, SO(6) और सभी उच्च सम-आयामी घूर्णन समूहों में एक ही कोण के माध्यम से किसी भी दो आइसोक्लिनिक घूर्णन संयुग्मित होते हैं। सभी आइसोक्लिनिक घुमावों का सम्मुच्चय SO (2) का एक उपसमूह N भी नहीं है), अकेले एक सामान्य उपसमूह दें।

4D घुमावों का बीजगणित

SO(4) को सामान्यतः अभिविन्यास (सदिश स्थान) के समूह के साथ पहचाना जाता है - वास्तविक संख्याओं पर आंतरिक उत्पाद के साथ 4 D सदिश स्थल के समदूरीकता रैखिक प्रतिचित्रण को संरक्षित करता है।

ऐसी जगह SO(4) में प्रसामान्य लांबिक आधार (रैखिक बीजगणित) के संबंध में निर्धारक +1 के साथ वास्तविक 4-क्रम आयतीय आव्यूह के समूह के रूप में दर्शाया गया है।

आइसोक्लिनिक अपघटन

इसके आव्यूह द्वारा दिया गया एक 4D घूर्णन एक बाएं-आइसोक्लिनिक और एक दाएँ-आइसोक्लिनिक घूर्णन में विघटित होता है निम्नलिखित नुसार:

मान लीजिये

$A={\begin{pmatrix}a_{00}&a_{01}&a_{02}&a_{03}\\a_{10}&a_{11}&a_{12}&a_{13}\\a_{20}&a_{21}&a_{22}&a_{23}\\a_{30}&a_{31}&a_{32}&a_{33}\\\end{pmatrix}}$

यादृच्छिक ढंग से प्रसामान्य लांबिक आधार के संबंध में इसका आव्यूह बनते हैं।

इससे तथाकथित सहयोगी आव्यूह की गणना करें

$M={\frac {1}{4}}{\begin{pmatrix}a_{00}+a_{11}+a_{22}+a_{33}&+a_{10}-a_{01}-a_{32}+a_{23}&+a_{20}+a_{31}-a_{02}-a_{13}&+a_{30}-a_{21}+a_{12}-a_{03}\\a_{10}-a_{01}+a_{32}-a_{23}&-a_{00}-a_{11}+a_{22}+a_{33}&+a_{30}-a_{21}-a_{12}+a_{03}&-a_{20}-a_{31}-a_{02}-a_{13}\\a_{20}-a_{31}-a_{02}+a_{13}&-a_{30}-a_{21}-a_{12}-a_{03}&-a_{00}+a_{11}-a_{22}+a_{33}&+a_{10}+a_{01}-a_{32}-a_{23}\\a_{30}+a_{21}-a_{12}-a_{03}&+a_{20}-a_{31}+a_{02}-a_{13}&-a_{10}-a_{01}-a_{32}-a_{23}&-a_{00}+a_{11}+a_{22}-a_{33}\end{pmatrix}}$

M श्रेणी (रैखिक बीजगणित) एक है और ईकाई यूक्लिडीय मानदंड का 16 D सदिश के रूप में है यदि और केवल यदि A वास्तव में एक 4D घूर्णन आव्यूह है। इस स्तिथि में वास्तविक संख्याएं a, b, c, d और p, q, r, s मौजूद हैं। ऐसे है कि

$M={\begin{pmatrix}ap&aq&ar&as\\bp&bq&br&bs\\cp&cq&cr&cs\\dp&dq&dr&ds\end{pmatrix}}$

और

$(ap)^{2}+\cdots +(ds)^{2}=\left(a^{2}+b^{2}+c^{2}+d^{2}\right)\left(p^{2}+q^{2}+r^{2}+s^{2}\right)=1.$

a, b, c, d और p, q, r, s के ठीक दो सम्मुच्चय ऐसे हैं कि a² + b² + c² + d² = 1 और p² + q² + r² + s² = 1। वे एक दूसरे के विपरीत हैं।

घूर्णन आव्यूह तब बराबर होता है

यह सूत्र वान एल्फ्रिनखोफ (1897) के कारण है।

इस अपघटन में पहला कारक बाएं-आइसोक्लिनिक घूर्णन का प्रतिनिधित्व करता है, दूसरा कारक दाएं-आइसोक्लिनिक घूर्णन का प्रतिनिधित्व करता है। कारकों को नकारात्मक चौथे क्रम की पहचान आव्यूह, यानी केंद्रीय व्युत्क्रमण तक निर्धारित किया जाता है।

चतुष्कोणों से संबंध

कार्तीय निर्देशांक (u, x, y, z) के साथ 4-आयामी स्थल में एक बिंदु चतुर्भुज P = u + xi + yj + zk द्वारा दर्शाया जा सकता है।

एक बाएं-आइसोक्लिनिकिक घुमाव को एक इकाई चतुष्कोण Q_L = a + bi + cj + dk द्वारा बाएं-गुणन द्वारा दर्शाया जाता है। आव्यूह-सदिश भाषा में निम्न है

${\begin{pmatrix}u'\\x'\\y'\\z'\end{pmatrix}}={\begin{pmatrix}a&-b&-c&-d\\b&\;\,\,a&-d&\;\,\,c\\c&\;\,\,d&\;\,\,a&-b\\d&-c&\;\,\,b&\;\,\,a\end{pmatrix}}{\begin{pmatrix}u\\x\\y\\z\end{pmatrix}}.$

इसी तरह, एक दाएँ-आइसोक्लिनिक घूर्णन को ईकाई क्वाटरनियन द्वारा दाएँ-गुणन Q_R = p + qi + rj + sk द्वारा दर्शाया जाता है, जो आव्यूह-सदिश रूप में निम्न है

${\begin{pmatrix}u'\\x'\\y'\\z'\end{pmatrix}}={\begin{pmatrix}u\\x\\y\\z\end{pmatrix}}{\begin{pmatrix}p&-q&-r&-s\\q&\;\,\,p&\;\,\,s&-r\\r&-s&\;\,\,p&\;\,\,q\\s&\;\,\,r&-q&\;\,\,p\end{pmatrix}}.$

पिछले अनुभाग में यह दिखाया गया है कि कैसे एक सामान्य 4D घूर्णन बाएं और दाएं-आइसोक्लिनिक कारकों में विभाजित होता है।

चतुष्क भाषा में वैन एल्फ्रिनखोफ का सूत्र पढ़ता है कि

$u'+x'i+y'j+z'k=(a+bi+cj+dk)(u+xi+yj+zk)(p+qi+rj+sk),$

या, प्रतीकात्मक रूप में,

$P'=Q_{\mathrm {L} }PQ_{\mathrm {R} }.\,$

जर्मन गणितज्ञ फेलिक्स क्लेन के अनुसार यह सूत्र 1854 में केली को पहले से ही ज्ञात था.

चतुष्क गुणन साहचर्य है। इसलिए,

$P'=\left(Q_{\mathrm {L} }P\right)Q_{\mathrm {R} }=Q_{\mathrm {L} }\left(PQ_{\mathrm {R} }\right),\,$

जो दर्शाता है कि बाएँ-समनतिक और दाएँ-समनतिक घुमाव चलते हैं।

4D घूर्णन मेट्रिसेस के आइगेनवैल्यू

एक 4D घूर्णन आव्यूह के चार आइगेनवैल्यू ​​सामान्यतः ईकाई परिमाण के जटिल संख्याओं के दो संयुग्म जोड़े के रूप में होते हैं। यदि एक ईगेनवेल्यू वास्तविक है, तो यह ±1 होना चाहिए, क्योंकि घूर्णन एक सदिश के परिमाण को अपरिवर्तित छोड़ देता है। उस आइगेनवैल्यू का संयुग्म भी एकता है, जो आइगेन्वेक्टर्स की एक जोड़ी प्रदान करता है जो एक निश्चित तल को परिभाषित करता है, और इसलिए घूर्णन सरल है। क्वाटरनियन संकेतन में, SO(4) में एक उचित (यानी, गैर-प्रतिलोम) घूर्णन एक उचित सरल घूर्णन है यदि और केवल यदि ईकाई क्वाटरनियंस के यथार्थ हिस्से Q_L और Q_R परिमाण में समान हैं और समान चिन्ह हैं। यदि वे दोनों शून्य हैं, तो घूर्णन के सभी आइगेनवैल्यू ​​​​एकांक हैं, और घूर्णन अशक्त घुमाव है। यदि के असली हिस्से Q_L और Q_R समान नहीं हैं तो सभी ईगेनवेल्यूज जटिल हैं, और घूर्णन एक दोहरा घूर्णन है।

3D घूर्णन के लिए यूलर-रोड्रिग्स सूत्र

हमारे साधारण 3D स्थल को समन्वय प्रणाली UXYZ के साथ 4D स्थल के समन्वय प्रणाली 0XYZ के साथ आसानी से उप-स्थान के रूप में माना जाता है। इसके घूर्णन समूह SO(3) की पहचान SO(4) के उपसमूह से की जाती है जिसमें आव्यूह होते हैं

${\begin{pmatrix}1&\,\,0&\,\,0&\,\,0\\0&a_{11}&a_{12}&a_{13}\\0&a_{21}&a_{22}&a_{23}\\0&a_{31}&a_{32}&a_{33}\end{pmatrix}}.$

पूर्ववर्ती उपखंड में वान एल्फ्रिन्खोफ के सूत्र में तीन आयामों p = a, q = −b, r = −c, s = −d के लिए, या चतुष्कोणीय प्रतिनिधित्व Q_R = Q_L′ = Q_L⁻¹में यह प्रतिबंध होता है।

3D घूर्णन आव्यूह तब 3D घूर्णन के लिए यूलर-रॉड्रिक्स सूत्र बन जाता है

${\begin{pmatrix}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{pmatrix}}={\begin{pmatrix}a^{2}+b^{2}-c^{2}-d^{2}&2(bc-ad)&2(bd+ac)\\2(bc+ad)&a^{2}-b^{2}+c^{2}-d^{2}&2(cd-ab)\\2(bd-ac)&2(cd+ab)&a^{2}-b^{2}-c^{2}+d^{2}\end{pmatrix}},$

जो इसके यूलर-रोड्रिग्स मापदण्ड द्वारा 3D घूर्णन a, b, c, d का प्रतिनिधित्व है।

इसी चतुर्धातुक सूत्र P′ = QPQ⁻¹, जहाँ Q = Q_L, या, विस्तारित रूप में:

$x'i+y'j+z'k=(a+bi+cj+dk)(xi+yj+zk)(a-bi-cj-dk)$

विलियम रोवन हैमिल्टन - आर्थर केली सूत्र के रूप में जाना जाता है।

हॉपफ निर्देशांक

अतिगोलाकार निर्देशांक के उपयोग से 3D स्थल में घूर्णन को गणितीय रूप से अधिक सुगम बनाया जाता है। 3D में किसी भी घुमाव को घूर्णन के एक निश्चित अक्ष और उस अक्ष के लम्बवत् एक अपरिवर्तनीय तल द्वारा अभिलक्षित किया जा सकता है। व्यापकता के नुकसान के बिना, हम X-तल को निश्चर तल और z-अक्ष को निर्धारित अक्ष के रूप में ले सकते हैं। चूंकि त्रिज्यीय दूरियां घूर्णन से प्रभावित नहीं होती हैं, हम निश्चित अक्ष और अपरिवर्तनीय तल को संदर्भित गोलाकार निर्देशांक द्वारा इकाई क्षेत्र (2-गोले) पर इसके प्रभाव से एक घूर्णन को चिह्नित कर सकते हैं:

${\begin{aligned}x&=\sin \theta \cos \phi \\y&=\sin \theta \sin \phi \\z&=\cos \theta \end{aligned}}$

चूंकि x² + y² + z² = 1, बिंदु 2-गोले पर स्थित हैं। z-अक्ष के बारे में कोण φ द्वारा घुमाए गए {θ0, φ0} पर एक बिंदु को केवल {θ0, φ0 + φ} द्वारा निर्दिष्ट किया जाता है। जबकि अतिगोलाकार निर्देशांक 4D घुमावों से निपटने में भी उपयोगी होते हैं, 4D के लिए और भी अधिक उपयोगी समन्वय प्रणाली हॉफ निर्देशांक {ξ1, η, ξ2}, [5] द्वारा प्रदान की जाती है, जो 3 पर एक स्थिति निर्दिष्ट करने वाले तीन कोणीय निर्देशांक का एक सम्मुच्चय है। उदाहरण के लिए:

${\begin{aligned}u&=\cos \xi _{1}\sin \eta \\z&=\sin \xi _{1}\sin \eta \\x&=\cos \xi _{2}\cos \eta \\y&=\sin \xi _{2}\cos \eta \end{aligned}}$

चूंकि u² + x² + y² + z² = 1, बिंदु 3-गोले पर स्थित हैं।

4D स्थल में, उत्पत्ति के बारे में प्रत्येक घुमाव में दो अपरिवर्तनीय तल होते हैं जो एक दूसरे के लिए पूरी तरह से आयतीय होते हैं और मूल पर प्रतिच्छेद करते हैं, और दो स्वतंत्र कोणों ξ₁ और ξ₂ द्वारा घुमाए जाते हैं। व्यापकता के नुकसान के बिना, हम क्रमशः uz- और xy-तल इन अपरिवर्तनीय तलों के रूप में चुन सकते हैं। एक बिंदु के 4D में घूर्णन {ξ₁₀, η₀, ξ₂₀} कोणों ξ₁ और ξ₂ के माध्यम से बस हॉफ निर्देशांक {ξ₁₀ + ξ₁, η₀, ξ₂₀ + ξ₂} में व्यक्त किया जाता है।

4D घुमावों का दृश्य

क्लिफर्ड स्थूलक पर एक बिंदु के प्रक्षेपवक्र:
चित्र 1: सरल घुमाव (काला) और बाएँ और दाएँ आइसोक्लिनिक घुमाव (लाल और नीला)
चित्र 2: 1:5 के अनुपात में कोणीय विस्थापन के साथ एक सामान्य घुमाव
चित्र 3: 5:1 के अनुपात में कोणीय विस्थापन के साथ एक सामान्य घुमाव
सभी छवियां त्रिविम अनुमान हैं।

3D स्थल में हर घुमाव में घूर्णन द्वारा अपरिवर्तित एक निश्चित अक्ष होता है। घूर्णन की धुरी और उस अक्ष में घूर्णन के कोण को निर्दिष्ट करके घूर्णन पूरी तरह से निर्दिष्ट किया गया है। व्यापकता के नुकसान के बिना, इस अक्ष को कार्तीय समन्वय प्रणाली के z-अक्ष के रूप में चुना जा सकता है, जिससे घूर्णन के सरल दृश्य की अनुमति मिलती है।।

3D स्थल में, गोलाकार निर्देशांक {θ, φ} 2-क्षेत्र की प्राचलिक अभिव्यक्ति के रूप में देखा जा सकता है। निश्चित के लिए θ वे 2-गोले पर मंडलियों का वर्णन करते हैं जो लंबवत हैं। z-अक्ष और इन वृत्तों को गोले पर एक बिंदु के प्रक्षेपवक्र के रूप में देखा जा सकता है। एक बिंदु {θ₀, φ₀} गोले पर, चारों ओर एक घूर्णन के तहत z-अक्ष, एक प्रक्षेपवक्र का अनुसरण करेगा कोण {θ₀, φ₀ + φ} के रूप में φ भिन्न होता है। प्रक्षेपवक्र को समय में घूर्णन प्राचलिक के रूप में देखा जा सकता है, जहां घूर्णन का कोण समय में रैखिक है: φ = ωt, ω के साथ "कोणीय वेग"।

3D स्तिथि के अनुरूप, 4D स्थल में प्रत्येक घूर्णन में कम से कम दो अपरिवर्तनीय धुरी-तल होते हैं जो घूर्णन द्वारा अपरिवर्तित छोड़ दिए जाते हैं और पूरी तरह से आयतीय होते हैं (यानी वे एक बिंदु पर छेड़छाड़ करते हैं)। घूर्णन पूरी तरह से धुरी तलों और उनके चारों ओर घूर्णन के कोणों को निर्दिष्ट करके निर्दिष्ट किया गया है। व्यापकता के नुकसान के बिना, इन धुरी तलों को चुना जा सकता है uz- और xy-एक कार्तीय समन्वय प्रणाली के तल, घूर्णन के एक सरल दृश्य की अनुमति देते हैं।

4D स्थल में, हॉफ कोण {ξ₁, η, ξ₂} 3-गोले को मानकीकरण करें। निश्चितη के लिए वे परिचालित एक स्थूलक ξ₁ और ξ₂ के साथ η = π/4 का वर्णन करते हैं, साथ xy- और uz-तलों में क्लिफर्ड टोरस की विशेष स्तिथि है। ये तोरी 3D-स्थल में पाई जाने वाली सामान्य तोरी नहीं हैं। जबकि वे अभी भी 2D सतह हैं, वे 3-गोले में सन्निहित हैं। 3-गोले को पूरे यूक्लिडीय 3डी-स्थल पर प्रक्षेपित त्रिविम प्रक्षेपण हो सकता है, और इन तोरी को फिर क्रांति की सामान्य टोरी के रूप में देखा जाता है। यह देखा जा सकता है कि एक बिंदु द्वारा निर्दिष्ट {ξ₁₀, η₀, ξ₂₀} के साथ परिक्रमा कर रहा है uz- और xy-त्रिविम अचर द्वारा निर्दिष्ट स्थूलक पर रहेगा η₀. एक बिंदु के प्रक्षेपवक्र को समय के कार्य के रूप में लिखा जा सकता है {ξ₁₀ + ω₁t, η₀, ξ₂₀ + ω₂t} और इसके संबंधित स्थूलक पर त्रिविम रूप से प्रक्षेपित किया गया है, जैसा कि नीचे दिए गए आंकड़ों में है। इन आंकड़ों में, प्रारंभिक बिंदु {0, π/4, 0} क्लिफर्ड स्थूलक पर लिया जाता है। चित्र 1 में, दो सरल घूर्णन प्रक्षेपवक्र काले रंग में दिखाए गए हैं, जबकि एक बाएँ और दाएँ आइसोक्लिनिक प्रक्षेपवक्र क्रमशः लाल और नीले रंग में दिखाए गए हैं। चित्र 2 में, एक सामान्य घुमाव जिसमें ω₁ = 1 और ω₂ = 5 दिखाया गया है, जबकि चित्र 3 में, एक सामान्य घुमाव जिसमें ω₁ = 5 और ω₂ = 1 दिखाई जा रही है।

4D घूर्णन मेट्रिसेस उत्पन्न करना

रोड्रिग्स के घूर्णन सूत्र और केली सूत्र से चार आयामी घुमाव प्राप्त किए जा सकते हैं। मान लीजिये A एक 4 × 4 विषम सममित आव्यूह है। विषम सममित आव्यूह A के रूप में विशिष्ट रूप से विघटित किया जा सकता है

$A=\theta _{1}A_{1}+\theta _{2}A_{2}$

दो विषम सममित आव्यूह A₁ और A₂ में A₁A₂ = 0, A₁³ = −A₁ और A₂³ = −A₂ गुणों को संतुष्ट करना, जहाँ A ∓θ₁i और ∓θ₂i के आइगेनवैल्यू हैं। फिर, विषम सममित आव्यूह A₁ और A₂ से रोड्रिग्स के घूर्णन सूत्र और केली सूत्र द्वारा 4D घूर्णन आव्यूह प्राप्त किए जा सकते हैं।

मान लीजिये A आइगेनवैल्यू ​​​​के सम्मुच्चय के साथ एक 4 × 4 गैर-शून्य विषम सममित आव्यूह बनता है

$\left\{\theta _{1}i,-\theta _{1}i,\theta _{2}i,-\theta _{2}i:{\theta _{1}}^{2}+{\theta _{2}}^{2}>0\right\}.$

फिर A के रूप में विघटित किया जा सकता है

$A=\theta _{1}A_{1}+\theta _{2}A_{2}$

जहाँ A₁ और A₂ विषम-सममित आव्यूह हैं जो गुणों को संतुष्ट करते हैं

$A_{1}A_{2}=A_{2}A_{1}=0,\qquad {A_{1}}^{3}=-A_{1},\quad {\text{and}}\quad {A_{2}}^{3}=-A_{2}.$

इसके अलावा, विषम सममित आव्यूह A₁ और A₂ के रूप में विशिष्ट रूप से प्राप्त होते हैं

$A_{1}={\frac {{\theta _{2}}^{2}A+A^{3}}{\theta _{1}\left({\theta _{2}}^{2}-{\theta _{1}}^{2}\right)}}$

और

$A_{2}={\frac {{\theta _{1}}^{2}A+A^{3}}{\theta _{2}\left({\theta _{1}}^{2}-{\theta _{2}}^{2}\right)}}.$

फिर,

$R=e^{A}=I+\sin \theta _{1}A_{1}+\left(1-\cos \theta _{1}\right){A_{1}}^{2}+\sin \theta _{2}A_{2}+\left(1-\cos \theta _{2}\right){A_{2}}^{2}$

में एक घूर्णन आव्यूह E⁴ है, जो रोड्रिग्स के घूर्णन सूत्र द्वारा ईगेनवैल्यू के सम्मुचय के साथ उत्पन्न होता है

$\left\{e^{\theta _{1}i},e^{-\theta _{1}i},e^{\theta _{2}i},e^{-\theta _{2}i}\right\}.$

भी,

$R=(I+A)(I-A)^{-1}=I+{\frac {2\theta _{1}}{1+{\theta _{1}}^{2}}}A_{1}+{\frac {2{\theta _{1}}^{2}}{1+{\theta _{1}}^{2}}}{A_{1}}^{2}+{\frac {2\theta _{2}}{1+{\theta _{2}}^{2}}}A_{2}+{\frac {2{\theta _{2}}^{2}}{1+{\theta _{2}}^{2}}}{A_{2}}^{2}$

में एक घूर्णन आव्यूह है E⁴, जो केली के घूर्णन सूत्र द्वारा उत्पन्न होता है, जैसे कि आइगेनवैल्यू ​​​​का सम्मुचय R है,

$\left\{{\frac {\left(1+\theta _{1}i\right)^{2}}{1+{\theta _{1}}^{2}}},{\frac {\left(1-\theta _{1}i\right)^{2}}{1+{\theta _{1}}^{2}}},{\frac {\left(1+\theta _{2}i\right)^{2}}{1+{\theta _{2}}^{2}}},{\frac {\left(1-\theta _{2}i\right)^{2}}{1+{\theta _{2}}^{2}}}\right\}.$

उत्पादक घूर्णन आव्यूह को मूल्यों के संबंध में θ₁ और θ₂ वर्गीकृत किया जा सकता है निम्नलिखित नुसार:

1. यदि θ₁ = 0 और θ₂ ≠ 0 या इसके विपरीत, तब सूत्र सरल घुमाव उत्पन्न करते हैं;
2. यदि θ₁ और θ₂ अशून्य हैं और θ₁ ≠ θ₂, तब सूत्र दोहरा घुमाव उत्पन्न करते हैं;
3. यदि θ₁ और θ₂ अशून्य हैं और θ₁ = θ₂, तब सूत्र आइसोक्लिनिक घुमाव उत्पन्न करते हैं।

यह भी देखें

• लाप्लास-रेंज-लेन्ज़ सदिश
• लोरेंत्ज़ समूह
• आयतीय समूह
• आयतीय आव्यूह
• घूर्णन का तल
• पोंकारे समूह
• चतुर्भुज और स्थानिक घूर्णन

ग्रन्थसूची

• L. van Elfrinkhof: Eene eigenschap van de orthogonale substitutie van de vierde orde. Handelingen van het 6e Nederlandsch Natuurkundig en Geneeskundig Congres, Delft, 1897.
• Felix Klein: Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis. Translated by E.R. Hedrick and C.A. Noble. The Macmillan Company, New York, 1932.
• Henry Parker Manning: Geometry of four dimensions. The Macmillan Company, 1914. Republished unaltered and unabridged by Dover Publications in 1954. In this monograph four-dimensional geometry is developed from first principles in a synthetic axiomatic way. Manning's work can be considered as a direct extension of the works of Euclid and Hilbert to four dimensions.
• J. H. Conway and D. A. Smith: On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry. A. K. Peters, 2003.
• Hathaway, Arthur S. (1902). "Quaternion Space". Transactions of the American Mathematical Society. 3 (1): 46–59. doi:10.1090/S0002-9947-1902-1500586-2. JSTOR 1986315.
• Johan Ernest Mebius (2005). "A matrix-based proof of the quaternion representation theorem for four-dimensional rotations". arXiv:math/0501249.
• Johan Ernest Mebius (2007). "Derivation of the Euler-Rodrigues formula for three-dimensional rotations from the general formula for four-dimensional rotations". arXiv:math/0701759.
• P.H.Schoute: Mehrdimensionale Geometrie. Leipzig: G.J.Göschensche Verlagshandlung. Volume 1 (Sammlung Schubert XXXV): Die linearen Räume, 1902. Volume 2 (Sammlung Schubert XXXVI): Die Polytope, 1905.
• Stringham, Irving (1901). "On the geometry of planes in a parabolic space of four dimensions". Transactions of the American Mathematical Society. 2 (2): 183–214. doi:10.1090/s0002-9947-1901-1500564-2. JSTOR 1986218.
• Erdoğdu, Melek; Özdemi̇r, Mustafa (2020). "Simple, Double and Isoclinic Rotations with Applications". Mathematical Sciences and Applications E-Notes. doi:10.36753/mathenot.642208.
• Mortari, Daniele (July 2001). "On the Rigid Rotation Concept in n-Dimensional Spaces" (PDF). Journal of the Astronautical Sciences. 49 (3): 401–420. Bibcode:2001JAnSc..49..401M. doi:10.1007/BF03546230. S2CID 16952309. Archived from the original (PDF) on 2019-02-17.
• Kim, Heuna; Rote, G. (2016). "Congruence Testing of Point Sets in 4 Dimensions". arXiv:1603.07269 [cs.CG].
• Zamboj, Michal (8 Jan 2021). "Synthetic construction of the Hopf fibration in a double orthogonal projection of 4-space". Journal of Computational Design and Engineering. 8 (3): 836–854. arXiv:2003.09236. doi:10.1093/jcde/qwab018.