पुशफॉरवर्ड (अंतर)

अन्य उपयोगों के लिए, पुशफॉरवर्ड देखें।

यदि प्रतिचित्र, φ, प्रत्येक प्रसमष्टि M से प्रसमष्टि N पर इंगित करें, फिर φ का पुशफॉरवर्ड वेक्टर को स्पर्शी समष्‍टि में M में प्रत्येक बिंदु पर N में प्रत्येक बिंदु पर स्पर्शी समष्‍टि पर ले जाता है।

अवकलन ज्यामिति में, पुशफॉरवर्ड (अवकल) स्पर्शी समष्‍टि पर सरल प्रतिचित्र का एक रैखिक आकलन है। मान लीजिए कि φ : M → N सरल प्रसमष्टि के बीच एक सरल प्रतिचित्र है; तब φ का अवकलन, $d\varphi _{x}$, एक बिंदु x पर, कुछ अर्थों में, x के पास φ का सबसे अच्छा रैखिक आकलन है। इसे साधारण कलन के पूर्ण अवकलज के सामान्यीकरण के रूप में देखा जा सकता है। स्पष्ट रूप से, अवकलन φ (x) पर N के स्पर्शी समष्‍टि से x पर M के स्पर्शी समष्‍टि से $d\varphi _{x}:T_{x}M\to T_{\varphi (x)}N$ रैखिक प्रतिचित्र है। इसलिए इसका उपयोग N पर स्पर्शरेखा वैक्टर को M पर स्पर्शरेखा वैक्टर को आगे बढ़ाने के लिए किया जा सकता है। विभिन्न लेखकों द्वारा प्रतिचित्र φ के अवकलन को φ का 'अवकलज' या 'पूर्ण अवकलज' भी कहा जाता है।

कारण

मान लीजिए $\varphi :U\to V$ के विवृत उपसमुच्चय से $U$ का $\mathbb {R} ^{m}$ एक विवृत उपसमुच्चय $V$ का $\mathbb {R} ^{n}$ के लिए एक सुगम प्रतिचित्र बनें, $U$ मे किसी भी बिंदु $x$ के लिए $x$ पर $\varphi$का जैकबियन आव्यूह और के निर्धारक पर (मानक निर्देशांक के संबंध में) $x$ पर $\varphi$ के पूर्ण अवकलज का आव्यूह (गणित) प्रतिनिधित्व है जो रैखिक प्रतिचित्र है

$d\varphi _{x}:T_{x}\mathbb {R} ^{m}\to T_{\varphi (x)}\mathbb {R} ^{n}$

उनके स्पर्शी समष्‍टि के बीच। ध्यान दें स्पर्शरेखा समष्टि क्रमशː $T_{x}\mathbb {R} ^{m},T_{\varphi (x)}\mathbb {R} ^{n}$और $\mathbb {R} ^{m}$ के लिए $\mathbb {R} ^{n}$, समरूपी हैं। पुशफॉरवर्ड (अवकल) इस निर्माण को इस स्थिति में सामान्यीकृत करता है कि $\varphi$ किसी भी अवकलन प्रसमष्टि $M$ और $N$ के बीच एक सामान्य फलन है।

सरल प्रतिचित्र का अवकलन

मान लीजिए $\varphi \colon M\to N$ सरल प्रसमष्टि का सरल प्रतिचित्र बनें। दिया गया $x\in M,$ का अवकलन $\varphi$ पर $x$ एक रेखीय प्रतिचित्र है

$d\varphi _{x}\colon \ T_{x}M\to T_{\varphi (x)}N\,$

$x$ पर $M$ की स्पर्शी समष्‍टि से $N$ स्पर्शी समष्‍टि के लिए $\varphi (x)$ पर है। छवि $d\varphi _{x}X$ एक स्पर्शरेखा वेक्टर का $X\in T_{x}M$ अंतर्गत $d\varphi _{x}$ को कभी-कभी $X$ द्वारा $\varphi$ का पुशफॉरवर्ड कहा जाता है और इस पुशफॉरवर्ड की परिशुद्ध परिभाषा स्पर्शरेखा सदिशों के लिए उपयोग की जाने वाली परिभाषा पर निर्भर करती है (विभिन्न परिभाषाओं के लिए स्पर्शी समष्‍टि देखें)।

यदि स्पर्शरेखा सदिशों को वक्रों के तुल्यता वर्ग $\gamma$ के रूप में परिभाषित किया जाता है जिसके लिए $\gamma (0)=x,$ तो अवकलन द्वारा दिया जाता है

$d\varphi _{x}(\gamma '(0))=(\varphi \circ \gamma )'(0).$

यहाँ, $\gamma$ में वक्र $M$ साथ $\gamma (0)=x$ है, और $\gamma '(0)$ वक्र के लिए स्पर्शरेखा वेक्टर $\gamma$ पर $0$ है। दूसरे शब्दों में, वक्र के स्पर्शरेखा वेक्टर का पुशफॉरवर्ड $\gamma$ पर $0$ वक्र की स्पर्शरेखा वेक्टर $\varphi \circ \gamma$ पर $0$ है। वैकल्पिक रूप से, यदि स्पर्शरेखा वैक्टर को व्युत्पत्ति (अमूर्त बीजगणित) के रूप में परिभाषित किया जाता है जो सरल वास्तविक-मूल्यवान फलनों पर कार्य करता है, तो अवकलन द्वारा दिया जाता है

$d\varphi _{x}(X)(f)=X(f\circ \varphi ),$

एकपक्षीय फलन के लिए $f\in C^{\infty }(N)$ और एकपक्षीय अवकलज $X\in T_{x}M$ बिंदु पर $x\in M$ (अवकलज (अमूर्त बीजगणित) को एक रेखीय प्रतिचित्र $X\colon C^{\infty }(M)\to \mathbb {R}$ के रूप में परिभाषित किया गया है, जो उत्पाद नियम को पूरा करता है, देखें: स्पर्शी समष्‍टि अवकलज के माध्यम से परिभाषा)। परिभाषा के अनुसार, का पुशफॉरवर्ड $X$ में $T_{\varphi (x)}N$ है और इसलिए स्वयं अवकलज $d\varphi _{x}(X)\colon C^{\infty }(N)\to \mathbb {R}$ है।

$x$ और $\varphi (x),$ लगभग दो प्रसमष्टि (गणित) चयन करने के बाद $\varphi$ स्थानीय रूप से ${\widehat {\varphi }}\colon U\to V$ के विवृत समुच्चय के बीच $\mathbb {R} ^{m}$ और $\mathbb {R} ^{n}$ द्वारा सरल प्रतिचित्र द्वारा निर्धारित किया जाता है

$d\varphi _{x}\left({\frac {\partial }{\partial u^{a}}}\right)={\frac {\partial {\widehat {\varphi }}^{b}}{\partial u^{a}}}{\frac {\partial }{\partial v^{b}}},$

आइंस्टीन संकलन संकेतन में, जहां दिए गए प्रतिचित्र में x के अनुरूप U में बिंदु पर आंशिक अवकलज का मूल्यांकन किया जाता है।

रैखिकता द्वारा विस्तार करने पर निम्नलिखित आव्यूह प्राप्त होता है

$\left(d\varphi _{x}\right)_{a}^{\;b}={\frac {\partial {\widehat {\varphi }}^{b}}{\partial u^{a}}}.$

इस प्रकार अवकलन एक रेखीय परिवर्तन है, स्पर्शरेखा समष्टि के बीच, प्रत्येक बिंदु पर सरल प्रतिचित्र $\varphi$ से जुड़ा हुआ है। इसलिए, कुछ चयन किए हुए स्थानीय निर्देशांकों में, यह संबंधित सरल प्रतिचित्र के $\mathbb {R} ^{m}$ को $\mathbb {R} ^{n}$ जैकबियन आव्यूह द्वारा दर्शाया गया है सामान्य रूप से, अवकलन को प्रत्यावर्ती नहीं होना चाहिए। हालांकि, यदि $\varphi$ एक स्थानीय अवकलनीय तद्वता है, तब $d\varphi _{x}$ व्युत्क्रमणीय है, और व्युत्क्रम $T_{\varphi (x)}N$ का पुलबैक (अवकलन ज्यामिति) देता है विभिन्न प्रकार की अन्य सूचनाओं का उपयोग करके अवकलन को प्रायः व्यक्त किया जाता है

$D\varphi _{x},\left(\varphi _{*}\right)_{x},\varphi '(x),T_{x}\varphi .$

यह परिभाषा से अनुसरण करता है कि एक सम्मिश्र का अंतर अवकलनों (अर्थात, क्रियात्मक व्यवहार) का सम्मिश्रण है। यह सरल मानचित्रों के लिए शृंखला नियम है।

इसके अतिरिक्त, स्थानीय अवकलनीय तद्वता का अवकलन स्पर्शी समष्टि का एक रैखिक समरूपता है।

स्पर्शरेखा बंडल पर अवकलन

सरल प्रतिचित्र φ का अवकलन, एक स्पष्ट तरीके से, M के स्पर्शरेखा बंडल से N के स्पर्शरेखा बंडल तक पूल प्रतिचित्र (वास्तव में एक वेक्टर बंडल समरूपता) को प्रेरित करता है, जिसे dφ या φ द्वारा निरूपित किया जाता है_∗, जो निम्नलिखित क्रमविनिमेय आरेख में निर्धारित होता है:

जहां π_M और π_N क्रमशः M और N के स्पर्शरेखा बंडलों के बंडल अनुमानों को निरूपित करें।

$\operatorname {d} \!\varphi$ TM से पुलबैक बंडल φ^∗ TN पर M के माध्यम से पूल प्रतिचित्र प्रेरित करता है

$(m,v_{m})\mapsto (m,\operatorname {d} \!\varphi (m,v_{m})),$

जहाँ $m\in M$ और $v_{m}\in T_{m}M$ बाद वाला प्रतिचित्र बदले मे M पर Hom(TM, φ^∗TN) वेक्टर बंडल के एक भाग (तन्तु बंडल) के रूप में देखा जा सकता है पूल प्रतिचित्र dφ को भी Tφ द्वारा निरूपित किया जाता है और इसे 'स्पर्शरेखा प्रतिचित्र' कहा जाता है। इस प्रकार, T फलननिर्धारक है।

वेक्टर क्षेत्रों का पुशफॉरवर्ड

सरल प्रतिचित्र φ : M → N और M पर एक वेक्टर क्षेत्र X दिया, सामान्य रूप से N पर कुछ वेक्टर क्षेत्र Y के साथ φ द्वारा X के एक पुशफॉरवर्ड की पहचान करना संभव नहीं है। उदाहरण के लिए, यदि प्रतिचित्र φ विशेषण नहीं है, तो वहाँ। φ की छवि के बाहर इस तरह के एक पुशफॉरवर्ड को परिभाषित करने का कोई स्वाभाविक तरीका नहीं है। साथ ही, यदि φ अंतःक्षेपी नहीं है, तो दिए गए बिंदु पर पुशफॉरवर्ड के एक से अधिक विकल्प हो सकते हैं। फिर भी, प्रतिचित्र के साथ एक वेक्टर क्षेत्र की धारणा का उपयोग करके, कोई भी इस समस्या को परिशुद्ध बना सकता है।

M पर φ∗TN के भाग को φ के साथ एक वेक्टर क्षेत्र कहा जाता है। उदाहरण के लिए, यदि M, N का उप-प्रसमष्टि है और φ समावेशन है, तो φ के साथ एक वेक्टर क्षेत्र M के साथ N के स्पर्शरेखा बंडल का एक भाग है; विशेष रूप से, M पर वेक्टर क्षेत्र TN के अंदर TM को सम्मिलित करने के माध्यम से ऐसे भाग को परिभाषित करता है। यह विचार एकपक्षीय रूप से सरल प्रतिचित्रों का सामान्यीकरण करता है।

मान लीजिए कि X, M पर वेक्टर क्षेत्र, अर्थात TM का एक भाग है। तब, $\operatorname {d} \!\phi \circ X$ उपरोक्त अर्थ में, पुशफॉरवर्ड φ_∗X देता है, जो φ के साथ एक वेक्टर क्षेत्र है, अर्थात, M पर φ∗TN का भाग है

N पर कोई वेक्टर क्षेत्र Y φ^∗TN के पुलबैक खंड φ^∗Y को (φ^∗Y)_x = Y_φ(x) के साथ M पर वेक्टर क्षेत्र X और N पर वेक्टर क्षेत्र Y को φ-संबंधित कहा जाता है यदि φ_∗X = φ^∗Y के साथ वेक्टर क्षेत्र के रूप में परिभाषित करता है।। दूसरे शब्दों में, M में सभी x के लिए dφ_x(X) = Y_φ(x) परिभाषित किया जाता है।

कुछ स्थितियों में, M पर एक X वेक्टर क्षेत्र दिया गया है, N पर अद्वितीय वेक्टर क्षेत्र Y है और जो φ-X से संबंधित है। यह विशेष रूप से सत्य है जब φ एक अवकलज है। इस स्थिति में, पुशवर्ड N पर वेक्टर क्षेत्र Y को परिभाषित करता है, जिसे दिया गया है

$Y_{y}=\phi _{*}\left(X_{\phi ^{-1}(y)}\right).$

अधिक सामान्य स्थिति तब उत्पन्न होती है और जब φ आच्छादक होता है (उदाहरण के लिए तन्तु बंडल का बंडल प्रक्षेपण)। तब M पर एक वेक्टर क्षेत्र X को 'प्रक्षेप्य' कहा जाता है यदि N में सभी y के लिए, dφ_x(X_x) φ⁻¹({y} में x के चयन से स्वतंत्र है। यह एक ऐसी स्थिति है जो प्रत्याभूति देती है कि N पर वेक्टर क्षेत्र के रूप में X का पुशफॉरवर्ड अच्छी तरह से परिभाषित है।

उदाहरण

लाइ समूहों पर गुणन से पुशफॉरवर्ड

लाइ समूह $G$ को देखते हुए, हम गुणन प्रतिचित्र $m(-,-):G\times G\to G$ का उपयोग बायां गुणन प्राप्त करने के लिए $L_{g}=m(g,-)$ और सही गुणन $R_{g}=m(-,g)$ कर सकते हैं और $G\to G$ को प्रतिचित्र करता है। इन मानचित्रों का उपयोग बाएँ या दाएँ अपरिवर्तनीय $G$ मूल बिंदु पर इसकी स्पर्शी समष्‍टि से ${\mathfrak {g}}=T_{e}G$ (जो इससे जुड़ा लाइ बीजगणित है) वेक्टर क्षेत्रों के निर्माण के लिए किया जा सकता है। उदाहरण के लिए दिए गए $X\in {\mathfrak {g}}$ हमें एक ${\mathfrak {X}}$ पर $G$ संबंधित वेक्टर क्षेत्र प्रत्येक के लिए $g\in G$ मिलता है। जिसे ${\mathfrak {X}}_{g}=(L_{g})_{*}(X)\in T_{g}G$ द्वारा परिभाषित किया गया है।

$\gamma (0)=e$ और $\gamma '(0)=X$

पुशफॉरवर्ड प्रतिचित्र की वक्र परिभाषा का उपयोग करके इसकी आसानी से गणना की जा सकती है। यदि हमारे पास वक्र

$\gamma :(-1,1)\to G$

जहाँ

मिलता है${\begin{aligned}(L_{g})_{*}(X)&=(L_{g}\circ \gamma )'(0)\\&=(g\cdot \gamma (t))'(0)\\&={\frac {dg}{d\gamma }}\gamma (0)+g\cdot {\frac {d\gamma }{dt}}(0)\\&=g\cdot \gamma '(0)\end{aligned}}$

चूंकि $L_{g}$ के संबंध में स्थिर $\gamma$ है। इसका तात्पर्य है कि हम स्पर्शरेखा समष्टि $T_{g}G$ और $T_{g}G=g\cdot T_{e}G=g\cdot {\mathfrak {g}}$ के समान की व्याख्या कर सकते हैं

कुछ लाइ समूहों के लिए पुशफॉरवर्ड

उदाहरण के लिए, यदि $G$ आव्यूह द्वारा दिया गया हाइजेनबर्ग समूह

$H=\left\{{\begin{bmatrix}1&a&b\\0&1&c\\0&0&1\end{bmatrix}}:a,b,c\in \mathbb {R} \right\}$

इसमें आव्यूह के समुच्चय द्वारा दिया गया लाई बीजगणित है

${\mathfrak {h}}=\left\{{\begin{bmatrix}0&a&b\\0&0&c\\0&0&0\end{bmatrix}}:a,b,c\in \mathbb {R} \right\}$

क्योंकि हम $\gamma :(-1,1)\to H$ के साथ ऊपरी आव्यूह प्रविष्टियों में से किसी एक में कोई भी वास्तविक संख्या देते हुए एक पथ $i<j$ (i-वें पंक्ति और j-वें स्तंभ) पा सकते हैं। तब,

के लिए $g={\begin{bmatrix}1&2&3\\0&1&4\\0&0&1\end{bmatrix}}$

हमारे पास

$T_{g}H=g\cdot {\mathfrak {h}}=\left\{{\begin{bmatrix}0&a&2b+3c\\0&0&c\\0&0&0\end{bmatrix}}:a,b,c\in \mathbb {R} \right\}$

जो आव्यूह के मूल समुच्चय के बराबर है। यह हमेशा स्थिति नहीं होता है, उदाहरण के लिए, समूह

$G=\left\{{\begin{bmatrix}a&b\\0&1/a\end{bmatrix}}:a,b\in \mathbb {R} ,a\neq 0\right\}$

हमारे पास आव्यूह के समुच्चय के रूप में इसका लाई बीजगणित है

${\mathfrak {g}}=\left\{{\begin{bmatrix}a&b\\0&-a\end{bmatrix}}:a,b\in \mathbb {R} \right\}$

इसलिए कुछ आव्यूह

के लिए $g={\begin{bmatrix}2&3\\0&1/2\end{bmatrix}}$

हमारे पास

$T_{g}G=\left\{{\begin{bmatrix}2a&2b-a/2\\0&-a/2\end{bmatrix}}:a,b\in \mathbb {R} \right\}$

जो आव्यूह का समान समुच्चय नहीं है।

यह भी देखें

• पुलबैक (अवकलन ज्यामिति)
• परिणाम आधारित उत्पादक मॉडल

संदर्भ

• Lee, John M. (2003). Introduction to Smooth Manifolds. Springer Graduate Texts in Mathematics. Vol. 218.
• Jost, Jürgen (2002). Riemannian Geometry and Geometric Analysis. Berlin: Springer-Verlag. ISBN 3-540-42627-2. See section 1.6.
• Abraham, Ralph; Marsden, Jerrold E. (1978). Foundations of Mechanics. London: Benjamin-Cummings. ISBN 0-8053-0102-X. See section 1.7 and 2.3.