सहानुभूतिपूर्ण समूह: Difference between revisions
(Created page with "{{Short description|Mathematical group}}{{for| finite groups with all characteristic abelian subgroups cyclic|group of symplectic type}} {{Lie groups |Classical}} {{Group theo...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Mathematical group | {{Short description|Mathematical group}} | ||
{{Lie groups |Classical}} | सभी विशिष्ट एबेलियन उपसमूह चक्रीय के साथ परिमित समूहों के लिए, सममिती प्ररूप का समूह देखें।{{Lie groups |Classical}} | ||
{{Group theory sidebar |Topological}} | {{Group theory sidebar |Topological}} | ||
गणित में, नाम | गणित में, नाम सममिती समूह दो अलग-अलग, लेकिन निकटता से संबंधित, गणितीय समूहों के संग्रह को संदर्भित कर सकता है, जो धनात्मक पूर्णांक n और क्षेत्र '''F''' (सामान्य रूप से '''C''' या '''R''') के लिए '''Sp(2n, F)''' और '''Sp(n)''' को दर्शाता है। बाद वाले को सुसंहति सममिती समूह कहा जाता है और इसे <math>\mathrm{U | ||
Sp}(n)</math> | Sp}(n)</math> द्वारा भी निरूपित किया जाता है। कई लेखक आंशिक भिन्न संकेतन चयन करते हैं, जो सामान्य रूप से 2 के कारकों से भिन्न होते हैं। यहां उपयोग किए जाने वाले संकेतन सबसे सामान्य आव्यूह के आकार के अनुरूप हैं जो समूहों का प्रतिनिधित्व करते हैं। कार्टन के साधारण लाई बीजगणित के वर्गीकरण में, जटिल समूह Sp(2n, C) के लाई बीजगणित को Cn निरूपित किया जाता है, और Sp(n), Sp(2n, C) का सुसंहति वास्तविक रूप है। ध्यान दें कि जब हम (सुसंहति) सममिती समूह का उल्लेख करते हैं तो यह निहित होता है कि हम (सुसंहति) सममिती समूहों के संग्रह के बारे में अन्तः क्रिया कर रहे हैं, जो उनके आयाम n द्वारा अनुक्रमित हैं। | ||
"सममिती समूह" नाम पिछले अस्पष्ट नामों (रेखा) जटिल समूह और एबेलियन रैखिक समूह के प्रतिस्थापन के रूप में हरमन वेइल के कारण है, और "जटिल" का ग्रीक एनालॉग है। | |||
[[मेटाप्लेक्टिक समूह]] | [[मेटाप्लेक्टिक समूह]] R पर सममिती समूह का दोहरा आवरण है; इसमें अन्य स्थानीय क्षेत्रों, परिमित क्षेत्रों और [[एडेल रिंग|एडेल]] वलय के अनुरूप हैं। | ||
=={{math|Sp(2''n'', '''F''')}}== | =={{math|Sp(2''n'', '''F''')}}== | ||
सममिती समूह एक उत्कृष्ट समूह है जिसे क्षेत्र '''F''' पर 2n-आयामी सदिश समष्टि के रैखिक परिवर्तनों के समुच्चय के रूप में परिभाषित किया गया है जो एक गैर-पतित विषम सममित द्विरेखीय रूप को संरक्षित करता है। इस तरह के एक सदिश समष्टि को एक सममिती सदिश समष्टि कहा जाता है, और एक अमूर्त सममित सदिश समष्टि {{math|''V''}} के सममित समूह को {{math|Sp(''V'')}} द्वारा दर्शाया जाता है। {{math|''V''}} के लिए एक आधार निर्धारित करने पर, सहानुभूतिपूर्ण समूह आव्यूह गुणा के संचालन के अंतर्गत '''F''' में प्रविष्टियों के साथ 2n × 2n सममिति आव्यूह का समूह बन जाता है। इस समूह को {{math|Sp(2''n'', '''F''')}} या {{math|Sp(''n'', '''F''')}} द्वारा निरूपित किया जाता है यदि द्विरेखीय समघात को [[नॉनसिंगुलर मैट्रिक्स|व्युत्क्रमणीय मैट्रिक्स]] विषम सममित आव्यूह Ω द्वारा दर्शाया जाता है, तो | |||
:<math>\operatorname{Sp}(2n, F) = \{M \in M_{2n \times 2n}(F) : M^\mathrm{T} \Omega M = \Omega\},</math> | :<math>\operatorname{Sp}(2n, F) = \{M \in M_{2n \times 2n}(F) : M^\mathrm{T} \Omega M = \Omega\},</math> | ||
जहां | जहां M<sup>T</sup> का स्थानान्तरण है। प्रायः Ω को परिभाषित किया जाता है | ||
:<math>\Omega = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \\ \end{pmatrix},</math> | :<math>\Omega = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \\ \end{pmatrix},</math> | ||
जहां | जहां I<sub>n</sub>पहचान आव्यूह है। इस मामले में, {{math|Sp(2''n'', '''F''')}} उन ब्लॉक आव्यूह के रूप में व्यक्त किया जा सकता है <math>(\begin{smallmatrix} A & B \\ C & D \end{smallmatrix})</math>, कहाँ <math>A, B, C, D \in M_{n \times n}(F)</math>, तीन समीकरणों को संतुष्ट करना: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 23: | Line 23: | ||
-D^\mathrm{T}B + B^\mathrm{T}D &= 0. | -D^\mathrm{T}B + B^\mathrm{T}D &= 0. | ||
\end{align}</math> | \end{align}</math> | ||
चूँकि सभी symplectic matrices में निर्धारक होते हैं {{math|1}}, | चूँकि सभी symplectic matrices में निर्धारक होते हैं {{math|1}}, सममिती समूह [[विशेष रैखिक समूह]] का एक [[उपसमूह]] है {{math|SL(2''n'', '''F''')}}. कब {{math|1=''n'' = 1}}, एक आव्यूह पर सममिती की स्थिति संतुष्ट होती है [[अगर और केवल अगर]] निर्धारक एक है, ताकि {{math|1=Sp(2, '''F''') = SL(2, '''F''')}}. के लिए {{math|''n'' > 1}}, अतिरिक्त शर्तें हैं, अर्थात {{math|Sp(2''n'', '''F''')}} तब का एक उचित उपसमूह है {{math|SL(2''n'', '''F''')}}. | ||
सामान्य रूप से, मैदान {{math|'''F'''}} [[वास्तविक संख्या]]ओं का क्षेत्र है {{math|'''R'''}} या [[जटिल संख्या]]एँ {{math|'''C'''}}. ऐसे मामलों में {{math|Sp(2''n'', '''F''')}} वास्तविक/जटिल आयाम का वास्तविक/जटिल [[झूठ समूह]] है {{math|''n''(2''n'' + 1)}}. ये समूह जुड़े हुए स्थान हैं लेकिन [[कॉम्पैक्ट समूह|सुसंहति समूह]] | गैर-सुसंहति हैं। | |||
[[केंद्र (समूह सिद्धांत)]]। {{math|Sp(2''n'', '''F''')}} | [[केंद्र (समूह सिद्धांत)]]। {{math|Sp(2''n'', '''F''')}} आव्यूह के होते हैं {{math|''I''<sub>2''n''</sub>}} और {{math|−''I''<sub>2''n''</sub>}} जब तक [[विशेषता (बीजगणित)]] नहीं है {{math|2}}.<ref>[http://www.encyclopediaofmath.org/index.php/Symplectic_group "Symplectic group"], ''[[Encyclopedia of Mathematics]]'' Retrieved on 13 December 2014.</ref> के केंद्र के बाद से {{math|Sp(2''n'', '''F''')}} असतत है और इसका भागफल मॉड्यूलो केंद्र एक [[साधारण समूह]] है, {{math|Sp(2''n'', '''F''')}} को सरल झूठ समूह माना जाता है#परिभाषा पर टिप्पणियाँ। | ||
संबंधित लाई बीजगणित की वास्तविक रैंक, और इसलिए लाई समूह की {{math|Sp(2''n'', '''F''')}}, है {{math|''n''}}. | संबंधित लाई बीजगणित की वास्तविक रैंक, और इसलिए लाई समूह की {{math|Sp(2''n'', '''F''')}}, है {{math|''n''}}. | ||
Line 34: | Line 34: | ||
:<math>\mathfrak{sp}(2n,F) = \{X \in M_{2n \times 2n}(F) : \Omega X + X^\mathrm{T} \Omega = 0\},</math> | :<math>\mathfrak{sp}(2n,F) = \{X \in M_{2n \times 2n}(F) : \Omega X + X^\mathrm{T} \Omega = 0\},</math> | ||
कम्यूटेटर # रिंग थ्योरी से लैस है जो इसके लाई ब्रैकेट के रूप में है।<ref>{{harvnb|Hall|2015}} Prop. 3.25</ref> मानक तिरछा-सममित द्विरेखीय रूप के लिए <math>\Omega = (\begin{smallmatrix} 0 & I \\ -I & 0 \end{smallmatrix})</math>, यह झूठ बीजगणित सभी ब्लॉक मैट्रिसेस का | कम्यूटेटर # रिंग थ्योरी से लैस है जो इसके लाई ब्रैकेट के रूप में है।<ref>{{harvnb|Hall|2015}} Prop. 3.25</ref> मानक तिरछा-सममित द्विरेखीय रूप के लिए <math>\Omega = (\begin{smallmatrix} 0 & I \\ -I & 0 \end{smallmatrix})</math>, यह झूठ बीजगणित सभी ब्लॉक मैट्रिसेस का समुच्चय है <math>(\begin{smallmatrix} A & B \\ C & D \end{smallmatrix})</math> शर्तों के अधीन | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 44: | Line 44: | ||
==={{math|Sp(2''n'', '''C''')}}=== | ==={{math|Sp(2''n'', '''C''')}}=== | ||
जटिल संख्याओं के क्षेत्र में | जटिल संख्याओं के क्षेत्र में सममिती समूह एक सुसंहति समूह है | गैर-सुसंहति, बस जुड़ा हुआ, [[सरल झूठ समूह]]। | ||
==={{math|Sp(2''n'', '''R''')}}=== | ==={{math|Sp(2''n'', '''R''')}}=== | ||
{{math|Sp(''n'', '''C''')}} वास्तविक समूह का जटिलीकरण (झूठ समूह) है {{math|Sp(2''n'', '''R''')}}. {{math|Sp(2''n'', '''R''')}} एक वास्तविक, | {{math|Sp(''n'', '''C''')}} वास्तविक समूह का जटिलीकरण (झूठ समूह) है {{math|Sp(2''n'', '''R''')}}. {{math|Sp(2''n'', '''R''')}} एक वास्तविक, सुसंहति समूह है | गैर-सुसंहति, कनेक्टेड स्पेस, सरल झूठ समूह।<ref>[https://math.stackexchange.com/q/1051400 "Is the symplectic group Sp(2''n'', '''R''') simple?"], ''[[Stack Exchange]]'' Retrieved on 14 December 2014.</ref> इसके अतिरिक्त के अंतर्गत [[पूर्णांकों]] के समूह के लिए एक [[मौलिक समूह]] [[समूह समरूपता]] है। एक साधारण लाई समूह के [[वास्तविक रूप]] के रूप में इसका लाई बीजगणित स्प्लिट लाई बीजगणित है। | ||
के कुछ और गुण {{math|Sp(2''n'', '''R''')}}: | के कुछ और गुण {{math|Sp(2''n'', '''R''')}}: | ||
Line 55: | Line 55: | ||
* सभी के लिए {{math|''S''}} में {{math|Sp(2''n'', '''R''')}}: | * सभी के लिए {{math|''S''}} में {{math|Sp(2''n'', '''R''')}}: | ||
::<math>S = OZO' \quad \text{such that} \quad O, O' \in \operatorname{Sp}(2n,\mathbf{R})\cap\operatorname{SO}(2n) \cong U(n) \quad \text{and} \quad Z = \begin{pmatrix}D & 0 \\ 0 & D^{-1}\end{pmatrix}.</math> | ::<math>S = OZO' \quad \text{such that} \quad O, O' \in \operatorname{Sp}(2n,\mathbf{R})\cap\operatorname{SO}(2n) \cong U(n) \quad \text{and} \quad Z = \begin{pmatrix}D & 0 \\ 0 & D^{-1}\end{pmatrix}.</math> | ||
:गणित का सवाल {{math|''D''}} [[सकारात्मक-निश्चित मैट्रिक्स]] है | सकारात्मक-निश्चित और [[विकर्ण मैट्रिक्स]]। ऐसे का | :गणित का सवाल {{math|''D''}} [[सकारात्मक-निश्चित मैट्रिक्स|सकारात्मक-निश्चित आव्यूह]] है | सकारात्मक-निश्चित और [[विकर्ण मैट्रिक्स|विकर्ण आव्यूह]]। ऐसे का समुच्चय {{math|''Z''}}s का एक गैर-सुसंहति उपसमूह बनाता है {{math|Sp(2''n'', '''R''')}} जबकि {{math|U(''n'')}} एक सुसंहति उपसमूह बनाता है। इस अपघटन को 'यूलर' या 'ब्लोच-मसीहा' अपघटन के रूप में जाना जाता है।<ref>[https://www.maths.nottingham.ac.uk/personal/ga/papers/2602.pdf "Standard forms and entanglement engineering of multimode Gaussian states under local operations – Serafini and Adesso"], Retrieved on 30 January 2015.</ref> आगे के सममिती आव्यूह गुण उस विकिपीडिया पृष्ठ पर पाए जा सकते हैं। | ||
* एक झूठ समूह के रूप में, {{math|Sp(2''n'', '''R''')}} की [[कई गुना]] संरचना है। के लिए कई गुना {{math|Sp(2''n'', '''R''')}} [[एकात्मक समूह]] के मैनिफोल्ड #कार्टेशियन उत्पादों के लिए [[डिफियोमोर्फिज्म]] है {{math|U(''n'')}} आयाम के | * एक झूठ समूह के रूप में, {{math|Sp(2''n'', '''R''')}} की [[कई गुना]] संरचना है। के लिए कई गुना {{math|Sp(2''n'', '''R''')}} [[एकात्मक समूह]] के मैनिफोल्ड #कार्टेशियन उत्पादों के लिए [[डिफियोमोर्फिज्म]] है {{math|U(''n'')}} आयाम के सदिश स्थान के साथ {{math|''n''(''n''+1)}}.<ref>[http://www.maths.ed.ac.uk/~aar/papers/arnogive.pdf "Symplectic Geometry – Arnol'd and Givental"], Retrieved on 30 January 2015.</ref> | ||
=== इनफिनिटिमल जेनरेटर === | === इनफिनिटिमल जेनरेटर === | ||
सममिती झूठ बीजगणित के सदस्य {{math|'''sp'''(2''n'', '''F''')}} [[हैमिल्टनियन मैट्रिक्स|हैमिल्टनियन आव्यूह]] हैं। | |||
ये | ये आव्यूह हैं, <math>Q</math> ऐसा है कि<blockquote><math>Q = \begin{pmatrix} A & B \\ C & -A^\mathrm{T} \end{pmatrix}</math></blockquote>कहाँ {{math|''B''}} और {{math|''C''}} [[सममित मैट्रिक्स|सममित आव्यूह]] हैं। व्युत्पत्ति के लिए उत्कृष्ट समूह देखें। | ||
=== | ===सममिती आव्यूह का उदाहरण=== | ||
के लिए {{math|Sp(2, '''R''')}}, का समूह {{math|2 × 2}} निर्धारक के साथ matrices {{math|1}}, तीन | के लिए {{math|Sp(2, '''R''')}}, का समूह {{math|2 × 2}} निर्धारक के साथ matrices {{math|1}}, तीन सममिती {{math|(0, 1)}}-मैट्रिसेस हैं:<ref>[http://mathworld.wolfram.com/SymplecticGroup.html Symplectic Group], (source: [[Wolfram MathWorld]]), downloaded February 14, 2012</ref><ब्लॉककोट><math>\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix},\quad \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}\quad \text{and} \quad | ||
\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}. </math></ब्लॉककोट> | \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}. </math></ब्लॉककोट> | ||
Line 76: | Line 76: | ||
\end{align}</math></blockquote>के उपसमूह हैं <math>\operatorname{Sp}(2n,\mathbf{R})</math><ref>{{Cite book|last=Gerald B. Folland.|url=https://www.worldcat.org/oclc/945482850|title=चरण अंतरिक्ष में हार्मोनिक विश्लेषण|date=2016|publisher=Princeton Univ Press|isbn=978-1-4008-8242-7|location=Princeton|page=173|oclc=945482850}}</ref><sup>पेज 173</sup><ref>{{Cite book|last=Habermann, Katharina, 1966-|url=http://worldcat.org/oclc/262692314|title=सहानुभूतिपूर्ण डायराक ऑपरेटरों का परिचय|date=2006|publisher=Springer|isbn=978-3-540-33421-7|oclc=262692314}}</ref><sup>पीजी 2</sup>. | \end{align}</math></blockquote>के उपसमूह हैं <math>\operatorname{Sp}(2n,\mathbf{R})</math><ref>{{Cite book|last=Gerald B. Folland.|url=https://www.worldcat.org/oclc/945482850|title=चरण अंतरिक्ष में हार्मोनिक विश्लेषण|date=2016|publisher=Princeton Univ Press|isbn=978-1-4008-8242-7|location=Princeton|page=173|oclc=945482850}}</ref><sup>पेज 173</sup><ref>{{Cite book|last=Habermann, Katharina, 1966-|url=http://worldcat.org/oclc/262692314|title=सहानुभूतिपूर्ण डायराक ऑपरेटरों का परिचय|date=2006|publisher=Springer|isbn=978-3-540-33421-7|oclc=262692314}}</ref><sup>पीजी 2</sup>. | ||
=== | ===सममिती ज्यामिति के साथ संबंध=== | ||
[[ सहानुभूतिपूर्ण ज्यामिति ]], [[ सिंपलेक्टिक मैनिफोल्ड ]]्स का अध्ययन है। एक | [[ सहानुभूतिपूर्ण ज्यामिति | सममिती ज्यामिति]] , [[ सिंपलेक्टिक मैनिफोल्ड ]]्स का अध्ययन है। एक सममिती मैनिफोल्ड पर किसी भी बिंदु पर [[स्पर्शरेखा स्थान]] एक सममिती सदिश स्थान है।<ref>[https://empg.maths.ed.ac.uk/Activities/BRST/ "Lecture Notes – Lecture 2: Symplectic reduction"], Retrieved on 30 January 2015.</ref> जैसा कि पहले उल्लेख किया गया है, एक सममिती सदिश स्पेस के परिवर्तनों को संरक्षित करने वाली संरचना एक समूह (गणित) बनाती है और यह समूह है {{math|Sp(2''n'', '''F''')}}, समष्टि के आयाम और क्षेत्र (गणित) पर निर्भर करता है जिस पर इसे परिभाषित किया गया है। | ||
एक | एक सममिती सदिश स्पेस अपने आप में सममिती मैनिफोल्ड है। सममिती समूह के एक [[समूह क्रिया (गणित)]] के अंतर्गत एक परिवर्तन, एक अर्थ में, एक [[sympletomorphism]] का एक रैखिक संस्करण है जो एक अधिक सामान्य संरचना है जो एक सिम्प्लेक्टिक मैनिफोल्ड पर परिवर्तन को संरक्षित करता है। | ||
=={{math|Sp(''n'')}}== | =={{math|Sp(''n'')}}== | ||
सुसंहति सममिती समूह<ref>{{harvnb|Hall|2015}} Section 1.2.8</ref> {{math|Sp(''n'')}} का चौराहा है {{math|Sp(2''n'', '''C''')}} साथ <math>2n\times 2n</math> एकात्मक समूह: | |||
:<math>\operatorname{Sp}(n):=\operatorname{Sp}(2n;\mathbf C)\cap\operatorname{U}(2n)=\operatorname{Sp}(2n;\mathbf C)\cap\operatorname {SU} (2n).</math> | :<math>\operatorname{Sp}(n):=\operatorname{Sp}(2n;\mathbf C)\cap\operatorname{U}(2n)=\operatorname{Sp}(2n;\mathbf C)\cap\operatorname {SU} (2n).</math> | ||
इसे कभी-कभी लिखा जाता है {{math|USp(2''n'')}}. वैकल्पिक रूप से, {{math|Sp(''n'')}} के उपसमूह के रूप में वर्णित किया जा सकता है {{math|GL(''n'', '''H''')}} (इनवर्टिबल [[चार का समुदाय]] | इसे कभी-कभी लिखा जाता है {{math|USp(2''n'')}}. वैकल्पिक रूप से, {{math|Sp(''n'')}} के उपसमूह के रूप में वर्णित किया जा सकता है {{math|GL(''n'', '''H''')}} (इनवर्टिबल [[चार का समुदाय]] आव्यूह) जो मानक [[हर्मिटियन रूप]] को संरक्षित करता है {{math|'''H'''<sup>''n''</sup>}}: | ||
:<math>\langle x, y\rangle = \bar x_1 y_1 + \cdots + \bar x_n y_n.</math> | :<math>\langle x, y\rangle = \bar x_1 y_1 + \cdots + \bar x_n y_n.</math> | ||
वह है, {{math|Sp(''n'')}} केवल क्लासिकी समूह#Sp(p, q) – चतुष्कोणीय एकात्मक समूह है, {{math|U(''n'', '''H''')}}.<ref>{{harvnb|Hall|2015}} p. 14</ref> दरअसल, इसे कभी-कभी हाइपर्यूनिटरी ग्रुप भी कहा जाता है। साथ ही Sp(1) मानदंड के चतुष्कोणों का समूह है {{math|1}}, के बराबर {{math|[[SU(2)]]}} और स्थलाकृतिक रूप से एक 3-क्षेत्र |{{math|3}}-वृत्त {{math|S<sup>3</sup>}}. | वह है, {{math|Sp(''n'')}} केवल क्लासिकी समूह#Sp(p, q) – चतुष्कोणीय एकात्मक समूह है, {{math|U(''n'', '''H''')}}.<ref>{{harvnb|Hall|2015}} p. 14</ref> दरअसल, इसे कभी-कभी हाइपर्यूनिटरी ग्रुप भी कहा जाता है। साथ ही Sp(1) मानदंड के चतुष्कोणों का समूह है {{math|1}}, के बराबर {{math|[[SU(2)]]}} और स्थलाकृतिक रूप से एक 3-क्षेत्र |{{math|3}}-वृत्त {{math|S<sup>3</sup>}}. | ||
ध्यान दें कि {{math|Sp(''n'')}} पिछले खंड के अर्थ में एक | ध्यान दें कि {{math|Sp(''n'')}} पिछले खंड के अर्थ में एक सममिती समूह नहीं है - यह एक गैर-पतित तिरछा-सममित को संरक्षित नहीं करता है {{math|'''H'''}}- द्विरेखीय समघात ऑन {{math|'''H'''<sup>''n''</sup>}}: शून्य रूप को छोड़कर ऐसा कोई रूप नहीं है। बल्कि, यह एक उपसमूह के लिए आइसोमोर्फिक है {{math|Sp(2''n'', '''C''')}}, और इसलिए दो बार आयाम के सदिश समष्टि में एक जटिल सममिती रूप को संरक्षित करता है। जैसा कि नीचे समझाया गया है, का झूठ बीजगणित {{math|Sp(''n'')}} जटिल symplectic झूठ बीजगणित का सुसंहति वास्तविक रूप है {{math|'''sp'''(2''n'', '''C''')}}. | ||
{{math|Sp(''n'')}} (वास्तविक) आयाम वाला एक वास्तविक झूठ समूह है {{math|''n''(2''n'' + 1)}}. यह [[ कॉम्पैक्ट जगह ]] है और बस जुड़ा हुआ है।<ref>{{harvnb|Hall|2015}} Prop. 13.12</ref> | {{math|Sp(''n'')}} (वास्तविक) आयाम वाला एक वास्तविक झूठ समूह है {{math|''n''(2''n'' + 1)}}. यह [[ कॉम्पैक्ट जगह | सुसंहति जगह]] है और बस जुड़ा हुआ है।<ref>{{harvnb|Hall|2015}} Prop. 13.12</ref> | ||
का झूठ बीजगणित {{math|Sp(''n'')}} चतुष्कोणीय तिरछा-हर्मिटियन मैट्रिसेस द्वारा दिया गया है, का | का झूठ बीजगणित {{math|Sp(''n'')}} चतुष्कोणीय तिरछा-हर्मिटियन मैट्रिसेस द्वारा दिया गया है, का समुच्चय {{math|''n''-by-''n''}} चतुष्कोणीय आव्यूह जो संतुष्ट करते हैं | ||
:<math>A+A^{\dagger} = 0</math> | :<math>A+A^{\dagger} = 0</math> | ||
Line 112: | Line 112: | ||
लाई बीजगणित की समरूपताएं भी हैं {{math|1='''sp'''(2) = '''so'''(5)}} और {{math|1='''sp'''(1) = '''so'''(3) = '''su'''(2)}}. | लाई बीजगणित की समरूपताएं भी हैं {{math|1='''sp'''(2) = '''so'''(5)}} और {{math|1='''sp'''(1) = '''so'''(3) = '''su'''(2)}}. | ||
== | == सममिती समूहों के बीच संबंध == | ||
प्रत्येक जटिल, अर्ध-सरल झूठ बीजगणित का एक वास्तविक रूप होता है (झूठ सिद्धांत)#विभाजित वास्तविक रूप और एक वास्तविक रूप (झूठ सिद्धांत)# | प्रत्येक जटिल, अर्ध-सरल झूठ बीजगणित का एक वास्तविक रूप होता है (झूठ सिद्धांत)#विभाजित वास्तविक रूप और एक वास्तविक रूप (झूठ सिद्धांत)#सुसंहति वास्तविक रूप; पूर्व को बाद के दो का जटिल कहा जाता है। | ||
का झूठ बीजगणित {{math|Sp(2''n'', '''C''')}} सेमीसिंपल लाई बीजगणित है और इसे निरूपित किया जाता है {{math|'''sp'''(2''n'', '''C''')}}. इसका वास्तविक रूप (झूठ सिद्धांत)#विभाजित वास्तविक रूप है {{math|'''sp'''(2''n'', '''R''')}} और उसका वास्तविक रूप (झूठ सिद्धांत)#सघन वास्तविक रूप है {{math|'''sp'''(''n'')}}. ये झूठ समूहों के अनुरूप हैं {{math|Sp(2''n'', '''R''')}} और {{math|Sp(''n'')}} क्रमश। | का झूठ बीजगणित {{math|Sp(2''n'', '''C''')}} सेमीसिंपल लाई बीजगणित है और इसे निरूपित किया जाता है {{math|'''sp'''(2''n'', '''C''')}}. इसका वास्तविक रूप (झूठ सिद्धांत)#विभाजित वास्तविक रूप है {{math|'''sp'''(2''n'', '''R''')}} और उसका वास्तविक रूप (झूठ सिद्धांत)#सघन वास्तविक रूप है {{math|'''sp'''(''n'')}}. ये झूठ समूहों के अनुरूप हैं {{math|Sp(2''n'', '''R''')}} और {{math|Sp(''n'')}} क्रमश। | ||
बीजगणित, {{math|'''sp'''(''p'', ''n'' − ''p'')}}, जो के झूठ बीजगणित हैं {{math|Sp(''p'', ''n'' − ''p'')}}, | बीजगणित, {{math|'''sp'''(''p'', ''n'' − ''p'')}}, जो के झूठ बीजगणित हैं {{math|Sp(''p'', ''n'' − ''p'')}}, सुसंहति फॉर्म के बराबर मेट्रिक हस्ताक्षर हैं। | ||
== भौतिक महत्व == | == भौतिक महत्व == | ||
=== | === उत्कृष्ट यांत्रिकी === | ||
सुसंहति सममिती समूह {{math|Sp(''n'')}} उत्कृष्ट भौतिकी में पोइसन ब्रैकेट को संरक्षित करने वाले विहित निर्देशांक की समरूपता के रूप में सामने आता है। | |||
की एक प्रणाली पर विचार करें {{math|''n''}} कण, हैमिल्टनियन यांत्रिकी के | की एक प्रणाली पर विचार करें {{math|''n''}} कण, हैमिल्टनियन यांत्रिकी के अंतर्गत विकसित हो रहे हैं। हैमिल्टन के समीकरण जिनकी स्थिति एक निश्चित समय पर [[चरण स्थान]] में [[विहित निर्देशांक]] के सदिश द्वारा निरूपित की जाती है, | ||
:<math>\mathbf{z} = (q^1, \ldots , q^n, p_1, \ldots , p_n)^\mathrm{T}.</math> | :<math>\mathbf{z} = (q^1, \ldots , q^n, p_1, \ldots , p_n)^\mathrm{T}.</math> | ||
Line 136: | Line 136: | ||
:<math>M(\mathbf z, t) \in \operatorname{Sp}(2n, \mathbf R)</math> | :<math>M(\mathbf z, t) \in \operatorname{Sp}(2n, \mathbf R)</math> | ||
सभी के लिए {{mvar|t}} और सभी {{math|'''z'''}} चरण | सभी के लिए {{mvar|t}} और सभी {{math|'''z'''}} चरण समष्टि में।<ref>{{harvnb|Goldstein|1980|loc=Section 9.3}}</ref> | ||
[[रीमैनियन कई गुना]] के विशेष मामले के लिए, हैमिल्टन के समीकरण उस मैनिफोल्ड पर [[ geodesic ]]्स का वर्णन करते हैं। निर्देशांक <math>q^i</math> अंतर्निहित कई गुना, और क्षण पर रहते हैं <math>p_i</math> [[स्पर्शरेखा बंडल]] में रहते हैं। यही कारण है कि इन्हें पारंपरिक रूप से अपर और लोअर इंडेक्स के साथ लिखा जाता है; यह उनके स्थानों को अलग करना है। इसी हैमिल्टनियन में विशुद्ध रूप से गतिज ऊर्जा होती है: यह है <math>H=\tfrac{1}{2}g^{ij}(q)p_ip_j</math> कहाँ <math>g^{ij}</math> [[मीट्रिक टेंसर]] का व्युत्क्रम है <math>g_{ij}</math> रीमैनियन मैनिफोल्ड पर।<ref>Jurgen Jost, (1992) ''Riemannian Geometry and Geometric Analysis'', Springer.</ref><ref name="A&M">[[Ralph Abraham (mathematician)|Ralph Abraham]] and [[Jerrold E. Marsden]], ''Foundations of Mechanics'', (1978) Benjamin-Cummings, London {{isbn|0-8053-0102-X}}</ref> वास्तव में, किसी भी चिकने मैनिफोल्ड के कोटैंजेंट बंडल को एक कैनोनिकल तरीके से एक सिम्प्लेक्टिक मैनिफोल्ड दिया जा सकता है, जिसमें सिम्प्लेक्टिक फॉर्म को [[टॉटोलॉजिकल वन-फॉर्म]] के बाहरी डेरिवेटिव के रूप में परिभाषित किया जाता है।<ref>{{Cite book|last=da Silva|first=Ana Cannas|url=http://link.springer.com/10.1007/978-3-540-45330-7|title=सिम्प्लेक्टिक ज्यामिति पर व्याख्यान|date=2008|publisher=Springer Berlin Heidelberg|isbn=978-3-540-42195-5|series=Lecture Notes in Mathematics|volume=1764|location=Berlin, Heidelberg|pages=9|doi=10.1007/978-3-540-45330-7}}</ref> | [[रीमैनियन कई गुना]] के विशेष मामले के लिए, हैमिल्टन के समीकरण उस मैनिफोल्ड पर [[ geodesic ]]्स का वर्णन करते हैं। निर्देशांक <math>q^i</math> अंतर्निहित कई गुना, और क्षण पर रहते हैं <math>p_i</math> [[स्पर्शरेखा बंडल]] में रहते हैं। यही कारण है कि इन्हें पारंपरिक रूप से अपर और लोअर इंडेक्स के साथ लिखा जाता है; यह उनके स्थानों को अलग करना है। इसी हैमिल्टनियन में विशुद्ध रूप से गतिज ऊर्जा होती है: यह है <math>H=\tfrac{1}{2}g^{ij}(q)p_ip_j</math> कहाँ <math>g^{ij}</math> [[मीट्रिक टेंसर]] का व्युत्क्रम है <math>g_{ij}</math> रीमैनियन मैनिफोल्ड पर।<ref>Jurgen Jost, (1992) ''Riemannian Geometry and Geometric Analysis'', Springer.</ref><ref name="A&M">[[Ralph Abraham (mathematician)|Ralph Abraham]] and [[Jerrold E. Marsden]], ''Foundations of Mechanics'', (1978) Benjamin-Cummings, London {{isbn|0-8053-0102-X}}</ref> वास्तव में, किसी भी चिकने मैनिफोल्ड के कोटैंजेंट बंडल को एक कैनोनिकल तरीके से एक सिम्प्लेक्टिक मैनिफोल्ड दिया जा सकता है, जिसमें सिम्प्लेक्टिक फॉर्म को [[टॉटोलॉजिकल वन-फॉर्म]] के बाहरी डेरिवेटिव के रूप में परिभाषित किया जाता है।<ref>{{Cite book|last=da Silva|first=Ana Cannas|url=http://link.springer.com/10.1007/978-3-540-45330-7|title=सिम्प्लेक्टिक ज्यामिति पर व्याख्यान|date=2008|publisher=Springer Berlin Heidelberg|isbn=978-3-540-42195-5|series=Lecture Notes in Mathematics|volume=1764|location=Berlin, Heidelberg|pages=9|doi=10.1007/978-3-540-45330-7}}</ref> | ||
=== क्वांटम यांत्रिकी === | === क्वांटम यांत्रिकी === | ||
की एक प्रणाली पर विचार करें {{math|''n''}} कण जिनकी [[कितना राज्य]] इसकी स्थिति और संवेग को कूटबद्ध करती है। ये निर्देशांक निरंतर चर हैं और इसलिए [[हिल्बर्ट अंतरिक्ष|हिल्बर्ट समष्टि]], जिसमें राज्य रहता है, अनंत-आयामी है। यह अक्सर इस स्थिति के विश्लेषण को पेचीदा बना देता है। चरण समष्टि में [[हाइजेनबर्ग चित्र]] के अंतर्गत स्थिति और गति ऑपरेटरों के विकास पर विचार करना एक वैकल्पिक दृष्टिकोण है। | |||
की एक प्रणाली पर विचार करें {{math|''n''}} कण जिनकी [[कितना राज्य]] इसकी स्थिति और संवेग को कूटबद्ध करती है। ये निर्देशांक निरंतर चर हैं और इसलिए [[हिल्बर्ट अंतरिक्ष]], जिसमें राज्य रहता है, अनंत-आयामी है। यह अक्सर इस स्थिति के विश्लेषण को पेचीदा बना देता है। चरण | |||
कैनोनिकल निर्देशांक के | कैनोनिकल निर्देशांक के सदिश का निर्माण करें, | ||
:<math>\mathbf{\hat{z}} = (\hat{q}^1, \ldots , \hat{q}^n, \hat{p}_1, \ldots , \hat{p}_n)^\mathrm{T}. </math> | :<math>\mathbf{\hat{z}} = (\hat{q}^1, \ldots , \hat{q}^n, \hat{p}_1, \ldots , \hat{p}_n)^\mathrm{T}. </math> | ||
Line 158: | Line 157: | ||
:<math>\hat{H} = \frac{1}{2}\mathbf{\hat{z}}^\mathrm{T} K\mathbf{\hat{z}}</math> | :<math>\hat{H} = \frac{1}{2}\mathbf{\hat{z}}^\mathrm{T} K\mathbf{\hat{z}}</math> | ||
कहाँ {{math|''K''}} एक है {{math|2''n'' × 2''n''}} वास्तविक, सममित | कहाँ {{math|''K''}} एक है {{math|2''n'' × 2''n''}} वास्तविक, सममित आव्यूह। यह एक उपयोगी प्रतिबंध साबित होता है और हमें हाइजेनबर्ग तस्वीर को फिर से लिखने की अनुमति देता है | ||
:<math>\frac{d\mathbf{\hat{z}}}{dt} = \Omega K \mathbf{\hat{z}}</math> | :<math>\frac{d\mathbf{\hat{z}}}{dt} = \Omega K \mathbf{\hat{z}}</math> | ||
इस समीकरण के समाधान को कैनोनिकल कम्यूटेशन रिलेशन को बनाए रखना चाहिए। यह दिखाया जा सकता है कि इस प्रणाली का समय विकास | इस समीकरण के समाधान को कैनोनिकल कम्यूटेशन रिलेशन को बनाए रखना चाहिए। यह दिखाया जा सकता है कि इस प्रणाली का समय विकास सममिती समूह #Sp.282n.2C R.29|वास्तविक सममिती समूह की समूह क्रिया (गणित) के बराबर है, {{math|Sp(2''n'', '''R''')}}, चरण स्थान पर। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 167: | Line 166: | ||
* एकात्मक समूह | * एकात्मक समूह | ||
* अनुमानित एकात्मक समूह | * अनुमानित एकात्मक समूह | ||
* सिम्प्लेक्टिक मैनिफोल्ड, सिम्प्लेक्टिक | * सिम्प्लेक्टिक मैनिफोल्ड, सिम्प्लेक्टिक आव्यूह, सिम्प्लेक्टिक सदिश स्पेस, सिम्प्लेक्टिक प्रतिनिधित्व | ||
* [[शास्त्रीय झूठ समूहों का प्रतिनिधित्व]] | * [[शास्त्रीय झूठ समूहों का प्रतिनिधित्व|उत्कृष्ट झूठ समूहों का प्रतिनिधित्व]] | ||
* [[हैमिल्टनियन यांत्रिकी]] | * [[हैमिल्टनियन यांत्रिकी]] | ||
* मेटाप्लेक्टिक समूह | * मेटाप्लेक्टिक समूह |
Revision as of 11:54, 8 May 2023
सभी विशिष्ट एबेलियन उपसमूह चक्रीय के साथ परिमित समूहों के लिए, सममिती प्ररूप का समूह देखें।
Lie groups |
---|
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
गणित में, नाम सममिती समूह दो अलग-अलग, लेकिन निकटता से संबंधित, गणितीय समूहों के संग्रह को संदर्भित कर सकता है, जो धनात्मक पूर्णांक n और क्षेत्र F (सामान्य रूप से C या R) के लिए Sp(2n, F) और Sp(n) को दर्शाता है। बाद वाले को सुसंहति सममिती समूह कहा जाता है और इसे द्वारा भी निरूपित किया जाता है। कई लेखक आंशिक भिन्न संकेतन चयन करते हैं, जो सामान्य रूप से 2 के कारकों से भिन्न होते हैं। यहां उपयोग किए जाने वाले संकेतन सबसे सामान्य आव्यूह के आकार के अनुरूप हैं जो समूहों का प्रतिनिधित्व करते हैं। कार्टन के साधारण लाई बीजगणित के वर्गीकरण में, जटिल समूह Sp(2n, C) के लाई बीजगणित को Cn निरूपित किया जाता है, और Sp(n), Sp(2n, C) का सुसंहति वास्तविक रूप है। ध्यान दें कि जब हम (सुसंहति) सममिती समूह का उल्लेख करते हैं तो यह निहित होता है कि हम (सुसंहति) सममिती समूहों के संग्रह के बारे में अन्तः क्रिया कर रहे हैं, जो उनके आयाम n द्वारा अनुक्रमित हैं।
"सममिती समूह" नाम पिछले अस्पष्ट नामों (रेखा) जटिल समूह और एबेलियन रैखिक समूह के प्रतिस्थापन के रूप में हरमन वेइल के कारण है, और "जटिल" का ग्रीक एनालॉग है।
मेटाप्लेक्टिक समूह R पर सममिती समूह का दोहरा आवरण है; इसमें अन्य स्थानीय क्षेत्रों, परिमित क्षेत्रों और एडेल वलय के अनुरूप हैं।
Sp(2n, F)
सममिती समूह एक उत्कृष्ट समूह है जिसे क्षेत्र F पर 2n-आयामी सदिश समष्टि के रैखिक परिवर्तनों के समुच्चय के रूप में परिभाषित किया गया है जो एक गैर-पतित विषम सममित द्विरेखीय रूप को संरक्षित करता है। इस तरह के एक सदिश समष्टि को एक सममिती सदिश समष्टि कहा जाता है, और एक अमूर्त सममित सदिश समष्टि V के सममित समूह को Sp(V) द्वारा दर्शाया जाता है। V के लिए एक आधार निर्धारित करने पर, सहानुभूतिपूर्ण समूह आव्यूह गुणा के संचालन के अंतर्गत F में प्रविष्टियों के साथ 2n × 2n सममिति आव्यूह का समूह बन जाता है। इस समूह को Sp(2n, F) या Sp(n, F) द्वारा निरूपित किया जाता है यदि द्विरेखीय समघात को व्युत्क्रमणीय मैट्रिक्स विषम सममित आव्यूह Ω द्वारा दर्शाया जाता है, तो
जहां MT का स्थानान्तरण है। प्रायः Ω को परिभाषित किया जाता है
जहां Inपहचान आव्यूह है। इस मामले में, Sp(2n, F) उन ब्लॉक आव्यूह के रूप में व्यक्त किया जा सकता है , कहाँ , तीन समीकरणों को संतुष्ट करना:
चूँकि सभी symplectic matrices में निर्धारक होते हैं 1, सममिती समूह विशेष रैखिक समूह का एक उपसमूह है SL(2n, F). कब n = 1, एक आव्यूह पर सममिती की स्थिति संतुष्ट होती है अगर और केवल अगर निर्धारक एक है, ताकि Sp(2, F) = SL(2, F). के लिए n > 1, अतिरिक्त शर्तें हैं, अर्थात Sp(2n, F) तब का एक उचित उपसमूह है SL(2n, F).
सामान्य रूप से, मैदान F वास्तविक संख्याओं का क्षेत्र है R या जटिल संख्याएँ C. ऐसे मामलों में Sp(2n, F) वास्तविक/जटिल आयाम का वास्तविक/जटिल झूठ समूह है n(2n + 1). ये समूह जुड़े हुए स्थान हैं लेकिन सुसंहति समूह | गैर-सुसंहति हैं।
केंद्र (समूह सिद्धांत)। Sp(2n, F) आव्यूह के होते हैं I2n और −I2n जब तक विशेषता (बीजगणित) नहीं है 2.[1] के केंद्र के बाद से Sp(2n, F) असतत है और इसका भागफल मॉड्यूलो केंद्र एक साधारण समूह है, Sp(2n, F) को सरल झूठ समूह माना जाता है#परिभाषा पर टिप्पणियाँ।
संबंधित लाई बीजगणित की वास्तविक रैंक, और इसलिए लाई समूह की Sp(2n, F), है n.
का झूठ बीजगणित Sp(2n, F) समुच्चय है
कम्यूटेटर # रिंग थ्योरी से लैस है जो इसके लाई ब्रैकेट के रूप में है।[2] मानक तिरछा-सममित द्विरेखीय रूप के लिए , यह झूठ बीजगणित सभी ब्लॉक मैट्रिसेस का समुच्चय है शर्तों के अधीन
Sp(2n, C)
जटिल संख्याओं के क्षेत्र में सममिती समूह एक सुसंहति समूह है | गैर-सुसंहति, बस जुड़ा हुआ, सरल झूठ समूह।
Sp(2n, R)
Sp(n, C) वास्तविक समूह का जटिलीकरण (झूठ समूह) है Sp(2n, R). Sp(2n, R) एक वास्तविक, सुसंहति समूह है | गैर-सुसंहति, कनेक्टेड स्पेस, सरल झूठ समूह।[3] इसके अतिरिक्त के अंतर्गत पूर्णांकों के समूह के लिए एक मौलिक समूह समूह समरूपता है। एक साधारण लाई समूह के वास्तविक रूप के रूप में इसका लाई बीजगणित स्प्लिट लाई बीजगणित है।
के कुछ और गुण Sp(2n, R):
- झूठ बीजगणित से घातीय मानचित्र (झूठ सिद्धांत)। sp(2n, R) समूह के लिए Sp(2n, R) विशेषण फलन नहीं है। हालांकि, समूह के किसी भी तत्व को दो घातीयों के उत्पाद के रूप में दर्शाया जा सकता है।[4] दूसरे शब्दों में,
- सभी के लिए S में Sp(2n, R):
- गणित का सवाल D सकारात्मक-निश्चित आव्यूह है | सकारात्मक-निश्चित और विकर्ण आव्यूह। ऐसे का समुच्चय Zs का एक गैर-सुसंहति उपसमूह बनाता है Sp(2n, R) जबकि U(n) एक सुसंहति उपसमूह बनाता है। इस अपघटन को 'यूलर' या 'ब्लोच-मसीहा' अपघटन के रूप में जाना जाता है।[5] आगे के सममिती आव्यूह गुण उस विकिपीडिया पृष्ठ पर पाए जा सकते हैं।
- एक झूठ समूह के रूप में, Sp(2n, R) की कई गुना संरचना है। के लिए कई गुना Sp(2n, R) एकात्मक समूह के मैनिफोल्ड #कार्टेशियन उत्पादों के लिए डिफियोमोर्फिज्म है U(n) आयाम के सदिश स्थान के साथ n(n+1).[6]
इनफिनिटिमल जेनरेटर
सममिती झूठ बीजगणित के सदस्य sp(2n, F) हैमिल्टनियन आव्यूह हैं।
ये आव्यूह हैं, ऐसा है कि
कहाँ B और C सममित आव्यूह हैं। व्युत्पत्ति के लिए उत्कृष्ट समूह देखें।
सममिती आव्यूह का उदाहरण
के लिए Sp(2, R), का समूह 2 × 2 निर्धारक के साथ matrices 1, तीन सममिती (0, 1)-मैट्रिसेस हैं:[7]<ब्लॉककोट></ब्लॉककोट>
एसपी (2एन, आर)
यह पता चला है कि जेनरेटर का उपयोग करके काफी स्पष्ट विवरण हो सकता है। अगर हम जाने दें सममित को निरूपित करें मैट्रिसेस, फिर से उत्पन्न होता है जहां <ब्लॉककोट>के उपसमूह हैं [8]पेज 173[9]पीजी 2.
सममिती ज्यामिति के साथ संबंध
सममिती ज्यामिति , सिंपलेक्टिक मैनिफोल्ड ्स का अध्ययन है। एक सममिती मैनिफोल्ड पर किसी भी बिंदु पर स्पर्शरेखा स्थान एक सममिती सदिश स्थान है।[10] जैसा कि पहले उल्लेख किया गया है, एक सममिती सदिश स्पेस के परिवर्तनों को संरक्षित करने वाली संरचना एक समूह (गणित) बनाती है और यह समूह है Sp(2n, F), समष्टि के आयाम और क्षेत्र (गणित) पर निर्भर करता है जिस पर इसे परिभाषित किया गया है।
एक सममिती सदिश स्पेस अपने आप में सममिती मैनिफोल्ड है। सममिती समूह के एक समूह क्रिया (गणित) के अंतर्गत एक परिवर्तन, एक अर्थ में, एक sympletomorphism का एक रैखिक संस्करण है जो एक अधिक सामान्य संरचना है जो एक सिम्प्लेक्टिक मैनिफोल्ड पर परिवर्तन को संरक्षित करता है।
Sp(n)
सुसंहति सममिती समूह[11] Sp(n) का चौराहा है Sp(2n, C) साथ एकात्मक समूह:
इसे कभी-कभी लिखा जाता है USp(2n). वैकल्पिक रूप से, Sp(n) के उपसमूह के रूप में वर्णित किया जा सकता है GL(n, H) (इनवर्टिबल चार का समुदाय आव्यूह) जो मानक हर्मिटियन रूप को संरक्षित करता है Hn:
वह है, Sp(n) केवल क्लासिकी समूह#Sp(p, q) – चतुष्कोणीय एकात्मक समूह है, U(n, H).[12] दरअसल, इसे कभी-कभी हाइपर्यूनिटरी ग्रुप भी कहा जाता है। साथ ही Sp(1) मानदंड के चतुष्कोणों का समूह है 1, के बराबर SU(2) और स्थलाकृतिक रूप से एक 3-क्षेत्र |3-वृत्त S3.
ध्यान दें कि Sp(n) पिछले खंड के अर्थ में एक सममिती समूह नहीं है - यह एक गैर-पतित तिरछा-सममित को संरक्षित नहीं करता है H- द्विरेखीय समघात ऑन Hn: शून्य रूप को छोड़कर ऐसा कोई रूप नहीं है। बल्कि, यह एक उपसमूह के लिए आइसोमोर्फिक है Sp(2n, C), और इसलिए दो बार आयाम के सदिश समष्टि में एक जटिल सममिती रूप को संरक्षित करता है। जैसा कि नीचे समझाया गया है, का झूठ बीजगणित Sp(n) जटिल symplectic झूठ बीजगणित का सुसंहति वास्तविक रूप है sp(2n, C).
Sp(n) (वास्तविक) आयाम वाला एक वास्तविक झूठ समूह है n(2n + 1). यह सुसंहति जगह है और बस जुड़ा हुआ है।[13] का झूठ बीजगणित Sp(n) चतुष्कोणीय तिरछा-हर्मिटियन मैट्रिसेस द्वारा दिया गया है, का समुच्चय n-by-n चतुष्कोणीय आव्यूह जो संतुष्ट करते हैं
कहाँ A† का संयुग्मी स्थानांतरण है A (यहाँ एक चतुष्कोणीय संयुग्म लेता है)। लाइ ब्रैकेट कम्यूटेटर द्वारा दिया जाता है।
महत्वपूर्ण उपसमूह
कुछ मुख्य उपसमूह हैं:
इसके विपरीत यह स्वयं कुछ अन्य समूहों का एक उपसमूह है:
लाई बीजगणित की समरूपताएं भी हैं sp(2) = so(5) और sp(1) = so(3) = su(2).
सममिती समूहों के बीच संबंध
प्रत्येक जटिल, अर्ध-सरल झूठ बीजगणित का एक वास्तविक रूप होता है (झूठ सिद्धांत)#विभाजित वास्तविक रूप और एक वास्तविक रूप (झूठ सिद्धांत)#सुसंहति वास्तविक रूप; पूर्व को बाद के दो का जटिल कहा जाता है।
का झूठ बीजगणित Sp(2n, C) सेमीसिंपल लाई बीजगणित है और इसे निरूपित किया जाता है sp(2n, C). इसका वास्तविक रूप (झूठ सिद्धांत)#विभाजित वास्तविक रूप है sp(2n, R) और उसका वास्तविक रूप (झूठ सिद्धांत)#सघन वास्तविक रूप है sp(n). ये झूठ समूहों के अनुरूप हैं Sp(2n, R) और Sp(n) क्रमश।
बीजगणित, sp(p, n − p), जो के झूठ बीजगणित हैं Sp(p, n − p), सुसंहति फॉर्म के बराबर मेट्रिक हस्ताक्षर हैं।
भौतिक महत्व
उत्कृष्ट यांत्रिकी
सुसंहति सममिती समूह Sp(n) उत्कृष्ट भौतिकी में पोइसन ब्रैकेट को संरक्षित करने वाले विहित निर्देशांक की समरूपता के रूप में सामने आता है।
की एक प्रणाली पर विचार करें n कण, हैमिल्टनियन यांत्रिकी के अंतर्गत विकसित हो रहे हैं। हैमिल्टन के समीकरण जिनकी स्थिति एक निश्चित समय पर चरण स्थान में विहित निर्देशांक के सदिश द्वारा निरूपित की जाती है,
समूह के तत्व Sp(2n, R) एक निश्चित अर्थ में, इस सदिश पर विहित परिवर्तन हैं, यानी वे हैमिल्टनियन यांत्रिकी के रूप को संरक्षित करते हैं। हैमिल्टन के समीकरण।[14][15]अगर
नए विहित निर्देशांक हैं, फिर, समय व्युत्पन्न को इंगित करने वाले बिंदु के साथ,
कहाँ
सभी के लिए t और सभी z चरण समष्टि में।[16] रीमैनियन कई गुना के विशेष मामले के लिए, हैमिल्टन के समीकरण उस मैनिफोल्ड पर geodesic ्स का वर्णन करते हैं। निर्देशांक अंतर्निहित कई गुना, और क्षण पर रहते हैं स्पर्शरेखा बंडल में रहते हैं। यही कारण है कि इन्हें पारंपरिक रूप से अपर और लोअर इंडेक्स के साथ लिखा जाता है; यह उनके स्थानों को अलग करना है। इसी हैमिल्टनियन में विशुद्ध रूप से गतिज ऊर्जा होती है: यह है कहाँ मीट्रिक टेंसर का व्युत्क्रम है रीमैनियन मैनिफोल्ड पर।[17][15] वास्तव में, किसी भी चिकने मैनिफोल्ड के कोटैंजेंट बंडल को एक कैनोनिकल तरीके से एक सिम्प्लेक्टिक मैनिफोल्ड दिया जा सकता है, जिसमें सिम्प्लेक्टिक फॉर्म को टॉटोलॉजिकल वन-फॉर्म के बाहरी डेरिवेटिव के रूप में परिभाषित किया जाता है।[18]
क्वांटम यांत्रिकी
की एक प्रणाली पर विचार करें n कण जिनकी कितना राज्य इसकी स्थिति और संवेग को कूटबद्ध करती है। ये निर्देशांक निरंतर चर हैं और इसलिए हिल्बर्ट समष्टि, जिसमें राज्य रहता है, अनंत-आयामी है। यह अक्सर इस स्थिति के विश्लेषण को पेचीदा बना देता है। चरण समष्टि में हाइजेनबर्ग चित्र के अंतर्गत स्थिति और गति ऑपरेटरों के विकास पर विचार करना एक वैकल्पिक दृष्टिकोण है।
कैनोनिकल निर्देशांक के सदिश का निर्माण करें,
विहित रूपान्तरण संबंध को बस के रूप में व्यक्त किया जा सकता है
कहाँ
और In है n × n शिनाख्त सांचा।
कई भौतिक स्थितियों के लिए केवल द्विघात हैमिल्टनियन (क्वांटम यांत्रिकी), यानी हैमिल्टनियन (क्वांटम यांत्रिकी) के रूप की आवश्यकता होती है
कहाँ K एक है 2n × 2n वास्तविक, सममित आव्यूह। यह एक उपयोगी प्रतिबंध साबित होता है और हमें हाइजेनबर्ग तस्वीर को फिर से लिखने की अनुमति देता है
इस समीकरण के समाधान को कैनोनिकल कम्यूटेशन रिलेशन को बनाए रखना चाहिए। यह दिखाया जा सकता है कि इस प्रणाली का समय विकास सममिती समूह #Sp.282n.2C R.29|वास्तविक सममिती समूह की समूह क्रिया (गणित) के बराबर है, Sp(2n, R), चरण स्थान पर।
यह भी देखें
- ऑर्थोगोनल समूह
- एकात्मक समूह
- अनुमानित एकात्मक समूह
- सिम्प्लेक्टिक मैनिफोल्ड, सिम्प्लेक्टिक आव्यूह, सिम्प्लेक्टिक सदिश स्पेस, सिम्प्लेक्टिक प्रतिनिधित्व
- उत्कृष्ट झूठ समूहों का प्रतिनिधित्व
- हैमिल्टनियन यांत्रिकी
- मेटाप्लेक्टिक समूह
- Θ10
टिप्पणियाँ
- ↑ "Symplectic group", Encyclopedia of Mathematics Retrieved on 13 December 2014.
- ↑ Hall 2015 Prop. 3.25
- ↑ "Is the symplectic group Sp(2n, R) simple?", Stack Exchange Retrieved on 14 December 2014.
- ↑ "Is the exponential map for Sp(2n, R) surjective?", Stack Exchange Retrieved on 5 December 2014.
- ↑ "Standard forms and entanglement engineering of multimode Gaussian states under local operations – Serafini and Adesso", Retrieved on 30 January 2015.
- ↑ "Symplectic Geometry – Arnol'd and Givental", Retrieved on 30 January 2015.
- ↑ Symplectic Group, (source: Wolfram MathWorld), downloaded February 14, 2012
- ↑ Gerald B. Folland. (2016). चरण अंतरिक्ष में हार्मोनिक विश्लेषण. Princeton: Princeton Univ Press. p. 173. ISBN 978-1-4008-8242-7. OCLC 945482850.
- ↑ Habermann, Katharina, 1966- (2006). सहानुभूतिपूर्ण डायराक ऑपरेटरों का परिचय. Springer. ISBN 978-3-540-33421-7. OCLC 262692314.
{{cite book}}
: CS1 maint: multiple names: authors list (link) - ↑ "Lecture Notes – Lecture 2: Symplectic reduction", Retrieved on 30 January 2015.
- ↑ Hall 2015 Section 1.2.8
- ↑ Hall 2015 p. 14
- ↑ Hall 2015 Prop. 13.12
- ↑ Arnold 1989 gives an extensive mathematical overview of classical mechanics. See chapter 8 for symplectic manifolds.
- ↑ 15.0 15.1 Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X
- ↑ Goldstein 1980, Section 9.3
- ↑ Jurgen Jost, (1992) Riemannian Geometry and Geometric Analysis, Springer.
- ↑ da Silva, Ana Cannas (2008). सिम्प्लेक्टिक ज्यामिति पर व्याख्यान. Lecture Notes in Mathematics. Vol. 1764. Berlin, Heidelberg: Springer Berlin Heidelberg. p. 9. doi:10.1007/978-3-540-45330-7. ISBN 978-3-540-42195-5.
संदर्भ
- Arnold, V. I. (1989), Mathematical Methods of Classical Mechanics, Graduate Texts in Mathematics, vol. 60 (second ed.), Springer-Verlag, ISBN 0-387-96890-3
- 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
- Fulton, W.; Harris, J. (1991), Representation Theory, A first Course, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, ISBN 978-0-387-97495-8.
- Goldstein, H. (1980) [1950]. "Chapter 7". Classical Mechanics (2nd ed.). Reading MA: Addison-Wesley. ISBN 0-201-02918-9.
- Lee, J. M. (2003), Introduction to Smooth manifolds, Graduate Texts in Mathematics, vol. 218, Springer-Verlag, ISBN 0-387-95448-1
- Rossmann, Wulf (2002), Lie Groups – An Introduction Through Linear Groups, Oxford Graduate Texts in Mathematics, Oxford Science Publications, ISBN 0-19-859683-9
- Ferraro, Alessandro; Olivares, Stefano; Paris, Matteo G. A. (March 2005), "Gaussian states in continuous variable quantum information", arXiv:quant-ph/0503237.