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

From Vigyanwiki
No edit summary
 
(10 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Orthogonal group of an indefinite quadratic form}}
{{short description|Orthogonal group of an indefinite quadratic form}}
गणित में अनिश्चित ऑर्थोगोनल समूह, {{nowrap|O(''p'', ''q'')}} सदिश स्थान वास्तविक सदिश स्थान के एन-आयाम के सभी [[रैखिक परिवर्तन]]ों का झूठा समूह है जो अपरिवर्तनीय रूप से एक द्विघात रूप के हस्ताक्षर के [[सममित द्विरेखीय रूप]] को छोड़ देता है {{nowrap|(''p'', ''q'')}}, कहाँ {{nowrap|1=''n'' = ''p'' + ''q''}}. इसे स्यूडो-ऑर्थोगोनल ग्रुप भी कहा जाता है<ref>{{harvnb|Popov|2001}}</ref> या सामान्यीकृत ऑर्थोगोनल समूह।<ref>{{harnvb|Hall|2015|loc=Section 1.2|p=8}}</ref> समूह का आयाम है {{nowrap|''n''(''n'' − 1)/2}}.
गणित में अनिश्चितकालीन लंबकोणीय समूह, {{nowrap|O(''p'', ''q'')}} सदिश स्थान वास्तविक n-आयाम के सभी [[रैखिक परिवर्तन]] का अमान्य समूह है जो अपरिवर्तनीय रूप से एक द्विघात रूप के संकेत के [[सममित द्विरेखीय रूप]] को छोड़ देता है। {{nowrap|(''p'', ''q'')}}, जहाँ {{nowrap|1=''n'' = ''p'' + ''q''}}. को स्यूडो-लंबकोणीय समूह भी कहा जाता है<ref>{{harvnb|Popov|2001}}</ref> या सामान्यीकृत लंबकोणीय समूह आयाम {{nowrap|''n''(''n'' − 1)/2}} के रूप में भी संदर्भित किया जा सकता है।<ref>{{harnvb|Hall|2015|loc=Section 1.2|p=8}}</ref>


अनिश्चितकालीन विशेष ऑर्थोगोनल समूह, {{nowrap|SO(''p'', ''q'')}} का [[उपसमूह]] है {{nowrap|O(''p'', ''q'')}} निर्धारक 1 के साथ सभी तत्वों से मिलकर। निश्चित मामले के विपरीत, {{nowrap|SO(''p'', ''q'')}} जुड़ा नहीं है - इसके 2 घटक हैं - और दो अतिरिक्त परिमित सूचकांक उपसमूह हैं, जो जुड़े हुए हैं {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} और {{nowrap|O<sup>+</sup>(''p'', ''q'')}}, जिसके 2 घटक हैं - देखें{{slink||Topology}} परिभाषा और चर्चा के लिए।
अनिश्चितकालीन विशेष लंबकोणीय समूह SO(p, q), O(p, q) का [[उपसमूह]] है जिसमें निर्धारक 1 वाले सभी तत्व सम्मिलित हैं। निश्चित मामले के विपरीत SO(p, q) संयोजित नहीं है तथापि इसके 2 घटक हैं और दो अतिरिक्त परिमित [[सूचकांक उपसमूह]] हैं, अर्थात् संयोजक SO+(p, q) और O+(p, q), इसमें 2 घटक हैं।


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


समूह {{nowrap|O(''p'', ''q'')}} [[वास्तविक संख्या]]ओं पर वेक्टर रिक्त स्थान के लिए परिभाषित किया गया है। [[जटिल संख्या]] रिक्त स्थान के लिए, सभी समूह {{nowrap|O(''p'', ''q''; '''C''')}} सामान्य ऑर्थोगोनल समूह के लिए आइसोमोर्फिक हैं {{nowrap|O(''p'' + ''q''; '''C''')}}, परिवर्तन के बाद से <math>z_j \mapsto iz_j</math> प्रपत्र के हस्ताक्षर में परिवर्तन करता है। इसे [[अनिश्चितकालीन एकात्मक समूह]] के साथ भ्रमित नहीं होना चाहिए {{nowrap|U(''p'', ''q'')}} जो सिग्नेचर के [[ सेस्क्विलिनियर रूप |सेस्क्विलिनियर रूप]] को सुरक्षित रखता है {{nowrap|(''p'', ''q'')}}.
समूह {{nowrap|O(''p'', ''q'')}} वास्तविक मान से अधिक वेक्टर रिक्त स्थान के लिए परिभाषित किया गया है। जटिल स्थानों के लिए, सभी समूह {{nowrap|O(''p'', ''q''; '''C''')}} सामान्य लंबकोणीय समूह {{nowrap|O(''p'' + ''q''; '''C''')}} के लिए समरूपीय हैं, क्योंकि परिवर्तन <math>z_j \mapsto iz_j</math> एक रूप के संकेत को बदलता है। यह अनिश्चितकालीनकालीन एकात्मक समूह {{nowrap|U(''p'', ''q'')}} के साथ भ्रमित नहीं होना चाहिए जो संकेत {{nowrap|(''p'', ''q'')}} के एक अनुक्रमिक रूप को संरक्षित करता है। हम मानते हैं कि ''p'' और ''q'' दोनों सकारात्मक हैं।


सम आयाम में {{nowrap|1=''n'' = 2''p''}}, {{nowrap|O(''p'', ''p'')}} को #विभाजित ऑर्थोगोनल समूह के रूप में जाना जाता है।
सम आयाम में {{nowrap|1=''n'' = 2''p''}}, {{nowrap|O(''p'', ''p'')}} को या विभाजित लंबकोणीय समूह के रूप में जाना जाता है। सामान्यीकृत लंबकोणीय समूह आयाम {{nowrap|''n''(''n'' − 1)/2}} के रूप में भी संदर्भित किया जा सकता है।


== उदाहरण ==
==उदाहरण==
फ़ाइल: निचोड़ r=1.5.svg|thumb|निचोड़ मैपिंग, यहाँ {{nowrap|1=''r'' = 3/2}}, मूल अतिपरवलयिक सममितियाँ हैं।
मूल उदाहरण अधिसंकुचन प्रतिचित्रण है, जो समूह SO+(1, 1) का (पहचान घटक) रैखिक रूपांतरण है जो इकाई परवलय आकार को संरक्षित करता है। वास्तव में, ये आव्यूह <math>\left[\begin{smallmatrix} \cosh(\alpha) & \sinh(\alpha)  \\ \sinh(\alpha)  & \cosh(\alpha) \end{smallmatrix}\right]</math>हैं और अतिशयोक्तिपूर्ण घुमावों के रूप में व्यक्त की जा सकती है, जैसे कि समूह SO(2) को वृत्ताकार घुमावों के रूप में व्यक्त किया जा सकता है।
मूल उदाहरण निचोड़ मैपिंग है, जो समूह है {{nowrap|SO<sup>+</sup>(1, 1)}[[ इकाई अतिपरवलय | इकाई अतिपरवलय]] को संरक्षित करने वाले रेखीय परिवर्तनों का (पहचान घटक) का }। वास्तव में, ये मैट्रिसेस हैं <math>\left[\begin{smallmatrix} \cosh(\alpha) & \sinh(\alpha)  \\ \sinh(\alpha)  & \cosh(\alpha) \end{smallmatrix}\right],</math> और अतिशयोक्तिपूर्ण घुमावों के रूप में व्याख्या की जा सकती है, ठीक उसी तरह जैसे समूह SO(2) को वृत्ताकार घुमावों के रूप में व्याख्यायित किया जा सकता है।


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


== मैट्रिक्स परिभाषा ==
==आव्यूह परिभाषा==
कोई परिभाषित कर सकता है {{nowrap|O(''p'', ''q'')}} [[मैट्रिक्स (गणित)]] के एक समूह के रूप में, शास्त्रीय ऑर्थोगोनल समूह ओ (एन) के रूप में। इसपर विचार करें <math>(p+q)\times(p+q)</math> [[विकर्ण मैट्रिक्स]] <math>g</math> द्वारा दिए गए
मौलिक लंबकोणीय समूह O(''n'') के रूप में, {{nowrap|O(''p'', ''q'')}} को आव्यूह के समूह के रूप में परिभाषित किया जा सकता है। दिए गए <math>(p+q)\times(p+q)</math>विकर्ण आव्यूह <math>g</math> पर विचार करें,
:<math>g = \mathrm{diag}(\underbrace{1,\ldots,1}_{p},\underbrace{-1,\ldots,-1}_{q}) .</math>
:<math>g = \mathrm{diag}(\underbrace{1,\ldots,1}_{p},\underbrace{-1,\ldots,-1}_{q}) .</math>
तब हम एक सममित द्विरेखीय रूप को परिभाषित कर सकते हैं <math>[\cdot,\cdot]_{p,q}</math> पर <math>\mathbb R^{p+q}</math> सूत्र द्वारा
फिर हम सूत्र द्वारा <math>[\cdot,\cdot]_{p,q}</math> पर एक सममित द्विरेखीय रूप <math>\mathbb R^{p+q}</math> परिभाषित कर सकते हैं,
:<math>[x,y]_{p,q}=\langle x,gy\rangle=x_1y_1+\cdots +x_py_p-x_{p+1}y_{p+1}-\cdots -x_{p+q}y_{p+q}</math>,
:<math>[x,y]_{p,q}=\langle x,gy\rangle=x_1y_1+\cdots +x_py_p-x_{p+1}y_{p+1}-\cdots -x_{p+q}y_{p+q}</math>,
कहाँ <math>\langle\cdot,\cdot\rangle</math> मानक आंतरिक उत्पाद चालू है <math>\mathbb R^{p+q}</math>.
जहाँ <math>\langle\cdot,\cdot\rangle</math> , <math>\mathbb R^{p+q}</math>मानक आंतरिक उत्पाद है,


हम तब परिभाषित करते हैं <math>\mathrm{O}(p,q)</math> का समूह होना <math>(p+q)\times(p+q)</math> मैट्रिसेस जो इस बिलिनियर फॉर्म को संरक्षित करते हैं:<ref>{{harvnb|Hall|2015}} Section 1.2.3</ref>
फिर हम <math>\mathrm{O}(p,q)</math> को <math>(p+q)\times(p+q)</math> मैट्रिसेस के समूह के रूप में परिभाषित करते हैं जो इस द्विरेखीय रूप को संरक्षित करते हैं:<ref>{{harvnb|Hall|2015}} Section 1.2.3</ref>
:<math>\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}\}</math>.
:<math>\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}\}</math>.


अधिक स्पष्ट रूप से, <math>\mathrm{O}(p,q)</math> मेट्रिसेस के होते हैं <math>A</math> ऐसा है कि<ref>{{harvnb|Hall|2015}} Chapter 1, Exercise 1</ref>
अधिक स्पष्ट रूप से, <math>\mathrm{O}(p,q)</math> में आव्यूह <math>A</math> ऐसे होते हैं कि<ref>{{harvnb|Hall|2015}} Chapter 1, Exercise 1</ref>
:<math>gA^{\mathrm{tr}}g=A^{-1}</math>,
:<math>gA^{\mathrm{tr}}g=A^{-1}</math>,
कहाँ <math>A^{\mathrm{tr}}</math> का स्थानान्तरण है <math>A</math>.
जहाँ <math>A^{\mathrm{tr}}</math>, <math>A</math> का स्थानान्तरण है जो कि एक समरूपीय समूह प्राप्त करता है, (वास्तव में, एक संयुग्मित जैसे कि समूह SO(2) को वृत्ताकार घुमावों के रूप में व्यक्त किया जा सकता है। उपसमूह {{nowrap|GL(''p'' + ''q'')}}) ''g'' को किसी भी [[सममित मैट्रिक्स|सममित]] आव्यूह के साथ p सकारात्मक आइगेनवैल्यू ​​​​और q ऋणात्मक वाले के साथ बदलकर इस आव्यूह को विकर्ण करने से इस समूह का मानक समूह {{nowrap|O(''p'', ''q'')}} के साथ संयोजन होता है।


एक आइसोमॉर्फिक समूह प्राप्त करता है (वास्तव में, एक संयुग्मित उपसमूह {{nowrap|GL(''p'' + ''q'')}}) जी को किसी भी [[सममित मैट्रिक्स]] के साथ पी सकारात्मक eigenvalues ​​​​और क्यू नकारात्मक वाले के साथ बदलकर। इस मैट्रिक्स को विकर्ण करने से इस समूह का मानक समूह के साथ संयोजन होता है {{nowrap|O(''p'', ''q'')}}.
===उपसमूह===


=== उपसमूह ===
समूह {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} और {{nowrap|O(''p'', ''q'')}} के संबंधित उपसमूहों को बीजगणितीय रूप से वर्णित किया जा सकता है। [[ब्लॉक मैट्रिक्स|ब्लॉक]] आव्यूह के रूप में {{nowrap|O(''p'', ''q'')}} में एक आव्यूह L विभाजन:
 
समूह {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} और संबंधित उपसमूह {{nowrap|O(''p'', ''q'')}} को बीजगणितीय रूप से वर्णित किया जा सकता है। एक मैट्रिक्स L का विभाजन करें {{nowrap|O(''p'', ''q'')}} [[ब्लॉक मैट्रिक्स]] के रूप में:
:<math>L = \begin{pmatrix}
:<math>L = \begin{pmatrix}
A & B \\
A & B \\
Line 40: Line 37:
\end{pmatrix}
\end{pmatrix}
</math>
</math>
जहां A, B, C, और D क्रमशः p×p, p×q, q×p, और q×q ब्लॉक हैं। यह दिखाया जा सकता है कि मेट्रिसेस का सेट {{nowrap|O(''p'', ''q'')}} जिसके ऊपरी-बाएँ p×p ब्लॉक A में सकारात्मक निर्धारक एक उपसमूह है। या, इसे दूसरे तरीके से रखने के लिए, अगर
जहां A, B, C, और D क्रमशः p×p, p×q, q×p, और q×q ब्लॉक हैं। यह दिखाया जा सकता है कि मेट्रिसेस का सेट {{nowrap|O(''p'', ''q'')}} जिसके ऊपरी-बाएँ p×p ब्लॉक A में सकारात्मक निर्धारक एक उपसमूह है या, इसे दूसरे विधि से रखने के लिए, यदि
:<math>L = \begin{pmatrix}
:<math>L = \begin{pmatrix}
A & B \\
A & B \\
Line 51: Line 48:
\end{pmatrix}
\end{pmatrix}
</math>
</math>
में हैं {{nowrap|O(''p'', ''q'')}}, तब
{{nowrap|O(''p'', ''q'')}} में हैं, तो
:<math>(\sgn \det A)(\sgn \det W) = \sgn \det (AW+BY).</math>
:<math>(\sgn \det A)(\sgn \det W) = \sgn \det (AW+BY).</math>
निचले-दाएँ q×q ब्लॉक के लिए समान परिणाम भी धारण करता है। उपसमूह {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} मेट्रिसेस एल जैसे होते हैं {{nowrap|det ''A''}} और {{nowrap|det ''D''}} दोनों सकारात्मक हैं।<ref name="lester">{{Cite journal |last=Lester |first=J. A. |title=ओ (पी, क्यू) के ऑर्थोक्रोनस उपसमूह|journal=Linear and Multilinear Algebra |volume=36 |issue=2 |pages=111–113 |date=1993 |doi=10.1080/03081089308818280 |zbl=0799.20041}}</ref><ref>{{harvnb|Shirokov|2012|loc=Section 7.1|pp=88–96}}</ref>
निचले-दाएँ q×q ब्लॉक के लिए समान परिणाम भी धारण करता है। उपसमूह {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} मेट्रिसेस ळ् जैसे होते हैं, {{nowrap|det ''A''}} और {{nowrap|det ''D''}} दोनों सकारात्मक हैं।<ref name="lester">{{Cite journal |last=Lester |first=J. A. |title=ओ (पी, क्यू) के ऑर्थोक्रोनस उपसमूह|journal=Linear and Multilinear Algebra |volume=36 |issue=2 |pages=111–113 |date=1993 |doi=10.1080/03081089308818280 |zbl=0799.20041}}</ref><ref>{{harvnb|Shirokov|2012|loc=Section 7.1|pp=88–96}}</ref>
सभी मैट्रिसेस के लिए एल में {{nowrap|O(''p'', ''q'')}}, A और D के निर्धारकों के पास वह गुण है <math display="inline">\frac{\det A}{\det D} = \det L</math> ओर वो <math>|\det A| = |\det D| \ge 1.</math><ref>{{harvnb|Shirokov|2012|loc=Lemmas 7.1 and 7.2|pp=89–91}}</ref> विशेष रूप से, उपसमूह {{nowrap|SO(''p'', ''q'')}} मेट्रिसेस एल जैसे होते हैं {{nowrap|det ''A''}} और {{nowrap|det ''D''}} का एक ही चिन्ह है।<ref name="lester" />
 
{{nowrap|O(''p'', ''q'')}} में सभी आव्यूह L के लिए, A और D के निर्धारकों के पास <math display="inline">\frac{\det A}{\det D} = \det L</math> और <math>|\det A| = |\det D| \ge 1.</math> विशेष रूप से, उपसमूह {{nowrap|SO(''p'', ''q'')}} में मैट्रिसेस L होते हैं जैसे कि {{nowrap|det ''A''}} और {{nowrap|det ''D''}} का एक ही चिह्न होता है।<ref name="lester" />
 


==सांस्थितिकी==
यह मानते हुए कि p और q दोनों धनात्मक हैं, कोई भी समूह न हीं {{nowrap|O(''p'', ''q'')}} और न {{nowrap|SO(''p'', ''q'')}} जुड़े हुए स्थान हैं, जिनमें क्रमशः चार और दो घटक हैं।


== टोपोलॉजी ==
{{nowrap|1=''π''<sub>0</sub>(O(''p'', ''q'')) ≅ C<sub>2</sub> × C<sub>2</sub>}} [[क्लेन चार-समूह]] है, जिसमें प्रत्येक कारक है कि क्या कोई तत्व p और q आयामी उप-स्थानों पर संबंधित अभिविन्यासों को संरक्षित करता है या विपरीत कर देता है, जिस पर प्रपत्र निश्चित है। ध्यान दें कि इनमें से केवल एक उप-स्थान पर अभिविन्यास को उलटने से पूरे स्थान पर अभिविन्यास विपरीत जाता है। विशेष लंबकोणीय समूह में घटक {{nowrap|1=''π''<sub>0</sub>(SO(''p'', ''q'')) = {(1, 1), (−1, −1)}} होते हैं , जिनमें से प्रत्येक या तो दोनों अभिविन्यास को संरक्षित करता है या दोनों अभिविन्यास को विपरीत कर देता है, किसी भी स्थिति में समग्र अभिविन्यास को संरक्षित करता है।
यह मानते हुए कि p और q दोनों धनात्मक हैं, कोई भी समूह नहीं {{nowrap|O(''p'', ''q'')}} और न {{nowrap|SO(''p'', ''q'')}} जुड़े हुए स्थान हैं, जिनमें क्रमशः चार और दो घटक हैं।
{{nowrap|1=''π''<sub>0</sub>(O(''p'', ''q'')) ≅ C<sub>2</sub> × C<sub>2</sub>}} [[क्लेन चार-समूह]] है, जिसमें प्रत्येक कारक है कि क्या कोई तत्व पी और क्यू आयामी उप-स्थानों पर संबंधित अभिविन्यासों को संरक्षित करता है या उलट देता है, जिस पर प्रपत्र निश्चित है; ध्यान दें कि इनमें से केवल एक उप-स्थान पर ओरिएंटेशन को उलटने से पूरे स्थान पर ओरिएंटेशन उलट जाता है। विशेष ऑर्थोगोनल समूह में घटक होते हैं {{nowrap|1=''π''<sub>0</sub>(SO(''p'', ''q'')) = {(1, 1), (−1, −1)}}}, जिनमें से प्रत्येक या तो दोनों ओरिएंटेशन को संरक्षित करता है या दोनों ओरिएंटेशन को उलट देता है, किसी भी मामले में समग्र अभिविन्यास को संरक्षित करता है।{{clarify|date=December 2020|reason=Usually, the word ''orientation'' refers to the sign on the [[volume form]], and the sign on that flips or not, depending on even or odd dimensions. This paragraph seems to be talking about two different ''parity transformations'' (or parity and time reversal) and ''not'' orientation. Also, it should be clarified whether these parity transformations are [[inner automorphism]]s or not. I think they are(?), but I'm not sure. Maybe they're only inner in some dimensions and not others? }}


का [[पहचान घटक]] {{nowrap|O(''p'', ''q'')}} को अक्सर निरूपित किया जाता है {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} और तत्वों के सेट के साथ पहचाना जा सकता है {{nowrap|SO(''p'', ''q'')}} जो दोनों ओरिएंटेशन को संरक्षित करता है। यह अंकन अंकन से संबंधित है {{nowrap|O<sup>+</sup>(1, 3)}} [[orthochronous Lorentz group]] के लिए, जहां + पहले (अस्थायी) आयाम पर अभिविन्यास को संरक्षित करने के लिए संदर्भित करता है।
{{nowrap|O(''p'', ''q'')}} के पहचान घटक को अधिकांशतः {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} निरूपित किया जाता है और {{nowrap|SO(''p'', ''q'')}} में तत्वों के सेट के साथ पहचाना जा सकता है जो दोनों ओरिएंटेशन को संरक्षित करता है। यह संकेतन [[orthochronous Lorentz group|ऑर्थोक्रोनस लोरेंत्ज़ समूह]] के लिए संकेतन {{nowrap|O<sup>+</sup>(1, 3)}} से संबंधित है, जहां + पहले (अस्थायी) आयाम पर अभिविन्यास को संरक्षित करने के लिए संदर्भित करता है।


समूह {{nowrap|O(''p'', ''q'')}} भी [[ कॉम्पैक्ट जगह |कॉम्पैक्ट जगह]] नहीं है, लेकिन इसमें कॉम्पैक्ट सबग्रुप्स O(p) और O(q) शामिल हैं, जो सबस्पेस पर काम करते हैं, जिस पर फॉर्म निश्चित है। वास्तव में, {{nowrap|O(''p'') × O(''q'')}} का [[अधिकतम कॉम्पैक्ट उपसमूह]] है {{nowrap|O(''p'', ''q'')}}, जबकि {{nowrap|S(O(''p'') × O(''q''))}} का अधिकतम कॉम्पैक्ट उपसमूह है {{nowrap|SO(''p'', ''q'')}}.
समूह {{nowrap|O(''p'', ''q'')}} भी [[ कॉम्पैक्ट जगह |संक्षिप्त जगह]] नहीं है, किंतु इसमें संक्षिप्त उपसमूहों O(p) और O(q) सम्मिलित हैं, जो उप-स्थानों पर काम करते हैं, जिस पर रूप निश्चित है। वास्तव में, {{nowrap|O(''p'') × O(''q'')}} का [[अधिकतम कॉम्पैक्ट उपसमूह|अधिकतम संक्षिप्त उपसमूह]] {{nowrap|O(''p'', ''q'')}} है, जबकि {{nowrap|S(O(''p'') × O(''q''))}}, {{nowrap|SO(''p'', ''q'')}} का अधिकतम संक्षिप्त उपसमूह है। वैसे ही, {{nowrap|SO(''p'') × SO(''q'')}} ,{{nowrap|SO<sup>+</sup>(''p'', ''q'')}} का अधिकतम संक्षिप्त उपसमूह है, इस प्रकार रिक्त स्थान (विशेष) लंबकोणीय समूहों के उत्पादों के समान समस्थेयता हैं, जिनसे बीजगणित-सांस्थितिकी अचर की गणना की जा सकती है। (अधिकतम संक्षिप्त उपसमूह या सांस्थितिकी देखें।)
वैसे ही, {{nowrap|SO(''p'') × SO(''q'')}} का अधिकतम कॉम्पैक्ट उपसमूह है {{nowrap|SO<sup>+</sup>(''p'', ''q'')}}.
इस प्रकार, रिक्त स्थान (विशेष) ऑर्थोगोनल समूहों के उत्पादों के बराबर होमोटोपी हैं, जिनसे बीजगणित-टोपोलॉजिकल इनवेरिएंट की गणना की जा सकती है। (अधिकतम कॉम्पैक्ट उपसमूह # टोपोलॉजी देखें।)


विशेष रूप से, का [[मौलिक समूह]] {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} घटकों के मौलिक समूहों का उत्पाद है, {{nowrap|1=''π''<sub>1</sub>(SO<sup>+</sup>(''p'', ''q'')) = ''π''<sub>1</sub>(SO(''p'')) × ''π''<sub>1</sub>(SO(''q''))}}, और इसके द्वारा दिया गया है:
विशेष रूप से, का [[मौलिक समूह]] {{nowrap|SO<sup>+</sup>(''p'', ''q'')}} घटकों के मौलिक समूहों का उत्पाद है, {{nowrap|1=''π''<sub>1</sub>(SO<sup>+</sup>(''p'', ''q'')) = ''π''<sub>1</sub>(SO(''p'')) × ''π''<sub>1</sub>(SO(''q''))}}, और इसके द्वारा दिया गया है:
:{| border="1" cellpadding="11" style="border-collapse: collapse; border: 1px #aaa solid;"
:{| border="1" cellpadding="11" style="border-collapse: collapse; border: 1px #aaa solid;"
!style="background:#efefef;"| ''&pi;''<sub>1</sub>(SO<sup>+</sup>(''p'', ''q''))
! style="background:#efefef;" |''&pi;''<sub>1</sub>(SO<sup>+</sup>(''p'', ''q''))
!style="background:#efefef;"| ''p'' = 1
! style="background:#efefef;" | ''p'' = 1
!style="background:#efefef;"| ''p'' = 2
! style="background:#efefef;" |''p'' = 2
!style="background:#efefef;"| ''p'' &ge; 3
! style="background:#efefef;" |''p'' &ge; 3
|-
|-
!style="background:#efefef;"| ''q'' = 1
! style="background:#efefef;" |''q'' = 1
| C<sub>1</sub> || Z || C<sub>2</sub>
|C<sub>1</sub>|| Z|| C<sub>2</sub>
|-
|-
!style="background:#efefef;"| ''q'' = 2
! style="background:#efefef;" |''q'' = 2
| Z || Z × Z
|Z ||Z × Z
  || Z × C<sub>2</sub>
  ||
Z × C<sub>2</sub>
|-
|-
!style="background:#efefef;"| ''q'' &ge; 3
! style="background:#efefef;" |''q'' &ge; 3
| C<sub>2</sub> || C<sub>2</sub> × Z
|C<sub>2</sub>|| C<sub>2</sub> × Z
  || C<sub>2</sub> × C<sub>2</sub>
  ||C<sub>2</sub> × C<sub>2</sub>
|}
|}




== ऑर्थोगोनल समूह विभाजित करें ==
==लंबकोणीय समूह विभाजन==
समान आयामों में, मध्य समूह {{nowrap|O(''n'', ''n'')}} विभाजित ऑर्थोगोनल समूह के रूप में जाना जाता है, और यह विशेष रुचि का है, क्योंकि यह स्ट्रिंग थ्योरी में [[टी-द्वैत]] परिवर्तनों के समूह के रूप में होता है, उदाहरण के लिए। यह जटिल लाइ बीजगणित के अनुरूप [[विभाजित झूठ समूह]] है<sub>2''n''</sub> (झूठ बीजगणित के विभाजित वास्तविक रूप का झूठ समूह); अधिक सटीक रूप से, पहचान घटक विभाजित झूठ समूह है, क्योंकि गैर-पहचान घटकों को झूठ बीजगणित से पुनर्निर्मित नहीं किया जा सकता है। इस अर्थ में यह निश्चित ओर्थोगोनल समूह के विपरीत है {{nowrap|1=O(''n'') := O(''n'', 0) = O(0, ''n'')}}, जो जटिल ले बीजगणित का कॉम्पैक्ट वास्तविक रूप है।
समान आयामों में, मध्य समूह {{nowrap|O(''n'', ''n'')}} विभाजित लंबकोणीय समूह के रूप में जाना जाता है, और यह विशेष रुचि का है, क्योंकि यह स्ट्रिंग सिद्धांत में [[टी-द्वैत]] परिवर्तनों के समूह के रूप में होता है, उदाहरण के लिए यह जटिल लाइ बीजगणित so<sub>2''n''</sub> के अनुरूप [[विभाजित झूठ समूह|विभाजित लाई समूह]] है (लाई बीजगणित के विभाजित वास्तविक रूप का लाई समूह); अधिक स्पष्ट रूप से, पहचान घटक विभाजित लाई समूह है, क्योंकि गैर-पहचान घटकों को लाई बीजगणित से पुनर्निर्मित नहीं किया जा सकता है। इस अर्थ में यह निश्चित ओर्थोगोनल समूह {{nowrap|1=O(''n'') := O(''n'', 0) = O(0, ''n'')}} के विपरीत है , जो जटिल लाइ बीजगणित का संक्षिप्त वास्तविक रूप है। जिसमें प्रत्येक कारक है कि क्या कोई तत्व p और q आयामी उप-स्थानों पर संबंधित अभिविन्यासों को संरक्षित करता है या विपरीत कर देता है।


मामला {{nowrap|(1, 1)}} [[ विभाजित-जटिल संख्या |विभाजित-जटिल संख्या]] ों के [[गुणक समूह]] से मेल खाता है।
प्रकरण {{nowrap|(1, 1)}} [[ विभाजित-जटिल संख्या |विभाजित-जटिल संख्या]] के [[गुणक समूह]] से समानता रखता है।


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


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


{{Expand section|date=March 2011}}
==यह भी देखें==
* [[ ऑर्थोगोनल समूह | लंबकोणीय समूह]]
* [[ लोरेंत्ज़ समूह ]]
* [[ पोंकारे समूह ]]
* [[ सममित द्विरेखीय रूप ]]


== यह भी देखें ==
[[Category:CS1 uses русский-language script (ru)]]
*ऑर्थोगोनल समूह
[[Category:CS1 русский-language sources (ru)]]
* लोरेंत्ज़ समूह
[[Category:Created On 26/04/2023]]
* पोंकारे समूह
[[Category:Harv and Sfn no-target errors]]
* सममित द्विरेखीय रूप
[[Category:Machine Translated Page]]
[[Category:Pages with script errors|Short description/doc]]
[[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 113: Line 120:
{{refend}}
{{refend}}
[[Category: झूठ बोलने वाले समूह]]  
[[Category: झूठ बोलने वाले समूह]]  


[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 26/04/2023]]
[[Category:Created On 26/04/2023]]
[[Category:Vigyan Ready]]
<references />

Latest revision as of 07:03, 17 October 2023

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

अनिश्चितकालीन विशेष लंबकोणीय समूह SO(p, q), O(p, q) का उपसमूह है जिसमें निर्धारक 1 वाले सभी तत्व सम्मिलित हैं। निश्चित मामले के विपरीत SO(p, q) संयोजित नहीं है तथापि इसके 2 घटक हैं और दो अतिरिक्त परिमित सूचकांक उपसमूह हैं, अर्थात् संयोजक SO+(p, q) और O+(p, q), इसमें 2 घटक हैं।

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

समूह O(p, q) वास्तविक मान से अधिक वेक्टर रिक्त स्थान के लिए परिभाषित किया गया है। जटिल स्थानों के लिए, सभी समूह O(p, q; C) सामान्य लंबकोणीय समूह O(p + q; C) के लिए समरूपीय हैं, क्योंकि परिवर्तन एक रूप के संकेत को बदलता है। यह अनिश्चितकालीनकालीन एकात्मक समूह U(p, q) के साथ भ्रमित नहीं होना चाहिए जो संकेत (p, q) के एक अनुक्रमिक रूप को संरक्षित करता है। हम मानते हैं कि p और q दोनों सकारात्मक हैं।

सम आयाम में n = 2p, O(p, p) को या विभाजित लंबकोणीय समूह के रूप में जाना जाता है। सामान्यीकृत लंबकोणीय समूह आयाम n(n − 1)/2 के रूप में भी संदर्भित किया जा सकता है।

उदाहरण

मूल उदाहरण अधिसंकुचन प्रतिचित्रण है, जो समूह SO+(1, 1) का (पहचान घटक) रैखिक रूपांतरण है जो इकाई परवलय आकार को संरक्षित करता है। वास्तव में, ये आव्यूह हैं और अतिशयोक्तिपूर्ण घुमावों के रूप में व्यक्त की जा सकती है, जैसे कि समूह SO(2) को वृत्ताकार घुमावों के रूप में व्यक्त किया जा सकता है।

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

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

मौलिक लंबकोणीय समूह O(n) के रूप में, O(p, q) को आव्यूह के समूह के रूप में परिभाषित किया जा सकता है। दिए गए विकर्ण आव्यूह पर विचार करें,

फिर हम सूत्र द्वारा पर एक सममित द्विरेखीय रूप परिभाषित कर सकते हैं,

,

जहाँ , मानक आंतरिक उत्पाद है,

फिर हम को मैट्रिसेस के समूह के रूप में परिभाषित करते हैं जो इस द्विरेखीय रूप को संरक्षित करते हैं:[3]

.

अधिक स्पष्ट रूप से, में आव्यूह ऐसे होते हैं कि[4]

,

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

उपसमूह

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

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

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

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

O(p, q) में सभी आव्यूह L के लिए, A और D के निर्धारकों के पास और विशेष रूप से, उपसमूह SO(p, q) में मैट्रिसेस L होते हैं जैसे कि det A और det D का एक ही चिह्न होता है।[5]


सांस्थितिकी

यह मानते हुए कि p और q दोनों धनात्मक हैं, कोई भी समूह न हीं O(p, q) और न SO(p, q) जुड़े हुए स्थान हैं, जिनमें क्रमशः चार और दो घटक हैं।

π0(O(p, q)) ≅ C2 × C2 क्लेन चार-समूह है, जिसमें प्रत्येक कारक है कि क्या कोई तत्व p और q आयामी उप-स्थानों पर संबंधित अभिविन्यासों को संरक्षित करता है या विपरीत कर देता है, जिस पर प्रपत्र निश्चित है। ध्यान दें कि इनमें से केवल एक उप-स्थान पर अभिविन्यास को उलटने से पूरे स्थान पर अभिविन्यास विपरीत जाता है। विशेष लंबकोणीय समूह में घटक π0(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) घटकों के मौलिक समूहों का उत्पाद है, π1(SO+(p, q)) = π1(SO(p)) × π1(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) विभाजित लंबकोणीय समूह के रूप में जाना जाता है, और यह विशेष रुचि का है, क्योंकि यह स्ट्रिंग सिद्धांत में टी-द्वैत परिवर्तनों के समूह के रूप में होता है, उदाहरण के लिए यह जटिल लाइ बीजगणित so2n के अनुरूप विभाजित लाई समूह है (लाई बीजगणित के विभाजित वास्तविक रूप का लाई समूह); अधिक स्पष्ट रूप से, पहचान घटक विभाजित लाई समूह है, क्योंकि गैर-पहचान घटकों को लाई बीजगणित से पुनर्निर्मित नहीं किया जा सकता है। इस अर्थ में यह निश्चित ओर्थोगोनल समूह O(n) := O(n, 0) = O(0, n) के विपरीत है , जो जटिल लाइ बीजगणित का संक्षिप्त वास्तविक रूप है। जिसमें प्रत्येक कारक है कि क्या कोई तत्व p और q आयामी उप-स्थानों पर संबंधित अभिविन्यासों को संरक्षित करता है या विपरीत कर देता है।

प्रकरण (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.
  1. Popov 2001
  2. Hall 2015, p. 8, Section 1.2
  3. Hall 2015 Section 1.2.3
  4. Hall 2015 Chapter 1, Exercise 1
  5. 5.0 5.1 Lester, J. A. (1993). "ओ (पी, क्यू) के ऑर्थोक्रोनस उपसमूह". Linear and Multilinear Algebra. 36 (2): 111–113. doi:10.1080/03081089308818280. Zbl 0799.20041.
  6. Shirokov 2012, pp. 88–96, Section 7.1