सिम्प्लेक्टिक सदिश समिष्ट: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित में, सिम्प्लेक्टिक [[ सदिश स्थल |सदिश स्थल]] [[फ़ील्ड (गणित)]] ''एफ'' (उदाहरण के लिए वास्तविक संख्या आर) के ऊपर वेक्टर स्पेस ''वी'' है जो सिम्प्लेक्टिक [[ द्विरेखीय रूप |द्विरेखीय रूप]] से सुसज्जित है।


एक सिम्प्लेक्टिक बिलिनियर फॉर्म मानचित्र है (गणित) {{nowrap|''ω'' : ''V'' × ''V'' → ''F''}} वह है
 
गणित में, एक सिम्प्लेक्टिक [[ सदिश स्थल |सदिश स्थल]] [[फ़ील्ड (गणित)]] F (उदाहरण के लिए वास्तविक संख्या R) के ऊपर एक सदिश समष्टि  V होता है जो सिम्प्लेक्टिक [[ द्विरेखीय रूप |द्विरेखीय रूप]] से सुसज्जित होता है।
 
एक सिम्प्लेक्टिक बिलिनियर रूप मानचित्र है (गणित) {{nowrap|''ω'' : ''V'' × ''V'' → ''F''}} अर्थात
; द्विरेखीय रूप: प्रत्येक तर्क में अलग से रैखिक मानचित्र;
; द्विरेखीय रूप: प्रत्येक तर्क में अलग से रैखिक मानचित्र;
; [[वैकल्पिक रूप]]: {{nowrap|1=''ω''(''v'', ''v'') = 0}} सभी के लिए धारण करता है {{nowrap|''v'' ∈ ''V''}}; और
; [[वैकल्पिक रूप]]: यदि {{nowrap|1=''ω''(''v'', ''v'') = 0}} सभी के लिए धारण करता है {{nowrap|''v'' ∈ ''V''}}; और
; [[अविक्षिप्त रूप]]|अविक्षिप्त रूप: {{nowrap|1=''ω''(''u'', ''v'') = 0}} सभी के लिए {{nowrap|''v'' ''V''}} इसका आशय है {{nowrap|1=''u'' = 0}}.
; [[अविक्षिप्त रूप]] :सभी {{nowrap|''v'' ''V''}} के लिए {{nowrap|1=''ω''(''u'', ''v'') = 0}} का तात्पर्य है कि {{nowrap|1=''u'' = 0}}.


यदि अंतर्निहित क्षेत्र (गणित) में [[विशेषता (बीजगणित)]] 2 नहीं है, तो विकल्प तिरछा समरूपता | तिरछा-समरूपता के बराबर है। यदि विशेषता 2 है, तो तिरछा-समरूपता निहित है, लेकिन प्रत्यावर्तन का अर्थ नहीं है। इस मामले में प्रत्येक सहानुभूतिपूर्ण रूप [[सममित द्विरेखीय रूप]] है, लेकिन इसके विपरीत नहीं।
यदि अंतर्निहित फ़ील्ड में [[विशेषता (बीजगणित)]] 2 नहीं है, तो प्रत्यावर्तन विषम-समरूपता के समान  है। यदि विशेषता 2 है, तो विषम-समरूपता निहित है, किन्तु  प्रत्यावर्तन का अर्थ नहीं है। इस स्तिथि  में प्रत्येक सहानुभूतिपूर्ण रूप एक [[सममित द्विरेखीय रूप]] है, किन्तु  इसके विपरीत नहीं है।


एक निश्चित [[आधार (रैखिक बीजगणित)]] में कार्य करते हुए, ω को [[मैट्रिक्स (गणित)]] द्वारा दर्शाया जा सकता है। उपरोक्त स्थितियाँ इस मैट्रिक्स के समतुल्य हैं, [[तिरछा-सममित मैट्रिक्स]] | तिरछा-सममित, गैर-एकवचन मैट्रिक्स, और खोखला मैट्रिक्स # विकर्ण प्रविष्टियाँ सभी शून्य (सभी विकर्ण प्रविष्टियाँ शून्य हैं)। इसे [[ सिंपलेक्टिक मैट्रिक्स |सिंपलेक्टिक मैट्रिक्स]] के साथ भ्रमित नहीं किया जाना चाहिए, जो अंतरिक्ष के सिम्प्लेक्टिक परिवर्तन का प्रतिनिधित्व करता है। यदि V [[परिमित-आयामी]] है, तो इसका आयाम आवश्यक रूप से [[सम संख्या]] होना चाहिए क्योंकि विषम आकार के प्रत्येक तिरछा-सममित, खोखले मैट्रिक्स में निर्धारक शून्य होता है। ध्यान दें कि यदि फ़ील्ड की विशेषता 2 है, तो मैट्रिक्स खोखला होने की स्थिति निरर्थक नहीं है। सहानुभूतिपूर्ण रूप सममित रूप से काफी अलग व्यवहार करता है, उदाहरण के लिए, यूक्लिडियन वेक्टर रिक्त स्थान पर स्केलर उत्पाद।
एक निश्चित [[आधार (रैखिक बीजगणित)]] में कार्य करते हुए, यदि ω को [[मैट्रिक्स (गणित)|आव्युह (गणित)]] द्वारा दर्शाया जा सकता है। उपरोक्त स्थितियाँ इस आव्युह के समतुल्य हैं, [[तिरछा-सममित मैट्रिक्स|विषम-सममित आव्युह]], गैर-एकवचन आव्युह, और निरर्थक आव्युह या विकर्ण प्रविष्टियाँ सभी शून्य (सभी विकर्ण प्रविष्टियाँ शून्य हैं)। इसे [[ सिंपलेक्टिक मैट्रिक्स |सिंपलेक्टिक आव्युह]] के साथ भ्रमित नहीं किया जाना चाहिए, जो अंतरिक्ष के सिम्प्लेक्टिक परिवर्तन का प्रतिनिधित्व करता है। यदि V [[परिमित-आयामी]] है, तो इसका आयाम आवश्यक रूप से [[सम संख्या]] होना चाहिए क्योंकि विषम आकार के प्रत्येक विषम-सममित, निरर्थक आव्युह में निर्धारक शून्य होता है। ध्यान दें कि यदि फ़ील्ड की विशेषता 2 है, तो आव्युह  निरर्थक होने की स्थिति निरर्थक नहीं है। सहानुभूतिपूर्ण रूप सममित रूप से अधिक अलग व्यवहार करता है, उदाहरण के लिए, यूक्लिडियन सदिश रिक्त स्थान पर अदिश उत्पाद किया जाता है।


==मानक सहानुभूति स्थान==
==मानक सहानुभूति स्थान==
{{Further|Symplectic matrix#Symplectic transformations}}
{{Further|सिंपलेक्टिक आव्युह#सिंपलेक्टिक परिवर्तन}}


मानक सिंपलेक्टिक स्पेस आर है<sup>2n</sup>एक गैर-एकवचन मैट्रिक्स, तिरछा-सममित मैट्रिक्स द्वारा दिए गए सहानुभूतिपूर्ण रूप के साथ। आमतौर पर ω को [[ब्लॉक मैट्रिक्स]] चुना जाता है
मानक सिंपलेक्टिक समष्टि  '''R'''<sup>2''n''</sup> है जिसका सिंपलेक्टिक रूप एक गैर-एकवचन, विषम-सममित आव्युह द्वारा दिया गया है। सामान्यतः  ω को [[ब्लॉक मैट्रिक्स|ब्लॉक आव्युह]] चुना जाता है


:<math>\omega = \begin{bmatrix} 0 & I_n \\ -I_n & 0 \end{bmatrix}</math>
:<math>\omega = \begin{bmatrix} 0 & I_n \\ -I_n & 0 \end{bmatrix}</math>
जहां मैं<sub>''n''</sub> है {{nowrap|''n'' × ''n''}} [[शिनाख्त सांचा]]आधार वैक्टर के संदर्भ में {{nowrap|(''x''<sub>1</sub>, ..., ''x<sub>n</sub>'', ''y''<sub>1</sub>, ..., ''y<sub>n</sub>'')}}:
जहां ''I<sub>n</sub>'' ''n'' × ''n'' [[शिनाख्त सांचा|पहचान]] [[ब्लॉक मैट्रिक्स|आव्युह]] है। आधार सदिशों के संदर्भ में (x1, ..., xn, y1, ..., yn):


:<math>\begin{align}
:<math>\begin{align}
Line 22: Line 24:
   \omega(x_i, x_j) =  \omega(y_i, y_j) &= 0.
   \omega(x_i, x_j) =  \omega(y_i, y_j) &= 0.
\end{align}</math>
\end{align}</math>
ग्राम-श्मिट प्रक्रिया के संशोधित संस्करण से पता चलता है कि किसी भी परिमित-आयामी सहानुभूति वेक्टर स्थान का आधार ऐसा होता है कि ω यह रूप लेता है, जिसे अक्सर 'डार्बोक्स आधार' या सहानुभूति आधार कहा जाता है।
ग्राम-श्मिट प्रक्रिया के संशोधित संस्करण से पता चलता है कि किसी भी परिमित-आयामी सहानुभूति सदिश स्थान का आधार ऐसा होता है कि ω यह रूप लेता है, जिसे प्रायः  'डार्बोक्स आधार' या सहानुभूति आधार कहा जाता है।


'प्रक्रिया का रेखाचित्र:'
'प्रक्रिया का रेखाचित्र:'


मनमाने आधार से प्रारंभ करें <math>v_1, ..., v_n</math>, और दोहरे आधार द्वारा प्रत्येक आधार वेक्टर के दोहरे का प्रतिनिधित्व करें: <math>\omega(v_i, \cdot) = \sum_j \omega(v_i, v_j) v_j^*</math>. इससे हमें <math>n\times n</math> प्रविष्टियों के साथ मैट्रिक्स <math>\omega(v_i, v_j)</math>. इसके शून्य स्थान को हल करें। अब किसी के लिए <math>(\lambda_1, ..., \lambda_n)</math> शून्य स्थान में, हमारे पास है <math>\sum_i \omega(v_i, \cdot) = 0</math>, इसलिए शून्य स्थान हमें पतित उपस्थान देता है <math>V_0</math>.
इच्छानुसार आधार <math>v_1, ..., v_n</math> से प्रारंभ करें , और दोहरे आधार द्वारा प्रत्येक आधार सदिश के दोहरे का प्रतिनिधित्व करें: <math>\omega(v_i, \cdot) = \sum_j \omega(v_i, v_j) v_j^*</math>. इससे मान लीजिये <math>n\times n</math> प्रविष्टियों के साथ आव्युह <math>\omega(v_i, v_j)</math>. इसके शून्य स्थान को हल करिए। अब किसी के लिए <math>(\lambda_1, ..., \lambda_n)</math> शून्य स्थान में, हमारे पास है <math>\sum_i \omega(v_i, \cdot) = 0</math>, इसलिए शून्य स्थान हमें पतित उपस्थान <math>V_0</math> देता है .


अब मनमाने ढंग से पूरक चुनें <math>W</math> ऐसा है कि <math>V = V_0 \oplus W</math>, और जाने <math>w_1, ..., w_m</math> का आधार बनें <math>W</math>. तब से <math>\omega(w_1, \cdot) \neq 0</math>, और <math>\omega(w_1, w_1) = 0</math>, डब्लूएलओजी <math>\omega(w_1, w_2 ) \neq 0</math>. अब पैमाना <math>w_2</math> ताकि <math>\omega(w_1, w_2) =1</math>. फिर परिभाषित करें <math>w' = w - \omega(w, w_2) w_1 + \omega(w, w_1) w_2</math> प्रत्येक के लिए <math>w = w_3, w_4, ..., w_m</math>. पुनरावृति।
अब इच्छानुसार पूरक चुनें <math>W</math> ऐसा है कि <math>V = V_0 \oplus W</math>, और जाने <math>w_1, ..., w_m</math> को <math>W</math> का आधार बनने दें . तब से <math>\omega(w_1, \cdot) \neq 0</math>, और <math>\omega(w_1, w_1) = 0</math>, डब्लूएलओजी <math>\omega(w_1, w_2 ) \neq 0</math>. अब माप  <math>w_2</math> जिससे  <math>\omega(w_1, w_2) =1</math>. फिर परिभाषित करें <math>w' = w - \omega(w, w_2) w_1 + \omega(w, w_1) w_2</math> प्रत्येक के लिए <math>w = w_3, w_4, ..., w_m</math>. पुनरावृति।  


ध्यान दें कि यह विधि केवल वास्तविक संख्याओं के क्षेत्र के लिए ही नहीं, बल्कि किसी भी क्षेत्र पर सिम्प्लेक्टिक वेक्टर स्पेस के लिए लागू होती है।
'''ध्यान दें कि यह विधि केवल''' वास्तविक संख्याओं के क्षेत्र के लिए ही नहीं, बल्कि किसी भी क्षेत्र पर सिम्प्लेक्टिक सदिश समष्टि  के लिए लागू होती है।


वास्तविक या जटिल क्षेत्र का मामला:
वास्तविक या जटिल क्षेत्र का मामला:


जब स्थान वास्तविक संख्याओं के क्षेत्र से ऊपर हो जाता है, तो हम संशोधित ग्राम-श्मिट प्रक्रिया को निम्नानुसार संशोधित कर सकते हैं: उसी तरह से शुरू करें। होने देना <math>w_1, ..., w_m</math> ऑर्थोनॉर्मल आधार बनें (सामान्य आंतरिक उत्पाद के संबंध में)। <math>\R^n</math>) का <math>W</math>. तब से <math>\omega(w_1, \cdot) \neq 0</math>, और <math>\omega(w_1, w_1) = 0</math>, डब्लूएलओजी <math>\omega(w_1, w_2 ) \neq 0</math>. अब गुणा करें <math>w_2</math> संकेत से, ताकि <math>\omega(w_1, w_2) \geq 0</math>. फिर परिभाषित करें <math>w' = w - \omega(w, w_2) w_1 + \omega(w, w_1) w_2</math> प्रत्येक के लिए <math>w = w_3, w_4, ..., w_m</math>, फिर प्रत्येक को स्केल करें <math>w'</math> ताकि उसका मानक हो। पुनरावृति।
जब स्थान वास्तविक संख्याओं के क्षेत्र से ऊपर हो जाता है, तो हम संशोधित ग्राम-श्मिट प्रक्रिया को निम्नानुसार संशोधित कर सकते हैं: उसी तरह से शुरू करें। होने देना <math>w_1, ..., w_m</math> ऑर्थोनॉर्मल आधार बनें (सामान्य आंतरिक उत्पाद के संबंध में)। <math>\R^n</math>) का <math>W</math>. तब से <math>\omega(w_1, \cdot) \neq 0</math>, और <math>\omega(w_1, w_1) = 0</math>, डब्लूएलओजी <math>\omega(w_1, w_2 ) \neq 0</math>. अब गुणा करें <math>w_2</math> संकेत से, जिससे  <math>\omega(w_1, w_2) \geq 0</math>. फिर परिभाषित करें <math>w' = w - \omega(w, w_2) w_1 + \omega(w, w_1) w_2</math> प्रत्येक के लिए <math>w = w_3, w_4, ..., w_m</math>, फिर प्रत्येक को स्केल करें <math>w'</math> जिससे  उसका मानक हो। पुनरावृति।


इसी प्रकार, सम्मिश्र संख्याओं के क्षेत्र के लिए, हम एकात्मक आधार चुन सकते हैं। यह तिरछा-सममित मैट्रिक्स#स्पेक्ट्रल सिद्धांत सिद्ध करता है।
इसी प्रकार, सम्मिश्र संख्याओं के क्षेत्र के लिए, हम एकात्मक आधार चुन सकते हैं। यह विषम-सममित आव्युह#स्पेक्ट्रल सिद्धांत सिद्ध करता है।


=== लैग्रेन्जियन रूप ===
=== लैग्रेन्जियन रूप ===
इस मानक सहानुभूतिपूर्ण रूप की व्याख्या करने का और तरीका है। चूंकि मॉडल स्पेस आर<sup>ऊपर प्रयुक्त 2एन</sup> में बहुत अधिक विहित संरचना है जिससे आसानी से गलत व्याख्या हो सकती है, हम इसके बजाय अज्ञात वेक्टर रिक्त स्थान का उपयोग करेंगे। मान लीजिए V आयाम n और V का वास्तविक सदिश समष्टि है<sup>∗</sup>यह दोहरा स्थान है। अब सदिश समष्टि के प्रत्यक्ष योग पर विचार करें {{nowrap|1=''W'' = ''V'' ⊕ ''V''<sup>∗</sup>}} इन स्थानों में से निम्नलिखित प्रपत्र से सुसज्जित:
इस मानक सहानुभूतिपूर्ण रूप की व्याख्या करने का और तरीका है। चूंकि मॉडल समष्टि  आर<sup>ऊपर प्रयुक्त 2एन</sup> में बहुत अधिक विहित संरचना है जिससे आसानी से गलत व्याख्या हो सकती है, हम इसके बजाय अज्ञात सदिश रिक्त स्थान का उपयोग करेंगे। मान लीजिए V आयाम n और V का वास्तविक सदिश समष्टि है<sup>∗</sup>यह दोहरा स्थान है। अब सदिश समष्टि के प्रत्यक्ष योग पर विचार करें {{nowrap|1=''W'' = ''V'' ⊕ ''V''<sup>∗</sup>}} इन स्थानों में से निम्नलिखित प्रपत्र से सुसज्जित:


:<math>\omega(x \oplus \eta, y \oplus \xi) = \xi(x) - \eta(y).</math>
:<math>\omega(x \oplus \eta, y \oplus \xi) = \xi(x) - \eta(y).</math>
Line 45: Line 47:


:<math>\left(v^*_1, \ldots, v^*_n\right).</math>
:<math>\left(v^*_1, \ldots, v^*_n\right).</math>
यदि हम लिखते हैं तो हम आधार वैक्टर की व्याख्या W में पड़े हुए के रूप में कर सकते हैं {{nowrap|1=''x''<sub>''i''</sub> = (''v''<sub>''i''</sub>, 0) and ''y''<sub>''i''</sub> = (0, ''v''<sub>''i''</sub><sup>∗</sup>)}}. कुल मिलाकर, ये W का पूर्ण आधार बनाते हैं,
यदि हम लिखते हैं तो हम आधार सदिशों की व्याख्या W में पड़े हुए के रूप में कर सकते हैं {{nowrap|1=''x''<sub>''i''</sub> = (''v''<sub>''i''</sub>, 0) and ''y''<sub>''i''</sub> = (0, ''v''<sub>''i''</sub><sup>∗</sup>)}}. कुल मिलाकर, ये W का पूर्ण आधार बनाते हैं,


:<math>(x_1, \ldots, x_n, y_1, \ldots, y_n).</math>
:<math>(x_1, \ldots, x_n, y_1, \ldots, y_n).</math>
Line 55: Line 57:
जिस प्रकार प्रत्येक सिंपलेक्टिक संरचना किसी न किसी रूप में समरूपी होती है {{nowrap|''V'' ⊕ ''V''<sup>∗</sup>}}, सदिश समष्टि पर प्रत्येक रैखिक जटिल संरचना किसी रूप में समरूपी होती है {{nowrap|''V'' ⊕ ''V''}}. इन संरचनाओं का उपयोग करते हुए, एन-मैनिफोल्ड के [[स्पर्शरेखा बंडल]], जिसे 2एन-मैनिफोल्ड के रूप में माना जाता है, की लगभग जटिल संरचना होती है, और एन-मैनिफोल्ड के कोटैंजेंट बंडल, जिसे 2एन-मैनिफोल्ड के रूप में माना जाता है, की सहानुभूतिपूर्ण संरचना होती है: {{nowrap|1=''T''<sub>∗</sub>(''T''<sup>∗</sup>''M'')<sub>''p''</sub> = ''T''<sub>''p''</sub>(''M'') ⊕ (''T''<sub>''p''</sub>(''M''))<sup>∗</sup>}}.
जिस प्रकार प्रत्येक सिंपलेक्टिक संरचना किसी न किसी रूप में समरूपी होती है {{nowrap|''V'' ⊕ ''V''<sup>∗</sup>}}, सदिश समष्टि पर प्रत्येक रैखिक जटिल संरचना किसी रूप में समरूपी होती है {{nowrap|''V'' ⊕ ''V''}}. इन संरचनाओं का उपयोग करते हुए, एन-मैनिफोल्ड के [[स्पर्शरेखा बंडल]], जिसे 2एन-मैनिफोल्ड के रूप में माना जाता है, की लगभग जटिल संरचना होती है, और एन-मैनिफोल्ड के कोटैंजेंट बंडल, जिसे 2एन-मैनिफोल्ड के रूप में माना जाता है, की सहानुभूतिपूर्ण संरचना होती है: {{nowrap|1=''T''<sub>∗</sub>(''T''<sup>∗</sup>''M'')<sub>''p''</sub> = ''T''<sub>''p''</sub>(''M'') ⊕ (''T''<sub>''p''</sub>(''M''))<sup>∗</sup>}}.


लैग्रेंजियन उप-स्थान का जटिल एनालॉग वास्तविक उप-स्थान है, उप-स्थान जिसका [[जटिलता]] संपूर्ण स्थान है: {{nowrap|1=''W'' = ''V'' ⊕ ''J'' ''V''}}. जैसा कि ऊपर दिए गए मानक सिंपलेक्टिक फॉर्म से देखा जा सकता है, आर पर प्रत्येक सिंपलेक्टिक फॉर्म<sup>2n</sup> 'सी' पर मानक कॉम्प्लेक्स (हर्मिटियन) आंतरिक उत्पाद के काल्पनिक भाग के लिए आइसोमोर्फिक है<sup>n</sup> (पहला तर्क एंटी-लीनियर होने की परंपरा के साथ)।
लैग्रेंजियन उप-स्थान का जटिल एनालॉग वास्तविक उप-स्थान है, उप-स्थान जिसका [[जटिलता]] संपूर्ण स्थान है: {{nowrap|1=''W'' = ''V'' ⊕ ''J'' ''V''}}. जैसा कि ऊपर दिए गए मानक सिंपलेक्टिक रूप से देखा जा सकता है, आर पर प्रत्येक सिंपलेक्टिक रूप<sup>2n</sup> 'सी' पर मानक कॉम्प्लेक्स (हर्मिटियन) आंतरिक उत्पाद के काल्पनिक भाग के लिए आइसोमोर्फिक है<sup>n</sup> (पहला तर्क एंटी-लीनियर होने की परंपरा के साथ)।


==वॉल्यूम फॉर्म==
==वॉल्यूम रूप==
मान लीजिए ω n-आयामी वास्तविक वेक्टर समष्टि V पर [[वैकल्पिक द्विरेखीय रूप]] है, {{nowrap|''ω'' ∈ Λ<sup>2</sup>(''V'')}}. तब ω गैर-पतित है यदि और केवल यदि n सम है और {{nowrap|1=''ω''<sup>''n''/2</sup> = ''ω'' ∧ ... ∧ ''ω''}} आयतन रूप है. एन-आयामी वेक्टर स्पेस वी पर [[वॉल्यूम फॉर्म]] एन-फॉर्म का गैर-शून्य गुणक है {{nowrap|''e''<sub>1</sub><sup>∗</sup> ∧ ... ∧ ''e''<sub>''n''</sub><sup>∗</sup>}} कहाँ {{nowrap|''e''<sub>1</sub>, ''e''<sub>2</sub>, ..., ''e''<sub>''n''</sub>}} V का आधार है.
मान लीजिए ω n-आयामी वास्तविक सदिश समष्टि V पर [[वैकल्पिक द्विरेखीय रूप]] है, {{nowrap|''ω'' ∈ Λ<sup>2</sup>(''V'')}}. तब ω गैर-पतित है यदि और केवल यदि n सम है और {{nowrap|1=''ω''<sup>''n''/2</sup> = ''ω'' ∧ ... ∧ ''ω''}} आयतन रूप है. एन-आयामी सदिश समष्टि  वी पर [[वॉल्यूम फॉर्म|वॉल्यूम रूप]] एन-रूप का गैर-शून्य गुणक है {{nowrap|''e''<sub>1</sub><sup>∗</sup> ∧ ... ∧ ''e''<sub>''n''</sub><sup>∗</sup>}} कहाँ {{nowrap|''e''<sub>1</sub>, ''e''<sub>2</sub>, ..., ''e''<sub>''n''</sub>}} V का आधार है.


पिछले अनुभाग में परिभाषित मानक आधार के लिए, हमारे पास है
पिछले अनुभाग में परिभाषित मानक आधार के लिए, हमारे पास है
Line 66: Line 68:


:<math>\omega^n = x^*_1 \wedge y^*_1 \wedge \dotsb \wedge x^*_n \wedge y^*_n.</math>
:<math>\omega^n = x^*_1 \wedge y^*_1 \wedge \dotsb \wedge x^*_n \wedge y^*_n.</math>
लेखक विभिन्न प्रकार से ω को परिभाषित करते हैं<sup>n</sup>या (−1)<sup>n/2</sup>ओह<sup>n</sup> को 'मानक वॉल्यूम फॉर्म' के रूप में। n का सामयिक कारक! यह भी प्रकट हो सकता है, यह इस पर निर्भर करता है कि [[वैकल्पिक उत्पाद]] की परिभाषा में n का कारक शामिल है या नहीं! या नहीं। वॉल्यूम फॉर्म सिंपलेक्टिक वेक्टर स्पेस पर [[अभिविन्यास (गणित)]] को परिभाषित करता है {{nowrap|(''V'', ''ω'')}}.
लेखक विभिन्न प्रकार से ω को परिभाषित करते हैं<sup>n</sup>या (−1)<sup>n/2</sup>ओह<sup>n</sup> को 'मानक वॉल्यूम रूप' के रूप में। n का सामयिक कारक! यह भी प्रकट हो सकता है, यह इस पर निर्भर करता है कि [[वैकल्पिक उत्पाद]] की परिभाषा में n का कारक शामिल है या नहीं! या नहीं। वॉल्यूम रूप सिंपलेक्टिक सदिश समष्टि  पर [[अभिविन्यास (गणित)]] को परिभाषित करता है {{nowrap|(''V'', ''ω'')}}.


==सिम्प्लिक मानचित्र==
==सिम्प्लिक मानचित्र==
लगता है कि {{nowrap|(''V'', ''ω'')}} और {{nowrap|(''W'', ''ρ'')}} सिम्प्लेक्टिक वेक्टर स्पेस हैं। फिर रेखीय मानचित्र {{nowrap|1=''f'' : ''V'' → ''W''}} को सिम्प्लेक्टिक मानचित्र कहा जाता है यदि [[पुलबैक (विभेदक ज्यामिति)]] सिम्प्लेक्टिक रूप को संरक्षित करता है, यानी। {{nowrap|1=''f''{{i sup|∗}}''ρ'' = ''ω''}}, जहां पुलबैक फॉर्म को परिभाषित किया गया है {{nowrap|1=(''f''{{i sup|∗}}''ρ'')(''u'', ''v'') = ''ρ''(''f''(''u''), ''f''(''v''))}}. सिम्प्लेक्टिक मानचित्र आयतन- और अभिविन्यास-संरक्षित हैं।
लगता है कि {{nowrap|(''V'', ''ω'')}} और {{nowrap|(''W'', ''ρ'')}} सिम्प्लेक्टिक सदिश समष्टि  हैं। फिर रेखीय मानचित्र {{nowrap|1=''f'' : ''V'' → ''W''}} को सिम्प्लेक्टिक मानचित्र कहा जाता है यदि [[पुलबैक (विभेदक ज्यामिति)]] सिम्प्लेक्टिक रूप को संरक्षित करता है, यानी। {{nowrap|1=''f''{{i sup|∗}}''ρ'' = ''ω''}}, जहां पुलबैक रूप को परिभाषित किया गया है {{nowrap|1=(''f''{{i sup|∗}}''ρ'')(''u'', ''v'') = ''ρ''(''f''(''u''), ''f''(''v''))}}. सिम्प्लेक्टिक मानचित्र आयतन- और अभिविन्यास-संरक्षित हैं।


==सिम्प्लेक्टिक समूह==
==सिम्प्लेक्टिक समूह==
अगर {{nowrap|1=''V'' = ''W''}}, तो सहानुभूति मानचित्र को ''V'' का रैखिक सहानुभूति परिवर्तन कहा जाता है। विशेष रूप से, इस मामले में किसी के पास वह है {{nowrap|1=''ω''(''f''(''u''), ''f''(''v'')) = ''ω''(''u'', ''v'')}}, और इसलिए [[रैखिक परिवर्तन]] f सहानुभूतिपूर्ण रूप को सुरक्षित रखता है। सभी सहानुभूति परिवर्तनों का समुच्चय [[समूह (गणित)]] और विशेष रूप से लाई समूह बनाता है, जिसे [[सहानुभूति समूह]] कहा जाता है और इसे Sp(V) या कभी-कभी द्वारा दर्शाया जाता है। {{nowrap|Sp(''V'', ''ω'')}}. मैट्रिक्स रूप में सिंपलेक्टिक परिवर्तन सिंपलेक्टिक मैट्रिक्स द्वारा दिए जाते हैं।
अगर {{nowrap|1=''V'' = ''W''}}, तो सहानुभूति मानचित्र को ''V'' का रैखिक सहानुभूति परिवर्तन कहा जाता है। विशेष रूप से, इस स्तिथि  में किसी के पास वह है {{nowrap|1=''ω''(''f''(''u''), ''f''(''v'')) = ''ω''(''u'', ''v'')}}, और इसलिए [[रैखिक परिवर्तन]] f सहानुभूतिपूर्ण रूप को सुरक्षित रखता है। सभी सहानुभूति परिवर्तनों का समुच्चय [[समूह (गणित)]] और विशेष रूप से लाई समूह बनाता है, जिसे [[सहानुभूति समूह]] कहा जाता है और इसे Sp(V) या कभी-कभी द्वारा दर्शाया जाता है। {{nowrap|Sp(''V'', ''ω'')}}. आव्युह रूप में सिंपलेक्टिक परिवर्तन सिंपलेक्टिक आव्युह द्वारा दिए जाते हैं।


==उपस्थान==
==उपस्थान==
Line 83: Line 85:
\end{align}</math>
\end{align}</math>
हालाँकि, [[ऑर्थोगोनल पूरक]]ों के विपरीत, डब्ल्यू<sup>⊥</sup> ∩ W का 0 होना आवश्यक नहीं है। हम चार मामलों को अलग करते हैं:
हालाँकि, [[ऑर्थोगोनल पूरक]]ों के विपरीत, डब्ल्यू<sup>⊥</sup> ∩ W का 0 होना आवश्यक नहीं है। हम चार मामलों को अलग करते हैं:
* यदि W 'सहानुभूतिपूर्ण' है {{nowrap|1=''W''<sup>⊥</sup> ∩ ''W'' = {0}}}. यह सच है [[अगर और केवल अगर]] ω डब्ल्यू पर गैर-अपक्षयी रूप तक सीमित है। प्रतिबंधित रूप के साथ सहानुभूति उप-स्थान अपने आप में सहानुभूति वेक्टर स्थान है।
* यदि W 'सहानुभूतिपूर्ण' है {{nowrap|1=''W''<sup>⊥</sup> ∩ ''W'' = {0}}}. यह सच है [[अगर और केवल अगर]] ω डब्ल्यू पर गैर-अपक्षयी रूप तक सीमित है। प्रतिबंधित रूप के साथ सहानुभूति उप-स्थान अपने आप में सहानुभूति सदिश स्थान है।
* W 'आइसोट्रोपिक' है यदि {{nowrap|''W'' ⊆ ''W''<sup>⊥</sup>}}. यह सत्य है यदि और केवल यदि ω W पर 0 तक सीमित है। कोई भी एक-आयामी उप-स्थान आइसोट्रोपिक है।
* W 'आइसोट्रोपिक' है यदि {{nowrap|''W'' ⊆ ''W''<sup>⊥</sup>}}. यह सत्य है यदि और केवल यदि ω W पर 0 तक सीमित है। कोई भी एक-आयामी उप-स्थान आइसोट्रोपिक है।
* यदि W 'कोइसोट्रोपिक' है {{nowrap|''W''<sup>⊥</sup> ⊆ ''W''}}. W कोइसोट्रोपिक है यदि और केवल यदि ω [[भागफल स्थान (रैखिक बीजगणित)]] W/W पर गैर-अपक्षयी रूप में उतरता है<sup>⊥</sup>. समान रूप से W कोइसोट्रोपिक है यदि और केवल यदि W<sup>⊥</sup>आइसोट्रोपिक है। कोई भी [[ संहिताकरण |संहिताकरण]] -एक उपस्थान कोइसोट्रोपिक है।
* यदि W 'कोइसोट्रोपिक' है {{nowrap|''W''<sup>⊥</sup> ⊆ ''W''}}. W कोइसोट्रोपिक है यदि और केवल यदि ω [[भागफल स्थान (रैखिक बीजगणित)]] W/W पर गैर-अपक्षयी रूप में उतरता है<sup>⊥</sup>. समान रूप से W कोइसोट्रोपिक है यदि और केवल यदि W<sup>⊥</sup>आइसोट्रोपिक है। कोई भी [[ संहिताकरण |संहिताकरण]] -एक उपस्थान कोइसोट्रोपिक है।
* यदि W 'लैग्रेन्जियन' है {{nowrap|1=''W'' = ''W''<sup>⊥</sup>}}. उपस्थान लैग्रेंजियन है यदि और केवल यदि यह आइसोट्रोपिक और कोइसोट्रोपिक दोनों है। परिमित-आयामी वेक्टर अंतरिक्ष में, लैग्रैन्जियन उपस्थान आइसोट्रोपिक है जिसका आयाम वी का आधा है। प्रत्येक आइसोट्रोपिक उपस्थान को लैग्रैन्जियन तक बढ़ाया जा सकता है।
* यदि W 'लैग्रेन्जियन' है {{nowrap|1=''W'' = ''W''<sup>⊥</sup>}}. उपस्थान लैग्रेंजियन है यदि और केवल यदि यह आइसोट्रोपिक और कोइसोट्रोपिक दोनों है। परिमित-आयामी सदिश अंतरिक्ष में, लैग्रैन्जियन उपस्थान आइसोट्रोपिक है जिसका आयाम वी का आधा है। प्रत्येक आइसोट्रोपिक उपस्थान को लैग्रैन्जियन तक बढ़ाया जा सकता है।


कैनोनिकल वेक्टर स्पेस 'आर' का जिक्र करते हुए<sup>2n</sup>ऊपर,
कैनोनिकल सदिश समष्टि  'आर' का जिक्र करते हुए<sup>2n</sup>ऊपर,
* {x द्वारा फैलाया गया उपस्थान<sub>1</sub>, और<sub>1</sub>} सिंपलेक्टिक है
* {x द्वारा फैलाया गया उपस्थान<sub>1</sub>, और<sub>1</sub>} सिंपलेक्टिक है
* {x द्वारा फैलाया गया उपस्थान<sub>1</sub>, एक्स<sub>2</sub>} आइसोट्रोपिक है
* {x द्वारा फैलाया गया उपस्थान<sub>1</sub>, एक्स<sub>2</sub>} आइसोट्रोपिक है
Line 96: Line 98:
==हाइजेनबर्ग समूह==
==हाइजेनबर्ग समूह==
{{main|Heisenberg group}}
{{main|Heisenberg group}}
एक [[हाइजेनबर्ग समूह]] को किसी भी सहानुभूतिपूर्ण वेक्टर स्थान के लिए परिभाषित किया जा सकता है, और यह हाइजेनबर्ग समूहों के उत्पन्न होने का विशिष्ट तरीका है।
एक [[हाइजेनबर्ग समूह]] को किसी भी सहानुभूतिपूर्ण सदिश स्थान के लिए परिभाषित किया जा सकता है, और यह हाइजेनबर्ग समूहों के उत्पन्न होने का विशिष्ट तरीका है।


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


वास्तव में, स्टोन-वॉन न्यूमैन प्रमेय के अनुसार, सीसीआर (हाइजेनबर्ग समूह का प्रत्येक प्रतिनिधित्व) को संतुष्ट करने वाला प्रत्येक प्रतिनिधित्व इस रूप का है, या अधिक उचित रूप से मानक रूप से इकाई रूप से संयुग्मित है।
वास्तव में, स्टोन-वॉन न्यूमैन प्रमेय के अनुसार, सीसीआर (हाइजेनबर्ग समूह का प्रत्येक प्रतिनिधित्व) को संतुष्ट करने वाला प्रत्येक प्रतिनिधित्व इस रूप का है, या अधिक उचित रूप से मानक रूप से इकाई रूप से संयुग्मित है।

Revision as of 13:54, 22 July 2023


गणित में, एक सिम्प्लेक्टिक सदिश स्थल फ़ील्ड (गणित) F (उदाहरण के लिए वास्तविक संख्या R) के ऊपर एक सदिश समष्टि V होता है जो सिम्प्लेक्टिक द्विरेखीय रूप से सुसज्जित होता है।

एक सिम्प्लेक्टिक बिलिनियर रूप मानचित्र है (गणित) ω : V × VF अर्थात

द्विरेखीय रूप
प्रत्येक तर्क में अलग से रैखिक मानचित्र;
वैकल्पिक रूप
यदि ω(v, v) = 0 सभी के लिए धारण करता है vV; और
अविक्षिप्त रूप
सभी vV के लिए ω(u, v) = 0 का तात्पर्य है कि u = 0.

यदि अंतर्निहित फ़ील्ड में विशेषता (बीजगणित) 2 नहीं है, तो प्रत्यावर्तन विषम-समरूपता के समान है। यदि विशेषता 2 है, तो विषम-समरूपता निहित है, किन्तु प्रत्यावर्तन का अर्थ नहीं है। इस स्तिथि में प्रत्येक सहानुभूतिपूर्ण रूप एक सममित द्विरेखीय रूप है, किन्तु इसके विपरीत नहीं है।

एक निश्चित आधार (रैखिक बीजगणित) में कार्य करते हुए, यदि ω को आव्युह (गणित) द्वारा दर्शाया जा सकता है। उपरोक्त स्थितियाँ इस आव्युह के समतुल्य हैं, विषम-सममित आव्युह, गैर-एकवचन आव्युह, और निरर्थक आव्युह या विकर्ण प्रविष्टियाँ सभी शून्य (सभी विकर्ण प्रविष्टियाँ शून्य हैं)। इसे सिंपलेक्टिक आव्युह के साथ भ्रमित नहीं किया जाना चाहिए, जो अंतरिक्ष के सिम्प्लेक्टिक परिवर्तन का प्रतिनिधित्व करता है। यदि V परिमित-आयामी है, तो इसका आयाम आवश्यक रूप से सम संख्या होना चाहिए क्योंकि विषम आकार के प्रत्येक विषम-सममित, निरर्थक आव्युह में निर्धारक शून्य होता है। ध्यान दें कि यदि फ़ील्ड की विशेषता 2 है, तो आव्युह निरर्थक होने की स्थिति निरर्थक नहीं है। सहानुभूतिपूर्ण रूप सममित रूप से अधिक अलग व्यवहार करता है, उदाहरण के लिए, यूक्लिडियन सदिश रिक्त स्थान पर अदिश उत्पाद किया जाता है।

मानक सहानुभूति स्थान

मानक सिंपलेक्टिक समष्टि R2n है जिसका सिंपलेक्टिक रूप एक गैर-एकवचन, विषम-सममित आव्युह द्वारा दिया गया है। सामान्यतः ω को ब्लॉक आव्युह चुना जाता है

जहां In n × n पहचान आव्युह है। आधार सदिशों के संदर्भ में (x1, ..., xn, y1, ..., yn):

ग्राम-श्मिट प्रक्रिया के संशोधित संस्करण से पता चलता है कि किसी भी परिमित-आयामी सहानुभूति सदिश स्थान का आधार ऐसा होता है कि ω यह रूप लेता है, जिसे प्रायः 'डार्बोक्स आधार' या सहानुभूति आधार कहा जाता है।

'प्रक्रिया का रेखाचित्र:'

इच्छानुसार आधार से प्रारंभ करें , और दोहरे आधार द्वारा प्रत्येक आधार सदिश के दोहरे का प्रतिनिधित्व करें: . इससे मान लीजिये प्रविष्टियों के साथ आव्युह . इसके शून्य स्थान को हल करिए। अब किसी के लिए शून्य स्थान में, हमारे पास है , इसलिए शून्य स्थान हमें पतित उपस्थान देता है .

अब इच्छानुसार पूरक चुनें ऐसा है कि , और जाने को का आधार बनने दें . तब से , और , डब्लूएलओजी . अब माप जिससे . फिर परिभाषित करें प्रत्येक के लिए . पुनरावृति।

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

वास्तविक या जटिल क्षेत्र का मामला:

जब स्थान वास्तविक संख्याओं के क्षेत्र से ऊपर हो जाता है, तो हम संशोधित ग्राम-श्मिट प्रक्रिया को निम्नानुसार संशोधित कर सकते हैं: उसी तरह से शुरू करें। होने देना ऑर्थोनॉर्मल आधार बनें (सामान्य आंतरिक उत्पाद के संबंध में)। ) का . तब से , और , डब्लूएलओजी . अब गुणा करें संकेत से, जिससे . फिर परिभाषित करें प्रत्येक के लिए , फिर प्रत्येक को स्केल करें जिससे उसका मानक हो। पुनरावृति।

इसी प्रकार, सम्मिश्र संख्याओं के क्षेत्र के लिए, हम एकात्मक आधार चुन सकते हैं। यह विषम-सममित आव्युह#स्पेक्ट्रल सिद्धांत सिद्ध करता है।

लैग्रेन्जियन रूप

इस मानक सहानुभूतिपूर्ण रूप की व्याख्या करने का और तरीका है। चूंकि मॉडल समष्टि आरऊपर प्रयुक्त 2एन में बहुत अधिक विहित संरचना है जिससे आसानी से गलत व्याख्या हो सकती है, हम इसके बजाय अज्ञात सदिश रिक्त स्थान का उपयोग करेंगे। मान लीजिए V आयाम n और V का वास्तविक सदिश समष्टि हैयह दोहरा स्थान है। अब सदिश समष्टि के प्रत्यक्ष योग पर विचार करें W = VV इन स्थानों में से निम्नलिखित प्रपत्र से सुसज्जित:

अब कोई भी आधार चुनें (रैखिक बीजगणित) (v1, ..., vn) V का और इसके दोहरे स्थान पर विचार करें

यदि हम लिखते हैं तो हम आधार सदिशों की व्याख्या W में पड़े हुए के रूप में कर सकते हैं xi = (vi, 0) and yi = (0, vi). कुल मिलाकर, ये W का पूर्ण आधार बनाते हैं,

यहां परिभाषित प्रपत्र ω में इस खंड की शुरुआत के समान गुण दिखाए जा सकते हैं। दूसरी ओर, प्रत्येक सहानुभूति संरचना किसी न किसी रूप में समरूपी होती है VV. उप-स्थान V अद्वितीय नहीं है, और उप-स्थान V की पसंद को 'ध्रुवीकरण' कहा जाता है। जो उप-स्थान ऐसी समरूपता देते हैं, उन्हें 'लैग्रैन्जियन उप-स्थान' या केवल 'लैग्रैन्जियन' कहा जाता है।

स्पष्ट रूप से, लैग्रेंजियन उप-स्थान #Subspaces दिया गया है, फिर आधार का विकल्प (x1, ..., xn) पूरक के लिए दोहरे आधार को परिभाषित करता है ω(xi, yj) = δij.

जटिल संरचनाओं के साथ सादृश्य

जिस प्रकार प्रत्येक सिंपलेक्टिक संरचना किसी न किसी रूप में समरूपी होती है VV, सदिश समष्टि पर प्रत्येक रैखिक जटिल संरचना किसी रूप में समरूपी होती है VV. इन संरचनाओं का उपयोग करते हुए, एन-मैनिफोल्ड के स्पर्शरेखा बंडल, जिसे 2एन-मैनिफोल्ड के रूप में माना जाता है, की लगभग जटिल संरचना होती है, और एन-मैनिफोल्ड के कोटैंजेंट बंडल, जिसे 2एन-मैनिफोल्ड के रूप में माना जाता है, की सहानुभूतिपूर्ण संरचना होती है: T(TM)p = Tp(M) ⊕ (Tp(M)).

लैग्रेंजियन उप-स्थान का जटिल एनालॉग वास्तविक उप-स्थान है, उप-स्थान जिसका जटिलता संपूर्ण स्थान है: W = VJ V. जैसा कि ऊपर दिए गए मानक सिंपलेक्टिक रूप से देखा जा सकता है, आर पर प्रत्येक सिंपलेक्टिक रूप2n 'सी' पर मानक कॉम्प्लेक्स (हर्मिटियन) आंतरिक उत्पाद के काल्पनिक भाग के लिए आइसोमोर्फिक हैn (पहला तर्क एंटी-लीनियर होने की परंपरा के साथ)।

वॉल्यूम रूप

मान लीजिए ω n-आयामी वास्तविक सदिश समष्टि V पर वैकल्पिक द्विरेखीय रूप है, ω ∈ Λ2(V). तब ω गैर-पतित है यदि और केवल यदि n सम है और ωn/2 = ω ∧ ... ∧ ω आयतन रूप है. एन-आयामी सदिश समष्टि वी पर वॉल्यूम रूप एन-रूप का गैर-शून्य गुणक है e1 ∧ ... ∧ en कहाँ e1, e2, ..., en V का आधार है.

पिछले अनुभाग में परिभाषित मानक आधार के लिए, हमारे पास है

पुनः व्यवस्थित करके कोई भी लिख सकता है

लेखक विभिन्न प्रकार से ω को परिभाषित करते हैंnया (−1)n/2ओहn को 'मानक वॉल्यूम रूप' के रूप में। n का सामयिक कारक! यह भी प्रकट हो सकता है, यह इस पर निर्भर करता है कि वैकल्पिक उत्पाद की परिभाषा में n का कारक शामिल है या नहीं! या नहीं। वॉल्यूम रूप सिंपलेक्टिक सदिश समष्टि पर अभिविन्यास (गणित) को परिभाषित करता है (V, ω).

सिम्प्लिक मानचित्र

लगता है कि (V, ω) और (W, ρ) सिम्प्लेक्टिक सदिश समष्टि हैं। फिर रेखीय मानचित्र f : VW को सिम्प्लेक्टिक मानचित्र कहा जाता है यदि पुलबैक (विभेदक ज्यामिति) सिम्प्लेक्टिक रूप को संरक्षित करता है, यानी। fρ = ω, जहां पुलबैक रूप को परिभाषित किया गया है (fρ)(u, v) = ρ(f(u), f(v)). सिम्प्लेक्टिक मानचित्र आयतन- और अभिविन्यास-संरक्षित हैं।

सिम्प्लेक्टिक समूह

अगर V = W, तो सहानुभूति मानचित्र को V का रैखिक सहानुभूति परिवर्तन कहा जाता है। विशेष रूप से, इस स्तिथि में किसी के पास वह है ω(f(u), f(v)) = ω(u, v), और इसलिए रैखिक परिवर्तन f सहानुभूतिपूर्ण रूप को सुरक्षित रखता है। सभी सहानुभूति परिवर्तनों का समुच्चय समूह (गणित) और विशेष रूप से लाई समूह बनाता है, जिसे सहानुभूति समूह कहा जाता है और इसे Sp(V) या कभी-कभी द्वारा दर्शाया जाता है। Sp(V, ω). आव्युह रूप में सिंपलेक्टिक परिवर्तन सिंपलेक्टिक आव्युह द्वारा दिए जाते हैं।

उपस्थान

मान लीजिए कि W, V का रैखिक उपसमष्टि है। उपसमष्टि होने के लिए W के 'सहानुभूतिपूर्ण पूरक' को परिभाषित करें

सहानुभूतिपूर्ण पूरक संतुष्ट करता है:

हालाँकि, ऑर्थोगोनल पूरकों के विपरीत, डब्ल्यू ∩ W का 0 होना आवश्यक नहीं है। हम चार मामलों को अलग करते हैं:

  • यदि W 'सहानुभूतिपूर्ण' है WW = {0}. यह सच है अगर और केवल अगर ω डब्ल्यू पर गैर-अपक्षयी रूप तक सीमित है। प्रतिबंधित रूप के साथ सहानुभूति उप-स्थान अपने आप में सहानुभूति सदिश स्थान है।
  • W 'आइसोट्रोपिक' है यदि WW. यह सत्य है यदि और केवल यदि ω W पर 0 तक सीमित है। कोई भी एक-आयामी उप-स्थान आइसोट्रोपिक है।
  • यदि W 'कोइसोट्रोपिक' है WW. W कोइसोट्रोपिक है यदि और केवल यदि ω भागफल स्थान (रैखिक बीजगणित) W/W पर गैर-अपक्षयी रूप में उतरता है. समान रूप से W कोइसोट्रोपिक है यदि और केवल यदि Wआइसोट्रोपिक है। कोई भी संहिताकरण -एक उपस्थान कोइसोट्रोपिक है।
  • यदि W 'लैग्रेन्जियन' है W = W. उपस्थान लैग्रेंजियन है यदि और केवल यदि यह आइसोट्रोपिक और कोइसोट्रोपिक दोनों है। परिमित-आयामी सदिश अंतरिक्ष में, लैग्रैन्जियन उपस्थान आइसोट्रोपिक है जिसका आयाम वी का आधा है। प्रत्येक आइसोट्रोपिक उपस्थान को लैग्रैन्जियन तक बढ़ाया जा सकता है।

कैनोनिकल सदिश समष्टि 'आर' का जिक्र करते हुए2nऊपर,

  • {x द्वारा फैलाया गया उपस्थान1, और1} सिंपलेक्टिक है
  • {x द्वारा फैलाया गया उपस्थान1, एक्स2} आइसोट्रोपिक है
  • {x द्वारा फैलाया गया उपस्थान1, एक्स2, ..., एक्सn, और1} कोइसोट्रोपिक है
  • {x द्वारा फैलाया गया उपस्थान1, एक्स2, ..., एक्सn} लैग्रेन्जियन है।

हाइजेनबर्ग समूह

एक हाइजेनबर्ग समूह को किसी भी सहानुभूतिपूर्ण सदिश स्थान के लिए परिभाषित किया जा सकता है, और यह हाइजेनबर्ग समूहों के उत्पन्न होने का विशिष्ट तरीका है।

एक सदिश समष्टि को क्रमविनिमेय लाई समूह (जोड़ के तहत) के रूप में, या समकक्ष रूप से क्रमविनिमेय लाई बीजगणित के रूप में माना जा सकता है, जिसका अर्थ है तुच्छ लाई ब्रैकेट। हाइजेनबर्ग समूह ऐसे क्रमविनिमेय समूह/बीजगणित का केंद्रीय विस्तार (गणित) है: सहानुभूतिपूर्ण रूप विहित कम्यूटेशन संबंधों (सीसीआर) के अनुरूप रूपांतर को परिभाषित करता है, और डार्बौक्स आधार विहित निर्देशांक से मेल खाता है - भौतिकी के संदर्भ में, गति संचालक और स्थिति संचालक

वास्तव में, स्टोन-वॉन न्यूमैन प्रमेय के अनुसार, सीसीआर (हाइजेनबर्ग समूह का प्रत्येक प्रतिनिधित्व) को संतुष्ट करने वाला प्रत्येक प्रतिनिधित्व इस रूप का है, या अधिक उचित रूप से मानक रूप से इकाई रूप से संयुग्मित है।

इसके अलावा, सदिश स्थान (दोहरे से) का समूह वलय सममित बीजगणित है, और हेइज़ेनबर्ग समूह (दोहरे का) का समूह बीजगणित वेइल बीजगणित है: कोई केंद्रीय विस्तार को परिमाणीकरण या विरूपण के अनुरूप सोच सकता है परिमाणीकरण.

औपचारिक रूप से, क्षेत्र F पर सदिश समष्टि V का सममित बीजगणित दोहरे का समूह बीजगणित है, Sym(V) := F[V], और वेइल बीजगणित (दोहरी) हाइजेनबर्ग समूह का समूह बीजगणित है W(V) = F[H(V)]. चूंकि समूह बीजगणित को पारित करना विरोधाभासी फ़ैक्टर है, केंद्रीय विस्तार मानचित्र H(V) → V समावेश बन जाता है Sym(V) → W(V).

यह भी देखें

संदर्भ

  • Claude Godbillon (1969) "Géométrie différentielle et mécanique analytique", Hermann
  • Abraham, Ralph; Marsden, Jerrold E. (1978). "Hamiltonian and Lagrangian Systems". Foundations of Mechanics (2nd ed.). London: Benjamin-Cummings. pp. 161–252. ISBN 0-8053-0102-X. PDF
  • Paulette Libermann and Charles-Michel Marle (1987) "Symplectic Geometry and Analytical Mechanics", D. Reidel
  • Jean-Marie Souriau (1997) "Structure of Dynamical Systems, A Symplectic View of Physics", Springer