सहानुभूतिपूर्ण समूह: Difference between revisions

From Vigyanwiki
(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}}{{for| finite groups with all characteristic abelian subgroups cyclic|group of symplectic type}}
{{Short description|Mathematical group}}
{{Lie groups |Classical}}
सभी विशिष्ट एबेलियन उपसमूह चक्रीय के साथ परिमित समूहों के लिए, सममिती प्ररूप का समूह देखें।{{Lie groups |Classical}}
{{Group theory sidebar |Topological}}
{{Group theory sidebar |Topological}}
गणित में, नाम सहानुभूति समूह दो अलग-अलग, लेकिन बारीकी से संबंधित, गणितीय [[समूह (गणित)]] के संग्रह का उल्लेख कर सकता है, निरूपित {{math|Sp(2''n'', '''F''')}} और {{math|Sp(''n'')}} सकारात्मक पूर्णांक n और फ़ील्ड (गणित) 'F' (आमतौर पर 'C' या 'R') के लिए। बाद वाले को 'कॉम्पैक्ट सिम्पलेक्टिक ग्रुप' कहा जाता है और इसे इसके द्वारा भी निरूपित किया जाता है <math>\mathrm{U
गणित में, नाम सममिती समूह दो अलग-अलग, लेकिन निकटता से संबंधित, गणितीय समूहों के संग्रह को संदर्भित कर सकता है, जो धनात्मक पूर्णांक n और क्षेत्र '''F''' (सामान्य रूप से '''C''' या '''R''') के लिए '''Sp(2n, F)''' और '''Sp(n)''' को दर्शाता है। बाद वाले को सुसंहति सममिती समूह कहा जाता है और इसे <math>\mathrm{U
Sp}(n)</math>. कई लेखक थोड़ा अलग अंकन पसंद करते हैं, आमतौर पर कारकों के आधार पर भिन्न होते हैं {{math|2}}. यहां इस्तेमाल किया गया अंकन सबसे आम [[मैट्रिक्स (गणित)]] के आकार के अनुरूप है जो समूहों का प्रतिनिधित्व करता है। सरल लाई बीजगणित के एली कार्टन के वर्गीकरण में, जटिल समूह के लाई बीजगणित {{math|Sp(2''n'', '''C''')}} अंकित है {{math|''C<sub>n</sub>''}}, और {{math|Sp(''n'')}} वास्तविक रूप है (झूठ सिद्धांत)#कॉम्पैक्ट वास्तविक रूप {{math|Sp(2''n'', '''C''')}}. ध्यान दें कि जब हम (कॉम्पैक्ट) सहानुभूतिपूर्ण समूह का उल्लेख करते हैं तो यह निहित होता है कि हम (कॉम्पैक्ट) सहानुभूतिपूर्ण समूहों के संग्रह के बारे में बात कर रहे हैं, उनके आयाम द्वारा अनुक्रमित {{math|''n''}}.
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''')}}==
सहानुभूतिपूर्ण समूह एक [[शास्त्रीय समूह]] है जिसे एक के [[रैखिक परिवर्तन]]ों के सेट के रूप में परिभाषित किया गया है {{math|2''n''}}-क्षेत्र के ऊपर आयामी सदिश स्थान {{math|'''F'''}} जो एक गैर-अपमानित रूप को संरक्षित करता है | गैर-पतित [[तिरछा-सममित मैट्रिक्स]] | तिरछा-सममित [[द्विरेखीय रूप]]। इस तरह के एक वेक्टर अंतरिक्ष को एक सहानुभूतिपूर्ण वेक्टर अंतरिक्ष कहा जाता है, और एक सार सहानुभूतिपूर्ण वेक्टर अंतरिक्ष का सहानुभूति समूह {{math|''V''}} अंकित है {{math|Sp(''V'')}}. के लिए एक आधार तय करने पर {{math|''V''}}, सहानुभूतिपूर्ण समूह का समूह बन जाता है {{math|2''n'' × 2''n''}} [[सहानुभूतिपूर्ण मैट्रिक्स]], में प्रविष्टियों के साथ {{math|'''F'''}}, मैट्रिक्स गुणा के संचालन के तहत। इस समूह को या तो निरूपित किया जाता है {{math|Sp(2''n'', '''F''')}} या {{math|Sp(''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>
जहां एम<sup>T</sup> M का स्थानान्तरण है। अक्सर Ω को परिभाषित किया जाता है
जहां 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>
जहां मैं<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>, तीन समीकरणों को संतुष्ट करना:
जहां 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}}, सहानुभूतिपूर्ण समूह [[विशेष रैखिक समूह]] का एक [[उपसमूह]] है {{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''')}}.
चूँकि सभी 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|'''F'''}} [[वास्तविक संख्या]]ओं का क्षेत्र है {{math|'''R'''}} या [[जटिल संख्या]]एँ {{math|'''C'''}}. ऐसे मामलों में {{math|Sp(2''n'', '''F''')}} वास्तविक/जटिल आयाम का वास्तविक/जटिल [[झूठ समूह]] है {{math|''n''(2''n'' + 1)}}. ये समूह जुड़े हुए स्थान हैं लेकिन [[कॉम्पैक्ट समूह|सुसंहति समूह]] | गैर-सुसंहति हैं।


[[केंद्र (समूह सिद्धांत)]]। {{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|''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>, यह झूठ बीजगणित सभी ब्लॉक मैट्रिसेस का सेट है <math>(\begin{smallmatrix} A & B \\ C & D \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''')}} एक वास्तविक, कॉम्पैक्ट समूह है | गैर-कॉम्पैक्ट, कनेक्टेड स्पेस, सरल झूठ समूह।<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(''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|''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|''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|''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'', '''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|'''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>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|(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
के लिए {{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''')}}, अंतरिक्ष के आयाम और क्षेत्र (गणित) पर निर्भर करता है जिस पर इसे परिभाषित किया गया है।
[[ सहानुभूतिपूर्ण ज्यामिति | सममिती ज्यामिति]] , [[ सिंपलेक्टिक मैनिफोल्ड ]]्स का अध्ययन है। एक सममिती मैनिफोल्ड पर किसी भी बिंदु पर [[स्पर्शरेखा स्थान]] एक सममिती सदिश स्थान है।<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]] का एक रैखिक संस्करण है जो एक अधिक सामान्य संरचना है जो एक सिम्प्लेक्टिक मैनिफोल्ड पर परिवर्तन को संरक्षित करता है।
एक सममिती सदिश स्पेस अपने आप में सममिती मैनिफोल्ड है। सममिती समूह के एक [[समूह क्रिया (गणित)]] के अंतर्गत एक परिवर्तन, एक अर्थ में, एक [[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> एकात्मक समूह:
सुसंहति सममिती समूह<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|'''H'''<sup>''n''</sup>}}:
इसे कभी-कभी लिखा जाता है {{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|'''H'''}}- बिलिनियर फॉर्म ऑन {{math|'''H'''<sup>''n''</sup>}}: शून्य रूप को छोड़कर ऐसा कोई रूप नहीं है। बल्कि, यह एक उपसमूह के लिए आइसोमोर्फिक है {{math|Sp(2''n'', '''C''')}}, और इसलिए दो बार आयाम के वेक्टर अंतरिक्ष में एक जटिल सहानुभूतिपूर्ण रूप को संरक्षित करता है। जैसा कि नीचे समझाया गया है, का झूठ बीजगणित {{math|Sp(''n'')}} जटिल symplectic झूठ बीजगणित का कॉम्पैक्ट वास्तविक रूप है {{math|'''sp'''(2''n'', '''C''')}}.
ध्यान दें कि {{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|''n''-by-''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|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'''}} चरण अंतरिक्ष में।<ref>{{harvnb|Goldstein|1980|loc=Section 9.3}}</ref>
सभी के लिए {{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>




=== क्वांटम यांत्रिकी ===
=== क्वांटम यांत्रिकी ===
{{More citations needed section|date=October 2019}}
की एक प्रणाली पर विचार करें {{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''')}}, चरण स्थान पर।
इस समीकरण के समाधान को कैनोनिकल कम्यूटेशन रिलेशन को बनाए रखना चाहिए। यह दिखाया जा सकता है कि इस प्रणाली का समय विकास सममिती समूह #Sp.282n.2C R.29|वास्तविक सममिती समूह की समूह क्रिया (गणित) के बराबर है, {{math|Sp(2''n'', '''R''')}}, चरण स्थान पर।


== यह भी देखें ==
== यह भी देखें ==
Line 167: Line 166:
* एकात्मक समूह
* एकात्मक समूह
* अनुमानित एकात्मक समूह
* अनुमानित एकात्मक समूह
* सिम्प्लेक्टिक मैनिफोल्ड, सिम्प्लेक्टिक मैट्रिक्स, सिम्प्लेक्टिक वेक्टर स्पेस, सिम्प्लेक्टिक प्रतिनिधित्व
* सिम्प्लेक्टिक मैनिफोल्ड, सिम्प्लेक्टिक आव्यूह, सिम्प्लेक्टिक सदिश स्पेस, सिम्प्लेक्टिक प्रतिनिधित्व
* [[शास्त्रीय झूठ समूहों का प्रतिनिधित्व]]
* [[शास्त्रीय झूठ समूहों का प्रतिनिधित्व|उत्कृष्ट झूठ समूहों का प्रतिनिधित्व]]
* [[हैमिल्टनियन यांत्रिकी]]
* [[हैमिल्टनियन यांत्रिकी]]
* मेटाप्लेक्टिक समूह
* मेटाप्लेक्टिक समूह

Revision as of 11:54, 8 May 2023

सभी विशिष्ट एबेलियन उपसमूह चक्रीय के साथ परिमित समूहों के लिए, सममिती प्ररूप का समूह देखें।

गणित में, नाम सममिती समूह दो अलग-अलग, लेकिन निकटता से संबंधित, गणितीय समूहों के संग्रह को संदर्भित कर सकता है, जो धनात्मक पूर्णांक 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, 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, np), जो के झूठ बीजगणित हैं Sp(p, np), सुसंहति फॉर्म के बराबर मेट्रिक हस्ताक्षर हैं।

भौतिक महत्व

उत्कृष्ट यांत्रिकी

सुसंहति सममिती समूह 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), चरण स्थान पर।

यह भी देखें

टिप्पणियाँ

  1. "Symplectic group", Encyclopedia of Mathematics Retrieved on 13 December 2014.
  2. Hall 2015 Prop. 3.25
  3. "Is the symplectic group Sp(2n, R) simple?", Stack Exchange Retrieved on 14 December 2014.
  4. "Is the exponential map for Sp(2n, R) surjective?", Stack Exchange Retrieved on 5 December 2014.
  5. "Standard forms and entanglement engineering of multimode Gaussian states under local operations – Serafini and Adesso", Retrieved on 30 January 2015.
  6. "Symplectic Geometry – Arnol'd and Givental", Retrieved on 30 January 2015.
  7. Symplectic Group, (source: Wolfram MathWorld), downloaded February 14, 2012
  8. Gerald B. Folland. (2016). चरण अंतरिक्ष में हार्मोनिक विश्लेषण. Princeton: Princeton Univ Press. p. 173. ISBN 978-1-4008-8242-7. OCLC 945482850.
  9. Habermann, Katharina, 1966- (2006). सहानुभूतिपूर्ण डायराक ऑपरेटरों का परिचय. Springer. ISBN 978-3-540-33421-7. OCLC 262692314.{{cite book}}: CS1 maint: multiple names: authors list (link)
  10. "Lecture Notes – Lecture 2: Symplectic reduction", Retrieved on 30 January 2015.
  11. Hall 2015 Section 1.2.8
  12. Hall 2015 p. 14
  13. Hall 2015 Prop. 13.12
  14. Arnold 1989 gives an extensive mathematical overview of classical mechanics. See chapter 8 for symplectic manifolds.
  15. 15.0 15.1 Ralph Abraham and Jerrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X
  16. Goldstein 1980, Section 9.3
  17. Jurgen Jost, (1992) Riemannian Geometry and Geometric Analysis, Springer.
  18. 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.


संदर्भ