समतल मैनिफोल्ड: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, [[रीमैनियन मैनिफोल्ड]] को | गणित में, [[रीमैनियन मैनिफोल्ड]] को समतल कहा जाता है यदि इसका [[रीमैन वक्रता टेंसर]] प्रत्येक स्पेसशून्य है। सहज रूप से, समतल मैनिफ़ोल्ड वह है जो स्पेसीय रूप से दूरियों और कोणों के संदर्भ में यूक्लिडियन अंतरिक्ष जैसा दिखता है, उदाहरण के लिए त्रिभुज के आंतरिक कोणों का योग 180° होता है। | ||
संपूर्ण अंतरिक्ष फ्लैट मैनिफोल्ड का [[सार्वभौमिक आवरण]] यूक्लिडियन अंतरिक्ष है। इसका उपयोग प्रमेय को सिद्ध करने के लिए किया जा सकता है | संपूर्ण अंतरिक्ष फ्लैट मैनिफोल्ड का [[सार्वभौमिक आवरण]] यूक्लिडियन अंतरिक्ष है। इसका उपयोग प्रमेय को सिद्ध करने के लिए किया जा सकता है | ||
{{harvs|txt|last=बीबरबैक|year1=1911|year2=1912}} कि सभी [[ सघन स्थान | सघन स्पेस]] फ्लैट मैनिफोल्ड्स को टोरी द्वारा सीमित रूप से कवर किया गया है; त्रि-आयामी स्थिति पहले सिद्ध किया गया था {{harvtxt|स्कोनफ्लाइज़|1891}}. | |||
==उदाहरण== | ==उदाहरण== | ||
निम्नलिखित मैनिफोल्ड्स को फ्लैट मीट्रिक के साथ संपन्न किया जा सकता है। ध्यान दें कि यह उनका 'मानक' मीट्रिक नहीं हो सकता है (उदाहरण के लिए, 2-आयामी टोरस पर फ्लैट मीट्रिक इसके सामान्य एम्बेडिंग से प्रेरित मीट्रिक | निम्नलिखित मैनिफोल्ड्स को फ्लैट मीट्रिक के साथ संपन्न किया जा सकता है। ध्यान दें कि यह उनका 'मानक' मीट्रिक नहीं हो सकता है (उदाहरण के लिए, 2-आयामी टोरस पर फ्लैट मीट्रिक इसके सामान्य एम्बेडिंग से प्रेरित मीट्रिक <math>\mathbb{R}^3</math> नहीं है). | ||
===आयाम 1=== | ===आयाम 1=== | ||
प्रत्येक एक-आयामी रीमैनियन मैनिफोल्ड | प्रत्येक एक-आयामी रीमैनियन मैनिफोल्ड समतल है। इसके विपरीत, यह देखते हुए कि प्रत्येक जुड़ा हुआ एक-आयामी स्मूथ मैनिफोल्ड किसी <math>\mathbb{R}</math> या <math>S^1,</math> से भिन्न होता है यह देखना सीधा है कि प्रत्येक जुड़ा हुआ एक-आयामी रीमानियन मैनिफोल्ड निम्नलिखित में से किसी के लिए सममितीय है (प्रत्येक अपनी मानक रीमानियन संरचना के साथ): | ||
* | *वास्तविक पंक्ति | ||
* | * विवृत अंतराल <math>(0,x)</math> कुछ संख्या के लिए <math>x>0</math> | ||
* | * विवृत अंतराल <math>(0,\infty)</math> | ||
* वृत्त <math>\{(x,y)\in \mathbb{R}^2:x^2+y^2=r^2\}</math> त्रिज्या का <math>r,</math> कुछ संख्या | * वृत्त <math>\{(x,y)\in \mathbb{R}^2:x^2+y^2=r^2\}</math> त्रिज्या का <math>r,</math> कुछ संख्या <math>r>0.</math> के लिए | ||
केवल प्रथम और अंतिम ही पूर्ण हैं। यदि किसी में रीमैनियन मैनिफोल्ड्स-विथ-बाउंड्री | केवल प्रथम और अंतिम ही पूर्ण हैं। यदि किसी में रीमैनियन मैनिफोल्ड्स-विथ-बाउंड्री सम्मिलित है, तो अर्ध-विवृत और बंद अंतरालों को भी सम्मिलित किया जाना चाहिए। | ||
इस | इस स्थित में पूर्ण विवरण की सरलता इस तथ्य पर आधारित हो सकती है कि प्रत्येक एक-आयामी रीमैनियन मैनिफोल्ड में चिकनी इकाई-लंबाई सदिश क्षेत्र होता है, और उपरोक्त मॉडल उदाहरणों में से से आइसोमेट्री अभिन्न वक्र पर विचार करके प्रदान की जाती है। | ||
===आयाम 2=== | ===आयाम 2=== | ||
==== पाँच संभावनाएँ, भिन्नरूपता तक ==== | ==== पाँच संभावनाएँ, भिन्नरूपता तक ==== | ||
यदि <math>(M,g)</math> सहज द्वि-आयामी जुड़ा हुआ पूर्ण फ्लैट रीमानियन मैनिफोल्ड है <math>M</math> से भिन्न होना चाहिए इस प्रकार <math>\mathbb{R}^2,</math> <math>S^1\times\mathbb{R},</math> <math>S^1\times S^1,</math> मोबियस पट्टी, या [[क्लेन बोतल]] ध्यान दें कि केवल कॉम्पैक्ट संभावनाएँ हैं <math>S^1\times S^1</math> और क्लेन बोतल, जबकि एकमात्र उन्मुख <math>\mathbb{R}^2,</math> <math>S^1\times \mathbb{R},</math> और <math>S^1\times S^1.</math> संभावनाएँ हैं | |||
इन | |||
इन स्पेसों पर विशिष्ट पूर्ण फ्लैट रीमानियन मेट्रिक्स का वर्णन करने के लिए अधिक प्रयास करना पड़ता है। उदाहरण के लिए, के दो कारक <math>S^1\times S^1</math> उनकी त्रिज्याएँ कोई भी दो वास्तविक संख्याएँ हो सकती हैं। ये मेट्रिक्स उनकी दो त्रिज्याओं के अनुपात से दूसरे से भिन्न होते हैं, इसलिए इस स्पेसमें असीमित रूप से कई अलग-अलग फ्लैट उत्पाद मेट्रिक्स होते हैं जो स्केल फैक्टर तक आइसोमेट्रिक नहीं होते हैं। पांच संभावनाओं के बारे में समान रूप से बात करने के लिए, और विशेष रूप से मोबियस स्ट्रिप और क्लेन बोतल के साथ अमूर्त मैनिफोल्ड के रूप में ठोस रूप से काम करने के लिए, समूह क्रियाओं की भाषा का उपयोग करना उपयोगी है। | |||
==== पांच संभावनाएं, आइसोमेट्री तक ==== | ==== पांच संभावनाएं, आइसोमेट्री तक ==== | ||
दिया गया <math>(x_0,y_0)\in\mathbb{R}^2,</math> | दिया गया <math>(x_0,y_0)\in\mathbb{R}^2,</math> माना <math>T_{(x_0,y_0)}</math> अनुवाद को निरूपित करें <math>\mathbb{R}^2\to\mathbb{R}^2</math> द्वारा दिए गए <math>(x,y)\mapsto(x+x_0,y+y_0).</math> माना <math>R</math> प्रतिबिंब को निरूपित करें <math>\mathbb{R}^2\to\mathbb{R}^2</math> द्वारा दिए गए <math>(x,y)\mapsto(x,-y).</math> दो सकारात्मक संख्याएँ दी गई हैं <math>a,b,</math> के निम्नलिखित उपसमूहों पर विचार करें <math>\operatorname{Isom}(\mathbb{R}^2),</math> के आइसोमेट्री का समूह <math>\mathbb{R}^2</math> अपने मानक मीट्रिक के साथ होता है। | ||
* <math>G_{e}=\{T_{(0,0)}\}</math> | * <math>G_{e}=\{T_{(0,0)}\}</math> | ||
* <math>G_{\text{cyl}}(a)=\{T_{(an,0)}:n\in\mathbb{Z}\}</math> | * <math>G_{\text{cyl}}(a)=\{T_{(an,0)}:n\in\mathbb{Z}\}</math> | ||
Line 30: | Line 31: | ||
* <math>G_{\text{Moeb}}(a)=\{T_{(2na,0)}:n\in\mathbb{Z}\}\cup\{T_{((2n+1)a,0)}\circ R:n\in\mathbb{Z}\}</math> | * <math>G_{\text{Moeb}}(a)=\{T_{(2na,0)}:n\in\mathbb{Z}\}\cup\{T_{((2n+1)a,0)}\circ R:n\in\mathbb{Z}\}</math> | ||
* <math>G_{\text{KB}}(b)=\{T_{(2na,bm)}:n,m\in\mathbb{Z}\}\cup\{T_{((2n+1)a,bm)}\circ R:n,m\in\mathbb{Z}\}</math> | * <math>G_{\text{KB}}(b)=\{T_{(2na,bm)}:n,m\in\mathbb{Z}\}\cup\{T_{((2n+1)a,bm)}\circ R:n,m\in\mathbb{Z}\}</math> | ||
ये सभी समूह स्वतंत्र रूप से और उचित रूप से असंतत रूप से कार्य कर रहे हैं | ये सभी <math>\mathbb{R}^2,</math> समूह स्वतंत्र रूप से और उचित रूप से असंतत रूप से कार्य कर रहे हैं और इसलिए विभिन्न कोसेट स्पेस <math>\mathbb{R}^2/G</math> सभी में स्वाभाविक रूप से द्वि-आयामी पूर्ण फ्लैट रीमैनियन मैनिफोल्ड्स की संरचना होती है। उनमें से कोई भी दूसरे के लिए आइसोमेट्रिक नहीं है, और रीमैनियन मैनिफोल्ड से जुड़ा कोई भी दो-आयामी पूर्ण फ्लैट उनमें से के लिए आइसोमेट्रिक है। | ||
====[[ कक्षीय ]] | ====[[ कक्षीय ]]==== | ||
ऑर्बिफोल्ड्स पर लेख में सूचीबद्ध फ्लैट मीट्रिक (टोरस और क्लेन बोतल सहित) के साथ 17 कॉम्पैक्ट 2-आयामी ऑर्बिफोल्ड हैं, जो 17 [[वॉलपेपर समूह]] | ऑर्बिफोल्ड्स पर लेख में सूचीबद्ध फ्लैट मीट्रिक (टोरस और क्लेन बोतल सहित) के साथ 17 कॉम्पैक्ट 2-आयामी ऑर्बिफोल्ड हैं, जो 17 [[वॉलपेपर समूह]] के अनुरूप हैं। | ||
==== टिप्पणियाँ ==== | ==== टिप्पणियाँ ==== | ||
ध्यान दें कि [[डोनट]] के रूप में टोरस का मानक 'चित्र' इसे | ध्यान दें कि [[डोनट]] के रूप में टोरस का मानक 'चित्र' इसे समतल मीट्रिक के साथ प्रस्तुत नहीं करता है, क्योंकि केंद्र से सबसे दूर के बिंदुओं में सकारात्मक वक्रता होती है जबकि केंद्र के निकटतम बिंदुओं में नकारात्मक वक्रता होती है। कुइपर के [[नैश एम्बेडिंग प्रमेय]] के सूत्रीकरण के अनुसार <math>C^1</math> है एम्बेडिंग <math>S^1\times S^1\to\mathbb{R}^3</math> जो उपस्थित किसी भी फ्लैट उत्पाद मेट्रिक्स <math>S^1\times S^1,</math> को प्रेरित करता है किन्तु इन्हें सरलता से देखा नहीं जा सकता है। तब से <math>S^1</math> के एम्बेडेड सबमैनिफोल्ड <math>\mathbb{R}^2,</math> के रूप में प्रस्तुत किया गया है किसी भी (फ्लैट) उत्पाद संरचना पर <math>S^1\times S^1</math> स्वाभाविक रूप से उपमानों के रूप में प्रस्तुत किए जाते हैं <math>\mathbb{R}^2\times\mathbb{R}^2=\mathbb{R}^4.</math> इसी तरह, क्लेन बोतल के मानक त्रि-आयामी विज़ुअलाइज़ेशन फ्लैट मीट्रिक प्रस्तुत नहीं करते हैं। मोबियस पट्टी का मानक निर्माण, कागज की पट्टी के सिरों को साथ जोड़कर, वास्तव में इसे समतल मीट्रिक देता है, किन्तु यह पूर्ण नहीं है। | ||
===आयाम 3=== | ===आयाम 3=== | ||
6 ओरिएंटेबल और 4 नॉन-ओरिएंटेबल कॉम्पैक्ट फ्लैट 3-मैनिफोल्ड हैं, जो सभी [[सीफर्ट फाइबर स्पेस]] हैं;<ref>[[G. Peter Scott|Peter Scott]], [http://www.math.lsa.umich.edu/~pscott/8geoms.pdf ''The geometries of 3-manifolds.''] ([http://www.math.lsa.umich.edu/~pscott/errata8geoms.pdf errata]), [[London Mathematical Society|Bull. London Math. Soc.]] 15 (1983), no. 5, 401–487.</ref> वे [[भागफल समूह]] | 6 ओरिएंटेबल और 4 नॉन-ओरिएंटेबल कॉम्पैक्ट फ्लैट 3-मैनिफोल्ड हैं, जो सभी [[सीफर्ट फाइबर स्पेस]] हैं;<ref>[[G. Peter Scott|Peter Scott]], [http://www.math.lsa.umich.edu/~pscott/8geoms.pdf ''The geometries of 3-manifolds.''] ([http://www.math.lsa.umich.edu/~pscott/errata8geoms.pdf errata]), [[London Mathematical Society|Bull. London Math. Soc.]] 15 (1983), no. 5, 401–487.</ref> वे [[भागफल समूह]] <math>\mathbb{R}^3</math> हैं 10 टोशन-मुक्त समूह द्वारा टोशन-मुक्त [[क्रिस्टलोग्राफिक समूह]] <ref>{{cite journal |last1=Miatello |first1=R. J. |last2=Rossetti |first2=J. P. |title=आइसोस्पेक्ट्रल हंट्ज़स्चे-वेंड्ट मैनिफोल्ड्स|journal=Journal für die Reine und Angewandte Mathematik |date=29 October 1999 |volume=1999 |issue=515 |pages=1–23 |doi=10.1515/crll.1999.077 |url=https://www.degruyter.com/document/doi/10.1515/crll.1999.077/html |language=en |issn=1435-5345}}</ref> इसमें 4 ओरिएंटेबल और 4 नॉन-ओरिएंटेबल नॉन-कॉम्पैक्ट स्पेस भी हैं।<ref name="flatori3">{{cite book |title=The early universe and the cosmic microwave background : theory and observations |date=2003 |publisher=Kluwer Academic Publishers |location=Dordrecht |isbn=978-1-4020-1800-8 |pages=166–169}}</ref> | ||
====समायोज्य==== | ====समायोज्य==== | ||
10 ओरिएंटेबल फ्लैट 3-मैनिफोल्ड्स | 10 ओरिएंटेबल फ्लैट 3-मैनिफोल्ड्स <math>\mathbb{R}^3</math> हैं:<ref name="flatori3"/>, . | ||
# [[3-टोरस]] <math>T^3</math>, घन के विपरीत फलकों को चिपकाकर बनाया गया है। | # [[3-टोरस]] <math>T^3</math>, घन के विपरीत फलकों को चिपकाकर बनाया गया है। | ||
# एक जोड़ी पर 1/2 मोड़ के साथ घन के विपरीत | # एक जोड़ी पर 1/2 मोड़ के साथ घन के विपरीत फेस को चिपकाकर बनाया गया मैनिफोल्ड। | ||
# एक जोड़ी पर 1/4 मोड़ के साथ घन के विपरीत | # एक जोड़ी पर 1/4 मोड़ के साथ घन के विपरीत फेस को चिपकाकर बनाया गया मैनिफोल्ड। | ||
# [[ षट्कोणीय प्रिज्म ]] के विपरीत | # [[ षट्कोणीय प्रिज्म ]] के विपरीत फेस को हेक्सागोनल फेस पर 1/3 मोड़ के साथ चिपकाकर बनाया गया मैनिफोल्ड। | ||
# हेक्सागोनल प्रिज्म के विपरीत | # हेक्सागोनल प्रिज्म के विपरीत फेस को हेक्सागोनल फेस पर 1/6 मोड़ के साथ चिपकाकर बनाया गया मैनिफोल्ड। | ||
# हंट्ज़स्चे-वेंड्ट मैनिफोल्ड। | # हंट्ज़स्चे-वेंड्ट मैनिफोल्ड। | ||
# | # मैनिफोल्ड <math>S^1 \times \mathbb{R}^2</math> इसे साथ चिपके हुए दो समानांतर विमानों के बीच की स्पेस के रूप में बनाया गया है। | ||
# | # मैनिफोल्ड <math>T^2 \times \mathbb{R}</math> अनंत वर्गाकार [[चिमनी]] की विपरीत दीवारों को चिपकाकर बनाया गया। | ||
# एक जोड़ी पर 1/2 मोड़ के साथ अनंत वर्गाकार चिमनी की विपरीत दीवारों को चिपकाकर बनाई गई मैनिफोल्ड। | # एक जोड़ी पर 1/2 मोड़ के साथ अनंत वर्गाकार चिमनी की विपरीत दीवारों को चिपकाकर बनाई गई मैनिफोल्ड। | ||
====गैर-उन्मुख==== | ====गैर-उन्मुख==== | ||
8 गैर-संचालनीय 3-मैनिफोल्ड्स हैं:<ref name="conway">{{cite arXiv|eprint=math/0311476|last1=Conway|first1=J. H.|last2=Rossetti|first2=J.P.|title=प्लैटिकोसम्स का वर्णन|date=24 October 2005}}</ref> | 8 गैर-संचालनीय 3-मैनिफोल्ड्स हैं:<ref name="conway">{{cite arXiv|eprint=math/0311476|last1=Conway|first1=J. H.|last2=Rossetti|first2=J.P.|title=प्लैटिकोसम्स का वर्णन|date=24 October 2005}}</ref> | ||
# एक वृत्त और क्लेन बोतल | # एक वृत्त और क्लेन बोतल <math>S^1 \times K</math> का कार्टेशियन उत्पाद, . | ||
# उपरोक्त के समान मैनिफोल्ड, | # उपरोक्त के समान मैनिफोल्ड, किन्तु [[ सरकना विमान ]] के समानांतर दिशा में ट्रांसलेशनल रूप से ऑफसेट; इस दिशा में आगे बढ़ते हुए मैनिफोल्ड के विपरीत दिशा में लौट आता है। | ||
# दो लंबवत ग्लाइड विमानों में बिंदु को प्रतिबिंबित करने और तीसरी दिशा में अनुवाद करने से बना मैनिफोल्ड। | # दो लंबवत ग्लाइड विमानों में बिंदु को प्रतिबिंबित करने और तीसरी दिशा में अनुवाद करने से बना मैनिफोल्ड। | ||
# उपरोक्त के समान मैनिफोल्ड, | # उपरोक्त के समान मैनिफोल्ड, किन्तु ग्लाइड विमान के समानांतर दिशा में ट्रांसलेशनल रूप से ऑफसेट; इस दिशा में आगे बढ़ते हुए मैनिफोल्ड के विपरीत दिशा में लौट आता है। | ||
# एक वृत्त और (अनबाउंड) मोबियस पट्टी का कार्टेशियन उत्पाद। | # एक वृत्त और (अनबाउंड) मोबियस पट्टी का कार्टेशियन उत्पाद। | ||
# | # मैनिफोल्ड <math>K \times \mathbb{R}</math> बिंदु को अक्ष के अनुदिश अनुवादित करके और इसे लंबवत ग्लाइड विमान में प्रतिबिंबित करके बनाया गया है। | ||
# एक अक्ष के अनुदिश बिंदु का अनुवाद करके और इसे समानांतर ग्लाइड विमान में प्रतिबिंबित करके बनाया गया मैनिफोल्ड। | # एक अक्ष के अनुदिश बिंदु का अनुवाद करके और इसे समानांतर ग्लाइड विमान में प्रतिबिंबित करके बनाया गया मैनिफोल्ड। | ||
# दो लंबवत ग्लाइड विमानों पर बिंदु को प्रतिबिंबित करके बनाया गया मैनिफोल्ड। | # दो लंबवत ग्लाइड विमानों पर बिंदु को प्रतिबिंबित करके बनाया गया मैनिफोल्ड। | ||
===उच्च आयाम=== | ===उच्च आयाम=== | ||
*यूक्लिडियन | *यूक्लिडियन स्पेस | ||
*टोरी | *टोरी | ||
*फ्लैट मैनिफोल्ड के उत्पाद | *फ्लैट मैनिफोल्ड के उत्पाद | ||
*स्वतंत्र रूप से कार्य करने वाले समूहों द्वारा फ्लैट मैनिफ़ोल्ड के भागफल। | *स्वतंत्र रूप से कार्य करने वाले समूहों द्वारा फ्लैट मैनिफ़ोल्ड के भागफल। | ||
== | ==अनुकूलता से संबंध == | ||
[[अनुभागीय वक्रता]] | [[अनुभागीय वक्रता]] गैर-सकारात्मक अनुभागीय वक्रता वाले सभी बंद मैनिफोल्ड्स के बीच, फ्लैट मैनिफोल्ड्स को ठीक से उत्तरदायी समूह [[मौलिक समूह]] के साथ चित्रित किया जाता है। | ||
यह एडम्स-[[हंस वर्नर बॉलमैन]] प्रमेय (1998) का परिणाम है,<ref>{{Cite journal | title = हैडामर्ड रिक्त स्थान के एमेनेबल आइसोमेट्री समूह| journal = Math. Ann. | volume = 312| issue = 1| pages = 183–195| year = 1998| last1 = Adams | first1 = S. | last2 = Ballmann | first2 = W.| doi = 10.1007/s002080050218 | s2cid = 15874907 }}</ref> जो इस लक्षण वर्णन को समूह क्रिया (गणित) की अधिक सामान्य सेटिंग में स्थापित करता है | यह एडम्स-[[हंस वर्नर बॉलमैन]] प्रमेय (1998) का परिणाम है,<ref>{{Cite journal | title = हैडामर्ड रिक्त स्थान के एमेनेबल आइसोमेट्री समूह| journal = Math. Ann. | volume = 312| issue = 1| pages = 183–195| year = 1998| last1 = Adams | first1 = S. | last2 = Ballmann | first2 = W.| doi = 10.1007/s002080050218 | s2cid = 15874907 }}</ref> जो इस लक्षण वर्णन को समूह क्रिया (गणित) की अधिक सामान्य सेटिंग में स्थापित करता है हडामर्ड रिक्त स्पेसके सममिति के क्रिया समूहों के प्रकार यह अंतरिक्ष समूह बीबरबैक के प्रमेय का दूरगामी सामान्यीकरण प्रदान करता है। | ||
एडम्स-बॉलमैन प्रमेय में विसंगति की धारणा आवश्यक है: अन्यथा, वर्गीकरण में [[सममित स्थान]], | एडम्स-बॉलमैन प्रमेय में विसंगति की धारणा आवश्यक है: अन्यथा, वर्गीकरण में [[सममित स्थान|सममित स्पेस]], ब्रुहट-टिट्स भवन और बास-सेरे सिद्धांत या कैप्रैस के अविवेकी बीबरबैक प्रमेय को देखते हुए बास-सेरे ट्री सम्मिलित होने चाहिए- [[निकोलस मोनोड]].<ref>{{Cite journal | title = An indiscrete Bieberbach theorem: from amenable CAT(0) groups to Tits buildings | journal = J. École Polytechnique| volume = 2| pages = 333–383| year = 2015| last1 = Caprace | first1 = P.-E. | last2 = Monod | first2 = N.| doi = 10.5802/jep.26| arxiv = 1502.04583| doi-access = free }}</ref> | ||
Line 85: | Line 86: | ||
* क्रिस्टलोग्राफिक समूह | * क्रिस्टलोग्राफिक समूह | ||
* [[रिक्की-फ्लैट मैनिफोल्ड]] | * [[रिक्की-फ्लैट मैनिफोल्ड]] | ||
* अनुरूप रूप से | * अनुरूप रूप से समतल मैनिफोल्ड | ||
* [[एफ़िन मैनिफ़ोल्ड]] | * [[एफ़िन मैनिफ़ोल्ड]] | ||
==संदर्भ== | ==संदर्भ == | ||
Revision as of 17:39, 11 July 2023
गणित में, रीमैनियन मैनिफोल्ड को समतल कहा जाता है यदि इसका रीमैन वक्रता टेंसर प्रत्येक स्पेसशून्य है। सहज रूप से, समतल मैनिफ़ोल्ड वह है जो स्पेसीय रूप से दूरियों और कोणों के संदर्भ में यूक्लिडियन अंतरिक्ष जैसा दिखता है, उदाहरण के लिए त्रिभुज के आंतरिक कोणों का योग 180° होता है।
संपूर्ण अंतरिक्ष फ्लैट मैनिफोल्ड का सार्वभौमिक आवरण यूक्लिडियन अंतरिक्ष है। इसका उपयोग प्रमेय को सिद्ध करने के लिए किया जा सकता है
बीबरबैक (1911, 1912) कि सभी सघन स्पेस फ्लैट मैनिफोल्ड्स को टोरी द्वारा सीमित रूप से कवर किया गया है; त्रि-आयामी स्थिति पहले सिद्ध किया गया था स्कोनफ्लाइज़ (1891) .
उदाहरण
निम्नलिखित मैनिफोल्ड्स को फ्लैट मीट्रिक के साथ संपन्न किया जा सकता है। ध्यान दें कि यह उनका 'मानक' मीट्रिक नहीं हो सकता है (उदाहरण के लिए, 2-आयामी टोरस पर फ्लैट मीट्रिक इसके सामान्य एम्बेडिंग से प्रेरित मीट्रिक नहीं है).
आयाम 1
प्रत्येक एक-आयामी रीमैनियन मैनिफोल्ड समतल है। इसके विपरीत, यह देखते हुए कि प्रत्येक जुड़ा हुआ एक-आयामी स्मूथ मैनिफोल्ड किसी या से भिन्न होता है यह देखना सीधा है कि प्रत्येक जुड़ा हुआ एक-आयामी रीमानियन मैनिफोल्ड निम्नलिखित में से किसी के लिए सममितीय है (प्रत्येक अपनी मानक रीमानियन संरचना के साथ):
- वास्तविक पंक्ति
- विवृत अंतराल कुछ संख्या के लिए
- विवृत अंतराल
- वृत्त त्रिज्या का कुछ संख्या के लिए
केवल प्रथम और अंतिम ही पूर्ण हैं। यदि किसी में रीमैनियन मैनिफोल्ड्स-विथ-बाउंड्री सम्मिलित है, तो अर्ध-विवृत और बंद अंतरालों को भी सम्मिलित किया जाना चाहिए।
इस स्थित में पूर्ण विवरण की सरलता इस तथ्य पर आधारित हो सकती है कि प्रत्येक एक-आयामी रीमैनियन मैनिफोल्ड में चिकनी इकाई-लंबाई सदिश क्षेत्र होता है, और उपरोक्त मॉडल उदाहरणों में से से आइसोमेट्री अभिन्न वक्र पर विचार करके प्रदान की जाती है।
आयाम 2
पाँच संभावनाएँ, भिन्नरूपता तक
यदि सहज द्वि-आयामी जुड़ा हुआ पूर्ण फ्लैट रीमानियन मैनिफोल्ड है से भिन्न होना चाहिए इस प्रकार मोबियस पट्टी, या क्लेन बोतल ध्यान दें कि केवल कॉम्पैक्ट संभावनाएँ हैं और क्लेन बोतल, जबकि एकमात्र उन्मुख और संभावनाएँ हैं
इन स्पेसों पर विशिष्ट पूर्ण फ्लैट रीमानियन मेट्रिक्स का वर्णन करने के लिए अधिक प्रयास करना पड़ता है। उदाहरण के लिए, के दो कारक उनकी त्रिज्याएँ कोई भी दो वास्तविक संख्याएँ हो सकती हैं। ये मेट्रिक्स उनकी दो त्रिज्याओं के अनुपात से दूसरे से भिन्न होते हैं, इसलिए इस स्पेसमें असीमित रूप से कई अलग-अलग फ्लैट उत्पाद मेट्रिक्स होते हैं जो स्केल फैक्टर तक आइसोमेट्रिक नहीं होते हैं। पांच संभावनाओं के बारे में समान रूप से बात करने के लिए, और विशेष रूप से मोबियस स्ट्रिप और क्लेन बोतल के साथ अमूर्त मैनिफोल्ड के रूप में ठोस रूप से काम करने के लिए, समूह क्रियाओं की भाषा का उपयोग करना उपयोगी है।
पांच संभावनाएं, आइसोमेट्री तक
दिया गया माना अनुवाद को निरूपित करें द्वारा दिए गए माना प्रतिबिंब को निरूपित करें द्वारा दिए गए दो सकारात्मक संख्याएँ दी गई हैं के निम्नलिखित उपसमूहों पर विचार करें के आइसोमेट्री का समूह अपने मानक मीट्रिक के साथ होता है।
- बशर्ते
ये सभी समूह स्वतंत्र रूप से और उचित रूप से असंतत रूप से कार्य कर रहे हैं और इसलिए विभिन्न कोसेट स्पेस सभी में स्वाभाविक रूप से द्वि-आयामी पूर्ण फ्लैट रीमैनियन मैनिफोल्ड्स की संरचना होती है। उनमें से कोई भी दूसरे के लिए आइसोमेट्रिक नहीं है, और रीमैनियन मैनिफोल्ड से जुड़ा कोई भी दो-आयामी पूर्ण फ्लैट उनमें से के लिए आइसोमेट्रिक है।
कक्षीय
ऑर्बिफोल्ड्स पर लेख में सूचीबद्ध फ्लैट मीट्रिक (टोरस और क्लेन बोतल सहित) के साथ 17 कॉम्पैक्ट 2-आयामी ऑर्बिफोल्ड हैं, जो 17 वॉलपेपर समूह के अनुरूप हैं।
टिप्पणियाँ
ध्यान दें कि डोनट के रूप में टोरस का मानक 'चित्र' इसे समतल मीट्रिक के साथ प्रस्तुत नहीं करता है, क्योंकि केंद्र से सबसे दूर के बिंदुओं में सकारात्मक वक्रता होती है जबकि केंद्र के निकटतम बिंदुओं में नकारात्मक वक्रता होती है। कुइपर के नैश एम्बेडिंग प्रमेय के सूत्रीकरण के अनुसार है एम्बेडिंग जो उपस्थित किसी भी फ्लैट उत्पाद मेट्रिक्स को प्रेरित करता है किन्तु इन्हें सरलता से देखा नहीं जा सकता है। तब से के एम्बेडेड सबमैनिफोल्ड के रूप में प्रस्तुत किया गया है किसी भी (फ्लैट) उत्पाद संरचना पर स्वाभाविक रूप से उपमानों के रूप में प्रस्तुत किए जाते हैं इसी तरह, क्लेन बोतल के मानक त्रि-आयामी विज़ुअलाइज़ेशन फ्लैट मीट्रिक प्रस्तुत नहीं करते हैं। मोबियस पट्टी का मानक निर्माण, कागज की पट्टी के सिरों को साथ जोड़कर, वास्तव में इसे समतल मीट्रिक देता है, किन्तु यह पूर्ण नहीं है।
आयाम 3
6 ओरिएंटेबल और 4 नॉन-ओरिएंटेबल कॉम्पैक्ट फ्लैट 3-मैनिफोल्ड हैं, जो सभी सीफर्ट फाइबर स्पेस हैं;[1] वे भागफल समूह हैं 10 टोशन-मुक्त समूह द्वारा टोशन-मुक्त क्रिस्टलोग्राफिक समूह [2] इसमें 4 ओरिएंटेबल और 4 नॉन-ओरिएंटेबल नॉन-कॉम्पैक्ट स्पेस भी हैं।[3]
समायोज्य
10 ओरिएंटेबल फ्लैट 3-मैनिफोल्ड्स हैं:[3], .
- 3-टोरस , घन के विपरीत फलकों को चिपकाकर बनाया गया है।
- एक जोड़ी पर 1/2 मोड़ के साथ घन के विपरीत फेस को चिपकाकर बनाया गया मैनिफोल्ड।
- एक जोड़ी पर 1/4 मोड़ के साथ घन के विपरीत फेस को चिपकाकर बनाया गया मैनिफोल्ड।
- षट्कोणीय प्रिज्म के विपरीत फेस को हेक्सागोनल फेस पर 1/3 मोड़ के साथ चिपकाकर बनाया गया मैनिफोल्ड।
- हेक्सागोनल प्रिज्म के विपरीत फेस को हेक्सागोनल फेस पर 1/6 मोड़ के साथ चिपकाकर बनाया गया मैनिफोल्ड।
- हंट्ज़स्चे-वेंड्ट मैनिफोल्ड।
- मैनिफोल्ड इसे साथ चिपके हुए दो समानांतर विमानों के बीच की स्पेस के रूप में बनाया गया है।
- मैनिफोल्ड अनंत वर्गाकार चिमनी की विपरीत दीवारों को चिपकाकर बनाया गया।
- एक जोड़ी पर 1/2 मोड़ के साथ अनंत वर्गाकार चिमनी की विपरीत दीवारों को चिपकाकर बनाई गई मैनिफोल्ड।
गैर-उन्मुख
8 गैर-संचालनीय 3-मैनिफोल्ड्स हैं:[4]
- एक वृत्त और क्लेन बोतल का कार्टेशियन उत्पाद, .
- उपरोक्त के समान मैनिफोल्ड, किन्तु सरकना विमान के समानांतर दिशा में ट्रांसलेशनल रूप से ऑफसेट; इस दिशा में आगे बढ़ते हुए मैनिफोल्ड के विपरीत दिशा में लौट आता है।
- दो लंबवत ग्लाइड विमानों में बिंदु को प्रतिबिंबित करने और तीसरी दिशा में अनुवाद करने से बना मैनिफोल्ड।
- उपरोक्त के समान मैनिफोल्ड, किन्तु ग्लाइड विमान के समानांतर दिशा में ट्रांसलेशनल रूप से ऑफसेट; इस दिशा में आगे बढ़ते हुए मैनिफोल्ड के विपरीत दिशा में लौट आता है।
- एक वृत्त और (अनबाउंड) मोबियस पट्टी का कार्टेशियन उत्पाद।
- मैनिफोल्ड बिंदु को अक्ष के अनुदिश अनुवादित करके और इसे लंबवत ग्लाइड विमान में प्रतिबिंबित करके बनाया गया है।
- एक अक्ष के अनुदिश बिंदु का अनुवाद करके और इसे समानांतर ग्लाइड विमान में प्रतिबिंबित करके बनाया गया मैनिफोल्ड।
- दो लंबवत ग्लाइड विमानों पर बिंदु को प्रतिबिंबित करके बनाया गया मैनिफोल्ड।
उच्च आयाम
- यूक्लिडियन स्पेस
- टोरी
- फ्लैट मैनिफोल्ड के उत्पाद
- स्वतंत्र रूप से कार्य करने वाले समूहों द्वारा फ्लैट मैनिफ़ोल्ड के भागफल।
अनुकूलता से संबंध
अनुभागीय वक्रता गैर-सकारात्मक अनुभागीय वक्रता वाले सभी बंद मैनिफोल्ड्स के बीच, फ्लैट मैनिफोल्ड्स को ठीक से उत्तरदायी समूह मौलिक समूह के साथ चित्रित किया जाता है।
यह एडम्स-हंस वर्नर बॉलमैन प्रमेय (1998) का परिणाम है,[5] जो इस लक्षण वर्णन को समूह क्रिया (गणित) की अधिक सामान्य सेटिंग में स्थापित करता है हडामर्ड रिक्त स्पेसके सममिति के क्रिया समूहों के प्रकार यह अंतरिक्ष समूह बीबरबैक के प्रमेय का दूरगामी सामान्यीकरण प्रदान करता है।
एडम्स-बॉलमैन प्रमेय में विसंगति की धारणा आवश्यक है: अन्यथा, वर्गीकरण में सममित स्पेस, ब्रुहट-टिट्स भवन और बास-सेरे सिद्धांत या कैप्रैस के अविवेकी बीबरबैक प्रमेय को देखते हुए बास-सेरे ट्री सम्मिलित होने चाहिए- निकोलस मोनोड.[6]
यह भी देखें
- अंतरिक्ष रूप
- क्रिस्टलोग्राफिक समूह
- रिक्की-फ्लैट मैनिफोल्ड
- अनुरूप रूप से समतल मैनिफोल्ड
- एफ़िन मैनिफ़ोल्ड
संदर्भ
टिप्पणियाँ
- ↑ Peter Scott, The geometries of 3-manifolds. (errata), Bull. London Math. Soc. 15 (1983), no. 5, 401–487.
- ↑ Miatello, R. J.; Rossetti, J. P. (29 October 1999). "आइसोस्पेक्ट्रल हंट्ज़स्चे-वेंड्ट मैनिफोल्ड्स". Journal für die Reine und Angewandte Mathematik (in English). 1999 (515): 1–23. doi:10.1515/crll.1999.077. ISSN 1435-5345.
- ↑ 3.0 3.1 The early universe and the cosmic microwave background : theory and observations. Dordrecht: Kluwer Academic Publishers. 2003. pp. 166–169. ISBN 978-1-4020-1800-8.
- ↑ Conway, J. H.; Rossetti, J.P. (24 October 2005). "प्लैटिकोसम्स का वर्णन". arXiv:math/0311476.
- ↑ Adams, S.; Ballmann, W. (1998). "हैडामर्ड रिक्त स्थान के एमेनेबल आइसोमेट्री समूह". Math. Ann. 312 (1): 183–195. doi:10.1007/s002080050218. S2CID 15874907.
- ↑ Caprace, P.-E.; Monod, N. (2015). "An indiscrete Bieberbach theorem: from amenable CAT(0) groups to Tits buildings". J. École Polytechnique. 2: 333–383. arXiv:1502.04583. doi:10.5802/jep.26.
ग्रन्थसूची
- Bieberbach, L. (1911), "Über die Bewegungsgruppen der Euklidischen Räume I", Mathematische Annalen, 70 (3): 297–336, doi:10.1007/BF01564500, S2CID 124429194.
- Bieberbach, L. (1912), "Über die Bewegungsgruppen der Euklidischen Räume II: Die Gruppen mit einem endlichen Fundamentalbereich", Mathematische Annalen, 72 (3): 400–412, doi:10.1007/BF01456724, S2CID 119472023.
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of differential geometry. Vol. I (Reprint of the 1963 original ed.), New York: John Wiley & Sons, Inc., pp. 209–224, ISBN 0-471-15733-3
- Schoenflies, A. (1891), Kristallsysteme und Kristallstruktur, Teubner.
- Vinberg, E.B. (2001) [1994], "Crystallographic group", Encyclopedia of Mathematics, EMS Press