मीट्रिक टेंसर: Difference between revisions

Latest revision as of 17:24, 12 September 2023

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

एक मीट्रिक टेन्सर $g$ धनात्मक-निश्चित होता है यदि, प्रत्येक अशून्य सदिश $v$ के लिए, $g (v, v) > 0$ । धनात्मक-निश्चित मीट्रिक टेन्सर से सुसज्जित मैनिफोल्ड को रीमैनियन मैनिफोल्ड के रूप में जाना जाता है। इस प्रकार के एक मीट्रिक टेन्सर पर किसी मैनिफोल्ड पर अतिसूक्ष्म दूरी को निर्दिष्ट करने के बारे में विचार किया जा सकता है। रीमैनियन मैनिफोल्ड $M$ पर, दो बिंदुओं $p$ और $q$ के बीच एक निष्कोण वक्र की लंबाई को समाकलन द्वारा परिभाषित किया जा सकता है, और $p$ और $q$ के बीच की दूरी को इस प्रकार के सभी वक्रों की लंबाई के न्यूनतम के रूप में परिभाषित किया जा सकता है; यह $M$ को एक मीट्रिक समष्टि बनाता है। इसके विपरीत, मीट्रिक टेन्सर स्वयं दूरी फलन (उपयुक्त तरीके से लिया गया) का अवकलज है।^{[citation needed]}

हालाँकि एक मीट्रिक टेन्सर की धारणा कुछ अर्थों में कार्ल गॉस जैसे गणितज्ञों को 19वीं शताब्दी के प्रारंभ से ज्ञात थी, फिर भी 20वीं शताब्दी के प्रारंभ तक ऐसा नहीं था कि टेन्सर के रूप में इसके गुणों को विशेष रूप से ग्रेगोरियो रिक्की-क्लैस्ट्रो और टुल्लियो लेवी-सिविटा द्वारा समझा गया था, जिन्होंने पहली बार एक टेंसर की धारणा को संहिताबद्ध किया। मीट्रिक टेंसर, टेंसर क्षेत्र का एक उदाहरण है।

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

परिचय

कार्ल फ्रेडरिक गॉस ने अपने वर्ष 1827 के डिक्विजिशन्स जेनरल सर्का सुपरफिसीज कर्वस (वक्राकार सतहों की सामान्य जाँच) में दो सहायक चरों $u$ और $v$ के आधार पर सतह पर बिंदुओं के कार्तीय निर्देशांक $x$ , $y$ , और $z$ वाली एक सतह को प्राचलिक रूप से माना। इस प्रकार प्राचलिक सतह (वर्तमान संदर्भ में) एक सदिश-मान फलन होता है

{\vec {r}}(u,\,v)={\bigl (}x(u,\,v),\,y(u,\,v),\,z(u,\,v){\bigr )}

वास्तविक चर $(u, v)$ के एक क्रमित युग्म के आधार पर, और $uv$ -समतल में इसे एक खुले समुच्चय $D$ में परिभाषित किया गया है। गॉस की जाँच के मुख्य उद्देश्यों में से एक सतह की उन विशेषताओं को प्राप्त करना था, जिन्हें एक ऐसे फलन द्वारा वर्णित किया जा सकता है, जो सतह के अंतरिक्ष में एक परिवर्तन (जैसे सतह को बिना खींचे हुए झुकना), या एक ही ज्यामितीय सतह के विशेष प्राचलिक रूप में परिवर्तन से गुजरने पर अपरिवर्तित रहता है।

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

नीचे दिए गए विवरण में ${\textstyle {\begin{bmatrix}E&F\\F&G\end{bmatrix}}}$ मीट्रिक टेन्सर है; इस आव्यूह में E, F, और G कोई भी संख्या ग्रहण कर सकते हैं जब तक कि आव्यूह धनात्मक निश्चित है।

चाप की लंबाई

यदि चरों $u$ और $v$ को एक अंतराल $[a, b]$ से मान ग्रहण हुए एक तीसरे चर, $t$ पर निर्भर करते हुए लिया जाता है, तो $r \to (u (t), v (t))$ , प्राचलिक सतह $M$ में एक प्राचलिक वक्र आरेखित करता है। इस वक्र के चाप की लंबाई निम्न समाकल द्वारा दी जाती है

{\begin{aligned}s&=\int _{a}^{b}\left\|{\frac {d}{dt}}{\vec {r}}(u(t),v(t))\right\|\,dt\\[5pt]&=\int _{a}^{b}{\sqrt {u'(t)^{2}\,{\vec {r}}_{u}\cdot {\vec {r}}_{u}+2u'(t)v'(t)\,{\vec {r}}_{u}\cdot {\vec {r}}_{v}+v'(t)^{2}\,{\vec {r}}_{v}\cdot {\vec {r}}_{v}}}\,dt\,,\end{aligned}}

जहाँ $\left\|\cdot \right\|$ यूक्लिडीय मानक (फलन) को निरूपित करता है। यहाँ श्रृंखला नियम लागू किया गया है, और सबस्क्रिप्ट निम्न आंशिक अवकलजों को दर्शाते हैं:

{\vec {r}}_{u}={\frac {\partial {\vec {r}}}{\partial u}}\,,\quad {\vec {r}}_{v}={\frac {\partial {\vec {r}}}{\partial v}}\,.

समाकल्य (द्विघात) निम्न अवकल के वर्गमूल के वक्र के लिए प्रतिबंध^[1] है

(ds)^{2}=E\,(du)^{2}+2F\,du\,dv+G\,(dv)^{2},

(1)

जहाँ

E={\vec {r}}_{u}\cdot {\vec {r}}_{u},\quad F={\vec {r}}_{u}\cdot {\vec {r}}_{v},\quad G={\vec {r}}_{v}\cdot {\vec {r}}_{v}.

(2)

(1) में राशि $ds$ को रेखा तत्व, जबकि $ds 2$ को $M$ का पहला मौलिक रूप कहा जाता है। सहज रूप से, यह $r \to (u, v)$ द्वारा किए गए विस्थापन के वर्ग के मुख्य भाग को निरूपित करता है, जब $u$ में $du$ इकाई और $v$ में $dv$ इकाई की वृद्धि होती है।

आव्यूह संकेतन का उपयोग करते हुए, पहला मौलिक रूप इस प्रकार है

ds^{2}={\begin{bmatrix}du&dv\end{bmatrix}}{\begin{bmatrix}E&F\\F&G\end{bmatrix}}{\begin{bmatrix}du\\dv\end{bmatrix}}

निर्देशांक रूपान्तरण

अब माना $u$ और $v$ को चरों के एक और युग्म $u'$ और $v'$ पर निर्भर होने की अनुमति देते हुए एक भिन्न प्राचलीकरण का चयन किया जाता है। तब नए चरों के लिए (2) का अनुरूप निम्न है

E'={\vec {r}}_{u'}\cdot {\vec {r}}_{u'},\quad F'={\vec {r}}_{u'}\cdot {\vec {r}}_{v'},\quad G'={\vec {r}}_{v'}\cdot {\vec {r}}_{v'}.

(2')

श्रृंखला नियम, निम्न आव्यूह समीकरण के माध्यम से $E'$ , $F'$ , और $G'$ को $E$ , $F$ , और $G$ से संबंधित करता है

{\begin{bmatrix}E'&F'\\F'&G'\end{bmatrix}}={\begin{bmatrix}{\frac {\partial u}{\partial u'}}&{\frac {\partial u}{\partial v'}}\\{\frac {\partial v}{\partial u'}}&{\frac {\partial v}{\partial v'}}\end{bmatrix}}^{\mathsf {T}}{\begin{bmatrix}E&F\\F&G\end{bmatrix}}{\begin{bmatrix}{\frac {\partial u}{\partial u'}}&{\frac {\partial u}{\partial v'}}\\{\frac {\partial v}{\partial u'}}&{\frac {\partial v}{\partial v'}}\end{bmatrix}}

(3)

जहाँ सुपरस्क्रिप्ट T आव्यूह परिवर्त को दर्शाता है। गुणांकों $E$ , $F$ , और $G$ वाले आव्यूह इस प्रकार व्यवस्थित किया जाता है, और इस प्रकार निम्न निर्देशांक परिवर्तन के जैकोबियन आव्यूह द्वारा रूपान्तरित किया जाता है

J={\begin{bmatrix}{\frac {\partial u}{\partial u'}}&{\frac {\partial u}{\partial v'}}\\{\frac {\partial v}{\partial u'}}&{\frac {\partial v}{\partial v'}}\end{bmatrix}}\,.

इस तरह से रूपांतरित होने वाला एक आव्यूह एक ऐसे प्रकार का होता है, जिसे एक टेन्सर कहा जाता है। आव्यूह

{\begin{bmatrix}E&F\\F&G\end{bmatrix}}

को रूपान्तरण नियम (3) के साथ सतह के मीट्रिक टेन्सर के रूप में जाना जाता है।

निर्देशांक रूपांतरणों के अंतर्गत चापलम्बाई की निश्चरता

रिक्की-कर्बस्त्रो & लेवी-सिविटा (1900) ने सबसे पहले गुणांकों $E$ , $F$ , और $G$ की एक प्रणाली के महत्व का अवलोकन किया, जो एक निर्देशांक प्रणाली से दूसरी निर्देशांक प्रणाली में जाने पर इस प्रकार से रूपांतरित हो गयी। परिणामस्वरूप पहला मौलिक रूप (1) निर्देशांक प्रणाली में परिवर्तन के तहत निश्चर होता है, और यह विशेष रूप से $E$ , $F$ , और $G$ के रूपान्तरण गुणों का अनुसरण करता है। वास्तव में, श्रृंखला नियम द्वारा,

{\begin{bmatrix}du\\dv\end{bmatrix}}={\begin{bmatrix}{\dfrac {\partial u}{\partial u'}}&{\dfrac {\partial u}{\partial v'}}\\{\dfrac {\partial v}{\partial u'}}&{\dfrac {\partial v}{\partial v'}}\end{bmatrix}}{\begin{bmatrix}du'\\dv'\end{bmatrix}}

जिससे

{\begin{aligned}ds^{2}&={\begin{bmatrix}du&dv\end{bmatrix}}{\begin{bmatrix}E&F\\F&G\end{bmatrix}}{\begin{bmatrix}du\\dv\end{bmatrix}}\\[6pt]&={\begin{bmatrix}du'&dv'\end{bmatrix}}{\begin{bmatrix}{\dfrac {\partial u}{\partial u'}}&{\dfrac {\partial u}{\partial v'}}\\[6pt]{\dfrac {\partial v}{\partial u'}}&{\dfrac {\partial v}{\partial v'}}\end{bmatrix}}^{\mathsf {T}}{\begin{bmatrix}E&F\\F&G\end{bmatrix}}{\begin{bmatrix}{\dfrac {\partial u}{\partial u'}}&{\dfrac {\partial u}{\partial v'}}\\[6pt]{\dfrac {\partial v}{\partial u'}}&{\dfrac {\partial v}{\partial v'}}\end{bmatrix}}{\begin{bmatrix}du'\\dv'\end{bmatrix}}\\[6pt]&={\begin{bmatrix}du'&dv'\end{bmatrix}}{\begin{bmatrix}E'&F'\\F'&G'\end{bmatrix}}{\begin{bmatrix}du'\\dv'\end{bmatrix}}\\[6pt]&=(ds')^{2}\,.\end{aligned}}

लंबाई और कोण

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

\mathbf {p} =p_{1}{\vec {r}}_{u}+p_{2}{\vec {r}}_{v}

उपयुक्त वास्तविक संख्याओं $p 1$ और $p 2$ के लिए। यदि दो स्पर्शरेखा सदिश इस प्रकार दिए गए हों:

{\begin{aligned}\mathbf {a} &=a_{1}{\vec {r}}_{u}+a_{2}{\vec {r}}_{v}\\\mathbf {b} &=b_{1}{\vec {r}}_{u}+b_{2}{\vec {r}}_{v}\end{aligned}}

फिर बिंदु गुणन की द्विरैखिकता का उपयोग करते हुए,

{\begin{aligned}\mathbf {a} \cdot \mathbf {b} &=a_{1}b_{1}{\vec {r}}_{u}\cdot {\vec {r}}_{u}+a_{1}b_{2}{\vec {r}}_{u}\cdot {\vec {r}}_{v}+a_{2}b_{1}{\vec {r}}_{v}\cdot {\vec {r}}_{u}+a_{2}b_{2}{\vec {r}}_{v}\cdot {\vec {r}}_{v}\\[8pt]&=a_{1}b_{1}E+a_{1}b_{2}F+a_{2}b_{1}F+a_{2}b_{2}G.\\[8pt]&={\begin{bmatrix}a_{1}&a_{2}\end{bmatrix}}{\begin{bmatrix}E&F\\F&G\end{bmatrix}}{\begin{bmatrix}b_{1}\\b_{2}\end{bmatrix}}\,.\end{aligned}}

यह स्पष्ट रूप से चार चरों $a 1$ , $b 1$ , $a 2$ , और $b 2$ का एक फलन है। हालाँकि, इसे एक ऐसे फलन के रूप में अधिक लाभप्रद रूप से देखा जाता है, जो कोणांकों के एक युग्म $a = [a 1 a 2]$ और $b = [b 1 b 2]$ को ग्रहण करता है, जो $uv$ -समतल में सदिश हैं। अर्थात्, निम्न का मान रखने पर

g(\mathbf {a} ,\mathbf {b} )=a_{1}b_{1}E+a_{1}b_{2}F+a_{2}b_{1}F+a_{2}b_{2}G\,.

यह $a$ और $b$ में एक सममित फलन है, जिसका अर्थ है

g(\mathbf {a} ,\mathbf {b} )=g(\mathbf {b} ,\mathbf {a} )\,.

यह द्विरेखीय भी है, जिसका अर्थ है कि यह प्रत्येक चर $a$ और $b$ में अलग-अलग रैखिक है। अर्थात्,

{\begin{aligned}g\left(\lambda \mathbf {a} +\mu \mathbf {a} ',\mathbf {b} \right)&=\lambda g(\mathbf {a} ,\mathbf {b} )+\mu g\left(\mathbf {a} ',\mathbf {b} \right),\quad {\text{and}}\\g\left(\mathbf {a} ,\lambda \mathbf {b} +\mu \mathbf {b} '\right)&=\lambda g(\mathbf {a} ,\mathbf {b} )+\mu g\left(\mathbf {a} ,\mathbf {b} '\right)\end{aligned}}

$uv$ -समतल में किन्हीं सदिशों $a$ , $a'$ , $b$ , और $b'$ , और किसी वास्तविक संख्या $μ$ और $λ$ के लिए।

विशेष रूप से, एक स्पर्शरेखा सदिश $a$ की लंबाई इस प्रकार है

\left\|\mathbf {a} \right\|={\sqrt {g(\mathbf {a} ,\mathbf {a} )}}

और दो सदिशों $a$ और $b$ के बीच के कोण $θ$ की गणना इस प्रकार की जाती है

\cos(\theta )={\frac {g(\mathbf {a} ,\mathbf {b} )}{\left\|\mathbf {a} \right\|\left\|\mathbf {b} \right\|}}\,.

क्षेत्रफल

सतह का क्षेत्रफल ऐसी एक अन्य संख्यात्मक राशि है जो केवल सतह पर ही निर्भर होनी चाहिए, न कि इस पर कि यह कैसे प्राचलीकृत है। यदि सतह $M$ , $uv$ -समतल में प्रांत $D$ पर फलन $r \to (u, v)$ द्वारा प्राचलीकृत है, तो $M$ की सतह का क्षेत्रफल निम्न समाकल द्वारा दिया जाता है

\iint _{D}\left|{\vec {r}}_{u}\times {\vec {r}}_{v}\right|\,du\,dv

जहाँ $\times$ , क्रॉस (सदिश) गुणन को दर्शाता है, और निरपेक्ष मान यूक्लिडीय अंतरिक्ष में एक सदिश की लंबाई को दर्शाता है। क्रॉस गुणन के लिए लैग्रेंज की सर्वसमिका से, इस समाकल को इस प्रकार लिखा जा सकता है

{\begin{aligned}&\iint _{D}{\sqrt {\left({\vec {r}}_{u}\cdot {\vec {r}}_{u}\right)\left({\vec {r}}_{v}\cdot {\vec {r}}_{v}\right)-\left({\vec {r}}_{u}\cdot {\vec {r}}_{v}\right)^{2}}}\,du\,dv\\[5pt]={}&\iint _{D}{\sqrt {EG-F^{2}}}\,du\,dv\\[5pt]={}&\iint _{D}{\sqrt {\det {\begin{bmatrix}E&F\\F&G\end{bmatrix}}}}\,du\,dv\end{aligned}}

जहाँ $det$ , सारणिक है।

परिभाषा

माना $M$ , $n$ विमाओं, उदाहरण के लिए कार्तीय तल $\mathbb {R} ^{n+1}$ में एक सतह ( $n = 2$ की स्थिति में) या हाइपरसफेस, वाला एक निष्कोण मैनिफोल्ड है। प्रत्येक बिंदु $p \in M$ पर एक सदिश अंतरिक्ष $T p M$ होता है, जिसे स्पर्शरेखा समष्टि कहा जाता है, जिसमें सभी स्पर्शरेखा सदिश मैनिफोल्ड के बिंदु $p$ पर होते हैं। $p$ पर एक मीट्रिक टेंसर एक फलन $g p (X p, Y p)$ है जो $p$ पर स्पर्शरेखा सदिशों $X p$ और $Y p$ के एक युग्म को इनपुट के रूप में ग्रहण करता है, और आउटपुट के रूप में एक वास्तविक संख्या (अदिश) प्रदान करता है, जिससे निम्नलिखित शर्तों को पूरा किया जा सके:

$g p$ , द्विरेखीय है। दो सदिश कोणांकों का एक फलन द्विरेखीय होता है यदि यह प्रत्येक कोणांक में पृथक रूप से रैखिक हो। इस प्रकार यदि $U p$ , $V p$ और $Y p$ , बिंदु $p$ पर तीन स्पर्शरेखा सदिश हैं और $a$ और $b$ वास्तविक संख्याएँ हैं, तब ${\begin{aligned}g_{p}(aU_{p}+bV_{p},Y_{p})&=ag_{p}(U_{p},Y_{p})+bg_{p}(V_{p},Y_{p})\,,\quad {\text{औ र}}\\g_{p}(Y_{p},aU_{p}+bV_{p})&=ag_{p}(Y_{p},U_{p})+bg_{p}(Y_{p},V_{p})\,.\end{aligned}}$
$g p$ , सममित है।^[2] दो सदिश कोणांकों का एक फलन सममित होता है यदि सभी सदिशों $X p$ और $Y p$ के लिए, $g_{p}(X_{p},Y_{p})=g_{p}(Y_{p},X_{p})\,.$
$g p$ , अपभ्रष्ट है। एक द्विरेखीय फलन अपभ्रष्ट होता है, यदि प्रत्येक स्पर्शरेखा सदिश $X p \neq 0$ के लिए, फलन $Y_{p}\mapsto g_{p}(X_{p},Y_{p})$ जो $X p$ को स्थिर रखते हुए और $Y p$ को परिवर्तित होने की अनुमति देकर प्राप्त किया गया समान रूप से शून्य नहीं है। अर्थात्, प्रत्येक $X p \neq 0$ के लिए एक ऐसे $Y p$ का अस्तित्व होता है कि $g p (X p, Y p) \neq 0$

$M$ पर एक मीट्रिक टेन्सर क्षेत्र $g$ , $M$ के प्रत्येक बिंदु $p$ को $p$ पर स्पर्शरेखा समष्टि में एक मीट्रिक टेंसर $g p$ को इस तरह से आवंटित करता है जो आसानी से $p$ के साथ परिवर्तित होता रहता है। अधिक यथार्थ रूप से, $U$ पर मैनिफोल्ड $M$ और किसी भी (निष्कोण) सदिश क्षेत्र $X$ और $Y$ के किसी भी खुले उपसमुच्चय को देखते हुए, वास्तविक फलन

g(X,Y)(p)=g_{p}(X_{p},Y_{p})

p

का एक सरल फलन है।

मीट्रिक के घटक

सदिश क्षेत्रों, या फ्रेम, $f = (X 1, ..., X n)$ के किसी भी आधार में मीट्रिक के घटक^[3] इस प्रकार दिए गए हैं

g_{ij}[\mathbf {f} ]=g\left(X_{i},X_{j}\right).

(4)

n² फलन $(g ij [f])$ एक $n \times n$ सममित आव्यूह, $G [f]$ की प्रविष्टियाँ बनाते हैं। यदि

v=\sum _{i=1}^{n}v^{i}X_{i}\,,\quad w=\sum _{i=1}^{n}w^{i}X_{i}

$p \in U$ पर दो सदिश हैं, तो $v$ और $w$ पर लागू मीट्रिक का मान गुणांक (4) द्वारा द्विरैखिकता द्वारा निर्धारित किया जाता है:

g(v,w)=\sum _{i,j=1}^{n}v^{i}w^{j}g\left(X_{i},X_{j}\right)=\sum _{i,j=1}^{n}v^{i}w^{j}g_{ij}[\mathbf {f} ]

आव्यूह $(g ij [f])$ को $G [f]$ द्वारा निरूपित करते हुए और सदिश $v$ और $w$ के घटकों को स्तम्भ सदिशों $v [f]$ और $w [f]$ में व्यवस्थित करते हुए,

g(v,w)=\mathbf {v} [\mathbf {f} ]^{\mathsf {T}}G[\mathbf {f} ]\mathbf {w} [\mathbf {f} ]=\mathbf {w} [\mathbf {f} ]^{\mathsf {T}}G[\mathbf {f} ]\mathbf {v} [\mathbf {f} ]

जहाँ $v [f]$ ^T और $w [f]$ ^T क्रमशः सदिशों $v [f]$ और $w [f]$ के परिवर्त को दर्शाते हैं। रूप के आधार में परिवर्तन के तहत

\mathbf {f} \mapsto \mathbf {f} '=\left(\sum _{k}X_{k}a_{k1},\dots ,\sum _{k}X_{k}a_{kn}\right)=\mathbf {f} A

कुछ व्युत्क्रमणीय $n \times n$ आव्यूहों $A = (a ij)$ के लिए, मीट्रिक के घटकों का आव्यूह $A$ द्वारा भी परिवर्तित होता है। अर्थात्

G[\mathbf {f} A]=A^{\mathsf {T}}G[\mathbf {f} ]A

या, इस आव्यूह की प्रविष्टियों के पदों में,

g_{ij}[\mathbf {f} A]=\sum _{k,l=1}^{n}a_{ki}g_{kl}[\mathbf {f} ]a_{lj}\,.

इस कारण से, राशियों $g ij [f]$ के निकाय को फ्रेम $f$ में परिवर्तनों के सापेक्ष सहपरिवर्ती रूप से रूपांतरित करने वाला कहा जाता है।

निर्देशांक में मीट्रिक

$n$ वास्तविक-मान फलनों $(x 1, ..., x n)$ का एक निकाय, $M$ में एक खुले समुच्चय $U$ पर स्थानीय निर्देशांक प्रणाली प्रदान करते हुए, $U$ पर सदिश क्षेत्र का आधार निर्धारित करता है

\mathbf {f} =\left(X_{1}={\frac {\partial }{\partial x^{1}}},\dots ,X_{n}={\frac {\partial }{\partial x^{n}}}\right)\,.

मीट्रिक $g$ में इस फ़्रेम के सापेक्ष घटक होते हैं जो इस प्रकार हैं

g_{ij}\left[\mathbf {f} \right]=g\left({\frac {\partial }{\partial x^{i}}},{\frac {\partial }{\partial x^{j}}}\right)\,.

स्थानीय निर्देशांकों की एक नई प्रणाली के सापेक्ष, माना

y^{i}=y^{i}(x^{1},x^{2},\dots ,x^{n}),\quad i=1,2,\dots ,n

मीट्रिक टेन्सर गुणांकों का एक अलग आव्यूह निर्धारित करता है,

g_{ij}\left[\mathbf {f} '\right]=g\left({\frac {\partial }{\partial y^{i}}},{\frac {\partial }{\partial y^{j}}}\right).

फलनों का यह नया निकाय श्रृंखला नियम के माध्यम से मूल $g ij (f)$ से संबंधित है

{\frac {\partial }{\partial y^{i}}}=\sum _{k=1}^{n}{\frac {\partial x^{k}}{\partial y^{i}}}{\frac {\partial }{\partial x^{k}}}

जिससे

g_{ij}\left[\mathbf {f} '\right]=\sum _{k,l=1}^{n}{\frac {\partial x^{k}}{\partial y^{i}}}g_{kl}\left[\mathbf {f} \right]{\frac {\partial x^{l}}{\partial y^{j}}}.

या, आव्यूह $G [f] = (g ij [f])$ और $G [f'] = (g ij [f'])$ के संदर्भ में,

G\left[\mathbf {f} '\right]=\left((Dy)^{-1}\right)^{\mathsf {T}}G\left[\mathbf {f} \right](Dy)^{-1}

जहाँ $Dy$ निर्देशांक परिवर्तन के जैकोबियन आव्यूह को दर्शाता है।

एक मीट्रिक का संकेतक

किसी भी मीट्रिक टेन्सर से संबंधित एक ऐसा द्विघात रूप है जिसे प्रत्येक स्पर्शरेखा समष्टि में इस प्रकार परिभाषित किया गया है

q_{m}(X_{m})=g_{m}(X_{m},X_{m})\,,\quad X_{m}\in T_{m}M.

यदि $q m$ सभी अशून्य $X m$ के लिए धनात्मक है, तो मीट्रिक $m$ पर धनात्मक-निश्चित होता है। यदि मीट्रिक प्रत्येक $m \in M$ पर धनात्मक-निश्चित है, तो $g$ को रीमैनियन मीट्रिक कहा जाता है। अधिक सामान्यतः, यदि द्विघात रूपों $q m$ में $m$ से स्वतंत्र स्थिर संकेतक होते हैं, तो $g$ का संकेतक यह संकेतक होता है, और $g$ को छद्म-रीमैनियन मीट्रिक कहा जाता है।^[4] यदि $M$ जुड़ा हुआ है, तो $q m$ का संकेतक $m$ पर निर्भर नहीं करता है।^[5]

सिल्वेस्टर के जड़त्व के नियम से, स्पर्शरेखा सदिशों $X i$ के आधार को स्थानीय रूप से चुना जा सकता है जिससे द्विघात रूप निम्नलिखित तरीके से विकर्णित हो,

q_{m}\left(\sum _{i}\xi ^{i}X_{i}\right)=\left(\xi ^{1}\right)^{2}+\left(\xi ^{2}\right)^{2}+\cdots +\left(\xi ^{p}\right)^{2}-\left(\xi ^{p+1}\right)^{2}-\cdots -\left(\xi ^{n}\right)^{2}

1 और $n$ के बीच किसी $p$ के लिए। $q$ के ऐसे किन्हीं दो व्यंजकों ( $M$ के समान बिंदु $m$ पर) में धनात्मक चिह्नों की समान संख्या $p$ होती है। $g$ का संकेतक पूर्णांक $(p, n - p)$ का युग्म है, जो यह दर्शाता है कि ऐसे किसी भी व्यंजक में $p$ धनात्मक चिह्न और $n - p$ ऋणात्रामक संकेत होते हैं। समतुल्य रूप से, मीट्रिक में $(p, n - p)$ संकेतक होता है यदि मीट्रिक के आव्यूह $g ij$ में $p$ धनात्मक और $n - p$ ऋणात्मक अभिलाक्षणिक मान होते हैं।

कुछ मीट्रिक संकेतक जो प्रायः अनुप्रयोगों में उत्पन्न होते हैं:

यदि $g$ में संकेतक $(n, 0)$ है, तो $g$ एक रीमैनियन मीट्रिक होता है, और $M$ को रीमैनियन मैनिफोल्ड कहा जाता है। अन्यथा, $g$ एक छद्म-रीमैनियन मीट्रिक होता है, और $M$ को एक छद्म-रीमैनियन मैनिफोल्ड कहा जाता है (इसके लिए अर्द्ध-रीमैनियन शब्द का भी उपयोग किया जाता है)।
यदि $M$ , संकेतक $(1, 3)$ या $(3, 1)$ के साथ चार विमीय है, तो मीट्रिक को लोरेंट्ज़ियन मीट्रिक कहा जाता है। अधिक सामान्यतः, 4 के अतिरिक्त विमा $n$ में संकेतक $(1, n - 1)$ या $(n - 1, 1)$ के एक मीट्रिक टेन्सर को कभी-कभी लोरेंट्ज़ियन भी कहा जाता है।
यदि $M$ , $2 n$ -विमीय है और $(n, n)$ , $g$ का संकेतक है, तो मीट्रिक को पराअतिपरवलयिक मीट्रिक कहा जाता है।

व्युत्क्रम मीट्रिक

माना $f = (X 1, ..., X n)$ सदिश क्षेत्रों का एक आधार है, और जैसा कि ऊपर बताया गया है कि $G [f]$ , गुणांकों का आव्यूह है

g_{ij}[\mathbf {f} ]=g\left(X_{i},X_{j}\right)\,.

व्युत्क्रम आव्यूह को $G [f] -1$ लिया जा सकता है, जिसे व्युत्क्रम मीट्रिक (या संयुग्मी या द्वैत मीट्रिक) के रूप में जाना जाता है। व्युत्क्रम मीट्रिक एक रूपान्तरण नियम को संतुष्ट करता है जब फ्रेम $f$ को आव्यूह $A$ द्वारा परिवर्तित कर दिया जाता है

G[\mathbf {f} A]^{-1}=A^{-1}G[\mathbf {f} ]^{-1}\left(A^{-1}\right)^{\mathsf {T}}.

(5)

व्युत्क्रम मीट्रिक प्रतिपरिवर्ती रूप से या आधार आव्यूह $A$ के परिवर्तन के व्युत्क्रम के सापेक्ष रूपांतरित होता है। जबकि मीट्रिक स्वयं सदिश क्षेत्रों की लंबाई (या बीच के कोण) को मापने की एक विधि प्रदान करता है, व्युत्क्रम मीट्रिक उपसदिश क्षेत्रों, अर्थात् रैखिक फलनों के क्षेत्र की लंबाई (या बीच के कोण) को मापने का एक साधन प्रदान करता है।

इसे देखने के लिए, माना $α$ एक उपसदिश क्षेत्र है। अर्थात्, प्रत्येक बिंदु $p$ के लिए, $α$ , स्पर्शरेखा सदिश पर बिंदु $p$ पर परिभाषित एक फलन $α p$ निर्धारित करता है जिससे निम्नलिखित रैखिकता की स्थिति सभी स्पर्शरेखा सदिशों $X p$ और $Y p$ , और सभी वास्तविक संख्याओं $a$ और $b$ के लिए सत्य हो:

\alpha _{p}\left(aX_{p}+bY_{p}\right)=a\alpha _{p}\left(X_{p}\right)+b\alpha _{p}\left(Y_{p}\right)\,.

क्योंकि $p$ परिवर्तित होता है, अतः $α$ को इस अर्थ में एक सहज फलन माना जाता है

p\mapsto \alpha _{p}\left(X_{p}\right)

किसी भी सरल सदिश क्षेत्र $X$ के लिए $p$ का एक सहज फलन है।

किसी भी उपसदिश क्षेत्र $α$ में सदिश क्षेत्र $f$ के आधार पर घटक होते हैं। इन्हें इस प्रकार निर्धारित किया जाता है

\alpha _{i}=\alpha \left(X_{i}\right)\,,\quad i=1,2,\dots ,n\,.

इन घटकों के पंक्ति सदिश को निम्न द्वारा निरूपित करने पर

\alpha [\mathbf {f} ]={\big \lbrack }{\begin{array}{cccc}\alpha _{1}&\alpha _{2}&\dots &\alpha _{n}\end{array}}{\big \rbrack }\,.

एक आव्यूह $A$ द्वारा $f$ के परिवर्तन के तहत, $α [f]$ निम्न नियम द्वारा परिवर्तित होता है

\alpha [\mathbf {f} A]=\alpha [\mathbf {f} ]A\,.

अर्थात्, घटकों का पंक्ति सदिश $α [f]$ , सहपरिवर्ती सदिश के रूप में परिवर्तित होता है।

उपसदिश क्षेत्रों के एक युग्म $α$ और $β$ के लिए, इन दो उपसदिशों पर लागू व्युत्क्रम मीट्रिक को निम्न द्वारा परिभाषित करने पर,

{\tilde {g}}(\alpha ,\beta )=\alpha [\mathbf {f} ]G[\mathbf {f} ]^{-1}\beta [\mathbf {f} ]^{\mathsf {T}}.

(6)

परिणामी परिभाषा वास्तव में $f$ पर एक आवश्यक तरीके से निर्भर नहीं करती है, हालाँकि इसमें आधार $f$ का चयन सम्मिलित है। वास्तव में, आधार को $f A$ में बदलने से निम्न परिणाम प्राप्त होता है

{\begin{aligned}&\alpha [\mathbf {f} A]G[\mathbf {f} A]^{-1}\beta [\mathbf {f} A]^{\mathsf {T}}\\={}&\left(\alpha [\mathbf {f} ]A\right)\left(A^{-1}G[\mathbf {f} ]^{-1}\left(A^{-1}\right)^{\mathsf {T}}\right)\left(A^{\mathsf {T}}\beta [\mathbf {f} ]^{\mathsf {T}}\right)\\={}&\alpha [\mathbf {f} ]G[\mathbf {f} ]^{-1}\beta [\mathbf {f} ]^{\mathsf {T}}.\end{aligned}}

जिससे समीकरण (6) का दायाँ पक्ष आधार $f$ को किसी भी अन्य आधार $f A$ में बदलने से अप्रभावित रहे। परिणामस्वरूप, समीकरण को आधार के चयन से स्वतंत्र रूप से एक अर्थ प्रदान किया जा सकता है। आव्यूह $G [f]$ की प्रविष्टियों को $g ij$ द्वारा निरूपित किया जाता है, जहाँ घातांक $i$ और $j$ को रूपान्तरण नियम (5) को इंगित करने के लिए उठाया गया है।

घातांकों का उन्नयन और अवनमन

सदिश क्षेत्रों $f = (X 1, ..., X n)$ के आधार में, किसी भी सहज स्पर्शरेखा सदिश क्षेत्र $X$ को निम्न रूप में लिखा जा सकता है

X=v^{1}[\mathbf {f} ]X_{1}+v^{2}[\mathbf {f} ]X_{2}+\dots +v^{n}[\mathbf {f} ]X_{n}=\mathbf {f} {\begin{bmatrix}v^{1}[\mathbf {f} ]\\v^{2}[\mathbf {f} ]\\\vdots \\v^{n}[\mathbf {f} ]\end{bmatrix}}=\mathbf {f} v[\mathbf {f} ]

(7)

कुछ विशिष्ट रूप से निर्धारित सहज फलनों $v 1, ..., v n$ के लिए। आधार $f$ को एक व्युत्क्रमणीय आव्यूह $A$ द्वारा बदलने पर, गुणांक $v i$ इस प्रकार परिवर्तित होते हैं कि समीकरण (7) सत्य रहती है। अर्थात्,

X=\mathbf {fA} v[\mathbf {fA} ]=\mathbf {f} v[\mathbf {f} ]\,.

परिणामस्वरूप, $v [f A] = A -1 v [f]$ । दूसरे शब्दों में, सदिश $v [f]$ के घटक व्युत्क्रमणीय आव्यूह $A$ द्वारा आधार के परिवर्तन के तहत प्रतिपरिवर्ती रूप से (अर्थात्, व्युत्क्रम या विपरीत तरीके से) रूपांतरित होते हैं। $v [f]$ के घटकों के प्रतिपरिवर्तन को सांकेतिक रूप से $v i [f]$ के घातांकों को ऊपरी स्थिति में रखकर निर्दिष्ट किया जाता है।

एक फ्रेम उपसदिशों को भी उनके घटकों के संदर्भ में व्यक्त होने की अनुमति देता है। सदिश क्षेत्रों $f = (X 1, ..., X n)$ के आधार के लिए द्वैत आधार को रैखिक फलनकों $(θ 1 [f], ..., θ n [f])$ में इस प्रकार परिभाषित किया जाता है कि

\theta ^{i}[\mathbf {f} ](X_{j})={\begin{cases}1&\mathrm {if} \ i=j\\0&\mathrm {if} \ i\not =j.\end{cases}}

अर्थात्, $θ i [f](X j) = δ j i$ , इसे क्रोनकर डेल्टा कहा जाता है। माना

\theta [\mathbf {f} ]={\begin{bmatrix}\theta ^{1}[\mathbf {f} ]\\\theta ^{2}[\mathbf {f} ]\\\vdots \\\theta ^{n}[\mathbf {f} ]\end{bmatrix}}.

एक व्युत्क्रमणीय आव्यूह $A$ के लिए आधार $f \mapsto f A$ के परिवर्तन के तहत, $θ [f]$ निम्न के माध्यम से रूपांतरित हो जाता है

\theta [\mathbf {f} A]=A^{-1}\theta [\mathbf {f} ].

स्पर्शरेखा सदिशों पर किसी भी रैखिक फलनक $α$ को द्वैत आधार $θ$ के संदर्भ में इस प्रकार विस्तारित किया जा सकता है

{\begin{aligned}\alpha &=a_{1}[\mathbf {f} ]\theta ^{1}[\mathbf {f} ]+a_{2}[\mathbf {f} ]\theta ^{2}[\mathbf {f} ]+\cdots +a_{n}[\mathbf {f} ]\theta ^{n}[\mathbf {f} ]\\[8pt]&={\big \lbrack }{\begin{array}{cccc}a_{1}[\mathbf {f} ]&a_{2}[\mathbf {f} ]&\dots &a_{n}[\mathbf {f} ]\end{array}}{\big \rbrack }\theta [\mathbf {f} ]\\[8pt]&=a[\mathbf {f} ]\theta [\mathbf {f} ]\end{aligned}}

(8)

जहाँ $a [f]$ पंक्ति सदिश $[a 1 [f] ... a n [f] ]$ को दर्शाता है। घटक $a i$ रूपांतरित होते हैं जब आधार $f$ को $f A$ द्वारा इस प्रकार प्रतिस्थापित किया जाता है कि समीकरण (8) निरंतर सत्य रहता है। अर्थात्,

\alpha =a[\mathbf {f} A]\theta [\mathbf {f} A]=a[\mathbf {f} ]\theta [\mathbf {f} ]

जहाँ से, क्योंकि $θ [f A] = A -1 θ [f]$ , अतः $a [f A] = a [f] A$ । अर्थात्, घटक $a$ सहपरिवर्ती रूप से (व्युत्क्रम के स्थान पर आव्यूह $A$ द्वारा) रूपांतरित होते हैं। $a [f]$ के घटकों के सहप्रसरण को $a i [f]$ के घातांकों को निचले स्थान पर रखकर सांकेतिक रूप से निर्दिष्ट किया जाता है।

अब, मीट्रिक टेन्सर सदिशों और उपसदिशों को निर्धारित करने के लिए निम्न प्रकार से एक माध्यम प्रदान करता है। $X p$ को स्थिर रखते हुए, स्पर्शरेखा सदिश $Y p$ का फलन

g_{p}(X_{p},-):Y_{p}\mapsto g_{p}(X_{p},Y_{p})

स्पर्शरेखा समष्टि पर $p$ पर एक रैखिक फलनक परिभाषित करता है। यह संक्रिया बिंदु $p$ पर एक सदिश $X p$ को लेकर एक उपसदिश $g p (X p, -)$ उत्पन्न करती है। सदिश क्षेत्र $f$ के आधार पर, यदि एक सदिश क्षेत्र $X$ में घटक $v [f]$ हैं, तो द्वैत आधार में उपसदिश क्षेत्र $g (X, -)$ के घटक निम्न पंक्ति सदिश की प्रविष्टियों द्वारा दिए जाते हैं

a[\mathbf {f} ]=v[\mathbf {f} ]^{\mathsf {T}}G[\mathbf {f} ].

आधार परिवर्तन $f \mapsto f A$ के तहत, इस समीकरण का दायाँ पक्ष निम्न के माध्यम से रूपांतरित होता है

v[\mathbf {f} A]^{\mathsf {T}}G[\mathbf {f} A]=v[\mathbf {f} ]^{\mathsf {T}}\left(A^{-1}\right)^{\mathsf {T}}A^{\mathsf {T}}G[\mathbf {f} ]A=v[\mathbf {f} ]^{\mathsf {T}}G[\mathbf {f} ]A

जिससे $a [f A] = a [f] A$ : $a$ सहपरिवर्ती रूप से परिवर्तित होता है। एक सदिश क्षेत्र $v [f] = [v 1 [f] v 2 [f] ... v n [f] ]$ ^T के (प्रतिपरिवर्ती) घटकों को उपसदिश क्षेत्र $a [f] = [a 1 [f] a 2 [f] \dots a n [f] ]$ के घटकों से संबद्ध करने की संक्रिया को, जहाँ

a_{i}[\mathbf {f} ]=\sum _{k=1}^{n}v^{k}[\mathbf {f} ]g_{ki}[\mathbf {f} ]

घातांक को अवनमन कहा जाता है।

घातांक के उन्नयन के लिए, मीट्रिक के स्थान पर व्युत्क्रम मीट्रिक के साथ यही रचना प्रयुक्त की जा सकती है। यदि द्वैत आधार $θ [f]$ में एक उपसदिश के घटक $a [f] = [a 1 [f] a 2 [f] ... a n [f] ]$ हैं, तो स्तम्भ सदिश

v[\mathbf {f} ]=G^{-1}[\mathbf {f} ]a[\mathbf {f} ]^{\mathsf {T}}

(9)

में ऐसे घटक होते हैं जो प्रतिपरिवर्ती रूप से रूपांतरित होते हैं:

v[\mathbf {f} A]=A^{-1}v[\mathbf {f} ].

परिणामस्वरूप, राशि $X = f v [f]$ एक आवश्यक तरीके से आधार $f$ के चयन पर निर्भर नहीं करती है, और इस प्रकार $M$ पर एक सदिश क्षेत्र को परिभाषित करती है। दिए गए सदिश $v [f]$ के उपसदिश $a [f]$ के (प्रतिपरिवर्ती) घटकों के साथ संक्रिया (9) को जोड़ना घातांक का उन्नयन कहलाता है। घटकों में, (9) इस प्रकार हैː

v^{i}[\mathbf {f} ]=\sum _{k=1}^{n}g^{ik}[\mathbf {f} ]a_{k}[\mathbf {f} ].

प्रेरित मीट्रिक

माना $U$ , $ℝ n$ में एक खुला समुच्चय, और $φ$ , $U$ से यूक्लिडीय अंतरिक्ष $ℝ m$ में एक सतत अवकलनीय फलन फलन है, जहाँ $m > n$ । प्रतिचित्रण $φ$ को एक अंतर्वेशन कहा जाता है यदि इसका अवकल $U$ के प्रत्येक बिंदु पर एकैकी है। $φ$ के प्रतिबिम्ब को एक अंतर्वेशित उप-मैनिफोल्ड कहा जाता है। अधिक विशेष रूप से, $m = 3$ के लिए, जिसका अर्थ है कि $ℝ 3$ परिवेशी यूक्लिडीय अंतरिक्ष है, प्रेरित मीट्रिक टेन्सर को पहला मौलिक रूप कहा जाता है।

माना $φ$ , उप-मैनिफोल्ड $M \subset R m$ पर एक अंतर्वेशन है। $ℝ m$ में सामान्य यूक्लिडीय बिंदु गुणन एक ऐसा मीट्रिक है, जो $M$ के स्पर्शरेखा सदिशों तक सीमित होने पर, इन स्पर्शरेखा सदिशों के बिंदु गुणन लेने के लिए एक माध्यम प्रदान करता है। इसे प्रेरित मीट्रिक कहा जाता है।

माना $v$ , $U$ के एक बिंदु पर एक स्पर्शरेखा सदिश है, माना

v=v^{1}\mathbf {e} _{1}+\dots +v^{n}\mathbf {e} _{n}

जहाँ $e i$ , $ℝ n$ में मानक निर्देशांक सदिश हैं। जब $φ$ को $U$ पर प्रयुक्त किया जाता है, तो सदिश $v$ , $M$ पर सदिश स्पर्शरेखा पर इस प्रकार जाता है

\varphi _{*}(v)=\sum _{i=1}^{n}\sum _{a=1}^{m}v^{i}{\frac {\partial \varphi ^{a}}{\partial x^{i}}}\mathbf {e} _{a}\,.

(इसे $φ$ के अनुदिश $v$ का पुशफॉरवर्ड कहा जाता है।) दिए गए दो सदिशों $v$ और $w$ के लिए, प्रेरित मीट्रिक को निम्न द्वारा परिभाषित किया जाता है

g(v,w)=\varphi _{*}(v)\cdot \varphi _{*}(w).

यह एक सीधी गणना से प्राप्त होता है कि निर्देशांक सदिश क्षेत्र $e$ के आधार पर प्रेरित मीट्रिक का आव्यूह निम्न द्वारा दिया जाता है

G(\mathbf {e} )=(D\varphi )^{\mathsf {T}}(D\varphi )

जहाँ $Dφ$ जैकोबियन आव्यूह है:

D\varphi ={\begin{bmatrix}{\frac {\partial \varphi ^{1}}{\partial x^{1}}}&{\frac {\partial \varphi ^{1}}{\partial x^{2}}}&\dots &{\frac {\partial \varphi ^{1}}{\partial x^{n}}}\\[1ex]{\frac {\partial \varphi ^{2}}{\partial x^{1}}}&{\frac {\partial \varphi ^{2}}{\partial x^{2}}}&\dots &{\frac {\partial \varphi ^{2}}{\partial x^{n}}}\\\vdots &\vdots &\ddots &\vdots \\{\frac {\partial \varphi ^{m}}{\partial x^{1}}}&{\frac {\partial \varphi ^{m}}{\partial x^{2}}}&\dots &{\frac {\partial \varphi ^{m}}{\partial x^{n}}}\end{bmatrix}}.

एक मीट्रिक की आंतरिक परिभाषाएँ

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

g:\mathrm {T} M\times _{M}\mathrm {T} M\to \mathbf {R}

(10)

जो कि $M$ के स्पर्शरेखा बंडल के फाइबर गुणन से स्वयं $R$ के साथ इस प्रकार परिभाषित है कि प्रत्येक फाइबर के लिए $g$ का प्रतिबंध एक निम्न अविकृत द्विरेखीय प्रतिचित्रण है

g_{p}:\mathrm {T} _{p}M\times \mathrm {T} _{p}M\to \mathbf {R} .

महत्त्व की स्थिति और $M$ की ऐसी संरचना का समर्थन कर सकने के आधार पर प्रतिचित्रण (10) का सतत, और प्रायः सतत अवकलनीय, निष्कोण, या वास्तविक विश्लेषणात्मक होना आवश्यक है।

बंडल के एक खंड के रूप में मीट्रिक

टेंसर गुणन के सार्वभौमिक गुण के द्वारा, कोई भी द्विरेखीय प्रतिचित्रण (10) स्वाभाविक रूप से $T M$ के टेंसर गुणन बंडल के द्वैत के एक खण्ड $g \otimes$ को उत्पन्न करता है

g_{\otimes }\in \Gamma \left((\mathrm {T} M\otimes \mathrm {T} M)^{*}\right).

खण्ड $g \otimes$ को $T M \otimes T M$ के सरल तत्वों पर निम्न द्वारा परिभाषित किया गया है

g_{\otimes }(v\otimes w)=g(v,w)

और इसे सरल तत्वों के रैखिक संयोजनों के रैखिक रूप से विस्तार द्वारा $T M \otimes T M$ के स्वेच्छ तत्वों पर परिभाषित किया गया है। मूल द्विरेखीय रूप $g$ सममित होता है यदि और केवल यदि

g_{\otimes }\circ \tau =g_{\otimes }

जहाँ

\tau :\mathrm {T} M\otimes \mathrm {T} M{\stackrel {\cong }{\to }}TM\otimes TM

ब्रेडिंग प्रतिचित्रण है।

चूँकि $M$ परिमित-विमीय है, अतः एक प्राकृतिक समरूपता ऐसी है कि

(\mathrm {T} M\otimes \mathrm {T} M)^{*}\cong \mathrm {T} ^{*}M\otimes \mathrm {T} ^{*}M,

जिससे $g \otimes$ को बंडल $T* M \otimes T* M$ के स्वयं के साथ कोटिस्पर्शज्या बंडल $T* M$ के एक खण्ड के रूप में भी माना जाए। चूँकि $g$ द्विरेखीय प्रतिचित्रण के रूप में सममित है, अतः इसके आधार पर $g \otimes$ एक सममित टेन्सर है।

एक सदिश बंडल में मीट्रिक

अधिक सामान्यतः, एक सदिश बंडल में एक मीट्रिक के बारे में विचार किया जा सकता है। यदि $E$ , मैनिफोल्ड $M$ पर एक सदिश बंडल है, तो एक मीट्रिक, $E$ के फाइबर गुणन से $R$ पर एक प्रतिचित्रण,

g:E\times _{M}E\to \mathbf {R}

है, जो प्रत्येक फाइबर:

g_{p}:E_{p}\times E_{p}\to \mathbf {R} .

में द्विरेखीय है, उपरोक्त के रूप में द्वैत का उपयोग करते हुए, एक मीट्रिक को प्रायः टेंसर गुणन बंडल $E * \otimes E *$ के एक खण्ड के साथ निर्धारित किया जाता है। (मीट्रिक (सदिश बंडल) देखें।)

स्पर्शरेखा-कोटिस्पर्शज्या समरूपता

मीट्रिक टेन्सर, स्पर्शरेखा बंडल से कोटिस्पर्शज्या बंडल तक एक प्राकृतिक समरूपता प्रदान करता है, जिसे कभी-कभी संगीत समरूपता कहा जाता है।^[6] यह समरूपता प्रत्येक स्पर्शरेखा सदिश $X p \in T p M$ के लिए निम्न समायोजन द्वारा प्राप्त की जाती है,

S_{g}X_{p}\,{\stackrel {\text{def}}{=}}\,g(X_{p},-),

यह $T p M$ पर एक रैखिक फलनक है जो $p$ से $g p (X p, Y p)$ पर एक स्पर्शरेखा सदिश $Y p$ प्रेषित करता है। अर्थात्, सभी स्पर्शरेखा सदिशों $X p$ और $Y p$ के लिए $T p M$ और इसके द्वैत अंतरिक्ष $T * p M$ के बीच $[-, -]$ युग्मन के पदों में

[S_{g}X_{p},Y_{p}]=g_{p}(X_{p},Y_{p})

प्रतिचित्रण $S g$ , $T p M$ से $T * p M$ पर एक रैखिक रूपान्तरण है। यह अविकृति की परिभाषा से अनुसरण करता है कि $S g$ का कर्नेल शून्य तक कम हो जाता है, और इसलिए कोटि-शून्यता प्रमेय द्वारा, $S g$ एक रैखिक समरूपता है। इसके अतिरिक्त, $S g$ इस अर्थ में एक सममित रैखिक रूपान्तरण है कि

[S_{g}X_{p},Y_{p}]=[S_{g}Y_{p},X_{p}]

सभी स्पर्शरेखा सदिशों $X p$ और $Y p$ के लिए।

इसके विपरीत, रैखिक समरूपता $S : T p M \to T * p M$ , $T p M$ पर निम्न के माध्यम से एक अविकृत द्विरेखीय रूप को परिभाषित करती है

g_{S}(X_{p},Y_{p})=[SX_{p},Y_{p}]\,.

यह द्विरेखीय रूप सममित होता है यदि और केवल यदि, $S$ सममित है। इस प्रकार $T p M$ पर सममित द्विरेखीय रूपों और द्वैत $T * p M$ पर $T p M$ की सममित रेखीय समरूपता के बीच एक प्राकृतिक एकैकी संचार होता है।

क्योंकि $p$ , $M$ पर परिवर्तित होता है, अतः $S g$ स्पर्शरेखा बंडल के सदिश बंडल समरूपता से कोटिस्पर्शरेखा बंडल पर बंडल $Hom(T M, T* M)$ के एक खंड को परिभाषित करता है। इस खंड में $g$ के समान ही सहजता है: अर्थात् यह $g$ के अनुसार सतत, अवकलनीय, सहज या वास्तविक-विश्लेषणात्मक है। प्रतिचित्रण $S g$ सदिश क्षेत्र पर "घातांक के अवनमन" का एक अमूर्त संरूपण प्रदान करता है, जो $M$ के प्रत्येक सदिश क्षेत्र को $M$ के एक उपसदिश क्षेत्र से जोड़ता है। $S g$ का व्युत्क्रम एक प्रतिचित्रण $T* M \to T M$ है, जो समान रूप से, एक उपसदिश क्षेत्र पर "घातांकों के उन्नयन" का एक अमूर्त संरूपण प्रदान करता है।

व्युत्क्रम $S -1 g$ एक रेखीय प्रतिचित्रण

S_{g}^{-1}:\mathrm {T} ^{*}M\to \mathrm {T} M

को परिभाषित करता है, जो इस अर्थ में व्युत्क्रमणीय और सममित है कि

\left[S_{g}^{-1}\alpha ,\beta \right]=\left[S_{g}^{-1}\beta ,\alpha \right]

सभी उपसदिशों $α$ , $β$ के लिए। इस प्रकार का एक व्युत्क्रमणीय सममित प्रतिचित्रण, एक प्रतिचित्र

\mathrm {T} ^{*}M\otimes \mathrm {T} ^{*}M\to \mathbf {R}

को टेन्सर-होम सहयोजन द्वारा या टेंसर गुणन

\mathrm {T} M\otimes \mathrm {T} M.

के एक खण्ड के लिए एक दोहरी द्वैत समरूपता द्वारा उत्पन्न करता है।

चाप की लम्बाई और रेखा तत्व

माना $g$ , $M$ पर एक रीमैनियन मीट्रिक है। एक स्थानीय निर्देशांक प्रणाली $x i$ , $i = 1, 2, \dots, n$ में, मीट्रिक टेन्सर एक आव्यूह के रूप में प्रकट होता है, जिसे यहाँ $G$ द्वारा निरूपित किया गया है, जिसकी प्रविष्टियाँ निर्देशांक सदिश क्षेत्रों के सापेक्ष मीट्रिक टेन्सर के घटक $g ij$ हैं।

माना $γ (t)$ , $a \leq t \leq b$ के लिए $M$ में एक खंडवार-अवकलनीय प्राचलिक वक्र है। वक्र के चाप की लंबाई को निम्न द्वारा परिभाषित किया जाता है

L=\int _{a}^{b}{\sqrt {\sum _{i,j=1}^{n}g_{ij}(\gamma (t))\left({\frac {d}{dt}}x^{i}\circ \gamma (t)\right)\left({\frac {d}{dt}}x^{j}\circ \gamma (t)\right)}}\,dt\,.

इस ज्यामितीय अनुप्रयोग के संबंध में, द्विघात अवकल रूप

ds^{2}=\sum _{i,j=1}^{n}g_{ij}(p)dx^{i}dx^{j}

को मीट्रिक से सम्बद्ध प्रथम मौलिक रूप कहा जाता है, जबकि $ds$ रेखा तत्व है। जब $ds 2$ को $M$ में एक वक्र के प्रतिबिम्ब पर पुलबैक किया जाता है, तो यह चाप की लम्बाई के सापेक्ष अवकल के वर्ग को निरूपित करता है।

छद्म-रीमैनियन मीट्रिक के लिए, उपरोक्त लंबाई सूत्र सदैव परिभाषित नहीं होता है, क्योंकि वर्गमूल के अंतर्गत पद ऋणात्मक हो सकता है। हम सामान्यतः केवल एक वक्र की लंबाई को तब परिभाषित करते हैं जब वर्गमूल के अंतर्गत पद का चिह्न सदैव समान या विपरीत होता है। इस स्थिति में

L=\int _{a}^{b}{\sqrt {\left|\sum _{i,j=1}^{n}g_{ij}(\gamma (t))\left({\frac {d}{dt}}x^{i}\circ \gamma (t)\right)\left({\frac {d}{dt}}x^{j}\circ \gamma (t)\right)\right|}}\,dt\,.

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

ऊर्जा, परिवर्तनशील सिद्धांत और जियोडेसिक्स

वक्र के एक खंड के लिए, एक अन्य प्रायः परिभाषित राशि वक्र की (गतिज) ऊर्जा है:

E={\frac {1}{2}}\int _{a}^{b}\sum _{i,j=1}^{n}g_{ij}(\gamma (t))\left({\frac {d}{dt}}x^{i}\circ \gamma (t)\right)\left({\frac {d}{dt}}x^{j}\circ \gamma (t)\right)\,dt\,.

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

कई स्थितियों में, जब भी गणना के लिए लंबाई का उपयोग करने की आवश्यकता होती है, तो यह गणना, ऊर्जा का उपयोग करके भी की जा सकती है। यह प्रायः वर्ग-मूल की आवश्यकता से बचते हुए सरल सूत्रों की प्रदान करता है। इस प्रकार, उदाहरण के लिए, जियोडेसिक समीकरणों को परिवर्तनशील सिद्धांतों को या तो लंबाई या ऊर्जा में प्रयुक्त करके प्राप्त किया जा सकता है। बाद वाली स्थिति में, जियोडेसिक समीकरण न्यूनतम क्रिया के सिद्धांत से उत्पन्न होते हैं: ये एक ऐसे "मुक्त कण" (किसी बल का अनुभव नहीं करने वाला कण) की गति का वर्णन करते हैं जो मैनिफोल्ड पर गति करने के लिए पर्याप्त है, लेकिन अन्यथा मैनिफोल्ड के भीतर नियत संवेग से स्वतंत्र रूप से गति करता है।^[7]

प्रमाणिक माप और आयतन रूप

सतहों की स्थिति के अनुरूप, एक $n$ -विमीय परा-सुसंहत मैनिफोल्ड $M$ पर एक मीट्रिक टेंसर, मैनिफोल्ड के उपसमुच्चय के $n$ -विमीय आयतन को मापने के लिए एक प्राकृतिक विधि को जन्म देता है। परिणामी प्राकृतिक धनात्मक बोरेल माप से संबंधित लेबेसेग समाकल के माध्यम से मैनिफोल्ड पर फलनों को समाकलित करने के सिद्धांत को विकसित करने की अनुमति मिलती है।

एक माप को रिज निरूपण प्रमेय द्वारा $M$ पर सघन रूप से समर्थित सतत फलनों के अंतरिक्ष $C 0 (M)$ पर एक धनात्मक रैखिक फलनक $Λ$ देते हुए परिभाषित किया जा सकता है। अधिक यथार्थ रूप से, यदि $M$ , एक (छद्म-) रीमैनियन मीट्रिक टेंसर $g$ वाला एक मैनिफोल्ड है, तो $μ g$ एक ऐसा अद्वितीय धनात्मक बोरेल माप होता है कि किसी भी निर्देशांक चार्ट $(U, φ)$ के लिए,

\Lambda f=\int _{U}f\,d\mu _{g}=\int _{\varphi (U)}f\circ \varphi ^{-1}(x){\sqrt {\left|\det g\right|}}\,dx

U

में समर्थित सभी

f

के लिए। यहाँ

det g

निर्देशांक चार्ट में मीट्रिक टेंसर के घटकों द्वारा गठित आव्यूह का सारणिक है। वह

Λ

निर्देशांक निकट-क्षेत्रों में समर्थित फलनों पर अच्छी तरह से परिभाषित है, चर के जैकोबियन परिवर्तन द्वारा संतुष्ट है। यह इकाई के विभाजन के माध्यम से

C 0 (M)

पर एक अद्वितीय धनात्मक रैखिक फलनक तक विस्तारित है।

यदि $M$ भी दिष्ट है, तो मीट्रिक टेन्सर से प्राकृतिक आयतन के रूप को परिभाषित करना संभव है। धनात्मक रूप से दिष्ट निर्देशांक प्रणाली $(x 1, ..., x n)$ में, आयतन रूप को इस प्रकार निरूपित किया जाता है

\omega ={\sqrt {\left|\det g\right|}}\,dx^{1}\wedge \cdots \wedge dx^{n}

जहाँ

dx i

निर्देशांक अवकल हैं और

\land

अवकल रूपों की बीजगणित में बाह्य गुणन को दर्शाता है। आयतन रूप, मैनिफोल्ड पर फलनों को समाकलित करने की एक विधि भी प्रदान करता है, और यह ज्यामितीय समाकल प्रमाणिक बोरेल माप द्वारा प्राप्त समाकल से सहमत है।

उदाहरण

यूक्लिडीय मीट्रिक

प्रारंभिक यूक्लिडीय ज्यामिति (द्वि-आयामी यूक्लिडीय मीट्रिक टेन्सर) का उदाहरण सबसे व्यावहारिक उदाहरण है। सामान्य $(x, y)$ निर्देशांकों में हम लिख सकते हैं

g={\begin{bmatrix}1&0\\0&1\end{bmatrix}}\,.

वक्र की लंबाई इस सूत्र में परिवर्तित हो जाती है:

L=\int _{a}^{b}{\sqrt {(dx)^{2}+(dy)^{2}}}\,.

यूक्लिडीय मीट्रिक को कुछ अन्य सामान्य निर्देशांक प्रणालियों में निम्नानुसार लिखा जा सकता है।

धुवीय निर्देशांक $(r, θ)$ :

{\begin{aligned}x&=r\cos \theta \\y&=r\sin \theta \\J&={\begin{bmatrix}\cos \theta &-r\sin \theta \\\sin \theta &r\cos \theta \end{bmatrix}}\,.\end{aligned}}

इसलिए

g=J^{\mathsf {T}}J={\begin{bmatrix}\cos ^{2}\theta +\sin ^{2}\theta &-r\sin \theta \cos \theta +r\sin \theta \cos \theta \\-r\cos \theta \sin \theta +r\cos \theta \sin \theta &r^{2}\sin ^{2}\theta +r^{2}\cos ^{2}\theta \end{bmatrix}}={\begin{bmatrix}1&0\\0&r^{2}\end{bmatrix}}

त्रिकोणमितीय सर्वसमिकाओं द्वारा।

सामान्य रूप से, एक यूक्लिडीय अंतरिक्ष पर कार्तीय निर्देशांक प्रणाली $x i$ में आंशिक अवकलज $\partial / \partial x i$ यूक्लिडीय मीट्रिक के सापेक्ष ऑर्थोनॉर्मल होते हैं। इस प्रकार मीट्रिक टेन्सर इस निर्देशांक प्रणाली में क्रोनकर डेल्टा δ_ij है। स्वेच्छ (संभवतः वक्ररेखीय) निर्देशांक $q i$ के सापेक्ष मीट्रिक टेन्सर इस प्रकार है

g_{ij}=\sum _{kl}\delta _{kl}{\frac {\partial x^{k}}{\partial q^{i}}}{\frac {\partial x^{l}}{\partial q^{j}}}=\sum _{k}{\frac {\partial x^{k}}{\partial q^{i}}}{\frac {\partial x^{k}}{\partial q^{j}}}.

एक गोले पर वृत्तीय मीट्रिक

$ℝ 3$ में इकाई गोला, प्रेरित मीट्रिक अनुभाग में वर्णित प्रक्रिया के माध्यम से परिवेशी यूक्लिडीय मीट्रिक से प्रेरित एक प्राकृतिक मीट्रिक से सुसज्जित है। मानक गोलाकार निर्देशांक $(θ, φ)$ में, $θ$ कोटिपूरक अक्षांश, $z$ -अक्ष से मापा गया कोण, और $φ$ , $xy$ -समतल में $x$ -अक्ष से कोण है, तब मीट्रिक का रूप इस प्रकार है

g={\begin{bmatrix}1&0\\0&\sin ^{2}\theta \end{bmatrix}}\,.

यह सामान्यतः निम्न रूप में लिखा जाता है

ds^{2}=d\theta ^{2}+\sin ^{2}\theta \,d\varphi ^{2}\,.

सापेक्षता से लोरेंट्ज़ियन मीट्रिक

निम्न निर्देशांक वाले एकसमान मिन्कोव्स्की अंतरिक्ष (विशेष सापेक्षता) में,

r^{\mu }\rightarrow \left(x^{0},x^{1},x^{2},x^{3}\right)=(ct,x,y,z)\,,

मीट्रिक संकेतक के चयन के आधार पर मीट्रिक है,

g={\begin{bmatrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\end{bmatrix}}\quad {\text{or}}\quad g={\begin{bmatrix}-1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{bmatrix}}\,.

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

इस स्थिति में, दिक्काल अंतराल को निम्न रूप में लिखा जाता है

ds^{2}=c^{2}dt^{2}-dx^{2}-dy^{2}-dz^{2}=dr^{\mu }dr_{\mu }=g_{\mu \nu }dr^{\mu }dr^{\nu }\,.

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

\left(x^{0},x^{1},x^{2},x^{3}\right)=(ct,r,\theta ,\varphi )\,,

के साथ, हम मीट्रिक को इस रूप में लिख सकते हैं

g_{\mu \nu }={\begin{bmatrix}\left(1-{\frac {2GM}{rc^{2}}}\right)&0&0&0\\0&-\left(1-{\frac {2GM}{rc^{2}}}\right)^{-1}&0&0\\0&0&-r^{2}&0\\0&0&0&-r^{2}\sin ^{2}\theta \end{bmatrix}}\,,

जहाँ $G$ (आव्यूह के अंदर) गुरुत्वाकर्षण स्थिरांक है और $M$ केंद्रीय वस्तु की कुल द्रव्यमान-ऊर्जा सामग्री को निरूपित करता है।

यह भी देखें

वक्राकार दिक्काल की गणित का मूल परिचय
क्लिफोर्ड बीजगणित
फिन्सलर मैनिफोल्ड
निर्देशांक चार्ट की सूची
रिक्की कलन
टिसोट्स सूचिका, मीट्रिक टेंसर की कल्पना करने के लिए एक तकनीक

↑ More precisely, the integrand is the pullback of this differential to the curve.
↑ In several formulations of classical unified field theories, the metric tensor was allowed to be non-symmetric; however, the antisymmetric part of such a tensor plays no role in the contexts described here, so it will not be further considered.
↑ The notation of using square brackets to denote the basis in terms of which the components are calculated is not universal. The notation employed here is modeled on that of Wells (1980). Typically, such explicit dependence on the basis is entirely suppressed.
↑ Dodson & Poston 1991, Chapter VII §3.04
↑ Vaughn 2007, §3.4.3
↑ For the terminology "musical isomorphism", see Gallot, Hulin & Lafontaine (2004, p. 75). See also Lee (1997, pp. 27–29)
↑ Sternberg 1983

संदर्भ

Dodson, C. T. J.; Poston, T. (1991), Tensor geometry, Graduate Texts in Mathematics, vol. 130 (2nd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-3-642-10514-2, ISBN 978-3-540-52018-4, MR 1223091
Gallot, Sylvestre; Hulin, Dominique; Lafontaine, Jacques (2004), Riemannian Geometry (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-20493-0.
Gauss, Carl Friedrich (1827), General Investigations of Curved Surfaces, New York: Raven Press (published 1965) translated by A. M. Hiltebeitel and J. C. Morehead; "Disquisitiones generales circa superficies curvas", Commentationes Societatis Regiae Scientiarum Gottingesis Recentiores Vol. VI (1827), pp. 99–146.
Hawking, S.W.; Ellis, G.F.R. (1973), The large scale structure of space-time, Cambridge University Press.
Kay, David (1988), Schaum's Outline of Theory and Problems of Tensor Calculus, McGraw-Hill, ISBN 978-0-07-033484-7.
Kline, Morris (1990), Mathematical thought from ancient to modern times, Volume 3, Oxford University Press.
Lee, John (1997), Riemannian manifolds, Springer Verlag, ISBN 978-0-387-98322-6.
Michor, Peter W. (2008), Topics in Differential Geometry, Graduate Studies in Mathematics, vol. 93, Providence: American Mathematical Society (to appear).
Misner, Charles W.; Thorne, Kip S.; Wheeler, John A. (1973), Gravitation, W. H. Freeman, ISBN 0-7167-0344-0
Ricci-Curbastro, Gregorio; Levi-Civita, Tullio (1900), "Méthodes de calcul différentiel absolu et leurs applications", Mathematische Annalen, 54 (1): 125–201, doi:10.1007/BF01454201, ISSN 1432-1807, S2CID 120009332
Sternberg, S. (1983), Lectures on Differential Geometry (2nd ed.), New York: Chelsea Publishing Co., ISBN 0-8218-1385-4
Vaughn, Michael T. (2007), Introduction to mathematical physics (PDF), Weinheim: Wiley-VCH Verlag GmbH & Co., doi:10.1002/9783527618859, ISBN 978-3-527-40627-2, MR 2324500
Wells, Raymond (1980), Differential Analysis on Complex Manifolds, Berlin, New York: Springer-Verlag

[1] More precisely, the integrand is the pullback of this differential to the curve.

[2] In several formulations of classical unified field theories, the metric tensor was allowed to be non-symmetric; however, the antisymmetric part of such a tensor plays no role in the contexts described here, so it will not be further considered.

[3] The notation of using square brackets to denote the basis in terms of which the components are calculated is not universal. The notation employed here is modeled on that of Wells (1980). Typically, such explicit dependence on the basis is entirely suppressed.

[4] Dodson & Poston 1991, Chapter VII §3.04

[5] Vaughn 2007, §3.4.3

[6] For the terminology "musical isomorphism", see Gallot, Hulin & Lafontaine (2004, p. 75). See also Lee (1997, pp. 27–29)

[7] Sternberg 1983

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Anonymous

Search

मीट्रिक टेंसर: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:24, 12 September 2023

Contents

परिचय

चाप की लंबाई

निर्देशांक रूपान्तरण

निर्देशांक रूपांतरणों के अंतर्गत चापलम्बाई की निश्चरता

लंबाई और कोण

क्षेत्रफल

परिभाषा

मीट्रिक के घटक

निर्देशांक में मीट्रिक

एक मीट्रिक का संकेतक

व्युत्क्रम मीट्रिक

घातांकों का उन्नयन और अवनमन

प्रेरित मीट्रिक

एक मीट्रिक की आंतरिक परिभाषाएँ

बंडल के एक खंड के रूप में मीट्रिक

एक सदिश बंडल में मीट्रिक

स्पर्शरेखा-कोटिस्पर्शज्या समरूपता

चाप की लम्बाई और रेखा तत्व

ऊर्जा, परिवर्तनशील सिद्धांत और जियोडेसिक्स

प्रमाणिक माप और आयतन रूप

उदाहरण

यूक्लिडीय मीट्रिक

एक गोले पर वृत्तीय मीट्रिक

सापेक्षता से लोरेंट्ज़ियन मीट्रिक

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
-{{Short description|Structure defining distance on a manifold}}
 {{about|मैनिफोल्ड पर मीट्रिक संरचनाएँ|सापेक्षता के दिक्काल की विशिष्ट स्थिति|मीट्रिक टेंसर (सामान्य सापेक्षता)}}
 अवकल ज्यामिति के गणितीय क्षेत्र में, एक '''मीट्रिक टेन्सर''' (या केवल '''मीट्रिक''') मैनिफोल्ड {{mvar|M}} (जैसे [[ सतह (गणित) |सतह]]) पर एक ऐसी अतिरिक्त [[ गणितीय संरचना |गणितीय संरचना]] है जो दूरी और कोणों को परिभाषित करने की अनुमति ठीक उसी प्रदान करती है, जिस प्रकार यूक्लिडीय अंतरिक्ष पर आंतरिक गुणनफल, दूरी और कोण को परिभाषित करने की अनुमति प्रदान करता है। अधिक यथार्थ रूप से, {{mvar|M}} के किसी बिंदु {{mvar|p}} पर एक मीट्रिक टेन्सर, {{mvar|p}} पर स्पर्शरेखा समष्टि पर परिभाषित एक [[ बिलिनियर रूप |द्विरेखीय]] रूप है (अर्थात्, एक [[ बिलिनियर फ़ंक्शन |द्विरेखीय फलन]], जो स्पर्शरेखा सदिश युग्मों को [[ वास्तविक संख्या |वास्तविक संख्याओं]] में प्रतिचित्रित करता है), और {{mvar|M}} पर एक मीट्रिक टेंसर में {{mvar|M}} के प्रत्येक बिंदु {{mvar|p}} पर एक ऐसा मीट्रिक टेंसर होता है जो आसानी से {{mvar|p}} के साथ परिवर्तित होता रहता है।
@@ Line 7: / Line 6: @@
 हालाँकि एक मीट्रिक [[ टेन्सर |टेन्सर]] की धारणा कुछ अर्थों में [[ कार्ल गॉस |कार्ल गॉस]] जैसे गणितज्ञों को 19वीं शताब्दी के प्रारंभ से ज्ञात थी, फिर भी 20वीं शताब्दी के प्रारंभ तक ऐसा नहीं था कि टेन्सर के रूप में इसके गुणों को विशेष रूप से [[ ग्रेगोरियो रिक्की-क्लैस्ट्रो |ग्रेगोरियो रिक्की-क्लैस्ट्रो]] और [[ टुल्लियो लेवी-सिविटा |टुल्लियो लेवी-सिविटा]] द्वारा समझा गया था, जिन्होंने पहली बार एक [[ सममितीय तेनसर |टेंसर]] की धारणा को संहिताबद्ध किया। मीट्रिक टेंसर, [[ टेंसर क्षेत्र |टेंसर क्षेत्र]] का एक उदाहरण है।
-किसी मीट्रिक टेन्सर के घटक एक [[ समन्वय आधार |निर्देशांक आधार]] पर एक [[ सममित मैट्रिक्स |सममित आव्यूह]] के रूप में लिए जाते हैं, जिनकी प्रविष्टियाँ निर्देशांक प्रणाली में परिवर्तन के तहत [[ वैक्टर के सहसंयोजक और कॉन्ट्रैवेरियन |सहपरिवर्ती]] रूप से रूपांतरित होती हैं। इस प्रकार एक मीट्रिक टेन्सर एक सहपरिवर्ती सममित टेन्सर होता है। निर्देशांक-मुक्त दृष्टिकोण से, एक मीट्रिक टेन्सर क्षेत्र को प्रत्येक स्पर्शरेखा समष्टि पर एक ऐसे अनपभ्रष्ट सममित द्विरेखीय रूप के रूप में परिभाषित किया जाता है जो बिंदु से बिंदु तक सुचारू रूप से परिवर्तित होता है।
+किसी मीट्रिक टेन्सर के घटक एक [[ समन्वय आधार |निर्देशांक आधार]] पर एक [[ सममित मैट्रिक्स |सममित आव्यूह]] के रूप में लिए जाते हैं, जिनकी प्रविष्टियाँ निर्देशांक प्रणाली में परिवर्तन के तहत [[ वैक्टर के सहसंयोजक और कॉन्ट्रैवेरियन |सहपरिवर्ती]] रूप से रूपांतरित होती हैं। इस प्रकार एक मीट्रिक टेन्सर एक सहपरिवर्ती सममित टेन्सर होता है। निर्देशांक-मुक्त दृष्टिकोण से, एक मीट्रिक टेन्सर क्षेत्र को प्रत्येक स्पर्शरेखा समष्टि पर एक ऐसे अविकृत सममित द्विरेखीय रूप के रूप में परिभाषित किया जाता है जो बिंदु से बिंदु तक सुचारू रूप से परिवर्तित होता है।
 == परिचय ==
@@ Line 174: / Line 173: @@
 == परिभाषा ==
-{{mvar|M}} को आयाम {{mvar|n}} का एक चिकनी मैनिफोल्ड होने दें; उदाहरण के लिए कार्टेसियन स्पेस <math>\R^{n+1}</math> में एक सतह (मामले में {{math|1=''n'' = 2}}) या [[ ऊनविम पृष्ठ |हाइपरसफेस]]। प्रत्येक बिंदु {{math|''p'' ∈ ''M''}} पर एक [[ सदिश स्थल |सदिश स्थल]] {{math|T<sub>''p''</sub>''M''}} होती है, जिसे स्पर्शरेखा समष्टि कहा जाता है, जिसमें बिंदु {{mvar|p}} पर मैनिफोल्ड स्पर्शरेखा सदिश होते हैं। {{mvar|p}} पर एक मीट्रिक टेंसर एक फलन {{math|''g''<sub>''p''</sub>(''X''<sub>''p''</sub>, ''Y''<sub>''p''</sub>)}} है जो इनपुट के रूप में {{mvar|p}} पर स्पर्शरेखा सदिश {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}} की एक जोड़ी लेता है, और आउटपुट के रूप में एक वास्तविक संख्या ([[ स्केलर (गणित) |स्केलर]]) उत्पन्न करता है, ताकि निम्नलिखित शर्तों को पूरा किया जा सके:
+माना {{mvar|M}}, {{mvar|n}} विमाओं, उदाहरण के लिए कार्तीय तल <math>\R^{n+1}</math> में एक सतह ({{math|1=''n'' = 2}} की स्थिति में) या [[ ऊनविम पृष्ठ |हाइपरसफेस]], वाला एक निष्कोण मैनिफोल्ड है। प्रत्येक बिंदु {{math|''p'' ∈ ''M''}} पर एक [[ सदिश स्थल |सदिश अंतरिक्ष]] {{math|T<sub>''p''</sub>''M''}} होता है, जिसे स्पर्शरेखा समष्टि कहा जाता है, जिसमें सभी स्पर्शरेखा सदिश मैनिफोल्ड के बिंदु {{mvar|p}} पर होते हैं। {{mvar|p}} पर एक मीट्रिक टेंसर एक फलन {{math|''g''<sub>''p''</sub>(''X''<sub>''p''</sub>, ''Y''<sub>''p''</sub>)}} है जो {{mvar|p}} पर स्पर्शरेखा सदिशों {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}} के एक युग्म को इनपुट के रूप में ग्रहण करता है, और आउटपुट के रूप में एक वास्तविक संख्या ([[ स्केलर (गणित) |अदिश]]) प्रदान करता है, जिससे निम्नलिखित शर्तों को पूरा किया जा सके:
-*{{math|''g''<sub>''p''</sub>}} द्विरेखीय है। दो सदिश तर्कों का एक फलन द्विरेखीय होता है यदि यह प्रत्येक तर्क में पृथक रूप से रैखिक हो। इस प्रकार यदि {{math|''U''<sub>''p''</sub>}}, {{math|''V''<sub>''p''</sub>}}, {{math|''Y''<sub>''p''</sub>}} {{mvar|p}} पर तीन स्पर्शरेखा सदिश हैं और {{mvar|a}} और {{mvar|b}} वास्तविक संख्याएँ हैं, तो<math display="block">\begin{align}
+*{{math|''g''<sub>''p''</sub>}}, द्विरेखीय है। दो सदिश कोणांकों का एक फलन द्विरेखीय होता है यदि यह प्रत्येक कोणांक में पृथक रूप से रैखिक हो। इस प्रकार यदि {{math|''U''<sub>''p''</sub>}}, {{math|''V''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}}, बिंदु {{mvar|p}} पर तीन स्पर्शरेखा सदिश हैं और {{mvar|a}} और {{mvar|b}} वास्तविक संख्याएँ हैं, तब<math display="block">\begin{align}
-   g_p(aU_p + bV_p, Y_p) &= ag_p(U_p, Y_p) + bg_p(V_p, Y_p) \,, \quad \text{and} \\
+   g_p(aU_p + bV_p, Y_p) &= ag_p(U_p, Y_p) + bg_p(V_p, Y_p) \,, \quad \text{औ  र} \\
    g_p(Y_p, aU_p + bV_p) &= ag_p(Y_p, U_p) + bg_p(Y_p, V_p) \,.
 \end{align}</math>
-*{{math|''g''<sub>''p''</sub>}} सममित है।<ref>In several formulations of [[classical unified field theories]], the metric tensor was allowed to be non-symmetric; however, the antisymmetric part of such a tensor plays no role in the contexts described here, so it will not be further considered.</ref> दो सदिश तर्कों का एक फलन सममित होता है बशर्ते कि सभी सदिशों {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}} के लिए,<math display="block">g_p(X_p, Y_p) = g_p(Y_p, X_p)\,.</math>
+*{{math|''g''<sub>''p''</sub>}}, सममित है।<ref>In several formulations of [[classical unified field theories]], the metric tensor was allowed to be non-symmetric; however, the antisymmetric part of such a tensor plays no role in the contexts described here, so it will not be further considered.</ref> दो सदिश कोणांकों का एक फलन सममित होता है यदि सभी सदिशों {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}} के लिए,<math display="block">g_p(X_p, Y_p) = g_p(Y_p, X_p)\,.</math>
-*{{math|''g''<sub>''p''</sub>}} [[ nondegenerate |गैर-डीजेनरेट]] है। एक द्विरेखीय फलन अविकृत होता है, बशर्ते कि प्रत्येक स्पर्शरेखा सदिश {{math|''X''<sub>''p''</sub> ≠ 0}} के लिए, फलन<math display="block">Y_p \mapsto g_p(X_p,Y_p)</math>{{math|''X''<sub>''p''</sub>}} को स्थिर रखते हुए और {{math|''Y''<sub>''p''</sub>}} को अलग-अलग करने की अनुमति देकर प्राप्त किया गया समान रूप से शून्य नहीं है। अर्थात्, प्रत्येक {{math|''X''<sub>''p''</sub> ≠ 0}} के लिए एक {{math|''Y''<sub>''p''</sub>}} का अस्तित्व होता है जैसे कि {{math|''g''<sub>''p''</sub>(''X''<sub>''p''</sub>, ''Y''<sub>''p''</sub>) ≠ 0}}
+*{{math|''g''<sub>''p''</sub>}}, [[ nondegenerate |अपभ्रष्ट]] है। एक द्विरेखीय फलन अपभ्रष्ट होता है, यदि प्रत्येक स्पर्शरेखा सदिश {{math|''X''<sub>''p''</sub> ≠ 0}} के लिए, फलन<math display="block">Y_p \mapsto g_p(X_p,Y_p)</math>जो {{math|''X''<sub>''p''</sub>}} को स्थिर रखते हुए और {{math|''Y''<sub>''p''</sub>}} को परिवर्तित होने की अनुमति देकर प्राप्त किया गया समान रूप से शून्य नहीं है। अर्थात्, प्रत्येक {{math|''X''<sub>''p''</sub> ≠ 0}} के लिए एक ऐसे {{math|''Y''<sub>''p''</sub>}} का अस्तित्व होता है कि {{math|''g''<sub>''p''</sub>(''X''<sub>''p''</sub>, ''Y''<sub>''p''</sub>) ≠ 0}}
-{{mvar|M}} पर एक मीट्रिक टेन्सर फील्ड {{mvar|g}}, {{mvar|M}} के प्रत्येक बिंदु {{mvar|p}} को {{mvar|p}} पर स्पर्शरेखा स्थान में एक मीट्रिक टेंसर {{math|''g''<sub>''p''</sub>}} को इस तरह से असाइन करता है जो आसानी से {{mvar|p}} के साथ बदलता रहता है। अधिक सटीक रूप से, {{mvar|U}} पर कई गुना {{mvar|M}} और किसी भी (चिकनी) [[ वेक्टर क्षेत्र | वेक्टर क्षेत्र]] {{mvar|X}} और {{mvar|Y}} के किसी भी खुले उपसमुच्चय को देखते हुए, वास्तविक कार्य<math display="block">g(X, Y)(p) = g_p(X_p, Y_p)</math>{{mvar|p}} का एक सहज कार्य है।
+{{mvar|M}} पर एक मीट्रिक टेन्सर क्षेत्र {{mvar|g}}, {{mvar|M}} के प्रत्येक बिंदु {{mvar|p}} को {{mvar|p}} पर स्पर्शरेखा समष्टि में एक मीट्रिक टेंसर {{math|''g''<sub>''p''</sub>}} को इस तरह से आवंटित करता है जो आसानी से {{mvar|p}} के साथ परिवर्तित होता रहता है। अधिक यथार्थ रूप से, {{mvar|U}} पर मैनिफोल्ड {{mvar|M}} और किसी भी (निष्कोण) [[ सदिश क्षेत्र | सदिश क्षेत्र]] {{mvar|X}} और {{mvar|Y}} के किसी भी खुले उपसमुच्चय को देखते हुए, वास्तविक फलन<math display="block">g(X, Y)(p) = g_p(X_p, Y_p)</math>{{mvar|p}} का एक सरल फलन है।
 == मीट्रिक के घटक ==
 {{Hatnote|यह खंड [[निर्देशांक सदिश]] के बारे में कुछ जानकारी रखता है।}}
-सदिश क्षेत्रों, या [[ फ्रेम बंडल |फ्रेम]], {{math|'''f''' {{=}}  (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} के किसी भी आधार में मीट्रिक के घटक<ref>The notation of using square brackets to denote the basis in terms of which the components are calculated is not universal. The notation employed here is modeled on that of {{harvtxt|Wells|1980}}. Typically, such explicit dependence on the basis is entirely suppressed.</ref> द्वारा दिए गए हैं
+सदिश क्षेत्रों, या [[ फ्रेम बंडल |फ्रेम]], {{math|'''f''' {{=}}  (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} के किसी भी आधार में मीट्रिक के घटक<ref>The notation of using square brackets to denote the basis in terms of which the components are calculated is not universal. The notation employed here is modeled on that of {{harvtxt|Wells|1980}}. Typically, such explicit dependence on the basis is entirely suppressed.</ref> इस प्रकार दिए गए हैं
-{{NumBlk|:|<math>g_{ij}[\mathbf{f}] = g\left(X_i, X_j\right).</math>|{{EquationRef|4}}}} {{math|''n''<sup>2</sup>}} }} फ़ंक्शन {{math|''g''<sub>''ij''</sub>['''f''']}} की प्रविष्टियों को बनाएं {{math|''n'' × ''n''}} सममित मैट्रिक्स, {{math|''G''['''f''']}}।यदि
+{{NumBlk|:|<math>g_{ij}[\mathbf{f}] = g\left(X_i, X_j\right).</math>|{{EquationRef|4}}}}''n<sup>2</sup>'' फलन {{math|(''g''<sub>''ij''</sub>['''f'''])}} एक {{math|''n'' × ''n''}} सममित आव्यूह, {{math|''G''['''f''']}} की प्रविष्टियाँ बनाते हैं। यदि
 :<math>v = \sum_{i=1}^n v^iX_i \,, \quad w = \sum_{i=1}^n w^iX_i</math>
-{{math|''p'' ∈ ''U''}} पर दो सदिश हैं, तो {{mvar|v}} और {{mvar|w}} पर लागू मीट्रिक का मान गुणांक ({{EquationNote|4}}) द्वारा द्विरेखीयिटी द्वारा निर्धारित किया जाता है:
+{{math|''p'' ∈ ''U''}} पर दो सदिश हैं, तो {{mvar|v}} और {{mvar|w}} पर लागू मीट्रिक का मान गुणांक ({{EquationNote|4}}) द्वारा द्विरैखिकता द्वारा निर्धारित किया जाता है:
 :<math>g(v, w) = \sum_{i,j=1}^n v^iw^jg\left(X_i,X_j\right) = \sum_{i,j=1}^n v^iw^jg_{ij}[\mathbf{f}]</math>
-{{math|''G''['''f''']}} द्वारा आव्यूह {{math|(''g''<sub>''ij''</sub>['''f'''])}} को नकारना और सदिश {{mvar|v}} और {{mvar|w}} के घटकों को कॉलम सदिश {{math|'''v'''['''f''']}} और {{math|'''w'''['''f''']}} में व्यवस्थित करना,
+आव्यूह {{math|(''g''<sub>''ij''</sub>['''f'''])}} को {{math|''G''['''f''']}} द्वारा निरूपित करते हुए और सदिश {{mvar|v}} और {{mvar|w}} के घटकों को स्तम्भ सदिशों {{math|'''v'''['''f''']}} और {{math|'''w'''['''f''']}} में व्यवस्थित करते हुए,
 :<math>g(v,w) = \mathbf{v}[\mathbf{f}]^\mathsf{T} G[\mathbf{f}] \mathbf{w}[\mathbf{f}] = \mathbf{w}[\mathbf{f}]^\mathsf{T} G[\mathbf{f}]\mathbf{v}[\mathbf{f}]</math>
-जहाँ {{math|'''v'''['''f''']}}<sup>T</sup> और {{math|'''w'''['''f''']}}<sup>T</sup> क्रमशः सदिशों {{math|'''v'''['''f''']}} और {{math|'''w'''['''f''']}} के स्थानांतरण को दर्शाता है। रूप के आधार में परिवर्तन के तहत
+जहाँ {{math|'''v'''['''f''']}}<sup>T</sup> और {{math|'''w'''['''f''']}}<sup>T</sup> क्रमशः सदिशों {{math|'''v'''['''f''']}} और {{math|'''w'''['''f''']}} के परिवर्त को दर्शाते हैं। रूप के आधार में परिवर्तन के तहत
 :<math>\mathbf{f}\mapsto \mathbf{f}' = \left(\sum_k X_ka_{k1},\dots,\sum_k X_ka_{kn}\right) = \mathbf{f}A</math>
-कुछ व्युत्क्रमणीय {{math|''n'' × ''n''}} आव्यूह {{math|''A'' {{=}} (''a''<sub>''ij''</sub>)}} के लिए, मीट्रिक के घटकों का आव्यूह {{mvar|A}} द्वारा भी बदलता है। वह है,
+कुछ व्युत्क्रमणीय {{math|''n'' × ''n''}} आव्यूहों {{math|''A'' {{=}} (''a''<sub>''ij''</sub>)}} के लिए, मीट्रिक के घटकों का आव्यूह {{mvar|A}} द्वारा भी परिवर्तित होता है। अर्थात्
 :<math>G[\mathbf{f}A] = A^\mathsf{T} G[\mathbf{f}]A</math>
-या, इस आव्यूह की प्रविष्टियों के संदर्भ में,
+या, इस आव्यूह की प्रविष्टियों के पदों में,
 :<math>g_{ij}[\mathbf{f}A] = \sum_{k,l=1}^n a_{ki}g_{kl}[\mathbf{f}]a_{lj} \, .</math>
-इस कारण से, मात्राओं की प्रणाली {{math|''g''<sub>''ij''</sub>['''f''']}} को फ्रेम {{math|'''f'''}} में परिवर्तनों के संबंध में सहपरिवर्ती रूप से रूपांतरित करने के लिए कहा जाता है।
+इस कारण से, राशियों {{math|''g''<sub>''ij''</sub>['''f''']}} के निकाय को फ्रेम {{math|'''f'''}} में परिवर्तनों के सापेक्ष सहपरिवर्ती रूप से रूपांतरित करने वाला कहा जाता है।
 === निर्देशांक में मीट्रिक ===
-{{mvar|n}} वास्तविक-मूल्यवान कार्यों {{math|(''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>)}} की एक प्रणाली, {{mvar|M}} में एक खुले सेट {{mvar|U}} पर [[ स्थानीय निर्देशांक |स्थानीय निर्देशांक]] दे रही है, {{mvar|U}} पर सदिश फ़ील्ड का आधार निर्धारित करती है
+{{mvar|n}} वास्तविक-मान फलनों {{math|(''x''<sup>1</sup>, ..., ''x''<sup>''n''</sup>)}} का एक निकाय, {{mvar|M}} में एक खुले समुच्चय {{mvar|U}} पर [[ स्थानीय निर्देशांक |स्थानीय निर्देशांक प्रणाली]] प्रदान करते हुए, {{mvar|U}} पर सदिश क्षेत्र का आधार निर्धारित करता है
 :<math>\mathbf{f} = \left(X_1 = \frac{\partial}{\partial x^1}, \dots, X_n = \frac{\partial}{\partial x^n}\right) \,.</math>
-मीट्रिक {{mvar|g}} में इस फ़्रेम के सापेक्ष घटक होते हैं जो इसके द्वारा दिए गए हैं
+मीट्रिक {{mvar|g}} में इस फ़्रेम के सापेक्ष घटक होते हैं जो इस प्रकार हैं
 :<math>g_{ij}\left[\mathbf{f}\right] = g\left(\frac{\partial}{\partial x^i}, \frac{\partial}{\partial x^j}\right) \,.</math>
-स्थानीय निर्देशांक की एक नई प्रणाली के सापेक्ष, कहते हैं
+स्थानीय निर्देशांकों की एक नई प्रणाली के सापेक्ष, माना
 :<math>y^i = y^i(x^1, x^2, \dots, x^n),\quad i=1,2,\dots,n</math>
-मीट्रिक टेन्सर गुणांकों का एक अलग आव्यूह निर्धारित करेगा,
+मीट्रिक टेन्सर गुणांकों का एक अलग आव्यूह निर्धारित करता है,
 :<math>g_{ij}\left[\mathbf{f}'\right] = g\left(\frac{\partial}{\partial y^i}, \frac{\partial}{\partial y^j}\right).</math>
-कार्यों की यह नई प्रणाली श्रृंखला नियम के माध्यम से मूल {{math|''g''<sub>''ij''</sub>('''f''')}} से संबंधित है
+फलनों का यह नया निकाय श्रृंखला नियम के माध्यम से मूल {{math|''g''<sub>''ij''</sub>('''f''')}} से संबंधित है
 :<math>\frac{\partial}{\partial y^i} = \sum_{k=1}^n \frac{\partial x^k}{\partial y^i}\frac{\partial}{\partial x^k}</math>
 जिससे
@@ Line 225: / Line 224: @@
 === एक मीट्रिक का संकेतक ===
 {{main|मीट्रिक संकेतक}}
-किसी भी मीट्रिक टेन्सर से संबंधित द्विघात रूप है जिसे प्रत्येक स्पर्शरेखा स्थान में परिभाषित किया गया है
+किसी भी मीट्रिक टेन्सर से संबंधित एक ऐसा द्विघात रूप है जिसे प्रत्येक स्पर्शरेखा समष्टि में इस प्रकार परिभाषित किया गया है
 :<math>q_m(X_m) = g_m(X_m,X_m) \,, \quad X_m\in T_mM.</math>
-यदि {{math|''q''<sub>''m''</sub>}} सभी गैर-शून्य {{math|''X''<sub>''m''</sub>}} के लिए धनात्मक है, तो मीट्रिक {{mvar|m}} पर धनात्मक-[[ निश्चित बिलिनियर रूप |निश्चित]] है। यदि मीट्रिक प्रत्येक {{math|''m'' ∈ ''M''}} पर धनात्मक-निश्चित है, तो {{mvar|g}} को [[ रिमैनियन मीट्रिक |रीमैनियन मीट्रिक]] कहा जाता है। अधिक आम तौर पर, यदि द्विघात रूपों {{math|''q''<sub>''m''</sub>}} में {{mvar|m}} से स्वतंत्र निरंतर संकेतक होते हैं, तो {{mvar|g}} का संकेतक यह संकेतक होता है, और {{mvar|g}} को [[ छद्म-रीमेनियन मीट्रिक |छद्म-रीमैनियन मीट्रिक]] कहा जाता है।<ref>{{harvnb|Dodson|Poston|1991|loc=Chapter VII §3.04}}</ref> यदि {{mvar|M}} [[ जुड़ा हुआ स्थान |जुड़ा]] हुआ है, तो {{mvar|q<sub>m</sub>}} का संकेतक {{mvar|m}} पर निर्भर नहीं करता है।<ref>{{harvnb|Vaughn|2007|loc=§3.4.3}}</ref>
+यदि {{math|''q''<sub>''m''</sub>}} सभी अशून्य {{math|''X''<sub>''m''</sub>}} के लिए धनात्मक है, तो मीट्रिक {{mvar|m}} पर धनात्मक-[[ निश्चित बिलिनियर रूप |निश्चित]] होता है। यदि मीट्रिक प्रत्येक {{math|''m'' ∈ ''M''}} पर धनात्मक-निश्चित है, तो {{mvar|g}} को [[ रिमैनियन मीट्रिक |रीमैनियन मीट्रिक]] कहा जाता है। अधिक सामान्यतः, यदि द्विघात रूपों {{math|''q''<sub>''m''</sub>}} में {{mvar|m}} से स्वतंत्र स्थिर संकेतक होते हैं, तो {{mvar|g}} का संकेतक यह संकेतक होता है, और {{mvar|g}} को [[ छद्म-रीमेनियन मीट्रिक |छद्म-रीमैनियन मीट्रिक]] कहा जाता है।<ref>{{harvnb|Dodson|Poston|1991|loc=Chapter VII §3.04}}</ref> यदि {{mvar|M}} [[ जुड़ा हुआ स्थान |जुड़ा]] हुआ है, तो {{mvar|q<sub>m</sub>}} का संकेतक {{mvar|m}} पर निर्भर नहीं करता है।<ref>{{harvnb|Vaughn|2007|loc=§3.4.3}}</ref>
-सिल्वेस्टर के जड़त्व के नियम से, स्पर्शरेखा सदिशों {{math|''X''<sub>''i''</sub>}} के आधार को स्थानीय रूप से चुना जा सकता है ताकि द्विघात रूप निम्नलिखित तरीके से विकर्ण हो
+सिल्वेस्टर के जड़त्व के नियम से, स्पर्शरेखा सदिशों {{math|''X''<sub>''i''</sub>}} के आधार को स्थानीय रूप से चुना जा सकता है जिससे द्विघात रूप निम्नलिखित तरीके से विकर्णित हो,
 :<math>q_m\left(\sum_i\xi^iX_i\right) = \left(\xi^1\right)^2+\left(\xi^2\right)^2+\cdots+\left(\xi^p\right)^2 - \left(\xi^{p+1}\right)^2-\cdots-\left(\xi^n\right)^2</math>
-कुछ {{mvar|p}} के लिए 1 और {{mvar|n}} के बीच। {{mvar|q}} के ऐसे किन्हीं दो व्यंजकों ({{mvar|M}} के एक ही बिंदु {{mvar|m}} पर) के सकारात्मक चिह्नों की समान संख्या {{mvar|p}} होगी। {{mvar|g}} का संकेतक पूर्णांक {{math|(''p'', ''n'' − ''p'')}} की जोड़ी है, यह दर्शाता है कि ऐसी किसी भी अभिव्यक्ति में {{mvar|p}} सकारात्मक संकेत और {{math|''n'' − ''p''}} नकारात्मक संकेत हैं। समतुल्य रूप से, मीट्रिक में संकेतक {{math|(''p'', ''n'' − ''p'')}} होता है यदि मीट्रिक के आव्यूह {{math|''g''<sub>''ij''</sub>}} में {{mvar|p}} धनात्मक और {{math|''n'' − ''p''}} ऋणात्मक [[ eigenvalue |eigenvalue]]s होते हैं।
+और {{mvar|n}} के बीच किसी {{mvar|p}} के लिए। {{mvar|q}} के ऐसे किन्हीं दो व्यंजकों ({{mvar|M}} के समान बिंदु {{mvar|m}} पर) में धनात्मक चिह्नों की समान संख्या {{mvar|p}} होती है। {{mvar|g}} का संकेतक पूर्णांक {{math|(''p'', ''n'' − ''p'')}} का युग्म है, जो यह दर्शाता है कि ऐसे किसी भी व्यंजक में {{mvar|p}} धनात्मक चिह्न और {{math|''n'' − ''p''}} ऋणात्रामक संकेत होते हैं। समतुल्य रूप से, मीट्रिक में {{math|(''p'', ''n'' − ''p'')}} संकेतक होता है यदि मीट्रिक के आव्यूह {{math|''g''<sub>''ij''</sub>}} में {{mvar|p}} धनात्मक और {{math|''n'' − ''p''}} ऋणात्मक [[ eigenvalue |अभिलाक्षणिक मान]] होते हैं।
-कुछ मीट्रिक संकेतक जो अक्सर अनुप्रयोगों में उत्पन्न होते हैं:
+कुछ मीट्रिक संकेतक जो प्रायः अनुप्रयोगों में उत्पन्न होते हैं:
-*यदि {{mvar|g}} के संकेतक {{math|(''n'', 0)}} हैं, तो {{mvar|g}} एक रीमैनियन मीट्रिक है, और {{mvar|M}} को रीमैनियन मैनिफोल्ड कहा जाता है। अन्यथा, {{mvar|g}} एक छद्म-रीमैनियन मीट्रिक है, और {{mvar|M}} को एक [[ छद्म-रीमैनियन मैनिफोल्ड |छद्म-रीमैनियन मैनिफोल्ड]] कहा जाता है (अर्द्ध-रिमैनियन शब्द का भी उपयोग किया जाता है)।
+*यदि {{mvar|g}} में संकेतक {{math|(''n'', 0)}} है, तो {{mvar|g}} एक रीमैनियन मीट्रिक होता है, और {{mvar|M}} को रीमैनियन मैनिफोल्ड कहा जाता है। अन्यथा, {{mvar|g}} एक छद्म-रीमैनियन मीट्रिक होता है, और {{mvar|M}} को एक [[ छद्म-रीमैनियन मैनिफोल्ड |छद्म-रीमैनियन मैनिफोल्ड]] कहा जाता है (इसके लिए अर्द्ध-रीमैनियन शब्द का भी उपयोग किया जाता है)।
-*यदि {{mvar|M}} संकेतक {{math|(1, 3)}} या {{math|(3, 1)}} के साथ चार आयामी है, तो मीट्रिक को [[ लोरेंट्ज़ियन मीट्रिक |लोरेंट्ज़ियन मीट्रिक]] कहा जाता है। अधिक आम तौर पर, संकेतक {{math|(1, ''n'' − 1)}} या {{math|(''n'' − 1, 1)}} के 4 के अलावा आयाम {{mvar|n}} में एक मीट्रिक टेन्सर को कभी-कभी लोरेंत्ज़ियन भी कहा जाता है।
+*यदि {{mvar|M}}, संकेतक {{math|(1, 3)}} या {{math|(3, 1)}} के साथ चार विमीय है, तो मीट्रिक को [[ लोरेंट्ज़ियन मीट्रिक |लोरेंट्ज़ियन मीट्रिक]] कहा जाता है। अधिक सामान्यतः, 4 के अतिरिक्त विमा {{mvar|n}} में संकेतक {{math|(1, ''n'' − 1)}} या {{math|(''n'' − 1, 1)}} के एक मीट्रिक टेन्सर को कभी-कभी [[ लोरेंट्ज़ियन मीट्रिक |लोरेंट्ज़ियन]] भी कहा जाता है।
-*यदि {{mvar|M}} {{math|2''n''}}-आयामी है और {{mvar|g}} का संकेतक {{math|(''n'', ''n'')}} है, तो मीट्रिक को [[ अल्ट्राहेरबोलिक मीट्रिक |अल्ट्राहाइपरबोलिक मीट्रिक]] कहा जाता है।
+*यदि {{mvar|M}}, {{math|2''n''}}-विमीय है और {{math|(''n'', ''n'')}}, {{mvar|g}} का संकेतक है, तो मीट्रिक को [[ अल्ट्राहेरबोलिक मीट्रिक |पराअतिपरवलयिक मीट्रिक]] कहा जाता है।
 === व्युत्क्रम मीट्रिक ===
-मान लीजिए कि {{math|'''f''' {{=}} (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} सदिश क्षेत्रों का एक आधार है, और जैसा कि ऊपर बताया गया है कि {{math|''G''['''f''']}} गुणांकों का आव्यूह है
+माना {{math|'''f''' {{=}} (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} सदिश क्षेत्रों का एक आधार है, और जैसा कि ऊपर बताया गया है कि {{math|''G''['''f''']}}, गुणांकों का आव्यूह है
 :<math>g_{ij}[\mathbf{f}] = g\left(X_i,X_j\right) \,.</math>
-[[ उलटा मैट्रिक्स |व्युत्क्रम आव्यूह]] {{math|''G''['''f''']<sup>−1</sup>}} पर विचार किया जा सकता है, जिसे व्युत्क्रम मीट्रिक (या ''संयुग्म'' या ''दोहरी मीट्रिक'') से पहचाना जाता है। व्युत्क्रम मीट्रिक एक परिवर्तन कानून को संतुष्ट करता है जब फ्रेम {{math|'''f'''}} को आव्यूह {{mvar|A}} द्वारा बदल दिया जाता है
+[[ उलटा मैट्रिक्स |व्युत्क्रम आव्यूह]] को {{math|''G''['''f''']<sup>−1</sup>}} लिया जा सकता है, जिसे '''व्युत्क्रम मीट्रिक''' (या ''संयुग्मी'' या द्वैत ''मीट्रिक'') के रूप में जाना जाता है। व्युत्क्रम मीट्रिक एक रूपान्तरण नियम को संतुष्ट करता है जब फ्रेम {{math|'''f'''}} को आव्यूह {{mvar|A}} द्वारा परिवर्तित कर दिया जाता है
 {{NumBlk|:|<math>G[\mathbf{f}A]^{-1} = A^{-1}G[\mathbf{f}]^{-1}\left(A^{-1}\right)^\mathsf{T}.</math>|{{EquationRef|5}}}}
-व्युत्क्रम मीट्रिक विपरीत रूप से रूपांतरित होता है, या आधार आव्यूह {{mvar|A}} के परिवर्तन के व्युत्क्रम के संबंध में। जबकि मीट्रिक स्वयं सदिश क्षेत्रों की लंबाई (या कोण के बीच) को मापने का एक तरीका प्रदान करता है, व्युत्क्रम मीट्रिक लंबाई को मापने का एक साधन प्रदान करता है। (या बीच का कोण) [[ कोवेटर |कोसदिश]] फ़ील्ड्स; वह है, रैखिक क्रियाओं के क्षेत्र।
+व्युत्क्रम मीट्रिक प्रतिपरिवर्ती रूप से या आधार आव्यूह {{mvar|A}} के परिवर्तन के व्युत्क्रम के सापेक्ष रूपांतरित होता है। जबकि मीट्रिक स्वयं सदिश क्षेत्रों की लंबाई (या बीच के कोण) को मापने की एक विधि प्रदान करता है, व्युत्क्रम मीट्रिक [[ कोवेटर |उपसदिश]] क्षेत्रों, अर्थात् रैखिक फलनों के क्षेत्र की लंबाई (या बीच के कोण) को मापने का एक साधन प्रदान करता है।
-इसे देखने के लिए, मान लीजिए {{mvar|α}} एक कोसदिश क्षेत्र है। बुद्धि के लिए, प्रत्येक बिंदु {{mvar|p}} के लिए, {{mvar|α}} {{mvar|p}} पर स्पर्शरेखा सदिश पर परिभाषित एक फलन {{math|''α''<sub>''p''</sub>}} निर्धारित करता है ताकि निम्नलिखित [[ रैखिक परिवर्तन |रैखिकता]] की स्थिति सभी स्पर्शरेखा सदिश {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}}, और सभी वास्तविक संख्याओं {{mvar|a}} और {{mvar|b}} के लिए हो:
+इसे देखने के लिए, माना {{mvar|α}} एक उपसदिश क्षेत्र है। अर्थात्, प्रत्येक बिंदु {{mvar|p}} के लिए, {{mvar|α}}, स्पर्शरेखा सदिश पर बिंदु {{mvar|p}} पर परिभाषित एक फलन {{math|''α''<sub>''p''</sub>}} निर्धारित करता है जिससे निम्नलिखित [[ रैखिक परिवर्तन |रैखिकता]] की स्थिति सभी स्पर्शरेखा सदिशों {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}}, और सभी वास्तविक संख्याओं {{mvar|a}} और {{mvar|b}} के लिए सत्य हो:
 :<math>\alpha_p \left(aX_p + bY_p\right) = a\alpha_p \left(X_p\right) + b\alpha_p \left(Y_p\right)\,.</math>
-जैसा कि {{mvar|p}} भिन्न होता है, {{mvar|α}} को इस अर्थ में एक सहज कार्य माना जाता है
+क्योंकि {{mvar|p}} परिवर्तित होता है, अतः {{mvar|α}} को इस अर्थ में एक सहज फलन माना जाता है
 :<math>p \mapsto \alpha_p \left(X_p\right)</math>
-किसी भी चिकने सदिश क्षेत्र {{mvar|X}} के लिए {{mvar|p}} का एक सहज कार्य है।
+किसी भी सरल सदिश क्षेत्र {{mvar|X}} के लिए {{mvar|p}} का एक सहज फलन है।
-किसी भी कोसदिश फ़ील्ड {{mvar|α}} में सदिश फ़ील्ड {{math|'''f'''}} के आधार पर घटक होते हैं। इनके द्वारा निर्धारित किया जाता है
+किसी भी उपसदिश क्षेत्र {{mvar|α}} में सदिश क्षेत्र {{math|'''f'''}} के आधार पर घटक होते हैं। इन्हें इस प्रकार निर्धारित किया जाता है
 :<math>\alpha_i = \alpha \left(X_i\right)\,,\quad i = 1, 2, \dots, n\,.</math>
-द्वारा इन घटकों के [[ पंक्ति वेक्टर |पंक्ति सदिश]] को निरूपित करें
+इन घटकों के [[ पंक्ति वेक्टर |पंक्ति सदिश]] को निम्न द्वारा निरूपित करने पर
 :<math>\alpha[\mathbf{f}] = \big\lbrack\begin{array}{cccc} \alpha_1 & \alpha_2 & \dots & \alpha_n \end{array}\big\rbrack \,.</math>
-एक आव्यूह {{mvar|A}} द्वारा {{math|'''f'''}} के परिवर्तन के तहत, {{math|''α''['''f''']}} नियम द्वारा बदलता है
+एक आव्यूह {{mvar|A}} द्वारा {{math|'''f'''}} के परिवर्तन के तहत, {{math|''α''['''f''']}} निम्न नियम द्वारा परिवर्तित होता है
 :<math>\alpha[\mathbf{f}A] = \alpha[\mathbf{f}]A \,.</math>
-अर्थात्, घटकों का पंक्ति सदिश {{math|''α''['''f''']}} सहसंयोजक सदिश के रूप में बदल जाता है।
+अर्थात्, घटकों का पंक्ति सदिश {{math|''α''['''f''']}}, सहपरिवर्ती सदिश के रूप में परिवर्तित होता है।
-कोसदिश क्षेत्रों की एक जोड़ी {{mvar|α}} और {{mvar|β}} के लिए, इन दो कोसदिशों पर लागू व्युत्क्रम मीट्रिक को परिभाषित करें
+उपसदिश क्षेत्रों के एक युग्म {{mvar|α}} और {{mvar|β}} के लिए, इन दो उपसदिशों पर लागू व्युत्क्रम मीट्रिक को निम्न द्वारा परिभाषित करने पर,
 {{NumBlk|:|<math>\tilde{g}(\alpha,\beta) = \alpha[\mathbf{f}]G[\mathbf{f}]^{-1}\beta[\mathbf{f}]^\mathsf{T}.</math>|{{EquationRef|6}}}}
-परिणामी परिभाषा, हालांकि इसमें आधार {{math|'''f'''}} का विकल्प शामिल है, वास्तव में {{math|'''f'''}} पर एक आवश्यक तरीके से निर्भर नहीं करता है। वास्तव में, आधार को {{math|'''f'''''A''}} में बदलने से प्राप्त होता है
+परिणामी परिभाषा वास्तव में {{math|'''f'''}} पर एक आवश्यक तरीके से निर्भर नहीं करती है, हालाँकि इसमें आधार {{math|'''f'''}} का चयन सम्मिलित है। वास्तव में, आधार को {{math|'''f'''''A''}} में बदलने से निम्न परिणाम प्राप्त होता है
 :<math>\begin{align}
@@ Line 280: / Line 279: @@
 \end{align}
 </math>
-ताकि समीकरण का दाहिना पक्ष ({{EquationNote|6}}) आधार {{math|'''f'''}} को किसी भी अन्य आधार {{math|'''f'''''A''}} में बदलने से अप्रभावित रहे। नतीजतन, समीकरण को आधार की पसंद से स्वतंत्र रूप से एक अर्थ सौंपा जा सकता है। आव्यूह {{math|''G''['''f''']}} की प्रविष्टियों को {{math|''g''<sup>''ij''</sup>}} द्वारा निरूपित किया जाता है, जहाँ परिवर्तन कानून ({{EquationNote|5}}) को इंगित करने के लिए सूचकांक {{mvar|i}} और {{mvar|j}} को उठाया गया है।
+जिससे समीकरण ({{EquationNote|6}}) का दायाँ पक्ष आधार {{math|'''f'''}} को किसी भी अन्य आधार {{math|'''f'''''A''}} में बदलने से अप्रभावित रहे। परिणामस्वरूप, समीकरण को आधार के चयन से स्वतंत्र रूप से एक अर्थ प्रदान किया जा सकता है। आव्यूह {{math|''G''['''f''']}} की प्रविष्टियों को {{math|''g''<sup>''ij''</sup>}} द्वारा निरूपित किया जाता है, जहाँ घातांक {{mvar|i}} और {{mvar|j}} को रूपान्तरण नियम ({{EquationNote|5}}) को इंगित करने के लिए उठाया गया है।
-=== उठाना और कम करना सूचकांक ===
+=== घातांकों का उन्नयन और अवनमन ===
-{{See also|सूचकांकों को ऊपर उठाना और घटाना}}
+{{See also|घातांकों का उन्नयन और अवनमन}}
-सदिश क्षेत्रों {{math|'''f''' {{=}} (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} के आधार पर, किसी भी चिकने स्पर्शरेखा सदिश क्षेत्र {{mvar|X}} को रूप में लिखा जा सकता है
+सदिश क्षेत्रों {{math|'''f''' {{=}} (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} के आधार में, किसी भी सहज स्पर्शरेखा सदिश क्षेत्र {{mvar|X}} को निम्न रूप में लिखा जा सकता है
 {{NumBlk|:|<math>X =
@@ Line 292: / Line 291: @@
 </math>|{{EquationRef|7}}}}
-कुछ विशिष्ट रूप से निर्धारित सुचारू कार्यों के लिए {{math|''v''<sup>1</sup>, ..., ''v''<sup>''n''</sup>}}। एक गैर-एकवचन आव्यूह {{mvar|A}} द्वारा आधार {{math|'''f'''}} को बदलने पर, गुणांक {{math|''v''<sup>''i''</sup>}} इस तरह से बदलते हैं कि समीकरण ({{EquationNote|7}}) सही रहता है। वह है,
+कुछ विशिष्ट रूप से निर्धारित सहज फलनों {{math|''v''<sup>1</sup>, ..., ''v''<sup>''n''</sup>}} के लिए। आधार {{math|'''f'''}} को एक व्युत्क्रमणीय आव्यूह {{mvar|A}} द्वारा बदलने पर, गुणांक {{math|''v''<sup>''i''</sup>}} इस प्रकार परिवर्तित होते हैं कि समीकरण ({{EquationNote|7}}) सत्य रहती है। अर्थात्,
 :<math>X = \mathbf{fA}v[\mathbf{fA}] = \mathbf{f}v[\mathbf{f}]\,.</math>
-फलस्वरूप, {{math|''v''['''f'''''A''] {{=}} ''A''<sup>−1</sup>''v''['''f''']}}। दूसरे शब्दों में, सदिश {{math|''v''['''f''']}} के घटक गैर-एकवचन आव्यूह {{mvar|A}} द्वारा आधार के परिवर्तन के तहत विपरीत रूप से (यानी, विपरीत या विपरीत तरीके से) रूपांतरित होते हैं। {{math|''v''<sup>''i''</sup>['''f''']}} की ऊपरी स्थिति में।
+परिणामस्वरूप, {{math|''v''['''f'''''A''] {{=}} ''A''<sup>−1</sup>''v''['''f''']}}। दूसरे शब्दों में, सदिश {{math|''v''['''f''']}} के घटक व्युत्क्रमणीय आव्यूह {{mvar|A}} द्वारा आधार के परिवर्तन के तहत प्रतिपरिवर्ती रूप से (अर्थात्, व्युत्क्रम या विपरीत तरीके से) रूपांतरित होते हैं। {{math|''v''['''f''']}} के घटकों के प्रतिपरिवर्तन को सांकेतिक रूप से {{math|''v''<sup>''i''</sup>['''f''']}} के घातांकों को ऊपरी स्थिति में रखकर निर्दिष्ट किया जाता है।
-एक फ्रेम भी कोसदिशों को उनके घटकों के संदर्भ में व्यक्त करने की अनुमति देता है। सदिश क्षेत्रों के आधार के लिए {{math|'''f''' {{=}} (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} दोहरे आधार को रैखिक कार्यात्मक {{math|(''θ''<sup>1</sup>['''f'''], ..., ''θ''<sup>''n''</sup>['''f'''])}} इस प्रकार परिभाषित करते हैं कि
+एक फ्रेम उपसदिशों को भी उनके घटकों के संदर्भ में व्यक्त होने की अनुमति देता है। सदिश क्षेत्रों {{math|'''f''' {{=}} (''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>)}} के आधार के लिए द्वैत आधार को रैखिक फलनकों {{math|(''θ''<sup>1</sup>['''f'''], ..., ''θ''<sup>''n''</sup>['''f'''])}} में इस प्रकार परिभाषित किया जाता है कि
 :<math>\theta^i[\mathbf{f}](X_j) = \begin{cases} 1 & \mathrm{if}\ i=j\\ 0&\mathrm{if}\ i\not=j.\end{cases}</math>
-अर्थात्, {{math|''θ''<sup>''i''</sup>['''f'''](''X''<sub>''j''</sub>) {{=}} ''δ''<sub>''j''</sub><sup>''i''</sup>}}, क्रोनकर डेल्टा। माना
+अर्थात्, {{math|''θ''<sup>''i''</sup>['''f'''](''X''<sub>''j''</sub>) {{=}} ''δ''<sub>''j''</sub><sup>''i''</sup>}}, इसे क्रोनकर डेल्टा कहा जाता है। माना
 :<math>\theta[\mathbf{f}] = \begin{bmatrix}\theta^1[\mathbf{f}] \\ \theta^2[\mathbf{f}] \\ \vdots \\ \theta^n[\mathbf{f}]\end{bmatrix}.</math>
-एक गैर-एकवचन आव्यूह {{math|''A''}} के लिए आधार {{math|'''f''' ↦ '''f'''''A''}} के परिवर्तन के तहत, {{math|''θ''['''f''']}} के माध्यम से बदल जाता है
+एक व्युत्क्रमणीय आव्यूह {{math|''A''}} के लिए आधार {{math|'''f''' ↦ '''f'''''A''}} के परिवर्तन के तहत, {{math|''θ''['''f''']}} निम्न के माध्यम से रूपांतरित हो जाता है
 :<math>\theta[\mathbf{f}A] = A^{-1}\theta[\mathbf{f}].</math>
-स्पर्शरेखा सदिशों पर किसी भी रैखिक कार्यात्मक {{mvar|α}} को दोहरे आधार {{mvar|θ}} के संदर्भ में विस्तारित किया जा सकता है
+स्पर्शरेखा सदिशों पर किसी भी रैखिक फलनक {{mvar|α}} को द्वैत आधार {{mvar|θ}} के संदर्भ में इस प्रकार विस्तारित किया जा सकता है
 {{NumBlk|:|<math>\begin{align}
@@ Line 314: / Line 313: @@
 \end{align}</math>|{{EquationRef|8}}}}
-जहाँ {{math|''a''['''f''']}} पंक्ति सदिश {{math|[ ''a''<sub>1</sub>['''f'''] ... ''a''<sub>''n''</sub>['''f'''] ]}} को दर्शाता है। घटक {{math|''a''<sub>''i''</sub>}} रूपांतरित होते हैं जब आधार {{math|'''f'''}} को {{math|'''f'''''A''}} द्वारा इस तरह से बदल दिया जाता है कि समीकरण ({{EquationNote|8}}) जारी रहता है। वह है,
+जहाँ {{math|''a''['''f''']}} पंक्ति सदिश {{math|[ ''a''<sub>1</sub>['''f'''] ... ''a''<sub>''n''</sub>['''f'''] ]}} को दर्शाता है। घटक {{math|''a''<sub>''i''</sub>}} रूपांतरित होते हैं जब आधार {{math|'''f'''}} को {{math|'''f'''''A''}} द्वारा इस प्रकार प्रतिस्थापित किया जाता है कि समीकरण ({{EquationNote|8}}) निरंतर सत्य रहता है। अर्थात्,
 :<math>\alpha = a[\mathbf{f}A]\theta[\mathbf{f}A] = a[\mathbf{f}]\theta[\mathbf{f}]</math>
-जहाँ से, क्योंकि {{math|''θ''['''f'''''A''] {{=}} ''A''<sup>−1</sup>''θ''['''f''']}}, यह इस प्रकार है कि {{math|1=''a''['''f'''''A''] {{=}} ''a''['''f''']''A''}}। यही है, घटक {{mvar|a}} सहसंयोजक रूप से परिवर्तित होते हैं (इसके व्युत्क्रम के बजाय आव्यूह {{mvar|A}} द्वारा)। {{math|''a''['''f''']}} के घटकों के सहप्रसरण को {{math|''a''<sub>''i''</sub>['''f''']}} के सूचकांकों को निचले स्थान पर रखकर सांकेतिक रूप से निर्दिष्ट किया जाता है।
+जहाँ से, क्योंकि {{math|''θ''['''f'''''A''] {{=}} ''A''<sup>−1</sup>''θ''['''f''']}}, अतः {{math|1=''a''['''f'''''A''] {{=}} ''a''['''f''']''A''}}। अर्थात्, घटक {{mvar|a}} ''सहपरिवर्ती'' रूप से (व्युत्क्रम के स्थान पर आव्यूह {{mvar|A}} द्वारा) रूपांतरित होते हैं। {{math|''a''['''f''']}} के घटकों के सहप्रसरण को {{math|''a''<sub>''i''</sub>['''f''']}} के घातांकों को निचले स्थान पर रखकर सांकेतिक रूप से निर्दिष्ट किया जाता है।
-अब, मीट्रिक टेन्सर सदिशों और कोसदिशों की पहचान करने के लिए निम्न प्रकार से एक साधन प्रदान करता है। होल्डिंग {{math|''X''<sub>''p''</sub>}} फिक्स्ड, फंक्शन
+अब, मीट्रिक टेन्सर सदिशों और उपसदिशों को निर्धारित करने के लिए निम्न प्रकार से एक माध्यम प्रदान करता है। {{math|''X''<sub>''p''</sub>}} को स्थिर रखते हुए, स्पर्शरेखा सदिश {{math|''Y''<sub>''p''</sub>}} का फलन
 :<math>g_p(X_p, -) : Y_p \mapsto g_p(X_p, Y_p)</math>
-स्पर्शरेखा सदिश {{math|''Y''<sub>''p''</sub>}} {{mvar|p}} पर स्पर्शरेखा स्थान पर एक रैखिक कार्यात्मक परिभाषित करता है। यह संक्रिया सदिश {{math|''X''<sub>''p''</sub>}} को बिंदु {{mvar|p}} पर लेती है और एक सहसंयोजक {{math|''g''<sub>''p''</sub>(''X''<sub>''p''</sub>, −)}} उत्पन्न करती है। सदिश क्षेत्र {{math|'''f'''}} के आधार पर, यदि एक सदिश क्षेत्र {{mvar|X}} में घटक {{math|''v''['''f''']}} हैं, तो दोहरे आधार में कोसदिश क्षेत्र {{math|''g''(''X'', −)}} के घटक पंक्ति सदिश की प्रविष्टियों द्वारा दिए गए हैं
+स्पर्शरेखा समष्टि पर {{mvar|p}} पर एक रैखिक फलनक परिभाषित करता है। यह संक्रिया बिंदु {{mvar|p}} पर एक सदिश {{math|''X''<sub>''p''</sub>}} को लेकर एक उपसदिश {{math|''g''<sub>''p''</sub>(''X''<sub>''p''</sub>, −)}} उत्पन्न करती है। सदिश क्षेत्र {{math|'''f'''}} के आधार पर, यदि एक सदिश क्षेत्र {{mvar|X}} में घटक {{math|''v''['''f''']}} हैं, तो द्वैत आधार में उपसदिश क्षेत्र {{math|''g''(''X'', −)}} के घटक निम्न पंक्ति सदिश की प्रविष्टियों द्वारा दिए जाते हैं
 :<math>a[\mathbf{f}] = v[\mathbf{f}]^\mathsf{T} G[\mathbf{f}].</math>
-आधार परिवर्तन {{math|'''f''' ↦ '''f'''''A''}} के तहत, इस समीकरण का दाहिना हाथ के माध्यम से रूपांतरित होता है
+आधार परिवर्तन {{math|'''f''' ↦ '''f'''''A''}} के तहत, इस समीकरण का दायाँ पक्ष निम्न के माध्यम से रूपांतरित होता है
 :<math>
    v[\mathbf{f}A]^\mathsf{T} G[\mathbf{f}A] =
@@ Line 330: / Line 329: @@
      v[\mathbf{f}]^\mathsf{T} G[\mathbf{f}]A
 </math>
-ताकि {{math|''a''['''f'''''A''] {{=}} ''a''['''f''']''A''}}: {{mvar|a}} सहपरिवर्ती रूप से परिवर्तित हो जाए। एक सदिश क्षेत्र {{math|''v''['''f'''] {{=}} [ ''v''<sup>1</sup>['''f'''] ''v''<sup>2</sup>['''f'''] ... ''v''<sup>''n''</sup>['''f'''] ]}}<sup>T</sup> के (प्रतिपरिवर्ती) घटकों को सहसंयोजक क्षेत्र a[f] के घटकों से संबद्ध करने की क्रिया {{math|''a''['''f'''] {{=}} [ ''a''<sub>1</sub>['''f'''] ''a''<sub>2</sub>['''f'''] … ''a''<sub>''n''</sub>['''f'''] ]}}, जहाँ
+जिससे {{math|''a''['''f'''''A''] {{=}} ''a''['''f''']''A''}}: {{mvar|a}} सहपरिवर्ती रूप से परिवर्तित होता है। एक सदिश क्षेत्र {{math|''v''['''f'''] {{=}} [ ''v''<sup>1</sup>['''f'''] ''v''<sup>2</sup>['''f'''] ... ''v''<sup>''n''</sup>['''f'''] ]}}<sup>T</sup> के (प्रतिपरिवर्ती) घटकों को उपसदिश क्षेत्र {{math|''a''['''f'''] {{=}} [ ''a''<sub>1</sub>['''f'''] ''a''<sub>2</sub>['''f'''] … ''a''<sub>''n''</sub>['''f'''] ]}} के घटकों से संबद्ध करने की संक्रिया को, जहाँ
 :<math>a_i[\mathbf{f}] = \sum_{k=1}^n v^k[\mathbf{f}]g_{ki}[\mathbf{f}]</math>
-'''सूचकांक को कम करना''' कहा जाता है।
+'''घातांक को अवनमन''' कहा जाता है।
-''सूचकांक बढ़ाने के लिए'', एक ही निर्माण लागू होता है लेकिन मीट्रिक के बजाय उलटा मीट्रिक के साथ। अगर {{math|''a''['''f'''] {{=}} [ ''a''<sub>1</sub>['''f'''] ''a''<sub>2</sub>['''f'''] ... ''a''<sub>''n''</sub>['''f'''] ]}} दोहरे आधार {{math|''θ''['''f''']}} में एक कोसदिश के घटक हैं, तो कॉलम सदिश
+''घातांक के उन्नयन के लिए'', मीट्रिक के स्थान पर व्युत्क्रम मीट्रिक के साथ यही रचना प्रयुक्त की जा सकती है। यदि द्वैत आधार {{math|''θ''['''f''']}} में एक उपसदिश के घटक {{math|''a''['''f'''] {{=}} [ ''a''<sub>1</sub>['''f'''] ''a''<sub>2</sub>['''f'''] ... ''a''<sub>''n''</sub>['''f'''] ]}} हैं, तो स्तम्भ सदिश
 {{NumBlk|:|<math>v[\mathbf{f}] = G^{-1}[\mathbf{f}]a[\mathbf{f}]^\mathsf{T}</math>|{{EquationRef|9}}}}
-ऐसे घटक हैं जो विपरीत रूप से रूपांतरित होते हैं:
+में ऐसे घटक होते हैं जो प्रतिपरिवर्ती रूप से रूपांतरित होते हैं:
 :<math>v[\mathbf{f}A] = A^{-1}v[\mathbf{f}].</math>
-नतीजतन, मात्रा {{math|''X'' {{=}} '''f'''''v''['''f''']}} एक आवश्यक तरीके से आधार {{math|'''f'''}} की पसंद पर निर्भर नहीं करता है, और इस प्रकार {{mvar|M}} पर एक सदिश क्षेत्र को परिभाषित करता है। ऑपरेशन ({{EquationNote|9}}) एक कोसदिश {{math|''a''['''f''']}} के (सहसंयोजक) घटकों से जुड़ा हुआ है  दिए गए सदिश {{math|''v''['''f''']}} के (प्रतिपरिवर्ती) घटकों को सूचकांक उठाना कहा जाता है। घटकों में, ({{EquationNote|9}}) है
+परिणामस्वरूप,  राशि {{math|''X'' {{=}} '''f'''''v''['''f''']}} एक आवश्यक तरीके से आधार {{math|'''f'''}} के चयन पर निर्भर नहीं करती है, और इस प्रकार {{mvar|M}} पर एक सदिश क्षेत्र को परिभाषित करती है। दिए गए सदिश {{math|''v''['''f''']}} के उपसदिश {{math|''a''['''f''']}} के (प्रतिपरिवर्ती) घटकों के साथ संक्रिया ({{EquationNote|9}}) को जोड़ना '''घातांक का उन्नयन''' कहलाता है। घटकों में, ({{EquationNote|9}}) इस प्रकार हैː
 :<math>v^i[\mathbf{f}] = \sum_{k=1}^n g^{ik}[\mathbf{f}] a_k[\mathbf{f}].</math>
 === प्रेरित मीट्रिक ===
-{{mvar|U}} को {{math|'''ℝ'''<sup>''n''</sup>}} में एक खुला सेट होने दें, और {{mvar|φ}} को {{mvar|U}} से यूक्लिडीय स्पेस {{math|'''ℝ'''<sup>''m''</sup>}} में एक [[ लगातार अलग -अलग |सतत अवकलनीय]] फलन होने दें, जहाँ {{math|''m'' > ''n''}}। मैपिंग {{mvar|φ}} को एक [[ विसर्जन (गणित) |विसर्जन]] कहा जाता है यदि इसका अंतर {{mvar|U}} के हर बिंदु पर [[ इंजेक्शन लगाने वाला |एकैकी]] है। {{mvar|φ}} की छवि को एक डूबे हुए सबमनीफोल्ड कहा जाता है। अधिक विशेष रूप से, {{math|1=''m'' = 3}} के लिए, जिसका अर्थ है कि परिवेशी यूक्लिडीय स्थान {{math|'''ℝ'''<sup>''3''</sup>}} है, प्रेरित मीट्रिक टेन्सर को पहला मौलिक रूप कहा जाता है।
+माना {{mvar|U}}, {{math|'''ℝ'''<sup>''n''</sup>}} में एक खुला समुच्चय, और {{mvar|φ}}, {{mvar|U}} से यूक्लिडीय अंतरिक्ष {{math|'''ℝ'''<sup>''m''</sup>}} में एक [[ लगातार अलग -अलग |सतत अवकलनीय]] फलन फलन है, जहाँ {{math|''m'' > ''n''}}। प्रतिचित्रण {{mvar|φ}} को एक [[ विसर्जन (गणित) |अंतर्वेशन]] कहा जाता है यदि इसका अवकल {{mvar|U}} के प्रत्येक बिंदु पर [[ इंजेक्शन लगाने वाला |एकैकी]] है। {{mvar|φ}} के प्रतिबिम्ब को एक अंतर्वेशित उप-मैनिफोल्ड कहा जाता है। अधिक विशेष रूप से, {{math|1=''m'' = 3}} के लिए, जिसका अर्थ है कि {{math|'''ℝ'''<sup>''3''</sup>}} परिवेशी यूक्लिडीय अंतरिक्ष है, प्रेरित मीट्रिक टेन्सर को पहला मौलिक रूप कहा जाता है।
-मान लीजिए कि {{mvar|φ}} सबमनीफोल्ड {{math|''M'' ⊂ '''R'''<sup>''m''</sup>}} पर एक निमज्जन है। {{math|'''ℝ'''<sup>''m''</sup>}} में सामान्य यूक्लिडीय बिंदु गुणन एक मीट्रिक है, जो {{mvar|M}} के स्पर्शरेखा वाले सदिश तक सीमित होने पर, इन स्पर्शरेखा सदिशों के बिंदु गुणन लेने के लिए एक साधन देता है। इसे '''प्रेरित मीट्रिक''' कहा जाता है।
+माना {{mvar|φ}}, उप-मैनिफोल्ड {{math|''M'' ⊂ '''R'''<sup>''m''</sup>}} पर एक अंतर्वेशन है। {{math|'''ℝ'''<sup>''m''</sup>}} में सामान्य यूक्लिडीय बिंदु गुणन एक ऐसा मीट्रिक है, जो {{mvar|M}} के स्पर्शरेखा सदिशों तक सीमित होने पर, इन स्पर्शरेखा सदिशों के बिंदु गुणन लेने के लिए एक माध्यम प्रदान करता है। इसे '''प्रेरित मीट्रिक''' कहा जाता है।
-मान लीजिए कि {{mvar|v}}, {{mvar|U}} के एक बिंदु पर एक स्पर्शरेखा सदिश है, मान लीजिए
+माना {{mvar|v}}, {{mvar|U}} के एक बिंदु पर एक स्पर्शरेखा सदिश है, माना
 :<math>v = v^1\mathbf{e}_1 + \dots + v^n\mathbf{e}_n</math>
-जहाँ {{math|'''e'''<sub>''i''</sub>}} मानक निर्देशांक सदिश {{math|'''ℝ'''<sup>''n''</sup>}} में हैं। जब {{mvar|φ}} को {{mvar|U}} पर लागू किया जाता है, तो सदिश {{mvar|v}} {{mvar|M}} द्वारा दिए गए सदिश स्पर्शरेखा पर चला जाता है
+जहाँ {{math|'''e'''<sub>''i''</sub>}}, {{math|'''ℝ'''<sup>''n''</sup>}} में मानक निर्देशांक सदिश हैं। जब {{mvar|φ}} को {{mvar|U}} पर प्रयुक्त किया जाता है, तो सदिश {{mvar|v}}, {{mvar|M}} पर सदिश स्पर्शरेखा पर इस प्रकार जाता है
 :<math>\varphi_*(v) = \sum_{i=1}^n \sum_{a=1}^m v^i\frac{\partial \varphi^a}{\partial x^i}\mathbf{e}_a\,.</math>
-(इसे {{mvar|φ}} के साथ {{mvar|v}} का पुशफॉरवर्ड कहा जाता है।) ऐसे दो सदिश, {{mvar|v}} और {{mvar|w}} दिए गए हैं, प्रेरित मीट्रिक द्वारा परिभाषित किया गया है
+(इसे {{mvar|φ}} के अनुदिश {{mvar|v}} का पुशफॉरवर्ड कहा जाता है।) दिए गए दो सदिशों {{mvar|v}} और {{mvar|w}} के लिए, प्रेरित मीट्रिक को निम्न द्वारा परिभाषित किया जाता है
 :<math>g(v,w) = \varphi_*(v)\cdot \varphi_*(w).</math>
-यह एक सीधी गणना से अनुसरण करता है कि समन्वित सदिश फ़ील्ड {{math|'''e'''}} के आधार पर प्रेरित मीट्रिक का आव्यूह द्वारा दिया गया है
+यह एक सीधी गणना से प्राप्त होता है कि निर्देशांक सदिश क्षेत्र {{math|'''e'''}} के आधार पर प्रेरित मीट्रिक का आव्यूह निम्न द्वारा दिया जाता है
 :<math>G(\mathbf{e}) = (D\varphi)^\mathsf{T}(D\varphi)</math>
-जहाँ {{mvar|Dφ}} जैकबियन आव्यूह है:
+जहाँ {{mvar|Dφ}} जैकोबियन आव्यूह है:
 :<math>D\varphi = \begin{bmatrix}
    \frac{\partial\varphi^1}{\partial x^1} & \frac{\partial\varphi^1}{\partial x^2} &
@@ Line 366: / Line 365: @@
 == एक मीट्रिक की आंतरिक परिभाषाएँ ==
-[[ फाइबर बंडल |फाइबर बंडलों]] और [[ वेक्टर बंडल |सदिश बंडलों]] की भाषा का उपयोग करके एक मीट्रिक की धारणा को आंतरिक रूप से परिभाषित किया जा सकता है। इन शब्दों में, मीट्रिक टेंसर एक फलन है
+[[ फाइबर बंडल |फाइबर बंडलों]] और [[ वेक्टर बंडल |सदिश बंडलों]] की भाषा का उपयोग करके एक मीट्रिक की धारणा को आंतरिक रूप से परिभाषित किया जा सकता है। इन शब्दों में, मीट्रिक टेंसर एक निम्न प्रकार का फलन है
 {{NumBlk|:|<math>g : \mathrm{T}M\times_M \mathrm{T}M\to \mathbf{R}</math>|{{EquationRef|10}}}}
-{{mvar|M}} के [[ स्पर्शरेखा |स्पर्शरेखा]] बंडल के [[ फाइबर उत्पाद |फाइबर गुणन]] से स्वयं {{math|'''R'''}} के साथ जैसे कि प्रत्येक फाइबर के लिए {{mvar|g}} का प्रतिबंध एक गैर-विकृत द्विरेखीय मानचित्रण है
+जो कि {{mvar|M}} के [[ स्पर्शरेखा |स्पर्शरेखा]] बंडल के [[ फाइबर उत्पाद |फाइबर गुणन]] से स्वयं {{math|'''R'''}} के साथ इस प्रकार परिभाषित है कि प्रत्येक फाइबर के लिए {{mvar|g}} का प्रतिबंध एक निम्न अविकृत द्विरेखीय प्रतिचित्रण है
 :<math>g_p : \mathrm{T}_pM\times \mathrm{T}_pM \to \mathbf{R}.</math>
-ब्याज के मामले के आधार पर मैपिंग ({{EquationNote|10}}) निरंतर, और अक्सर लगातार अलग-अलग, चिकनी, या [[ वास्तविक विश्लेषणात्मक |वास्तविक विश्लेषणात्मक]] होना आवश्यक है, और {{mvar|M}} ऐसी संरचना का समर्थन कर सकता है या नहीं।
+महत्त्व की स्थिति और {{mvar|M}} की ऐसी संरचना का समर्थन कर सकने के आधार पर प्रतिचित्रण ({{EquationNote|10}}) का सतत, और प्रायः सतत अवकलनीय, निष्कोण, या [[ वास्तविक विश्लेषणात्मक |वास्तविक विश्लेषणात्मक]] होना आवश्यक है।
-=== मीट्रिक एक बंडल के एक खंड के रूप में ===
+=== बंडल के एक खंड के रूप में मीट्रिक ===
-टेंसर गुणन की सार्वभौमिक संपत्ति के द्वारा, कोई भी द्विरेखीय मैपिंग ({{EquationNote|10}}) [[ प्राकृतिक परिवर्तन |स्वाभाविक]] रूप से {{math|T''M''}} के [[ टेंसर उत्पाद बंडल |टेंसर गुणन बंडल]] के दोहरे के एक सेक्शन {{math|''g''<sub>⊗</sub>}} को जन्म देती है
+टेंसर गुणन के सार्वभौमिक गुण के द्वारा, कोई भी द्विरेखीय प्रतिचित्रण ({{EquationNote|10}}) [[ प्राकृतिक परिवर्तन |स्वाभाविक]] रूप से {{math|T''M''}} के [[ टेंसर उत्पाद बंडल |टेंसर गुणन बंडल]] के द्वैत के एक खण्ड {{math|''g''<sub>⊗</sub>}} को उत्पन्न करता है
 :<math>g_\otimes \in \Gamma\left((\mathrm{T}M \otimes \mathrm{T}M)^*\right).</math>
-खंड {{math|''g''<sub>⊗</sub>}} को {{math|T''M'' ⊗ T''M''}} के सरल तत्वों पर परिभाषित किया गया है
+खण्ड {{math|''g''<sub>⊗</sub>}} को {{math|T''M'' ⊗ T''M''}} के सरल तत्वों पर निम्न द्वारा परिभाषित किया गया है
 :<math>g_\otimes(v \otimes w) = g(v, w)</math>
-और सरल तत्वों के रैखिक संयोजनों के रैखिक रूप से विस्तार करके {{math|T''M'' ⊗ T''M''}} के मनमाने तत्वों पर परिभाषित किया गया है। मूल द्विरेखीय रूप {{mvar|g}} सममित है यदि और केवल यदि
+और इसे सरल तत्वों के रैखिक संयोजनों के रैखिक रूप से विस्तार द्वारा {{math|T''M'' ⊗ T''M''}} के स्वेच्छ तत्वों पर परिभाषित किया गया है। मूल द्विरेखीय रूप {{mvar|g}} सममित होता है यदि और केवल यदि
 :<math>g_\otimes \circ \tau = g_\otimes</math>
 जहाँ
 :<math>\tau : \mathrm{T}M \otimes \mathrm{T}M \stackrel{\cong}{\to} TM \otimes TM</math>
-ब्रेडिंग नक्शा है।
+ब्रेडिंग प्रतिचित्रण है।
-चूँकि {{mvar|M}} परिमित-आयामी है, एक प्राकृतिक आइसोमोर्फिज्म है
+चूँकि {{mvar|M}} परिमित-विमीय है, अतः एक प्राकृतिक समरूपता ऐसी है कि
 :<math>(\mathrm{T}M \otimes \mathrm{T}M)^* \cong \mathrm{T}^*M \otimes \mathrm{T}^*M,</math>
-ताकि {{math|''g''<sub>⊗</sub>}} को बंडल {{math|T*''M'' ⊗ T*''M''}} के स्वयं के साथ [[ कोटगेंट बंडल |कोटगेंट बंडल]]  {{math|T*''M''}} के एक भाग के रूप में भी माना जाए। चूँकि {{mvar|g}} द्विरेखीय मैपिंग के रूप में सममित है, इसलिए यह अनुसरण करता है कि {{math|''g''<sub>⊗</sub>}} एक सममित टेन्सर है।
+जिससे {{math|''g''<sub>⊗</sub>}} को बंडल {{math|T*''M'' ⊗ T*''M''}} के स्वयं के साथ [[ कोटगेंट बंडल |कोटिस्पर्शज्या बंडल]] {{math|T*''M''}} के एक खण्ड के रूप में भी माना जाए। चूँकि {{mvar|g}} द्विरेखीय प्रतिचित्रण के रूप में सममित है, अतः इसके आधार पर {{math|''g''<sub>⊗</sub>}} एक सममित टेन्सर है।
 === एक सदिश बंडल में मीट्रिक ===
-अधिक सामान्यतः, एक सदिश बंडल में एक मीट्रिक के बारे में बात कर सकते हैं। यदि {{mvar|E}} मैनिफोल्ड {{mvar|M}} पर एक सदिश बंडल है, तो एक मीट्रिक एक मानचित्रण है
+अधिक सामान्यतः, एक सदिश बंडल में एक मीट्रिक के बारे में विचार किया जा सकता है। यदि {{mvar|E}}, मैनिफोल्ड {{mvar|M}} पर एक सदिश बंडल है, तो एक मीट्रिक, {{mvar|E}} के फाइबर गुणन से {{math|'''R'''}} पर एक प्रतिचित्रण,
 :<math>g : E\times_M E\to \mathbf{R}</math>
-{{mvar|E}} से {{math|'''R'''}} के फाइबर गुणन से जो प्रत्येक फाइबर में द्विरेखीय है:
+है, जो प्रत्येक फाइबर:
 :<math>g_p : E_p \times E_p\to \mathbf{R}.</math>
-उपरोक्त के रूप में द्वैत का उपयोग करते हुए, एक मीट्रिक को अक्सर [[ टेंसर उत्पाद |टेंसर गुणन]] बंडल {{math|''E''* ⊗ ''E''*}} के एक भाग के साथ पहचाना जाता है। (मीट्रिक (सदिश बंडल) देखें।)
+में द्विरेखीय है, उपरोक्त के रूप में द्वैत का उपयोग करते हुए, एक मीट्रिक को प्रायः [[ टेंसर उत्पाद |टेंसर गुणन]] बंडल {{math|''E''* ⊗ ''E''*}} के एक खण्ड के साथ निर्धारित किया जाता है। (मीट्रिक (सदिश बंडल) देखें।)
-=== स्पर्शरेखा -कोटैंगेंट आइसोमोर्फिज्म ===
+=== स्पर्शरेखा-कोटिस्पर्शज्या समरूपता ===
 {{see also|संगीत समरूपता}}
-मीट्रिक टेन्सर, स्पर्शरेखा बंडल से कोटैंजेंट बंडल तक एक [[ संगीतमय आइसोमोर्फिज्म |प्राकृतिक समरूपता]] प्रदान करता है, जिसे कभी-कभी संगीतमय समरूपता कहा जाता है।<ref>For the terminology "musical isomorphism", see {{harvtxt|Gallot|Hulin|Lafontaine|2004|p=75}}. See also {{harvtxt|Lee|1997|pp=27–29}}</ref> यह तुल्याकारिता प्रत्येक स्पर्शरेखा सदिश {{math|''X''<sub>''p''</sub> ∈ T<sub>''p''</sub>''M''}} के लिए सेटिंग द्वारा प्राप्त की जाती है,
+मीट्रिक टेन्सर, स्पर्शरेखा बंडल से कोटिस्पर्शज्या बंडल तक एक [[ संगीतमय आइसोमोर्फिज्म |प्राकृतिक समरूपता]] प्रदान करता है, जिसे कभी-कभी संगीत समरूपता कहा जाता है।<ref>For the terminology "musical isomorphism", see {{harvtxt|Gallot|Hulin|Lafontaine|2004|p=75}}. See also {{harvtxt|Lee|1997|pp=27–29}}</ref> यह समरूपता प्रत्येक स्पर्शरेखा सदिश {{math|''X''<sub>''p''</sub> ∈ T<sub>''p''</sub>''M''}} के लिए निम्न समायोजन द्वारा प्राप्त की जाती है,
 :<math>S_gX_p\, \stackrel\text{def}{=}\, g(X_p, -),</math>
-{{math|T<sub>''p''</sub>''M''}} पर रैखिक कार्यात्मक जो {{mvar|p}} से {{math|''g''<sub>''p''</sub>(''X''<sub>''p''</sub>,''Y''<sub>''p''</sub>)}} पर एक स्पर्शरेखा सदिश {{math|''Y''<sub>''p''</sub>}} भेजता है। अर्थात्, {{math|T<sub>''p''</sub>''M''}} और इसके दोहरे स्थान {{math|T{{su|b=''p''|p=∗}}''M''}} के बीच {{math|[−, −]}} की जोड़ी के संदर्भ में
+यह {{math|T<sub>''p''</sub>''M''}} पर एक रैखिक फलनक है जो {{mvar|p}} से {{math|''g''<sub>''p''</sub>(''X''<sub>''p''</sub>,''Y''<sub>''p''</sub>)}} पर एक स्पर्शरेखा सदिश {{math|''Y''<sub>''p''</sub>}} प्रेषित करता है। अर्थात्, सभी स्पर्शरेखा सदिशों {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}} के लिए {{math|T<sub>''p''</sub>''M''}} और इसके द्वैत अंतरिक्ष {{math|T{{su|b=''p''|p=∗}}''M''}} के बीच {{math|[−, −]}} युग्मन के पदों में
 :<math>[S_gX_p, Y_p] = g_p(X_p, Y_p)</math>
-सभी स्पर्शरेखा सदिश {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}} के लिए। मैपिंग {{math|''S''<sub>''g''</sub>}} {{math|T<sub>''p''</sub>''M''}} से {{math|T{{su|b=''p''|p=∗}}''M''}} तक एक रैखिक परिवर्तन है। यह गैर-अपकर्ष की परिभाषा से अनुसरण करता है कि {{math|''S''<sub>''g''</sub>}} का कर्नेल शून्य तक कम हो जाता है, और इसलिए रैंक-शून्यता प्रमेय द्वारा, {{math|''S''<sub>''g''</sub>}} एक [[ रैखिक समरूपता |रैखिक समरूपता]] है। इसके अलावा, {{math|''S''<sub>''g''</sub>}} इस अर्थ में एक सममित रैखिक परिवर्तन है
+प्रतिचित्रण {{math|''S''<sub>''g''</sub>}}, {{math|T<sub>''p''</sub>''M''}} से {{math|T{{su|b=''p''|p=∗}}''M''}} पर एक रैखिक रूपान्तरण है। यह अविकृति की परिभाषा से अनुसरण करता है कि {{math|''S''<sub>''g''</sub>}} का कर्नेल शून्य तक कम हो जाता है, और इसलिए कोटि-शून्यता प्रमेय द्वारा, {{math|''S''<sub>''g''</sub>}} एक [[ रैखिक समरूपता |रैखिक समरूपता]] है। इसके अतिरिक्त, {{math|''S''<sub>''g''</sub>}} इस अर्थ में एक सममित रैखिक रूपान्तरण है कि
 :<math>[S_gX_p, Y_p] = [S_gY_p, X_p] </math>
-सभी स्पर्शरेखा सदिश  {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}} के लिए।
+सभी स्पर्शरेखा सदिशों  {{math|''X''<sub>''p''</sub>}} और {{math|''Y''<sub>''p''</sub>}} के लिए।
-इसके विपरीत, कोई रैखिक आइसोमोर्फिज्म {{math|''S'' : T<sub>''p''</sub>''M'' → T{{su|b=''p''|p=∗}}''M''}} के माध्यम से {{math|T<sub>''p''</sub>''M''}} पर एक गैर-पतित द्विरेखीय रूप को परिभाषित करता है
+इसके विपरीत, रैखिक समरूपता {{math|''S'' : T<sub>''p''</sub>''M'' → T{{su|b=''p''|p=∗}}''M''}}, {{math|T<sub>''p''</sub>''M''}} पर निम्न के माध्यम से एक अविकृत द्विरेखीय रूप को परिभाषित करती है
 :<math>g_S(X_p, Y_p) = [SX_p, Y_p]\,.</math>
-यह द्विरेखीय रूप सममित है यदि और केवल यदि {{mvar|S}} सममित है। इस प्रकार {{math|T<sub>''p''</sub>''M''}} पर सममित द्विरेखीय रूपों और {{math|T<sub>''p''</sub>''M''}} के सममित रेखीय समरूपता के बीच दोहरे {{math|T{{su|b=''p''|p=∗}}''M''}} के बीच एक प्राकृतिक एक-से-एक पत्राचार होता है।
+यह द्विरेखीय रूप सममित होता है यदि और केवल यदि, {{mvar|S}} सममित है। इस प्रकार {{math|T<sub>''p''</sub>''M''}} पर सममित द्विरेखीय रूपों और द्वैत {{math|T{{su|b=''p''|p=∗}}''M''}} पर {{math|T<sub>''p''</sub>''M''}} की सममित रेखीय समरूपता के बीच एक प्राकृतिक एकैकी संचार होता है।
-जैसा कि {{mvar|p}} {{mvar|M}} पर भिन्न होता है, {{math|''S''<sub>''g''</sub>}} टेंगेंट बंडल के टेंगेंट बंडल के [[ वेक्टर बंडल आकृति विज्ञान |सदिश बंडल]] आइसोमोर्फिज्म के बंडल {{math|Hom(T''M'', T*''M'')}} के एक खंड को परिभाषित करता है। इस खंड में {{mvar|g}} के समान ही चिकनाई है: यह {{mvar|g}} के अनुसार निरंतर, भिन्न, चिकनी या वास्तविक-विश्लेषणात्मक है। मैपिंग {{math|''S''<sub>''g''</sub>}}, जो {{mvar|M}} पर प्रत्येक सदिश फ़ील्ड को {{mvar|M}} पर एक कोसदिश फ़ील्ड से जोड़ता है, सदिश फ़ील्ड पर "इंडेक्स को कम करने" का एक सार फॉर्मूलेशन देता है। {{math|''S''<sub>''g''</sub>}} का व्युत्क्रम एक मानचित्रण {{math|T*''M'' → T''M''}} है, जो समान रूप से, एक कोसदिश क्षेत्र पर "सूचकांक बढ़ाने" का एक सार सूत्रीकरण देता है।
+क्योंकि {{mvar|p}}, {{mvar|M}} पर परिवर्तित होता है, अतः {{math|''S''<sub>''g''</sub>}} स्पर्शरेखा बंडल के [[ वेक्टर बंडल आकृति विज्ञान |सदिश बंडल]] समरूपता से कोटिस्पर्शरेखा बंडल पर बंडल {{math|Hom(T''M'', T*''M'')}} के एक खंड को परिभाषित करता है। इस खंड में {{mvar|g}} के समान ही सहजता है: अर्थात् यह {{mvar|g}} के अनुसार सतत, अवकलनीय, सहज या वास्तविक-विश्लेषणात्मक है। प्रतिचित्रण {{math|''S''<sub>''g''</sub>}} सदिश क्षेत्र पर "घातांक के अवनमन" का एक अमूर्त संरूपण प्रदान करता है, जो {{mvar|M}} के प्रत्येक सदिश क्षेत्र को {{mvar|M}} के एक उपसदिश क्षेत्र से जोड़ता है। {{math|''S''<sub>''g''</sub>}} का व्युत्क्रम एक प्रतिचित्रण {{math|T*''M'' → T''M''}} है, जो समान रूप से, एक उपसदिश क्षेत्र पर "घातांकों के उन्नयन" का एक अमूर्त संरूपण प्रदान करता है।
-व्युत्क्रम {{math|''S''{{su|b=''g''|p=−1}}}} एक रेखीय मानचित्रण को परिभाषित करता है
+व्युत्क्रम {{math|''S''{{su|b=''g''|p=−1}}}} एक रेखीय प्रतिचित्रण
 :<math>S_g^{-1} : \mathrm{T}^*M \to \mathrm{T}M</math>
-जो इस अर्थ में व्युत्क्रमणीय और सममित है
+को परिभाषित करता है, जो इस अर्थ में व्युत्क्रमणीय और सममित है कि
 :<math>\left[S_g^{-1}\alpha, \beta\right] = \left[S_g^{-1}\beta, \alpha\right]</math>
-सभी covectors {{mvar|α}}, {{mvar|β}} के लिए। इस तरह के एक विलक्षण सममित मानचित्रण एक मानचित्र को ([[ टेन्सर-हेम एडजंक्शन |टेन्सर-हेम एडजंक्शन]] द्वारा) जन्म देता है
+सभी उपसदिशों {{mvar|α}}, {{mvar|β}} के लिए। इस प्रकार का एक व्युत्क्रमणीय सममित प्रतिचित्रण, एक प्रतिचित्र
 :<math>\mathrm{T}^*M \otimes \mathrm{T}^*M \to \mathbf{R}</math>
-या डबल डुअल आइसोमोर्फिज्म द्वारा टेंसर गुणन के एक भाग के लिए
+को [[ टेन्सर-हेम एडजंक्शन |टेन्सर-होम सहयोजन]] द्वारा या टेंसर गुणन
 :<math>\mathrm{T}M \otimes \mathrm{T}M.</math>
+के एक खण्ड के लिए एक दोहरी द्वैत समरूपता द्वारा उत्पन्न करता है।
 == चाप की लम्बाई और रेखा तत्व ==
-मान लीजिए कि {{mvar|g}} {{mvar|M}} पर एक रीमैनियन मीट्रिक है। एक स्थानीय निर्देशांक प्रणाली में {{math|''x''<sup>''i''</sup>}}, {{math|''i'' {{=}} 1, 2, …, ''n''}}, मीट्रिक टेन्सर एक [[ मैट्रिक्स (गणित) |आव्यूह]] के रूप में प्रकट होता है, जिसे {{math|'''G'''}} द्वारा निरूपित किया जाता है, जिसकी प्रविष्टियाँ मीट्रिक टेन्सर के घटक {{math|''g''<sub>''ij''</sub>}} हैं निर्देशांक सदिश क्षेत्रों के सापेक्ष।
+माना {{mvar|g}}, {{mvar|M}} पर एक रीमैनियन मीट्रिक है। एक स्थानीय निर्देशांक प्रणाली {{math|''x''<sup>''i''</sup>}}, {{math|''i'' {{=}} 1, 2, …, ''n''}} में, मीट्रिक टेन्सर एक [[ मैट्रिक्स (गणित) |आव्यूह]] के रूप में प्रकट होता है, जिसे यहाँ {{math|'''G'''}} द्वारा निरूपित किया गया है, जिसकी प्रविष्टियाँ निर्देशांक सदिश क्षेत्रों के सापेक्ष मीट्रिक टेन्सर के घटक {{math|''g''<sub>''ij''</sub>}} हैं।
-मान लीजिए कि {{math|''γ''(''t'')}} {{mvar|M}} में एक {{math|''a'' ≤ ''t'' ≤ ''b''}} के लिए एक खंड-विभेदक प्राचलिक वक्र है। वक्र की चाप लंबाई द्वारा परिभाषित किया गया है
+माना {{math|''γ''(''t'')}}, {{math|''a'' ≤ ''t'' ≤ ''b''}} के लिए {{mvar|M}} में एक खंडवार-अवकलनीय प्राचलिक वक्र है। वक्र के चाप की लंबाई को निम्न द्वारा परिभाषित किया जाता है
 :<math>L = \int_a^b \sqrt{ \sum_{i,j=1}^n g_{ij}(\gamma(t)) \left(\frac{d}{dt}x^i \circ \gamma(t)\right) \left(\frac{d}{dt} x^j \circ \gamma(t)\right)}\,dt \,.</math>
-इस ज्यामितीय अनुप्रयोग के संबंध में, द्विघात [[ विभेदक रूप |विभेदक रूप]]
+इस ज्यामितीय अनुप्रयोग के संबंध में, [[ विभेदक रूप |द्विघात अवकल रूप]]
 :<math>ds^2 = \sum_{i,j=1}^n g_{ij}(p) dx^i dx^j</math>
-मीट्रिक से जुड़ा पहला मौलिक रूप कहा जाता है, जबकि {{mvar|ds}} रेखा तत्व है। जब {{math|''ds''<sup>2</sup>}} को {{mvar|M}} में एक वक्र की छवि पर [[ पुलबैक (विभेदक ज्यामिति) |पुलबैक]] किया जाता है, तो यह चाप की लम्बाई के संबंध में अंतर के वर्ग का प्रतिनिधित्व करता है।
+को मीट्रिक से सम्बद्ध प्रथम मौलिक रूप कहा जाता है, जबकि {{mvar|ds}} रेखा तत्व है। जब {{math|''ds''<sup>2</sup>}} को {{mvar|M}} में एक वक्र के प्रतिबिम्ब पर [[ पुलबैक (विभेदक ज्यामिति) |पुलबैक]] किया जाता है, तो यह चाप की लम्बाई के सापेक्ष अवकल के वर्ग को निरूपित करता है।
-छद्म-रीमैनियन मीट्रिक के लिए, उपरोक्त लंबाई सूत्र हमेशा परिभाषित नहीं होता है, क्योंकि वर्गमूल के अंतर्गत शब्द ऋणात्मक हो सकता है। हम आम तौर पर केवल एक वक्र की लंबाई को परिभाषित करते हैं जब वर्गमूल के तहत मात्रा हमेशा एक या दूसरे चिह्न की होती है। इस मामले में परिभाषित करें
+छद्म-रीमैनियन मीट्रिक के लिए, उपरोक्त लंबाई सूत्र सदैव परिभाषित नहीं होता है, क्योंकि वर्गमूल के अंतर्गत पद ऋणात्मक हो सकता है। हम सामान्यतः केवल एक वक्र की लंबाई को तब परिभाषित करते हैं जब वर्गमूल के अंतर्गत पद का चिह्न सदैव समान या विपरीत होता है। इस स्थिति में
 :<math>L = \int_a^b \sqrt{ \left|\sum_{i,j=1}^ng_{ij}(\gamma(t)) \left(\frac{d}{dt}x^i \circ \gamma(t)\right)\left(\frac{d}{dt}x^j \circ \gamma(t)\right)\right|}\,dt \, .</math>
-ध्यान दें कि, जबकि ये सूत्र निर्देशांक व्यंजकों का उपयोग करते हैं, वे वास्तव में चुने गए निर्देशांकों से स्वतंत्र होते हैं; वे केवल मीट्रिक और उस वक्र पर निर्भर करते हैं जिसके साथ सूत्र एकीकृत है।
+को परिभाषित किया जाता है। ध्यान दें कि, जबकि ये सूत्र निर्देशांक व्यंजकों का उपयोग करते हैं, ये वास्तव में चुने गए निर्देशांकों से स्वतंत्र होते हैं; ये केवल मीट्रिक और उस वक्र पर निर्भर करते हैं जिसके साथ यह सूत्र समाकलित होता है।
 === ऊर्जा, परिवर्तनशील सिद्धांत और जियोडेसिक्स ===
-वक्र के एक खंड को देखते हुए, एक अन्य अक्सर परिभाषित मात्रा वक्र की (गतिज) ऊर्जा है:
+वक्र के एक खंड के लिए, एक अन्य प्रायः परिभाषित राशि वक्र की (गतिज) '''ऊर्जा''' है:
 :<math>E = \frac{1}{2} \int_a^b \sum_{i,j=1}^ng_{ij}(\gamma(t)) \left(\frac{d}{dt}x^i \circ \gamma(t)\right)\left(\frac{d}{dt}x^j \circ \gamma(t)\right)\,dt \,. </math>
-यह उपयोग भौतिकी, विशेष रूप से, [[ शास्त्रीय यांत्रिकी |शास्त्रीय यांत्रिकी]] से आता है, जहाँ अभिन्न {{mvar|E}} को मैनिफोल्ड की सतह पर चलने वाले बिंदु कण की [[ गतिज ऊर्जा |गतिज ऊर्जा]] के सीधे अनुरूप देखा जा सकता है। इस प्रकार, उदाहरण के लिए, जैकोबी के मूपर्टुइस सिद्धांत के सूत्रीकरण में, मीट्रिक टेन्सर को गतिमान कण के द्रव्यमान टेन्सर के अनुरूप देखा जा सकता है।
+यह उपयोग भौतिकी, विशेष रूप से, [[ शास्त्रीय यांत्रिकी |चिरसम्मत यांत्रिकी]] से आता है, जहाँ समाकल {{mvar|E}} को मैनिफोल्ड की सतह पर चलने वाले बिंदु कण की [[ गतिज ऊर्जा |गतिज ऊर्जा]] के प्रत्यक्ष अनुरूप देखा जा सकता है। इस प्रकार, उदाहरण के लिए, जैकोबी के मौपरर्टुइस सिद्धांत के सूत्रीकरण में, मीट्रिक टेन्सर को गतिमान कण के द्रव्यमान टेन्सर के अनुरूप देखा जा सकता है।
-कई मामलों में, जब भी गणना के लिए लंबाई का उपयोग करने की आवश्यकता होती है, तो ऊर्जा का उपयोग करके समान गणना भी की जा सकती है। यह अक्सर वर्ग-मूल की आवश्यकता से बचकर सरल सूत्रों की ओर ले जाता है। इस प्रकार, उदाहरण के लिए, [[ जियोडेसिक समीकरण |भूगणितीय समीकरणों]] को या तो लंबाई या ऊर्जा में परिवर्तनशील सिद्धांतों को लागू करके प्राप्त किया जा सकता है। बाद के मामले में, जियोडेसिक समीकरण कम से कम कार्रवाई के सिद्धांत से उत्पन्न होते हैं: वे एक "मुक्त कण" (कोई बल महसूस नहीं करने वाला कण) की गति का वर्णन करते हैं जो मैनिफोल्ड बढ़ने के लिए सीमित है, लेकिन अन्यथा स्वतंत्र रूप से चलता है, निरंतर गति के साथ, मैनिफोल्ड के भीतर।<ref>{{harvnb|Sternberg|1983}}</ref>
+कई स्थितियों में, जब भी गणना के लिए लंबाई का उपयोग करने की आवश्यकता होती है, तो यह गणना, ऊर्जा का उपयोग करके भी की जा सकती है। यह प्रायः वर्ग-मूल की आवश्यकता से बचते हुए सरल सूत्रों की प्रदान करता है। इस प्रकार, उदाहरण के लिए, [[ जियोडेसिक समीकरण |जियोडेसिक समीकरणों]] को परिवर्तनशील सिद्धांतों को या तो लंबाई या ऊर्जा में प्रयुक्त करके प्राप्त किया जा सकता है। बाद वाली स्थिति में, जियोडेसिक समीकरण न्यूनतम क्रिया के सिद्धांत से उत्पन्न होते हैं: ये एक ऐसे "मुक्त कण" (किसी बल का अनुभव नहीं करने वाला कण) की गति का वर्णन करते हैं जो मैनिफोल्ड पर गति करने के लिए पर्याप्त है, लेकिन अन्यथा मैनिफोल्ड के भीतर नियत संवेग से स्वतंत्र रूप से गति करता है।<ref>{{harvnb|Sternberg|1983}}</ref>
-== कैनोनिकल माप और वॉल्यूम फॉर्म ==
+== प्रमाणिक माप और आयतन रूप ==
-सतहों के मामले के अनुरूप, एक {{mvar|n}}-डायमेंशनल पैराकॉम्पैक्ट मैनिफोल्ड {{mvar|M}} पर एक मीट्रिक टेंसर मैनिफोल्ड के सबसेट के {{mvar|n}}-डायमेंशनल [[ मात्रा |वॉल्यूम]] को मापने के लिए एक प्राकृतिक तरीके को जन्म देता है। परिणामी प्राकृतिक सकारात्मक बोरेल माप से संबंधित [[ लेबेसग्यू इंटीग्रल |लेबेसेग इंटीग्रल]] इंटीग्रल के माध्यम से मैनिफोल्ड कार्यों को एकीकृत करने के सिद्धांत को विकसित करने की अनुमति मिलती है।
+सतहों की स्थिति के अनुरूप, एक {{mvar|n}}-विमीय परा-सुसंहत मैनिफोल्ड {{mvar|M}} पर एक मीट्रिक टेंसर, मैनिफोल्ड के उपसमुच्चय के {{mvar|n}}-विमीय [[ मात्रा |आयतन]] को मापने के लिए एक प्राकृतिक विधि को जन्म देता है। परिणामी प्राकृतिक धनात्मक बोरेल माप से संबंधित [[ लेबेसग्यू इंटीग्रल |लेबेसेग समाकल]] के माध्यम से मैनिफोल्ड पर फलनों को समाकलित करने के सिद्धांत को विकसित करने की अनुमति मिलती है।
-एक माप को परिभाषित किया जा सकता है, [[ Riesz प्रतिनिधित्व प्रमेय |रिज प्रतिनिधित्व प्रमेय]] द्वारा, {{mvar|M}} पर [[ कॉम्पैक्ट समर्थन |कॉम्पैक्ट]] रूप से समर्थित निरंतर कार्यों के अंतरिक्ष {{math|''C''<sub>0</sub>(''M'')}} पर एक [[ सकारात्मक रैखिक कार्यात्मक |सकारात्मक रैखिक कार्यात्मक]] {{mvar|Λ}} देकर। अधिक सटीक रूप से, यदि {{mvar|M}} एक (छद्म-) रीमैनियन मीट्रिक टेंसर {{mvar|g}} के साथ मैनिफोल्ड है, तो {{math|''μ''<sub>''g''</sub>}} एक अद्वितीय सकारात्मक बोरेल माप माइक्रोग्राम है जैसे कि किसी भी [[ समन्वय चार्ट |निर्देशांक चार्ट]] {{math|(''U'', ''φ'')}} के लिए,<math display="block">\Lambda f = \int_U f \, d\mu_g = \int_{\varphi(U)} f \circ \varphi^{-1}(x) \sqrt{\left|\det g\right|}\,dx</math>{{mvar|U}} में समर्थित सभी {{mvar|f}} के लिए। यहाँ {{math|det ''g''}} निर्देशांक चार्ट में मीट्रिक टेंसर के घटकों द्वारा गठित मैट्रिक्स का निर्धारक है। वह {{math|Λ}} समन्वित पड़ोस में समर्थित कार्यों पर अच्छी तरह से परिभाषित है, चर के [[ प्रतिस्थापन द्वारा एकीकरण |जैकोबियन परिवर्तन]] द्वारा उचित है। यह एकता के विभाजन के माध्यम से {{math|''C''<sub>0</sub>(''M'')}} पर एक अद्वितीय सकारात्मक रैखिक कार्यात्मकता तक फैली हुई है।
+एक माप को [[ Riesz प्रतिनिधित्व प्रमेय |रिज निरूपण प्रमेय]] द्वारा {{mvar|M}} पर [[ कॉम्पैक्ट समर्थन |सघन]] रूप से समर्थित सतत फलनों के अंतरिक्ष {{math|''C''<sub>0</sub>(''M'')}} पर एक [[ सकारात्मक रैखिक कार्यात्मक |धनात्मक रैखिक फलनक]] {{mvar|Λ}} देते हुए परिभाषित किया जा सकता है। अधिक यथार्थ रूप से, यदि {{mvar|M}}, एक (छद्म-) रीमैनियन मीट्रिक टेंसर {{mvar|g}} वाला एक मैनिफोल्ड है, तो {{math|''μ''<sub>''g''</sub>}} एक ऐसा अद्वितीय धनात्मक बोरेल माप होता है कि किसी भी [[ समन्वय चार्ट |निर्देशांक चार्ट]] {{math|(''U'', ''φ'')}} के लिए,<math display="block">\Lambda f = \int_U f \, d\mu_g = \int_{\varphi(U)} f \circ \varphi^{-1}(x) \sqrt{\left|\det g\right|}\,dx</math>{{mvar|U}} में समर्थित सभी {{mvar|f}} के लिए। यहाँ {{math|det ''g''}} निर्देशांक चार्ट में मीट्रिक टेंसर के घटकों द्वारा गठित आव्यूह का सारणिक है। वह {{math|Λ}} निर्देशांक निकट-क्षेत्रों में समर्थित फलनों पर अच्छी तरह से परिभाषित है, चर के [[ प्रतिस्थापन द्वारा समाकलन |जैकोबियन परिवर्तन]] द्वारा संतुष्ट है। यह इकाई के विभाजन के माध्यम से {{math|''C''<sub>0</sub>(''M'')}} पर एक अद्वितीय धनात्मक रैखिक फलनक तक विस्तारित है।
+यदि {{mvar|M}} भी [[ अभिविन्यास (गणित) |दिष्ट]] है, तो मीट्रिक टेन्सर से प्राकृतिक आयतन के रूप को परिभाषित करना संभव है। धनात्मक रूप से दिष्ट निर्देशांक प्रणाली {{math|(''x''<sup>''1''</sup>, ..., ''x''<sup>''n''</sup>)}} में, आयतन रूप को इस प्रकार निरूपित किया जाता है<math display="block">\omega = \sqrt{\left|\det g\right|} \, dx^1 \wedge \cdots \wedge dx^n</math>जहाँ {{math|''dx''<sup>''i''</sup>}} [[ समन्वय अंतर |निर्देशांक अवकल]] हैं और {{math|∧}} अवकल रूपों की बीजगणित में [[ बाहरी उत्पाद |बाह्य गुणन]] को दर्शाता है। आयतन रूप, मैनिफोल्ड पर फलनों को समाकलित करने की एक विधि भी प्रदान करता है, और यह ज्यामितीय समाकल प्रमाणिक बोरेल माप द्वारा प्राप्त समाकल से सहमत है।
-यदि {{mvar|M}} भी [[ अभिविन्यास (गणित) |उन्मुख]] है, तो मीट्रिक टेन्सर से प्राकृतिक मात्रा के रूप को परिभाषित करना संभव है। सकारात्मक रूप से उन्मुख निर्देशांक प्रणाली {{math|(''x''<sup>''1''</sup>, ..., ''x''<sup>''n''</sup>)}} में वॉल्यूम फॉर्म का प्रतिनिधित्व किया जाता है<math display="block">\omega = \sqrt{\left|\det g\right|} \, dx^1 \wedge \cdots \wedge dx^n</math>जहाँ {{math|''dx''<sup>''i''</sup>}} [[ समन्वय अंतर |निर्देशांक अंतर]] हैं और {{math|∧}} अंतर रूपों के बीजगणित में [[ बाहरी उत्पाद |बाहरी गुणन]] को दर्शाता है। वॉल्यूम फॉर्म मैनिफोल्ड पर कार्यों को एकीकृत करने का एक तरीका भी देता है, और यह ज्यामितीय इंटीग्रल कैनोनिकल बोरेल माप द्वारा प्राप्त इंटीग्रल से सहमत है।
 == उदाहरण ==
 === यूक्लिडीय मीट्रिक ===
-सबसे परिचित उदाहरण प्राथमिक [[ यूक्लिडियन ज्यामिति |यूक्लिडीय ज्यामिति]] का है: द्वि-आयामी [[ यूक्लिडियन दूरी |यूक्लिडीय]] मीट्रिक टेन्सर। सामान्य {{math|(''x'', ''y'')}} निर्देशांकों में हम लिख सकते हैं
+प्रारंभिक [[ यूक्लिडियन ज्यामिति |यूक्लिडीय ज्यामिति]] (द्वि-आयामी [[ यूक्लिडियन दूरी |यूक्लिडीय]] मीट्रिक टेन्सर) का उदाहरण सबसे व्यावहारिक उदाहरण है। सामान्य {{math|(''x'', ''y'')}} निर्देशांकों में हम लिख सकते हैं
 :<math>g = \begin{bmatrix} 1 & 0 \\ 0 & 1\end{bmatrix} \,. </math>
-वक्र की लंबाई सूत्र में घट जाती है:
+वक्र की लंबाई इस सूत्र में परिवर्तित हो जाती है:
 :<math>L = \int_a^b \sqrt{ (dx)^2 + (dy)^2} \,. </math>
-कुछ अन्य सामान्य निर्देशांक प्रणालियों में यूक्लिडीय मीट्रिक को निम्नानुसार लिखा जा सकता है।
+यूक्लिडीय मीट्रिक को कुछ अन्य सामान्य निर्देशांक प्रणालियों में निम्नानुसार लिखा जा सकता है।
 [[ धुवीय निर्देशांक |धुवीय निर्देशांक]] {{math|(''r'', ''θ'')}}:
@@ Line 488: / Line 488: @@
    \end{bmatrix}
 </math>
-[[ त्रिकोणमितीय पहचान |त्रिकोणमितीय पहचान]] द्वारा।
+[[ त्रिकोणमितीय पहचान |त्रिकोणमितीय सर्वसमिकाओं]] द्वारा।
-सामान्य तौर पर, एक यूक्लिडीय अंतरिक्ष पर कार्तीय निर्देशांक प्रणाली {{math|''x''<sup>''i''</sup>}} में, आंशिक अवकलजों {{math|∂ / ∂''x<sup>i</sup>''}} यूक्लिडीय मीट्रिक के संबंध में [[ रूढ़िवादी |ऑर्थोनॉर्मल]] हैं। इस प्रकार मीट्रिक टेन्सर इस निर्देशांक प्रणाली में क्रोनकर डेल्टा δ<sub>''ij''</sub> है। मनमाना (संभवतः घुमावदार) निर्देशांक {{math|''q<sup>i</sup>''}} के संबंध में मीट्रिक टेन्सर द्वारा दिया गया है
+सामान्य रूप से, एक यूक्लिडीय अंतरिक्ष पर कार्तीय निर्देशांक प्रणाली {{math|''x''<sup>''i''</sup>}} में आंशिक अवकलज {{math|∂ / ∂''x<sup>i</sup>''}} यूक्लिडीय मीट्रिक के सापेक्ष [[ रूढ़िवादी |ऑर्थोनॉर्मल]] होते हैं। इस प्रकार मीट्रिक टेन्सर इस निर्देशांक प्रणाली में क्रोनकर डेल्टा δ<sub>''ij''</sub> है। स्वेच्छ (संभवतः वक्ररेखीय) निर्देशांक {{math|''q<sup>i</sup>''}} के सापेक्ष मीट्रिक टेन्सर इस प्रकार है
 :<math>g_{ij} =
    \sum_{kl}\delta_{kl}\frac{\partial x^k}{\partial q^i} \frac{\partial x^l}{\partial q^j} =
@@ Line 496: / Line 496: @@
 </math>
+==== एक गोले पर वृत्तीय मीट्रिक ====
-==== एक क्षेत्र पर गोल मीट्रिक ====
+{{math|'''ℝ'''<sup>3</sup>}} में इकाई गोला, प्रेरित मीट्रिक अनुभाग में वर्णित प्रक्रिया के माध्यम से परिवेशी यूक्लिडीय मीट्रिक से प्रेरित एक प्राकृतिक मीट्रिक से सुसज्जित है। मानक गोलाकार निर्देशांक {{math|(''θ'', ''φ'')}} में, {{math|''θ''}} कोटिपूरक अक्षांश, {{mvar|z}}-अक्ष से मापा गया कोण, और {{mvar|φ}}, {{mvar|xy}}-समतल में {{mvar|x}}-अक्ष से कोण है, तब मीट्रिक का रूप इस प्रकार है
-{{math|'''ℝ'''<sup>3</sup>}} में इकाई क्षेत्र परिवेश यूक्लिडीय मीट्रिक से प्रेरित एक प्राकृतिक मीट्रिक से सुसज्जित है, जो प्रेरित मीट्रिक अनुभाग में बताई गई प्रक्रिया के माध्यम से है। मानक गोलाकार निर्देशांक {{math|(''θ'', ''φ'')}} में, {{math|''θ''}} समांतरता के साथ, {{mvar|z}}-अक्ष से मापा गया कोण, और {{mvar|φ}} {{mvar|xy}}-तल में {{mvar|x}}-अक्ष से कोण, मीट्रिक का रूप लेता है
 :<math>g = \begin{bmatrix} 1 & 0 \\ 0 & \sin^2 \theta\end{bmatrix} \,.</math>
-यह आमतौर पर फॉर्म में लिखा जाता है
+यह सामान्यतः निम्न रूप में लिखा जाता है
 :<math>ds^2 = d\theta^2 + \sin^2\theta\,d\varphi^2\,.</math>
-=== लोरेंट्ज़ियन मीट्रिक्स रिलेटिविटी से ===
+=== सापेक्षता से लोरेंट्ज़ियन मीट्रिक ===
 {{main|मीट्रिक टेंसर (सामान्य सापेक्षता)}}
-फ्लैट मिन्कोव्स्की अंतरिक्ष ([[ विशेष सापेक्षता |विशेष सापेक्षता]]) में, निर्देशांक के साथ
+निम्न निर्देशांक वाले एकसमान मिन्कोव्स्की अंतरिक्ष ([[ विशेष सापेक्षता |विशेष सापेक्षता]]) में,
 :<math>r^\mu \rightarrow \left(x^0, x^1, x^2, x^3\right) = (ct, x, y, z) \, ,</math>
-[[ मीट्रिक हस्ताक्षर |मीट्रिक संकेतक]] की पसंद के आधार पर मीट्रिक है,
+[[ मीट्रिक हस्ताक्षर |मीट्रिक संकेतक]] के चयन के आधार पर मीट्रिक है,
 :<math>g = \begin{bmatrix} 1 & 0 & 0 & 0\\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{bmatrix} \quad \text{or} \quad g = \begin{bmatrix} -1 & 0 & 0 & 0\\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{bmatrix} \,. </math>
-एक वक्र के लिए - उदाहरण के लिए - निरंतर समय निर्देशांक, इस मीट्रिक के साथ लंबाई सूत्र सामान्य लंबाई सूत्र को कम करता है। [[ स्पेसटाइम अंतराल |समयबद्ध]] वक्र के लिए, लंबाई सूत्र वक्र के साथ [[ उचित समय |उचित समय]] देता है।
+उदाहरण के लिए, स्थिर समय निर्देशांक वाले एक वक्र के लिए, इस मीट्रिक वाला लंबाई सूत्र सामान्य लंबाई सूत्र में परिवर्तित होता है। [[ स्पेसटाइम अंतराल |समयबद्ध]] वक्र के लिए, लंबाई सूत्र वक्र के अनुदिश [[ उचित समय |उचित समय]] प्रदान करता है।
-इस मामले में, स्पेसटाइम अंतराल के रूप में लिखा गया है
+इस स्थिति में, दिक्काल अंतराल को निम्न रूप में लिखा जाता है
 :<math>ds^2 = c^2 dt^2 - dx^2 - dy^2 - dz^2 = dr^\mu dr_\mu = g_{\mu \nu} dr^\mu dr^\nu\,. </math>
-[[ श्वार्ज़शिल्ड मीट्रिक |श्वार्ज़स्चिल्ड मीट्रिक]] मीट्रिक एक गोलाकार रूप से सममित शरीर, जैसे ग्रह, या [[ ब्लैक होल |ब्लैक होल]] के आसपास स्पेसटाइम का वर्णन करता है। निर्देशांक के साथ
+[[ श्वार्ज़शिल्ड मीट्रिक |श्वार्ज़स्चिल्ड मीट्रिक]], गोलाकार रूप से सममित एक पिंड, जैसे ग्रह, या [[ ब्लैक होल |ब्लैक होल]] के चारों ओर दिक्काल का वर्णन करता है। निर्देशांकों
 :<math>\left(x^0, x^1, x^2, x^3\right) = (ct, r, \theta, \varphi) \,,</math>
-हम मीट्रिक को इस रूप में लिख सकते हैं
+के साथ, हम मीट्रिक को इस रूप में लिख सकते हैं
 :<math>g_{\mu\nu} =
    \begin{bmatrix}
@@ Line 526: / Line 525: @@
    \end{bmatrix}\,,
 </math>
-जहाँ {{mvar|G}} (आव्यूह के अंदर) गुरुत्वाकर्षण स्थिरांक है और {{mvar|M}} केंद्रीय वस्तु की कुल द्रव्यमान-ऊर्जा सामग्री का प्रतिनिधित्व करता है।
+जहाँ {{mvar|G}} (आव्यूह के अंदर) गुरुत्वाकर्षण स्थिरांक है और {{mvar|M}} केंद्रीय वस्तु की कुल द्रव्यमान-ऊर्जा सामग्री को निरूपित करता है।
 == यह भी देखें ==
@@ Line 580: / Line 579: @@
 }}
 * {{Citation | last1=Wells | first1=Raymond | author1-link=Raymond O. Wells, Jr. | title=Differential Analysis on Complex Manifolds | publisher=Springer-Verlag | location=Berlin, New York | year=1980|url=https://epdf.pub/differential-analysis-on-complex-manifolds.html}}
-{{Riemannian geometry}}
 {{tensors}}
-{{Manifolds}}
+[[Category:All articles with unsourced statements]]
-[[श्रेणी: रिमैनियन ज्यामिति]]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
-[[श्रेणी: टेन्सर]]
+[[Category:Articles with invalid date parameter in template]]
-[[श्रेणी: भौतिकी में अवधारणाएं]]
+[[Category:Articles with unsourced statements from August 2022]]
-[[श्रेणी: अंतर ज्यामिति]]]
+[[Category:Collapse templates]]
-[[श्रेणी: मीट्रिक टेंसर्स |*1]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 04/01/2023]]
+[[Category:Harv and Sfn no-target errors]]
+[[Category:Machine Translated Page]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia metatemplates]]

Anonymous

Search

मीट्रिक टेंसर: Difference between revisions

Latest revision as of 17:24, 12 September 2023

परिचय

चाप की लंबाई

निर्देशांक रूपान्तरण

निर्देशांक रूपांतरणों के अंतर्गत चापलम्बाई की निश्चरता

लंबाई और कोण

क्षेत्रफल

परिभाषा

मीट्रिक के घटक

निर्देशांक में मीट्रिक

एक मीट्रिक का संकेतक

व्युत्क्रम मीट्रिक

घातांकों का उन्नयन और अवनमन

प्रेरित मीट्रिक

एक मीट्रिक की आंतरिक परिभाषाएँ

बंडल के एक खंड के रूप में मीट्रिक

एक सदिश बंडल में मीट्रिक

स्पर्शरेखा-कोटिस्पर्शज्या समरूपता

चाप की लम्बाई और रेखा तत्व

ऊर्जा, परिवर्तनशील सिद्धांत और जियोडेसिक्स

प्रमाणिक माप और आयतन रूप

उदाहरण

यूक्लिडीय मीट्रिक

एक गोले पर वृत्तीय मीट्रिक

सापेक्षता से लोरेंट्ज़ियन मीट्रिक

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Hidden categories