समतल मैनिफोल्ड

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

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

Bieberbach (1911, 1912) कि सभी सघन स्थान  फ्लैट मैनिफोल्ड्स को टोरी द्वारा सीमित रूप से कवर किया गया है; त्रि-आयामी मामला पहले सिद्ध किया गया था Schoenflies (1891).

उदाहरण

निम्नलिखित मैनिफोल्ड्स को एक फ्लैट मीट्रिक के साथ संपन्न किया जा सकता है। ध्यान दें कि यह उनका 'मानक' मीट्रिक नहीं हो सकता है (उदाहरण के लिए, 2-आयामी टोरस पर फ्लैट मीट्रिक इसके सामान्य एम्बेडिंग से प्रेरित मीट्रिक नहीं है $\mathbb {R} ^{3}$).

आयाम 1

प्रत्येक एक-आयामी रीमैनियन मैनिफोल्ड सपाट है। इसके विपरीत, यह देखते हुए कि प्रत्येक जुड़ा हुआ एक-आयामी स्मूथ मैनिफोल्ड किसी एक से भिन्न होता है $\mathbb {R}$ या $S^{1},$ यह देखना सीधा है कि प्रत्येक जुड़ा हुआ एक-आयामी रीमानियन मैनिफोल्ड निम्नलिखित में से किसी एक के लिए सममितीय है (प्रत्येक अपनी मानक रीमानियन संरचना के साथ):

• असली लाइन
• खुला अंतराल $(0,x)$ कुछ संख्या के लिए $x>0$
• खुला अंतराल $(0,\infty )$
• वृत्त $\{(x,y)\in \mathbb {R} ^{2}:x^{2}+y^{2}=r^{2}\}$ त्रिज्या का $r,$ कुछ संख्या के लिए $r>0.$

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

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

आयाम 2

पाँच संभावनाएँ, भिन्नरूपता तक

अगर $(M,g)$ तो, एक सहज द्वि-आयामी जुड़ा हुआ पूर्ण फ्लैट रीमानियन मैनिफोल्ड है $M$ से भिन्न होना चाहिए $\mathbb {R} ^{2},$ $S^{1}\times \mathbb {R} ,$ $S^{1}\times S^{1},$ मोबियस पट्टी, या क्लेन बोतल। ध्यान दें कि केवल कॉम्पैक्ट संभावनाएँ हैं $S^{1}\times S^{1}$ और क्लेन बोतल, जबकि एकमात्र उन्मुख संभावनाएँ हैं $\mathbb {R} ^{2},$ $S^{1}\times \mathbb {R} ,$ और $S^{1}\times S^{1}.$ इन स्थानों पर विशिष्ट पूर्ण फ्लैट रीमानियन मेट्रिक्स का वर्णन करने के लिए अधिक प्रयास करना पड़ता है। उदाहरण के लिए, के दो कारक $S^{1}\times S^{1}$ उनकी त्रिज्याएँ कोई भी दो वास्तविक संख्याएँ हो सकती हैं। ये मेट्रिक्स उनकी दो त्रिज्याओं के अनुपात से एक दूसरे से भिन्न होते हैं, इसलिए इस स्थान में असीमित रूप से कई अलग-अलग फ्लैट उत्पाद मेट्रिक्स होते हैं जो स्केल फैक्टर तक आइसोमेट्रिक नहीं होते हैं। पांच संभावनाओं के बारे में समान रूप से बात करने के लिए, और विशेष रूप से मोबियस स्ट्रिप और क्लेन बोतल के साथ अमूर्त मैनिफोल्ड के रूप में ठोस रूप से काम करने के लिए, समूह क्रियाओं की भाषा का उपयोग करना उपयोगी है।

पांच संभावनाएं, आइसोमेट्री तक

दिया गया $(x_{0},y_{0})\in \mathbb {R} ^{2},$ होने देना $T_{(x_{0},y_{0})}$ अनुवाद को निरूपित करें $\mathbb {R} ^{2}\to \mathbb {R} ^{2}$ द्वारा दिए गए $(x,y)\mapsto (x+x_{0},y+y_{0}).$ होने देना $R$ प्रतिबिंब को निरूपित करें $\mathbb {R} ^{2}\to \mathbb {R} ^{2}$ द्वारा दिए गए $(x,y)\mapsto (x,-y).$ दो सकारात्मक संख्याएँ दी गई हैं $a,b,$ के निम्नलिखित उपसमूहों पर विचार करें $\operatorname {Isom} (\mathbb {R} ^{2}),$ के आइसोमेट्री का समूह $\mathbb {R} ^{2}$ अपने मानक मीट्रिक के साथ।

• $G_{e}=\{T_{(0,0)}\}$
• $G_{\text{cyl}}(a)=\{T_{(an,0)}:n\in \mathbb {Z} \}$
• $G_{\text{tor}}(a,b)=\{T_{(na,mb)}:m,n\in \mathbb {Z} \}$ बशर्ते $a<b.$
• $G_{\text{Moeb}}(a)=\{T_{(2na,0)}:n\in \mathbb {Z} \}\cup \{T_{((2n+1)a,0)}\circ R:n\in \mathbb {Z} \}$
• $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} \}$

ये सभी समूह स्वतंत्र रूप से और उचित रूप से असंतत रूप से कार्य कर रहे हैं $\mathbb {R} ^{2},$ और इसलिए विभिन्न कोसेट स्थान $\mathbb {R} ^{2}/G$ सभी में स्वाभाविक रूप से द्वि-आयामी पूर्ण फ्लैट रीमैनियन मैनिफोल्ड्स की संरचना होती है। उनमें से कोई भी एक दूसरे के लिए आइसोमेट्रिक नहीं है, और रीमैनियन मैनिफोल्ड से जुड़ा कोई भी चिकना दो-आयामी पूर्ण फ्लैट उनमें से एक के लिए आइसोमेट्रिक है।

कक्षीय ्स

ऑर्बिफोल्ड्स पर लेख में सूचीबद्ध फ्लैट मीट्रिक (टोरस और क्लेन बोतल सहित) के साथ 17 कॉम्पैक्ट 2-आयामी ऑर्बिफोल्ड हैं, जो 17 वॉलपेपर समूहों के अनुरूप हैं।

टिप्पणियाँ

ध्यान दें कि डोनट के रूप में टोरस का मानक 'चित्र' इसे एक सपाट मीट्रिक के साथ प्रस्तुत नहीं करता है, क्योंकि केंद्र से सबसे दूर के बिंदुओं में सकारात्मक वक्रता होती है जबकि केंद्र के निकटतम बिंदुओं में नकारात्मक वक्रता होती है। कुइपर के नैश एम्बेडिंग प्रमेय के सूत्रीकरण के अनुसार, एक है $C^{1}$ एम्बेडिंग $S^{1}\times S^{1}\to \mathbb {R} ^{3}$ जो मौजूद किसी भी फ्लैट उत्पाद मेट्रिक्स को प्रेरित करता है $S^{1}\times S^{1},$ लेकिन इन्हें आसानी से देखा नहीं जा सकता। तब से $S^{1}$ के एम्बेडेड सबमैनिफोल्ड के रूप में प्रस्तुत किया गया है $\mathbb {R} ^{2},$ किसी भी (फ्लैट) उत्पाद संरचना पर $S^{1}\times S^{1}$ स्वाभाविक रूप से उपमानों के रूप में प्रस्तुत किए जाते हैं $\mathbb {R} ^{2}\times \mathbb {R} ^{2}=\mathbb {R} ^{4}.$ इसी तरह, क्लेन बोतल के मानक त्रि-आयामी विज़ुअलाइज़ेशन एक फ्लैट मीट्रिक प्रस्तुत नहीं करते हैं। मोबियस पट्टी का मानक निर्माण, कागज की एक पट्टी के सिरों को एक साथ जोड़कर, वास्तव में इसे एक सपाट मीट्रिक देता है, लेकिन यह पूर्ण नहीं है।

आयाम 3

6 ओरिएंटेबल और 4 नॉन-ओरिएंटेबल कॉम्पैक्ट फ्लैट 3-मैनिफोल्ड हैं, जो सभी सीफर्ट फाइबर स्पेस हैं; वे भागफल समूह हैं $\mathbb {R} ^{3}$ 10 मरोड़-मुक्त समूह द्वारा|मरोड़-मुक्त क्रिस्टलोग्राफिक समूह। इसमें 4 ओरिएंटेबल और 4 नॉन-ओरिएंटेबल नॉन-कॉम्पैक्ट स्पेस भी हैं।

समायोज्य

10 ओरिएंटेबल फ्लैट 3-मैनिफोल्ड्स हैं:# यूक्लिडियन 3-स्पेस, $\mathbb {R} ^{3}$.

1. 3-टोरस $T^{3}$, एक घन के विपरीत फलकों को चिपकाकर बनाया गया है।
2. एक जोड़ी पर 1/2 मोड़ के साथ घन के विपरीत चेहरों को चिपकाकर बनाया गया मैनिफोल्ड।
3. एक जोड़ी पर 1/4 मोड़ के साथ घन के विपरीत चेहरों को चिपकाकर बनाया गया मैनिफोल्ड।
4. षट्कोणीय प्रिज्म के विपरीत चेहरों को हेक्सागोनल चेहरों पर 1/3 मोड़ के साथ चिपकाकर बनाया गया मैनिफोल्ड।
5. हेक्सागोनल प्रिज्म के विपरीत चेहरों को हेक्सागोनल चेहरों पर 1/6 मोड़ के साथ चिपकाकर बनाया गया मैनिफोल्ड।
6. हंट्ज़स्चे-वेंड्ट मैनिफोल्ड।
7. अनेक गुना $S^{1}\times \mathbb {R} ^{2}$ इसे एक साथ चिपके हुए दो समानांतर विमानों के बीच की जगह के रूप में बनाया गया है।
8. अनेक गुना $T^{2}\times \mathbb {R}$ एक अनंत वर्गाकार चिमनी की विपरीत दीवारों को चिपकाकर बनाया गया।
9. एक जोड़ी पर 1/2 मोड़ के साथ एक अनंत वर्गाकार चिमनी की विपरीत दीवारों को चिपकाकर बनाई गई मैनिफोल्ड।

गैर-उन्मुख

8 गैर-संचालनीय 3-मैनिफोल्ड्स हैं:

1. एक वृत्त और एक क्लेन बोतल का कार्टेशियन उत्पाद, $S^{1}\times K$.
2. उपरोक्त के समान एक मैनिफोल्ड, लेकिन सरकना विमान के समानांतर एक दिशा में ट्रांसलेशनल रूप से ऑफसेट; इस दिशा में आगे बढ़ते हुए मैनिफोल्ड के विपरीत दिशा में लौट आता है।
3. दो लंबवत ग्लाइड विमानों में एक बिंदु को प्रतिबिंबित करने और तीसरी दिशा में अनुवाद करने से बना मैनिफोल्ड।
4. उपरोक्त के समान एक मैनिफोल्ड, लेकिन एक ग्लाइड विमान के समानांतर एक दिशा में ट्रांसलेशनल रूप से ऑफसेट; इस दिशा में आगे बढ़ते हुए मैनिफोल्ड के विपरीत दिशा में लौट आता है।
5. एक वृत्त और एक (अनबाउंड) मोबियस पट्टी का कार्टेशियन उत्पाद।
6. अनेक गुना $K\times \mathbb {R}$ एक बिंदु को एक अक्ष के अनुदिश अनुवादित करके और इसे लंबवत ग्लाइड विमान में प्रतिबिंबित करके बनाया गया है।
7. एक अक्ष के अनुदिश एक बिंदु का अनुवाद करके और इसे समानांतर ग्लाइड विमान में प्रतिबिंबित करके बनाया गया मैनिफोल्ड।
8. दो लंबवत ग्लाइड विमानों पर एक बिंदु को प्रतिबिंबित करके बनाया गया मैनिफोल्ड।

उच्च आयाम

• यूक्लिडियन स्थान
• टोरी
• फ्लैट मैनिफोल्ड के उत्पाद
• स्वतंत्र रूप से कार्य करने वाले समूहों द्वारा फ्लैट मैनिफ़ोल्ड के भागफल।

सुविधा से संबंध

अनुभागीय वक्रता | गैर-सकारात्मक अनुभागीय वक्रता वाले सभी बंद मैनिफोल्ड्स के बीच, फ्लैट मैनिफोल्ड्स को ठीक से एक उत्तरदायी समूह मौलिक समूह के साथ चित्रित किया जाता है।

यह एडम्स-हंस वर्नर बॉलमैन प्रमेय (1998) का परिणाम है, जो इस लक्षण वर्णन को समूह क्रिया (गणित) की अधिक सामान्य सेटिंग में स्थापित करता है#हडामर्ड रिक्त स्थान के सममिति के क्रिया समूहों के प्रकार। यह अंतरिक्ष समूह#बीबरबैक के प्रमेय|बीबरबैक के प्रमेय का दूरगामी सामान्यीकरण प्रदान करता है।

एडम्स-बॉलमैन प्रमेय में विसंगति की धारणा आवश्यक है: अन्यथा, वर्गीकरण में सममित स्थान, भवन (गणित)|ब्रुहट-टिट्स भवन और बास-सेरे सिद्धांत|कैप्रैस के अविवेकी बीबरबैक प्रमेय को देखते हुए बास-सेरे पेड़ शामिल होने चाहिए- निकोलस मोनोड.

यह भी देखें

• अंतरिक्ष रूप
• क्रिस्टलोग्राफिक समूह
• रिक्की-फ्लैट मैनिफोल्ड
• अनुरूप रूप से सपाट मैनिफोल्ड
• एफ़िन मैनिफ़ोल्ड

संदर्भ

ग्रन्थसूची

• 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

बाहरी संबंध

• Weisstein, Eric W. "Flat Manifold". MathWorld.