रिक्की वक्रता: Difference between revisions

From Vigyanwiki
No edit summary
Line 1: Line 1:
[[विभेदक ज्यामिति]] में '''रिक्की वक्रता''' टेंसर को मुख्य रूप से जिसका नाम [[ग्रेगोरियो रिक्की-कर्बस्ट्रो]] के नाम पर रखा गया है, एक प्रकार से यह ज्यामितीय से जुड़ा तत्व है, जो [[ कई गुना |कई गुना]] हो जाने पर [[रीमैनियन मैनिफोल्ड]] या [[छद्म-रीमैनियन मैनिफोल्ड|स्यूडो-रीमैनियन मैनिफोल्ड]] या स्यूडो-रीमैनियन मीट्रिक की आवश्यकता से निर्धारित होती है। मुख्य रूप से, इसे उस डिग्री के माप के रूप में माना जाता है, जिस तक किसी दिए गए मीट्रिक टेंसर की ज्यामिति सामान्य [[स्यूडो-[[यूक्लिडियन स्थान]]]] या स्यूडो-यूक्लिडियन स्थान से स्थानीय रूप से भिन्न होती है।
[[विभेदक ज्यामिति]] में '''रिक्की वक्रता''' टेंसर को मुख्य रूप से जिसका नाम [[ग्रेगोरियो रिक्की-कर्बस्ट्रो]] के नाम पर रखा गया है, यह एक प्रकार से ज्यामितीय से जुड़ा ऐसा तत्व है, जो [[ कई गुना |कई गुना]] हो जाने पर [[रीमैनियन मैनिफोल्ड]] या [[छद्म-रीमैनियन मैनिफोल्ड|स्यूडो-रीमैनियन मैनिफोल्ड]] या स्यूडो-रीमैनियन मीट्रिक की आवश्यकता से निर्धारित होती है। मुख्य रूप से इसे उस डिग्री के माप के रूप में माना जाता है, जिस तक किसी दिए गए मीट्रिक टेंसर की ज्यामिति सामान्य [[स्यूडो-[[यूक्लिडियन स्थान]]]] या स्यूडो-यूक्लिडियन स्थान से स्थानीय रूप से भिन्न होती है।


रिक्की टेंसर को इस माप से पहचाना जा सकता है कि स्थान में [[जियोडेसिक]] के साथ चलते समय आकृति कैसे विकृत हो जाती है। [[सामान्य सापेक्षता]] में, जिसमें स्यूडो-रिमानियन सेटिंग उपस्थित है, यह रायचौधुरी समीकरण में रिक्की टेंसर की उपस्थिति से परिलक्षित होता है। इसे आंशिक रूप से इसी कारण आइंस्टीन क्षेत्र के समीकरणों के प्रस्ताव पर आधारित किया गया है, क्योंकि स्पेसटाइम को स्यूडो-रीमैनियन मीट्रिक द्वारा वर्णित किया जा सकता है, जिसमें रिक्की टेंसर और ब्रह्मांड की पदार्थ सामग्री के बीच आश्चर्यजनक सरल संबंध है।
रिक्की टेंसर को इस माप से पहचाना जा सकता है कि स्थान में [[जियोडेसिक]] के साथ चलते समय आकृति कैसे विकृत हो जाती है। [[सामान्य सापेक्षता]] में, जिसमें स्यूडो-रिमानियन सेटिंग उपस्थित है, यह रायचौधुरी समीकरण में रिक्की टेंसर की उपस्थिति से परिलक्षित होता है। इसे आंशिक रूप से इसी कारण आइंस्टीन क्षेत्र के समीकरणों के प्रस्ताव पर आधारित किया गया है, क्योंकि स्पेसटाइम को स्यूडो-रीमैनियन मीट्रिक द्वारा वर्णित किया जा सकता है, जिसमें रिक्की टेंसर और ब्रह्मांड के लिए पदार्थों के बीच आश्चर्यजनक सरल संबंध स्थापित हो जाता है।


मीट्रिक टेंसर के समान, रिक्की टेंसर मैनिफ़ोल्ड के प्रत्येक [[स्पर्शरेखा स्थान]] को [[सममित द्विरेखीय रूप]]  {{harv|Besse|1987|p=43}} प्रदान करता है।<ref>Here it is assumed that the manifold carries its unique [[Levi-Civita connection]]. For a general [[affine connection]], the Ricci tensor need not be symmetric.</ref> मुख्य रूप से कोई रीमैनियन ज्यामिति में रिक्की वक्रता की भूमिका को कार्यों के विश्लेषण में [[लाप्लास ऑपरेटर]] की भूमिका के अनुरूप बना सकता है, इस सादृश्य में, [[रीमैन वक्रता टेंसर]], जिसमें से रिक्की वक्रता प्राकृतिक उप-उत्पाद है, फलन के दूसरे डेरिवेटिव के पूर्ण आव्यूह के अनुरूप होगा। चूंकि, समान सादृश्य निकालने के लिए लाप्लास-बेल्ट्रामी ऑपरेटर हैं।
मीट्रिक टेंसर के समान, रिक्की टेंसर मैनिफ़ोल्ड के प्रत्येक [[स्पर्शरेखा स्थान]] को [[सममित द्विरेखीय रूप]]  {{harv|बेसे|1987|p=43}} प्रदान करता है।<ref>Here it is assumed that the manifold carries its unique [[Levi-Civita connection]]. For a general [[affine connection]], the Ricci tensor need not be symmetric.</ref> मुख्य रूप से कोई रीमैनियन ज्यामिति में रिक्की वक्रता की भूमिका को कार्यों के विश्लेषण में [[लाप्लास ऑपरेटर]] की भूमिका के अनुरूप बनाता है, इस सादृश्य में [[रीमैन वक्रता टेंसर]], जिसमें से रिक्की वक्रता प्राकृतिक उप-उत्पाद है, फलन के दूसरे डेरिवेटिव के पूर्ण आव्यूह के अनुरूप होगा। चूंकि, समान सादृश्य निकालने के लिए लाप्लास-बेल्ट्रामी ऑपरेटर हैं।


[[ निम्न-आयामी टोपोलॉजी |निम्न-आयामी टोपोलॉजी]] या थ्री-डायमेंशनल टोपोलॉजी में, रिक्की टेंसर में वह सारी जानकारी होती है जो उच्च आयामों में अधिक जटिल रीमैन वक्रता टेंसर द्वारा एन्कोड की जाती है। कुछ सीमा तक, यह स्थिति कई ज्यामितीय और विश्लेषणात्मक उपकरणों के अनुप्रयोग की अनुमति देती है, जिसके कारण रिचर्ड एस हैमिल्टन और [[ग्रिगोरी पेरेलमैन]] के काम के माध्यम से पोंकारे अनुमान का समाधान प्राप्त हुआ हैं।
[[ निम्न-आयामी टोपोलॉजी |निम्न-आयामी टोपोलॉजी]] या थ्री-डायमेंशनल टोपोलॉजी में, रिक्की टेंसर में वह सारी जानकारी होती है जो उच्च आयामों में अधिक जटिल रीमैन वक्रता टेंसर द्वारा एन्कोड की जाती है। इसकी कुछ सीमा तक यह स्थिति कई ज्यामितीय और विश्लेषणात्मक उपकरणों के अनुप्रयोग की अनुमति देती है, जिसके कारण रिचर्ड एस हैमिल्टन और [[ग्रिगोरी पेरेलमैन]] के काम के माध्यम से पोंकारे अनुमान का हल प्राप्त हुआ हैं।


विभेदक ज्यामिति में, रीमैनियन मैनिफोल्ड पर रिक्की टेंसर पर निचली सीमाएं स्थिर वक्रता वाले [[अंतरिक्ष रूप|स्थान रूप]] की ज्यामिति के साथ तुलना करके वैश्विक ज्यामितीय और टोपोलॉजिकल जानकारी निकालने की अनुमति देती हैं। ऐसा इसलिए है क्योंकि रिक्की टेंसर पर निचली सीमाओं का उपयोग रीमानियन ज्यामिति में लंबाई कार्यात्मकता का अध्ययन करने में सफलतापूर्वक किया जा सकता है, जैसा कि पहली बार 1941 में मायर्स प्रमेय के माध्यम से दिखाया गया था।
विभेदक ज्यामिति में, रीमैनियन मैनिफोल्ड पर रिक्की टेंसर पर निचली सीमाएं स्थिर वक्रता वाले [[अंतरिक्ष रूप|स्थान रूप]] की ज्यामिति के साथ तुलना करके वैश्विक ज्यामितीय और टोपोलॉजिकल जानकारी निकालने की अनुमति देती हैं। ऐसा इसलिए है क्योंकि रिक्की टेंसर पर निचली सीमाओं का उपयोग रीमानियन ज्यामिति में लंबाई कार्यात्मकता का अध्ययन करने में सफलतापूर्वक किया जा सकता है, जैसा कि पहली बार 1941 में मायर्स प्रमेय के माध्यम से दिखाया गया था।


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


2007 में, [[जॉन लोट (गणितज्ञ)]], [[कार्ल-थियोडोर स्टर्म]] और [[सेड्रिक विलानी]] ने निर्णायक रूप से प्रदर्शित किया कि रिक्की वक्रता पर निचली सीमा को पूर्ण रूप से रीमैनियन मैनिफोल्ड की मीट्रिक स्थान संरचना के साथ-साथ इसके वॉल्यूम फॉर्म के संदर्भ में समझा जा सकता है।<ref>{{cite arXiv|last1=Lott|first1=John|last2=Villani|first2=Cedric|date=2006-06-23|title=इष्टतम परिवहन के माध्यम से मीट्रिक-माप स्थानों के लिए रिक्की वक्रता|eprint=math/0412127}}</ref> इसने रिक्की वक्रता और [[वासेरस्टीन मीट्रिक]] और [[परिवहन सिद्धांत (गणित)]] के बीच गहरा संबंध स्थापित किया, जो वर्तमान में बहुत शोध का विषय है।
2007 में, [[जॉन लोट (गणितज्ञ)]], [[कार्ल-थियोडोर स्टर्म]] और [[सेड्रिक विलानी]] ने निर्णायक रूप से प्रदर्शित किया कि रिक्की वक्रता पर निचली सीमा को पूर्ण रूप से रीमैनियन मैनिफोल्ड की मीट्रिक स्थान संरचना के साथ-साथ इसके आयतन प्रारूप के संदर्भ में समझा जा सकता है।<ref>{{cite arXiv|last1=Lott|first1=John|last2=Villani|first2=Cedric|date=2006-06-23|title=इष्टतम परिवहन के माध्यम से मीट्रिक-माप स्थानों के लिए रिक्की वक्रता|eprint=math/0412127}}</ref> इसने रिक्की वक्रता और [[वासेरस्टीन मीट्रिक]] और [[परिवहन सिद्धांत (गणित)]] के बीच गहरा संबंध स्थापित किया, जो वर्तमान समय में बहुत शोध का विषय है।


==परिभाषा==
==परिभाषा==
इसके कारण लगता है कि <math>\left( M, g \right)</math> <math>n</math>आयामी रीमैनियन मैनिफोल्ड या स्यूडो-रीमैनियन मैनिफोल्ड से सुसज्जित होने के कारण [[लेवी-सिविटा कनेक्शन]] <math>\nabla</math> के साथ [[रीमैनियन वक्रता टेंसर]] <math>M</math> का नक्शा है, जो सहज वेक्टर क्षेत्र <math>X</math>, <math>Y</math>, और <math>Z</math> को उपयोग करता है और वेक्टर क्षेत्र लौटाता है।<math display="block">R(X,Y)Z := \nabla_X\nabla_Y Z - \nabla_Y\nabla_XZ - \nabla_{[X,Y]}Z</math>[[वेक्टर फ़ील्ड|वेक्टर क्षेत्र]] पर <math>X, Y, Z</math>. तब से <math>R</math> के लिए टेंसर क्षेत्र है, जिसे प्रत्येक बिंदु <math>p \in M</math>, यह (बहुरेखीय) मानचित्र को जन्म देता है:<math display="block">\operatorname{R}_p:T_pM\times T_pM\times T_pM\to T_pM.</math>प्रत्येक बिंदु के लिए परिभाषित करें, <math>p \in M</math> वो नक्शा <math>\operatorname{Ric}_p:T_pM\times T_pM\to\mathbb{R}</math> से प्रदर्शित होता हैं।<math display="block">\operatorname{Ric}_p(Y,Z) := \operatorname{tr}\big(X\mapsto \operatorname{R}_p(X,Y)Z\big).</math>अर्ताथ तय कर लिया गया है कि <math>Y</math> और <math>Z</math>, फिर किसी भी आधार के लिए इस प्रकार प्रदर्शित होगा।
इसके कारण ऐसा लगता है कि <math>\left( M, g \right)</math> <math>n</math>आयामी रीमैनियन मैनिफोल्ड या स्यूडो-रीमैनियन मैनिफोल्ड से सुसज्जित होने के कारण [[लेवी-सिविटा कनेक्शन]] <math>\nabla</math> के साथ [[रीमैनियन वक्रता टेंसर]] <math>M</math> का ऐसा नक्शा है, जो सहज सदिश क्षेत्र <math>X</math>, <math>Y</math>, और <math>Z</math> को उपयोग करता है और इसी के आधार पर सदिश क्षेत्र लौटाता है।<math display="block">R(X,Y)Z := \nabla_X\nabla_Y Z - \nabla_Y\nabla_XZ - \nabla_{[X,Y]}Z</math>[[वेक्टर फ़ील्ड|सदिश क्षेत्र]] पर <math>X, Y, Z</math>. तब से <math>R</math> के लिए टेंसर क्षेत्र है, जिसे प्रत्येक बिंदु <math>p \in M</math>, यह (बहुरेखीय) मानचित्र को जन्म देता है:<math display="block">\operatorname{R}_p:T_pM\times T_pM\times T_pM\to T_pM.</math>प्रत्येक बिंदु के लिए परिभाषित करता हैं, इस प्रकार <math>p \in M</math> वो नक्शा <math>\operatorname{Ric}_p:T_pM\times T_pM\to\mathbb{R}</math> से प्रदर्शित होता हैं।<math display="block">\operatorname{Ric}_p(Y,Z) := \operatorname{tr}\big(X\mapsto \operatorname{R}_p(X,Y)Z\big).</math>अर्ताथ यहाँ पर तय किया जा सकता है कि <math>Y</math> और <math>Z</math> किसी भी आधार पर इस प्रकार प्रदर्शित होगा।
<math>v_1, \ldots, v_n</math> सदिश स्थान का <math>T_p M</math> के लिए इस प्रकार होगा।<math display="block">\operatorname{Ric}_p(Y,Z) = \sum_{i=1} \langle\operatorname{R}_p(v_i, Y) Z, v_i \rangle.</math>
 
यह (मल्टी) लीनियर का मानक अभ्यास है, यहाँ पर बीजगणित यह सत्यापित करने के लिए कि इस परिभाषा के आधार के रूप पर निर्भर नहीं करती है
<math>v_1, \ldots, v_n</math> सदिश स्थान का <math>T_p M</math> के लिए इस प्रकार होगा।<math display="block">\operatorname{Ric}_p(Y,Z) = \sum_{i=1} \langle\operatorname{R}_p(v_i, Y) Z, v_i \rangle.</math>
यह विविध रैखिक का मानक अभ्यास है, यहाँ पर बीजगणित यह सत्यापित करने के लिए कि इस परिभाषा के आधार के रूप पर निर्भर नहीं करती है
  <math>v_1, \ldots, v_n</math>.
  <math>v_1, \ldots, v_n</math>.


स्यूडो सूचकांक संकेतन में,<math display="block">\mathrm{Ric}_{ab} = \mathrm{R}^{c}{}_{bca} = \mathrm{R}^{c}{}_{acb}. </math>
स्यूडो सूचकांक संकेतन में,<math display="block">\mathrm{Ric}_{ab} = \mathrm{R}^{c}{}_{bca} = \mathrm{R}^{c}{}_{acb}. </math>


इसके आधार पर संयोजन के विषय में ध्यान दें कि कुछ स्रोत <math>R(X,Y)Z</math> द्वारा परिभाषित करते हैं,


सम्मेलनों पर हस्ताक्षर करें. ध्यान दें कि कुछ स्रोत <math>R(X,Y)Z</math> द्वारा परिभाषित करते हैं,
यहां हम यह कह सकते हैं कि <math>-R(X,Y)Z;</math> के समान हैं, जिसे फिर से परिभाषित करना पड़ता हैं। इस प्रकार <math>\operatorname{Ric}_p</math> के लिए जैसे <math>-\operatorname{tr}(X\mapsto \operatorname{R}_p(X,Y)Z).</math> रीमैन टेंसर के बारे में संकेत परंपराएं भिन्न हैं, अपितु वे इसके लिए भिन्न रूप में नहीं हैं।
यहां क्या कहा जाएगा कि <math>-R(X,Y)Z;</math> फिर वे परिभाषित करेंगे।
===समतल मैनिफोल्ड पर स्थानीय निर्देशांक के माध्यम से परिभाषा===
<math>\operatorname{Ric}_p</math> जैसा <math>-\operatorname{tr}(X\mapsto \operatorname{R}_p(X,Y)Z).</math> चूंकि रीमैन टेंसर के बारे में संकेत परंपराएं भिन्न हैं, अपितु वे इसके बारे में भिन्न नहीं हैं।
<math>\left( M, g \right)</math> समतल रीमैनियन मैनिफोल्ड बनें या स्यूडो-रिमानियन मैनिफोल्ड या स्यूडो-रिमानियन <math>n</math>-कई गुना होने के साथ एक सहज चार्ट <math>\left( U, \varphi \right)</math> दिया गया हैं, जिसके लिए फलन <math>g_{ij}: \varphi(U) \rightarrow \mathbb{R}</math> हैं। प्रत्येक <math>g^{ij}: \varphi(U) \rightarrow \mathbb{R}</math> के लिए <math>i, j = 1, \ldots, n</math> के यह मान संतुष्ट करता है।<math display="block">
===स्मूथ मैनिफोल्ड पर स्थानीय निर्देशांक के माध्यम से परिभाषा===
<math>\left( M, g \right)</math> समतल रीमैनियन मैनिफोल्ड बनें या स्यूडो-रिमानियन मैनिफोल्ड या स्यूडो-रिमानियन <math>n</math>-कई गुना होने के साथ एक सहज चार्ट <math>\left( U, \varphi \right)</math> दिया गया जिसके लिए फलन <math>g_{ij}: \varphi(U) \rightarrow \mathbb{R}</math> हैं।
<math>g^{ij}: \varphi(U) \rightarrow \mathbb{R}</math> प्रत्येक के लिए
<math>i, j = 1, \ldots, n</math> जो संतुष्ट करता है
 
<math display="block">
\sum_{k=1}^n g^{ik}(x)g_{kj}(x) = \delta^{i}_j = \begin{cases} 1 & i=j \\ 0 & i \neq j \end{cases}
\sum_{k=1}^n g^{ik}(x)g_{kj}(x) = \delta^{i}_j = \begin{cases} 1 & i=j \\ 0 & i \neq j \end{cases}
</math>
</math>
सभी के लिए <math>x \in \varphi(U)</math> उत्तरार्द्ध दिखाता है कि इसे आव्यूह, <math>g^{ij}(x) = (g^{-1})_{ij}(x)</math> के रूप में व्यक्त किया गया हैं। फलन <math>g_{ij}</math> के मूल्यांकन के लिए इसे <math>g</math> पर परिभाषित किया जाता है, सदिश क्षेत्रों का समन्वय करें, जबकि फलन <math>g^{ij}</math> इस प्रकार परिभाषित किया गया है, आव्यूह के इसे मान के लिए फलन के रूप में वे आव्यूह-वैल्यू का व्युत्क्रम प्रदान करते हैं।
यहाँ पर सभी <math>x \in \varphi(U)</math> के लिए यह उत्तरार्द्ध मान दिखाता है कि इसे आव्यूह, <math>g^{ij}(x) = (g^{-1})_{ij}(x)</math> के रूप में व्यक्त किया गया हैं। इस प्रकार फलन <math>g_{ij}</math> के मूल्यांकन के लिए इसे <math>g</math> पर परिभाषित किया जाता है, सदिश क्षेत्रों का समन्वय करें, जबकि फलन <math>g^{ij}</math> इस प्रकार परिभाषित किया गया है, इस प्रकार आव्यूह के इसे मान के लिए फलन के रूप में वे आव्यूह-वैल्यू का व्युत्क्रम फलन <math>x \mapsto g_{ij}(x)</math> प्रदान करते हैं।
 
फलन <math>x \mapsto g_{ij}(x)</math>


अब प्रत्येक के लिए परिभाषित करें, <math>a</math>, <math>b</math>, <math>c</math>, <math>i</math> और <math>j</math> 1 और के बीच <math>n</math>, फलन इस प्रकार प्रदर्शित होता हैं।
अब प्रत्येक के लिए परिभाषित करें, <math>a</math>, <math>b</math>, <math>c</math>, <math>i</math> और <math>j</math> 1 और के बीच <math>n</math>, फलन इस प्रकार प्रदर्शित होता हैं।
Line 43: Line 37:
   R_{ij} &:= \sum_{a=1}^n\frac{\partial\Gamma_{ij}^a}{\partial x^a} - \sum_{a=1}^n\frac{\partial\Gamma_{ai}^a}{\partial x^j} + \sum_{a=1}^n\sum_{b=1}^n\left(\Gamma_{ab}^a\Gamma_{ij}^b - \Gamma_{ib}^a\Gamma_{aj}^b\right)
   R_{ij} &:= \sum_{a=1}^n\frac{\partial\Gamma_{ij}^a}{\partial x^a} - \sum_{a=1}^n\frac{\partial\Gamma_{ai}^a}{\partial x^j} + \sum_{a=1}^n\sum_{b=1}^n\left(\Gamma_{ab}^a\Gamma_{ij}^b - \Gamma_{ib}^a\Gamma_{aj}^b\right)
\end{align}</math>
\end{align}</math>
मानचित्र के रूप में <math>\varphi: U \rightarrow \mathbb{R}</math>.
मानचित्र <math>\varphi: U \rightarrow \mathbb{R}</math> के रूप में <math>\left( U, \varphi \right)</math> और <math>\left( V, \psi \right)</math> के साथ दो सहज चार्ट <math>U \cap V \neq \emptyset</math> बनाये जाते हैं, माना कि <math>R_{ij}: \varphi(U) \rightarrow \mathbb{R}</math> चार्ट के माध्यम से उपरोक्त फलन <math>\left( U, \varphi \right)</math>  की गणना करें, और <math>r_{ij}: \psi(V) \rightarrow \mathbb{R}</math> चार्ट के माध्यम से उपरोक्त फलन <math>\left( V, \psi \right)</math> की गणना करें। फिर कोई श्रृंखला नियम और उत्पाद नियम के साथ गणना करके जांच कर सकता है।<math display="block">
R_{ij}(x) = \sum_{k,l=1}^n r_{kl}\left(\psi\circ\varphi^{-1}(x)\right)D_i\Big|_x \left(\psi\circ\varphi^{-1}\right)^kD_j\Big|_x \left(\psi\circ\varphi^{-1}\right)^l.
</math>जहाँ <math>D_{i}</math> के लिए पहला व्युत्पन्न <math>i</math> दिशा में है। जिसके कारण <math>\mathbb{R}^n</math>के मान से यह पता चलता है कि <math>\left( U, \varphi \right)</math> के लिए निम्नलिखित परिभाषा के उपयोग पर निर्भर नहीं करती है, इस कारण किसी <math>p \in U</math> के लिए , द्विरेखीय मानचित्र <math>\operatorname{Ric}_p : T_p M \times T_p M \rightarrow \mathbb{R}</math> को परिभाषित करते हैं।


अब चलो <math>\left( U, \varphi \right)</math> और <math>\left( V, \psi \right)</math> के साथ दो सहज चार्ट <math>U \cap V \neq \emptyset</math> बनाये जाते हैं, माना कि <math>R_{ij}: \varphi(U) \rightarrow \mathbb{R}</math> चार्ट के माध्यम से उपरोक्त फलन <math>\left( U, \varphi \right)</math>  की गणना करें, और <math>r_{ij}: \psi(V) \rightarrow \mathbb{R}</math> चार्ट के माध्यम से उपरोक्त फलन <math>\left( V, \psi \right)</math> की गणना करें। फिर कोई श्रृंखला नियम और उत्पाद नियम के साथ गणना करके जांच कर सकता है।<math display="block">
<math display="block">
R_{ij}(x) = \sum_{k,l=1}^n r_{kl}\left(\psi\circ\varphi^{-1}(x)\right)D_i\Big|_x \left(\psi\circ\varphi^{-1}\right)^kD_j\Big|_x \left(\psi\circ\varphi^{-1}\right)^l.
(X, Y) \in T_p M \times T_p M \mapsto \operatorname{Ric}_p(X,Y) = \sum_{i,j=1}^n R_{ij}(\varphi(x))X^i(p)Y^j(p),
</math>
</math>




जहाँ <math>D_{i}</math> साथ में पहला व्युत्पन्न <math>i</math>दिशा है। जिसके कारण <math>\mathbb{R}^n</math>के मान द्वारा पता चलता है कि निम्नलिखित परिभाषा के उपयोग पर निर्भर नहीं करती है
जहाँ <math>X^1, \ldots, X^n</math> और <math>Y^1, \ldots, Y^n</math> हैं, स्पर्शरेखा सदिशों के घटक <math>p</math> में <math>X</math> और <math>Y</math> के सापेक्ष समन्वय सदिश क्षेत्र <math>\left( U, \varphi \right)</math> है।
<math>\left( U, \varphi \right)</math>.
किसी के लिए <math>p \in U</math>, द्विरेखीय मानचित्र को परिभाषित करें
<math>\operatorname{Ric}_p : T_p M \times T_p M \rightarrow \mathbb{R}</math> द्वारा
 
<math display="block">
(X, Y) \in T_p M \times T_p M \mapsto \operatorname{Ric}_p(X,Y) = \sum_{i,j=1}^n R_{ij}(\varphi(x))X^i(p)Y^j(p),
</math>जहाँ <math>X^1, \ldots, X^n</math> और <math>Y^1, \ldots, Y^n</math> हैं, स्पर्शरेखा सदिशों के घटक <math>p</math> में <math>X</math> और <math>Y</math> के सापेक्ष समन्वय वेक्टर क्षेत्र <math>\left( U, \varphi \right)</math> है।


उपरोक्त औपचारिक प्रस्तुति को निम्नलिखित शैली में संक्षिप्त करना साधारण बात है:
उपरोक्त औपचारिक प्रस्तुति को निम्नलिखित शैली में संक्षिप्त करना साधारण बात है:
Line 96: Line 85:


<math display="block">\operatorname{Ric}(X ,Y) = \operatorname{Ric}(Y,X)</math>
<math display="block">\operatorname{Ric}(X ,Y) = \operatorname{Ric}(Y,X)</math>
सभी के लिए <math>X,Y\in T_pM.</math> इस प्रकार यह रैखिक-बीजगणितीय रूप से अनुसरण करता है कि रिक्की टेंसर पूर्ण रूप से निर्धारित है, यह मात्रा जानकर <math>\operatorname{Ric}(X, X)</math> सभी वैक्टर के लिए इस प्रकार हैं।
सभी के लिए <math>X,Y\in T_pM.</math>  
<math>X</math> इकाई लंबाई का. इकाई स्पर्शरेखा सदिशों के सेट पर यह फलन
 
इसे अधिकांशतः रिक्की वक्रता भी कहा जाता है, क्योंकि इसे जानना इसके बराबर है जैसे कि रिक्की वक्रता टेंसर को जानना।
इस प्रकार यह रैखिक-बीजगणितीय रूप से अनुसरण करता है कि रिक्की टेंसर पूर्ण रूप से निर्धारित है, यह मात्रा जानकर <math>\operatorname{Ric}(X, X)</math> सभी वैक्टर के लिए इस प्रकार हैं। <math>X</math> इकाई लंबाई का. इकाई स्पर्शरेखा सदिशों के सेट पर यह फलन इसे अधिकांशतः रिक्की वक्रता भी कहा जाता है, क्योंकि इसे जानना इसके बराबर है जैसे कि रिक्की वक्रता टेंसर को जानना इसका विषय हैं।
 
रिक्की वक्रता रीमैनियन के [[अनुभागीय वक्रता]] द्वारा निर्धारित की जाती है, इसके लिए कई गुना होने के साथ अपितु सामान्य रूप से इसमें कम जानकारी होती है। वास्तव में यदि यह मान <math>\xi</math> है। रीमैनियन पर इकाई लंबाई का सदिश <math>n</math>-तो फिर कई गुना <math>\operatorname{Ric}(\xi, \xi)</math> बिल्कुल सही है <math>(n - 1)</math> सभी 2-तलों पर ली गई अनुभागीय वक्रता के औसत मान का युक्त <math>\xi</math> गुना हैं। जहाँ <math>(n - 2)</math>-आयामी परिवार है, इस कारण ऐसे 2-तलों का, और इसलिए केवल आयाम 2 और 3 में रिक्की टेंसर निर्धारित करता है, इस प्रकार पूर्णतयः वक्रता टेंसर उल्लेखनीय अपवाद तब होता है जब मैनिफ़ोल्ड को a दिया जाता है, इसके आधार पर यूक्लिडियन स्थान की हाइपर सतह के रूप में प्राथमिकता देती हैं। इसका दूसरा मौलिक रूप जो गॉस-कोडाज़ी समीकरणों के माध्यम से पूर्ण वक्रता निर्धारित करता है। इसके आधार पर गॉस-कोडाज़ी समीकरण के लिए स्वयं रिक्की टेंसर और प्रिंसिपल वक्रता द्वारा निर्धारित होता है। इस प्रकार [[ ऊनविम पृष्ठ |ऊनविम पृष्ठ]] की रिक्की टेंसर की ईजेनदिशाएं भी हैं। इसी कारण से रिक्की द्वारा टेंसर के प्रारंभ में की गई थी।
 


रिक्की वक्रता रीमैनियन के [[अनुभागीय वक्रता]] द्वारा निर्धारित की जाती है, इसके लिए कई गुना होने के साथ अपितु सामान्य रूप से इसमें कम जानकारी होती है। वास्तव में, यदि <math>\xi</math> है। रीमैनियन पर इकाई लंबाई का वेक्टर <math>n</math>-तो फिर कई गुना
<math>\operatorname{Ric}(\xi, \xi)</math> बिल्कुल सही है <math>(n - 1)</math>
सभी 2-तलों पर ली गई अनुभागीय वक्रता के औसत मान का युक्त <math>\xi</math> गुना हैं। जहाँ <math>(n - 2)</math>-आयामी परिवार है, इस कारण ऐसे 2-तलों का, और इसलिए केवल आयाम 2 और 3 में रिक्की टेंसर निर्धारित करता है, इस प्रकार पूर्णतयः वक्रता टेंसर उल्लेखनीय अपवाद तब होता है जब मैनिफ़ोल्ड को a दिया जाता है, इसके आधार पर यूक्लिडियन स्थान की हाइपर सतह के रूप में प्राथमिकता देती हैं। इसका दूसरा मौलिक रूप जो गॉस-कोडाज़ी समीकरणों के माध्यम से पूर्ण वक्रता निर्धारित करता है। इसके आधार पर गॉस-कोडाज़ी समीकरण के लिए स्वयं रिक्की टेंसर और प्रिंसिपल वक्रता द्वारा निर्धारित होता है। इस प्रकार [[ ऊनविम पृष्ठ |ऊनविम पृष्ठ]] की रिक्की टेंसर की ईजेनदिशाएं भी हैं। इसी कारण से रिक्की द्वारा टेंसर के प्रारंभ में की गई थी।


जैसा कि दूसरी बियांची पहचान से देखा जा सकता है,<math display="block">\operatorname{div}\operatorname{Ric} = \frac{1}{2}dR,</math>जहाँ <math>R</math> [[अदिश वक्रता]] है, जिसे स्थानीय निर्देशांक <math>g^{ij}R_{ij}.</math> में परिभाषित किया गया है  इसे अधिकांशतः अनुबंधित दूसरी बियांची पहचान कहा जाता है।
जैसा कि दूसरी बियांची पहचान से देखा जा सकता है,<math display="block">\operatorname{div}\operatorname{Ric} = \frac{1}{2}dR,</math>जहाँ <math>R</math> [[अदिश वक्रता]] है, जिसे स्थानीय निर्देशांक <math>g^{ij}R_{ij}.</math> में परिभाषित किया गया है  इसे अधिकांशतः अनुबंधित दूसरी बियांची पहचान कहा जाता है।
Line 126: Line 115:
जो मीट्रिक के निर्धारक के वर्गमूल का विस्तार करके अनुसरण करता है।
जो मीट्रिक के निर्धारक के वर्गमूल का विस्तार करके अनुसरण करता है।


इस प्रकार, यदि रिक्की वक्रता <math>\operatorname{Ric}(\xi, \xi)</math> धनात्मक है।
इस प्रकार, यदि रिक्की वक्रता <math>\operatorname{Ric}(\xi, \xi)</math> धनात्मक है। एक सदिश की दिशा में <math>\xi</math>, शंक्वाकार क्षेत्र में <math>M</math> लंबाई के जियोडेसिक खंडों के कसकर केंद्रित परिवार द्वारा बह गया हैं। <math>\varepsilon</math> से निकलना <math>p</math>, अंदर प्रारंभिक वेग के साथ जिसके बारे में छोटा सा <math>\xi</math> शंकु हैं, जिसके संगत की तुलना में छोटी मात्रा होगी। यूक्लिडियन स्थान में शंक्वाकार क्षेत्र, कम से कम यह प्रदान करता हैं कि <math>\varepsilon</math> को पर्याप्त रूप से छोटा माना जाता है, इसी प्रकार यदि रिक्की वक्रता ऋणात्मक है, जो किसी दिए गए सदिश की दिशा <math>\xi</math> के लिए अनेक गुना में ऐसा शंक्वाकार क्षेत्र हैं, इसके अतिरिक्त यूक्लिडियन स्थान की तुलना में इसका आयतन बड़ा होगा।
 
एक वेक्टर की दिशा में <math>\xi</math>, शंक्वाकार क्षेत्र में <math>M</math> लंबाई के जियोडेसिक खंडों के कसकर केंद्रित परिवार द्वारा बह गया हैं।
<math>\varepsilon</math> से निकलना <math>p</math>, अंदर प्रारंभिक वेग के साथ
जिसके बारे में छोटा सा <math>\xi</math> शंकु हैं, जिसके संगत की तुलना में छोटी मात्रा होगी।
 
यूक्लिडियन स्थान में शंक्वाकार क्षेत्र, कम से कम यह प्रदान किया गया <math>\varepsilon</math> पर्याप्त रूप से छोटा होता है, इसी प्रकार यदि रिक्की वक्रता ऋणात्मक है, जो किसी दिए गए वेक्टर की दिशा <math>\xi</math> के लिए अनेक गुना में ऐसा शंक्वाकार क्षेत्र हैं, इसके अतिरिक्त यूक्लिडियन स्थान की तुलना में इसका आयतन बड़ा होगा।


रिक्की वक्रता अनिवार्य रूप से विमानों में वक्रता का औसत <math>\xi</math> है, इस प्रकार यदि शंकु प्रारंभ में गोलाकार (या गोलाकार) से उत्सर्जित होता है, क्रॉस-सेक्शन दीर्घवृत्त (दीर्घवृत्त) में विकृत हो जाता है, यह संभव है कि यदि विकृतियाँ साथ में हों तो वॉल्यूम विरूपण विलुप्त हो जाए।
रिक्की वक्रता अनिवार्य रूप से विमानों में वक्रता का औसत <math>\xi</math> है, इस प्रकार यदि शंकु प्रारंभ में गोलाकार (या गोलाकार) से उत्सर्जित होता है, क्रॉस-सेक्शन दीर्घवृत्त (दीर्घवृत्त) में विकृत हो जाता है, यह संभव है कि यदि विकृतियाँ साथ में हों तो आयतन विरूपण विलुप्त हो जाए। [[प्रधान अक्ष प्रमेय]] दूसरे का प्रतिकार करते हैं। रिक्की वक्रता <math>\xi</math> पुनः विलुप्त हो जाएगी। भौतिक अनुप्रयोगों में एक गैर-लुप्त अनुभागीय वक्रता की उपस्थिति आवश्यक रूप से इसका संकेत नहीं देती है, स्थानीय स्तर पर किसी द्रव्यमान की उपस्थिति, यदि शंकु का आरंभिक वृत्ताकार अनुप्रस्थ काट है, विश्व रेखाओं का आयतन बदले बिना बाद में अण्डाकार हो जाता है, यह किसी अन्य स्थान पर द्रव्यमान से उत्पन्न ज्वारीय प्रभाव के कारण है।
 
[[प्रधान अक्ष प्रमेय]] दूसरे का प्रतिकार करते हैं। रिक्की वक्रता <math>\xi</math> पुनः विलुप्त हो जाएगी। भौतिक अनुप्रयोगों में एक गैर-लुप्त अनुभागीय वक्रता की उपस्थिति आवश्यक रूप से इसका संकेत नहीं देती है, स्थानीय स्तर पर किसी द्रव्यमान की उपस्थिति, यदि शंकु का आरंभिक वृत्ताकार अनुप्रस्थ काट है, विश्व रेखाओं का आयतन बदले बिना बाद में अण्डाकार हो जाता है, यह किसी अन्य स्थान पर द्रव्यमान से उत्पन्न ज्वारीय प्रभाव के कारण है।


== अनुप्रयोग ==
== अनुप्रयोग ==
Line 160: Line 141:


== अनुरूप पुनर्स्केलिंग के कारण व्यवहार ==
== अनुरूप पुनर्स्केलिंग के कारण व्यवहार ==
यदि मीट्रिक <math>g</math> इसे अनुरूप कारक से गुणा करके परिवर्तित किया जाता है
यदि मीट्रिक <math>g</math> इसे अनुरूप कारक से गुणा करके परिवर्तित किया जाता है, {{harv|बेस्से|1987|p=59}} द्वारा <math>e^{2f}</math> के लिए नए अनुरूप को इससे संबंधित मीट्रिक रिक्की टेंसर के रूप में <math>\tilde{g} = e^{2f} g</math> दिया हुआ है। <math display="block">\widetilde{\operatorname{Ric}}=\operatorname{Ric}+(2-n)\left[ \nabla df-df\otimes df\right]+\left[\Delta f -(n-2)\|df\|^2\right]g ,</math>
<math>e^{2f}</math>, नए, अनुरूप-संबंधित मीट्रिक का रिक्की टेंसर
<math>\tilde{g} = e^{2f} g</math> दिया हुआ है {{harv|बेस्से|1987|p=59}} द्वारा<math display="block">\widetilde{\operatorname{Ric}}=\operatorname{Ric}+(2-n)\left[ \nabla df-df\otimes df\right]+\left[\Delta f -(n-2)\|df\|^2\right]g ,</math>
जहाँ <math>\Delta = *d*d</math> (धनात्मक स्पेक्ट्रम) हॉज लाप्लासियन है, अर्थात, हेस्सियन के सामान्य निशान के विपरीत हैं।
जहाँ <math>\Delta = *d*d</math> (धनात्मक स्पेक्ट्रम) हॉज लाप्लासियन है, अर्थात, हेस्सियन के सामान्य निशान के विपरीत हैं।


Line 176: Line 155:


<math display="block">Z = \operatorname{Ric} - \frac{1}{n}Rg ,</math>
<math display="block">Z = \operatorname{Ric} - \frac{1}{n}Rg ,</math>
जहाँ <math>\operatorname{Ric}</math> और <math>R</math> रिक्की वक्रता को निरूपित करें, और अदिश वक्रता <math>g</math>. इस वस्तु का नाम दर्शाता है, इसका तथ्य यह है कि इसका [[ट्रेस (रैखिक बीजगणित)]] स्वचालित रूप से विलुप्त हो जाता है:
जहाँ <math>\operatorname{Ric}</math> और <math>R</math> रिक्की वक्रता को निरूपित करें, और अदिश वक्रता <math>g</math>. इस वस्तु का नाम दर्शाता है, इसका तथ्य यह है कि इसका [[ट्रेस (रैखिक बीजगणित)]] स्वचालित रूप <math>\operatorname{tr}_gZ\equiv g^{ab}Z_{ab} = 0.</math> से विलुप्त हो जाता है, चूंकि यह काफी है कि महत्वपूर्ण टेंसर के लिए यह रिक्की टेंसर के ऑर्थोगोनल अपघटन को दर्शाता है।
<math>\operatorname{tr}_gZ\equiv g^{ab}Z_{ab} = 0.</math> चूंकि, यह काफी है
महत्वपूर्ण टेंसर क्योंकि यह रिक्की टेंसर के ऑर्थोगोनल अपघटन को दर्शाता है।
 
=== रिक्की टेंसर का ऑर्थोगोनल अपघटन ===
=== रिक्की टेंसर का ऑर्थोगोनल अपघटन ===
निम्नलिखित, इतनी साधारण मान नहीं है।<math display="block">\operatorname{Ric} = Z + \frac{1}{n}Rg.</math>यह तुरंत कम स्पष्ट है कि दाहिनी ओर के दो शब्द में एक दूसरे से ऑर्थोगोनल हैं:<math display="block">\left\langle Z, \frac{1}{n}Rg\right\rangle_g \equiv g^{ab}\left(R_{ab} - \frac{1}{n}Rg_{ab}\right) = 0.</math>
निम्नलिखित, इतनी साधारण मान नहीं है।<math display="block">\operatorname{Ric} = Z + \frac{1}{n}Rg.</math>यह तुरंत कम स्पष्ट है कि दाहिनी ओर के दो शब्द में एक दूसरे से ऑर्थोगोनल हैं:<math display="block">\left\langle Z, \frac{1}{n}Rg\right\rangle_g \equiv g^{ab}\left(R_{ab} - \frac{1}{n}Rg_{ab}\right) = 0.</math>
Line 199: Line 175:


==काहलर मैनिफोल्ड्स==
==काहलर मैनिफोल्ड्स==
काहलर मैनिफोल्ड पर <math>X</math>, रिक्की वक्रता निर्धारित करती है, इस प्रकार [[विहित बंडल]] का [[वक्रता रूप]] हैं।
काहलर मैनिफोल्ड पर <math>X</math>, रिक्की वक्रता निर्धारित करती है, इस प्रकार [[विहित बंडल]] का [[वक्रता रूप]] हैं। {{harv|मोरोजानू|2007|loc=अध्याय 12}} के लिए कैनोनिकल लाइन बंडल शीर्ष पर है, होलोमोर्फिक काहलर डिफरेंशियल के बंडल की [[बाहरी शक्ति]] इस प्रकार होगी:<math display="block">
{{harv|मोरोजानू|2007|loc=अध्याय 12}}. कैनोनिकल लाइन बंडल शीर्ष पर है
होलोमोर्फिक काहलर डिफरेंशियल के बंडल की [[बाहरी शक्ति]]:
 
<math display="block">
\kappa = {\textstyle\bigwedge}^n ~ \Omega_X.
\kappa = {\textstyle\bigwedge}^n ~ \Omega_X.
</math>
</math>लेवी-सिविटा कनेक्शन मीट्रिक के अनुरूप है <math>X</math> देता है, जिसके कारण इस संयोजन के लिए <math>\kappa</math>.को इस संबंध की वक्रता है, जिसके द्वारा परिभाषित 2-रूप का हैं।
लेवी-सिविटा कनेक्शन मीट्रिक के अनुरूप है <math>X</math> देता है, जिसके कारण इस संयोजन के लिए <math>\kappa</math>.को इस संबंध की वक्रता है, जिसके द्वारा परिभाषित 2-रूप का हैं।


<math display="block">\rho(X,Y) \;\stackrel{\text{def}}{=}\; \operatorname{Ric}(JX,Y)</math>
<math display="block">\rho(X,Y) \;\stackrel{\text{def}}{=}\; \operatorname{Ric}(JX,Y)</math>
जहाँ <math>J</math> पर जटिल मैनिफोल्ड मानचित्र है, काहलर मैनिफोल्ड की संरचना द्वारा निर्धारित स्पर्शरेखा बंडल के रूप में प्रदर्शित होता हैं। रिक्की के कारण फॉर्म बंद और सटीक फॉर्म 2-फॉर्म है। इसका [[कोहोमोलोजी वर्ग]] है, एक वास्तविक स्थिर कारक तक, विहित बंडल का पहला चेर्न वर्ग, और इसलिए यह टोपोलॉजिकल इनवेरिएंट <math>X</math> (कॉम्पैक्ट के लिए <math>X</math>) है, इस अर्थ में कि यह केवल टोपोलॉजी पर निर्भर करता है, इस प्रकार <math>X</math> और यह जटिल संरचना का [[समरूप वर्ग]] हैं।


इसके विपरीत, रिक्की फॉर्म रिक्की टेंसर को निर्धारित करता है
 
जहाँ <math>J</math> पर जटिल मैनिफोल्ड मानचित्र है, काहलर मैनिफोल्ड की संरचना द्वारा निर्धारित स्पर्शरेखा बंडल के रूप में प्रदर्शित होता हैं। रिक्की के कारण प्रारूप बंद और सटीक प्रारूप 2-प्रारूप है। इसका [[कोहोमोलोजी वर्ग]] है, एक वास्तविक स्थिर कारक तक, विहित बंडल का पहला चेर्न वर्ग, और इसलिए यह टोपोलॉजिकल इनवेरिएंट <math>X</math> (कॉम्पैक्ट के लिए <math>X</math>) है, इस अर्थ में कि यह केवल टोपोलॉजी पर निर्भर करता है, इस प्रकार <math>X</math> और यह जटिल संरचना का [[समरूप वर्ग]] हैं।
 
इसके विपरीत, रिक्की प्रारूप रिक्की टेंसर को निर्धारित करता है


<math display="block">\operatorname{Ric}(X, Y) = \rho(X,