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

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

यदि मानचित्र, φ, प्रत्येक प्रसमष्टि 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.