अनुभागीय वक्रता: Difference between revisions
No edit summary |
No edit summary |
||
(9 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
रीमैनियन ज्यामिति में, अनुभागीय वक्रता, [[रीमैनियन मैनिफोल्ड्स की वक्रता]] का वर्णन करने के | रीमैनियन ज्यामिति में, '''अनुभागीय वक्रता''', [[रीमैनियन मैनिफोल्ड्स की वक्रता]] का वर्णन करने के विधियों में से एक है। अनुभागीय वक्रता ''K''(σ<sub>p</sub>) मैनिफोल्ड्स के एक बिंदु p पर [[स्पर्शरेखा स्थान]] के द्वि-आयामी रैखिक उप-स्थान σ<sub>p</sub> पर निर्भर करता है। इसे ज्यामितीय रूप से [[सतह (टोपोलॉजी)]] के [[गॉसियन वक्रता]] के रूप में परिभाषित किया जा सकता है जिसमें p पर एक स्पर्शरेखा विमान के रूप में समतल σ<sub>p</sub> है, जो [[ geodesic |जियोडेसिक्स]] से प्राप्त होता है जो σ<sub>p</sub> (दूसरे शब्दों में, σ की छवि<sub>''p''</sub> घातीय माप (रीमैनियन ज्यामिति) के अनुसार p पर) की दिशाओं में p से प्रारंभ होता है। अनुभागीय वक्रता मैनिफोल्ड्स अधिक [[ग्रासमानियन]] [[फाइबर बंडल]] पर वास्तविक-मूल्यवान फलन है। | ||
अनुभागीय वक्रता [[रीमैन वक्रता टेन्सर]] को पूरी तरह से निर्धारित करती है। | अनुभागीय वक्रता [[रीमैन वक्रता टेन्सर]] को पूरी तरह से निर्धारित करती है। | ||
== परिभाषा == | == परिभाषा == | ||
एक रीमैनियन मैनिफोल्ड और एक ही बिंदु u और v पर दो [[रैखिक रूप से स्वतंत्र]] [[स्पर्शरेखा वैक्टर|स्पर्शरेखा सदिशों]] को देखते हुए हम परिभाषित कर सकते हैं | |||
:<math>K(u,v)={\langle R(u,v)v,u\rangle\over \langle u,u\rangle\langle v,v\rangle-\langle u,v\rangle^2}</math> | :<math>K(u,v)={\langle R(u,v)v,u\rangle\over \langle u,u\rangle\langle v,v\rangle-\langle u,v\rangle^2}</math> | ||
यहाँ R रीमैन वक्रता टेन्सर है, जिसे यहाँ परिपाटी | यहाँ R रीमैन वक्रता टेन्सर है, जिसे यहाँ परिपाटी <math>R(u,v)w=\nabla_u\nabla_vw-\nabla_v\nabla_uw-\nabla_{[u,v]}w</math> द्वारा परिभाषित किया गया है कुछ स्रोत विपरीत परिपाटी <math>R(u,v)w=\nabla_v\nabla_uw-\nabla_u\nabla_vw-\nabla_{[v,u]}w,</math> का उपयोग करते हैं, किस स्थिति में K(u,v) को अंश में<math>\langle R(u,v)v,u\rangle</math> के अतिरिक्त <math>\langle R(u,v)u,v\rangle</math> से परिभाषित किया जाना चाहिए।{{sfnm|1a1=Gallot|1a2=Hulin|1a3=Lafontaine|1y=2004|1loc=Section 3.A.2}} | ||
ध्यान दें कि u और v की रैखिक स्वतंत्रता उपरोक्त व्यंजक में भाजक को अशून्य होने के लिए बाध्य करती है, | ध्यान दें कि u और v की रैखिक स्वतंत्रता उपरोक्त व्यंजक में भाजक को अशून्य होने के लिए बाध्य करती है, जिससे K(u,v) अच्छी तरह से परिभाषित हो। विशेष रूप से, यदि u और v [[ऑर्थोनॉर्मल]] हैं, तो परिभाषा सरल रूप लेती है | ||
:<math>K(u,v) = \langle R(u,v)v,u\rangle.</math> | :<math>K(u,v) = \langle R(u,v)v,u\rangle.</math> | ||
यह जांचना सीधा है कि | यह जांचना सीधा है कि यदि <math>u,v\in T_pM</math> रैखिक रूप से स्वतंत्र हैं और स्पर्शरेखा स्थान <math>T_pM</math> के समान द्वि-आयामी रैखिक उप-स्थान को <math>x,y\in T_pM</math> के रूप में फैलाते हैं,तब <math>K(u,v)=K(x,y)</math> है। तो कोई विभागीय वक्रता को वास्तविक-मूल्यवान फलन के रूप में मान सकता है जिसका इनपुट स्पर्शरेखा स्थान का द्वि-आयामी रैखिक उप-स्थान है। | ||
=== वैकल्पिक परिभाषाएं === | === वैकल्पिक परिभाषाएं === | ||
वैकल्पिक रूप से, अनुभागीय वक्रता को छोटे वृत्तों की परिधि द्वारा चित्रित किया जा सकता है। | वैकल्पिक रूप से, अनुभागीय वक्रता को छोटे वृत्तों की परिधि द्वारा चित्रित किया जा सकता है। मान लीजिए कि <math>P</math>, <math>T_xM</math> में एक द्विविम तल है। मान लो <math>C_P(r)</math> पर्याप्त रूप से छोटे <math>r > 0</math> के लिए <math>p</math> में इकाई वृत के <math>p</math> पर घातीय माप के अनुसार छवि को दर्शाता है और <math>l_P(r)</math> की लंबाई को <math>C_P(r)</math> दर्शाता है तभी यह सिद्ध हो सकता है | ||
: <math>l_P(r)=2\pi r \left(1-{r^2\over 6}\sigma(P)+O(r^3)\right),</math> | :<math>l_P(r)=2\pi r \left(1-{r^2\over 6}\sigma(P)+O(r^3)\right),</math> कुछ संख्या <math>\sigma(P)</math> के लिए <math>r \to 0</math> के रूप में। <math>p</math> पर यह संख्या <math>\sigma(P)</math> <math>p</math> पर <math>p</math> के विभागीय वक्रता है।{{sfnm|1a1=Gallot|1a2=Hulin|1a3=Lafontaine|1y=2004|1loc=Section 3.D.4}} | ||
== निरंतर अनुभागीय वक्रता के साथ | == निरंतर अनुभागीय वक्रता के साथ मैनिफोल्ड्स == | ||
का कहना है कि | एक का कहना है कि सभी द्वि-आयामी रैखिक उप-स्थान <math>P\subset T_pM</math> और सभी <math>p\in M</math> के लिए एक रिमेंनियन मैनिफोल्ड में "निरंतर वक्रता <math>\kappa</math>" है यदि <math>\operatorname{sec}(P)=\kappa</math>। | ||
निरंतर अनुभागीय वक्रता के साथ रिमेंनियन मैनिफोल्ड को [[अंतरिक्ष रूप]] कहा जाता है। | शूर की लेम्मा (रीमैनियन ज्योमेट्री) कहती है कि यदि ''(M,g)'' कम से कम तीन आयामों के साथ जुड़ा हुआ रिमेंनियन मैनिफोल्ड है, और यदि कोई फलन <math>f:M\to\mathbb{R}</math> है जैसे कि <math>\operatorname{sec}(P)=f(p)</math> सभी द्वि-आयामी रैखिक उप-स्थानों के लिए <math>P\subset T_pM</math> और सभी के लिए <math>p\in M,</math> तब f स्थिर होना चाहिए और इसलिए (M,g) में निरंतर वक्रता होती है। | ||
निरंतर अनुभागीय वक्रता के साथ रिमेंनियन मैनिफोल्ड को [[अंतरिक्ष रूप|स्पेस रूप]] कहा जाता है। यदि <math>\kappa</math> अनुभागीय वक्रता के निरंतर मान को दर्शाता है, तो किसी भी <math>u,v,w\in T_pM</math> के लिए वक्रता टेन्सर को | |||
: <math>R(u,v)w=\kappa \big(\langle v,w\rangle u-\langle u,w\rangle v\big)</math> | : <math>R(u,v)w=\kappa \big(\langle v,w\rangle u-\langle u,w\rangle v\big)</math> | ||
के रूप में लिखा जा सकता है। | |||
{| | {| class="wikitable mw-collapsible mw-collapsed" role="presentation" | ||
| style="font-weight:bold;' | Proof | | style="font-weight:bold;' " | Proof | ||
|- | |- | ||
| | | संक्षेप में: एक ध्रुवीकरण तर्क <math>R(u,v)v,</math> के लिए एक सूत्र देता है, दूसरा (समतुल्य) ध्रुवीकरण तर्क <math>R(u,v)w+R(u,w)v,</math>के लिए एक सूत्र देता है और पहली बिअंची पहचान के साथ एक संयोजन <math>R(u,v)w.</math> के लिए दिए गए सूत्र को पुनः प्राप्त करता है। | ||
अनुभागीय वक्रता की परिभाषा से, हम जानते हैं कि <math>\langle R(u, v)v, u\rangle = \kappa\left(|u|^2|v|^2 - \langle u, v \rangle^2\right)</math> जब भी <math>u,v</math> रैखिक रूप से स्वतंत्र होते हैं, और यह आसानी से इस मामले तक फैलता है कि <math>u,v</math> रैखिक रूप से निर्भर होते हैं क्योंकि दोनों पक्ष तब शून्य होते हैं। अब, स्वैच्छिक रूप से ''u,v,w,'' दिया गया है, दो तरीकों से <math>\langle R(u+w,v)v,u+w\rangle</math> की गणना करें। सबसे पहले, उपरोक्त सूत्र के अनुसार, यह बराबर है | |||
: <math>\kappa\left(|v|^2\left(|u|^2 + |w|^2 + 2\langle u, w \rangle\right) - \langle u, v \rangle^2 - \langle w, v \rangle^2 - 2\langle u, v \rangle\langle w, v \rangle\right).</math> | : <math>\kappa\left(|v|^2\left(|u|^2 + |w|^2 + 2\langle u, w \rangle\right) - \langle u, v \rangle^2 - \langle w, v \rangle^2 - 2\langle u, v \rangle\langle w, v \rangle\right).</math> | ||
दूसरे, बहुरैखिकता द्वारा, यह <math>\langle R(u,v)v,u\rangle+\langle R(w,v)v,w\rangle+\langle R(u,v)v,w\rangle+\langle R(w,v)v,u\rangle,</math> | |||
के बराबर है, जो रीमेनियन समरूपता <math>\langle R(u,v)v,w\rangle=\langle R(w,v)v,u\rangle,</math> को याद करते हुए | |||
: <math>\kappa\Big(|u|^2|v|^2-\langle u,v\rangle^2\Big)+\kappa\Big(|w|^2|v|^2-\langle w,v\rangle^2\Big)+2\langle R(u,v)v,w\rangle.</math> | : <math>\kappa\Big(|u|^2|v|^2-\langle u,v\rangle^2\Big)+\kappa\Big(|w|^2|v|^2-\langle w,v\rangle^2\Big)+2\langle R(u,v)v,w\rangle.</math> | ||
को सरल बनाया जा सकता है। | |||
इन दो संगणनाओं को एक दूसरे के बराबर सेट करना और शर्तों को रद्द करना, | |||
: <math>\langle R(u,v)v,w\rangle = \kappa\Big(|v|^2\langle u,w\rangle - \langle u,v\rangle\langle w,v\rangle\Big).</math> | : <math>\langle R(u,v)v,w\rangle = \kappa\Big(|v|^2\langle u,w\rangle - \langle u,v\rangle\langle w,v\rangle\Big).</math> | ||
पाता है। | |||
चूंकि ''w'' स्वैच्छिक है, इससे यह पता चलता है | |||
: <math>R(u,v)v=\kappa\Big(|v|^2u-\langle u,v\rangle v\Big)</math> | : <math>R(u,v)v=\kappa\Big(|v|^2u-\langle u,v\rangle v\Big)</math> | ||
किसी भी ''u,v के लिए। अब'' ''u,v,w'' मनमाना हो और दो तरह से <math>R(u,v+w)(v+w)</math> की गणना करें।सबसे पहले, इस नए सूत्र द्वारा, यह | |||
: <math>\kappa\left(\left(|v|^2 + |w|^2 + 2\langle v, w \rangle\right)u - \langle u, v \rangle v - \langle u, w \rangle v - \langle u, v \rangle w - \langle u, w \rangle w\right).</math> | : <math>\kappa\left(\left(|v|^2 + |w|^2 + 2\langle v, w \rangle\right)u - \langle u, v \rangle v - \langle u, w \rangle v - \langle u, v \rangle w - \langle u, w \rangle w\right).</math> | ||
के बराबर है। | |||
दूसरे, बहुरैखिकता द्वारा, यह <math>R(u,v)v+R(u,w)w+R(u,v)w+R(u,w)v</math>के बराबर है जो नए सूत्र द्वारा | |||
: <math>\kappa\left(|v|^2u - \langle u, v \rangle v\right) + \kappa\left(|w|^2u - \langle u, w \rangle w\right) + R(u, v)w + R(u, w)v.</math> | : <math>\kappa\left(|v|^2u - \langle u, v \rangle v\right) + \kappa\left(|w|^2u - \langle u, w \rangle w\right) + R(u, v)w + R(u, w)v.</math> | ||
के बराबर है। | |||
इन दो संगणनाओं को एक दूसरे के बराबर सेट करना | |||
: <math>R(u, v)w + R(u, w)v = \kappa\left(2\langle v, w \rangle u - \langle u, w \rangle v - \langle u, v \rangle w\right).</math> | : <math>R(u, v)w + R(u, w)v = \kappa\left(2\langle v, w \rangle u - \langle u, w \rangle v - \langle u, v \rangle w\right).</math> | ||
दिखाता है | |||
<math>u</math> और <math>v</math>, की अदला-बदली करें, फिर <math>2R(v, u)w + R(u, w)v = \kappa\left(2\langle u, w \rangle v - \langle v, w \rangle u - \langle u, v \rangle w\right)</math> | |||
: <math>3R(u, v)w = 3\kappa\left(\langle v, w \rangle u - \langle u, w \rangle v\right) | |||
प्राप्त करने के लिए इसे बिंची पहचान | |||
<math>R(v, u)w + R(u, w)v + R(w, v)u = 0</math> | |||
: में जोड़ें | |||
:<math>3R(u, v)w = 3\kappa\left(\langle v, w \rangle u - \langle u, w \rangle v\right)</math> प्राप्त करने के लिए, समरूपता | |||
:<math>R(u, v)w = -R(v, u)w,</math> का उपयोग करते हुए, इन दो समीकरणों को घटाएं | |||
|} | |} | ||
चूँकि कोई भी रिमेंनियन मेट्रिक अपने लेवी-सिविता कनेक्शन के संबंध में समानांतर है, यह दर्शाता है कि किसी भी स्थिर-वक्रता स्थान का रीमैन टेंसर भी समानांतर है। रिक्की टेन्सर | चूँकि कोई भी रिमेंनियन मेट्रिक अपने लेवी-सिविता कनेक्शन के संबंध में समानांतर है, यह दर्शाता है कि किसी भी स्थिर-वक्रता स्थान का रीमैन टेंसर भी समानांतर है। तब रिक्की टेन्सर <math>\operatorname{Ric} = (n - 1)\kappa g</math> द्वारा दिया जाता है और अदिश वक्रता <math>n(n - 1)\kappa</math> है। विशेष रूप से, कोई भी स्थिर-वक्रता स्थान आइंस्टीन है और निरंतर अदिश वक्रता रखता है। | ||
=== मॉडल उदाहरण === | === मॉडल उदाहरण === | ||
धनात्मक संख्या <math>a</math> दी गई है, परिभाषित करना | |||
* <math>\left(\mathbb{R}^n, g_{\mathbb{R}^n}\right)</math> मानक | * <math>\left(\mathbb{R}^n, g_{\mathbb{R}^n}\right)</math> मानक रीमैनियन संरचना होना | ||
* <math>\left(S^n(a), g_{S^n(a)}\right)</math> गोला होना <math>S^n(a) \equiv \left\{x\in\mathbb{R}^{n+1}: |x| = a\right\}</math> साथ <math>g_{S^n(a)}</math> पर मानक रीमैनियन संरचना के पुलबैक द्वारा दिया गया <math>\mathbb{R}^{n+1}</math> समावेशन | * <math>\left(S^n(a), g_{S^n(a)}\right)</math> गोला होना <math>S^n(a) \equiv \left\{x\in\mathbb{R}^{n+1}: |x| = a\right\}</math> साथ <math>g_{S^n(a)}</math> पर मानक रीमैनियन संरचना के पुलबैक द्वारा दिया गया <math>\mathbb{R}^{n+1}</math> समावेशन माप द्वारा <math>S^n(a) \to \mathbb{R}^{n+1}</math> | ||
* <math>\left(H^n(a), g_{H^n(a)}\right)</math> गेंद होना <math>H^n(a) \equiv \left\{x\in\mathbb{R}^n: |x| < a\right\}</math> साथ <math>g_{H^n(a)} = a^2\frac{\left(a^2 - |x|^2\right)\left(dx_1^2 + \cdots + dx_n^2\right) - \left(x_1\,dx_1 + \cdots + x_n\,dx_n\right)^2}{\left(a^2 - |x|^2\right)^2}.</math> | * <math>\left(H^n(a), g_{H^n(a)}\right)</math> गेंद होना <math>H^n(a) \equiv \left\{x\in\mathbb{R}^n: |x| < a\right\}</math> साथ <math>g_{H^n(a)} = a^2\frac{\left(a^2 - |x|^2\right)\left(dx_1^2 + \cdots + dx_n^2\right) - \left(x_1\,dx_1 + \cdots + x_n\,dx_n\right)^2}{\left(a^2 - |x|^2\right)^2}.</math> | ||
सामान्य शब्दावली में, इन रिमेंनियन मैनिफोल्ड को [[ यूक्लिडियन अंतरिक्ष |यूक्लिडियन | सामान्य शब्दावली में, इन रिमेंनियन मैनिफोल्ड को [[ यूक्लिडियन अंतरिक्ष |यूक्लिडियन स्पेस]] , [[ एन-क्षेत्र |एन-क्षेत्र]] और [[अतिशयोक्तिपूर्ण स्थान]] के रूप में संदर्भित किया जाता है। यहाँ, बिंदु यह है कि प्रत्येक निरंतर वक्रता के साथ पूर्ण रूप से जुड़ा हुआ चिकनी रीमैनियन मैनिफोल्ड है। त्रुटिहीन होने के लिए, रिमेंनियन मीट्रिक <math>g_{\mathbb{R}^n}</math> निरंतर वक्रता 0 है, रिमेंनियन मीट्रिक <math>g_{S^n(a)}</math> निरंतर वक्रता <math>a^{-2}</math> है, और रिमेंनियन मीट्रिक <math>g_{H^n(a)}</math> निरंतर वक्रता <math>-a^{-2}</math>है। | ||
इसके अतिरिक्त, ये इस अर्थ में 'सार्वभौमिक' उदाहरण हैं कि यदि <math>(M, g)</math> निरंतर वक्रता के साथ चिकनी, जुड़ा हुआ और आसानी से जुड़ा हुआ पूर्ण रीमानियन मैनिफोल्ड्स है, तो यह उपरोक्त उदाहरणों में से के लिए आइसोमेट्रिक है; उपरोक्त उदाहरणों के निरंतर वक्रता के अनुसार, विशेष उदाहरण <math>g</math> के निरंतर वक्रता के मान से निर्धारित होता है। | |||
[[अतिशयोक्तिपूर्ण ज्यामिति]] कहे जाने वाले निरंतर | |||
रिमेंनियन मैनिफोल्ड {<math>\pi:\widetilde{M}\to M</math> स्थानीय रूप से <math>(M, g)</math> के लिए आइसोमेट्रिक है, और इसलिए यह एक समान निरंतर वक्रता के साथ एक चिकनी, जुड़ा हुआ और आसानी से जुड़ा हुआ पूर्ण रीमैनियन मैनिफोल्ड <math>\pi^\ast g</math> है। यह तब से <math>\pi</math> टोपोलॉजिकल सिद्धांतों द्वारा, कवरिंग मैप, रीमैनियन मैनिफोल्ड <math>(\widetilde{M},\pi^\ast g)</math> है स्थानीय रूप से आइसोमेट्रिक है <math>(M,g)</math>, और इसलिए यह समान निरंतर वक्रता के साथ चिकनी, जुड़ा हुआ, और आसानी से जुड़ा हुआ पूर्ण रीमैनियन मैनिफोल्ड <math>g</math> है। यह तब उपरोक्त मॉडल उदाहरणों में से आइसोमेट्रिक होना चाहिए। ध्यान दें कि सार्वभौमिक आवरण के डेक रूपांतरण मीट्रिक के सापेक्ष [[आइसोमेट्री]] <math>\pi^\ast g</math> है। | |||
[[अतिशयोक्तिपूर्ण ज्यामिति]] कहे जाने वाले निरंतर ऋणात्मक वक्रता के साथ रीमैनियन मैनिफोल्ड्स का अध्ययन विशेष रूप से उल्लेखनीय है क्योंकि यह कई उल्लेखनीय घटनाओं को प्रदर्शित करता है। | |||
== स्केलिंग == | == स्केलिंग == | ||
मान ले <math>(M, g)</math> चिकनी मैनिफोल्ड्स हो, और मान लो <math>\lambda</math> धनात्मक संख्या हो। रीमैनियन मैनिफोल्ड <math>(M, \lambda g)</math> पर विचार करें। वक्रता टेन्सर, बहुरेखीय माप के रूप में <math>T_pM\times T_pM\times T_pM\to T_pM,</math> इस संशोधन से अपरिवर्तित है। मान ले <math>v,w</math> में रैखिक रूप से स्वतंत्र वैक्टर <math>T_pM</math> बनें। तब | |||
: <math>K_{\lambda g}(v, w) = \frac{\lambda g\left(R^{\lambda g}(v, w)w, v\right)}{|v|_{\lambda g}^2|w|_{\lambda g}^2 - \langle v, w \rangle_{\lambda g}^2} = \frac{1}{\lambda}\frac{g\left(R^g(v, w)w, v\right)}{|v|_g^2|w|_g^2 - \langle v, w \rangle_g^2} = \frac{1}{\lambda}K_g(v,w).</math> | : <math>K_{\lambda g}(v, w) = \frac{\lambda g\left(R^{\lambda g}(v, w)w, v\right)}{|v|_{\lambda g}^2|w|_{\lambda g}^2 - \langle v, w \rangle_{\lambda g}^2} = \frac{1}{\lambda}\frac{g\left(R^g(v, w)w, v\right)}{|v|_g^2|w|_g^2 - \langle v, w \rangle_g^2} = \frac{1}{\lambda}K_g(v,w).</math> | ||
तो मीट्रिक का गुणा द्वारा <math>\lambda</math> द्वारा सभी अनुभागीय वक्रताओं | तो मीट्रिक का गुणा द्वारा <math>\lambda</math> द्वारा सभी अनुभागीय वक्रताओं <math>\lambda^{-1}</math> को गुणा करता है | ||
== टोपोनोगोव का प्रमेय == | == टोपोनोगोव का प्रमेय == | ||
टोपोनोगोव की प्रमेय उनके यूक्लिडियन समकक्षों की तुलना में मोटे [[जियोडेसिक त्रिकोण]] कैसे दिखाई देते हैं, इसके संदर्भ में अनुभागीय वक्रता का लक्षण वर्णन करता है। मूल अंतर्ज्ञान यह है कि, यदि कोई स्थान | टोपोनोगोव की प्रमेय उनके यूक्लिडियन समकक्षों की तुलना में मोटे [[जियोडेसिक त्रिकोण]] कैसे दिखाई देते हैं, इसके संदर्भ में अनुभागीय वक्रता का लक्षण वर्णन करता है। मूल अंतर्ज्ञान यह है कि, यदि कोई स्थान धनात्मक रूप से वक्र है, तो किसी दिए गए शीर्ष के विपरीत त्रिभुज का किनारा उस शीर्ष से दूर झुक जाएगा, जबकि यदि कोई स्थान ऋणात्मक रूप से वक्र है, तो त्रिभुज का विपरीत किनारा शीर्ष की ओर झुक जाएगा। | ||
अधिक | अधिक त्रुटिहीन रूप से, M को पूर्ण स्थान रीमैनियन मैनिफोल्ड होने दें, और xyz को M में जियोडेसिक त्रिकोण (त्रिभुज जिसका प्रत्येक पक्ष लंबाई-न्यूनतम जियोडेसिक है) होने दें। अंत में, m को जियोडेसिक xy का मध्य बिंदु होने दें। यदि M में गैर-ऋणात्मक वक्रता है, तो सभी छोटे त्रिभुजों के लिए पर्याप्त है | ||
:<math>d(z,m)^2 \ge \frac{1}{2}d(z,x)^2 + \frac{1}{2}d(z,y)^2 - \frac{1}{4}d(x,y)^2</math> | :<math>d(z,m)^2 \ge \frac{1}{2}d(z,x)^2 + \frac{1}{2}d(z,y)^2 - \frac{1}{4}d(x,y)^2</math> | ||
जहाँ d, M पर दूरी का | जहाँ d, M पर दूरी का फलन है। समानता का स्थिति ठीक तब होता है जब M की वक्रता लुप्त हो जाती है, और दाहिने हाथ की ओर यूक्लिडियन स्पेस में शीर्ष से विपरीत दिशा में ही पक्ष वाले जियोडेसिक त्रिकोण की दूरी का प्रतिनिधित्व करता है- त्रिकोण xyz के रूप में लंबाई। यह त्रुटिहीन अर्थ बनाता है जिसमें त्रिकोण धनात्मक रूप से वक्र स्थानों में मोटे होते हैं। गैर-धनात्मक वक्र स्थानों में, असमानता दूसरे विधि से जाती है: | ||
:<math>d(z,m)^2 \le \frac{1}{2}d(z,x)^2 + \frac{1}{2}d(z,y)^2 - \frac{1}{4}d(x,y)^2.</math> | :<math>d(z,m)^2 \le \frac{1}{2}d(z,x)^2 + \frac{1}{2}d(z,y)^2 - \frac{1}{4}d(x,y)^2.</math> | ||
यदि अनुभागीय वक्रता पर सख्त सीमाएँ ज्ञात हैं, तो यह संपत्ति एम में जियोडेसिक त्रिकोणों के बीच [[तुलना प्रमेय]] देने के लिए सामान्यीकृत होती है और जो उपयुक्त रूप से जुड़े | यदि अनुभागीय वक्रता पर सख्त सीमाएँ ज्ञात हैं, तो यह संपत्ति एम में जियोडेसिक त्रिकोणों के बीच [[तुलना प्रमेय]] देने के लिए सामान्यीकृत होती है और जो उपयुक्त रूप से जुड़े स्पेस रूप में होती हैं; टोपोनोगोव प्रमेय देखें। यहां बताए गए संस्करण के सरल परिणाम हैं: | ||
* पूर्ण रीमैनियन मैनिफोल्ड में गैर- | * पूर्ण रीमैनियन मैनिफोल्ड में गैर-ऋणात्मक अनुभागीय वक्रता होती है यदि और केवल यदि फलन <math>f_p(x) = \operatorname{dist}^2(p,x)</math> करता है 1-रिमैनियन की शब्दावली और सभी बिंदुओं के लिए मीट्रिक ज्यामिति है। | ||
* पूरी तरह से जुड़ा हुआ रिमेंनियन मैनिफोल्ड में गैर- | * पूरी तरह से जुड़ा हुआ रिमेंनियन मैनिफोल्ड में गैर-धनात्मक अनुभागीय वक्रता है यदि और केवल यदि फलन <math>f_p(x) = \operatorname{dist}^2(p,x)</math> करता है 1-रीमैनियन और मीट्रिक ज्यामिति की शब्दावली है। | ||
== गैर- | == गैर-धनात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स == | ||
1928 में, एली कार्टन ने कार्टन-हैडमार्ड प्रमेय को सिद्ध किया: यदि एम गैर- | 1928 में, एली कार्टन ने कार्टन-हैडमार्ड प्रमेय को सिद्ध किया: यदि एम गैर-धनात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स पूर्ण स्थान है, तो इसका [[सार्वभौमिक आवरण]] यूक्लिडियन स्पेस के लिए अलग-अलग है। विशेष रूप से, यह [[एस्फेरिकल स्पेस]] है: होमोटोपी समूह <math>\pi_i(M)</math> i ≥ 2 के लिए तुच्छ हैं। इसलिए, पूर्ण गैर-धनात्मक वक्र मैनिफोल्ड की सांस्थितिक संरचना इसके [[मौलिक समूह]] द्वारा निर्धारित की जाती है। प्रीसमैन की प्रमेय ऋणात्मक वक्र कॉम्पैक्ट मैनिफोल्ड के मौलिक समूह को प्रतिबंधित करती है। कार्टन-हैडमार्ड अनुमान कहता है कि पारंपरिक [[आइसोपेरिमेट्रिक असमानता]] गैर-धनात्मक वक्रता के सभी सरल रूप से जुड़े हुए स्थानों में होनी चाहिए, जिन्हें [[हैडमार्ड कई गुना|कार्टन-हैडमार्ड मैनिफोल्ड्स]] कहा जाता है। | ||
== | == धनात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स == | ||
धनात्मक रूप से | धनात्मक रूप से वक्र मैनिफोल्ड की संरचना के बारे में बहुत कम जानकारी है। [[आत्मा प्रमेय|सोल प्रमेय]] ({{harvnb|चीजर|ग्रोमोल|1972}}; {{harvnb|ग्रोमोल|मेयर|1969}}) का तात्पर्य है कि पूर्ण गैर-कॉम्पैक्ट गैर-ऋणात्मक रूप से वक्र मैनिफोल्ड कॉम्पैक्ट गैर-ऋणात्मक रूप से वक्र मैनिफोल्ड पर सामान्य बंडल के लिए भिन्न है। कॉम्पैक्ट पॉजिटिव कर्व्ड मैनिफोल्ड्स के लिए, दो शास्त्रीय परिणाम हैं: | ||
* यह [[मायर्स प्रमेय]] से निकलता है कि इस तरह के | * यह [[मायर्स प्रमेय]] से निकलता है कि इस तरह के मैनिफोल्ड्स का मूल समूह परिमित है। | ||
* यह [[सिंज प्रमेय]] से अनुसरण करता है कि इस तरह के | *यह [[सिंज प्रमेय]] से अनुसरण करता है कि इस तरह के मैनिफोल्ड्स भी आयामों में मूलभूत समूह 0 है, यदि उन्मुख और <math>\mathbb Z_2</math> अन्यथा। विषम आयामों में धनात्मक रूप से वक्र मैनिफोल्ड सदैव उन्मुख होता है। | ||
इसके | इसके अतिरिक्त, कॉम्पैक्ट पॉजिटिवली कर्व्ड मैनिफोल्ड्स के अपेक्षाकृत कुछ उदाहरण हैं, बहुत सारे अनुमानों को छोड़कर (उदाहरण के लिए, हॉपफ अनुमान है कि क्या <math>\mathbb S^2 \times \mathbb S^2</math> पर धनात्मक अनुभागीय वक्रता का मीट्रिक है) नए उदाहरणों के निर्माण का सबसे विशिष्ट तरीका ओ'नील वक्रता सूत्रों से निम्नलिखित परिणाम है: यदि <math>(M, g)</math> ली ग्रुप जी की मुक्त आइसोमेट्रिक क्रिया को स्वीकार करने वाला रिमेंनियन मैनिफोल्ड है, और M में सभी 2-प्लेन ऑर्थोगोनल पर G की कक्षाओं के लिए धनात्मक अनुभागीय वक्रता है, फिर मैनिफोल्ड्स <math>M/G</math> भागफल मीट्रिक के साथ धनात्मक अनुभागीय वक्रता है। यह तथ्य किसी को शास्त्रीय धनात्मक रूप से वक्र स्पेस बनाने की अनुमति देता है, गोलाकार और प्रोजेक्टिव स्पेस, साथ ही साथ ये उदाहरण भी {{harv|ज़िलर|2007}}: | ||
* बर्गर | * बर्गर स्पेस <math>B^7=SO(5)/SO(3)</math> और <math>B^{13}=SU(5)/\operatorname{Sp}(2) \cdot \mathbb S^1</math>. | ||
* वैलाच | * वैलाच स्पेस (या सजातीय ध्वज मैनिफोल्ड्स): <math>W^6=SU(3)/T^2</math>, <math>W^{12}=\operatorname{Sp}(3)/\operatorname{Sp}(1)^3</math> और <math>W^{24}=F_4/\operatorname{Spin}(8)</math>. | ||
* अलोफ-वैलाच | * अलोफ-वैलाच स्पेस <math>W^7_{p,q} = SU(3)/\operatorname{diag}\left(z^p, z^q, \overline{z}^{p+q}\right)</math>. | ||
* एसचेनबर्ग | * एसचेनबर्ग स्पेस <math>E_{k,l} = \operatorname{diag}\left(z^{k_1}, z^{k_2}, z^{k_3}\right)\backslash SU(3)/\operatorname{diag}\left(z^{l_1}, z^{l_2}, z^{l_3}\right)^{-1}.</math> | ||
* बाज़ैकिन | * बाज़ैकिन स्पेस <math>B^{13}_p = \operatorname{diag}\left(z_1^{p_1}, \dots, z_1^{p_5}\right)\backslash U(5)/\operatorname{diag}(z_2 A, 1)^{-1}</math>, कहाँ <math>A\in \operatorname{Sp}(2)\subset SU(4)</math>. | ||
== गैर- | == गैर-ऋणात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स == | ||
चीजर और ग्रोमोल ने अपनी | चीजर और ग्रोमोल ने अपनी सोल प्रमेय को सिद्ध किया जिसमें कहा गया है कि कोई भी गैर-ऋणात्मक वक्र पूर्ण गैर-कॉम्पैक्ट मैनिफोल्ड <math>M</math> पूरी तरह से उत्तल कॉम्पैक्ट सबमनीफोल्ड <math>S</math> है जैसे कि <math>M</math> के सामान्य बंडल <math>S</math> के लिए अलग-अलग है। इस तरह के <math>S</math> की सोल <math>M</math> कहलाती है। विशेष रूप से, इस प्रमेय का तात्पर्य है इसकी सोल <math>M</math> के लिए होमोटोपिक <math>S</math> है जिसका आकार <math>M</math> से कम होता है।. | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 132: | Line 148: | ||
{{Riemannian geometry}} | {{Riemannian geometry}} | ||
{{curvature}} | {{curvature}} | ||
[[Category: | [[Category:Collapse templates]] | ||
[[Category:Created On 24/04/2023]] | [[Category:Created On 24/04/2023]] | ||
[[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]] | |||
[[Category:रिमानियन ज्यामिति]] | |||
[[Category:रीमैनियन कई गुना]] | |||
[[Category:वक्रता (गणित)]] |
Latest revision as of 14:22, 1 May 2023
रीमैनियन ज्यामिति में, अनुभागीय वक्रता, रीमैनियन मैनिफोल्ड्स की वक्रता का वर्णन करने के विधियों में से एक है। अनुभागीय वक्रता K(σp) मैनिफोल्ड्स के एक बिंदु p पर स्पर्शरेखा स्थान के द्वि-आयामी रैखिक उप-स्थान σp पर निर्भर करता है। इसे ज्यामितीय रूप से सतह (टोपोलॉजी) के गॉसियन वक्रता के रूप में परिभाषित किया जा सकता है जिसमें p पर एक स्पर्शरेखा विमान के रूप में समतल σp है, जो जियोडेसिक्स से प्राप्त होता है जो σp (दूसरे शब्दों में, σ की छविp घातीय माप (रीमैनियन ज्यामिति) के अनुसार p पर) की दिशाओं में p से प्रारंभ होता है। अनुभागीय वक्रता मैनिफोल्ड्स अधिक ग्रासमानियन फाइबर बंडल पर वास्तविक-मूल्यवान फलन है।
अनुभागीय वक्रता रीमैन वक्रता टेन्सर को पूरी तरह से निर्धारित करती है।
परिभाषा
एक रीमैनियन मैनिफोल्ड और एक ही बिंदु u और v पर दो रैखिक रूप से स्वतंत्र स्पर्शरेखा सदिशों को देखते हुए हम परिभाषित कर सकते हैं
यहाँ R रीमैन वक्रता टेन्सर है, जिसे यहाँ परिपाटी द्वारा परिभाषित किया गया है कुछ स्रोत विपरीत परिपाटी का उपयोग करते हैं, किस स्थिति में K(u,v) को अंश में के अतिरिक्त से परिभाषित किया जाना चाहिए।[1]
ध्यान दें कि u और v की रैखिक स्वतंत्रता उपरोक्त व्यंजक में भाजक को अशून्य होने के लिए बाध्य करती है, जिससे K(u,v) अच्छी तरह से परिभाषित हो। विशेष रूप से, यदि u और v ऑर्थोनॉर्मल हैं, तो परिभाषा सरल रूप लेती है
यह जांचना सीधा है कि यदि रैखिक रूप से स्वतंत्र हैं और स्पर्शरेखा स्थान के समान द्वि-आयामी रैखिक उप-स्थान को के रूप में फैलाते हैं,तब है। तो कोई विभागीय वक्रता को वास्तविक-मूल्यवान फलन के रूप में मान सकता है जिसका इनपुट स्पर्शरेखा स्थान का द्वि-आयामी रैखिक उप-स्थान है।
वैकल्पिक परिभाषाएं
वैकल्पिक रूप से, अनुभागीय वक्रता को छोटे वृत्तों की परिधि द्वारा चित्रित किया जा सकता है। मान लीजिए कि , में एक द्विविम तल है। मान लो पर्याप्त रूप से छोटे के लिए में इकाई वृत के पर घातीय माप के अनुसार छवि को दर्शाता है और की लंबाई को दर्शाता है तभी यह सिद्ध हो सकता है
- कुछ संख्या के लिए के रूप में। पर यह संख्या पर के विभागीय वक्रता है।[2]
निरंतर अनुभागीय वक्रता के साथ मैनिफोल्ड्स
एक का कहना है कि सभी द्वि-आयामी रैखिक उप-स्थान और सभी के लिए एक रिमेंनियन मैनिफोल्ड में "निरंतर वक्रता " है यदि ।
शूर की लेम्मा (रीमैनियन ज्योमेट्री) कहती है कि यदि (M,g) कम से कम तीन आयामों के साथ जुड़ा हुआ रिमेंनियन मैनिफोल्ड है, और यदि कोई फलन है जैसे कि सभी द्वि-आयामी रैखिक उप-स्थानों के लिए और सभी के लिए तब f स्थिर होना चाहिए और इसलिए (M,g) में निरंतर वक्रता होती है।
निरंतर अनुभागीय वक्रता के साथ रिमेंनियन मैनिफोल्ड को स्पेस रूप कहा जाता है। यदि अनुभागीय वक्रता के निरंतर मान को दर्शाता है, तो किसी भी के लिए वक्रता टेन्सर को
के रूप में लिखा जा सकता है।
Proof |
संक्षेप में: एक ध्रुवीकरण तर्क के लिए एक सूत्र देता है, दूसरा (समतुल्य) ध्रुवीकरण तर्क के लिए एक सूत्र देता है और पहली बिअंची पहचान के साथ एक संयोजन के लिए दिए गए सूत्र को पुनः प्राप्त करता है।
अनुभागीय वक्रता की परिभाषा से, हम जानते हैं कि जब भी रैखिक रूप से स्वतंत्र होते हैं, और यह आसानी से इस मामले तक फैलता है कि रैखिक रूप से निर्भर होते हैं क्योंकि दोनों पक्ष तब शून्य होते हैं। अब, स्वैच्छिक रूप से u,v,w, दिया गया है, दो तरीकों से की गणना करें। सबसे पहले, उपरोक्त सूत्र के अनुसार, यह बराबर है दूसरे, बहुरैखिकता द्वारा, यह के बराबर है, जो रीमेनियन समरूपता को याद करते हुए को सरल बनाया जा सकता है। इन दो संगणनाओं को एक दूसरे के बराबर सेट करना और शर्तों को रद्द करना, पाता है। चूंकि w स्वैच्छिक है, इससे यह पता चलता है किसी भी u,v के लिए। अब u,v,w मनमाना हो और दो तरह से की गणना करें।सबसे पहले, इस नए सूत्र द्वारा, यह के बराबर है। दूसरे, बहुरैखिकता द्वारा, यह के बराबर है जो नए सूत्र द्वारा के बराबर है। इन दो संगणनाओं को एक दूसरे के बराबर सेट करना दिखाता है और , की अदला-बदली करें, फिर प्राप्त करने के लिए इसे बिंची पहचान
|
चूँकि कोई भी रिमेंनियन मेट्रिक अपने लेवी-सिविता कनेक्शन के संबंध में समानांतर है, यह दर्शाता है कि किसी भी स्थिर-वक्रता स्थान का रीमैन टेंसर भी समानांतर है। तब रिक्की टेन्सर द्वारा दिया जाता है और अदिश वक्रता है। विशेष रूप से, कोई भी स्थिर-वक्रता स्थान आइंस्टीन है और निरंतर अदिश वक्रता रखता है।
मॉडल उदाहरण
धनात्मक संख्या दी गई है, परिभाषित करना
- मानक रीमैनियन संरचना होना
- गोला होना साथ पर मानक रीमैनियन संरचना के पुलबैक द्वारा दिया गया समावेशन माप द्वारा
- गेंद होना साथ
सामान्य शब्दावली में, इन रिमेंनियन मैनिफोल्ड को यूक्लिडियन स्पेस , एन-क्षेत्र और अतिशयोक्तिपूर्ण स्थान के रूप में संदर्भित किया जाता है। यहाँ, बिंदु यह है कि प्रत्येक निरंतर वक्रता के साथ पूर्ण रूप से जुड़ा हुआ चिकनी रीमैनियन मैनिफोल्ड है। त्रुटिहीन होने के लिए, रिमेंनियन मीट्रिक निरंतर वक्रता 0 है, रिमेंनियन मीट्रिक निरंतर वक्रता है, और रिमेंनियन मीट्रिक निरंतर वक्रता है।
इसके अतिरिक्त, ये इस अर्थ में 'सार्वभौमिक' उदाहरण हैं कि यदि निरंतर वक्रता के साथ चिकनी, जुड़ा हुआ और आसानी से जुड़ा हुआ पूर्ण रीमानियन मैनिफोल्ड्स है, तो यह उपरोक्त उदाहरणों में से के लिए आइसोमेट्रिक है; उपरोक्त उदाहरणों के निरंतर वक्रता के अनुसार, विशेष उदाहरण के निरंतर वक्रता के मान से निर्धारित होता है।
रिमेंनियन मैनिफोल्ड { स्थानीय रूप से के लिए आइसोमेट्रिक है, और इसलिए यह एक समान निरंतर वक्रता के साथ एक चिकनी, जुड़ा हुआ और आसानी से जुड़ा हुआ पूर्ण रीमैनियन मैनिफोल्ड है। यह तब से टोपोलॉजिकल सिद्धांतों द्वारा, कवरिंग मैप, रीमैनियन मैनिफोल्ड है स्थानीय रूप से आइसोमेट्रिक है , और इसलिए यह समान निरंतर वक्रता के साथ चिकनी, जुड़ा हुआ, और आसानी से जुड़ा हुआ पूर्ण रीमैनियन मैनिफोल्ड है। यह तब उपरोक्त मॉडल उदाहरणों में से आइसोमेट्रिक होना चाहिए। ध्यान दें कि सार्वभौमिक आवरण के डेक रूपांतरण मीट्रिक के सापेक्ष आइसोमेट्री है।
अतिशयोक्तिपूर्ण ज्यामिति कहे जाने वाले निरंतर ऋणात्मक वक्रता के साथ रीमैनियन मैनिफोल्ड्स का अध्ययन विशेष रूप से उल्लेखनीय है क्योंकि यह कई उल्लेखनीय घटनाओं को प्रदर्शित करता है।
स्केलिंग
मान ले चिकनी मैनिफोल्ड्स हो, और मान लो धनात्मक संख्या हो। रीमैनियन मैनिफोल्ड पर विचार करें। वक्रता टेन्सर, बहुरेखीय माप के रूप में इस संशोधन से अपरिवर्तित है। मान ले में रैखिक रूप से स्वतंत्र वैक्टर बनें। तब
तो मीट्रिक का गुणा द्वारा द्वारा सभी अनुभागीय वक्रताओं को गुणा करता है
टोपोनोगोव का प्रमेय
टोपोनोगोव की प्रमेय उनके यूक्लिडियन समकक्षों की तुलना में मोटे जियोडेसिक त्रिकोण कैसे दिखाई देते हैं, इसके संदर्भ में अनुभागीय वक्रता का लक्षण वर्णन करता है। मूल अंतर्ज्ञान यह है कि, यदि कोई स्थान धनात्मक रूप से वक्र है, तो किसी दिए गए शीर्ष के विपरीत त्रिभुज का किनारा उस शीर्ष से दूर झुक जाएगा, जबकि यदि कोई स्थान ऋणात्मक रूप से वक्र है, तो त्रिभुज का विपरीत किनारा शीर्ष की ओर झुक जाएगा।
अधिक त्रुटिहीन रूप से, M को पूर्ण स्थान रीमैनियन मैनिफोल्ड होने दें, और xyz को M में जियोडेसिक त्रिकोण (त्रिभुज जिसका प्रत्येक पक्ष लंबाई-न्यूनतम जियोडेसिक है) होने दें। अंत में, m को जियोडेसिक xy का मध्य बिंदु होने दें। यदि M में गैर-ऋणात्मक वक्रता है, तो सभी छोटे त्रिभुजों के लिए पर्याप्त है
जहाँ d, M पर दूरी का फलन है। समानता का स्थिति ठीक तब होता है जब M की वक्रता लुप्त हो जाती है, और दाहिने हाथ की ओर यूक्लिडियन स्पेस में शीर्ष से विपरीत दिशा में ही पक्ष वाले जियोडेसिक त्रिकोण की दूरी का प्रतिनिधित्व करता है- त्रिकोण xyz के रूप में लंबाई। यह त्रुटिहीन अर्थ बनाता है जिसमें त्रिकोण धनात्मक रूप से वक्र स्थानों में मोटे होते हैं। गैर-धनात्मक वक्र स्थानों में, असमानता दूसरे विधि से जाती है:
यदि अनुभागीय वक्रता पर सख्त सीमाएँ ज्ञात हैं, तो यह संपत्ति एम में जियोडेसिक त्रिकोणों के बीच तुलना प्रमेय देने के लिए सामान्यीकृत होती है और जो उपयुक्त रूप से जुड़े स्पेस रूप में होती हैं; टोपोनोगोव प्रमेय देखें। यहां बताए गए संस्करण के सरल परिणाम हैं:
- पूर्ण रीमैनियन मैनिफोल्ड में गैर-ऋणात्मक अनुभागीय वक्रता होती है यदि और केवल यदि फलन करता है 1-रिमैनियन की शब्दावली और सभी बिंदुओं के लिए मीट्रिक ज्यामिति है।
- पूरी तरह से जुड़ा हुआ रिमेंनियन मैनिफोल्ड में गैर-धनात्मक अनुभागीय वक्रता है यदि और केवल यदि फलन करता है 1-रीमैनियन और मीट्रिक ज्यामिति की शब्दावली है।
गैर-धनात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स
1928 में, एली कार्टन ने कार्टन-हैडमार्ड प्रमेय को सिद्ध किया: यदि एम गैर-धनात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स पूर्ण स्थान है, तो इसका सार्वभौमिक आवरण यूक्लिडियन स्पेस के लिए अलग-अलग है। विशेष रूप से, यह एस्फेरिकल स्पेस है: होमोटोपी समूह i ≥ 2 के लिए तुच्छ हैं। इसलिए, पूर्ण गैर-धनात्मक वक्र मैनिफोल्ड की सांस्थितिक संरचना इसके मौलिक समूह द्वारा निर्धारित की जाती है। प्रीसमैन की प्रमेय ऋणात्मक वक्र कॉम्पैक्ट मैनिफोल्ड के मौलिक समूह को प्रतिबंधित करती है। कार्टन-हैडमार्ड अनुमान कहता है कि पारंपरिक आइसोपेरिमेट्रिक असमानता गैर-धनात्मक वक्रता के सभी सरल रूप से जुड़े हुए स्थानों में होनी चाहिए, जिन्हें कार्टन-हैडमार्ड मैनिफोल्ड्स कहा जाता है।
धनात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स
धनात्मक रूप से वक्र मैनिफोल्ड की संरचना के बारे में बहुत कम जानकारी है। सोल प्रमेय (चीजर & ग्रोमोल 1972 ; ग्रोमोल & मेयर 1969 ) का तात्पर्य है कि पूर्ण गैर-कॉम्पैक्ट गैर-ऋणात्मक रूप से वक्र मैनिफोल्ड कॉम्पैक्ट गैर-ऋणात्मक रूप से वक्र मैनिफोल्ड पर सामान्य बंडल के लिए भिन्न है। कॉम्पैक्ट पॉजिटिव कर्व्ड मैनिफोल्ड्स के लिए, दो शास्त्रीय परिणाम हैं:
- यह मायर्स प्रमेय से निकलता है कि इस तरह के मैनिफोल्ड्स का मूल समूह परिमित है।
- यह सिंज प्रमेय से अनुसरण करता है कि इस तरह के मैनिफोल्ड्स भी आयामों में मूलभूत समूह 0 है, यदि उन्मुख और अन्यथा। विषम आयामों में धनात्मक रूप से वक्र मैनिफोल्ड सदैव उन्मुख होता है।
इसके अतिरिक्त, कॉम्पैक्ट पॉजिटिवली कर्व्ड मैनिफोल्ड्स के अपेक्षाकृत कुछ उदाहरण हैं, बहुत सारे अनुमानों को छोड़कर (उदाहरण के लिए, हॉपफ अनुमान है कि क्या पर धनात्मक अनुभागीय वक्रता का मीट्रिक है) नए उदाहरणों के निर्माण का सबसे विशिष्ट तरीका ओ'नील वक्रता सूत्रों से निम्नलिखित परिणाम है: यदि ली ग्रुप जी की मुक्त आइसोमेट्रिक क्रिया को स्वीकार करने वाला रिमेंनियन मैनिफोल्ड है, और M में सभी 2-प्लेन ऑर्थोगोनल पर G की कक्षाओं के लिए धनात्मक अनुभागीय वक्रता है, फिर मैनिफोल्ड्स भागफल मीट्रिक के साथ धनात्मक अनुभागीय वक्रता है। यह तथ्य किसी को शास्त्रीय धनात्मक रूप से वक्र स्पेस बनाने की अनुमति देता है, गोलाकार और प्रोजेक्टिव स्पेस, साथ ही साथ ये उदाहरण भी (ज़िलर 2007) :
- बर्गर स्पेस और .
- वैलाच स्पेस (या सजातीय ध्वज मैनिफोल्ड्स): , और .
- अलोफ-वैलाच स्पेस .
- एसचेनबर्ग स्पेस
- बाज़ैकिन स्पेस , कहाँ .
गैर-ऋणात्मक अनुभागीय वक्रता के साथ मैनिफोल्ड्स
चीजर और ग्रोमोल ने अपनी सोल प्रमेय को सिद्ध किया जिसमें कहा गया है कि कोई भी गैर-ऋणात्मक वक्र पूर्ण गैर-कॉम्पैक्ट मैनिफोल्ड पूरी तरह से उत्तल कॉम्पैक्ट सबमनीफोल्ड है जैसे कि के सामान्य बंडल के लिए अलग-अलग है। इस तरह के की सोल कहलाती है। विशेष रूप से, इस प्रमेय का तात्पर्य है इसकी सोल के लिए होमोटोपिक है जिसका आकार से कम होता है।.
यह भी देखें
- रीमैन वक्रता टेन्सर
- रीमानियन मैनिफोल्ड्स की वक्रता
- वक्रता
- होलोमॉर्फिक अनुभागीय वक्रता
संदर्भ
- ↑ Gallot, Hulin & Lafontaine 2004, Section 3.A.2.
- ↑ Gallot, Hulin & Lafontaine 2004, Section 3.D.4.
- Cheeger, Jeff; Ebin, David G. (2008). Comparison theorems in Riemannian geometry (Revised reprint of the 1975 original ed.). Providence, RI: AMS Chelsea Publishing. doi:10.1090/chel/365. ISBN 978-0-8218-4417-5. MR 2394158. Zbl 1142.53003.
- Cheeger, Jeff; Gromoll, Detlef (1972), "On the structure of complete manifolds of nonnegative curvature", Annals of Mathematics, Second Series, Annals of Mathematics, 96 (3): 413–443, doi:10.2307/1970819, JSTOR 1970819, MR 0309010.
- Gallot, Sylvestre; Hulin, Dominique; Lafontaine, Jacques (2004). Riemannian geometry. Universitext (Third ed.). Springer-Verlag. doi:10.1007/978-3-642-18855-8. ISBN 3-540-20493-8. MR 2088027. Zbl 1068.53001.
- Gromoll, Detlef; Meyer, Wolfgang (1969), "On complete open manifolds of positive curvature", Annals of Mathematics, Second Series, Annals of Mathematics, 90 (1): 75–90, doi:10.2307/1970682, JSTOR 1970682, MR 0247590, S2CID 122543838.
- Milnor, J. (1963). Morse theory. Annals of Mathematics Studies. Vol. 51. Princeton, NJ: Princeton University Press. MR 0163331. Zbl 0108.10401.
- O'Neill, Barrett (1983). Semi-Riemannian geometry. With applications to relativity. Pure and Applied Mathematics. Vol. 103. New York: Academic Press, Inc. doi:10.1016/s0079-8169(08)x6002-7. ISBN 0-12-526740-1. MR 0719023. Zbl 0531.53051.
- Petersen, Peter (2016). Riemannian geometry. Graduate Texts in Mathematics. Vol. 171 (Third edition of 1998 original ed.). Springer, Cham. doi:10.1007/978-3-319-26654-1. ISBN 978-3-319-26652-7. MR 3469435. Zbl 1417.53001.
- Ziller, Wolfgang (2007). "Examples of manifolds with non-negative sectional curvature". In Cheeger, Jeffrey; Grove, Karsten (eds.). Metric and comparison geometry. Surveys in Differential Geometry. Vol. XI. Sommerville, MA: International Press. pp. 63–102. doi:10.4310/SDG.2006.v11.n1.a4. ISBN 978-1-57146-117-9. MR 2408264. Zbl 1153.53033.