सिम्प्लेक्टिक सदिश समिष्ट
गणित में, एक सिम्प्लेक्टिक सदिश स्थल एक फ़ील्ड (गणित) एफ (उदाहरण के लिए वास्तविक संख्या आर) के ऊपर एक वेक्टर स्पेस वी है जो सिम्प्लेक्टिक द्विरेखीय रूप से सुसज्जित है।
एक सिम्प्लेक्टिक बिलिनियर फॉर्म एक मानचित्र है (गणित) ω : V × V → F वह है
- द्विरेखीय रूप
- प्रत्येक तर्क में अलग से रैखिक मानचित्र;
- वैकल्पिक रूप
- ω(v, v) = 0 सभी के लिए धारण करता है v ∈ V; और
- अविक्षिप्त रूप|अविक्षिप्त रूप
- ω(u, v) = 0 सभी के लिए v ∈ V इसका आशय है u = 0.
यदि अंतर्निहित क्षेत्र (गणित) में विशेषता (बीजगणित) 2 नहीं है, तो विकल्प तिरछा समरूपता | तिरछा-समरूपता के बराबर है। यदि विशेषता 2 है, तो तिरछा-समरूपता निहित है, लेकिन प्रत्यावर्तन का अर्थ नहीं है। इस मामले में प्रत्येक सहानुभूतिपूर्ण रूप एक सममित द्विरेखीय रूप है, लेकिन इसके विपरीत नहीं।
एक निश्चित आधार (रैखिक बीजगणित) में कार्य करते हुए, ω को एक मैट्रिक्स (गणित) द्वारा दर्शाया जा सकता है। उपरोक्त स्थितियाँ इस मैट्रिक्स के समतुल्य हैं, तिरछा-सममित मैट्रिक्स | तिरछा-सममित, गैर-एकवचन मैट्रिक्स, और खोखला मैट्रिक्स # विकर्ण प्रविष्टियाँ सभी शून्य (सभी विकर्ण प्रविष्टियाँ शून्य हैं)। इसे सिंपलेक्टिक मैट्रिक्स के साथ भ्रमित नहीं किया जाना चाहिए, जो अंतरिक्ष के सिम्प्लेक्टिक परिवर्तन का प्रतिनिधित्व करता है। यदि V परिमित-आयामी है, तो इसका आयाम आवश्यक रूप से सम संख्या होना चाहिए क्योंकि विषम आकार के प्रत्येक तिरछा-सममित, खोखले मैट्रिक्स में निर्धारक शून्य होता है। ध्यान दें कि यदि फ़ील्ड की विशेषता 2 है, तो मैट्रिक्स खोखला होने की स्थिति निरर्थक नहीं है। एक सहानुभूतिपूर्ण रूप एक सममित रूप से काफी अलग व्यवहार करता है, उदाहरण के लिए, यूक्लिडियन वेक्टर रिक्त स्थान पर स्केलर उत्पाद।
मानक सहानुभूति स्थान
मानक सिंपलेक्टिक स्पेस आर है2nएक गैर-एकवचन मैट्रिक्स, तिरछा-सममित मैट्रिक्स द्वारा दिए गए सहानुभूतिपूर्ण रूप के साथ। आमतौर पर ω को ब्लॉक मैट्रिक्स चुना जाता है
जहां मैंn है n × n शिनाख्त सांचा। आधार वैक्टर के संदर्भ में (x1, ..., xn, y1, ..., yn):
ग्राम-श्मिट प्रक्रिया के एक संशोधित संस्करण से पता चलता है कि किसी भी परिमित-आयामी सहानुभूति वेक्टर स्थान का आधार ऐसा होता है कि ω यह रूप लेता है, जिसे अक्सर 'डार्बोक्स आधार' या सहानुभूति आधार कहा जाता है।
'प्रक्रिया का रेखाचित्र:'
मनमाने आधार से प्रारंभ करें , और दोहरे आधार द्वारा प्रत्येक आधार वेक्टर के दोहरे का प्रतिनिधित्व करें: . इससे हमें एक प्रविष्टियों के साथ मैट्रिक्स . इसके शून्य स्थान को हल करें। अब किसी के लिए शून्य स्थान में, हमारे पास है , इसलिए शून्य स्थान हमें पतित उपस्थान देता है .
अब मनमाने ढंग से एक पूरक चुनें ऐसा है कि , और जाने का आधार बनें . तब से , और , डब्लूएलओजी . अब पैमाना ताकि . फिर परिभाषित करें प्रत्येक के लिए . पुनरावृति।
ध्यान दें कि यह विधि केवल वास्तविक संख्याओं के क्षेत्र के लिए ही नहीं, बल्कि किसी भी क्षेत्र पर सिम्प्लेक्टिक वेक्टर स्पेस के लिए लागू होती है।
वास्तविक या जटिल क्षेत्र का मामला:
जब स्थान वास्तविक संख्याओं के क्षेत्र से ऊपर हो जाता है, तो हम संशोधित ग्राम-श्मिट प्रक्रिया को निम्नानुसार संशोधित कर सकते हैं: उसी तरह से शुरू करें। होने देना एक ऑर्थोनॉर्मल आधार बनें (सामान्य आंतरिक उत्पाद के संबंध में)। ) का . तब से , और , डब्लूएलओजी . अब गुणा करें एक संकेत से, ताकि . फिर परिभाषित करें प्रत्येक के लिए , फिर प्रत्येक को स्केल करें ताकि उसका मानक एक हो। पुनरावृति।
इसी प्रकार, सम्मिश्र संख्याओं के क्षेत्र के लिए, हम एकात्मक आधार चुन सकते हैं। यह तिरछा-सममित मैट्रिक्स#स्पेक्ट्रल सिद्धांत सिद्ध करता है।
लैग्रेन्जियन रूप
इस मानक सहानुभूतिपूर्ण रूप की व्याख्या करने का एक और तरीका है। चूंकि मॉडल स्पेस आरऊपर प्रयुक्त 2एन में बहुत अधिक विहित संरचना है जिससे आसानी से गलत व्याख्या हो सकती है, हम इसके बजाय अज्ञात वेक्टर रिक्त स्थान का उपयोग करेंगे। मान लीजिए V आयाम n और V का एक वास्तविक सदिश समष्टि है∗यह दोहरा स्थान है। अब सदिश समष्टि के प्रत्यक्ष योग पर विचार करें W = V ⊕ V∗ इन स्थानों में से निम्नलिखित प्रपत्र से सुसज्जित:
अब कोई भी आधार चुनें (रैखिक बीजगणित) (v1, ..., vn) V का और इसके दोहरे स्थान पर विचार करें
यदि हम लिखते हैं तो हम आधार वैक्टर की व्याख्या W में पड़े हुए के रूप में कर सकते हैं xi = (vi, 0) and yi = (0, vi∗). कुल मिलाकर, ये W का पूर्ण आधार बनाते हैं,
यहां परिभाषित प्रपत्र ω में इस खंड की शुरुआत के समान गुण दिखाए जा सकते हैं। दूसरी ओर, प्रत्येक सहानुभूति संरचना किसी न किसी रूप में समरूपी होती है V ⊕ V∗. उप-स्थान V अद्वितीय नहीं है, और उप-स्थान V की पसंद को 'ध्रुवीकरण' कहा जाता है। जो उप-स्थान ऐसी समरूपता देते हैं, उन्हें 'लैग्रैन्जियन उप-स्थान' या केवल 'लैग्रैन्जियन' कहा जाता है।
स्पष्ट रूप से, एक लैग्रेंजियन उप-स्थान #Subspaces दिया गया है, फिर आधार का एक विकल्प (x1, ..., xn) एक पूरक के लिए दोहरे आधार को परिभाषित करता है ω(xi, yj) = δij.
जटिल संरचनाओं के साथ सादृश्य
जिस प्रकार प्रत्येक सिंपलेक्टिक संरचना किसी न किसी रूप में समरूपी होती है V ⊕ V∗, सदिश समष्टि पर प्रत्येक रैखिक जटिल संरचना किसी एक रूप में समरूपी होती है V ⊕ V. इन संरचनाओं का उपयोग करते हुए, एन-मैनिफोल्ड के स्पर्शरेखा बंडल, जिसे 2एन-मैनिफोल्ड के रूप में माना जाता है, की लगभग एक जटिल संरचना होती है, और एन-मैनिफोल्ड के कोटैंजेंट बंडल, जिसे 2एन-मैनिफोल्ड के रूप में माना जाता है, की एक सहानुभूतिपूर्ण संरचना होती है: T∗(T∗M)p = Tp(M) ⊕ (Tp(M))∗.
लैग्रेंजियन उप-स्थान का जटिल एनालॉग एक वास्तविक उप-स्थान है, एक उप-स्थान जिसका जटिलता संपूर्ण स्थान है: W = V ⊕ J 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 : 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 का 0 होना आवश्यक नहीं है। हम चार मामलों को अलग करते हैं:
- यदि W 'सहानुभूतिपूर्ण' है W⊥ ∩ W = {0}. यह सच है अगर और केवल अगर ω डब्ल्यू पर एक गैर-अपक्षयी रूप तक सीमित है। प्रतिबंधित रूप के साथ एक सहानुभूति उप-स्थान अपने आप में एक सहानुभूति वेक्टर स्थान है।
- W 'आइसोट्रोपिक' है यदि W ⊆ W⊥. यह सत्य है यदि और केवल यदि ω W पर 0 तक सीमित है। कोई भी एक-आयामी उप-स्थान आइसोट्रोपिक है।
- यदि W 'कोइसोट्रोपिक' है W⊥ ⊆ W. 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