सिम्प्लेक्टिक सदिश समिष्ट: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, '''सिम्प्लेक्टिक [[ सदिश स्थल |सदिश स्थल]] [[फ़ील्ड (गणित)]]''' F (उदाहरण के लिए वास्तविक संख्या R) के ऊपर एक सदिश समष्टि V होता है जो सिम्प्लेक्टिक [[ द्विरेखीय रूप |द्विरेखीय रूप]] से सुसज्जित होता है। | |||
गणित में, | |||
एक सिम्प्लेक्टिक बिलिनियर रूप मानचित्र है (गणित) {{nowrap|''ω'' : ''V'' × ''V'' → ''F''}} अर्थात | एक सिम्प्लेक्टिक बिलिनियर रूप मानचित्र है (गणित) {{nowrap|''ω'' : ''V'' × ''V'' → ''F''}} अर्थात | ||
Line 32: | Line 31: | ||
अब इच्छानुसार पूरक चुनें <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>W</math> का एक ऑर्थोनॉर्मल आधार है (<math>\R^n</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>को स्केल करें ताकि इसमें एक मानक हो। पुनरावृति। | ||
इसी प्रकार, सम्मिश्र संख्याओं के क्षेत्र के लिए, हम एकात्मक आधार चुन सकते हैं। यह विषम-सममित आव्युह | इसी प्रकार, सम्मिश्र संख्याओं के क्षेत्र के लिए, हम एकात्मक आधार चुन सकते हैं। यह विषम-सममित आव्युह या स्पेक्ट्रल सिद्धांत सिद्ध करता है। | ||
=== लैग्रेन्जियन रूप === | === लैग्रेन्जियन रूप === | ||
इस मानक सहानुभूतिपूर्ण रूप की व्याख्या करने का और | इस मानक सहानुभूतिपूर्ण रूप की व्याख्या करने का और विधि है। चूंकि मॉडल समष्टि '''R'''<sup>2''n''</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 47: | Line 46: | ||
:<math>\left(v^*_1, \ldots, v^*_n\right).</math> | :<math>\left(v^*_1, \ldots, v^*_n\right).</math> | ||
यदि हम | यदि हम {{nowrap|1=''x''<sub>''i''</sub> = (''v''<sub>''i''</sub>, 0) और ''y''<sub>''i''</sub> = (0, ''v''<sub>''i''</sub><sup>∗</sup>)}} लिखते हैं तो हम W में पूर्ण आधार सदिश की व्याख्या कर सकते हैं। कुल मिलाकर, ये 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> | ||
यहां परिभाषित प्रपत्र ω में इस खंड की | यहां परिभाषित प्रपत्र ω में इस खंड की प्रारंभिक के समान गुण दिखाए जा सकते हैं। दूसरी ओर, प्रत्येक सहानुभूति संरचना किसी न किसी रूप में समरूपी होती है {{nowrap|''V'' ⊕ ''V''<sup>∗</sup>}}. उप-स्थान V अद्वितीय नहीं है, और उप-स्थान V की चुनाओ को 'ध्रुवीकरण' कहा जाता है। जो उप-स्थान ऐसी समरूपता देते हैं, उन्हें 'लैग्रैन्जियन उप-स्थान' या केवल 'लैग्रैन्जियन' कहा जाता है। | ||
स्पष्ट रूप से, लैग्रेंजियन उप-स्थान | स्पष्ट रूप से, लैग्रेंजियन उप-स्थान या दिया गया है, फिर आधार का विकल्प {{nowrap|(''x''<sub>1</sub>, ..., ''x<sub>n</sub>'')}} पूरक के लिए दोहरे आधार {{nowrap|1=''ω''(''x''<sub>''i''</sub>, ''y''<sub>''j''</sub>) = ''δ''<sub>''ij''</sub>}} को परिभाषित करता है . | ||
=== | ===समष्टि संरचनाओं के साथ सादृश्य=== | ||
जिस प्रकार प्रत्येक सिंपलेक्टिक संरचना | जिस प्रकार प्रत्येक सिंपलेक्टिक संरचना {{nowrap|''V'' ⊕ ''V''<sup>∗</sup>}} के किसी न किसी रूप में समरूपी होती है , सदिश समष्टि पर प्रत्येक रैखिक समष्टि संरचना {{nowrap|''V'' ⊕ ''V''}} के किसी रूप में समरूपी होती है . इन संरचनाओं का उपयोग करते हुए, ''n''-मैनिफोल्ड के [[स्पर्शरेखा बंडल]], जिसे 2''n''-मैनिफोल्ड के रूप में माना जाता है, की लगभग समष्टि संरचना होती है, और एन-मैनिफोल्ड के कोटैंजेंट बंडल, जिसे 2''n''-मैनिफोल्ड के रूप में माना जाता है, की सहानुभूतिपूर्ण संरचना होती है: {{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''}}. जैसा कि ऊपर दिए गए मानक सहानुभूति रूप से देखा जा सकता है, यदि '''R'''<sup>2''n''</sup> पर प्रत्येक सहानुभूति रूप '''C'''<sup>''n''</sup> पर मानक कॉम्प्लेक्स (हर्मिटियन) आंतरिक उत्पाद के काल्पनिक भाग के लिए आइसोमोर्फिक है (पहले तर्क के एंटी-लीनियर होने की परंपरा के साथ)। | ||
==वॉल्यूम रूप== | ==वॉल्यूम रूप== | ||
मान लीजिए ω n-आयामी वास्तविक सदिश समष्टि V पर [[वैकल्पिक द्विरेखीय रूप]] | मान लीजिए ω एक n-आयामी वास्तविक सदिश समष्टि V, ω ∈ Λ2(V) पर एक [[वैकल्पिक द्विरेखीय रूप]] है। तब ω गैर-पतित है यदि और केवल यदि n सम है और ωn/2 = ω ∧ ... ∧ ω एक आयतन रूप है। n-आयामी सदिश स्पेस V पर एक [[वॉल्यूम फॉर्म|वॉल्यूम रूप]] ''n''-रूप {{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>}} का आधार है। | ||
पूर्व अनुभाग में परिभाषित मानक आधार के लिए, हमारे पास है | |||
:<math>\omega^n = (-1)^\frac{n}{2} x^*_1 \wedge \dotsb \wedge x^*_n \wedge y^*_1 \wedge \dotsb \wedge y^*_n.</math> | :<math>\omega^n = (-1)^\frac{n}{2} x^*_1 \wedge \dotsb \wedge x^*_n \wedge y^*_1 \wedge \dotsb \wedge y^*_n. </math> | ||
पुनः व्यवस्थित करके कोई भी लिख सकता है | पुनः व्यवस्थित करके कोई भी लिख सकता है | ||
:<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 का कारक शामिल है या नहीं! या नहीं। वॉल्यूम रूप सिंपलेक्टिक सदिश स्पेस (''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'', ''ω'')}} द्वारा दर्शाया जाता है। आव्युह रूप में सिंपलेक्टिक परिवर्तन सिंपलेक्टिक आव्युह द्वारा दिए जाते हैं। | |||
==उपस्थान== | ==उपस्थान== | ||
मान लीजिए कि W, V का रैखिक उपसमष्टि है। उपसमष्टि होने के लिए W के 'सहानुभूतिपूर्ण पूरक' को परिभाषित करें | मान लीजिए कि W, V का रैखिक उपसमष्टि है। उपसमष्टि होने के लिए W के 'सहानुभूतिपूर्ण पूरक' को परिभाषित करें | ||
:<math>W^\perp = \{v \in V \mid \omega(v,w) = 0 \mbox{ for all } w \in W\}.</math> | :<math>W^\perp = \{v \in V \mid \omega(v,w) = 0 \mbox{ for all } w \in W\}.</math> | ||
सहानुभूतिपूर्ण पूरक संतुष्ट करता है: | इस प्रकार से सहानुभूतिपूर्ण पूरक संतुष्ट करता है: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
\left(W^\perp\right)^\perp &= W \\ | \left(W^\perp\right)^\perp &= W \\ | ||
\dim W + \dim W^\perp &= \dim V. | \dim W + \dim W^\perp &= \dim V. | ||
\end{align}</math> | \end{align}</math> | ||
चूंकि , [[ऑर्थोगोनल पूरक]] के विपरीत, ''W''<sup>⊥</sup> ∩ ''W'' को 0 होने की आवश्यकता नहीं है। हम चार मामलों को अलग करते हैं: | |||
* यदि | * यदि {{nowrap|1=''W''<sup>⊥</sup> ∩ ''W'' = {0}}} हो तो W सहानुभूतिपूर्ण है। यह सत्य है [[अगर और केवल अगर]] ω ''W'' पर गैर-अपक्षयी रूप तक सीमित है। प्रतिबंधित रूप के साथ सहानुभूति उप-स्थान अपने आप में सहानुभूति सदिश स्थान है। | ||
* | *यदि {{nowrap|''W'' ⊆ ''W''<sup>⊥</sup>}} हो तो W समदैशिक है। यह सत्य है यदि और केवल यदि ω W पर 0 तक सीमित है। कोई भी एक-आयामी उप-स्थान आइसोट्रोपिक है | ||
* यदि W 'कोइसोट्रोपिक' है {{nowrap|''W''<sup>⊥</sup> ⊆ ''W''}} | * यदि W 'कोइसोट्रोपिक' है {{nowrap|''W''<sup>⊥</sup> ⊆ ''W''}} W कोइसोट्रोपिक है यदि और केवल यदि ω [[भागफल स्थान (रैखिक बीजगणित)]] ''W''/''W''<sup>⊥</sup> पर गैर-अपक्षयी रूप में उतरता है<sup>⊥</sup>. समान रूप से W कोइसोट्रोपिक है यदि और केवल यदि ''W''<sup>⊥</sup>आइसोट्रोपिक है। कोई भी [[ संहिताकरण |संहिताकरण]] -एक उपस्थान कोइसोट्रोपिक है। | ||
* यदि W 'लैग्रेन्जियन' है {{nowrap|1=''W'' = ''W''<sup>⊥</sup>}}. उपस्थान लैग्रेंजियन है यदि और केवल यदि यह आइसोट्रोपिक और कोइसोट्रोपिक दोनों है। परिमित-आयामी सदिश अंतरिक्ष में, लैग्रैन्जियन उपस्थान आइसोट्रोपिक है जिसका आयाम | * यदि W 'लैग्रेन्जियन' है {{nowrap|1=''W'' = ''W''<sup>⊥</sup>}}. उपस्थान लैग्रेंजियन है यदि और केवल यदि यह आइसोट्रोपिक और कोइसोट्रोपिक दोनों है। परिमित-आयामी सदिश अंतरिक्ष में, लैग्रैन्जियन उपस्थान आइसोट्रोपिक है जिसका आयाम ''V'' का आधा है। प्रत्येक आइसोट्रोपिक उपस्थान को लैग्रैन्जियन तक बढ़ाया जा सकता है। | ||
कैनोनिकल सदिश समष्टि ' | कैनोनिकल सदिश समष्टि ''''R'''<sup>2''n''</sup>' का जिक्र करते हुए ऊपर, | ||
* {x | * {''x''<sub>1</sub>, ''y''<sub>1</sub>} द्वारा फैला हुआ उप-स्थान सहानुभूतिपूर्ण है | ||
* {x | * {''x''<sub>1</sub>, ''x''<sub>2</sub>} द्वारा फैला हुआ उपस्थान समदैशिक है | ||
* {x | * {''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x<sub>n</sub>'', ''y''<sub>1</sub>} द्वारा फैला हुआ उपस्थान कोइसोट्रोपिक है | ||
* {x | * {''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x<sub>n</sub>''} द्वारा फैला हुआ उपस्थान लैग्रेंजियन है। | ||
==हाइजेनबर्ग समूह== | ==हाइजेनबर्ग समूह== | ||
{{main| | {{main|हाइजेनबर्ग समूह}} | ||
इस प्रकार से [[हाइजेनबर्ग समूह]] को किसी भी सहानुभूतिपूर्ण सदिश स्थान के लिए परिभाषित किया जा सकता है, और यह हाइजेनबर्ग समूहों के उत्पन्न होने का विशिष्ट विधि है। | |||
किन्तु सदिश समष्टि को क्रमविनिमेय लाई समूह (जोड़ के तहत) के रूप में, या समकक्ष रूप से क्रमविनिमेय लाई बीजगणित के रूप में माना जा सकता है, जिसका अर्थ है नगण्य लाई ब्रैकेट। हाइजेनबर्ग समूह ऐसे क्रमविनिमेय समूह/बीजगणित का [[केंद्रीय विस्तार (गणित)]] है: सहानुभूतिपूर्ण रूप विहित कम्यूटेशन संबंधों (सीसीआर) के अनुरूप रूपांतर को परिभाषित करता है, और डार्बौक्स आधार विहित निर्देशांक से मेल खाता है - भौतिकी के संदर्भ में, गति संचालक और [[स्थिति संचालक]] है। | |||
वास्तव में, स्टोन-वॉन न्यूमैन प्रमेय के अनुसार, सीसीआर (हाइजेनबर्ग समूह का प्रत्येक प्रतिनिधित्व) को संतुष्ट करने वाला प्रत्येक प्रतिनिधित्व इस रूप का है, या अधिक उचित रूप से मानक रूप से इकाई रूप से संयुग्मित है। | वास्तव में, स्टोन-वॉन न्यूमैन प्रमेय के अनुसार, सीसीआर (हाइजेनबर्ग समूह का प्रत्येक प्रतिनिधित्व) को संतुष्ट करने वाला प्रत्येक प्रतिनिधित्व इस रूप का है, या अधिक उचित रूप से मानक रूप से इकाई रूप से संयुग्मित है। | ||
इसके | इसके अतिरिक्त, सदिश स्थान (दोहरे से) का समूह वलय [[सममित बीजगणित]] है, और हेइज़ेनबर्ग समूह (दोहरे का) का समूह बीजगणित [[वेइल बीजगणित]] है: कोई केंद्रीय विस्तार को परिमाणीकरण या विरूपण के अनुरूप विचार कर सकता है परिमाणीकरण. | ||
औपचारिक रूप से, क्षेत्र F पर सदिश समष्टि V का सममित बीजगणित दोहरे | इस प्रकार से औपचारिक रूप से, क्षेत्र F पर सदिश समष्टि V का सममित बीजगणित दोहरे, {{nowrap|1=Sym(''V'') := ''F''[''V''<sup>∗</sup>]}} का समूह बीजगणित है, और वेइल बीजगणित (दोहरी) हाइजेनबर्ग समूह {{nowrap|1=''W''(''V'') = ''F''[''H''(''V''<sup>∗</sup>)]}} का समूह बीजगणित है . चूंकि समूह बीजगणित को पारित करना विरोधाभासी फ़ंक्टर है, केंद्रीय विस्तार मानचित्र {{nowrap|''H''(''V'') → ''V''}} समावेश {{nowrap|Sym(''V'') → ''W''(''V'')}} बन जाता है . | ||
==यह भी देखें== | ==यह भी देखें== | ||
* एक [[सिंपलेक्टिक मैनिफ़ोल्ड]] | *एक [[सिंपलेक्टिक मैनिफ़ोल्ड]] प्रत्येक [[स्पर्शरेखा स्थान]] पर सुचारू रूप से अलग-अलग संवृत सिंपलेक्टिक रूप के साथ एक [[ चिकनी कई गुना |स्मूथ]] मैनिफोल्ड है। | ||
* मास्लोव सूचकांक | * मास्लोव सूचकांक | ||
* एक [[सहानुभूतिपूर्ण प्रतिनिधित्व]] [[समूह प्रतिनिधित्व]] है जहां प्रत्येक समूह | * एक [[सहानुभूतिपूर्ण प्रतिनिधित्व]] [[समूह प्रतिनिधित्व]] है जहां प्रत्येक समूह अवयव सहानुभूति परिवर्तन के रूप में कार्य करता है। | ||
==संदर्भ== | ==संदर्भ== |
Revision as of 16:08, 22 July 2023
गणित में, सिम्प्लेक्टिक सदिश स्थल फ़ील्ड (गणित) F (उदाहरण के लिए वास्तविक संख्या R) के ऊपर एक सदिश समष्टि V होता है जो सिम्प्लेक्टिक द्विरेखीय रूप से सुसज्जित होता है।
एक सिम्प्लेक्टिक बिलिनियर रूप मानचित्र है (गणित) ω : V × V → F अर्थात
- द्विरेखीय रूप
- प्रत्येक तर्क में अलग से रैखिक मानचित्र;
- वैकल्पिक रूप
- यदि ω(v, v) = 0 सभी के लिए धारण करता है v ∈ V; और
- अविक्षिप्त रूप
- सभी v ∈ V के लिए ω(u, v) = 0 का तात्पर्य है कि u = 0.
यदि अंतर्निहित फ़ील्ड में विशेषता (बीजगणित) 2 नहीं है, तो प्रत्यावर्तन विषम-समरूपता के समान है। यदि विशेषता 2 है, तो विषम-समरूपता निहित है, किन्तु प्रत्यावर्तन का अर्थ नहीं है। इस स्तिथि में प्रत्येक सहानुभूतिपूर्ण रूप एक सममित द्विरेखीय रूप है, किन्तु इसके विपरीत नहीं है।
एक निश्चित आधार (रैखिक बीजगणित) में कार्य करते हुए, यदि ω को आव्युह (गणित) द्वारा दर्शाया जा सकता है। उपरोक्त स्थितियाँ इस आव्युह के समतुल्य हैं, विषम-सममित आव्युह, गैर-एकवचन आव्युह, और निरर्थक आव्युह या विकर्ण प्रविष्टियाँ सभी शून्य (सभी विकर्ण प्रविष्टियाँ शून्य हैं)। इसे सिंपलेक्टिक आव्युह के साथ भ्रमित नहीं किया जाना चाहिए, जो अंतरिक्ष के सिम्प्लेक्टिक परिवर्तन का प्रतिनिधित्व करता है। यदि V परिमित-आयामी है, तो इसका आयाम आवश्यक रूप से सम संख्या होना चाहिए क्योंकि विषम आकार के प्रत्येक विषम-सममित, निरर्थक आव्युह में निर्धारक शून्य होता है। ध्यान दें कि यदि फ़ील्ड की विशेषता 2 है, तो आव्युह निरर्थक होने की स्थिति निरर्थक नहीं है। सहानुभूतिपूर्ण रूप सममित रूप से अधिक अलग व्यवहार करता है, उदाहरण के लिए, यूक्लिडियन सदिश रिक्त स्थान पर अदिश उत्पाद किया जाता है।
मानक सहानुभूति स्थान
मानक सिंपलेक्टिक समष्टि R2n है जिसका सिंपलेक्टिक रूप एक गैर-एकवचन, विषम-सममित आव्युह द्वारा दिया गया है। सामान्यतः ω को ब्लॉक आव्युह चुना जाता है
जहां In n × n पहचान आव्युह है। आधार सदिशों के संदर्भ में (x1, ..., xn, y1, ..., yn):
ग्राम-श्मिट प्रक्रिया के संशोधित संस्करण से पता चलता है कि किसी भी परिमित-आयामी सहानुभूति सदिश स्थान का आधार ऐसा होता है कि ω यह रूप लेता है, जिसे प्रायः 'डार्बोक्स आधार' या सहानुभूति आधार कहा जाता है।
'प्रक्रिया का रेखाचित्र:'
इच्छानुसार आधार से प्रारंभ करें , और दोहरे आधार द्वारा प्रत्येक आधार सदिश के दोहरे का प्रतिनिधित्व करें: . इससे मान लीजिये प्रविष्टियों के साथ आव्युह . इसके शून्य स्थान को हल करिए। अब किसी के लिए शून्य स्थान में, हमारे पास है , इसलिए शून्य स्थान हमें पतित उपस्थान देता है .
अब इच्छानुसार पूरक चुनें ऐसा है कि , और जाने को का आधार बनने दें . तब से , और , डब्लूएलओजी . अब माप जिससे . फिर परिभाषित करें प्रत्येक के लिए . पुनरावृति।
ध्यान दें कि यह विधि केवल वास्तविक संख्याओं के क्षेत्र के लिए ही नहीं, किन्तु किसी भी क्षेत्र पर सिम्प्लेक्टिक सदिश समष्टि के लिए प्रयुक्त होती है।
वास्तविक या समष्टि क्षेत्र की स्तिथि :
जब स्थान वास्तविक संख्याओं के क्षेत्र से ऊपर हो जाता है, तो हम संशोधित ग्राम-श्मिट प्रक्रिया को निम्नानुसार संशोधित कर सकते हैं: उसी तरह से प्रारंभ करें। मान लीजिए कि , का एक ऑर्थोनॉर्मल आधार है ( पर सामान्य आंतरिक उत्पाद के संबंध में)। चूँकि और डब्ल्यूएलओजी अब को एक चिन्ह से गुणा करें, ताकि फिर में से प्रत्येक के लिए को परिभाषित करें, फिर प्रत्येक को स्केल करें ताकि इसमें एक मानक हो। पुनरावृति।
इसी प्रकार, सम्मिश्र संख्याओं के क्षेत्र के लिए, हम एकात्मक आधार चुन सकते हैं। यह विषम-सममित आव्युह या स्पेक्ट्रल सिद्धांत सिद्ध करता है।
लैग्रेन्जियन रूप
इस मानक सहानुभूतिपूर्ण रूप की व्याख्या करने का और विधि है। चूंकि मॉडल समष्टि R2n में बहुत अधिक विहित संरचना है जिससे सरलता से असत्य व्याख्या हो सकती है, हम इसके अतिरिक्त अज्ञात सदिश रिक्त स्थान का उपयोग करेंगे। मान लीजिए V आयाम n और V∗ का वास्तविक सदिश समष्टि हैयह दोहरा स्थान है। अब सदिश समष्टि के प्रत्यक्ष योग पर विचार करें W = V ⊕ V∗ इन स्थानों में से निम्नलिखित प्रपत्र से सुसज्जित:
अब कोई भी आधार चुनें (रैखिक बीजगणित) (v1, ..., vn) V का और इसके दोहरे स्थान पर विचार करें
यदि हम xi = (vi, 0) और yi = (0, vi∗) लिखते हैं तो हम W में पूर्ण आधार सदिश की व्याख्या कर सकते हैं। कुल मिलाकर, ये W का पूर्ण आधार बनाते हैं,
यहां परिभाषित प्रपत्र ω में इस खंड की प्रारंभिक के समान गुण दिखाए जा सकते हैं। दूसरी ओर, प्रत्येक सहानुभूति संरचना किसी न किसी रूप में समरूपी होती है V ⊕ V∗. उप-स्थान V अद्वितीय नहीं है, और उप-स्थान V की चुनाओ को 'ध्रुवीकरण' कहा जाता है। जो उप-स्थान ऐसी समरूपता देते हैं, उन्हें 'लैग्रैन्जियन उप-स्थान' या केवल 'लैग्रैन्जियन' कहा जाता है।
स्पष्ट रूप से, लैग्रेंजियन उप-स्थान या दिया गया है, फिर आधार का विकल्प (x1, ..., xn) पूरक के लिए दोहरे आधार ω(xi, yj) = δij को परिभाषित करता है .
समष्टि संरचनाओं के साथ सादृश्य
जिस प्रकार प्रत्येक सिंपलेक्टिक संरचना V ⊕ V∗ के किसी न किसी रूप में समरूपी होती है , सदिश समष्टि पर प्रत्येक रैखिक समष्टि संरचना V ⊕ V के किसी रूप में समरूपी होती है . इन संरचनाओं का उपयोग करते हुए, n-मैनिफोल्ड के स्पर्शरेखा बंडल, जिसे 2n-मैनिफोल्ड के रूप में माना जाता है, की लगभग समष्टि संरचना होती है, और एन-मैनिफोल्ड के कोटैंजेंट बंडल, जिसे 2n-मैनिफोल्ड के रूप में माना जाता है, की सहानुभूतिपूर्ण संरचना होती है: T∗(T∗M)p = Tp(M) ⊕ (Tp(M))∗.
लैग्रेंजियन उप-स्थान का समष्टि एनालॉग एक वास्तविक उप-स्थान है, एक उप-स्थान जिसका समष्टिता संपूर्ण स्थान है: W = V ⊕ J V. जैसा कि ऊपर दिए गए मानक सहानुभूति रूप से देखा जा सकता है, यदि R2n पर प्रत्येक सहानुभूति रूप Cn पर मानक कॉम्प्लेक्स (हर्मिटियन) आंतरिक उत्पाद के काल्पनिक भाग के लिए आइसोमोर्फिक है (पहले तर्क के एंटी-लीनियर होने की परंपरा के साथ)।
वॉल्यूम रूप
मान लीजिए ω एक n-आयामी वास्तविक सदिश समष्टि V, ω ∈ Λ2(V) पर एक वैकल्पिक द्विरेखीय रूप है। तब ω गैर-पतित है यदि और केवल यदि n सम है और ωn/2 = ω ∧ ... ∧ ω एक आयतन रूप है। n-आयामी सदिश स्पेस V पर एक वॉल्यूम रूप n-रूप e1∗ ∧ ... ∧ en∗ का एक गैर-शून्य गुणक है जहां e1, e2, ..., en का आधार है।
पूर्व अनुभाग में परिभाषित मानक आधार के लिए, हमारे पास है
पुनः व्यवस्थित करके कोई भी लिख सकता है
लेखक विभिन्न प्रकार से ωn या (−1)n/2ωn को मानक आयतन रूप के रूप में परिभाषित करते हैं। n का एक सामयिक कारक! यह भी प्रकट हो सकता है, यह इस पर निर्भर करता है कि वैकल्पिक उत्पाद की परिभाषा में n का कारक शामिल है या नहीं! या नहीं। वॉल्यूम रूप सिंपलेक्टिक सदिश स्पेस (V, ω) पर एक अभिविन्यास (गणित) को परिभाषित करता है।
सिम्प्लिक मानचित्र
मान लीजिए कि (V, ω) और (W, ρ) सहानुभूति सदिश समष्टि हैं। फिर एक रेखीय मानचित्र f : V → W को एक सिम्प्लेक्टिक मानचित्र कहा जाता है यदि पुलबैक (विभेदक ज्यामिति) सिम्प्लेक्टिक रूप को संरक्षित करता है, यानी 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⊥ ∩ W को 0 होने की आवश्यकता नहीं है। हम चार मामलों को अलग करते हैं:
- यदि W⊥ ∩ W = {0} हो तो W सहानुभूतिपूर्ण है। यह सत्य है अगर और केवल अगर ω W पर गैर-अपक्षयी रूप तक सीमित है। प्रतिबंधित रूप के साथ सहानुभूति उप-स्थान अपने आप में सहानुभूति सदिश स्थान है।
- यदि W ⊆ W⊥ हो तो W समदैशिक है। यह सत्य है यदि और केवल यदि ω W पर 0 तक सीमित है। कोई भी एक-आयामी उप-स्थान आइसोट्रोपिक है
- यदि W 'कोइसोट्रोपिक' है W⊥ ⊆ W W कोइसोट्रोपिक है यदि और केवल यदि ω भागफल स्थान (रैखिक बीजगणित) W/W⊥ पर गैर-अपक्षयी रूप में उतरता है⊥. समान रूप से W कोइसोट्रोपिक है यदि और केवल यदि W⊥आइसोट्रोपिक है। कोई भी संहिताकरण -एक उपस्थान कोइसोट्रोपिक है।
- यदि W 'लैग्रेन्जियन' है W = W⊥. उपस्थान लैग्रेंजियन है यदि और केवल यदि यह आइसोट्रोपिक और कोइसोट्रोपिक दोनों है। परिमित-आयामी सदिश अंतरिक्ष में, लैग्रैन्जियन उपस्थान आइसोट्रोपिक है जिसका आयाम V का आधा है। प्रत्येक आइसोट्रोपिक उपस्थान को लैग्रैन्जियन तक बढ़ाया जा सकता है।
कैनोनिकल सदिश समष्टि 'R2n' का जिक्र करते हुए ऊपर,
- {x1, y1} द्वारा फैला हुआ उप-स्थान सहानुभूतिपूर्ण है
- {x1, x2} द्वारा फैला हुआ उपस्थान समदैशिक है
- {x1, x2, ..., xn, y1} द्वारा फैला हुआ उपस्थान कोइसोट्रोपिक है
- {x1, x2, ..., xn} द्वारा फैला हुआ उपस्थान लैग्रेंजियन है।
हाइजेनबर्ग समूह
इस प्रकार से हाइजेनबर्ग समूह को किसी भी सहानुभूतिपूर्ण सदिश स्थान के लिए परिभाषित किया जा सकता है, और यह हाइजेनबर्ग समूहों के उत्पन्न होने का विशिष्ट विधि है।
किन्तु सदिश समष्टि को क्रमविनिमेय लाई समूह (जोड़ के तहत) के रूप में, या समकक्ष रूप से क्रमविनिमेय लाई बीजगणित के रूप में माना जा सकता है, जिसका अर्थ है नगण्य लाई ब्रैकेट। हाइजेनबर्ग समूह ऐसे क्रमविनिमेय समूह/बीजगणित का केंद्रीय विस्तार (गणित) है: सहानुभूतिपूर्ण रूप विहित कम्यूटेशन संबंधों (सीसीआर) के अनुरूप रूपांतर को परिभाषित करता है, और डार्बौक्स आधार विहित निर्देशांक से मेल खाता है - भौतिकी के संदर्भ में, गति संचालक और स्थिति संचालक है।
वास्तव में, स्टोन-वॉन न्यूमैन प्रमेय के अनुसार, सीसीआर (हाइजेनबर्ग समूह का प्रत्येक प्रतिनिधित्व) को संतुष्ट करने वाला प्रत्येक प्रतिनिधित्व इस रूप का है, या अधिक उचित रूप से मानक रूप से इकाई रूप से संयुग्मित है।
इसके अतिरिक्त, सदिश स्थान (दोहरे से) का समूह वलय सममित बीजगणित है, और हेइज़ेनबर्ग समूह (दोहरे का) का समूह बीजगणित वेइल बीजगणित है: कोई केंद्रीय विस्तार को परिमाणीकरण या विरूपण के अनुरूप विचार कर सकता है परिमाणीकरण.
इस प्रकार से औपचारिक रूप से, क्षेत्र 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