सिंपलेक्टिक मैनिफ़ोल्ड: Difference between revisions

Revision as of 00:35, 9 July 2023

विभेदक ज्यामिति में, गणित विषय, सिम्प्लेक्टिक मैनिफोल्ड डिफरेंशियल मैनिफोल्ड की परिभाषा को संदर्भित करता है, यहाँ पर $M$ विवृत और सही अंतर को प्राप्त करने वाले विभिन्न रूपों से सुसज्जित होने वाले गैर-अपक्षयी रूप विभेदक रूप या प्राप्त होने वाले अंतर के 2-रूप $\omega$ , सिंपलेक्टिक फॉर्म कहा जाता है। इस प्रकार सिंपलेक्टिक मैनिफोल्ड्स के अध्ययन को सिंपलेक्टिक ज्यामिति या सिंपलेक्टिक टोपोलॉजी कहा जाता है। सिंपलेक्टिक मैनिफोल्ड्स मौलिक यांत्रिकी और विश्लेषणात्मक यांत्रिकी के सूत्रीकरण में मैनिफोल्ड्स के कोटैंजेंट समूह के रूप में स्वाभाविक रूप से उत्पन्न होते हैं। उदाहरण के लिए, मौलिक यांत्रिकी के हैमिल्टनियन यांत्रिकी में, जो क्षेत्र के लिए प्रमुख प्रेरणाओं में से प्रदान करता है, उसे प्रणाली के सभी संभावित विन्यासों के समुच्चय को कई गुना होने तक तैयार किया जाता है, और इस प्रकार यह कई गुना होने के कारण कोटैंजेंट समूह वाली प्रणाली के चरण क्षेत्र का वर्णन करता है।

प्रेरणा

मौलिक यांत्रिकी से सिंपलेक्टिक मैनिफ़ोल्ड उत्पन्न होते हैं, इस प्रकार विशेष रूप से विवृत प्रणाली के चरण क्षेत्र का सामान्यीकरण किया जाता हैं।^[1] उसी प्रकार हैमिल्टन समीकरण किसी अंतर समीकरण के समुच्चय से प्रणाली के समय के विकास को प्राप्त करने की अनुमति देते हैं, इस प्रकार सहानुभूतिपूर्ण रूप से किसी को हैमिल्टनियन फलन एच के अंतर डीएच से प्रणाली के प्रवाह का वर्णन करने वाला वेक्टर क्षेत्र प्राप्त करने की अनुमति मिलनी चाहिए।^[2] इसलिए हमें रेखीय मानचित्र की आवश्यकता है, इस प्रकार TM → T^∗M स्पर्शरेखा मैनिफोल्ड टीएम सेस्पर्शरेखा अनेक गुना टी तक^∗M, या समकक्ष, का तत्व T^∗M ⊗ T^∗M द्वारा प्रदर्शित करता हैं। यहाँ पर मान लीजिए कि ω खंड मुख्य रूप से फाइबर समूह T^∗M ⊗ T^∗M को दर्शाता है, यहाँ पर आवश्यकता यह है कि ω विकृत रूप में उपयोग किया जा रहा हो। इस प्रकार गैर-डीजेनरेट यह सुनिश्चित करता है कि प्रत्येक अंतर डीएच के लिए अद्वितीय संगत वेक्टर फ़ील्ड वी_H है, जहाँ पर dH = ω(V_H, · ) के आधार पर हैमिल्टनियन प्रवाह रेखाओं के साथ स्थिर रखते हैं, तो उसे इस प्रकार हल कर सकते हैं जिसके लिए उक्त समीकरण ω(V_H, V_H) = dH(V_H) = 0 का प्रयोग किया जाता है, जिसका अर्थ है कि ω वैकल्पिक रूप से उपयोग किया जा रहा है और इसलिए इसके 2-रूप है। अंत में, आवश्यकता के अनुसार ω के प्रवाह रेखाओं के अनुसार परिवर्तित नहीं करना चाहिए, अर्ताथ वी के साथ ω_H का असत्य व्युत्पन्न विलुप्त हो जाता है, इस प्रकार कार्टन होमोटॉपी फॉर्मूला या कार्टन के फॉर्मूला को लागू किया जाता हैं, इसका अर्थ $\iota _{X}$ है जो इसका आंतरिक उत्पाद है:

{\mathcal {L}}_{V_{H}}(\omega )=0\;\Leftrightarrow \;\mathrm {d} (\iota _{V_{H}}\omega )+\iota _{V_{H}}\mathrm {d} \omega =\mathrm {d} (\mathrm {d} \,H)+\mathrm {d} \omega (V_{H})=\mathrm {d} \omega (V_{H})=0

जिससे कि इस प्रकार के विभिन्न सुचारू कार्यों के लिए इस तर्क को $H$ द्वारा दोहराया जा सके, इस प्रकार $V_{H}$ संगत रूप से प्रत्येक बिंदु पर स्पर्शरेखा क्षेत्र का विस्तार करें जिस पर तर्क लागू किया गया है, हम देखते हैं कि प्रवाह के साथ लुप्त होने वाले लाई व्युत्पन्न $V_{H}$ की आवश्यकता है, यहाँ पर इस विधि से उक्त समतल के अनुरूप $H$ को इस प्रकार उपयोग किया जाता है कि यह समतुल्य हो जाता हैं जो इस प्रकार हैं कि ω को विवृत किया जाना चाहिए और सटीक अंतर को उपयोग किया जाना चाहिए।

परिभाषा

किसी समतल पर कई गुना सिम्प्लेक्टिक $M$ रूप को विवृत करके गैर-पतित अंतर $\omega$ के अनुसार 2-रूपों में विभाजित कर दिया जाता है,^[3]^[4] यहाँ पर अ-विक्षिप्त का अर्थ है कि हर बिंदु के लिए $p\in M$ , स्पर्शरेखा क्षेत्र पर इस विकर्ण के अनुसार सममित युग्मन $T_{p}M$ द्वारा परिभाषित $\omega$ गैर पतित के रूप में प्रदर्शित करते है, यहाँ पर इसका तात्पर्य यह है कि यदि किसी समय $X\in T_{p}M$ मान प्राप्त होता है, इसके आधार पर $\omega (X,Y)=0$ मुख्य रूप से $Y\in T_{p}M$ द्वारा $X=0$ होने पर यह मान प्राप्त करता हैं। चूँकि विषम आयामों में, विकर्ण के सममित आव्यूह सदैव एकवचन को प्रस्तुत करते है, इसलिए यह आवश्यक है कि $\omega$ अविक्षिप्त होता हैं, जिसका तात्पर्य है कि $M$ सम आयाम है।^[3]^[4] इस प्रकार विवृत स्थिति का अर्थ है कि बाहरी व्युत्पन्न $\omega$ विलुप्त हो जाता है, यहाँ पर सिम्प्लेक्टिक मैनिफोल्ड जोड़ी $(M,\omega )$ है, यहाँ पर $M$ समतल विविधता है और $\omega$ सांकेतिक रूप है, जिसको सिम्पलेक्सिक फॉर्म निर्दिष्ट करता हैं, इस प्रकार $M$ का मान $M$ सिम्पलेक्सिक संरचना को प्रदर्शित करता हैं।

उदाहरण

सिंपलेक्टिक वेक्टर रिक्त क्षेत्र

यहां पर $\{v_{1},\ldots ,v_{2n}\}$ के लिए आधार $\mathbb {R} ^{2n}.$ बनाया जाता हैं, हम इस आधार पर अपने सहानुभूतिपूर्ण रूप से ω को इस प्रकार परिभाषित करते हैं:

\omega (v_{i},v_{j})={\begin{cases}1&j-i=n{\text{ with }}1\leqslant i\leqslant n\\-1&i-j=n{\text{ with }}1\leqslant j\leqslant n\\0&{\text{otherwise}}\end{cases}}

इस स्थिति में सिंपलेक्टिक रूप सरल द्विघात रूप में कम हो जाता है। यदि I_nn × n आइडेंटिटी आव्यूह को दर्शाता है, तो इस द्विघात रूप का आव्यूह Ω द्वारा दिया जाता है, इस प्रकार 2n × 2n प्रकार के ब्लॉक आव्यूह के लिए:

\Omega ={\begin{pmatrix}0&I_{n}\\-I_{n}&0\end{pmatrix}}.

कोटैंजेंट समूह

इस समूह के लिए $Q$ आयाम की सहज विविधता $n$ को उपयोग करते हैं, इसके पश्चात कोटैंजेंट समूह का कुल क्षेत्र $T^{*}Q$ का प्राकृतिक सहानुभूतिपूर्ण रूप है, जिसे पोंकारे दो-रूप या विहित सहानुभूतिपूर्ण रूप कहा जाता है-

\omega =\sum _{i=1}^{n}dp_{i}\wedge dq^{i}

यहाँ पर $(q^{1},\ldots ,q^{n})$ क्या कोई क्षेत्रीय निर्देशांक चालू हैं? इसके लिए $Q$ और $(p_{1},\ldots ,p_{n})$ कोटैंजेंट सदिश के संबंध में फाइबरवाइज निर्देशांक $dq^{1},\ldots ,dq^{n}$ को प्रदर्शित करता हैं, इस प्रकार कोटैंजेंट समूह मौलिक यांत्रिकी के प्राकृतिक चरण क्षेत्र हैं। यहाँ पर ऊपरी और निचले सूचकांकों को अलग करने का बिंदु मीट्रिक टेंसर वाले मैनिफोल्ड के स्थिति से प्रेरित होता है, जैसा कि रीमैनियन मैनिफोल्ड्स के स्थिति में होता है। ऊपरी और निचले सूचकांक समन्वय फ्रेम के परिवर्तन के अनुसार विपरीत और सहसंयोजक रूप से बदलते हैं। कोटैंजेंट सदिश के संबंध में फ़ाइबरवाइज कोऑर्डिनेट वाक्यांश का अर्थ यह बताना है कि संवेग $p_{i}$ वेगों के सोल्डर रूप हैं $dq^{i}$ . सोल्डरिंग इस विचार की अभिव्यक्ति है कि वेग और संवेग एकरेखीय हैं, इसमें दोनों ही दिशा में चलते हैं, और पैमाने के कारक से भिन्न होते हैं।

काहलर मैनिफोल्ड्स

काहलर मैनिफोल्ड संगत एकीकृत जटिल संरचना से सुसज्जित सहानुभूतिपूर्ण मैनिफोल्ड है। वे जटिल विविधताओं का विशेष वर्ग बनाते हैं। उदाहरणों का बड़ा वर्ग जटिल बीजगणितीय ज्यामिति से आता है। कोई भी समतल जटिल प्रक्षेप्य किस्म $V\subset \mathbb {CP} ^{n}$ इसका सहानुभूतिपूर्ण रूप है जो फ़ुबिनी-अध्ययन मीट्रिक का प्रतिबंध है|फ़ुबिनी-प्रक्षेप्य क्षेत्र पर अध्ययन प्रपत्र $\mathbb {CP} ^{n}$ .

लगभग-जटिल कई गुना

रीमैनियन के साथ कई गुना होता है $\omega$ -संगत लगभग जटिल संरचना को लगभग-जटिल मैनिफोल्ड्स कहा जाता है। इस प्रकार के काहलर, मैनिफोल्ड्स का सामान्यीकरण करते हैं, जिसमें उन्हें एकीकृत होने की आवश्यकता नहीं है। अर्थात् वे आवश्यक रूप से अनेक गुना जटिल संरचना से उत्पन्न नहीं होते हैं।

लैग्रेंजियन और अन्य सबमेनिफोल्ड्स

सिम्प्लेक्टिक मैनिफोल्ड के सबमैनिफोल्ड की कई प्राकृतिक ज्यामितीय धारणाएँ $(M,\omega )$ हैं :

जिसके लिए सिम्प्लेक्टिक सबमैनिफोल्ड्स $M$ संभावित रूप से किसी भी सम आयाम के रूप में प्रदर्शित होते हैं, यहाँ पर $S\subset M$ इस प्रकार है कि $\omega |_{S}$ पर प्रतीकात्मक रूप $S$ को प्रदर्शित करते है,
आइसोट्रोपिक सबमैनिफोल्ड्स सबमैनिफोल्ड्स हैं, जहां सहानुभूति रूप की सीमा शून्य तक सीमित रहती है, अर्ताथ प्रत्येक स्पर्शरेखा क्षेत्र परिवेश मैनिफोल्ड के स्पर्शरेखा क्षेत्र का आइसोट्रोपिक उपक्षेत्र माना जाता है। इसी प्रकार यदि किसी सबमैनिफोल्ड का प्रत्येक स्पर्शरेखा उप-क्षेत्र सह-आइसोट्रोपिक मुख्य रूप से आइसोट्रोपिक उप-क्षेत्र का द्वैत संबंध को प्रदर्शित करता है, यहाँ पर सबमैनिफोल्ड को सह-आइसोट्रोपिक कहा जाता है।
सिंपलेक्टिक मैनिफोल्ड के लैग्रेंजियन सबमैनिफोल्ड्स $(M,\omega )$ उपमानव हैं, जहां सहानुभूति रूप का प्रतिबंध है, इस प्रकार यह $\omega$ को $L\subset M$ होने पर लुप्त कर देता है, अर्थात $\omega |_{L}=0$ और ${\text{dim }}L={\tfrac {1}{2}}\dim M$ लैग्रेंजियन सबमैनिफोल्ड्स अधिकतम आइसोट्रोपिक सबमैनिफोल्ड्स प्राप्त करता हैं।

इसका प्रमुख उदाहरण यह है कि उत्पाद सिंपलेक्टिक मैनिफोल्ड में लक्षणरूपता का ग्राफ (M × M, ω × −ω) लैग्रेन्जियन प्रकार का है। उनके प्रतिच्छेदन को इसके कठोर होने वाले विभिन्न गुणों को प्रदर्शित करने में सहायक माना जाता हैं, जो समतल मैनिफोल्ड्स के पास नहीं होते हैं, इसके आधार पर अर्नोल्ड अनुमानतः स्मूथ केस में यूलर विशेषता के अतिरिक्त स्मूथ लैग्रेंजियन सबमैनिफोल्ड के स्वयं प्रतिच्छेदन की संख्या के लिए निचली सीमा के रूप में सबमैनिफोल्ड की बेट्टी संख्याओं का योग देता है।

उदाहरण

उदाहरण के लिए यहाँ पर $\mathbb {R} _{{\textbf {x}},{\textbf {y}}}^{2n}$ वैश्विक निर्देशांक लेबल किए गए हैं, जिसके लिए $(x_{1},\dotsc ,x_{n},y_{1},\dotsc ,y_{n})$ को हम $\mathbb {R} _{{\textbf {x}},{\textbf {y}}}^{2n}$ द्वारा सुसज्जित कर सकते हैं, यह विहित सहानुभूतिपूर्ण रूप के साथ

\omega =\mathrm {d} x_{1}\wedge \mathrm {d} y_{1}+\dotsb +\mathrm {d} x_{n}\wedge \mathrm {d} y_{n}.

द्वारा दिये गये मानक लैग्रेंजियन सबमैनिफोल्ड

\mathbb {R} _{\mathbf {x} }^{n}\to \mathbb {R} _{\mathbf {x} ,\mathbf {y} }^{2n}

को प्रदर्शित करता है, इस प्रकार फार्म

\omega

पर

\mathbb {R} _{\mathbf {x} }^{n}

को विलुप्त कर देता है, क्योंकि स्पर्शरेखा सदिशों के इस संयोजन को

X=f_{i}({\textbf {x}})\partial _{x_{i}},Y=g_{i}({\textbf {x}})\partial _{x_{i}},

रूप से प्रदर्शित करता है, यहाँ पर हमारे पास

\omega (X,Y)=0.

मान प्राप्त होता है, इसे स्पष्ट करने के लिए

n=1

स्थिति पर विचार करें, इसके लिए

X=f(x)\partial _{x},Y=g(x)\partial _{x},

और

\omega =\mathrm {d} x\wedge \mathrm {d} y

पर ध्यान दें कि जब हम इसका विस्तार करते हैं तो उक्त समीकरण प्राप्त होता हैं।

\omega (X,Y)=\omega (f(x)\partial _{x},g(x)\partial _{x})={\frac {1}{2}}f(x)g(x)(\mathrm {d} x(\partial _{x})\mathrm {d} y(\partial _{x})-\mathrm {d} y(\partial _{x})\mathrm {d} x(\partial _{x}))

इन दोनों शर्तों के कारण $\mathrm {d} y(\partial _{x})$ कारक, जो परिभाषा के अनुसार 0 मान प्रकट करता है।

उदाहरण: कोटैंजेंट समूह

मैनिफोल्ड के कोटैंजेंट समूह को पहले उदाहरण के समान क्षेत्र पर क्षेत्रीय रूप से तैयार किया गया है। यह दिखाया जा सकता है कि हम इन एफ़िन सिम्प्लेक्टिक रूपों को संयोजित कर सकते हैं, इसलिए इस समूह सिम्प्लेक्टिक मैनिफोल्ड बनाता है। इस प्रकार लैग्रेंजियन सबमैनिफोल्ड का उचित मान उदाहरण मैनिफोल्ड के कोटैंजेंट समूह का शून्य खंड है। उदाहरण के लिए

X=\{(x,y)\in \mathbb {R} ^{2}:y^{2}-x=0\}.

फिर, हम $T^{*}X$ द्वारा इसे प्रस्तुत कर सकते हैं,

T^{*}X=\{(x,y,\mathrm {d} x,\mathrm {d} y)\in \mathbb {R} ^{4}:y^{2}-x=0,2y\mathrm {d} y-\mathrm {d} x=0\}

जहां हम प्रतीकों $\mathrm {d} x,\mathrm {d} y$ का मान प्राप्त करते हैं, इसके निर्देशांक $\mathbb {R} ^{4}=T^{*}\mathbb {R} ^{2}$ के रूप में प्रदर्शित होते हैं, यहाँ पर हम उस उपसमुच्चय पर विचार कर सकते हैं जहां निर्देशांक $\mathrm {d} x=0$ और $\mathrm {d} y=0$ हैं, इस प्रकार हमें शून्य अनुभाग प्राप्त होता है। इस उदाहरण को सुचारु कार्यों के लुप्त होने वाले क्षेत्रों द्वारा परिभाषित किसी भी मैनिफोल्ड के लिए दोहराया जा सकता है, जिसके आधार पर $f_{1},\dotsc ,f_{k}$ और उनके अंतर $\mathrm {d} f_{1},\dotsc ,df_{k}$ के द्वारा इन्हें प्रदर्शित करते हैं।

उदाहरण: पैरामीट्रिक सबमैनिफोल्ड

विहित क्षेत्र $\mathbb {R} ^{2n}$ पर विचार करें, इस प्रकार उक्त निर्देशांकों के साथ $(q_{1},\dotsc ,q_{n},p_{1},\dotsc ,p_{n})$ पैरामीट्रिक सबमैनिफोल्ड $L$ का $\mathbb {R} ^{2n}$ रूप हैं। यहाँ पर जो निर्देशांक $(u_{1},\dotsc ,u_{n})$ द्वारा मानकीकृत होते है, वे इस प्रकार हैं-

q_{i}=q_{i}(u_{1},\dotsc ,u_{n})\quad p_{i}=p_{i}(u_{1},\dotsc ,u_{n})

यदि लैग्रेंज ब्रैकेट है तो यह मैनिफोल्ड लैग्रेंजियन सबमैनिफोल्ड $[u_{i},u_{j}]$ है, यहाँ पर सभी के लिए $i,j$ का मान विलुप्त हो जाता है, अर्थात यह लैग्रेन्जियन है यदि

[u_{i},u_{j}]=\sum _{k}{\frac {\partial q_{k}}{\partial u_{i}}}{\frac {\partial p_{k}}{\partial u_{j}}}-{\frac {\partial p_{k}}{\partial u_{i}}}{\frac {\partial q_{k}}{\partial u_{j}}}=0

के लिए

i,j

का मान विस्तारित करके देखा जा सकता है, जो इस प्रकार है-

{\frac {\partial }{\partial u_{i}}}={\frac {\partial q_{k}}{\partial u_{i}}}{\frac {\partial }{\partial q_{k}}}+{\frac {\partial p_{k}}{\partial u_{i}}}{\frac {\partial }{\partial p_{k}}}

लैग्रेंजियन सबमैनिफोल्ड $L$ की स्थिति में . इसका अर्थ यह है कि स्पर्शरेखा मैनिफोल्ड पर सहानुभूतिपूर्ण रूप विलुप्त हो जाना चाहिए $TL$ , अर्थात्, यह सभी स्पर्शरेखा सदिशों के लिए लुप्त हो जाना चाहिए:

\omega \left({\frac {\partial }{\partial u_{i}}},{\frac {\partial }{\partial u_{j}}}\right)=0

सभी के लिए $i,j$ . विहित सहानुभूति प्रपत्र का उपयोग करके परिणाम $\mathbb {R} ^{2n}$ को सरल बनाएं:

\omega \left({\frac {\partial }{\partial q_{k}}},{\frac {\partial }{\partial p_{k}}}\right)=-\omega \left({\frac {\partial }{\partial p_{k}}},{\frac {\partial }{\partial q_{k}}}\right)=1

और अन्य सभी विलुप्त हो रहे हैं।

जैसा कि सिंपलेक्टिक मैनिफोल्ड पर चार्ट (टोपोलॉजी) विहित रूप लेता है, यह उदाहरण बताता है कि लैग्रेंजियन सबमैनिफोल्ड अपेक्षाकृत अप्रतिबंधित हैं। इस प्रकार सिंपलेक्टिक मैनिफ़ोल्ड्स का वर्गीकरण फ़्लोर होमोलॉजी के माध्यम से किया जाता है, यह लैग्रेंजियन सबमैनिफ़ोल्ड्स के बीच मानचित्रों के लिए भौतिकी प्रक्रिया के लिए मोर्स सिद्धांत का अनुप्रयोग है। यहाँ पर भौतिकी क्रियाओं के लिए उक्त भौतिक प्रणाली के समय विकास का वर्णन करती है, यहां पर इसे ब्रैन्स की गतिशीलता के विवरण के रूप में लिया जा सकता है।

उदाहरण: मोर्स सिद्धांत

लैग्रेंजियन सबमैनिफोल्ड्स का अन्य उपयोगी वर्ग मोर्स सिद्धांत में पाया जाता है। मोर्स फलन $f:M\to \mathbb {R}$ दिया गया हैं, और इसके कम मान के लिए $\varepsilon$ कोई लुप्त हो रहे क्षेत्र द्वारा दिए गए लैग्रेंजियन सबमैनिफोल्ड $\mathbb {V} (\varepsilon \cdot \mathrm {d} f)\subset T^{*}M$ का निर्माण कर सकता है, इस प्रकार सामान्य रूप से मोर्स फलन के लिए हमारे पास लैग्रेन्जियन प्रतिच्छेदन उपलब्ध रहता है, जो $M\cap \mathbb {V} (\varepsilon \cdot \mathrm {d} f)={\text{Crit}}(f)$ के द्वारा दिया जाता है।

विशेष लैग्रेंजियन सबमैनिफोल्ड्स

काहलर मैनिफोल्ड्स या कैलाबी-यॉ मैनिफोल्ड्स की स्थिति में हम $\Omega =\Omega _{1}+\mathrm {i} \Omega _{2}$ विकल्प चुन सकते हैं, यहाँ पर $M$ होलोमोर्फिक एन-फॉर्म के रूप में उपयोग किया जाता हैं, जहां $\Omega _{1}$ इसका सही भाग है और $\Omega _{2}$ काल्पनिक भाग हैं, जिसे लैग्रेंजियन सबमैनिफोल्ड $L$ कहा जाता है, इस प्रकार यदि उपरोक्त लैग्रेंजियन स्थिति के अतिरिक्त प्रतिबंध होने पर $\Omega _{2}$ को $L$ लुप्त कर देता है, इसके लिए दूसरे शब्दों में इसके वास्तविक भाग $\Omega _{1}$ पर प्रतिबंधित $L$ वॉल्यूम फॉर्म $L$ को आगे ले जाते है, इस प्रकार निम्नलिखित उदाहरणों को विशेष लैग्रेंजियन सबमैनिफोल्ड्स के रूप में जाना जाता है।

हाइपरकेहलर मैनिफोल्ड्स के जटिल लैग्रेंजियन सबमैनिफोल्ड्स,

कैलाबी-याउ मैनिफोल्ड्स की वास्तविक संरचना के लिए निश्चित बिंदु हैं।

एसवाईजेड अनुमान दर्पण समरूपता (स्ट्रिंग सिद्धांत) में विशेष लैग्रेंजियन सबमैनिफोल्ड्स (हिटचिन 1999) के अध्ययन से संबंधित है।

थॉमस-याउ अनुमान भविष्यवाणी करता है कि लैग्रैंगियंस के हैमिल्टनियन आइसोटोप वर्गों में कैलाबी-याउ मैनिफोल्ड्स पर विशेष लैग्रैन्जियन सबमैनिफोल्ड्स का अस्तित्व मैनिफोल्ड की फुकाया श्रेणी पर ब्रिजलैंड स्थिरता की स्थिति के संबंध में स्थिरता के समान है।

लैग्रेंजियन कंपन

सिम्प्लेक्टिक मैनिफोल्ड एम का लैग्रेंजियन फ़िब्रेशन है, जहाँ सभी फ़ाइबर युक्त समूहों को इसकी औपचारिक परिभाषाओं के अनुसार लैग्रैन्जियन सबमैनिफ़ोल्ड्स के रूप में उपयोग करते हैं। चूंकि यहाँ पर एम सम-आयामी है, इसलिए हम क्षेत्रीय निर्देशांक (p₁,…,p_n, q¹,…,qⁿ), ले सकते हैं और डार्बौक्स के प्रमेय द्वारा सहानुभूतिपूर्ण रूप ω को, कम से कम क्षेत्रीय रूप से, इसे ω = ∑ dp_k ∧ dq^k प्रकार लिखा जा सकता है, जहां d बाहरी व्युत्पन्न को दर्शाता है और ∧ बाहरी उत्पाद को दर्शाता है। इस फॉर्म को पोंकारे टू-फॉर्म या कैनोनिकल टू-फॉर्म कहा जाता है। इस समुच्चय-अप का उपयोग करके हम क्षेत्रीय रूप से एम को कोटैंजेंट समूह के रूप में सोच सकते हैं $T^{*}\mathbb {R} ^{n},$ और लैग्रेंजियन फ़िब्रेशन को तुच्छ फ़िब्रेशन के रूप में $\pi :T^{*}\mathbb {R} ^{n}\to \mathbb {R} ^{n}.$ यह विहित चित्र है।

लैग्रेंजियन मैपिंग

मान लीजिए कि L इमर्शन (गणित) द्वारा दिए गए सिंपलेक्टिक मैनिफोल्ड (K,ω) का लैग्रेंजियन सबमैनिफोल्ड है। i : L ↪ K (i को 'लैग्रेंजियन इमर्शन' कहा जाता है)। होने देना π : K ↠ B K का लैग्रेंजियन फ़िब्रेशन दें। समग्र (π ∘ i) : L ↪ K ↠ B लैग्रेंजियन मैपिंग है। π ∘ i के क्रांतिक मान को कास्टिक (गणित) कहा जाता है।

दो लैग्रेंजियन मानचित्र (π₁ ∘ i₁) : L₁ ↪ K₁ ↠ B₁ और (π₂ ∘ i₂) : L₂ ↪ K₂ ↠ B₂ को लैग्रेंजियन समतुल्य कहा जाता है यदि σ, τ और ν भिन्नताएं मौजूद हैं जैसे कि सही क्रमविनिमेय आरेख पर दिए गए आरेख के दोनों पक्ष, और τ सहानुभूति रूप को संरक्षित करते हैं .^[4]प्रतीकात्मक रूप से:

\tau \circ i_{1}=i_{2}\circ \sigma ,\ \nu \circ \pi _{1}=\pi _{2}\circ \tau ,\ \tau ^{*}\omega _{2}=\omega _{1}\,,

कहां τ^∗o₂ ω₂ के विभेदक रूपों के पुलबैक (विभेदक ज्यामिति) पुलबैक को τ द्वारा दर्शाते है।

विशेष स्थिति और सामान्यीकरण

एक सिंपलेक्टिक मैनिफोल्ड $(M,\omega )$ यदि सिंपलेक्टिक रूप सटीक है, यहाँ पर $\omega$ विवृत और सटीक विभेदक रूप है। उदाहरण के लिए समतल मैनिफोल्ड का कोटैंजेंट समूह सटीक सिंपलेक्टिक मैनिफोल्ड है। विहित सहानुभूतिपूर्ण रूप सटीक है।
एक मीट्रिक टेंसर से संपन्न सिंपलेक्टिक मैनिफोल्ड, जो लगभग जटिल मैनिफोल्ड है, इसके आधार पर सिंपलेक्टिक रूप के साथ संगत त्रिगुण इस अर्थ में लगभग काहलर मैनिफोल्ड है कि स्पर्शरेखा समूह में लगभग जटिल संरचना होती है, लेकिन इसके लिए इंटीग्रेबिलिटी स्थिति की आवश्यकता नहीं होती है।
सिंपलेक्टिक मैनिफोल्ड्स पॉइसन मैनिफ़ोल्ड के विशेष स्थिति हैं।
डिग्री के का मल्टीसिम्पलेक्टिक मैनिफोल्ड विवृत गैर-अपक्षयी के-फॉर्म से सुसज्जित मैनिफोल्ड है।^[5]
एक पॉलीसिम्पलेक्टिक मैनिफोल्ड लीजेंड्रे समूह है जो पॉलीसिम्पलेक्टिक स्पर्शरेखा-मूल्य के साथ प्रदान किया जाता है $(n+2)$ -प्रपत्र, इसका उपयोग हैमिल्टनियन क्षेत्र सिद्धांत में किया जाता है।^[6]

यह भी देखें

लगभग सिंपलेक्टिक मैनिफ़ोल्ड
अनेक गुना संपर्क करें-सिम्प्लेक्टिक मैनिफोल्ड का एक विषम-आयामी समकक्ष।
सहसंयोजक हैमिल्टनियन क्षेत्र सिद्धांत
फेडोसोव मैनिफोल्ड
पॉइसन ब्रैकेट
सहानुभूति समूह – Mathematical group
सिंपलेक्टिक मैट्रिक्स
सिंपलेक्टिक टोपोलॉजी
सिम्प्लेक्टिक वेक्टर स्पेस
लक्षणात्मकता – Isomorphism of symplectic manifolds
टॉटोलॉजिकल एक-रूप
विर्टिंगर असमानता (2-रूप)

उद्धरण

↑ Webster, Ben (9 January 2012). "What is a symplectic manifold, really?".
↑ Cohn, Henry. "शास्त्रीय यांत्रिकी के लिए सिंपलेक्टिक ज्यामिति प्राकृतिक सेटिंग क्यों है?".
↑ ^3.0 ^3.1 de Gosson, Maurice (2006). सिंपलेक्टिक ज्यामिति और क्वांटम यांत्रिकी. Basel: Birkhäuser Verlag. p. 10. ISBN 3-7643-7574-4.
↑ ^4.0 ^4.1 ^4.2 Arnold, V. I.; Varchenko, A. N.; Gusein-Zade, S. M. (1985). The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1. Birkhäuser. ISBN 0-8176-3187-9.
↑ Cantrijn, F.; Ibort, L. A.; de León, M. (1999). "मल्टीसिम्प्लेक्टिक मैनिफोल्ड्स की ज्यामिति पर". J. Austral. Math. Soc. Ser. A. 66 (3): 303–330. doi:10.1017/S1446788700036636.
↑ Giachetta, G.; Mangiarotti, L.; Sardanashvily, G. (1999). "क्षेत्र सिद्धांत के लिए सहसंयोजक हैमिल्टनियन समीकरण". Journal of Physics. A32 (38): 6629–6642. arXiv:hep-th/9904062. Bibcode:1999JPhA...32.6629G. doi:10.1088/0305-4470/32/38/302. S2CID 204899025.

सामान्य और उद्धृत संदर्भ

McDuff, Dusa; Salamon, D. (1998). सिंपलेक्टिक टोपोलॉजी का परिचय. Oxford Mathematical Monographs. ISBN 0-19-850451-9.
Auroux, Denis. "दर्पण समरूपता पर संगोष्ठी".
Meinrenken, Eckhard. "सिंपलेक्टिक ज्यामिति" (PDF).
Abraham, Ralph; Marsden, Jerrold E. (1978). यांत्रिकी की नींव. London: Benjamin-Cummings. See Section 3.2. ISBN 0-8053-0102-X.
de Gosson, Maurice A. (2006). सिंपलेक्टिक ज्यामिति और क्वांटम यांत्रिकी. Basel: Birkhäuser Verlag. ISBN 3-7643-7574-4.
Alan Weinstein (1971). "सिंपलेक्टिक मैनिफोल्ड्स और उनके लैग्रेंजियन सबमैनिफोल्ड्स". Advances in Mathematics. 6 (3): 329–46. doi:10.1016/0001-8708(71)90020-X.
Arnold, V. I. (1990). "Ch.1, Symplectic geometry". कास्टिक्स और तरंग मोर्चों की विलक्षणताएँ. Mathematics and Its Applications. Vol. 62. Dordrecht: Springer Netherlands. doi:10.1007/978-94-011-3330-2. ISBN 978-1-4020-0333-2. OCLC 22509804.

अग्रिम पठन

Dunin-Barkowski, Petr (2022). "Symplectic duality for topological recursion". arXiv:2206.14792 [math-ph].
"How to find Lagrangian Submanifolds". Stack Exchange. December 17, 2014.
Lumist, Ü. (2001) [1994], "Symplectic Structure", Encyclopedia of Mathematics, EMS Press
Sardanashvily, G. (2009). "Fibre bundles, jet manifolds and Lagrangian theory". Lectures for Theoreticians. arXiv:0908.1886.
McDuff, D. (November 1998). "Symplectic Structures—A New Approach to Geometry" (PDF). Notices of the AMS.
Hitchin, Nigel (1999). "Lectures on Special Lagrangian Submanifolds". arXiv:math/9907034.

[Webster-1] Webster, Ben (9 January 2012). "What is a symplectic manifold, really?".

[Cohn-2] Cohn, Henry. "शास्त्रीय यांत्रिकी के लिए सिंपलेक्टिक ज्यामिति प्राकृतिक सेटिंग क्यों है?".

[Gosson-3] 3.0 ^3.1 de Gosson, Maurice (2006). सिंपलेक्टिक ज्यामिति और क्वांटम यांत्रिकी. Basel: Birkhäuser Verlag. p. 10. ISBN 3-7643-7574-4.

[Arnold-4] 4.0 ^4.1 ^4.2 Arnold, V. I.; Varchenko, A. N.; Gusein-Zade, S. M. (1985). The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1. Birkhäuser. ISBN 0-8176-3187-9.

[5] Cantrijn, F.; Ibort, L. A.; de León, M. (1999). "मल्टीसिम्प्लेक्टिक मैनिफोल्ड्स की ज्यामिति पर". J. Austral. Math. Soc. Ser. A. 66 (3): 303–330. doi:10.1017/S1446788700036636.

[6] Giachetta, G.; Mangiarotti, L.; Sardanashvily, G. (1999). "क्षेत्र सिद्धांत के लिए सहसंयोजक हैमिल्टनियन समीकरण". Journal of Physics. A32 (38): 6629–6642. arXiv:hep-th/9904062. Bibcode:1999JPhA...32.6629G. doi:10.1088/0305-4470/32/38/302. S2CID 204899025.

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 1: / Line 1: @@
-[[ विभेदक ज्यामिति | विभेदक ज्यामिति]] में, गणित का विषय, सिम्प्लेक्टिक मैनिफोल्ड डिफरेंशियल मैनिफोल्ड#परिभाषा है, <math> M </math>, बंद और सटीक अंतर रूपों से सुसज्जित गैर-अपक्षयी रूप [[विभेदक रूप]] | अंतर 2-रूप <math> \omega </math>, सिंपलेक्टिक फॉर्म कहा जाता है। सिंपलेक्टिक मैनिफोल्ड्स के अध्ययन को [[सिंपलेक्टिक ज्यामिति]] या [[सिंपलेक्टिक टोपोलॉजी]] कहा जाता है। सिंपलेक्टिक मैनिफोल्ड्स [[शास्त्रीय यांत्रिकी]] और [[विश्लेषणात्मक यांत्रिकी]] के अमूर्त फॉर्मूलेशन में मैनिफोल्ड्स के [[कोटैंजेंट बंडल]]ों के रूप में स्वाभाविक रूप से उत्पन्न होते हैं। उदाहरण के लिए, शास्त्रीय यांत्रिकी के [[हैमिल्टनियन यांत्रिकी]] में, जो क्षेत्र के लिए प्रमुख प्रेरणाओं में से प्रदान करता है, प्रणाली के सभी संभावित विन्यासों के सेट को कई गुना के रूप में तैयार किया जाता है, और यह कई गुना कोटैंजेंट बंडल सिस्टम के [[चरण स्थान]] का वर्णन करता है।
+[[ विभेदक ज्यामिति | विभेदक ज्यामिति]] में, गणित विषय, '''सिम्प्लेक्टिक मैनिफोल्ड''' डिफरेंशियल मैनिफोल्ड की परिभाषा को संदर्भित करता है, यहाँ पर <math> M </math> विवृत और सही अंतर को प्राप्त करने वाले विभिन्न रूपों से सुसज्जित होने वाले गैर-अपक्षयी रूप [[विभेदक रूप]] या प्राप्त होने वाले अंतर के 2-रूप <math> \omega </math>, सिंपलेक्टिक फॉर्म कहा जाता है। इस प्रकार सिंपलेक्टिक मैनिफोल्ड्स के अध्ययन को [[सिंपलेक्टिक ज्यामिति]] या [[सिंपलेक्टिक टोपोलॉजी]] कहा जाता है। सिंपलेक्टिक मैनिफोल्ड्स [[शास्त्रीय यांत्रिकी|मौलिक यांत्रिकी]] और [[विश्लेषणात्मक यांत्रिकी]] के सूत्रीकरण में मैनिफोल्ड्स के [[कोटैंजेंट बंडल|कोटैंजेंट समूह]] के रूप में स्वाभाविक रूप से उत्पन्न होते हैं। उदाहरण के लिए, मौलिक यांत्रिकी के [[हैमिल्टनियन यांत्रिकी]] में, जो क्षेत्र के लिए प्रमुख प्रेरणाओं में से प्रदान करता है, उसे प्रणाली के सभी संभावित विन्यासों के समुच्चय को कई गुना होने तक तैयार किया जाता है, और इस प्रकार यह कई गुना होने के कारण कोटैंजेंट समूह वाली प्रणाली के [[चरण स्थान|चरण क्षेत्र]] का वर्णन करता है।
 == प्रेरणा ==
-शास्त्रीय यांत्रिकी से सिंपलेक्टिक मैनिफ़ोल्ड उत्पन्न होते हैं; विशेष रूप से, वे बंद प्रणाली के चरण स्थान का सामान्यीकरण हैं।<ref name="Webster">{{cite web |first=Ben |last=Webster |title=What is a symplectic manifold, really? |date=9 January 2012 |url=https://sbseminar.wordpress.com/2012/01/09/what-is-a-symplectic-manifold-really/ }}</ref> उसी तरह से [[हैमिल्टन समीकरण]] किसी को [[अंतर समीकरण]]ों के सेट से सिस्टम के समय के विकास को प्राप्त करने की अनुमति देते हैं, सहानुभूतिपूर्ण रूप से किसी को हैमिल्टनियन फ़ंक्शन एच के अंतर डीएच से सिस्टम के प्रवाह का वर्णन करने वाला वेक्टर क्षेत्र प्राप्त करने की अनुमति मिलनी चाहिए। .<ref name="Cohn">{{cite web |first=Henry |last=Cohn |title=शास्त्रीय यांत्रिकी के लिए सिंपलेक्टिक ज्यामिति प्राकृतिक सेटिंग क्यों है?|url=https://math.mit.edu/~cohn/Thoughts/symplectic.html }}</ref> इसलिए हमें रेखीय मानचित्र की आवश्यकता है {{nowrap|''TM'' → ''T''<sup>∗</sup>''M''}} स्पर्शरेखा मैनिफोल्ड टीएम से [[को[[ स्पर्शरेखा अनेक गुना ]]]] टी तक<sup>∗</sup>M, या समकक्ष, का तत्व {{nowrap|''T''<sup>∗</sup>''M'' ⊗ ''T''<sup>∗</sup>''M''}}. मान लीजिए कि ω खंड (फाइबर बंडल) को दर्शाता है {{nowrap|''T''<sup>∗</sup>''M'' ⊗ ''T''<sup>∗</sup>''M''}}, आवश्यकता यह है कि ω [[विकृत रूप]] हो | गैर-डीजेनरेट यह सुनिश्चित करता है कि प्रत्येक अंतर डीएच के लिए अद्वितीय संगत वेक्टर फ़ील्ड वी है<sub>H</sub>ऐसा है कि {{nowrap|1=''dH'' = ''ω''(''V<sub>H</sub>'', · )}}. चूँकि कोई चाहता है कि हैमिल्टनियन प्रवाह रेखाओं के साथ स्थिर रहे, तो उसे ऐसा करना चाहिए {{nowrap|1=''ω''(''V<sub>H</sub>'', ''V<sub>H</sub>'') = ''dH''(''V<sub>H</sub>'') = 0}}, जिसका अर्थ है कि ω [[वैकल्पिक रूप]] है और इसलिए 2-रूप है। अंत में, कोई यह आवश्यकता करता है कि ω को प्रवाह रेखाओं के तहत नहीं बदलना चाहिए, यानी कि वी के साथ ω का [[झूठ व्युत्पन्न]]<sub>H</sub>गायब हो जाता है. कार्टन होमोटॉपी फॉर्मूला|कार्टन के फॉर्मूला को लागू करने पर, इसका मतलब (यहाँ) है <math> \iota_X</math> [[आंतरिक उत्पाद]] है):
+मौलिक यांत्रिकी से सिंपलेक्टिक मैनिफ़ोल्ड उत्पन्न होते हैं, इस प्रकार विशेष रूप से विवृत प्रणाली के चरण क्षेत्र का सामान्यीकरण किया जाता हैं।<ref name="Webster">{{cite web |first=Ben |last=Webster |title=What is a symplectic manifold, really? |date=9 January 2012 |url=https://sbseminar.wordpress.com/2012/01/09/what-is-a-symplectic-manifold-really/ }}</ref> उसी प्रकार [[हैमिल्टन समीकरण]] किसी [[अंतर समीकरण]] के समुच्चय से प्रणाली के समय के विकास को प्राप्त करने की अनुमति देते हैं, इस प्रकार सहानुभूतिपूर्ण रूप से किसी को हैमिल्टनियन फलन एच के अंतर डीएच से प्रणाली के प्रवाह का वर्णन करने वाला वेक्टर क्षेत्र प्राप्त करने की अनुमति मिलनी चाहिए।<ref name="Cohn">{{cite web |first=Henry |last=Cohn |title=शास्त्रीय यांत्रिकी के लिए सिंपलेक्टिक ज्यामिति प्राकृतिक सेटिंग क्यों है?|url=https://math.mit.edu/~cohn/Thoughts/symplectic.html }}</ref> इसलिए हमें रेखीय मानचित्र की आवश्यकता है, इस प्रकार {{nowrap|''TM'' → ''T''<sup>∗</sup>''M''}} स्पर्शरेखा मैनिफोल्ड टीएम से[[ स्पर्शरेखा अनेक गुना ]]टी तक<sup>∗</sup>M, या समकक्ष, का तत्व {{nowrap|''T''<sup>∗</sup>''M'' ⊗ ''T''<sup>∗</sup>''M''}} द्वारा प्रदर्शित करता हैं। यहाँ पर मान लीजिए कि ω खंड मुख्य रूप से फाइबर समूह {{nowrap|''T''<sup>∗</sup>''M'' ⊗ ''T''<sup>∗</sup>''M''}} को दर्शाता है, यहाँ पर आवश्यकता यह है कि ω [[विकृत रूप]] में उपयोग किया जा रहा हो। इस प्रकार गैर-डीजेनरेट यह सुनिश्चित करता है कि प्रत्येक अंतर डीएच के लिए अद्वितीय संगत वेक्टर फ़ील्ड वी<sub>H</sub> है, जहाँ पर {{nowrap|1=''dH'' = ''ω''(''V<sub>H</sub>'', · )}} के आधार पर हैमिल्टनियन प्रवाह रेखाओं के साथ स्थिर रखते हैं, तो उसे इस प्रकार हल कर सकते हैं जिसके लिए उक्त समीकरण {{nowrap|1=''ω''(''V<sub>H</sub>'', ''V<sub>H</sub>'') = ''dH''(''V<sub>H</sub>'') = 0}} का प्रयोग किया जाता है, जिसका अर्थ है कि ω [[वैकल्पिक रूप]] से उपयोग किया जा रहा है और इसलिए इसके 2-रूप है। अंत में, आवश्यकता के अनुसार  ω के प्रवाह रेखाओं के अनुसार परिवर्तित नहीं करना चाहिए, अर्ताथ वी के साथ ω<sub>H</sub> का [[झूठ व्युत्पन्न|असत्य व्युत्पन्न]] विलुप्त हो जाता है, इस प्रकार कार्टन होमोटॉपी फॉर्मूला या कार्टन के फॉर्मूला को लागू किया जाता हैं, इसका अर्थ <math> \iota_X</math> है  जो इसका [[आंतरिक उत्पाद]] है:
 :<math>\mathcal{L}_{V_H}(\omega) = 0\;\Leftrightarrow\;\mathrm d (\iota_{V_H} \omega) + \iota_{V_H} \mathrm d\omega= \mathrm d (\mathrm d\,H) + \mathrm d\omega(V_H) = \mathrm d\omega(V_H)=0</math>
-ताकि, विभिन्न सुचारू कार्यों के लिए इस तर्क को दोहराया जा सके <math>H</math> इस प्रकार कि संगत <math>V_H</math> प्रत्येक बिंदु पर स्पर्शरेखा स्थान का विस्तार करें जिस पर तर्क लागू किया गया है, हम देखते हैं कि प्रवाह के साथ लुप्त होने वाले लाई व्युत्पन्न की आवश्यकता है <math>V_H</math> मनमाने ढंग से चिकनी के अनुरूप <math>H</math> इस आवश्यकता के समतुल्य है कि ω को बंद किया जाना चाहिए और सटीक अंतर रूप होना चाहिए।
+जिससे कि इस प्रकार के विभिन्न सुचारू कार्यों के लिए इस तर्क को <math>H</math> द्वारा दोहराया जा सके, इस प्रकार <math>V_H</math> संगत रूप से प्रत्येक बिंदु पर स्पर्शरेखा क्षेत्र का विस्तार करें जिस पर तर्क लागू किया गया है, हम देखते हैं कि प्रवाह के साथ लुप्त होने वाले लाई व्युत्पन्न <math>V_H</math> की आवश्यकता है, यहाँ पर इस विधि से उक्त समतल के अनुरूप <math>H</math> को इस प्रकार उपयोग किया जाता है कि यह समतुल्य हो जाता हैं जो इस प्रकार हैं कि ω को विवृत किया जाना चाहिए और सटीक अंतर को उपयोग किया जाना चाहिए।
 == परिभाषा ==
-चिकने [[ कई गुना |कई गुना]] पर सिम्प्लेक्टिक रूप <math> M </math> बंद गैर-पतित अंतर 2-रूप है <math> \omega </math>.<ref name="Gosson">{{cite book |first=Maurice |last=de Gosson |title=सिंपलेक्टिक ज्यामिति और क्वांटम यांत्रिकी|year=2006 |publisher=Birkhäuser Verlag |location=Basel |isbn=3-7643-7574-4 |page=10 }}
+किसी समतल पर [[ कई गुना |कई गुना]] सिम्प्लेक्टिक <math> M </math> रूप को विवृत करके गैर-पतित अंतर <math> \omega </math> के अनुसार 2-रूपों में विभाजित कर दिया जाता है,<ref name="Gosson">{{cite book |first=Maurice |last=de Gosson |title=सिंपलेक्टिक ज्यामिति और क्वांटम यांत्रिकी|year=2006 |publisher=Birkhäuser Verlag |location=Basel |isbn=3-7643-7574-4 |page=10 }}
-</ref><ref name="Arnold">{{Cite book|first1=V. I.|last1=Arnold|first2=A. N.|last2=Varchenko|first3=S. M.|last3=Gusein-Zade|author-link1=Vladimir Arnold|author-link3=Sabir Gusein-Zade|author-link2=Alexander Varchenko|title=The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1|publisher=Birkhäuser|year=1985|isbn=0-8176-3187-9}}</ref> यहां अ-विक्षिप्त का मतलब है कि हर बिंदु के लिए <math> p \in M </math>, [[स्पर्शरेखा स्थान]] पर तिरछा-सममित युग्मन <math> T_p M </math> द्वारा परिभाषित <math> \omega </math> गैर पतित है. कहने का तात्पर्य यह है कि यदि कोई अस्तित्व में है <math> X \in T_p M </math> ऐसा है कि <math> \omega( X, Y ) = 0 </math> सभी के लिए <math> Y \in T_p M </math>, तब <math> X = 0 </math>. चूँकि विषम आयामों में, [[तिरछा-सममित मैट्रिक्स]] हमेशा एकवचन होता है, इसलिए यह आवश्यक है <math> \omega </math> अविक्षिप्त होना इसका तात्पर्य है <math> M </math> सम आयाम है.<ref name="Gosson"/><ref name="Arnold"/>बंद स्थिति का मतलब है कि [[बाहरी व्युत्पन्न]] <math> \omega </math> गायब हो जाता है. सिम्प्लेक्टिक मैनिफोल्ड जोड़ी है <math> (M, \omega) </math> कहाँ <math> M </math> चिकनी विविधता है और <math> \omega </math> सांकेतिक रूप है. को सिम्पलेक्सिक फॉर्म निर्दिष्ट करना <math> M </math> देना कहा जाता है <math> M </math> सिम्पलेक्सिक संरचना.
+</ref><ref name="Arnold">{{Cite book|first1=V. I.|last1=Arnold|first2=A. N.|last2=Varchenko|first3=S. M.|last3=Gusein-Zade|author-link1=Vladimir Arnold|author-link3=Sabir Gusein-Zade|author-link2=Alexander Varchenko|title=The Classification of Critical Points, Caustics and Wave Fronts: Singularities of Differentiable Maps, Vol 1|publisher=Birkhäuser|year=1985|isbn=0-8176-3187-9}}</ref> यहाँ पर अ-विक्षिप्त का अर्थ है कि हर बिंदु के लिए <math> p \in M </math>, [[स्पर्शरेखा स्थान|स्पर्शरेखा क्षेत्र]] पर इस विकर्ण के अनुसार सममित युग्मन <math> T_p M </math> द्वारा परिभाषित <math> \omega </math> गैर पतित के रूप में प्रदर्शित करते है, यहाँ पर इसका तात्पर्य यह है कि यदि किसी समय <math> X \in T_p M </math> मान प्राप्त होता है, इसके आधार पर  <math> \omega( X, Y ) = 0 </math> मुख्य रूप से <math> Y \in T_p M </math> द्वारा <math> X = 0 </math> होने पर यह मान प्राप्त करता हैं। चूँकि विषम आयामों में, [[तिरछा-सममित मैट्रिक्स|विकर्ण के सममित आव्यूह]] सदैव एकवचन को प्रस्तुत करते है, इसलिए यह आवश्यक है कि <math> \omega </math> अविक्षिप्त होता हैं, जिसका तात्पर्य है कि <math> M </math> सम आयाम है।<ref name="Gosson"/><ref name="Arnold"/> इस प्रकार विवृत स्थिति का अर्थ है कि [[बाहरी व्युत्पन्न]] <math> \omega </math> विलुप्त हो जाता है, यहाँ पर सिम्प्लेक्टिक मैनिफोल्ड जोड़ी <math> (M, \omega) </math> है, यहाँ पर <math> M </math> समतल विविधता है और <math> \omega </math> सांकेतिक रूप है, जिसको सिम्पलेक्सिक फॉर्म निर्दिष्ट करता हैं, इस प्रकार <math> M </math> का मान <math> M </math> सिम्पलेक्सिक संरचना को प्रदर्शित करता हैं।
 == उदाहरण ==
-=== सिंपलेक्टिक वेक्टर रिक्त स्थान ===
+=== सिंपलेक्टिक वेक्टर रिक्त क्षेत्र ===
-{{main|Symplectic vector space}}
+{{main|सिम्प्लेक्टिक वेक्टर स्पेस}}
-होने देना <math>\{v_1, \ldots, v_{2n}\}</math> के लिए आधार बनें <math>\R^{2n}.</math> हम इस आधार पर अपने सहानुभूतिपूर्ण रूप ω को इस प्रकार परिभाषित करते हैं:
+यहां पर <math>\{v_1, \ldots, v_{2n}\}</math> के लिए आधार <math>\R^{2n}.</math> बनाया जाता हैं, हम इस आधार पर अपने सहानुभूतिपूर्ण रूप से ω को इस प्रकार परिभाषित करते हैं:
 :<math>\omega(v_i, v_j) = \begin{cases} 1 & j-i =n \text{ with } 1 \leqslant i \leqslant n \\ -1 & i-j =n \text{ with } 1 \leqslant j \leqslant n \\ 0 & \text{otherwise} \end{cases}</math>
-इस मामले में सिंपलेक्टिक रूप सरल [[द्विघात रूप]] में कम हो जाता है। अगर मुझे<sub>n</sub>n × n पहचान मैट्रिक्स को दर्शाता है तो इस द्विघात रूप का मैट्रिक्स, Ω, द्वारा दिया जाता है {{nowrap|1=2''n'' × 2''n''}} [[ब्लॉक मैट्रिक्स]]:
+इस स्थिति में सिंपलेक्टिक रूप सरल [[द्विघात रूप]] में कम हो जाता है। यदि I<sub>n</sub>n × n आइडेंटिटी आव्यूह को दर्शाता है, तो इस द्विघात रूप का आव्यूह Ω द्वारा दिया जाता है, इस प्रकार {{nowrap|1=2''n'' × 2''n''}} प्रकार के [[ब्लॉक मैट्रिक्स|ब्लॉक आव्यूह]] के लिए:
 :<math>\Omega = \begin{pmatrix} 0 & I_n  \\ -I_n & 0 \end{pmatrix}. </math>
-=== कोटैंजेंट बंडल ===
+=== कोटैंजेंट समूह ===
-होने देना <math>Q</math> आयाम की सहज विविधता बनें <math>n</math>. फिर कोटैंजेंट बंडल का कुल स्थान <math>T^* Q</math> इसका प्राकृतिक सहानुभूतिपूर्ण रूप है, जिसे पोंकारे दो-रूप या [[विहित सहानुभूतिपूर्ण रूप]] कहा जाता है
+इस समूह के लिए <math>Q</math> आयाम की सहज विविधता <math>n</math> को उपयोग करते हैं, इसके पश्चात '''कोटैंजेंट समूह''' का कुल क्षेत्र <math>T^* Q</math> का प्राकृतिक सहानुभूतिपूर्ण रूप है, जिसे पोंकारे दो-रूप या [[विहित सहानुभूतिपूर्ण रूप]] कहा जाता है-
 :<math>\omega = \sum_{i=1}^n dp_i \wedge dq^i </math>
-यहाँ <math>(q^1, \ldots, q^n)</math> क्या कोई स्थानीय निर्देशांक चालू हैं? <math>Q</math> और <math>(p_1, \ldots, p_n)</math> कोटैंजेंट वैक्टर के संबंध में फाइबरवाइज निर्देशांक हैं <math>dq^1, \ldots, dq^n</math>. कोटैंजेंट बंडल शास्त्रीय यांत्रिकी के प्राकृतिक चरण स्थान हैं। ऊपरी और निचले सूचकांकों को अलग करने का बिंदु [[मीट्रिक टेंसर]] वाले मैनिफोल्ड के मामले से प्रेरित होता है, जैसा कि [[रीमैनियन मैनिफोल्ड]]्स के मामले में होता है। ऊपरी और निचले सूचकांक समन्वय फ्रेम के परिवर्तन के तहत विपरीत और सहसंयोजक रूप से बदलते हैं। कोटैंजेंट वैक्टर के संबंध में फ़ाइबरवाइज कोऑर्डिनेट वाक्यांश का अर्थ यह बताना है कि संवेग <math>p_i</math> वेगों के सोल्डर रूप हैं <math>dq^i</math>. सोल्डरिंग इस विचार की अभिव्यक्ति है कि वेग और संवेग एकरेखीय हैं, इसमें दोनों ही दिशा में चलते हैं, और पैमाने के कारक से भिन्न होते हैं।
+यहाँ पर <math>(q^1, \ldots, q^n)</math> क्या कोई क्षेत्रीय निर्देशांक चालू हैं? इसके लिए <math>Q</math> और <math>(p_1, \ldots, p_n)</math> कोटैंजेंट सदिश के संबंध में फाइबरवाइज निर्देशांक <math>dq^1, \ldots, dq^n</math> को प्रदर्शित करता हैं, इस प्रकार कोटैंजेंट समूह मौलिक यांत्रिकी के प्राकृतिक चरण क्षेत्र हैं। यहाँ पर ऊपरी और निचले सूचकांकों को अलग करने का बिंदु [[मीट्रिक टेंसर]] वाले मैनिफोल्ड के स्थिति से प्रेरित होता है, जैसा कि [[रीमैनियन मैनिफोल्ड]]्स के स्थिति में होता है। ऊपरी और निचले सूचकांक समन्वय फ्रेम के परिवर्तन के अनुसार विपरीत और सहसंयोजक रूप से बदलते हैं। कोटैंजेंट सदिश के संबंध में फ़ाइबरवाइज कोऑर्डिनेट वाक्यांश का अर्थ यह बताना है कि संवेग <math>p_i</math> वेगों के सोल्डर रूप हैं <math>dq^i</math>. सोल्डरिंग इस विचार की अभिव्यक्ति है कि वेग और संवेग एकरेखीय हैं, इसमें दोनों ही दिशा में चलते हैं, और पैमाने के कारक से भिन्न होते हैं।
 === काहलर मैनिफोल्ड्स ===
-काहलर मैनिफोल्ड संगत एकीकृत जटिल संरचना से सुसज्जित सहानुभूतिपूर्ण मैनिफोल्ड है। वे जटिल विविधताओं का विशेष वर्ग बनाते हैं। उदाहरणों का बड़ा वर्ग जटिल [[बीजगणितीय ज्यामिति]] से आता है। कोई भी चिकनी जटिल [[प्रक्षेप्य किस्म]] <math>V \subset \mathbb{CP}^n</math> इसका सहानुभूतिपूर्ण रूप है जो फ़ुबिनी-अध्ययन मीट्रिक का प्रतिबंध है|फ़ुबिनी-[[प्रक्षेप्य स्थान]] पर अध्ययन प्रपत्र <math>\mathbb{CP}^n</math>.
+'''काहलर मैनिफोल्ड''' संगत एकीकृत जटिल संरचना से सुसज्जित सहानुभूतिपूर्ण मैनिफोल्ड है। वे जटिल विविधताओं का विशेष वर्ग बनाते हैं। उदाहरणों का बड़ा वर्ग जटिल [[बीजगणितीय ज्यामिति]] से आता है। कोई भी समतल जटिल [[प्रक्षेप्य किस्म]] <math>V \subset \mathbb{CP}^n</math> इसका सहानुभूतिपूर्ण रूप है जो फ़ुबिनी-अध्ययन मीट्रिक का प्रतिबंध है|फ़ुबिनी-[[प्रक्षेप्य स्थान|प्रक्षेप्य क्षेत्र]] पर अध्ययन प्रपत्र <math>\mathbb{CP}^n</math>.
 === लगभग-जटिल कई गुना ===
-रीमैनियन के साथ कई गुना होता है <math>\omega</math>-संगत [[लगभग जटिल संरचना]] को लगभग-जटिल मैनिफोल्ड्स कहा जाता है। वे काहलर मैनिफोल्ड्स का सामान्यीकरण करते हैं, जिसमें उन्हें एकीकृत होने की आवश्यकता नहीं है। अर्थात्, वे आवश्यक रूप से अनेक गुना जटिल संरचना से उत्पन्न नहीं होते हैं।
+रीमैनियन के साथ कई गुना होता है <math>\omega</math>-संगत [[लगभग जटिल संरचना]] को लगभग-जटिल मैनिफोल्ड्स कहा जाता है। इस प्रकार के काहलर, मैनिफोल्ड्स का सामान्यीकरण करते हैं, जिसमें उन्हें एकीकृत होने की आवश्यकता नहीं है। अर्थात् वे आवश्यक रूप से अनेक गुना जटिल संरचना से उत्पन्न नहीं होते हैं।
 == लैग्रेंजियन और अन्य सबमेनिफोल्ड्स ==
-सिम्प्लेक्टिक मैनिफोल्ड के [[सबमैनिफोल्ड]] की कई प्राकृतिक ज्यामितीय धारणाएँ हैं <math> (M, \omega) </math>:
+सिम्प्लेक्टिक मैनिफोल्ड के [[सबमैनिफोल्ड]] की कई प्राकृतिक ज्यामितीय धारणाएँ <math> (M, \omega) </math> हैं :
-* के सिम्प्लेक्टिक सबमैनिफोल्ड्स <math> M </math> (संभावित रूप से किसी भी सम आयाम के) उपमानव हैं <math> S \subset M </math> ऐसा है कि <math> \omega|_S </math> पर प्रतीकात्मक रूप है <math> S </math>.
+* जिसके लिए सिम्प्लेक्टिक सबमैनिफोल्ड्स <math> M </math> संभावित रूप से किसी भी सम आयाम के रूप में प्रदर्शित होते हैं, यहाँ पर <math> S \subset M </math> इस प्रकार है कि <math> \omega|_S </math> पर प्रतीकात्मक रूप <math> S </math> को प्रदर्शित करते है,
-* आइसोट्रोपिक सबमैनिफोल्ड्स सबमैनिफोल्ड्स हैं जहां सहानुभूति रूप शून्य तक सीमित है, यानी प्रत्येक स्पर्शरेखा स्थान परिवेश मैनिफोल्ड के स्पर्शरेखा स्थान का [[आइसोट्रोपिक उपस्थान]] है। इसी प्रकार, यदि किसी सबमैनिफोल्ड का प्रत्येक स्पर्शरेखा उप-स्थान सह-आइसोट्रोपिक (एक आइसोट्रोपिक उप-स्थान का द्वैत) है, तो सबमैनिफोल्ड को सह-आइसोट्रोपिक कहा जाता है।
+* आइसोट्रोपिक सबमैनिफोल्ड्स सबमैनिफोल्ड्स हैं, जहां सहानुभूति रूप की सीमा शून्य तक सीमित रहती है, अर्ताथ प्रत्येक स्पर्शरेखा क्षेत्र परिवेश मैनिफोल्ड के स्पर्शरेखा क्षेत्र का [[आइसोट्रोपिक उपस्थान|आइसोट्रोपिक उपक्षेत्र]] माना जाता है। इसी प्रकार यदि किसी सबमैनिफोल्ड का प्रत्येक स्पर्शरेखा उप-क्षेत्र सह-आइसोट्रोपिक मुख्य रूप से आइसोट्रोपिक उप-क्षेत्र का द्वैत संबंध को प्रदर्शित करता है, यहाँ पर सबमैनिफोल्ड को सह-आइसोट्रोपिक कहा जाता है।
-* सिंपलेक्टिक मैनिफोल्ड के लैग्रेंजियन सबमैनिफोल्ड्स <math>(M,\omega)</math> उपमानव हैं जहां सहानुभूति रूप का प्रतिबंध है <math>\omega</math> को <math>L\subset M</math> लुप्त हो रहा है, अर्थात <math>\omega|_L=0</math> और <math>\text{dim }L=\tfrac{1}{2}\dim M</math>. लैग्रेंजियन सबमैनिफोल्ड्स अधिकतम आइसोट्रोपिक सबमैनिफोल्ड्स हैं।
+* सिंपलेक्टिक मैनिफोल्ड के लैग्रेंजियन सबमैनिफोल्ड्स <math>(M,\omega)</math> उपमानव हैं, जहां सहानुभूति रूप का प्रतिबंध है, इस प्रकार यह <math>\omega</math> को <math>L\subset M</math> होने पर लुप्त कर देता है, अर्थात <math>\omega|_L=0</math> और <math>\text{dim }L=\tfrac{1}{2}\dim M</math> लैग्रेंजियन सबमैनिफोल्ड्स अधिकतम आइसोट्रोपिक सबमैनिफोल्ड्स प्राप्त करता हैं।
-एक प्रमुख उदाहरण यह है कि उत्पाद सिंपलेक्टिक मैनिफोल्ड में [[लक्षणरूपता]] का ग्राफ {{nowrap|1=(''M'' × ''M'', ''ω'' × −''ω'')}} लैग्रेन्जियन है। उनके चौराहे कठोरता गुणों को प्रदर्शित करते हैं जो चिकनी मैनिफोल्ड्स के पास नहीं होते हैं; [[अर्नोल्ड अनुमान]] स्मूथ केस में [[यूलर विशेषता]] के बजाय, स्मूथ लैग्रेंजियन सबमैनिफोल्ड के स्वयं प्रतिच्छेदन की संख्या के लिए निचली सीमा के रूप में सबमैनिफोल्ड की बेट्टी संख्याओं का योग देता है।
+इसका प्रमुख उदाहरण यह है कि उत्पाद सिंपलेक्टिक मैनिफोल्ड में [[लक्षणरूपता]] का ग्राफ {{nowrap|1=(''M'' × ''M'', ''ω'' × −''ω'')}} लैग्रेन्जियन प्रकार का है। उनके प्रतिच्छेदन को इसके कठोर होने वाले विभिन्न गुणों को प्रदर्शित करने में सहायक माना जाता हैं, जो समतल मैनिफोल्ड्स के पास नहीं होते हैं, इसके आधार पर [[अर्नोल्ड अनुमान|अर्नोल्ड अनुमानतः]] स्मूथ केस में [[यूलर विशेषता]] के अतिरिक्त स्मूथ लैग्रेंजियन सबमैनिफोल्ड के स्वयं प्रतिच्छेदन की संख्या के लिए निचली सीमा के रूप में सबमैनिफोल्ड की बेट्टी संख्याओं का योग देता है।
 === उदाहरण ===
-होने देना <math>\R^{2n}_{\textbf{x},\textbf{y}}</math> वैश्विक निर्देशांक लेबल किए गए हैं <math>(x_1, \dotsc, x_n, y_1, \dotsc, y_n)</math>. फिर, हम सुसज्जित कर सकते हैं <math>\R_{\textbf{x},\textbf{y}}^{2n}</math> विहित सहानुभूतिपूर्ण रूप के साथ
+उदाहरण के लिए यहाँ पर <math>\R^{2n}_{\textbf{x},\textbf{y}}</math> वैश्विक निर्देशांक लेबल किए गए हैं, जिसके लिए <math>(x_1, \dotsc, x_n, y_1, \dotsc, y_n)</math> को हम <math>\R_{\textbf{x},\textbf{y}}^{2n}</math> द्वारा सुसज्जित कर सकते हैं, यह विहित सहानुभूतिपूर्ण रूप के साथ
-:<math>\omega =\mathrm{d}x_1\wedge \mathrm{d}y_1 + \dotsb + \mathrm{d}x_n\wedge \mathrm{d}y_n.</math> द्वारा दिया गया मानक लैग्रेंजियन सबमैनिफोल्ड है <math>\R^n_{\mathbf{x}} \to \R^{2n}_{\mathbf{x},\mathbf{y}}</math>. फार्म <math>\omega</math> पर गायब हो जाता है <math>\R^n_{\mathbf{x}}</math> क्योंकि स्पर्शरेखा सदिशों का कोई जोड़ा दिया गया है <math>X= f_i(\textbf{x}) \partial_{x_i}, Y=g_i(\textbf{x})\partial_{x_i},</math> हमारे पास वह है <math>\omega(X,Y) = 0.</math> स्पष्ट करने के लिए, मामले पर विचार करें <math>n=1</math>. तब, <math>X = f(x)\partial_x, Y=g(x)\partial_x,</math> और <math>\omega = \mathrm{d}x\wedge \mathrm{d}y</math>. ध्यान दें कि जब हम इसका विस्तार करते हैं
+:<math>\omega =\mathrm{d}x_1\wedge \mathrm{d}y_1 + \dotsb + \mathrm{d}x_n\wedge \mathrm{d}y_n.</math> द्वारा दिये गये मानक लैग्रेंजियन सबमैनिफोल्ड <math>\R^n_{\mathbf{x}} \to \R^{2n}_{\mathbf{x},\mathbf{y}}</math> को प्रदर्शित करता है, इस प्रकार फार्म <math>\omega</math> पर <math>\R^n_{\mathbf{x}}</math> को विलुप्त कर देता है, क्योंकि स्पर्शरेखा सदिशों के इस संयोजन को <math>X= f_i(\textbf{x}) \partial_{x_i}, Y=g_i(\textbf{x})\partial_{x_i},</math> रूप से प्रदर्शित करता है, यहाँ पर हमारे पास <math>\omega(X,Y) = 0.</math> मान प्राप्त होता है, इसे स्पष्ट करने के लिए <math>n=1</math> स्थिति पर विचार करें, इसके लिए <math>X = f(x)\partial_x, Y=g(x)\partial_x,</math> और <math>\omega = \mathrm{d}x\wedge \mathrm{d}y</math> पर ध्यान दें कि जब हम इसका विस्तार करते हैं तो उक्त समीकरण प्राप्त होता हैं।<math>\omega(X,Y) = \omega(f(x)\partial_x,g(x)\partial_x) = \frac{1}{2}f(x)g(x)(\mathrm{d}x(\partial_x)\mathrm{d}y(\partial_x) - \mathrm{d}y(\partial_x)\mathrm{d}x(\partial_x))</math>
+इन दोनों शर्तों के कारण <math>\mathrm{d}y(\partial_x)</math> कारक, जो परिभाषा के अनुसार 0 मान प्रकट करता है।
-:<math>\omega(X,Y) = \omega(f(x)\partial_x,g(x)\partial_x) = \frac{1}{2}f(x)g(x)(\mathrm{d}x(\partial_x)\mathrm{d}y(\partial_x) - \mathrm{d}y(\partial_x)\mathrm{d}x(\partial_x))</math>
+====उदाहरण: कोटैंजेंट समूह====
-दोनों शर्तें हमारे पास हैं <math>\mathrm{d}y(\partial_x)</math> कारक, जो परिभाषा के अनुसार 0 है।
+मैनिफोल्ड के कोटैंजेंट समूह को पहले उदाहरण के समान क्षेत्र पर क्षेत्रीय रूप से तैयार किया गया है। यह दिखाया जा सकता है कि हम इन एफ़िन सिम्प्लेक्टिक रूपों को संयोजित कर सकते हैं, इसलिए इस समूह सिम्प्लेक्टिक मैनिफोल्ड बनाता है। इस प्रकार लैग्रेंजियन सबमैनिफोल्ड का उचित मान उदाहरण मैनिफोल्ड के कोटैंजेंट समूह का शून्य खंड है। उदाहरण के लिए
-====उदाहरण: कोटैंजेंट बंडल====
-मैनिफोल्ड के कोटैंजेंट बंडल को पहले उदाहरण के समान स्थान पर स्थानीय रूप से तैयार किया गया है। यह दिखाया जा सकता है कि हम इन एफ़िन सिम्प्लेक्टिक रूपों को गोंद कर सकते हैं इसलिए यह बंडल सिम्प्लेक्टिक मैनिफोल्ड बनाता है। लैग्रेंजियन सबमैनिफोल्ड का कम तुच्छ उदाहरण मैनिफोल्ड के कोटैंजेंट बंडल का शून्य खंड है। उदाहरण के लिए, चलो
 :<math>X = \{(x,y) \in \R^2 : y^2 - x = 0\}.</math>
-फिर, हम प्रस्तुत कर सकते हैं <math>T^*X</math> जैसा
+फिर, हम <math>T^*X</math> द्वारा इसे प्रस्तुत कर सकते हैं,
 :<math>T^*X = \{(x,y,\mathrm{d}x,\mathrm{d}y) \in \R^4 : y^2 - x = 0, 2y\mathrm{d}y - \mathrm{d}x = 0\}</math>
-जहां हम प्रतीकों का इलाज कर रहे हैं <math>\mathrm{d}x,\mathrm{d}y</math> के निर्देशांक के रूप में <math>\R^4 = T^*\R^2</math>. हम उस उपसमुच्चय पर विचार कर सकते हैं जहां निर्देशांक हैं <math>\mathrm{d}x=0</math> और <math>\mathrm{d}y=0</math>, हमें शून्य अनुभाग दे रहा है। इस उदाहरण को सुचारु कार्यों के लुप्त हो रहे स्थान द्वारा परिभाषित किसी भी मैनिफोल्ड के लिए दोहराया जा सकता है <math>f_1,\dotsc,f_k</math> और उनके अंतर <math>\mathrm{d}f_1,\dotsc,df_k</math>.
+जहां हम प्रतीकों <math>\mathrm{d}x,\mathrm{d}y</math> का मान प्राप्त करते हैं, इसके निर्देशांक <math>\R^4 = T^*\R^2</math> के रूप में प्रदर्शित होते हैं, यहाँ पर हम उस उपसमुच्चय पर विचार कर सकते हैं जहां निर्देशांक <math>\mathrm{d}x=0</math> और <math>\mathrm{d}y=0</math>  हैं, इस प्रकार हमें शून्य अनुभाग प्राप्त होता है। इस उदाहरण को सुचारु कार्यों के लुप्त होने वाले क्षेत्रों द्वारा परिभाषित किसी भी मैनिफोल्ड के लिए दोहराया जा सकता है, जिसके आधार पर <math>f_1,\dotsc,f_k</math> और उनके अंतर <math>\mathrm{d}f_1,\dotsc,df_k</math> के द्वारा इन्हें प्रदर्शित करते हैं।
 ====उदाहरण: पैरामीट्रिक सबमैनिफोल्ड ====
-विहित स्थान पर विचार करें <math>\R^{2n}</math> निर्देशांक के साथ <math>(q_1,\dotsc ,q_n,p_1,\dotsc ,p_n)</math>. पैरामीट्रिक सबमैनिफोल्ड <math>L</math> का <math>\R^{2n}</math> वह है जो निर्देशांक द्वारा मानकीकृत है <math>(u_1,\dotsc,u_n)</math> ऐसा है कि
+विहित क्षेत्र <math>\R^{2n}</math> पर विचार करें, इस प्रकार उक्त निर्देशांकों के साथ <math>(q_1,\dotsc ,q_n,p_1,\dotsc ,p_n)</math> पैरामीट्रिक सबमैनिफोल्ड <math>L</math> का <math>\R^{2n}</math> रूप हैं। यहाँ पर जो निर्देशांक <math>(u_1,\dotsc,u_n)</math> द्वारा मानकीकृत होते है, वे इस प्रकार हैं-
 :<math>q_i=q_i(u_1,\dotsc,u_n) \quad p_i=p_i(u_1,\dotsc,u_n)</math>
-यदि [[लैग्रेंज ब्रैकेट]] है तो यह मैनिफोल्ड लैग्रेंजियन सबमैनिफोल्ड है <math>[u_i,u_j]</math> सभी के लिए गायब हो जाता है <math>i,j</math>. अर्थात यह लैग्रेन्जियन है यदि
+यदि [[लैग्रेंज ब्रैकेट]] है तो यह मैनिफोल्ड लैग्रेंजियन सबमैनिफोल्ड <math>[u_i,u_j]</math> है, यहाँ पर सभी के लिए <math>i,j</math> का मान विलुप्त हो जाता है, अर्थात यह लैग्रेन्जियन है यदि
 :<math>[u_i,u_j]=\sum_k \frac {\partial q_k}{\partial u_i}\frac {\partial p_k}{\partial u_j}
 - \frac {\partial p_k}{\partial u_i}\frac {\partial q_k}{\partial u_j}
-= 0</math> सभी के लिए <math>i,j</math>. इसे विस्तार करके देखा जा सकता है
+= 0</math> के लिए <math>i,j</math> का मान विस्तारित करके देखा जा सकता है, जो इस प्रकार है-
 :<math>
 \frac {\partial }{\partial u_i}=
@@ Line 73: / Line 71: @@
 + \frac {\partial p_k}{\partial u_i} \frac {\partial}{\partial p_k}
 </math>
-लैग्रेंजियन सबमैनिफोल्ड की स्थिति में <math>L</math>. इसका मतलब यह है कि स्पर्शरेखा मैनिफोल्ड पर सहानुभूतिपूर्ण रूप गायब हो जाना चाहिए <math>TL</math>; अर्थात्, यह सभी स्पर्शरेखा सदिशों के लिए लुप्त हो जाना चाहिए:
+लैग्रेंजियन सबमैनिफोल्ड <math>L</math> की स्थिति में . इसका अर्थ यह है कि स्पर्शरेखा मैनिफोल्ड पर सहानुभूतिपूर्ण रूप विलुप्त हो जाना चाहिए <math>TL</math>, अर्थात्, यह सभी स्पर्शरेखा सदिशों के लिए लुप्त हो जाना चाहिए:
 :<math>\omega\left( \frac {\partial}{\partial u_i}, \frac {\partial}{\partial u_j} \right)=0</math>
-सभी के लिए <math>i,j</math>. विहित सहानुभूति प्रपत्र का उपयोग करके परिणाम को सरल बनाएं <math>\R^{2n}</math>:
+सभी के लिए <math>i,j</math>. विहित सहानुभूति प्रपत्र का उपयोग करके परिणाम <math>\R^{2n}</math> को सरल बनाएं:
 :<math>
@@ Line 81: / Line 79: @@
 -\omega\left( \frac {\partial }{\partial p_k}, \frac {\partial}{\partial q_k}\right) = 1
   </math>
-और अन्य सभी गायब हो रहे हैं।
+और अन्य सभी विलुप्त हो रहे हैं।
-जैसा कि सिंपलेक्टिक मैनिफोल्ड पर [[चार्ट (टोपोलॉजी)]] विहित रूप लेता है, यह उदाहरण बताता है कि लैग्रेंजियन सबमैनिफोल्ड अपेक्षाकृत अप्रतिबंधित हैं। सिंपलेक्टिक मैनिफ़ोल्ड्स का वर्गीकरण [[फ़्लोर होमोलॉजी]] के माध्यम से किया जाता है - यह लैग्रेंजियन सबमैनिफ़ोल्ड्स के बीच मानचित्रों के लिए एक्शन (भौतिकी) के लिए [[मोर्स सिद्धांत]] का अनुप्रयोग है। भौतिकी में, क्रिया भौतिक प्रणाली के समय विकास का वर्णन करती है; यहां, इसे ब्रैन्स की गतिशीलता के विवरण के रूप में लिया जा सकता है।
+जैसा कि सिंपलेक्टिक मैनिफोल्ड पर [[चार्ट (टोपोलॉजी)]] विहित रूप लेता है, यह उदाहरण बताता है कि लैग्रेंजियन सबमैनिफोल्ड अपेक्षाकृत अप्रतिबंधित हैं। इस प्रकार सिंपलेक्टिक मैनिफ़ोल्ड्स का वर्गीकरण [[फ़्लोर होमोलॉजी]] के माध्यम से किया जाता है, यह लैग्रेंजियन सबमैनिफ़ोल्ड्स के बीच मानचित्रों के लिए भौतिकी प्रक्रिया के लिए [[मोर्स सिद्धांत]] का अनुप्रयोग है। यहाँ पर भौतिकी क्रियाओं के लिए उक्त भौतिक प्रणाली के समय विकास का वर्णन करती है, यहां पर इसे ब्रैन्स की गतिशीलता के विवरण के रूप में लिया जा सकता है।
 ====उदाहरण: मोर्स सिद्धांत====
-लैग्रेंजियन सबमैनिफोल्ड्स का अन्य उपयोगी वर्ग मोर्स सिद्धांत में पाया जाता है। [[मोर्स फ़ंक्शन]] दिया गया <math>f:M\to\R</math> और काफी छोटे के लिए <math>\varepsilon</math> कोई लुप्त हो रहे स्थान द्वारा दिए गए लैग्रेंजियन सबमैनिफोल्ड का निर्माण कर सकता है <math>\mathbb{V}(\varepsilon\cdot \mathrm{d}f) \subset T^*M</math>. सामान्य मोर्स फ़ंक्शन के लिए हमारे पास लैग्रेन्जियन प्रतिच्छेदन है जो इसके द्वारा दिया गया है <math>M \cap \mathbb{V}(\varepsilon\cdot \mathrm{d}f) = \text{Crit}(f)</math>.
+लैग्रेंजियन सबमैनिफोल्ड्स का अन्य उपयोगी वर्ग मोर्स सिद्धांत में पाया जाता है। [[मोर्स फ़ंक्शन|मोर्स फलन]] <math>f:M\to\R</math> दिया गया हैं, और इसके कम मान के लिए <math>\varepsilon</math> कोई लुप्त हो रहे क्षेत्र द्वारा दिए गए लैग्रेंजियन सबमैनिफोल्ड <math>\mathbb{V}(\varepsilon\cdot \mathrm{d}f) \subset T^*M</math> का निर्माण कर सकता है, इस प्रकार सामान्य रूप से मोर्स फलन के लिए हमारे पास लैग्रेन्जियन प्रतिच्छेदन उपलब्ध रहता है, जो <math>M \cap \mathbb{V}(\varepsilon\cdot \mathrm{d}f) = \text{Crit}(f)</math> के द्वारा दिया जाता है।
-{{See also|symplectic category}}
+{{See also|सिंपलेक्टिक श्रेणी}}
 === विशेष लैग्रेंजियन सबमैनिफोल्ड्स ===
-काहलर मैनिफोल्ड्स (या कैलाबी-यॉ मैनिफोल्ड्स) के मामले में हम विकल्प चुन सकते हैं <math>\Omega=\Omega_1+\mathrm{i}\Omega_2</math> पर <math>M</math> होलोमोर्फिक एन-फॉर्म के रूप में, जहां <math>\Omega_1</math> असली हिस्सा है और <math>\Omega_2</math> काल्पनिक. लैग्रेंजियन सबमैनिफोल्ड <math>L</math> विशेष कहा जाता है यदि उपरोक्त लैग्रेंजियन स्थिति के अतिरिक्त प्रतिबंध हो <math>\Omega_2</math> को <math>L</math> लुप्त हो रहा है. दूसरे शब्दों में, वास्तविक भाग <math>\Omega_1</math> पर प्रतिबंधित <math>L</math> वॉल्यूम फॉर्म को आगे ले जाता है <math>L</math>. निम्नलिखित उदाहरणों को विशेष लैग्रेंजियन सबमैनिफोल्ड्स के रूप में जाना जाता है,
+काहलर मैनिफोल्ड्स या कैलाबी-यॉ मैनिफोल्ड्स की स्थिति में हम <math>\Omega=\Omega_1+\mathrm{i}\Omega_2</math> विकल्प चुन सकते हैं, यहाँ पर <math>M</math> होलोमोर्फिक एन-फॉर्म के रूप में उपयोग किया जाता हैं, जहां <math>\Omega_1</math> इसका सही भाग है और <math>\Omega_2</math> काल्पनिक भाग हैं, जिसे लैग्रेंजियन सबमैनिफोल्ड <math>L</math> कहा जाता है, इस प्रकार यदि उपरोक्त लैग्रेंजियन स्थिति के अतिरिक्त प्रतिबंध होने पर <math>\Omega_2</math> को <math>L</math> लुप्त कर देता है, इसके लिए दूसरे शब्दों में इसके वास्तविक भाग <math>\Omega_1</math> पर प्रतिबंधित <math>L</math> वॉल्यूम फॉर्म <math>L</math> को आगे ले जाते है, इस प्रकार निम्नलिखित उदाहरणों को विशेष लैग्रेंजियन सबमैनिफोल्ड्स के रूप में जाना जाता है।
 # हाइपरकेहलर मैनिफोल्ड्स के जटिल लैग्रेंजियन सबमैनिफोल्ड्स,
-कैलाबी-याउ मैनिफोल्ड्स की वास्तविक संरचना के # निश्चित बिंदु।
+कैलाबी-याउ मैनिफोल्ड्स की वास्तविक संरचना के लिए निश्चित बिंदु हैं।
-[[एसवाईजेड अनुमान]] [[दर्पण समरूपता (स्ट्रिंग सिद्धांत)]] में विशेष लैग्रेंजियन सबमैनिफोल्ड्स के अध्ययन से संबंधित है; देखना {{harv|Hitchin|1999}}.
+[[एसवाईजेड अनुमान]] [[दर्पण समरूपता (स्ट्रिंग सिद्धांत)]] में विशेष लैग्रेंजियन सबमैनिफोल्ड्स {{harv|हिटचिन|1999}} के अध्ययन से संबंधित है।
-थॉमस-याउ अनुमान भविष्यवाणी करता है कि लैग्रैंगियंस के हैमिल्टनियन आइसोटोप वर्गों में कैलाबी-याउ मैनिफोल्ड्स पर विशेष लैग्रैन्जियन सबमैनिफोल्ड्स का अस्तित्व मैनिफोल्ड की फुकाया श्रेणी पर [[ब्रिजलैंड स्थिरता की स्थिति]] के संबंध में स्थिरता के बराबर है।
+थॉमस-याउ अनुमान भविष्यवाणी करता है कि लैग्रैंगियंस के हैमिल्टनियन आइसोटोप वर्गों में कैलाबी-याउ मैनिफोल्ड्स पर विशेष लैग्रैन्जियन सबमैनिफोल्ड्स का अस्तित्व मैनिफोल्ड की फुकाया श्रेणी पर [[ब्रिजलैंड स्थिरता की स्थिति]] के संबंध में स्थिरता के समान है।
 == लैग्रेंजियन [[कंपन]] ==
-सिम्प्लेक्टिक मैनिफोल्ड ''एम'' का लैग्रेंजियन फ़िब्रेशन फ़िब्रेशन है जहां सभी फ़ाइबर बंडल#औपचारिक परिभाषा लैग्रैन्जियन सबमैनिफ़ोल्ड्स हैं। चूंकि ''एम'' सम-आयामी है इसलिए हम स्थानीय निर्देशांक ले सकते हैं {{nowrap|1=(''p''<sub>1</sub>,&hellip;,''p''<sub>''n''</sub>, ''q''<sup>1</sup>,&hellip;,''q''<sup>''n''</sup>),}} और डार्बौक्स के प्रमेय द्वारा सहानुभूतिपूर्ण रूप ω को, कम से कम स्थानीय रूप से, इस प्रकार लिखा जा सकता है {{nowrap|1=''ω'' = &sum; d''p''<sub>''k''</sub> &and; d''q''<sup>''k''</sup>}}, जहां d बाहरी व्युत्पन्न को दर्शाता है और ∧ [[बाहरी उत्पाद]] को दर्शाता है। इस फॉर्म को पोंकारे टू-फॉर्म या कैनोनिकल टू-फॉर्म कहा जाता है। इस सेट-अप का उपयोग करके हम स्थानीय रूप से एम को कोटैंजेंट बंडल के रूप में सोच सकते हैं <math>T^*\R^n,</math> और लैग्रेंजियन फ़िब्रेशन को तुच्छ फ़िब्रेशन के रूप में <math>\pi: T^*\R^n \to \R^n.</math> यह विहित चित्र है.
+सिम्प्लेक्टिक मैनिफोल्ड ''एम'' का लैग्रेंजियन फ़िब्रेशन है, जहाँ सभी फ़ाइबर युक्त समूहों को इसकी औपचारिक परिभाषाओं के अनुसार लैग्रैन्जियन सबमैनिफ़ोल्ड्स के रूप में उपयोग करते हैं। चूंकि यहाँ पर ''एम'' सम-आयामी है, इसलिए हम क्षेत्रीय निर्देशांक {{nowrap|1=(''p''<sub>1</sub>,&hellip;,''p''<sub>''n''</sub>, ''q''<sup>1</sup>,&hellip;,''q''<sup>''n''</sup>),}} ले सकते हैं और डार्बौक्स के प्रमेय द्वारा सहानुभूतिपूर्ण रूप ω को, कम से कम क्षेत्रीय रूप से, इसे {{nowrap|1=''ω'' = &sum; d''p''<sub>''k''</sub> &and; d''q''<sup>''k''</sup>}} प्रकार लिखा जा सकता है, जहां d बाहरी व्युत्पन्न को दर्शाता है और ∧ [[बाहरी उत्पाद]] को दर्शाता है। इस फॉर्म को पोंकारे टू-फॉर्म या कैनोनिकल टू-फॉर्म कहा जाता है। इस समुच्चय-अप का उपयोग करके हम क्षेत्रीय रूप से एम को कोटैंजेंट समूह के रूप में सोच सकते हैं <math>T^*\R^n,</math> और लैग्रेंजियन फ़िब्रेशन को तुच्छ फ़िब्रेशन के रूप में <math>\pi: T^*\R^n \to \R^n.</math> यह विहित चित्र है।
 == लैग्रेंजियन मैपिंग ==
@@ Line 106: / Line 105: @@
 दो लैग्रेंजियन मानचित्र {{nowrap|1=(''&pi;''<sub>1</sub> ∘ ''i''<sub>1</sub>) : ''L''<sub>1</sub> ↪ ''K''<sub>1</sub> ↠ ''B''<sub>1</sub>}} और {{nowrap|1=(''&pi;''<sub>2</sub> ∘ ''i''<sub>2</sub>) : ''L''<sub>2</sub> ↪ ''K''<sub>2</sub> ↠ ''B''<sub>2</sub>}} को लैग्रेंजियन समतुल्य कहा जाता है यदि ''σ'', ''τ'' और ''ν'' [[भिन्नता]]एं मौजूद हैं जैसे कि सही [[क्रमविनिमेय आरेख]] पर दिए गए आरेख के दोनों पक्ष, और ''τ'' सहानुभूति रूप को संरक्षित करते हैं .<ref name="Arnold"/>प्रतीकात्मक रूप से:
 : <math> \tau \circ  i_1 = i_2 \circ \sigma, \ \nu \circ \pi_1 = \pi_2 \circ \tau, \ \tau^*\omega_2 = \omega_1 \, , </math>
-कहां τ<sup>∗</sup>o<sub>2</sub> ω के विभेदक रूपों के पुलबैक (विभेदक ज्यामिति)#पुलबैक को दर्शाता है<sub>2</sub> τ द्वारा.
+कहां τ<sup>∗</sup>o<sub>2</sub> ω<sub>2</sub> के विभेदक रूपों के पुलबैक (विभेदक ज्यामिति) पुलबैक को τ द्वारा दर्शाते है।
-== विशेष मामले और सामान्यीकरण ==
+== विशेष स्थिति और सामान्यीकरण ==
-* एक सिंपलेक्टिक मैनिफोल्ड <math>(M, \omega)</math> यदि सिंपलेक्टिक रूप सटीक है <math>\omega</math> बंद और सटीक विभेदक रूप है। उदाहरण के लिए, चिकने मैनिफोल्ड का कोटैंजेंट बंडल सटीक सिंपलेक्टिक मैनिफोल्ड है। विहित सहानुभूतिपूर्ण रूप सटीक है।
+* एक सिंपलेक्टिक मैनिफोल्ड <math>(M, \omega)</math> यदि सिंपलेक्टिक रूप सटीक है, यहाँ पर <math>\omega</math> विवृत और सटीक विभेदक रूप है। उदाहरण के लिए समतल मैनिफोल्ड का कोटैंजेंट समूह सटीक सिंपलेक्टिक मैनिफोल्ड है। विहित सहानुभूतिपूर्ण रूप सटीक है।
-* एक मीट्रिक टेंसर से संपन्न सिंपलेक्टिक मैनिफोल्ड, जो लगभग जटिल मैनिफोल्ड है # सिंपलेक्टिक रूप के साथ संगत त्रिगुण इस अर्थ में लगभग काहलर मैनिफोल्ड है कि स्पर्शरेखा बंडल में लगभग जटिल संरचना होती है, लेकिन इसके लिए इंटीग्रेबिलिटी स्थिति की आवश्यकता नहीं होती है।
+* एक मीट्रिक टेंसर से संपन्न सिंपलेक्टिक मैनिफोल्ड, जो लगभग जटिल मैनिफोल्ड है, इसके आधार पर सिंपलेक्टिक रूप के साथ संगत त्रिगुण इस अर्थ में लगभग काहलर मैनिफोल्ड है कि स्पर्शरेखा समूह में लगभग जटिल संरचना होती है, लेकिन इसके लिए इंटीग्रेबिलिटी स्थिति की आवश्यकता नहीं होती है।
-* सिंपलेक्टिक मैनिफोल्ड्स [[पॉइसन मैनिफ़ोल्ड]] के विशेष मामले हैं।
+* सिंपलेक्टिक मैनिफोल्ड्स [[पॉइसन मैनिफ़ोल्ड]] के विशेष स्थिति हैं।
-* डिग्री ''के'' का मल्टीसिम्पलेक्टिक मैनिफोल्ड बंद गैर-अपक्षयी ''के''-फॉर्म से सुसज्जित मैनिफोल्ड है।<ref>{{cite journal |first1=F. |last1=Cantrijn |first2=L. A. |last2=Ibort |first3=M. |last3=de León |title=मल्टीसिम्प्लेक्टिक मैनिफोल्ड्स की ज्यामिति पर|journal=J. Austral. Math. Soc. |series=Ser. A |volume=66 |year=1999 |issue=3 |pages=303–330 |doi=10.1017/S1446788700036636 |doi-access=free }}</ref>
+* डिग्री ''के'' का मल्टीसिम्पलेक्टिक मैनिफोल्ड विवृत गैर-अपक्षयी ''के''-फॉर्म से सुसज्जित मैनिफोल्ड है।<ref>{{cite journal |first1=F. |last1=Cantrijn |first2=L. A. |last2=Ibort |first3=M. |last3=de León |title=मल्टीसिम्प्लेक्टिक मैनिफोल्ड्स की ज्यामिति पर|journal=J. Austral. Math. Soc. |series=Ser. A |volume=66 |year=1999 |issue=3 |pages=303–330 |doi=10.1017/S1446788700036636 |doi-access=free }}</ref>
-* एक पॉलीसिम्पलेक्टिक मैनिफोल्ड [[लीजेंड्रे बंडल]] है जो पॉलीसिम्पलेक्टिक स्पर्शरेखा-मूल्य के साथ प्रदान किया जाता है <math>(n+2)</math>-प्रपत्र; इसका उपयोग [[हैमिल्टनियन क्षेत्र सिद्धांत]] में किया जाता है।<ref>{{cite journal |first1=G. |last1=Giachetta |first2=L. |last2=Mangiarotti |first3=G. |last3=Sardanashvily |author-link3=Gennadi Sardanashvily |title=क्षेत्र सिद्धांत के लिए सहसंयोजक हैमिल्टनियन समीकरण|journal=Journal of Physics |volume=A32 |year=1999 |issue=38 |pages=6629–6642 |doi=10.1088/0305-4470/32/38/302 |arxiv=hep-th/9904062 |bibcode=1999JPhA...32.6629G |s2cid=204899025 }}</ref>
+* एक पॉलीसिम्पलेक्टिक मैनिफोल्ड [[लीजेंड्रे बंडल|लीजेंड्रे समूह]] है जो पॉलीसिम्पलेक्टिक स्पर्शरेखा-मूल्य के साथ प्रदान किया जाता है <math>(n+2)</math>-प्रपत्र, इसका उपयोग [[हैमिल्टनियन क्षेत्र सिद्धांत]] में किया जाता है।<ref>{{cite journal |first1=G. |last1=Giachetta |first2=L. |last2=Mangiarotti |first3=G. |last3=Sardanashvily |author-link3=Gennadi Sardanashvily |title=क्षेत्र सिद्धांत के लिए सहसंयोजक हैमिल्टनियन समीकरण|journal=Journal of Physics |volume=A32 |year=1999 |issue=38 |pages=6629–6642 |doi=10.1088/0305-4470/32/38/302 |arxiv=hep-th/9904062 |bibcode=1999JPhA...32.6629G |s2cid=204899025 }}</ref>
 == यह भी देखें ==
 {{Portal|Mathematics}}
 {{colbegin|colwidth=22em}}
-* {{annotated link|Almost symplectic manifold}}
+* {{annotated link|लगभग सिंपलेक्टिक मैनिफ़ोल्ड}}
-* {{annotated link|Contact manifold}}-सिम्प्लेक्टिक मैनिफोल्ड का एक विषम-आयामी समकक्ष।
+* {{annotated link|अनेक गुना संपर्क करें}}-सिम्प्लेक्टिक मैनिफोल्ड का एक विषम-आयामी समकक्ष।
-* {{annotated link|Covariant Hamiltonian field theory}}
+* {{annotated link|सहसंयोजक हैमिल्टनियन क्षेत्र सिद्धांत}}
-* {{annotated link|Fedosov manifold}}
+* {{annotated link|फेडोसोव मैनिफोल्ड}}
-* {{annotated link|Poisson bracket}}
+* {{annotated link|पॉइसन ब्रैकेट}}
-* {{annotated link|Symplectic group}}
+* {{annotated link|सहानुभूति समूह}}
-* {{annotated link|Symplectic matrix}}
+* {{annotated link|सिंपलेक्टिक मैट्रिक्स}}
-* {{annotated link|Symplectic topology}}
+* {{annotated link|सिंपलेक्टिक टोपोलॉजी}}
-* {{annotated link|Symplectic vector space}}
+* {{annotated link|सिम्प्लेक्टिक वेक्टर स्पेस}}
-* {{annotated link|Symplectomorphism}}
+* {{annotated link|लक्षणात्मकता}}
-* {{annotated link|Tautological one-form}}
+* {{annotated link|टॉटोलॉजिकल एक-रूप}}
-* {{annotated link|Wirtinger inequality (2-forms)}}
+* {{annotated link|विर्टिंगर असमानता (2-रूप)}}
 {{colend}}

Anonymous

Search

सिंपलेक्टिक मैनिफ़ोल्ड: Difference between revisions

Namespaces

More

Page actions

Revision as of 00:35, 9 July 2023

Contents

प्रेरणा

परिभाषा