सिम्प्लेक्टिक सदिश समिष्ट: Difference between revisions
No edit summary |
No edit summary |
||
(4 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, '''संसुघटित [[ सदिश स्थल |सदिश समिष्ट]] [[फ़ील्ड (गणित)|क्षेत्र (गणित)]]''' F (उदाहरण के लिए वास्तविक संख्या R) के ऊपर एक सदिश समष्टि V होता है जो संसुघटित [[ द्विरेखीय रूप |द्विरेखीय रूप]] से सुसज्जित होता है। | |||
एक संसुघटित बिलिनियर रूप मानचित्र है (गणित) {{nowrap|''ω'' : ''V'' × ''V'' → ''F''}} अर्थात | |||
; द्विरेखीय रूप: प्रत्येक तर्क में अलग से रैखिक मानचित्र; | ; द्विरेखीय रूप: प्रत्येक तर्क में अलग से रैखिक मानचित्र; | ||
; [[वैकल्पिक रूप]]: यदि {{nowrap|1=''ω''(''v'', ''v'') = 0}} सभी के लिए धारण करता है {{nowrap|''v'' ∈ ''V''}}; और | ; [[वैकल्पिक रूप]]: यदि {{nowrap|1=''ω''(''v'', ''v'') = 0}} सभी के लिए धारण करता है {{nowrap|''v'' ∈ ''V''}}; और | ||
Line 9: | Line 8: | ||
इस प्रकार से यदि अंतर्निहित क्षेत्र में [[विशेषता (बीजगणित)]] 2 नहीं है, तो प्रत्यावर्तन विषम-समरूपता के समान है। यदि विशेषता 2 है, तो विषम-समरूपता निहित है, किन्तु प्रत्यावर्तन का अर्थ नहीं है। इस स्तिथि में प्रत्येक सहानुभूतिपूर्ण रूप एक [[सममित द्विरेखीय रूप]] है, किन्तु इसके विपरीत नहीं है। | इस प्रकार से यदि अंतर्निहित क्षेत्र में [[विशेषता (बीजगणित)]] 2 नहीं है, तो प्रत्यावर्तन विषम-समरूपता के समान है। यदि विशेषता 2 है, तो विषम-समरूपता निहित है, किन्तु प्रत्यावर्तन का अर्थ नहीं है। इस स्तिथि में प्रत्येक सहानुभूतिपूर्ण रूप एक [[सममित द्विरेखीय रूप]] है, किन्तु इसके विपरीत नहीं है। | ||
अतः निश्चित [[आधार (रैखिक बीजगणित)]] में कार्य करते हुए, यदि ω को [[मैट्रिक्स (गणित)|आव्युह (गणित)]] द्वारा दर्शाया जा सकता है। उपरोक्त स्थितियाँ इस आव्युह के समतुल्य हैं, [[तिरछा-सममित मैट्रिक्स|विषम-सममित आव्युह]], गैर-एकवचन आव्युह, और निरर्थक आव्युह या विकर्ण प्रविष्टियाँ सभी शून्य (सभी विकर्ण प्रविष्टियाँ शून्य हैं)। इसे [[ सिंपलेक्टिक मैट्रिक्स | | अतः निश्चित [[आधार (रैखिक बीजगणित)]] में कार्य करते हुए, यदि ω को [[मैट्रिक्स (गणित)|आव्युह (गणित)]] द्वारा दर्शाया जा सकता है। उपरोक्त स्थितियाँ इस आव्युह के समतुल्य हैं, [[तिरछा-सममित मैट्रिक्स|विषम-सममित आव्युह]], गैर-एकवचन आव्युह, और निरर्थक आव्युह या विकर्ण प्रविष्टियाँ सभी शून्य (सभी विकर्ण प्रविष्टियाँ शून्य हैं)। इसे [[ सिंपलेक्टिक मैट्रिक्स |संसुघटित आव्युह]] के साथ भ्रमित नहीं किया जाना चाहिए, जो की अंतरिक्ष के संसुघटित परिवर्तन का प्रतिनिधित्व करता है। यदि V [[परिमित-आयामी]] है, तो इसका आयाम आवश्यक रूप से [[सम संख्या]] होना चाहिए क्योंकि विषम आकार के प्रत्येक विषम-सममित, निरर्थक आव्युह में निर्धारक शून्य होता है। ध्यान दें कि यदि क्षेत्र की विशेषता 2 है, तो आव्युह निरर्थक होने की स्थिति निरर्थक नहीं है। सहानुभूतिपूर्ण रूप सममित रूप से अधिक अलग व्यवहार करता है, उदाहरण के लिए, यूक्लिडियन सदिश रिक्त समिष्ट पर अदिश उत्पाद किया जाता है। | ||
==मानक | ==मानक संसुघटित समिष्ट== | ||
{{Further|सिंपलेक्टिक आव्युह#सिंपलेक्टिक परिवर्तन}} | {{Further|सिंपलेक्टिक आव्युह#सिंपलेक्टिक परिवर्तन}} | ||
इस प्रकार से मानक | इस प्रकार से मानक संसुघटित समष्टि '''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> | ||
Line 23: | Line 22: | ||
\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>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>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> में | इस मानक सहानुभूतिपूर्ण रूप की व्याख्या करने का और विधि है। चूंकि मॉडल समष्टि '''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 44: | Line 43: | ||
:<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 में पूर्ण आधार सदिश की व्याख्या कर सकते हैं। | यदि हम {{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> | ||
Line 52: | Line 51: | ||
===समष्टि संरचनाओं के साथ सादृश्य=== | ===समष्टि संरचनाओं के साथ सादृश्य=== | ||
जिस प्रकार प्रत्येक | जिस प्रकार प्रत्येक संसुघटित संरचना {{nowrap|''V'' ⊕ ''V''<sup>∗</sup>}} के किसी न किसी रूप में समरूपी होती है , सदिश समष्टि पर प्रत्येक रैखिक समष्टि संरचना {{nowrap|''V'' ⊕ ''V''}} के किसी रूप में समरूपी होती है . इन संरचनाओं का उपयोग करते हुए, ''n''-मैनिफोल्ड के [[स्पर्शरेखा बंडल]], जिसे 2''n''-मैनिफोल्ड के रूप में माना जाता है, की लगभग समष्टि संरचना होती है, और 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> पर मानक कॉम्प्लेक्स (हर्मिटियन) आंतरिक उत्पाद के काल्पनिक भाग के लिए आइसोमोर्फिक (पहले तर्क के एंटी-लीनियर होने की परंपरा के साथ) है। | लैग्रेंजियन उप-समिष्ट का समष्टि एनालॉग एक वास्तविक उप-समिष्ट है, एक उप-समिष्ट जिसका [[जटिलता|समष्टिता]] संपूर्ण समिष्ट है: {{nowrap|1=''W'' = ''V'' ⊕ ''J'' ''V''}}. जैसा कि ऊपर दिए गए मानक सहानुभूति रूप से देखा जा सकता है, यदि '''R'''<sup>2''n''</sup> पर प्रत्येक सहानुभूति रूप '''C'''<sup>''n''</sup> पर मानक कॉम्प्लेक्स (हर्मिटियन) आंतरिक उत्पाद के काल्पनिक भाग के लिए आइसोमोर्फिक (पहले तर्क के एंटी-लीनियर होने की परंपरा के साथ) है। | ||
Line 65: | Line 64: | ||
:<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 का कारक सम्मिलित है या नहीं! या नहीं। वॉल्यूम रूप | लेखक विभिन्न प्रकार से ''ω<sup>n</sup>'' या (−1)<sup>''n''/2</sup>''ω<sup>n</sup>'' को मानक आयतन रूप के रूप में परिभाषित करते हैं। n का एक सामयिक कारक! यह भी प्रकट हो सकता है, यह इस पर निर्भर करता है कि [[वैकल्पिक उत्पाद]] की परिभाषा में n का कारक सम्मिलित है या नहीं! या नहीं। वॉल्यूम रूप संसुघटित सदिश समिष्ट (''V'', ''ω'') पर एक [[अभिविन्यास (गणित)]] को परिभाषित करता है। | ||
==सिम्प्लिक मानचित्र== | ==सिम्प्लिक मानचित्र== | ||
मान लीजिए कि {{nowrap|(''V'', ''ω'')}} और {{nowrap|(''W'', ''ρ'')}} सहानुभूति सदिश समष्टि हैं। | मान लीजिए कि {{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=''V'' = ''W''}}, तो एक सहानुभूति मानचित्र को V का रैखिक सहानुभूति परिवर्तन कहा जाता है। विशेष रूप से, इस स्तिथि में मान लीजिये {{nowrap|1=''ω''(''f''(''u''), ''f''(''v'')) = ''ω''(''u'', ''v'')}} है, और इसलिए [[रैखिक परिवर्तन]] f सहानुभूति रूप को संरक्षित करता है। सभी सहानुभूति परिवर्तनों का समुच्चय एक [[समूह (गणित)]] बनाता है और विशेष रूप से एक लाई समूह, जिसे [[सहानुभूति समूह]] कहा जाता है और इसे Sp(V) या कभी-कभी {{nowrap|Sp(''V'', ''ω'')}} द्वारा दर्शाया जाता है। आव्युह रूप में संसुघटित परिवर्तन संसुघटित आव्युह द्वारा दिए जाते हैं। | ||
==उपसमिष्ट== | ==उपसमिष्ट== | ||
Line 81: | Line 80: | ||
\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 होने की आवश्यकता नहीं है। हम | चूंकि , [[ऑर्थोगोनल पूरक]] के विपरीत, ''W''<sup>⊥</sup> ∩ ''W'' को 0 होने की आवश्यकता नहीं है। हम चतुर्थ स्तिथियों को अलग करते हैं: | ||
* यदि {{nowrap|1=''W''<sup>⊥</sup> ∩ ''W'' = {0}}} हो तो W सहानुभूतिपूर्ण है। यह सत्य है [[अगर और केवल अगर]] ω ''W'' पर गैर-अपक्षयी रूप तक सीमित है। प्रतिबंधित रूप के साथ सहानुभूति उप-समिष्ट अपने आप में सहानुभूति सदिश समिष्ट है। | * यदि {{nowrap|1=''W''<sup>⊥</sup> ∩ ''W'' = {0}}} हो तो W सहानुभूतिपूर्ण है। यह सत्य है [[अगर और केवल अगर]] ω ''W'' पर गैर-अपक्षयी रूप तक सीमित है। प्रतिबंधित रूप के साथ सहानुभूति उप-समिष्ट अपने आप में सहानुभूति सदिश समिष्ट है। | ||
*यदि {{nowrap|''W'' ⊆ ''W''<sup>⊥</sup>}} हो तो W समदैशिक है। यह सत्य है यदि और केवल यदि ω W पर 0 तक सीमित है। कोई भी एक-आयामी उप-समिष्ट आइसोट्रोपिक है | *यदि {{nowrap|''W'' ⊆ ''W''<sup>⊥</sup>}} हो तो W समदैशिक है। यह सत्य है यदि और केवल यदि ω W पर 0 तक सीमित है। कोई भी एक-आयामी उप-समिष्ट आइसोट्रोपिक है | ||
Line 98: | Line 97: | ||
इस प्रकार से [[हाइजेनबर्ग समूह]] को किसी भी सहानुभूतिपूर्ण सदिश समिष्ट के लिए परिभाषित किया जा सकता है, और यह हाइजेनबर्ग समूहों के उत्पन्न होने का विशिष्ट विधि है। | इस प्रकार से [[हाइजेनबर्ग समूह]] को किसी भी सहानुभूतिपूर्ण सदिश समिष्ट के लिए परिभाषित किया जा सकता है, और यह हाइजेनबर्ग समूहों के उत्पन्न होने का विशिष्ट विधि है। | ||
किन्तु सदिश समष्टि को क्रमविनिमेय लाई समूह (जोड़ के अनुसार) के रूप में, या समकक्ष रूप से क्रमविनिमेय लाई बीजगणित के रूप में माना जा सकता है, जिसका अर्थ | किन्तु सदिश समष्टि को क्रमविनिमेय लाई समूह (जोड़ के अनुसार) के रूप में, या समकक्ष रूप से क्रमविनिमेय लाई बीजगणित के रूप में माना जा सकता है, जिसका अर्थ नगण्य लाई ब्रैकेट है। हाइजेनबर्ग समूह ऐसे क्रमविनिमेय समूह/बीजगणित का [[केंद्रीय विस्तार (गणित)]] है: सहानुभूतिपूर्ण रूप विहित कम्यूटेशन संबंधों (सीसीआर) के अनुरूप रूपांतर को परिभाषित करता है, और डार्बौक्स आधार विहित निर्देशांक से मेल खाता है - भौतिकी के संदर्भ में, गति संचालक और [[स्थिति संचालक]] है। | ||
वास्तव में, स्टोन-वॉन | वास्तव में, स्टोन-वॉन न्यूमन प्रमेय के अनुसार, सीसीआर (हाइजेनबर्ग समूह का प्रत्येक प्रतिनिधित्व) को संतुष्ट करने वाला प्रत्येक प्रतिनिधित्व इस रूप का है, या अधिक उचित रूप से मानक रूप से इकाई रूप से संयुग्मित है। | ||
इसके अतिरिक्त, सदिश समिष्ट ( | इसके अतिरिक्त, सदिश समिष्ट (द्वैत) का समूह वलय [[सममित बीजगणित]] है, और हेइज़ेनबर्ग समूह (द्वैत) का समूह बीजगणित [[वेइल बीजगणित]] है: कोई केंद्रीय विस्तार को परिमाणीकरण या विरूपण के अनुरूप विचार कर सकता है . | ||
इस प्रकार से औपचारिक रूप से, क्षेत्र 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'')}} बन जाता है . | इस प्रकार से औपचारिक रूप से, क्षेत्र 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'')}} बन जाता है . | ||
Line 108: | Line 107: | ||
==यह भी देखें== | ==यह भी देखें== | ||
*एक [[सिंपलेक्टिक मैनिफ़ोल्ड]] प्रत्येक [[स्पर्शरेखा स्थान|स्पर्शरेखा समिष्ट]] पर सुचारू रूप से अलग-अलग संवृत | *एक [[सिंपलेक्टिक मैनिफ़ोल्ड|संसुघटित मैनिफ़ोल्ड]] प्रत्येक [[स्पर्शरेखा स्थान|स्पर्शरेखा समिष्ट]] पर सुचारू रूप से अलग-अलग संवृत संसुघटित रूप के साथ एक [[ चिकनी कई गुना |स्मूथ]] मैनिफोल्ड है। | ||
* मास्लोव सूचकांक | * मास्लोव सूचकांक | ||
* एक [[सहानुभूतिपूर्ण प्रतिनिधित्व]] [[समूह प्रतिनिधित्व]] है जहां प्रत्येक समूह अवयव सहानुभूति परिवर्तन के रूप में कार्य करता है। | * एक [[सहानुभूतिपूर्ण प्रतिनिधित्व]] [[समूह प्रतिनिधित्व]] है जहां प्रत्येक समूह अवयव सहानुभूति परिवर्तन के रूप में कार्य करता है। | ||
Line 116: | Line 115: | ||
*{{cite book |authorlink=Ralph Abraham (mathematician) |first1=Ralph |last1=Abraham |first2=Jerrold E. |last2=Marsden |authorlink2=Jerrold E. Marsden |title=Foundations of Mechanics |year=1978 |publisher=Benjamin-Cummings |location=London |isbn=0-8053-0102-X |chapter=Hamiltonian and Lagrangian Systems |pages=161–252 |edition=2nd }} [https://authors.library.caltech.edu/25029/1/FoM2.pdf PDF] | *{{cite book |authorlink=Ralph Abraham (mathematician) |first1=Ralph |last1=Abraham |first2=Jerrold E. |last2=Marsden |authorlink2=Jerrold E. Marsden |title=Foundations of Mechanics |year=1978 |publisher=Benjamin-Cummings |location=London |isbn=0-8053-0102-X |chapter=Hamiltonian and Lagrangian Systems |pages=161–252 |edition=2nd }} [https://authors.library.caltech.edu/25029/1/FoM2.pdf PDF] | ||
* Paulette Libermann and Charles-Michel Marle (1987) "Symplectic Geometry and Analytical Mechanics", D. Reidel | * 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 | * Jean-Marie Souriau (1997) "Structure of Dynamical Systems, A Symplectic View of Physics", Springer | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Created On 14/07/2023]] | [[Category:Created On 14/07/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:द्विरेखीय रूप]] | |||
[[Category:लीनियर अलजेब्रा]] | |||
[[Category:सिंपलेक्टिक ज्यामिति]] |
Latest revision as of 14:24, 14 August 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-मैनिफोल्ड के रूप में माना जाता है, की लगभग समष्टि संरचना होती है, और n-मैनिफोल्ड के कोटैंजेंट बंडल, जिसे 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