सहानुभूतिपूर्ण समूह: Difference between revisions
No edit summary |
|||
Line 2: | Line 2: | ||
सभी विशिष्ट एबेलियन उपसमूह चक्रीय के साथ परिमित समूहों के लिए, सममिती प्ररूप का समूह देखें।{{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 | गणित में, नाम '''सममिती समूह''' दो अलग-अलग, लेकिन निकटता से संबंधित, गणितीय समूहों के संग्रह को संदर्भित कर सकता है, जो धनात्मक पूर्णांक n और क्षेत्र '''F''' (सामान्य रूप से '''C''' या '''R''') के लिए '''Sp(2n, F)''' और '''Sp(n)''' को दर्शाता है। बाद वाले को सुसंहति सममिती समूह कहा जाता है और इसे <math>\mathrm{U | ||
Sp}(n)</math> द्वारा भी निरूपित किया जाता है। कई लेखक आंशिक भिन्न संकेतन चयन करते हैं, जो सामान्य रूप से 2 के कारकों से भिन्न होते हैं। यहां उपयोग किए जाने वाले संकेतन सबसे सामान्य आव्यूह के आकार के अनुरूप हैं जो समूहों का प्रतिनिधित्व करते हैं। कार्टन के साधारण लाई बीजगणित के वर्गीकरण में, जटिल समूह Sp(2n, C) के लाई बीजगणित को Cn निरूपित किया जाता है, और Sp(n), Sp(2n, C) का सुसंहति वास्तविक रूप है। ध्यान दें कि जब हम (सुसंहति) सममिती समूह का उल्लेख करते हैं तो यह निहित होता है कि हम (सुसंहति) सममिती समूहों के संग्रह के बारे में अन्तः क्रिया कर रहे हैं, जो उनके आयाम n द्वारा अनुक्रमित हैं। | Sp}(n)</math> द्वारा भी निरूपित किया जाता है। कई लेखक आंशिक भिन्न संकेतन चयन करते हैं, जो सामान्य रूप से 2 के कारकों से भिन्न होते हैं। यहां उपयोग किए जाने वाले संकेतन सबसे सामान्य आव्यूह के आकार के अनुरूप हैं जो समूहों का प्रतिनिधित्व करते हैं। कार्टन के साधारण लाई बीजगणित के वर्गीकरण में, जटिल समूह Sp(2n, C) के लाई बीजगणित को Cn निरूपित किया जाता है, और Sp(n), Sp(2n, C) का सुसंहति वास्तविक रूप है। ध्यान दें कि जब हम (सुसंहति) सममिती समूह का उल्लेख करते हैं तो यह निहित होता है कि हम (सुसंहति) सममिती समूहों के संग्रह के बारे में अन्तः क्रिया कर रहे हैं, जो उनके आयाम n द्वारा अनुक्रमित हैं। | ||
Line 10: | Line 10: | ||
=={{math|Sp(2''n'', '''F''')}}== | =={{math|Sp(2''n'', '''F''')}}== | ||
सममिती समूह एक उत्कृष्ट समूह है जिसे क्षेत्र '''F''' पर 2n-आयामी सदिश समष्टि के रैखिक परिवर्तनों के समुच्चय के रूप में परिभाषित किया गया है जो एक गैर-पतित विषम सममित | सममिती समूह एक उत्कृष्ट समूह है जिसे क्षेत्र '''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> | जहां M<sup>T</sup>, M का स्थानान्तरण है। प्रायः Ω को परिभाषित किया जाता है | ||
:<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> | जहां 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> | ||
चूंकि सभी सममित आव्यूह में निर्धारक 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''')}} का एक उपयुक्त उपसमूह है। | |||
विशिष्ट रूप से, क्षेत्र F वास्तविक संख्या '''R''' या सम्मिश्र संख्या '''C''' का क्षेत्र है। इन स्थितियो में Sp(2''n'', '''F''') वास्तविक/जटिल आयाम n(2n + 1) का एक वास्तविक/जटिल लाई समूह है। ये समूह जुड़े हुए हैं, लेकिन गैर-संहत हैं। | |||
। {{math|Sp(2''n'', '''F''')}} के [[केंद्र (समूह सिद्धांत)]] मे आव्यूह {{math|''I''<sub>2''n''</sub>}} और {{math|−''I''<sub>2''n''</sub>}} के होते हैं। जब तक कि क्षेत्र की विशेषता 2 नहीं है।<ref>[http://www.encyclopediaofmath.org/index.php/Symplectic_group "Symplectic group"], ''[[Encyclopedia of Mathematics]]'' Retrieved on 13 December 2014.</ref> चूँकि Sp(2''n'', '''F''') का केंद्र असतत है और इसका भागफल मापांक केंद्र एक साधारण समूह है, Sp(2''n'', '''F''') को एक साधारण लाई समूह माना जाता है। | |||
इसी लाई बीजगणित की वास्तविक कोटि, और इसलिए लाई समूह Sp(2''n'', '''F''') की, n है। | |||
Sp(2''n'', '''F''') का लाई बीजगणित समुच्चय है | |||
:<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> के लिए, यह लाई बीजगणित सभी ब्लॉक आव्यूह <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(''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''')}} के कुछ और गुण: | |||
* | * लाई बीजगणित Sp(2''n'', '''R''') से समूह '''sp'''(2''n'', '''R''') तक का घातीय मानचित्र विशेषण नहीं है। हालांकि, समूह के किसी भी तत्व को दो घातांकों के गुणनफल के रूप में दर्शाया जा सकता है।<ref>[https://math.stackexchange.com/q/1051255 "Is the exponential map for Sp(2''n'', '''R''') surjective?"], ''[[Stack Exchange]]'' Retrieved on 5 December 2014.</ref> दूसरे शब्दों में, | ||
::<math>\forall S \in \operatorname{Sp}(2n,\mathbf{R})\,\, \exists X,Y \in \mathfrak{sp}(2n,\mathbf{R}) \,\, S = e^Xe^Y. </math> | ::<math>\forall S \in \operatorname{Sp}(2n,\mathbf{R})\,\, \exists X,Y \in \mathfrak{sp}(2n,\mathbf{R}) \,\, S = e^Xe^Y. </math> | ||
* | ::* {{math|Sp(2''n'', '''R''')}} में सभी S के लिए: | ||
::<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> | ||
: | :आव्यूह D धनात्मक-निश्चित और विकर्ण है I ऐसे Zs का समुच्चय Sp(2''n'', '''R''') का एक गैर-संहत उपसमूह बनाता है जबकि 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|''n''(''n''+1)}} के सदिश समष्टि के साथ एकात्मक समूह U(n) के कार्टेशियन गुणनफल के लिए भिन्न है।<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''')}} के लिए, निर्धारक 1 के साथ {{math|2 × 2}} मैट्रिसेस का समूह, तीन सममिती (0, 1)-आव्यूह हैं:<ref>[http://mathworld.wolfram.com/SymplecticGroup.html Symplectic Group], (source: [[Wolfram MathWorld]]), downloaded February 14, 2012</ref><blockquote><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></blockquote> | ||
==== | ==== Sp(2n, R) ==== | ||
यह पता चला है कि <math>\operatorname{Sp}(2n,\mathbf{R})</math> | यह पता चला है कि <math>\operatorname{Sp}(2n,\mathbf{R})</math> जनित्र का उपयोग करके अधिकतम स्पष्ट विवरण हो सकता है। यदि हम <math>\operatorname{Sym}(n)</math> को सममित को निरूपित करते हैं तो <math>n\times n</math> आव्यूह, तब <math>\operatorname{Sp}(2n,\mathbf{R})</math> से <math>D(n)\cup N(n) \cup \{\Omega\}</math> उत्पन्न होता है जहां | ||
<math>\begin{align} | |||
D(n) &= \left\{ \left. \begin{bmatrix} A & 0 \\ 0 & (A^T)^{-1} \end{bmatrix} \,\right| \, A \in \operatorname{GL}(n, \mathbf{R}) | D(n) &= \left\{ \left. \begin{bmatrix} A & 0 \\ 0 & (A^T)^{-1} \end{bmatrix} \,\right| \, A \in \operatorname{GL}(n, \mathbf{R}) | ||
\right\} \\[6pt] | \right\} \\[6pt] | ||
N(n) &= \left\{ \left. \begin{bmatrix} I_n & B \\ 0 & I_n \end{bmatrix} \, \right| \, B \in \operatorname{Sym}(n)\right\} | N(n) &= \left\{ \left. \begin{bmatrix} I_n & B \\ 0 & I_n \end{bmatrix} \, \right| \, B \in \operatorname{Sym}(n)\right\} | ||
\end{align}</math> | \end{align}</math> | ||
<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> जैसा कि पहले उल्लेख किया गया है, एक सममिती सदिश समष्टि के परिवर्तनों को संरक्षित करने वाली संरचना एक समूह बनाती है और यह समूह Sp(2''n'', '''F''') है, जो समष्टि के आयाम और उस क्षेत्र पर निर्भर करता है जिस पर इसे परिभाषित किया गया है। | |||
सममिती सदिश समष्टि अपने आप में सममिती प्रसमष्टि है। सममिती समूह के एक [[समूह क्रिया (गणित)|समूह संक्रिया (गणित)]] के अंतर्गत एक परिवर्तन के अर्थ में, एक [[sympletomorphism|सममिती-समरूपता]] का एक रैखिक संस्करण है जो एक अधिक सामान्य संरचना है जो एक सममिती प्रसमष्टि पर परिवर्तन को संरक्षित करता है। | |||
=={{math|Sp(''n'')}}== | =={{math|Sp(''n'')}}== | ||
सुसंहति सममिती समूह<ref>{{harvnb|Hall|2015}} Section 1.2.8</ref> {{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> | ||
इसे कभी-कभी | इसे कभी-कभी USp(2''n'') के रूप में लिखा जाता है। वैकल्पिक रूप से, Sp(n) को GL(''n'', '''H''') ( व्युत्क्रमणीय चतुष्कोणीय आव्यूह) के उपसमूह के रूप में वर्णित किया जा सकता है जो '''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> | ||
अर्थात्, Sp(n) केवल चतुष्कोणीय एकात्मक समूह, U(n, '''H''') है।<ref>{{harvnb|Hall|2015}} p. 14</ref> वास्तव में, इसे कभी-कभी अतिसक्रिय समूह कहा जाता है। साथ ही Sp(1) मानक 1 के चतुष्कोणों का समूह है, जो SU(2) के समतुल्य है और स्थैतिक रूप से एक 3-क्षेत्र S<sup>3</sup> है | |||
ध्यान दें कि {{math|Sp(''n'')}} | ध्यान दें कि {{math|Sp(''n'')}} पूर्व खंड के अर्थ में एक सममिती समूह नहीं है - यह एक गैर-पतित विषम-सममित को संरक्षित नहीं करता है {{math|'''H'''}}- द्विरेखीय समघात पर {{math|'''H'''<sup>''n''</sup>}} शून्य को छोड़कर ऐसा कोई रूप नहीं है। बल्कि, यह Sp(2n, '''C''') के एक उपसमूह के लिए समतुल्य है, और इसलिए दो बार आयाम के सदिश समष्टि में एक जटिल सममिति रूप को संरक्षित करता है। जैसा कि नीचे समझाया गया है, Sp(n) का लाइ बीजगणित जटिल सममिति लाइ बीजगणित sp(2n, C) का सुसंहत वास्तविक रूप है। | ||
{{math|Sp(''n'')}} (वास्तविक) आयाम वाला एक वास्तविक | {{math|Sp(''n'')}} (वास्तविक) आयाम वाला एक वास्तविक लाई समूह {{math|''n''(2''n'' + 1)}} है। यह [[ कॉम्पैक्ट जगह |सुसंहति समष्टि]] है और सरलता से जुड़ा हुआ है।<ref>{{harvnb|Hall|2015}} Prop. 13.12</ref> {{math|Sp(''n'')}} का लाई बीजगणित चतुष्कोणीय विषम-हर्मिटियन आव्यूह द्वारा दिया गया है, और n-द्वारा-n चतुष्कोणीय आव्यूह का समुच्चय जो संतुष्ट करता है। | ||
:<math>A+A^{\dagger} = 0</math> | :<math>A+A^{\dagger} = 0</math> | ||
जहाँ {{math|A<sup>†</sup>}} का संयुग्मी स्थानांतरण {{math|A}} है। यहाँ एक चतुष्कोणीय संयुग्म लेता है। लाइ वर्ग क्रमविनिमेयक द्वारा दिया जाता है। | |||
=== महत्वपूर्ण उपसमूह === | === महत्वपूर्ण उपसमूह === | ||
Line 110: | Line 114: | ||
: <math>\operatorname{F}_4 \supset \operatorname{Sp}(4)</math> | : <math>\operatorname{F}_4 \supset \operatorname{Sp}(4)</math> | ||
: <math>\operatorname{G}_2 \supset \operatorname{Sp}(1)</math> | : <math>\operatorname{G}_2 \supset \operatorname{Sp}(1)</math> | ||
लाई बीजगणित | लाई बीजगणित {{math|1='''sp'''(2) = '''so'''(5)}} और {{math|1='''sp'''(1) = '''so'''(3) = '''su'''(2)}} की समरूपताएं भी हैं। | ||
== सममिती समूहों के बीच संबंध == | == सममिती समूहों के बीच संबंध == | ||
प्रत्येक जटिल, अर्ध-सरल | प्रत्येक जटिल, अर्ध-सरल लाइ बीजगणित में एक विभाजित वास्तविक रूप और एक सुसंहत वास्तविक रूप को बाद के दो का एक जटिल रूप कहा जाता है। | ||
Sp(2''n'', '''C''') का लाई बीजगणित अर्धसरल है और इसे Sp(2''n'', '''C''') के रूप में दर्शाया गया है। इसका विभाजित वास्तविक रूपSp(2''n'', '''R''') है और इसका सुसंहत वास्तविक रूप sp(n) है। ये क्रमशः लाइ समूहों Sp(2''n'', '''R''') और '''Sp'''(n) के अनुरूप हैं। | |||
बीजगणित | बीजगणित '''sp'''(p, n − p), जो Sp(p, n − p) के लाइ बीजगणित हैं, सुसंहत रूप के समतुल्य अनिश्चित संकेत हैं। | ||
== भौतिक महत्व == | == भौतिक महत्व == | ||
=== उत्कृष्ट यांत्रिकी === | === उत्कृष्ट यांत्रिकी === | ||
सुसंहति सममिती समूह {{math|Sp(''n'')}} उत्कृष्ट भौतिकी में पोइसन | सुसंहति सममिती समूह {{math|Sp(''n'')}} उत्कृष्ट भौतिकी में पोइसन वर्ग को संरक्षित करने वाले विहित निर्देशांक की समरूपता के रूप में सामने आता है। | ||
की एक प्रणाली पर विचार करें | 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> | ||
समूह | समूह Sp(2''n'', '''R''') के तत्व, एक निश्चित अर्थ में, इस सदिश पर विहित रूपांतरण हैं, अर्थात वे हैमिल्टन के समीकरणों के रूप को संरक्षित करते हैं।<ref>{{harvnb|Arnold|1989}} gives an extensive mathematical overview of classical mechanics. See chapter 8 for [[symplectic manifold]]s.</ref><ref name="A&M" /> यदि | ||
:<math>\mathbf{Z} = \mathbf Z(\mathbf z, t) = (Q^1, \ldots , Q^n, P_1, \ldots , P_n)^\mathrm{T}</math> | :<math>\mathbf{Z} = \mathbf Z(\mathbf z, t) = (Q^1, \ldots , Q^n, P_1, \ldots , P_n)^\mathrm{T}</math> | ||
नए विहित निर्देशांक हैं, फिर, समय व्युत्पन्न को | नए विहित निर्देशांक हैं, फिर, एक बिंदु के साथ समय व्युत्पन्न को दर्शाता है, | ||
:<math>\dot {\mathbf Z} = M({\mathbf z}, t) \dot {\mathbf z},</math> | :<math>\dot {\mathbf Z} = M({\mathbf z}, t) \dot {\mathbf z},</math> | ||
जहाँ | |||
:<math>M(\mathbf z, t) \in \operatorname{Sp}(2n, \mathbf R)</math> | :<math>M(\mathbf z, t) \in \operatorname{Sp}(2n, \mathbf R)</math> | ||
सभी | सभी T और प्रावस्था समष्टि में सभी '''Z''' के लिए होता है।<ref>{{harvnb|Goldstein|1980|loc=Section 9.3}}</ref> | ||
रिमेंनियन प्रसमष्टि के विशेष स्थिति के लिए, हैमिल्टन के समीकरण उस प्रसमष्टि पर अल्पांतरी का वर्णन करते हैं। निर्देशांक <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> | |||
=== क्वांटम यांत्रिकी === | === क्वांटम यांत्रिकी === | ||
की एक प्रणाली पर विचार करें | 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> | ||
[[विहित रूपान्तरण संबंध]] | [[विहित रूपान्तरण संबंध|प्रामाणिक]] रूपान्तरण संबंध के रूप में व्यक्त किया जा सकता है | ||
:<math> [\mathbf{\hat{z}},\mathbf{\hat{z}}^\mathrm{T}] = i\hbar\Omega </math> | :<math> [\mathbf{\hat{z}},\mathbf{\hat{z}}^\mathrm{T}] = i\hbar\Omega </math> | ||
जहाँ | |||
:<math> \Omega = \begin{pmatrix} \mathbf{0} & I_n \\ -I_n & \mathbf{0}\end{pmatrix} </math> | :<math> \Omega = \begin{pmatrix} \mathbf{0} & I_n \\ -I_n & \mathbf{0}\end{pmatrix} </math> | ||
{{math|''I''<sub>''n''</sub>}} और {{math|''n'' × ''n''}} सर्वसम आव्यूह है। | |||
कई भौतिक स्थितियों के लिए केवल द्विघात [[हैमिल्टनियन (क्वांटम यांत्रिकी)]] | कई भौतिक स्थितियों के लिए केवल द्विघात [[हैमिल्टनियन (क्वांटम यांत्रिकी)]] की आवश्यकता होती है, जो कि द्विघात का हैमिल्टनियन है | ||
:<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>\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(2n, R) की संक्रिया (गणित) के बराबर है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[ऑर्थोगोनल समूह]] | * [[ऑर्थोगोनल समूह|लंबकोणीय समूह]] | ||
* एकात्मक समूह | * एकात्मक समूह | ||
* अनुमानित एकात्मक समूह | * अनुमानित एकात्मक समूह | ||
* | * सममिती प्रसमष्टि, सममिती आव्यूह, सममिती सदिश समष्टि, सममिती प्रतिनिधित्व | ||
* [[शास्त्रीय झूठ समूहों का प्रतिनिधित्व|उत्कृष्ट | * [[शास्त्रीय झूठ समूहों का प्रतिनिधित्व|उत्कृष्ट लाई समूहों का प्रतिनिधित्व]] | ||
* [[हैमिल्टनियन यांत्रिकी]] | * [[हैमिल्टनियन यांत्रिकी]] | ||
* मेटाप्लेक्टिक समूह | * मेटाप्लेक्टिक समूह |
Revision as of 14:01, 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, M का स्थानान्तरण है। प्रायः Ω को परिभाषित किया जाता है
जहां In सर्वसम आव्यूह है। इस स्थिति में, Sp(2n, F) उन ब्लॉक आव्यूह के रूप में व्यक्त किया जा सकता है, जहाँ तीन समीकरणों को संतुष्ट करना:
चूंकि सभी सममित आव्यूह में निर्धारक 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] दूसरे शब्दों में,
-
- Sp(2n, R) में सभी S के लिए:
-
- आव्यूह D धनात्मक-निश्चित और विकर्ण है I ऐसे Zs का समुच्चय Sp(2n, R) का एक गैर-संहत उपसमूह बनाता है जबकि U(n) एक सुसंहत उपसमूह बनाता है। इस अपघटन को 'यूलर' या 'ब्लोच-मसीहा' अपघटन के रूप में जाना जाता है।[5] आगे के सममिती आव्यूह गुण उस विकिपीडिया पृष्ठ पर पाए जा सकते हैं।
- लाई समूह के रूप में, Sp(2n, R) की कई गुना संरचना है। Sp(2n, R) के लिए समष्टि आयाम n(n+1) के सदिश समष्टि के साथ एकात्मक समूह U(n) के कार्टेशियन गुणनफल के लिए भिन्न है।[6]
अत्यंत सूक्ष्म जनित्र
सममिती लाई बीजगणित की इकाई sp(2n, F) हैमिल्टनियन आव्यूह हैं।
ये आव्यूह हैं, जैसे कि
जहाँ B और C सममिती आव्यूह हैं। व्युत्पत्ति के लिए उत्कृष्ट समूह देखें।
सममिती आव्यूह का उदाहरण
Sp(2, R) के लिए, निर्धारक 1 के साथ 2 × 2 मैट्रिसेस का समूह, तीन सममिती (0, 1)-आव्यूह हैं:[7]
Sp(2n, R)
यह पता चला है कि जनित्र का उपयोग करके अधिकतम स्पष्ट विवरण हो सकता है। यदि हम को सममित को निरूपित करते हैं तो आव्यूह, तब से उत्पन्न होता है जहां
के उपसमूह हैं। [8]पेज 173[9]पीजी 2
सममिती ज्यामिति के साथ संबंध
सममिती ज्यामिति, सममिती प्रसमष्टि का अध्ययन है। सममिती प्रसमष्टि पर किसी भी बिंदु पर स्पर्शी समष्टि एक सममिती सदिश समष्टि है।[10] जैसा कि पहले उल्लेख किया गया है, एक सममिती सदिश समष्टि के परिवर्तनों को संरक्षित करने वाली संरचना एक समूह बनाती है और यह समूह Sp(2n, F) है, जो समष्टि के आयाम और उस क्षेत्र पर निर्भर करता है जिस पर इसे परिभाषित किया गया है।
सममिती सदिश समष्टि अपने आप में सममिती प्रसमष्टि है। सममिती समूह के एक समूह संक्रिया (गणित) के अंतर्गत एक परिवर्तन के अर्थ में, एक सममिती-समरूपता का एक रैखिक संस्करण है जो एक अधिक सामान्य संरचना है जो एक सममिती प्रसमष्टि पर परिवर्तन को संरक्षित करता है।
Sp(n)
सुसंहति सममिती समूह[11] Sp(n), Sp(2n, C) का एकात्मक समूह के साथ प्रतिच्छेदन है:
इसे कभी-कभी USp(2n) के रूप में लिखा जाता है। वैकल्पिक रूप से, Sp(n) को GL(n, H) ( व्युत्क्रमणीय चतुष्कोणीय आव्यूह) के उपसमूह के रूप में वर्णित किया जा सकता है जो Hn पर मानक हर्मिटियन द्विघात को संरक्षित करता है:
अर्थात्, Sp(n) केवल चतुष्कोणीय एकात्मक समूह, U(n, H) है।[12] वास्तव में, इसे कभी-कभी अतिसक्रिय समूह कहा जाता है। साथ ही Sp(1) मानक 1 के चतुष्कोणों का समूह है, जो SU(2) के समतुल्य है और स्थैतिक रूप से एक 3-क्षेत्र S3 है
ध्यान दें कि Sp(n) पूर्व खंड के अर्थ में एक सममिती समूह नहीं है - यह एक गैर-पतित विषम-सममित को संरक्षित नहीं करता है H- द्विरेखीय समघात पर Hn शून्य को छोड़कर ऐसा कोई रूप नहीं है। बल्कि, यह Sp(2n, C) के एक उपसमूह के लिए समतुल्य है, और इसलिए दो बार आयाम के सदिश समष्टि में एक जटिल सममिति रूप को संरक्षित करता है। जैसा कि नीचे समझाया गया है, Sp(n) का लाइ बीजगणित जटिल सममिति लाइ बीजगणित sp(2n, C) का सुसंहत वास्तविक रूप है।
Sp(n) (वास्तविक) आयाम वाला एक वास्तविक लाई समूह n(2n + 1) है। यह सुसंहति समष्टि है और सरलता से जुड़ा हुआ है।[13] Sp(n) का लाई बीजगणित चतुष्कोणीय विषम-हर्मिटियन आव्यूह द्वारा दिया गया है, और n-द्वारा-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]
रिमेंनियन प्रसमष्टि के विशेष स्थिति के लिए, हैमिल्टन के समीकरण उस प्रसमष्टि पर अल्पांतरी का वर्णन करते हैं। निर्देशांक अंतर्निहित प्रसमष्टि पर रहते हैं, और संवेग कोटिस्पर्शी बंडल में रहते हैं। यही कारण है कि इन्हें परंपरागत रूप से ऊपरी और निचले सूचकांकों के साथ लिखा जाता है; यह उनके स्थानों को अलग करना है। इसी हैमिल्टनियन में विशुद्ध रूप से गतिज ऊर्जा होती है। जहाँ आव्यूह प्रदिश का व्युत्क्रम रीमैनियन प्रसमष्टि पर है।[17][15] वास्तव में, किसी भी सरल प्रसमष्टि के कोटिस्पर्शी बंडल को एक प्रमाणिक तरीके से एक सममिती प्रसमष्टि दिया जा सकता है, जिसमें सममिती द्विघात को पुनरावृत्ति एक प्ररूप के बाहरी अवकल के रूप में परिभाषित किया जाता है।[18]
क्वांटम यांत्रिकी
n कणों की एक प्रणाली पर विचार करें जिसका क्वांटम अवस्था इसकी स्थिति और गति को कूटबद्ध करता है। ये निर्देशांक सतत चर हैं और इसलिए हिल्बर्ट समष्टि, जिसमें अवस्था रहती है, और अनंत-आयामी है। यह प्रायः इस स्थिति के विश्लेषण को कठिन बना देता है। प्रावस्था-समष्टि में हाइजेनबर्ग समीकरण के अंतर्गत स्थिति और गति संक्रिया के विकास पर विचार करने के लिए एक वैकल्पिक दृष्टिकोण है।
प्रामाणिक निर्देशांक के सदिश का निर्माण करें,
प्रामाणिक रूपान्तरण संबंध के रूप में व्यक्त किया जा सकता है
जहाँ
In और n × n सर्वसम आव्यूह है।
कई भौतिक स्थितियों के लिए केवल द्विघात हैमिल्टनियन (क्वांटम यांत्रिकी) की आवश्यकता होती है, जो कि द्विघात का हैमिल्टनियन है
जहाँ K एक 2n × 2n वास्तविक सममित आव्यूह है। यह एक उपयोगी प्रतिबंध प्रमाणित होता है और हमें हाइजेनबर्ग समीकरण को पुनः लिखने की स्वीकृति देता है
इस समीकरण के समाधान को प्रामाणिक रूपान्तरण संबंध को बनाए रखना चाहिए। यह दिखाया जा सकता है कि इस प्रणाली का समय विकास सममिती समूह 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.