सहपरिवर्ती व्युत्पन्न

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

यह मुख्यतः भौतिकी में सामान्य सहप्रसरण के महत्व से प्रेरित है: सहसंयोजक व्युत्पन्न सामान्य रूप से इसके समन्वय परिवर्तन के अनुसार सहसंयोजक परिवर्तन को रूपांतरित करता है, जो कि रैखिक रूप से जैकोबियन आव्यूह और परिवर्तन के निर्धारक के माध्यम से प्रचलित होता है।

यह आलेख सदिश क्षेत्र के संबंध में सदिश क्षेत्र के सहसंयोजक व्युत्पन्न का परिचय प्रस्तुत करता है, दोनों समन्वय मुक्त भाषा में और स्थानीय समन्वय प्रणाली और पारंपरिक सूचकांक संकेतन का उपयोग करते हैं। इस प्रकार टेंसर क्षेत्र के सहसंयोजक व्युत्पन्न को उसी अवधारणा के साथ विस्तारित करके प्रस्तुत किया जाता हैं। सहसंयोजक व्युत्पन्न सदिश बंडल पर संयोजित होने से इससे जुड़ी भिन्नता की धारणा को सीधे सामान्य कर देता है, जिसे कोज़ुल संयोजन के रूप में भी जाना जाता है।

इतिहास
ऐतिहासिक रूप से यदि इस पर विचार करें तो 20वीं शताब्दी के समय में सहपरिवर्ती व्युत्पन्न को ग्रेगोरियो रिक्की-कर्बस्त्रो और टुल्लियो लेवी-सिविता द्वारा रिमेंनियन ज्यामिति और स्यूडो-रीमैनियन मैनिफोल्ड या स्यूडो- रिमानियन ज्यामिति के सिद्धांत में प्रस्तुत किया गया था। रिक्की और लेवी-सिविता ( एल्विन ब्रूनो क्रिस्टोफर के निम्नलिखित विचारों) ने देखा कि रीमैन टेंसर को परिभाषित करने के लिए उपयोग किए गए क्रिस्टोफेल प्रतीक भी इसके व्युत्पन्न की धारणा को प्रदान कर सकते हैं जो कई गुना सदिश क्षेत्रों के मौलिक दिशात्मक व्युत्पन्न को सामान्यीकृत करता है। यह नया व्युत्पन्न - लेवी-सिटीवा संयोजन - सहप्रसरण और सदिशों का प्रतिप्रसरण इस अर्थ में था कि यह रीमैन की आवश्यकता को संतुष्ट करता है कि ज्यामिति में वस्तुओं को विशेष समन्वय प्रणाली में उनके विवरण से स्वतंत्र होना चाहिए।

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

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

प्रेरणा


सहपरिवर्ती व्युत्पन्न सदिश कलन से दिशात्मक व्युत्पन्न का सामान्यीकरण है। इस प्रकार दिशात्मक व्युत्पन्न के साथ, सहसंयोजक व्युत्पन्न नियम $$\nabla_{\mathbf u}{\mathbf v}$$ है, जो इसके इनपुट के रूप में लेता है: (1) वेक्टर, U, जो बिंदु P पर परिभाषित हैं और (2) वेक्टर फील्ड V जो P के समीप परिभाषित किया गया हैं। इस स्थिति में आउटपुट वेक्टर $$\nabla_{\mathbf u}{\mathbf v}(P)$$ है, जो बिंदु P पर भी प्रदर्शित होता हैं। इसके सामान्य दिशात्मक व्युत्पन्न से प्राथमिक अंतर $$\nabla_{\mathbf u}{\mathbf v}$$ है, जिसको निश्चित अर्थ में, उस विधि से स्वतंत्र होना चाहिए जिसमें यह समन्वय प्रणाली में व्यक्त किया गया जाता हैं।

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

यूक्लिडियन अंतरिक्ष के स्थितियोंमें, सामान्यतः सदिश क्षेत्र के दिशात्मक व्युत्पन्न को दो पास के बिंदुओं पर दो सदिशों के बीच के अंतर के संदर्भ में परिभाषित किया जाता है।

ऐसी प्रणाली में सदिश का दूसरे के मूल में अनुवाद (ज्यामिति) को प्रकट करती हैं, इसे समानांतर रखते हुए, फिर ही सदिश स्थान के भीतर उनके अंतर को लिया जाता हैं। इस कार्टेशियन (फिक्स्ड ऑर्थोनॉर्मल) समन्वय प्रणाली के साथ घटकों को स्थिर रखने के लिए इसे समानांतर मात्रा में रखते हुए यूक्लिडियन अंतरिक्ष पर यह सामान्य दिशात्मक व्युत्पन्न सहसंयोजक व्युत्पन्न का पहला उदाहरण है।

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

$γ(t)$ यूक्लिडियन विमान में वक्र के अनुदिश गतिमान कण के उदाहरण पर विचार करें। ध्रुवीय निर्देशांक में, $γ$ इसके रेडियल और कोणीय निर्देशांक $γ(t) = (r(t), θ(t))$ के संदर्भ में लिखा जा सकता है, इसकी विशेष समय में वेक्टर $t$ (उदाहरण के लिए, कण का निरंतर त्वरण) $$(\mathbf{e}_r, \mathbf{e}_{\theta})$$ के रूप में व्यक्त किया जाता है, जहाँ $$\mathbf{e}_r$$ और $$\mathbf{e}_{\theta}$$ ध्रुवीय निर्देशांक के लिए इकाई स्पर्शरेखा वैक्टर हैं, जो रेडियल और स्पर्शरेखा घटक के संदर्भ में वेक्टर को विघटित करने के आधार के रूप में कार्य करते हैं। इसके थोड़ी देर बाद ध्रुवीय निर्देशांक में नया आधार पहले सेट के संबंध में थोड़ा घूमता हुआ दिखाई देता है। इसके आधार पर वैक्टर (क्रिस्टोफेल प्रतीक) के सहपरिवर्ती व्युत्पन्न इस परिवर्तन को व्यक्त करने के लिए सेवा प्रदान करते हैं।

इस घुमावदार स्थान मे जैसे कि पृथ्वी की सतह (एक क्षेत्र के रूप में माना जाता है), विभिन्न बिंदुओं के बीच स्पर्शरेखा सदिशों का अनुवाद (ज्यामिति) अच्छी तरह से परिभाषित नहीं है, और इसके अनुरूप, समानांतर परिवहन, पथ पर निर्भर करता है जिसके साथ सदिश अनुवादित होता हैं। भूमध्य रेखा पर ग्लोब पर बिंदु Q पर वेक्टर उत्तर की ओर निर्देशित होता है। मान लीजिए कि हम वेक्टर (इसे समानांतर रखते हुए) को पहले भूमध्य रेखा के साथ बिंदु P पर ले जाते हैं, फिर इसे भूमध्य रेखा के साथ N ध्रुव तक खींचता हैं, और अंत में इसे दूसरे भूमध्य रेखा के साथ Q पर वापस ले जाते हैं। फिर हम देखते हैं कि समानांतर-परिवहन वेक्टर बंद परिपथ के साथ उसी वेक्टर के रूप में वापस नहीं आता है, इसके अतिरिक्त इसका और अभिविन्यास स्थापित करता हैं। यह यूक्लिडियन अंतरिक्ष में नहीं होगा और ग्लोब की सतह की वक्रता के कारण होता है। इस प्रभाव को तब जाँचा जाता हैं जब हम सदिश को उच्च रूप से छोटी बंद सतह पर बाद में दो दिशाओं में और फिर वापस खींचते हैं। इस सदिश का यह अतिसूक्ष्म परिवर्तन रिमेंनियन मैनिफोल्ड्स की वक्रता का उपाय मिलता है, और सहसंयोजक व्युत्पन्न के संदर्भ में परिभाषित किया जा सकता है।

टिप्पणी

 * सहसंयोजक व्युत्पन्न की परिभाषा अंतरिक्ष में मीट्रिक का उपयोग नहीं करती है। चूंकि प्रत्येक मीट्रिक के लिए लेवी सीविटा संयोजन नामक अद्वितीय मुड़े हुए टेंसर मुक्त सहसंयोजक पर व्युत्पन्न होता है, जैसे कि मीट्रिक का सहसंयोजक व्युत्पन्न शून्य होता है।
 * एक व्युत्पन्न के गुणों का अर्थ $$\nabla_\mathbf{v} \mathbf{u}$$ है इस प्रकार बिंदु p के मनमाने ढंग से छोटे समीप पर U के मानों पर उसी प्रकार निर्भर करता है। इस प्रकार किसी दिए गए बिंदु p पर वक्र के साथ स्केलर फ़ंक्शन f का व्युत्पन्न p के मनमाने ढंग से छोटे समीप में f के मानों पर निर्भर करता है।
 * सहसंयोजक व्युत्पन्न में बिंदु p के समीप की जानकारी का उपयोग सदिश के समानांतर परिवहन को परिभाषित करने के लिए किया जा सकता है। इसके अतिरिक्त रिमेंनियन मैनिफोल्ड्स, मरोड़ टेंसर और जियोडेसिक की वक्रता को केवल सहसंयोजक व्युत्पन्न या संयोजन (वेक्टर बंडल) के विचार पर अन्य संबंधित भिन्नता के संदर्भ में परिभाषित किया जाता हैं।

यूक्लिडियन स्पेस में एम्बेडिंग का उपयोग करके अनौपचारिक परिभाषा
मान लीजिए ओपेन उपसमुच्चय $$U$$ का $$d$$-डायमेंशनल रीमैनियन मैनिफोल्ड $$M$$ यूक्लिडियन अंतरिक्ष $$(\R^n, \langle\cdot, \cdot\rangle)$$ में सन्निहित है इसकी चिकनाई के माध्यम से # भिन्नता वर्ग या दो बार क्रम से अलग-अलग (C$t$) मैपिंग $$\vec\Psi : \R^d \supset U \to \R^n$$ को प्रदर्शित करता है, यह कुछ इस प्रकार हैं कि स्पर्शरेखा स्थान पर $$\vec\Psi(p) \in M$$ वैक्टर द्वारा प्रसारित रहता है$$\left\{ \left. \frac{\partial\vec\Psi}{\partial x^i} \right|_p : i \in \{ 1, \dots, d\}\right\}$$और अदिश उत्पाद $$\left \langle \cdot, \cdot \right \rangle $$ पर $$\R^n$$ एम पर मीट्रिक के साथ संगत है:$$g_{ij} = \left\langle \frac{\partial\vec\Psi}{\partial x^i}, \frac{\partial\vec\Psi}{\partial x^j} \right\rangle.$$(चूंकि मैनिफोल्ड मेट्रिक को सदैव नियमित माना जाता है, अनुकूलता की स्थिति का तात्पर्य आंशिक व्युत्पन्न स्पर्शरेखा सदिशों की रैखिक स्वतंत्रता से है।)

स्पर्शरेखा सदिश क्षेत्र के लिए, $\vec V = v^j \frac{\partial \vec\Psi}{\partial x^j}$, जिसके पास$$\frac{\partial\vec V}{\partial x^i} = \frac{\partial}{\partial x^i} \left( v^j \frac{\partial \vec\Psi}{\partial x^j} \right)= \frac{\partial v^j}{\partial x^i} \frac{\partial\vec \Psi}{\partial x^j} + v^j \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j} .$$अंतिम शब्द M के लिए स्पर्शरेखा नहीं है, किन्तु क्रिस्टोफेल प्रतीकों का उपयोग रैखिक कारकों के साथ-साथ स्पर्शरेखा अंतरिक्ष के लिए वेक्टर ऑर्थोगोनल के रूप में टेंगेंट स्पेस बेस वैक्टर के रैखिक संयोजन के रूप में व्यक्त किया जा सकता है:$$ \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j} = {\Gamma^k}_{ij} \frac{\partial\vec\Psi}{\partial x^k} + \vec n. $$लेवी-सिविता संयोजन के स्थितियोंमें, सहसंयोजक डेरिवेटिव $$\nabla_{\mathbf{e}_i} \vec V$$ पर लिखा भी है। $\nabla_i \vec V$, को स्पर्शरेखा स्थान पर सामान्य व्युत्पन्न के ऑर्थोगोनल प्रक्षेपण के रूप में परिभाषित किया गया है:$$ \nabla_{\mathbf{e}_i} \vec V := \frac{\partial\vec V}{\partial x^i} - \vec n = \left( \frac{\partial v^k}{\partial x^i} + v^j {\Gamma^k}_{ij} \right) \frac{\partial\vec\Psi}{\partial x^k}. $$लेवी-सिविता संयोजन और मीट्रिक के लिए क्रिस्टोफेल प्रतीकों के बीच संबंध प्राप्त करने के लिए, पहले हमें ध्यान देना चाहिए कि, चूंकि $$\vec n$$ पिछले समीकरण में स्पर्शरेख स्थान के लिए ओर्थोगोनल है:$$ \left\langle \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j}, \frac{\partial\vec \Psi}{\partial x^l} \right\rangle = \left\langle {\Gamma^k}_{ij} \frac{\partial\vec\Psi}{\partial x^k} + \vec n, \frac{\partial\vec \Psi}{\partial x^l} \right\rangle = {\Gamma^k}_{ij} \left\langle \frac{\partial\vec\Psi}{\partial x^k}, \frac{\partial\vec\Psi}{\partial x^l} \right\rangle = {\Gamma^k}_{ij} \, g_{kl}. $$दूसरा, मीट्रिक के घटक का आंशिक व्युत्पन्न है:$$ \frac{\partial g_{ab}}{\partial x^c} = \frac{\partial}{ \partial x^c} \left\langle \frac{\partial \vec\Psi}{ \partial x^a}, \frac{\partial \vec\Psi}{\partial x^b} \right\rangle = \left\langle \frac{\partial^2 \vec\Psi}{ \partial x^c \, \partial x^a}, \frac{\partial \vec\Psi}{\partial x^b} \right\rangle + \left\langle \frac{\partial \vec\Psi}{\partial x^a}, \frac{\partial^2 \vec\Psi}{ \partial x^c \, \partial x^b} \right\rangle $$इस आधार के लिए $x^i, x^j, x^k$, से तात्पर्य है कि स्केलर उत्पाद की समरूपता का उपयोग करना और आंशिक विभेदन के क्रम की अदला-बदली करना पड़ता हैं:$$ \begin{pmatrix} \frac{\partial g_{jk}}{\partial x^i} \\ \frac{\partial g_{ki}}{\partial x^j} \\ \frac{\partial g_{ij}}{\partial x^k} \end{pmatrix} = \begin{pmatrix} 0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 0 \end{pmatrix} \begin{pmatrix} \left\langle \frac{\partial\vec \Psi}{\partial x^i}, \frac{\partial^2 \vec\Psi}{\partial x^j \, \partial x^k} \right\rangle \\ \left\langle \frac{\partial\vec \Psi}{\partial x^j}, \frac{\partial^2 \vec\Psi}{\partial x^k \, \partial x^i} \right\rangle \\ \left\langle \frac{\partial\vec \Psi}{\partial x^k}, \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j} \right\rangle \end{pmatrix} $$पहली पंक्ति को दूसरी से जोड़ना और तीसरी को घटाना:$$ \frac{\partial g_{jk}}{\partial x^i} + \frac{\partial g_{ki}}{\partial x^j} - \frac{\partial g_{ij}}{\partial x^k} = 2\left\langle \frac{\partial\vec \Psi}{\partial x^k}, \frac{\partial^2 \vec\Psi}{\partial x^i \, \partial x^j} \right\rangle $$और मीट्रिक के संदर्भ में लेवी-सिविता संयोजन के लिए क्रिस्टोफ़ेल प्रतीकों का उत्पादन करता है:$$ g_{kl} {\Gamma^k}_{ij} = \frac{1}{2} \left( \frac{\partial g_{jl}}{\partial x^i} + \frac{\partial g_{li}}{\partial x^j}- \frac{\partial g_{ij}}{\partial x^l}\right). $$

एक बहुत ही सरल उदाहरण के लिए जो उपरोक्त विवरण के सार को दर्शाता है, कागज की सपाट शीट पर वृत्त बनाता हैं। इस वृत्त के चारों ओर स्थिर गति से यात्रा करते हैं। इसके वेग के व्युत्पन्न को त्वरण के सदिश स्थिति के लिए सदैव अंदर की ओर इंगित करता है। कागज की इस शीट को बेलन में बेल लिया जाता हैं। अब आपके वेग के व्युत्पन्न (यूक्लिडियन) में घटक होता है जो कभी-कभी सिलेंडर की धुरी की ओर इंगित करता है, यह इस पर निर्भर करता है कि आप संक्रांति या विषुव के पास हैं या नहीं हैं। (वृत्त के बिंदु पर जब आप अक्ष के समानांतर चल रहे होते हैं, कोई आवक त्वरण नहीं होता है। इसके विपरीत, बिंदु पर (बाद में वृत्त का 1/4) जब वेग सिलेंडर के मोड़ के साथ होता है, तो आवक त्वरण अधिकतम होता है।) यह (यूक्लिडियन) सामान्य घटक है। सहसंयोजक व्युत्पन्न घटक सिलेंडर की सतह के समानांतर घटक है, और यह वैसा ही है जैसा आपने शीट को सिलेंडर में रोल करने से पहले किया था।

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

कार्य
यहाँ पर $$p \in M$$ बिंदु दिया गया है जो कई गुना $$M$$, मान के लिए इसके वास्तविक कार्य $$f : M \to \R$$ पर कई गुना और स्पर्शरेखा वेक्टर पर $$\mathbf{v} \in T_pM$$, सहपरिवर्ती व्युत्पन्न $f$ पर $p$ साथ में $v$ पर अदिश है $p$, निरूपित $$\left(\nabla_\mathbf{v} f\right)_p$$ करता हैं, जो f के मान में परिवर्तन के प्रधान भाग के लिए फंक्शन का प्रतिनिधित्व करता है। जब इसका तर्क $f$ को अपरिमित विस्थापन सदिश $v$ द्वारा परिवर्तित करता है। (यह $f$ फंक्शन का अंतर है जो वेक्टर $v$ के विरुद्ध मूल्यांकन किया गया हैं।) औपचारिक रूप से, अवकलनीय वक्र $$\phi:[-1, 1]\to M$$ होता है, ऐसा इसलिए है क्यूंकि $$\phi(0) = p$$ और $$\phi'(0) = \mathbf{v}$$ का मान प्रदर्शित करता हैं और P पर F के सहसंयोजक व्युत्पन्न द्वारा परिभाषित किया जाता हैं।$$\left(\nabla_\mathbf{v} f\right)_p = \left(f \circ \phi\right)'\left(0\right) = \lim_{t \to 0} \frac{ f(\phi\left(t\right)) - f(p) }{t}.$$जब $$\mathbf{v} : M \to T_pM$$ सदिश क्षेत्र प्राप्त होता है तब  $$M$$, सहसंयोजक व्युत्पन्न $$\nabla_\mathbf{v}f : M \to \R $$ पर निर्दिष्ट होता हैं। यह वह कार्य है जो f और 'v' स्केलर के सामान्य डोमेन $$\left(\nabla_\mathbf{v}f\right)_p$$ में प्रत्येक बिंदु p से संबद्ध है।

इस प्रकार अदिश फलन f और सदिश क्षेत्र 'v' के लिए, सहपरिवर्ती व्युत्पन्न $$\nabla_\mathbf{v} f$$ false व्युत्पन्न $$L_v(f)$$ और बाहरी व्युत्पन्न $$df(v)$$ के साथ मेल खाता है।

वेक्टर क्षेत्र
एक बिंदु $$p$$दिया गया हैं जो कई गुना $$M$$, वेक्टर क्षेत्र $$\mathbf{u} : M \to T_p M$$ P और स्पर्शरेखा सदिश के समीप परिभाषित $$\mathbf{v} \in T_pM$$, v के साथ p पर u का सहपरिवर्ती व्युत्पन्न p पर स्पर्शरेखा सदिश है, जिसे $$(\nabla_\mathbf{v} \mathbf{u})_p$$ द्वारा निरूपित किया गया है, जैसे कि निम्नलिखित गुण धारण करते हैं (p पर किसी भी स्पर्शरेखा वैक्टर v, x और y के लिए, वेक्टर क्षेत्र u और w p के समीप में परिभाषित हैं, अदिश मान g और h at p, और स्केलर फंक्शन f को p के समीप में परिभाषित किया गया है): ध्यान दें कि $$\left(\nabla_\mathbf{v} \mathbf{u}\right)_p$$ न केवल p पर u के मान पर निर्भर करता है, बल्कि अंतिम संपत्ति, उत्पाद नियम के कारण p के अतिसूक्ष्म समीप में u के मूल्यों पर भी निर्भर करता है।
 * 1) $$\left(\nabla_\mathbf{v} \mathbf{u}\right)_p$$ में रैखिक $$\mathbf{v}$$ है  इसलिए $$\left(\nabla_{g\mathbf{x} + h\mathbf{y}} \mathbf{u}\right)_p = \left(\nabla_\mathbf{x} \mathbf{u}\right)_p g + \left(\nabla_\mathbf{y} \mathbf{u}\right)_p h$$
 * 2) $$\left(\nabla_\mathbf{v} \mathbf{u}\right)_p$$ में योगात्मक $$\mathbf{u}$$ है इसलिए: $$\left(\nabla_\mathbf{v}\left[\mathbf{u} + \mathbf{w}\right]\right)_p = \left(\nabla_\mathbf{v} \mathbf{u}\right)_p + \left(\nabla_\mathbf{v} \mathbf{w}\right)_p$$
 * 3) $$(\nabla_\mathbf{v} \mathbf{u})_p$$ उत्पाद नियम का पालन करता है, अर्थात, जहाँ $$\nabla_\mathbf{v}f$$ ऊपर परिभाषित किया गया है, $$\left(\nabla_\mathbf{v} \left[f\mathbf{u}\right]\right)_p = f(p)\left(\nabla_\mathbf{v} \mathbf{u})_p + (\nabla_\mathbf{v}f\right)_p\mathbf{u}_p.$$

यदि $u$ और $v$ दोनों वेक्टर क्षेत्र सामान्य डोमेन पर परिभाषित हैं, फिर $$\nabla_\mathbf{v}\mathbf u$$ सदिश क्षेत्र को दर्शाता है जिसका डोमेन के प्रत्येक बिंदु p पर मान स्पर्शरेखा $$\left(\nabla_\mathbf{v}\mathbf u\right)_p$$ सदिश है।

कोवेक्टर क्षेत्र
कोवेक्टर अंतरिक्ष (या रूप) के क्षेत्र $$\alpha$$ को देखते हुए P के समीप में परिभाषित किया गया है, इसका सहसंयोजक व्युत्पन्न $$(\nabla_\mathbf{v}\alpha)_p$$ परिणामी संचालन को टेन्सर संकुचन और उत्पाद नियम के अनुकूल बनाने के लिए तरह से परिभाषित किया गया है। वह $$(\nabla_\mathbf{v}\alpha)_p$$ है जो P पर अद्वितीय रूप में परिभाषित किया गया है जैसे कि निम्नलिखित पहचान P के समीप में सभी वेक्टर क्षेत्रों 'U' के लिए संतुष्ट है$$\left(\nabla_\mathbf{v}\alpha\right)_p \left(\mathbf{u}_p\right) = \nabla_\mathbf{v}\left[\alpha\left(\mathbf{u}\right)\right]_p - \alpha_p\left[\left(\nabla_\mathbf{v}\mathbf{u}\right)_p\right].$$एक सदिश क्षेत्र के साथ कोवेक्टर क्षेत्र का सहपरिवर्ती व्युत्पन्न $v$ फिर से कोवेक्टर क्षेत्र है।

टेन्सर क्षेत्र
एक बार सहसंयोजक व्युत्पन्न को वैक्टर और कोवेक्टर के क्षेत्रों के लिए परिभाषित किया जाता है, इसे टेन्सर क्षेत्रों की प्रत्येक जोड़ी के लिए निम्नलिखित पहचानों को लागू करके स्वैच्छिक टेन्सर (आंतरिक परिभाषा) क्षेत्रों के लिए परिभाषित किया जा सकता है। $$ \varphi$$ और $$\psi $$ बिंदु P के समीप में:$$\nabla_\mathbf{v}\left(\varphi \otimes \psi\right)_p = \left(\nabla_\mathbf{v}\varphi\right)_p \otimes \psi(p) + \varphi(p) \otimes \left(\nabla_\mathbf{v}\psi\right)_p,$$और $$\varphi$$ के लिए $$\psi$$ समान वैलेंस का मान प्रदर्शित करता हैं।$$\nabla_\mathbf{v}(\varphi + \psi)_p = (\nabla_\mathbf{v}\varphi)_p + (\nabla_\mathbf{v}\psi)_p.$$एक सदिश क्षेत्र v के साथ टेंसर क्षेत्र का सहपरिवर्ती व्युत्पन्न फिर से उसी प्रकार का टेंसर क्षेत्र है।

स्पष्ट रूप से, 'T' प्रकार का टेन्सर क्षेत्र (p, q) होने दें, इसलिए T को चिकने फंक्शन अनुभाग (फाइबर बंडल) α का अलग-अलग बहुरेखीय नक्शा माना जाता है

1 a 2, एकोटैंजेंट बंडल T का q∗M और सेक्शन X1, x2, …, xp स्पर्शरेखा बंडल TM का, लिखा हुआ T(α1 a 2, ..., x1, x2, …) को R में प्रदर्शित होता हैं। इस प्रकार Y के साथ T का सहसंयोजक व्युत्पन्न सूत्र द्वारा दिया गया है$$\begin{align} (\nabla_Y T)\left(\alpha_1, \alpha_2, \ldots, X_1, X_2, \ldots\right) = &{} \nabla_Y\left(T\left(\alpha_1,\alpha_2, \ldots, X_1, X_2, \ldots\right)\right) \\ &{}- T\left(\nabla_Y\alpha_1, \alpha_2, \ldots, X_1, X_2, \ldots\right) - T\left(\alpha_1, \nabla_Y\alpha_2, \ldots, X_1, X_2, \ldots\right) - \cdots \\ &{}- T\left(\alpha_1, \alpha_2, \ldots, \nabla_YX_1, X_2, \ldots\right) - T\left(\alpha_1, \alpha_2, \ldots, X_1, \nabla_Y X_2, \ldots\right) - \cdots \end{align}$$

समन्वय विवरण
दिए गए समन्वय कार्य $$x^i,\ i=0,1,2,\dots ,$$किसी भी स्पर्शरेखा वेक्टर को उसके घटकों के आधार पर वर्णित किया जा सकता है $$\mathbf{e}_i = \frac{\partial}{\partial x^i} .$$बेस वेक्टर के साथ बेस वेक्टर का कोवैरिएंट डेरिवेटिव फिर से वेक्टर होता है और इसलिए इसे रैखिक संयोजन $$\Gamma^k \mathbf{e}_k$$ के रूप में व्यक्त किया जा सकता है। सहसंयोजक व्युत्पन्न को निर्दिष्ट करने के लिए यह पर्याप्त है कि प्रत्येक आधार सदिश क्षेत्र के सहपरिवर्ती व्युत्पन्न को $$\mathbf{e}_i$$ साथ में $$\mathbf{e}_j$$ निर्दिष्ट किया जाता हैं।$$ \nabla_{\mathbf{e}_j} \mathbf{e}_i = {\Gamma^k}_{i j} \mathbf{e}_k,$$गुणांक $$\Gamma^k_{i j}$$ स्थानीय निर्देशांक की प्रणाली के संबंध में कनेक्शन के घटक हैं। रीमैनियन और स्यूडो-रीमैनियन मैनिफोल्ड्स के सिद्धांत में, स्थानीय निर्देशांक की प्रणाली के संबंध में लेवी-सिविता कनेक्शन के घटकों को क्रिस्टोफेल प्रतीक कहा जाता है। फिर परिभाषा में नियमों का उपयोग करते हुए, हम पाते हैं कि सामान्य सदिश क्षेत्रों के लिए $$\mathbf{v} = v^j \mathbf{e}_j $$ और $$\mathbf{u} = u^i \mathbf{e}_i$$ हम पाते हैं$$\begin{align} \nabla_\mathbf{v} \mathbf{u} &= \nabla_{v^j \mathbf{e}_j} u^i \mathbf{e}_i \\ &= v^j \nabla_{\mathbf{e}_j} u^i \mathbf{e}_i \\ &= v^j u^i \nabla_{\mathbf{e}_j} \mathbf{e}_i + v^j \mathbf{e}_i \nabla_{\mathbf{e}_j} u^i \\ &= v^j u^i {\Gamma^k}_{i j}\mathbf{e}_k + v^j{\partial u^i \over \partial x^j} \mathbf{e}_i \end{align}$$इसलिए$$ \nabla_\mathbf{v} \mathbf{u} = \left(v^j u^i {\Gamma^k}_{i j} + v^j {\partial u^k\over\partial x^j} \right)\mathbf{e}_k .$$इस सूत्र में पहला पद सहसंयोजक व्युत्पन्न के संबंध में समन्वय प्रणाली को घुमा देने के लिए और दूसरा सदिश क्षेत्र यू के घटकों के परिवर्तन के लिए जिम्मेदार है। विशेष रूप से$$\nabla_{\mathbf{e}_j} \mathbf{u} = \nabla_j \mathbf{u} = \left( \frac{\partial u^i}{\partial x^j} + u^k {\Gamma^i}_{kj} \right) \mathbf{e}_i $$शब्दों में: सहसंयोजक व्युत्पन्न सामान्य व्युत्पन्न है जो निर्देशांक के साथ सुधार की शर्तों के साथ होता है जो बताता है कि निर्देशांक कैसे परिवर्तित होते हैं। को वैक्टर के लिए इसी प्रकार हमारे पास है$$\nabla_{\mathbf{e}_j} {\mathbf \theta} = \left( \frac{\partial \theta_i}{\partial x^j} - \theta_k {\Gamma^k}_{ij} \right) {\mathbf e^*}^i $$जहाँ $${\mathbf e^*}^i (\mathbf{e}_j) = {\delta^i}_j$$.

एक प्रकार का सहपरिवर्ती व्युत्पन्न $(r, s)$ टेंसर फ़ील्ड साथ $$e_c$$ अभिव्यक्ति द्वारा दिया गया है:$$\begin{align} {(\nabla_{e_c} T)^{a_1 \ldots a_r}}_{b_1 \ldots b_s} = {} &\frac{\partial}{\partial x^c}{T^{a_1 \ldots a_r}}_{b_1 \ldots b_s} \\ &+ \,{\Gamma ^{a_1}}_{dc} {T^{d a_2 \ldots a_r}}_{b_1 \ldots b_s} + \cdots + {\Gamma^{a_r}}_{dc} {T^{a_1 \ldots a_{r-1}d}}_{b_1 \ldots b_s} \\ &-\,{\Gamma^d}_{b_1 c} {T^{a_1 \ldots a_r}}_{d b_2 \ldots b_s} - \cdots - {\Gamma^d}_{b_s c} {T^{a_1 \ldots a_r}}_{b_1 \ldots b_{s-1} d}. \end{align}$$या, शब्दों में: टेंसर का आंशिक व्युत्पन्न लें और जोड़ें: $$+{\Gamma^{a_i}}_{dc}$$ हर ऊपरी सूचकांक के लिए $$a_i$$, और $$-{\Gamma^d}_{b_ic}$$ हर निचले सूचकांक के लिए $$b_i$$.

यदि टेंसर के अतिरिक्त, टेंसर घनत्व (वजन +1) में अंतर करने का प्रयास कर रहा है, तो कोई शब्द भी जोड़ता है$$-{\Gamma^d}_{d c} {T^{a_1 \ldots a_r}}_{b_1 \ldots b_s}.$$यदि यह भार W का टेन्सर घनत्व है, तो उस पद को W से गुणा करें। उदाहरण के लिए, $ \sqrt{-g}$ अदिश घनत्व (वजन +1) है, इसलिए हम प्राप्त करते हैं:$$\left(\sqrt{-g}\right)_{;c} = \left(\sqrt{-g}\right)_{,c} - \sqrt{-g}\,{\Gamma^d}_{d c}$$जहां अर्धविराम; सहपरिवर्ती विभेदन और अल्पविराम को इंगित करता है, आंशिक विभेदन को इंगित करता है। संयोग से, यह विशेष अभिव्यक्ति शून्य के बराबर है, क्योंकि केवल मीट्रिक के फ़ंक्शन का सहसंयोजक व्युत्पन्न हमेशा शून्य होता है।

नोटेशन
भौतिक विज्ञान की पाठ्यपुस्तकों में सहपरिवर्ती अवकलज को कभी-कभी इस समीकरण में इसके घटकों के संदर्भ में सरलता से कहा जाता है।

अधिकांशतःएक संकेतन का उपयोग किया जाता है जिसमें सहसंयोजक व्युत्पन्न अर्धविराम के साथ दिया जाता है, जबकि सामान्य आंशिक व्युत्पन्न अल्पविराम द्वारा इंगित किया जाता है। इस संकेतन में हम इसे इस प्रकार लिखते हैं:$$ \nabla_{e_j} \mathbf{v} \ \stackrel{\mathrm{def}}{=}\ {v^s}_{;j}\mathbf{e}_s \;\;\;\;\;\; {v^i}_{;j} = {v^i}_{,j} + v^k {\Gamma^i}_{k j} $$यदि अर्धविराम के बाद दो या दो से अधिक इंडेक्स दिखाई देते हैं, तो उन सभी को सहसंयोजक डेरिवेटिव के रूप में समझा जाना चाहिए:$$ \nabla_{e_k} \left( \nabla_{e_j} \mathbf{v} \right) \ \stackrel{\mathrm{def}}{=}\ {v^s}_{;jk}\mathbf{e}_s $$कुछ पुराने ग्रंथों में (विशेष रूप से एडलर, बेज़िन और शिफर, सामान्य सापेक्षता का परिचय), सहसंयोजक व्युत्पन्न को डबल पाइप और आंशिक व्युत्पन्न को एकल पाइप द्वारा दर्शाया गया है:$$\nabla_{e_j} \mathbf{v} \ \stackrel{\mathrm{def}}{=}\ {v^i}_{||j} = {v^i}_{|j} + v^k {\Gamma^i}_{k j}$$

क्षेत्र प्रकार द्वारा सहपरिवर्ती व्युत्पन्न
एक अदिश क्षेत्र के लिए $$ \phi\,$$, सहसंयोजक विभेदीकरण केवल आंशिक विभेदन है:$$ \phi_{;a} \equiv \partial_a \phi$$एक प्रतिपरिवर्ती सदिश क्षेत्र के लिए $$\lambda^a$$, अपने पास:$${\lambda^a}_{;b} \equiv \partial_b \lambda^a + {\Gamma^a}_{bc}\lambda^c$$एक सहसंयोजक वेक्टर क्षेत्र के लिए $$\lambda_a$$, अपने पास:$$\lambda_{a;c} \equiv \partial_c \lambda_a - {\Gamma^b}_{c a}\lambda_b$$एक प्रकार (2,0) टेंसर फ़ील्ड के लिए $$\tau^{a b}$$, अपने पास:$${\tau^{a b}}_{;c} \equiv \partial_c \tau^{a b} + {\Gamma^a}_{c d}\tau^{d b} + {\Gamma^b}_{c d}\tau^{a d} $$एक प्रकार (0,2) टेंसर फ़ील्ड के लिए $$\tau_{a b}$$, अपने पास:$$\tau_{a b ;c} \equiv \partial_c \tau_{a b} - {\Gamma^d}_{c a}\tau_{d b} - {\Gamma^d}_{c b}\tau_{a d}$$एक प्रकार (1,1) टेंसर फ़ील्ड के लिए $${\tau^{a}}_{b}$$, अपने पास:$${\tau^a}_{b;c}\equiv \partial_c {\tau^a}_b + {\Gamma^a}_{c d}{\tau^d}_b - {\Gamma^d}_{c b} {\tau^a}_d $$उपरोक्त संकेतन अर्थ में है$${\tau^{a b}}_{;c} \equiv \left(\nabla_{\mathbf{e}_c}\tau\right)^{a b}$$

गुण
सामान्यतः, सहपरिवर्ती डेरिवेटिव कम्यूट नहीं करते हैं। उदाहरण के लिए, सदिश क्षेत्र के सहपरिवर्ती डेरिवेटिव $$\lambda_{a;bc} \neq \lambda_{a;cb}$$. रीमैन टेंसर $${R^d}_{abc} $$ इस प्रकार परिभाषित किया गया है कि: $$ \lambda_{a;bc} - \lambda_{a;cb} = {R^d}_{abc}\lambda_d$$ या, समकक्ष, $$ {\lambda^a}_{;bc} - {\lambda^a}_{;cb} = -{R^a}_{dbc}\lambda^d$$ एक (2,0)-टेंसर क्षेत्र का सहपरिवर्ती व्युत्पन्न पूरा करता है: $$ {\tau^{ab}}_{;cd} - {\tau^{ab}}_{;dc} = -{R^a}_{ecd}\tau^{eb} - {R^b}_{ecd}\tau^{ae}$$ उत्तरार्द्ध को (सामान्यता के नुकसान के बिना) लेकर दिखाया जा सकता है $$\tau^{ab} = \lambda^a \mu^b $$.

एक वक्र के साथ व्युत्पन्न
सहसंयोजक व्युत्पन्न के बाद से $$\nabla_X T$$ टेंसर क्षेत्र का $$T$$ बिंदु पर $$p$$ केवल सदिश क्षेत्र के मान पर निर्भर करता है $$X$$ पर $$p$$ चिकनी वक्र के साथ सहसंयोजक व्युत्पन्न को परिभाषित कर सकता है $$\gamma(t)$$ कई गुना में: $$D_tT=\nabla_{\dot\gamma(t)}T.$$ ध्यान दें कि टेंसर फ़ील्ड $$T$$ केवल वक्र पर परिभाषित करने की आवश्यकता है $$\gamma(t)$$ इस परिभाषा को समझने के लिए।

विशेष रूप से, $$\dot{\gamma}(t)$$ वक्र के साथ सदिश क्षेत्र है $$\gamma$$ अपने आप। यदि $$\nabla_{\dot\gamma(t)}\dot\gamma(t)$$ लुप्त हो जाता है तो वक्र को सहसंयोजक व्युत्पन्न का जियोडेसिक कहा जाता है। यदि सहसंयोजक व्युत्पन्न मीट्रिक टेंसर का लेवी-सीविटा कनेक्शन है। सकारात्मक-निश्चित मीट्रिक तो कनेक्शन के लिए geodesics त्रुटिहीन रूप से मीट्रिक के जियोडेसिक्स हैं जो आर्क लंबाई # सामान्यीकरण से (छद्म-) रीमैनियन मैनिफोल्ड द्वारा पैरामीट्रिज किए गए हैं।

वक्र के साथ व्युत्पन्न का उपयोग वक्र के समानांतर समानांतर परिवहन को परिभाषित करने के लिए भी किया जाता है।

कभी-कभी वक्र के साथ सहसंयोजक व्युत्पन्न को निरपेक्ष या आंतरिक व्युत्पन्न कहा जाता है।

झूठ व्युत्पन्न से संबंध
एक सहसंयोजक व्युत्पत्ति कई गुना पर अतिरिक्त ज्यामितीय संरचना का परिचय देता है जो पड़ोसी स्पर्शरेखा स्थानों में वैक्टर की तुलना करने की अनुमति देता है: विभिन्न स्पर्शरेखा स्थानों से वैक्टर की तुलना करने का कोई प्रामाणिक विधि नहीं है क्योंकि कोई विहित समन्वय प्रणाली नहीं है।

चूंकि दिशात्मक डेरिवेटिव का और सामान्यीकरण है जो विहित है: लाई डेरिवेटिव, जो वेक्टर क्षेत्र के प्रवाह के साथ दूसरे वेक्टर क्षेत्र के परिवर्तन का मूल्यांकन करता है। इस प्रकार, खुले पड़ोस में दोनों सदिश क्षेत्रों को जानना चाहिए, केवल बिंदु पर नहीं। दूसरी ओर सहसंयोजक व्युत्पन्न किसी दिए गए दिशा में वैक्टर के लिए अपने स्वयं के परिवर्तन का परिचय देता है, और यह केवल बिंदु पर वेक्टर दिशा पर निर्भर करता है, अतिरिक्त बिंदु के खुले पड़ोस में वेक्टर क्षेत्र के अतिरिक्त। दूसरे शब्दों में, सहपरिवर्ती अवकलज रेखीय होता है (C से अधिक∞(M)) दिशा तर्क में, जबकि लाइ डेरिवेटिव न तो तर्क में रैखिक है।

ध्यान दें कि एंटीसिमेट्रिज्ड सहसंयोजक व्युत्पन्न $∇_{u}v − ∇_{v}u$, और लाई डेरिवेटिव $L_{u}v$ कनेक्शन के मरोड़ से भिन्न होता है, जिससे कि यदि कोई संयोजन युग्मित मुक्त होता हैं, तो इसका एंटीसिमेट्रिजेशन लाइ डेरिवेटिव है।

यह भी देखें

 * एफ़िन कनेक्शन
 * क्रिस्टोफेल प्रतीक
 * कनेक्शन (बीजीय ढांचा)
 * कनेक्शन (गणित)
 * कनेक्शन (वेक्टर बंडल)
 * कनेक्शन प्रपत्र
 * बाहरी सहसंयोजक व्युत्पन्न
 * गेज सहसंयोजक व्युत्पन्न
 * सामान्य सापेक्षता के गणित का परिचय
 * लेवी-सिविता कनेक्शन
 * समानांतर परिवहन
 * घुंघराले पथरी
 * टेंसर व्युत्पन्न (सातत्य यांत्रिकी)
 * रीमानियन ज्यामिति में सूत्रों की सूची