अनिश्चितकालीन ऑर्थोगोनल समूह

गणित में अनिश्चित ऑर्थोगोनल समूह, O(p, q) सदिश स्थान वास्तविक सदिश स्थान के n-आयाम के सभी रैखिक परिवर्तन का झूठा समूह है जो अपरिवर्तनीय रूप से एक द्विघात रूप के हस्ताक्षर के सममित द्विरेखीय रूप को छोड़ देता है (p, q), जहाँ n = p + q. इसे स्यूडो-ऑर्थोगोनल समूह भी कहा जाता है या सामान्यीकृत ऑर्थोगोनल समूह आयाम n(n − 1)/2 है .

रूप का हस्ताक्षर समूह को समरूपता तक निर्धारित करता है; q के साथ p को विनिमय करना मीट्रिक को उसके ऋणात्मक से बदलने के समान है, और इसलिए वही समूह देता है। यदि या तो p या q शून्य के समान है, तो समूह सामान्य ऑर्थोगोनल समूह O(n) के लिए समाकृतिकता है। हम मानते हैं कि p और q दोनों सकारात्मक हैं।

समूह O(p, q) वास्तविक से अधिक वेक्टर रिक्त स्थान के लिए परिभाषित किया गया है। जटिल स्थानों के लिए, सभी समूहO(p, q; C) सामान्य ऑर्थोगोनल समूह O(p + q; C) के लिए आइसोमोर्फिक हैं, क्योंकि परिवर्तन $z_{j}\mapsto iz_{j}$ एक रूप के हस्ताक्षर को बदलता है। यह अनिश्चितकालीन एकात्मक समूह U(p, q) के साथ भ्रमित नहीं होना चाहिए जो हस्ताक्षर (p, q) के एक अनुक्रमिक रूप को संरक्षित करता है।

सम आयाम में n = 2p, O(p, p) को या विभाजित ऑर्थोगोनल समूह के रूप में जाना जाता है।

उदाहरण

मूल उदाहरण स्क्वीज़ मैपिंग है, जो समूह SO+(1, 1) का (पहचान घटक) रैखिक रूपांतरण है जो इकाई हाइपरबोला को संरक्षित करता है। वास्तव में, ये आव्यूह हैं $\left[{\begin{smallmatrix}\cosh(\alpha )&\sinh(\alpha )\\\sinh(\alpha )&\cosh(\alpha )\end{smallmatrix}}\right],$ , और अतिशयोक्तिपूर्ण घुमावों के रूप में व्याख्या की जा सकती है, जैसे कि समूह SO(2) को वृत्ताकार घुमावों के रूप में व्याख्या किया जा सकता है।

भौतिकी में, लोरेंत्ज़ समूह O(1,3) केंद्रीय महत्व का है, जो विद्युत चुंबकत्व और विशेष सापेक्षता के लिए सेटिंग है। (कुछ ग्रंथ उपयोग करते हैं O(3,1) लोरेंत्ज़ समूह के लिए; चूँकि , O(1,3) क्वांटम क्षेत्र सिद्धांत में प्रचलित है क्योंकि डायराक समीकरण के ज्यामितीय गुण O(1,3) अधिक प्राकृतिक हैं

आव्यूह परिभाषा

मौलिक ऑर्थोगोनल समूह O(n) के रूप में, O(p, q) को आव्यूह के समूह के रूप में परिभाषित किया जा सकता है। दिए गए $(p+q)\times (p+q)$विकर्ण आव्यूह $g$ पर विचार करें

$g=\mathrm {diag} (\underbrace {1,\ldots ,1} _{p},\underbrace {-1,\ldots ,-1} _{q}).$

फिर हम सूत्र द्वारा $[\cdot ,\cdot ]_{p,q}$ पर एक सममित द्विरेखीय रूप $\mathbb {R} ^{p+q}$ परिभाषित कर सकते हैं

$[x,y]_{p,q}=\langle x,gy\rangle =x_{1}y_{1}+\cdots +x_{p}y_{p}-x_{p+1}y_{p+1}-\cdots -x_{p+q}y_{p+q}$,

जहाँ $\langle \cdot ,\cdot \rangle$ , $\mathbb {R} ^{p+q}$मानक आंतरिक उत्पाद है .

फिर हम $\mathrm {O} (p,q)$ को $(p+q)\times (p+q)$ मैट्रिसेस के समूह के रूप में परिभाषित करते हैं जो इस द्विरेखीय रूप को संरक्षित करते हैं:

$\mathrm {O} (p,q)=\{A\in M_{p+q}(\mathbb {R} )|[Ax,Ay]_{p,q}=[x,y]_{p,q}\,\forall x,y\in \mathbb {R} ^{p+q}\}$.

अधिक स्पष्ट रूप से, $\mathrm {O} (p,q)$ में आव्यूह $A$ ऐसे होते हैं कि

$gA^{\mathrm {tr} }g=A^{-1}$,

जहाँ $A^{\mathrm {tr} }$, $A$ का स्थानान्तरण है .

एक आइसोमॉर्फिक समूह प्राप्त करता है (वास्तव में, एक संयुग्मित उपसमूह GL(p + q)) g को किसी भी सममित आव्यूह के साथ p सकारात्मक आइगेनवैल्यू ​​​​और q ऋणात्मक वाले के साथ बदलकर इस आव्यूह को विकर्ण करने से इस समूह का मानक समूह O(p, q) के साथ संयोजन होता है

उपसमूह

समूह SO⁺(p, q) और O(p, q) के संबंधित उपसमूहों को बीजगणितीय रूप से वर्णित किया जा सकता है। ब्लॉक आव्यूह के रूप में O(p, q) में एक आव्यूह L विभाजन:

$L={\begin{pmatrix}A&B\\C&D\end{pmatrix}}$

जहां A, B, C, और D क्रमशः p×p, p×q, q×p, और q×q ब्लॉक हैं। यह दिखाया जा सकता है कि मेट्रिसेस का सेट O(p, q) जिसके ऊपरी-बाएँ p×p ब्लॉक A में सकारात्मक निर्धारक एक उपसमूह है। या, इसे दूसरे विधि से रखने के लिए, यदि

$L={\begin{pmatrix}A&B\\C&D\end{pmatrix}}\;\mathrm {and} \;M={\begin{pmatrix}W&X\\Y&Z\end{pmatrix}}$

O(p, q) में हैं, तो

$(\operatorname {sgn} \det A)(\operatorname {sgn} \det W)=\operatorname {sgn} \det(AW+BY).$

निचले-दाएँ q×q ब्लॉक के लिए समान परिणाम भी धारण करता है। उपसमूह SO⁺(p, q) मेट्रिसेस एल जैसे होते हैं det A और det D दोनों सकारात्मक हैं।

O(p, q) में सभी आव्यूह L के लिए, A और D के निर्धारकों के पास ${\textstyle {\frac {\det A}{\det D}}=\det L}$ और $|\det A|=|\det D|\geq 1.$ विशेष रूप से, उपसमूह SO(p, q) में मैट्रिसेस L होते हैं जैसे कि det A और det D का एक ही चिह्न होता है।

टोपोलॉजी

यह मानते हुए कि p और q दोनों धनात्मक हैं, कोई भी समूह नहीं O(p, q) और न SO(p, q) जुड़े हुए स्थान हैं, जिनमें क्रमशः चार और दो घटक हैं। π₀(O(p, q)) ≅ C₂ × C₂ क्लेन चार-समूह है, जिसमें प्रत्येक कारक है कि क्या कोई तत्व p और q आयामी उप-स्थानों पर संबंधित अभिविन्यासों को संरक्षित करता है या विपरीत कर देता है, जिस पर प्रपत्र निश्चित है; ध्यान दें कि इनमें से केवल एक उप-स्थान पर अभिविन्यास को उलटने से पूरे स्थान पर अभिविन्यास विपरीत जाता है। विशेष ऑर्थोगोनल समूह में घटक π₀(SO(p, q)) = {(1, 1), (−1, −1) होते हैं , जिनमें से प्रत्येक या तो दोनों अभिविन्यास को संरक्षित करता है या दोनों अभिविन्यास को विपरीत कर देता है, किसी भी स्थिति में समग्र अभिविन्यास को संरक्षित करता है।

O(p, q) के पहचान घटक को अधिकांशतः SO⁺(p, q) निरूपित किया जाता है और SO(p, q) में तत्वों के सेट के साथ पहचाना जा सकता है जो दोनों ओरिएंटेशन को संरक्षित करता है। यह संकेतन ऑर्थोक्रोनस लोरेंत्ज़ समूह के लिए संकेतन O⁺(1, 3) से संबंधित है, जहां + पहले (अस्थायी) आयाम पर अभिविन्यास को संरक्षित करने के लिए संदर्भित करता है।

समूह O(p, q) भी कॉम्पैक्ट जगह नहीं है, किंतु इसमें कॉम्पैक्ट उपसमूहों O(p) और O(q) सम्मिलित हैं, जो उप-स्थानों पर काम करते हैं, जिस पर रूप निश्चित है। वास्तव में, O(p) × O(q) का अधिकतम कॉम्पैक्ट उपसमूह है O(p, q), जबकि S(O(p) × O(q)) , SO(p, q)का अधिकतम कॉम्पैक्ट उपसमूह है .वैसे ही, SO(p) × SO(q) ,SO⁺(p, q) का अधिकतम कॉम्पैक्ट उपसमूह है .इस प्रकार, रिक्त स्थान (विशेष) ऑर्थोगोनल समूहों के उत्पादों के समान होमोटोपी हैं, जिनसे बीजगणित-टोपोलॉजिकल इनवेरिएंट की गणना की जा सकती है। (अधिकतम कॉम्पैक्ट उपसमूह या टोपोलॉजी देखें।)

विशेष रूप से, का मौलिक समूह SO⁺(p, q) घटकों के मौलिक समूहों का उत्पाद है, π₁(SO⁺(p, q)) = π₁(SO(p)) × π₁(SO(q)), और इसके द्वारा दिया गया है:

π1(SO+(p, q))	p = 1	p = 2	p ≥ 3
q = 1	C1	Z	C2
q = 2	Z	Z × Z	Z × C2
q ≥ 3	C2	C2 × Z	C2 × C2

ऑर्थोगोनल समूह विभाजित करें

समान आयामों में, मध्य समूह O(n, n) विभाजित ऑर्थोगोनल समूह के रूप में जाना जाता है, और यह विशेष रुचि का है, क्योंकि यह स्ट्रिंग सिद्धांत में टी-द्वैत परिवर्तनों के समूह के रूप में होता है, उदाहरण के लिए। यह जटिल लाइ बीजगणित so_2n के अनुरूप विभाजित लाई समूह है (लाई बीजगणित के विभाजित वास्तविक रूप का लाई समूह); अधिक स्पष्ट रूप से, पहचान घटक विभाजित लाई समूह है, क्योंकि गैर-पहचान घटकों को लाई बीजगणित से पुनर्निर्मित नहीं किया जा सकता है। इस अर्थ में यह निश्चित ओर्थोगोनल समूह O(n) := O(n, 0) = O(0, n) के विपरीत है , जो जटिल ले बीजगणित का कॉम्पैक्ट वास्तविक रूप है।

मामला (1, 1) विभाजित-जटिल संख्या के गुणक समूह से मेल खाता है।

लाई प्रकार के एक समूह होने के स्थितिमें - जिससे , लाई बीजगणित से बीजगणितीय समूह का निर्माण - विभाजित ऑर्थोगोनल समूह चेवेली समूह हैं, जबकि गैर-विभाजित ऑर्थोगोनल समूहों को थोड़ा अधिक जटिल निर्माण की आवश्यकता होती है, और स्टाइनबर्ग समूह (लाई सिद्धांत) हैं ).

स्प्लिट ऑर्थोगोनल समूहों का उपयोग गैर-बीजगणितीय रूप से बंद क्षेत्रों पर सामान्यीकृत ध्वज विविधता के निर्माण के लिए किया जाता है।

यह भी देखें

• ऑर्थोगोनल समूह
• लोरेंत्ज़ समूह
• पोंकारे समूह
• सममित द्विरेखीय रूप

संदर्भ

• Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666
• Anthony Knapp, Lie Groups Beyond an Introduction, Second Edition, Progress in Mathematics, vol. 140, Birkhäuser, Boston, 2002. ISBN 0-8176-4259-5 – see page 372 for a description of the indefinite orthogonal group
• Popov, V. L. (2001) [1994], "Orthogonal group", Encyclopedia of Mathematics, EMS Press
• Shirokov, D. S. (2012). Lectures on Clifford algebras and spinors Лекции по алгебрам клиффорда и спинорам (PDF) (in русский). doi:10.4213/book1373. Zbl 1291.15063.
• Joseph A. Wolf, Spaces of constant curvature, (1967) page. 335.