युग्म स्पर्शरेखा बंडल

गणित में, विशेष रूप से अंतर टोपोलॉजी, डबल स्पर्शरेखा बंडल या दूसरा स्पर्शरेखा बंडल (TTM,π_TTM,TM) के कुल स्थान को संदर्भित करता है। स्पर्शरेखा बंडल TM का (TM,π_TM,M) भिन्न करने योग्य कई गुना एम . इस लेख में, हम प्रक्षेपण मानचित्रों को उनके डोमेन द्वारा निरूपित करते हैं, उदाहरण के लिए, π_TTM : टीटीएम → टीएम। इसके बजाय कुछ लेखक इन नक्शों को उनकी श्रेणियों के अनुसार अनुक्रमित करते हैं, इसलिए उनके लिए उस मानचित्र को π लिखा जाएगा_TM.

दूसरा स्पर्शरेखा बंडल कनेक्शन (सदिश बंडल) एवं दूसरे क्रम के साधारण अंतर समीकरणों के अध्ययन में उत्पन्न होता है, यानी, स्प्रे (गणित) | (अर्ध) चिकनी मैनिफोल्ड्स पर स्प्रे संरचनाएं, एवं इसे जेट बंडल के साथ भ्रमित नहीं होना है।

माध्यमिक सदिश बंडल संरचना एवं विहित फ्लिप

चूँकि (TM,π_TM,M) स्वयं में सदिश बंडल होता है, इसके स्पर्शरेखा बंडल में द्वितीयक सदिश बंडल संरचना (TTM,(π_TM)_*,TM), है, जहाँ (π_TM)_*:TTM→TM पुश है। विहित प्रक्षेपण के आगे π_TM:TM→M. निम्नलिखित में हम निरूपित करते हैं।

$\xi =\xi ^{k}{\frac {\partial }{\partial x^{k}}}{\Big |}_{x}\in T_{x}M,\qquad X=X^{k}{\frac {\partial }{\partial x^{k}}}{\Big |}_{x}\in T_{x}M$

एवं संबंधित समन्वय प्रणाली प्रारम्भ करें।

$\xi \mapsto (x^{1},\ldots ,x^{n},\xi ^{1},\ldots ,\xi ^{n})$

X∈TTM पर द्वितीयक सदिश बंडल संरचना का फाइबर रूप लेता है

$(\pi _{TM})_{*}^{-1}(X)={\Big \{}\ X^{k}{\frac {\partial }{\partial x^{k}}}{\Big |}_{\xi }+Y^{k}{\frac {\partial }{\partial \xi ^{k}}}{\Big |}_{\xi }\ {\Big |}\ \xi \in T_{x}M\ ,\ Y^{1},\ldots ,Y^{n}\in \mathbb {R} \ {\Big \}}.$

डबल स्पर्शरेखा बंडल डबल सदिश बंडल है।

कैनोनिकल फ्लिप सहज इनवोल्यूशन j:TTM→TTM है जो इन सदिश अंतरिक्ष संरचनाओं का इस अर्थ में आदान-प्रदान करता है, कि यह (TTM,π_TTM,TM) एवं (TTM,(π_TM)_*,TM). के मध्य सदिश बंडल समरूपता है। TM पर संबद्ध निर्देशांकों में इसे इस रूप में पढ़ा जाता है।

$j{\Big (}X^{k}{\frac {\partial }{\partial x^{k}}}{\Big |}_{\xi }+Y^{k}{\frac {\partial }{\partial \xi ^{k}}}{\Big |}_{\xi }{\Big )}=\xi ^{k}{\frac {\partial }{\partial x^{k}}}{\Big |}_{X}+Y^{k}{\frac {\partial }{\partial \xi ^{k}}}{\Big |}_{X}.$

कैनोनिकल फ्लिप में संपत्ति है कि किसी भी f: 'R²' → M के लिए

${\frac {\partial f}{{\partial t}{\partial s}}}=j\circ {\frac {\partial f}{{\partial s}{\partial t}}}$ जहां s एवं t 'R²' के मानक आधार के निर्देशांक हैं । ध्यान दें कि दोनों आंशिक डेरिवेटिव R² से TTM. तक के फलन हैं।

वास्तव में, इस संपत्ति का उपयोग कैनोनिकल फ्लिप की आंतरिक परिभाषा देने के लिए किया जा सकता है। वास्तव में जलमग्न p: J²₀ (R²,M) → TTM द्वारा दिया गया हैं।

$p([f])={\frac {\partial f}{{\partial t}{\partial s}}}(0,0)$

जहां p को शून्य पर दो-जेट के स्थान में परिभाषित किया जा सकता है क्योंकि f पर निर्भर करता है जिससे शून्य पर दो का आदेश दिया जा सके। हम आवेदन पर विचार करते हैं।

$J:J_{0}^{2}(\mathbb {R} ^{2},M)\to J_{0}^{2}(\mathbb {R} ^{2},M)\quad /\quad J([f])=[f\circ \alpha ]$

जहां α(s,t)= (t,s) तब J प्रक्षेपण p के साथ संगत है एवं भागफल TTM पर विहित फ्लिप को प्रेरित करता है।

== स्पर्शरेखा बंडल == पर कैननिकल टेंसर फ़ील्ड

किसी भी सदिश बंडल के लिए, स्पर्शरेखा बंडल (TM,π_TM,M) के फाइबर T_xM स्पर्शरेखा रिक्त स्थान T_ξ(T_xM) को स्वयं फाइबर T_xM से पहचाना जा सकता है। औपचारिक रूप से यह 'ऊर्ध्वाधर लिफ्ट' के माध्यम से प्राप्त किया जाता है, जो प्राकृतिक सदिश अंतरिक्ष समरूपता vl_ξ:T_xM→V_ξ(T_xM) के रूप में परिभाषित है।

$(\operatorname {vl} _{\xi }X)[f]:={\frac {d}{dt}}{\Big |}_{t=0}f(x,\xi +tX),\qquad f\in C^{\infty }(TM).$

लंबवत लिफ्ट को प्राकृतिक सदिश बंडल आइसोमोर्फिज्म vl:(π_TM)^*TM→VTM के रूप में भी देखा जा सकता है। (TM,π_TM,M) के पुलबैक बंडल से π_TM:TM→M लंबवत स्पर्शरेखा बंडल पर

$VTM:=\operatorname {Ker} (\pi _{TM})_{*}\subset TTM.$

वर्टिकल लिफ़्ट हमें कैननिकल सदिश फ़ील्ड परिभाषित करने देता है।

$V:TM\to TTM;\qquad V_{\xi }:=\operatorname {vl} _{\xi }\xi ,$

जो भट्ठा स्पर्शरेखा बंडल TM\0 में चिकना है। विहित सदिश क्षेत्र को लाई-समूह क्रिया के अतिसूक्ष्म जनित्र के रूप में भी परिभाषित किया जा सकता है।

$\mathbb {R} \times (TM\setminus 0)\to TM\setminus 0;\qquad (t,\xi )\mapsto e^{t}\xi .$

कैनोनिकल सदिश फ़ील्ड के विपरीत, जिसे किसी भी सदिश बंडल के लिए परिभाषित किया जा सकता है। कैनोनिकल एंडोमोर्फिज्म होता है।

$J:TTM\to TTM;\qquad J_{\xi }X:=\operatorname {vl} _{\xi }(\pi _{TM})_{*}X,\qquad X\in T_{\xi }TM$

स्पर्शरेखा बंडल के लिए विशेष है। कैनोनिकल एंडोमोर्फिज्म J संतुष्ट करता है।

$\operatorname {Ran} (J)=\operatorname {Ker} (J)=VTM,\qquad {\mathcal {L}}_{V}J=-J,\qquad J[X,Y]=J[JX,Y]+J[X,JY],$

एवं इसे निम्नलिखित कारणों से स्पर्शरेखा संरचना के रूप में भी जाना जाता है। यदि (E,p,M) कोई सदिश बंडल है, विहित सदिश क्षेत्र V एवं (1,1)-टेंसर क्षेत्र J के साथ जो ऊपर सूचीबद्ध गुणों को संतुष्ट करता है, VTM के स्थान पर VE के साथ, सदिश बंडल (E,p,M) स्पर्शरेखा बंडल (TM,π_TM,M) के लिए आइसोमॉर्फिक है, एवं J इस समरूपता में TM की स्पर्शरेखा संरचना से मिलता है।

इस प्रकार का ठोस परिणाम भी होता है जो बताता है कि यदि N 2n-आयामी कई गुना है एवं यदि N पर (1,1) -टेंसर फ़ील्ड J उपस्थित है, जो संतुष्ट करता है।

$\operatorname {Ran} (J)=\operatorname {Ker} (J),\qquad J[X,Y]=J[JX,Y]+J[X,JY],$

तो N कुछ n-आयामी कई गुना M के टेंगेंट बंडल के कुल स्थान के खुले समूह के लिए भिन्न- भिन्न है, एवं जे इस भिन्नता में TM की स्पर्शरेखा संरचना से मिलता है।

TM पर किसी भी संबद्ध समन्वय प्रणाली में विहित सदिश क्षेत्र एवं विहित एंडोमोर्फिज्म में समन्वय प्रतिनिधित्व होता है।

$V=\xi ^{k}{\frac {\partial }{\partial \xi ^{k}}},\qquad J=dx^{k}\otimes {\frac {\partial }{\partial \xi ^{k}}}.$

(अर्ध) स्प्रे संरचनाएं

स्मूथ मैनिफोल्ड M पर सेमीस्प्रे संरचना परिभाषा के अनुसार TM \0 पर स्मूथ सदिश फील्ड H है जैसे कि JH=V, समतुल्य परिभाषा यह है कि j(H)=H, जहाँ j:TTM→TTM विहित फ्लिप है। सेमीस्प्रे H स्प्रे (गणित) है, यदि इसके अतिरिक्त, [V,H]=H.है।

स्प्रे एवं सेमीस्प्रे संरचनाएं M पर दूसरे क्रम के साधारण अंतर समीकरणों के अपरिवर्तनीय संस्करण हैं। स्प्रे एवं सेमीस्प्रे संरचनाओं के मध्य का अंतर यह है कि स्प्रे के समाधान वक्र सकारात्मक पैरामीट्रिजेशन (ज्यामिति) में M पर बिंदु उपसमुच्चय के रूप में अपरिवर्तनीय होते हैं, जबकि सेमीस्प्रे के समाधान वक्र सामान्यतः नहीं होते हैं।

नॉनलाइनियर कोवरिएंट डेरिवेटिव्स ऑन स्मूथ मैनिफोल्ड्स

कैनोनिकल फ्लिप निम्नानुसार गैर-रैखिक सहसंयोजक डेरिवेटिव को चिकनी कई गुना पर परिभाषित करना संभव बनाता है।

$T(TM\setminus 0)=H(TM\setminus 0)\oplus V(TM\setminus 0)$

स्लिट टेंगेंट बंडल TM\0 पर एह्रेसमैन कनेक्शन बनें एवं मैपिंग पर विचार करें।

$D:(TM\setminus 0)\times \Gamma (TM)\to TM;\quad D_{X}Y:=(\kappa \circ j)(Y_{*}X),$

जहां क्यों_*:TM→TTM पुश-फॉरवर्ड है, j:TTM→TTM कैनोनिकल फ्लिप है एवं κ:T(TM/0)→TM/0 कनेक्टर मैप है। मैपिंग D_X इस अर्थ में M पर चिकनी सदिश क्षेत्रों के मॉड्यूल Γ (TM) में व्युत्पत्ति है।

• $D_{X}(\alpha Y+\beta Z)=\alpha D_{X}Y+\beta D_{X}Z,\qquad \alpha ,\beta \in \mathbb {R}$.
• $D_{X}(fY)=X[f]Y+fD_{X}Y,\qquad \qquad \qquad f\in C^{\infty }(M)$.

कोई मैपिंग डी_X इन गुणों के साथ (गैर-रैखिक) सहसंयोजक व्युत्पन्न कहा जाता है एम पर नॉनलाइनियर शब्द इस तथ्य को संदर्भित करता है कि इस प्रकार का सहसंयोजक व्युत्पन्न डी_X पर अंतर की दिशा X∈TM/0 के संबंध में आवश्यक रूप से रैखिक नहीं है।

स्थानीय अभ्यावेदन को देखते हुए कोई भी पुष्टि कर सकता है, कि एह्रेस्मान कनेक्शन (टीएम/0, π_TM/0,M) एवं M पर अरेखीय सहसंयोजक डेरिवेटिव -से- पत्राचार में हैं। इसके अतिरिक्त, यदि डी_X ्स में रैखिक है, तो माध्यमिक सदिश बंडल संरचना में एह्रेसमैन कनेक्शन रैखिक है, एवं डी_X इसके रैखिक सहसंयोजक व्युत्पन्न के साथ मिलता है।

यह भी देखें

• स्प्रे (गणित)
• माध्यमिक सदिश बंडल संरचना
• फिन्सलर कई गुना