टोपोलॉजिकल ज्यामिति: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
'''टोपोलॉजिकल ज्यामिति''' या '''सांस्थितिक ज्यामिति''' एक बिंदु सेट से युक्त घटना संरचनाओं से संबंधित है <math>P</math> और एक [[टोपोलॉजिकल समूह|समूह]] <math>\mathfrak{L}</math> के उपसमुच्चय <math>P</math> रेखाएँ या वृत्त आदि ऐसे कहलाते हैं कि दोनों <math>P</math> और <math>\mathfrak{L}</math> इसमें एक [[टोपोलॉजी]] होती है और सभी ज्यामितीय संचालन जैसे बिंदुओं को एक रेखा से जोड़ना या रेखाओं को काटना निरंतर होता है। जैसा कि [[टोपोलॉजिकल समूह]]ों के स्थिति में होता है, कई गहरे परिणामों के लिए बिंदु स्थान को (स्थानीय रूप से) कॉम्पैक्ट और कनेक्ट करने की आवश्यकता होती है। यह अवलोकन को सामान्यीकृत करता है कि [[यूक्लिडियन विमान|यूक्लिडियन प्लेन]] ([[यूक्लिडियन विमान|यूक्लिडियन]] समतल) में दो अलग-अलग बिंदुओं को जोड़ने वाली रेखा लगातार बिंदुओं की जोड़ी पर निर्भर करती है और दो रेखाओं का प्रतिच्छेदन बिंदु इन रेखाओं का एक निरंतर कार्य है।
'''टोपोलॉजिकल ज्यामिति''' या '''सांस्थितिक ज्यामिति''' एक बिंदु समुच्चय से युक्त घटना संरचनाओं से संबंधित है <math>P</math> और एक [[टोपोलॉजिकल समूह|समूह]] <math>\mathfrak{L}</math> के उपसमुच्चय <math>P</math> रेखाएँ या वृत्त आदि ऐसे कहलाते हैं कि दोनों <math>P</math> और <math>\mathfrak{L}</math> इसमें एक [[टोपोलॉजी]] होती है और सभी ज्यामितीय संचालन जैसे बिंदुओं को एक रेखा से जोड़ना या रेखाओं को काटना निरंतर होता है। जैसा कि [[टोपोलॉजिकल समूह]]ों के स्थिति में होता है, कई गहरे परिणामों के लिए बिंदु स्थान को (स्थानीय रूप से) कॉम्पैक्ट और कनेक्ट करने की आवश्यकता होती है। यह अवलोकन को सामान्यीकृत करता है कि [[यूक्लिडियन विमान|यूक्लिडियन प्लेन]] ([[यूक्लिडियन विमान|यूक्लिडियन]] समतल) में दो अलग-अलग बिंदुओं को जोड़ने वाली रेखा लगातार बिंदुओं की जोड़ी पर निर्भर करती है और दो रेखाओं का प्रतिच्छेदन बिंदु इन रेखाओं का एक निरंतर कार्य है।


==रैखिक ज्यामिति==
==रैखिक ज्यामिति==
रैखिक ज्यामिति [[घटना संरचना]]एं हैं जिनमें कोई भी दो अलग-अलग बिंदु होते हैं <math>x</math> और <math>y</math> एक अद्वितीय रेखा से प्रांरम्भ जुड़े हुए हैं <math>xy</math>. ऐसी ज्यामिति को ''टोपोलॉजिकल'' इफ़ कहा जाता है <math>xy</math> जोड़ी पर लगातार निर्भर करता है <math>(x,y)</math> बिंदु सेट और लाइन सेट पर दी गई टोपोलॉजी के संबंध में है। एक रैखिक ज्यामिति का द्वैत बिंदुओं और रेखाओं की भूमिकाओं को आपस में बदलकर प्राप्त किया जाता है। रैखिक टोपोलॉजिकल ज्यामिति का एक सर्वेक्षण आपतन ज्यामिति की हैंडबुक के अध्याय 23 में दिया गया है।<ref>{{harvnb|Grundhöfer|Löwen|1995}}</ref> सबसे व्यापक रूप से जांच की गई टोपोलॉजिकल रैखिक ज्यामिति वे हैं जो दोहरी टोपोलॉजिकल रैखिक ज्यामिति भी हैं। ऐसी ज्यामिति को टोपोलॉजिकल [[ प्रक्षेप्य तल ]] के रूप में जाना जाता है।
रैखिक ज्यामिति [[घटना संरचना]]एं हैं जिनमें कोई भी दो अलग-अलग बिंदु होते हैं <math>x</math> और <math>y</math> एक अद्वितीय रेखा से प्रांरम्भ जुड़े हुए हैं <math>xy</math>. ऐसी ज्यामिति को ''टोपोलॉजिकल'' इफ़ कहा जाता है <math>xy</math> जोड़ी पर लगातार निर्भर करता है <math>(x,y)</math> बिंदु समुच्चय और लाइन समुच्चय पर दी गई टोपोलॉजी के संबंध में है। एक रैखिक ज्यामिति का द्वैत बिंदुओं और रेखाओं की भूमिकाओं को आपस में बदलकर प्राप्त किया जाता है। रैखिक टोपोलॉजिकल ज्यामिति का एक सर्वेक्षण आपतन ज्यामिति की हैंडबुक के अध्याय 23 में दिया गया है।<ref>{{harvnb|Grundhöfer|Löwen|1995}}</ref> सबसे व्यापक रूप से जांच की गई टोपोलॉजिकल रैखिक ज्यामिति वे हैं जो दोहरी टोपोलॉजिकल रैखिक ज्यामिति भी हैं। ऐसी ज्यामिति को टोपोलॉजिकल [[ प्रक्षेप्य तल ]] के रूप में जाना जाता है।


==इतिहास==
==इतिहास==
इन विमानों का व्यवस्थित अध्ययन 1954 में स्कोर्नाकोव के एक पेपर के साथ प्रांरम्भ हुआ।<ref>{{citation|first=L.A.|last=Skornyakov|year=1954|title=Topological projective planes|journal=Trudy Moskov. Mat. Obschtsch.|volume=3|pages=347–373}}</ref> इससे पहले, [[ वास्तविक प्रक्षेप्य तल ]] के टोपोलॉजिकल गुणों को एफाइन लाइनों पर ऑर्डर सिद्धांत के माध्यम से पेश किया गया था, उदाहरण के लिए, [[डेविड हिल्बर्ट]],<ref name="hilbert">{{harvnb|Hilbert|1899}}</ref> [[हेरोल्ड स्कॉट मैकडोनाल्ड कॉक्सेटर]],<ref name="coxeter">{{citation|first=H.S.M.|last=Coxeter|year=1993|title=The real projective plane|location=New York|publisher=Springer}}</ref> और ओ वायलर.<ref>{{citation|first=O.|last=Wyler|year=1952|title=Order and topology in projective planes|journal=Amer. J. Math. |volume=74|issue=3|pages=656–666|doi=10.2307/2372268|jstor=2372268}}</ref> ऑर्डरिंग की पूर्णता स्थानीय रूप [[स्थानीय रूप से सघन स्थान]] के बराबर है और इसका तात्पर्य है कि एफ़िन लाइनें [[होमियोमोर्फिज्म]] हैं <math>\R</math> और वह बिंदु स्थान [[जुड़ा हुआ स्थान]] है। ध्यान दें कि [[तर्कसंगत संख्या]]एँ समतल ज्यामिति की हमारी सहज धारणाओं का वर्णन करने के लिए पर्याप्त नहीं हैं और तर्कसंगत क्षेत्र का कुछ विस्तार आवश्यक है। वास्तव में, समीकरण <math>x^2 + y^2 = 3</math> क्योंकि वृत्त का कोई तर्कसंगत समाधान नहीं है।
इन प्लेन का व्यवस्थित अध्ययन 1954 में स्कोर्नाकोव के एक पेपर के साथ प्रांरम्भ हुआ।<ref>{{citation|first=L.A.|last=Skornyakov|year=1954|title=Topological projective planes|journal=Trudy Moskov. Mat. Obschtsch.|volume=3|pages=347–373}}</ref> इससे पहले, [[ वास्तविक प्रक्षेप्य तल ]] के टोपोलॉजिकल गुणों को एफाइन लाइनों पर ऑर्डर सिद्धांत के माध्यम से पेश किया गया था, उदाहरण के लिए, [[डेविड हिल्बर्ट]],<ref name="hilbert">{{harvnb|Hilbert|1899}}</ref> [[हेरोल्ड स्कॉट मैकडोनाल्ड कॉक्सेटर]],<ref name="coxeter">{{citation|first=H.S.M.|last=Coxeter|year=1993|title=The real projective plane|location=New York|publisher=Springer}}</ref> और ओ वायलर.<ref>{{citation|first=O.|last=Wyler|year=1952|title=Order and topology in projective planes|journal=Amer. J. Math. |volume=74|issue=3|pages=656–666|doi=10.2307/2372268|jstor=2372268}}</ref> ऑर्डरिंग की पूर्णता स्थानीय रूप [[स्थानीय रूप से सघन स्थान]] के बराबर है और इसका तात्पर्य है कि एफ़िन लाइनें [[होमियोमोर्फिज्म]] हैं <math>\R</math> और वह बिंदु स्थान [[जुड़ा हुआ स्थान]] है। ध्यान दें कि [[तर्कसंगत संख्या]]एँ समतल ज्यामिति की हमारी सहज धारणाओं का वर्णन करने के लिए पर्याप्त नहीं हैं और तर्कसंगत क्षेत्र का कुछ विस्तार आवश्यक है। वास्तव में, समीकरण <math>x^2 + y^2 = 3</math> क्योंकि वृत्त का कोई तर्कसंगत समाधान नहीं है।


==टोपोलॉजिकल प्रक्षेप्य तल==
==टोपोलॉजिकल प्रक्षेप्य तल==
हालाँकि, [[जटिल संख्या]]ओं, चतुर्भुज या [[ऑक्टोनियन]] बीजगणित द्वारा समन्वित विमानों के लिए, क्रमबद्ध संबंधों के माध्यम से प्रक्षेप्य विमानों के टोपोलॉजिकल गुणों तक पहुंचना संभव नहीं है।<ref>{{citation|first1=J.H.|last1=Conway|first2=D.A.|last2=Smith|year=2003|title=On quaternions and octonions: their geometry, arithmetic, and symmetry|location=Natick, MA|publisher=A K Peters}}</ref> बिंदु स्थान के साथ-साथ इन  प्राचीन विमानों के रेखा स्थान (वास्तविक संख्याओं, जटिल संख्याओं, चतुर्भुज और ऑक्टोनियन पर) आयाम के कॉम्पैक्ट [[ कई गुना |कई गुना]] हैं <math>2^m,\, 1 \le m \le 4</math>.
हालाँकि, [[जटिल संख्या]]ओं, चतुर्भुज या [[ऑक्टोनियन]] बीजगणित द्वारा समन्वित प्लेन के लिए, क्रमबद्ध संबंधों के माध्यम से प्रक्षेप्य प्लेन के टोपोलॉजिकल गुणों तक पहुंचना संभव नहीं है।<ref>{{citation|first1=J.H.|last1=Conway|first2=D.A.|last2=Smith|year=2003|title=On quaternions and octonions: their geometry, arithmetic, and symmetry|location=Natick, MA|publisher=A K Peters}}</ref> बिंदु स्थान के साथ-साथ इन  प्राचीन प्लेन के रेखा स्थान (वास्तविक संख्याओं, जटिल संख्याओं, चतुर्भुज और ऑक्टोनियन पर) आयाम के कॉम्पैक्ट [[ कई गुना |कई गुना]] हैं <math>2^m,\, 1 \le m \le 4</math>.


===सामयिक [[आयाम]]===
===सामयिक [[आयाम]]===
टोपोलॉजिकल स्पेस के आयाम की धारणा टोपोलॉजिकल के अध्ययन में, विशेष रूप से कॉम्पैक्ट कनेक्टेड विमानों के अध्ययन में एक प्रमुख भूमिका निभाती है। [[सामान्य स्थान]] के लिए <math>X</math>, आयाम <math>\dim X</math> इसे इस प्रकार चित्रित किया जा सकता है:
टोपोलॉजिकल स्पेस के आयाम की धारणा टोपोलॉजिकल के अध्ययन में, विशेष रूप से कॉम्पैक्ट कनेक्टेड प्लेन के अध्ययन में एक प्रमुख भूमिका निभाती है। [[सामान्य स्थान]] के लिए <math>X</math>, आयाम <math>\dim X</math> इसे इस प्रकार चित्रित किया जा सकता है:


अगर <math>\mathbb{S}_n</math> को दर्शाता है <math>n</math>-गोला, फिर <math>\dim X \le n</math> यदि, और केवल यदि, प्रत्येक बंद उपस्थान के लिए <math>A \subset X</math> प्रत्येक सतत मानचित्र <math>\varphi : A \to \mathbb{S}_n</math> निरंतर विस्तार है <math>\psi : X \to \mathbb{S}_n</math>.
अगर <math>\mathbb{S}_n</math> को दर्शाता है <math>n</math>-गोला, फिर <math>\dim X \le n</math> यदि, और केवल यदि, प्रत्येक सवृतउपस्थान के लिए <math>A \subset X</math> प्रत्येक सतत मानचित्र <math>\varphi : A \to \mathbb{S}_n</math> निरंतर विस्तार है <math>\psi : X \to \mathbb{S}_n</math>.


आयाम के विवरण और अन्य परिभाषाओं के लिए देखें <ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=§92}}</ref> और वहां दिए गए संदर्भ, विशेष रूप से एंगेलकिंग में<ref>{{citation|first=R.|last=Engelking|year=1978|title=Dimension theory|publisher=North-Holland Publ. Co.}}</ref> या फेडोरचुक।<ref>{{citation|first=V.V.|last=Fedorchuk|year=1990|title=The fundamentals of dimension theory|journal=Encycl. Math. Sci.|volume=17|pages=91–192|location=Berlin|publisher=Springer}}</ref>
आयाम के विवरण और अन्य परिभाषाओं के लिए देखें <ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=§92}}</ref> और वहां दिए गए संदर्भ, विशेष रूप से एंगेलकिंग में<ref>{{citation|first=R.|last=Engelking|year=1978|title=Dimension theory|publisher=North-Holland Publ. Co.}}</ref> या फेडोरचुक।<ref>{{citation|first=V.V.|last=Fedorchuk|year=1990|title=The fundamentals of dimension theory|journal=Encycl. Math. Sci.|volume=17|pages=91–192|location=Berlin|publisher=Springer}}</ref>
===2-आयामी [[यूक्लिडियन विमान|समतल]]===
===2-आयामी [[यूक्लिडियन विमान|समतल]]===
2-आयामी बिंदु स्थान के साथ एक कॉम्पैक्ट टोपोलॉजिकल '''विमान''' की रेखाएं एक वृत्त के होमोमोर्फिक वक्रों का एक समूह बनाती हैं, और यह तथ्य टोपोलॉजिकल प्रक्षेप्य '''विमानों''' के बीच इन विमानों की विशेषता बताता है।<ref name="salzmann">{{harvnb|Salzmann|1967}}</ref> समान रूप से, बिंदु स्थान एक [[सतह (गणित)]] है। प्रारंभिक उदाहरण  प्राचीन वास्तविक स्तर के समरूपी नहीं हैं <math>{\mathcal E}</math> हिल्बर्ट द्वारा दिये गये हैं<ref name="hilbert" /><ref>{{citation|first=M.|last=Stroppel|year=1998|title=Bemerkungen zur ersten nicht desarguesschen ebenen Geometrie bei Hilbert|journal=J. Geom.|volume=63|issue=1–2|pages=183–195|doi=10.1007/bf01221248|s2cid=120078708}}</ref> और [[वन रे मौलटन]]<ref>{{citation|first=F.R.|last=Moulton|year=1902|title=A simple non-Desarguesian plane geometry|journal=Trans. Amer. Math. Soc.|volume=3|issue=2|pages=192–195|doi=10.1090/s0002-9947-1902-1500595-3|doi-access=free}}</ref> इन उदाहरणों की निरंतरता गुणों पर उस समय स्पष्ट रूप से विचार नहीं किया गया है, हो सकता है कि उन्हें मान लिया गया हो। हिल्बर्ट के निर्माण को अनगिनत जोड़ीदार गैर-आइसोमोर्फिक प्राप्त करने के लिए संशोधित किया जा सकता है <math>2</math>-आयामी कॉम्पैक्ट विमान। भेद करने का पारंपरिक तरीका <math>{\mathcal E}</math> दूसरे से <math>2</math>-आयामी विमान डेसर्गेस कॉन्फ़िगरेशन की वैधता से है | डेसर्गेस का प्रमेय या पप्पस का षट्भुज प्रमेय (देखें, उदाहरण के लिए, पिकर्ट<ref name="pickert" />इन दो विन्यास प्रमेयों की चर्चा के लिए)। उत्तरार्द्ध को पूर्व ([[कर्ट हेसेनबर्ग]]) के रूप में जाना जाता है<ref>{{citation|first=G.|last=Hessenberg|year=1905|title=Beweis des Desarguesschen Satzes aus dem Pascalschen|language=German|journal=Math. Ann.|volume=61|issue=2|pages=161–172|doi=10.1007/bf01457558|s2cid=120456855}}</ref>)l डेसर्गेस का प्रमेय समतल की एक प्रकार की समरूपता को व्यक्त करता है। सामान्य तौर पर, यह एक प्रक्षेप्य विमान में रहता है यदि, और केवल तभी, '''विमान''' को एक (जरूरी नहीं कि क्रमविनिमेय) क्षेत्र द्वारा समन्वित किया जा सके,<ref name="hilbert" /><ref>{{citation|first1=D.R.|last1=Hughes|first2=F.C.|last2=Piper|year=1973|title=Projective planes|location=Berlin|publisher=Springer}}</ref><ref name="pickert">{{harvnb|Pickert|1955}}</ref> इसलिए इसका तात्पर्य यह है कि [[ स्वचालितता ]]का समूह चतुष्कोणों के '''सेट''' पर [[समूह क्रिया (गणित)]] है (<math>4</math> अंक संख्या <math>3</math> जिनमें से संरेख हैं)। वर्तमान सेटिंग में, बहुत कमजोर एकरूपता स्थिति की विशेषता है <math>{\mathcal E}</math>:
2-आयामी बिंदु स्थान के साथ एक कॉम्पैक्ट टोपोलॉजिकल [[यूक्लिडियन विमान|प्लेन]] (स्थलीय प्लेन) की रेखाएं एक वृत्त के होमोमोर्फिक वक्रों का एक समूह बनाती हैं, और यह तथ्य टोपोलॉजिकल प्रक्षेप्य प्लेन के बीच इन प्लेन की विशेषता बताता है।<ref name="salzmann">{{harvnb|Salzmann|1967}}</ref> समान रूप से, बिंदु स्थान एक [[सतह (गणित)]] है। प्रारंभिक उदाहरण  प्राचीन वास्तविक स्तर के समरूपी नहीं हैं <math>{\mathcal E}</math> हिल्बर्ट द्वारा दिये गये हैं<ref name="hilbert" /><ref>{{citation|first=M.|last=Stroppel|year=1998|title=Bemerkungen zur ersten nicht desarguesschen ebenen Geometrie bei Hilbert|journal=J. Geom.|volume=63|issue=1–2|pages=183–195|doi=10.1007/bf01221248|s2cid=120078708}}</ref> और [[वन रे मौलटन]]<ref>{{citation|first=F.R.|last=Moulton|year=1902|title=A simple non-Desarguesian plane geometry|journal=Trans. Amer. Math. Soc.|volume=3|issue=2|pages=192–195|doi=10.1090/s0002-9947-1902-1500595-3|doi-access=free}}</ref> इन उदाहरणों की निरंतरता गुणों पर उस समय स्पष्ट रूप से विचार नहीं किया गया है, हो सकता है कि उन्हें मान लिया गया हो। हिल्बर्ट के निर्माण को अनगिनत जोड़ीदार गैर-आइसोमोर्फिक प्राप्त करने के लिए संशोधित किया जा सकता है <math>2</math>-आयामी कॉम्पैक्ट प्लेन। भेद करने का पारंपरिक तरीका <math>{\mathcal E}</math> दूसरे से <math>2</math>-आयामी प्लेन डेसर्गेस कॉन्फ़िगरेशन की वैधता से है | डेसर्गेस का प्रमेय या पप्पस का षट्भुज प्रमेय (देखें, उदाहरण के लिए, पिकर्ट<ref name="pickert" />इन दो विन्यास प्रमेयों की चर्चा के लिए)। उत्तरार्द्ध को पूर्व ([[कर्ट हेसेनबर्ग]]) के रूप में जाना जाता है<ref>{{citation|first=G.|last=Hessenberg|year=1905|title=Beweis des Desarguesschen Satzes aus dem Pascalschen|language=German|journal=Math. Ann.|volume=61|issue=2|pages=161–172|doi=10.1007/bf01457558|s2cid=120456855}}</ref>)l डेसर्गेस का प्रमेय समतल की एक प्रकार की समरूपता को व्यक्त करता है। सामान्य तौर पर, यह एक प्रक्षेप्य प्लेन में रहता है यदि, और केवल तभी, प्लेन को एक (जरूरी नहीं कि क्रमविनिमेय) क्षेत्र द्वारा समन्वित किया जा सके,<ref name="hilbert" /><ref>{{citation|first1=D.R.|last1=Hughes|first2=F.C.|last2=Piper|year=1973|title=Projective planes|location=Berlin|publisher=Springer}}</ref><ref name="pickert">{{harvnb|Pickert|1955}}</ref> इसलिए इसका तात्पर्य यह है कि [[ स्वचालितता ]]का समूह चतुष्कोणों के समुच्चय पर [[समूह क्रिया (गणित)]] है (<math>4</math> अंक संख्या <math>3</math> जिनमें से संरेख हैं)। वर्तमान सेटिंग में, बहुत कमजोर एकरूपता स्थिति की विशेषता है <math>{\mathcal E}</math>:


प्रमेय यदि ऑटोमोर्फिज्म समूह <math>\Sigma</math> एक का <math>2</math>-आयामी कॉम्पैक्ट विमान <math>{\mathcal P}</math> बिंदु समुच्चय (या रेखा समुच्चय) पर सकर्मक है <math>\Sigma</math> एक सघन उपसमूह है <math>\Phi</math> जो '''झंडों''' (=घटना बिंदु-रेखा जोड़े) के '''सेट''' पर भी सकर्मक है, और <math>{\mathcal P}</math>  प्राचीन है.<ref name="salzmann" />
प्रमेय यदि ऑटोमोर्फिज्म समूह <math>\Sigma</math> एक का <math>2</math>-आयामी कॉम्पैक्ट प्लेन <math>{\mathcal P}</math> बिंदु समुच्चय (या रेखा समुच्चय) पर सकर्मक है <math>\Sigma</math> एक सघन उपसमूह है <math>\Phi</math> जो फ्लैग्स (=घटना बिंदु-रेखा जोड़े) के समुच्चय पर भी सकर्मक है, और <math>{\mathcal P}</math>  प्राचीन है.<ref name="salzmann" />


ऑटोमोर्फिज्म समूह <math>\Sigma = \operatorname{Aut}{\mathcal P}</math> एक का <math>2</math>-आयामी कॉम्पैक्ट विमान <math>{\mathcal P}</math>, बिंदु स्थान पर समान अभिसरण की टोपोलॉजी के साथ लिया गया, अधिकतम आयाम का एक स्थानीय रूप से कॉम्पैक्ट समूह है <math>8</math>, वास्तव में एक [[झूठ समूह|लाई समूह]] भी। सभी <math>2</math>-आयामी विमान ऐसे कि <math>\dim\Sigma \ge 3</math> स्पष्ट रूप से वर्णित किया जा सकता है;<ref name="salzmann" />उनके साथ <math>\dim\Sigma = 4</math> बिल्कुल मौलटन विमान,  प्राचीन विमान हैं <math>{\mathcal E}</math> सिर्फ यही <math>2</math>-आयामी विमान के साथ <math>\dim \Sigma > 4</math>; यह सभी देखें।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=Chapter 3}}</ref>
ऑटोमोर्फिज्म समूह <math>\Sigma = \operatorname{Aut}{\mathcal P}</math> एक का <math>2</math>-आयामी कॉम्पैक्ट प्लेन <math>{\mathcal P}</math>, बिंदु स्थान पर समान अभिसरण की टोपोलॉजी के साथ लिया गया, अधिकतम आयाम का एक स्थानीय रूप से कॉम्पैक्ट समूह है <math>8</math>, वास्तव में एक [[झूठ समूह|लाई समूह]] भी है। सभी <math>2</math>-आयामी प्लेन ऐसे कि <math>\dim\Sigma \ge 3</math> स्पष्ट रूप से वर्णित किया जा सकता है;<ref name="salzmann" />उनके साथ <math>\dim\Sigma = 4</math> बिल्कुल मौलटन प्लेन,  प्राचीन प्लेन हैं <math>{\mathcal E}</math> सिर्फ यही <math>2</math>-आयामी प्लेन के साथ <math>\dim \Sigma > 4</math>; यह सभी देखें।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=Chapter 3}}</ref>
===कॉम्पैक्ट कनेक्टेड विमान===
===कॉम्पैक्ट कनेक्टेड प्लेन===
परिणाम जारी <math>2</math>-आयामी तलों को आयाम के सघन तलों तक विस्तारित किया गया है <math> >2 </math>. यह निम्नलिखित मूल प्रमेय के कारण संभव है:
परिणाम जारी <math>2</math>-आयामी तलों को आयाम के सघन तलों तक विस्तारित किया गया है <math> >2 </math>. यह निम्नलिखित मूल प्रमेय के कारण संभव है:


कॉम्पैक्ट विमानों की टोपोलॉजी। ''यदि बिंदु स्थान का आयाम <math>P</math> एक कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव प्लेन का परिमित है <math>\dim P=2^m</math> साथ <math>m \in \{1,2,3,4\}</math>. इसके अलावा, प्रत्येक पंक्ति आयाम का एक [[समरूप क्षेत्र]] है <math>2^{m-1}</math>, देखना <ref name="lowen">{{harvnb|Löwen|1983a}}</ref> या।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=54.11}}</ref>
'''कॉम्पैक्ट प्लेन की टोपोलॉजी'''। ''यदि बिंदु स्थान का आयाम <math>P</math> एक कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव प्लेन का परिमित है <math>\dim P=2^m</math> साथ <math>m \in \{1,2,3,4\}</math>. इसके अलावा, प्रत्येक पंक्ति आयाम का एक [[समरूप क्षेत्र]] है <math>2^{m-1}</math>, देखना <ref name="lowen">{{harvnb|Löwen|1983a}}</ref> या।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=54.11}}</ref>''
4-आयामी विमानों के विशेष पहलुओं का उपचार किया जाता है,<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=Chapter 7}}</ref> अधिक हालिया परिणाम यहां पाए जा सकते हैं।<ref name="betten">{{citation
 
4-आयामी प्लेन के विशेष पहलुओं का उपचार किया जाता है,<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=Chapter 7}}</ref> अधिक हालिया परिणाम यहां पाए जा सकते हैं।<ref name="betten">{{citation
  | last = Betten | first = Dieter
  | last = Betten | first = Dieter
  | contribution = On the classification of 4-dimensional flexible projective planes
  | contribution = On the classification of 4-dimensional flexible projective planes
Line 36: Line 37:
  | title = Mostly finite geometries (Iowa City, IA, 1996)
  | title = Mostly finite geometries (Iowa City, IA, 1996)
  | volume = 190
  | volume = 190
  | year = 1997}}</ref> ए की पंक्तियाँ <math>4</math>-आयामी कॉम्पैक्ट विमान होमियोमोर्फिक हैं <math>2</math>-वृत्त;<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=53.15}}</ref> मामलों में <math>m>2</math> यह ज्ञात नहीं है कि रेखाएँ कई गुना हैं, लेकिन अब तक पाए गए सभी उदाहरणों में रेखाएँ गोले हैं। एक उपविमान <math>{\mathcal B}</math> एक प्रक्षेप्य तल का <math>{\mathcal P}</math> इसे [[रीनहोल्ड बेयर]] सबप्लेन कहा जाता है,<ref>{{citation|first=H.|last=Salzmann|year=2003|title=Baer subplanes|journal=Illinois J. Math.|volume=47|issue=1–2|pages=485–513|doi=10.1215/ijm/1258488168|doi-access=free}}</ref> यदि प्रत्येक बिंदु <math>{\mathcal P}</math> की एक पंक्ति के साथ घटना है <math>{\mathcal B}</math> और प्रत्येक पंक्ति <math>{\mathcal P}</math> का एक बिंदु सम्मिलित है <math>{\mathcal B}</math>. एक बंद उपतल <math>{\mathcal B}</math> एक कॉम्पैक्ट कनेक्टेड प्लेन का बेयर सबप्लेन है <math>{\mathcal P}</math> यदि, और केवल यदि, का बिंदु स्थान <math>{\mathcal B}</math> और की एक पंक्ति <math>{\mathcal P}</math> एक ही आयाम है. इसलिए 8-आयामी विमान की रेखाएँ <math>\mathcal P</math> एक गोले के समरूपी हैं <math>\mathbb{S}_4</math> अगर <math>{\mathcal P}</math> एक बंद बेयर सबप्लेन है।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=55.6}}</ref>
  | year = 1997}}</ref>   <math>4</math>-आयामी कॉम्पैक्ट प्लेन की पंक्तियाँ होमियोमोर्फिक हैं <math>2</math>-वृत्त;<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=53.15}}</ref> स्थिति में <math>m>2</math> यह ज्ञात नहीं है कि रेखाएँ कई गुना हैं, लेकिन अब तक पाए गए सभी उदाहरणों में रेखाएँ गोले हैं। एक उपप्लेन <math>{\mathcal B}</math> एक प्रक्षेप्य तल का <math>{\mathcal P}</math> इसे [[रीनहोल्ड बेयर]] सबप्लेन कहा जाता है,<ref>{{citation|first=H.|last=Salzmann|year=2003|title=Baer subplanes|journal=Illinois J. Math.|volume=47|issue=1–2|pages=485–513|doi=10.1215/ijm/1258488168|doi-access=free}}</ref> यदि प्रत्येक बिंदु <math>{\mathcal P}</math> की एक पंक्ति के साथ घटना है <math>{\mathcal B}</math> और प्रत्येक पंक्ति <math>{\mathcal P}</math> का एक बिंदु सम्मिलित है <math>{\mathcal B}</math>. एक सवृत उपतल <math>{\mathcal B}</math> एक कॉम्पैक्ट कनेक्टेड प्लेन का बेयर सबप्लेन है <math>{\mathcal P}</math> यदि, और केवल यदि, का बिंदु स्थान <math>{\mathcal B}</math> और की एक पंक्ति <math>{\mathcal P}</math> एक ही आयाम है. इसलिए 8-आयामी प्लेन की रेखाएँ <math>\mathcal P</math> एक गोले के समरूपी हैं <math>\mathbb{S}_4</math> अगर <math>{\mathcal P}</math> एक सवृतबेयर सबप्लेन है।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=55.6}}</ref>  
सजातीय विमान. ''अगर <math>\mathcal P</math> एक कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव प्लेन है और यदि <math>\Sigma = \operatorname{Aut}{\mathcal P}</math> के बिंदु समुच्चय पर सकर्मक है <math>\mathcal P</math>, तब <math>\Sigma</math> एक ध्वज-संक्रमणीय कॉम्पैक्ट उपसमूह है <math>\Phi</math> और <math>\mathcal P</math>  प्राचीन है, देखिए <ref>{{citation|first=R.|last=Löwen|year=1981|title=Homogeneous compact projective planes|journal=J. Reine Angew. Math.|volume=321|pages=217–220}}</ref> या।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=63.8}}</ref> वास्तव में, <math>\Phi</math> एक अण्डाकार गति समूह है.<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=13.12}}</ref>''
 
होने देना <math>\mathcal P</math> आयाम का एक सघन तल बनें <math>2^m,\; m=2,3,4</math>, और लिखा <math>\Sigma = \operatorname{Aut}{\mathcal P} </math>. अगर <math>\dim\Sigma > 8,18,40</math>, तब <math>{\mathcal P}</math>  प्राचीन है,<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=72.8,84.28,85.16}}</ref> और <math>\operatorname{Aut}{\mathcal P}</math> आयाम का एक [[सरल झूठ समूह|सरल लाई समूह]] है <math>16,35,78</math> क्रमश। सभी विमान <math>\mathcal P</math> साथ <math>\dim\Sigma = 8,18,40</math> स्पष्ट रूप से ज्ञात हैं।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=73.22,84.28,87.7}}</ref> के साथ विमान <math>\dim\Sigma = 40</math> वास्तव में एफ़िन विमान (घटना ज्यामिति) के प्रक्षेप्य समापन तथाकथित उत्परिवर्तन द्वारा समन्वित होते हैं <math>(\mathbb{O},+,\circ)</math> ऑक्टोनियन बीजगणित का <math>(\mathbb{O},+, \ \,)</math>, जहां नया गुणा <math>\circ</math> इसे इस प्रकार परिभाषित किया गया है: एक वास्तविक संख्या चुनें <math>t</math> साथ <math>1/2 < t \ne 1</math> और रखें <math>a \circ b = t\cdot a b + (1-t)\cdot b  a</math>. बड़े आयाम वाले समूह वाले विमानों के विशाल समूहों को उनके ऑटोमोर्फिज्म समूहों के बारे में धारणाओं से प्रांरम्भ करके व्यवस्थित रूप से खोजा गया है, उदाहरण के लिए, देखें।<ref name="betten" /><ref>{{citation|first=H.|last=Hähl|year=1986|title=Achtdimensionale lokalkompakte Translationsebenen mit mindestens <math>17</math>-dimensionaler Kollineationsgruppe|language=German|journal=Geom. Dedicata|volume=21|pages=299–340|doi=10.1007/bf00181535|s2cid=116969491|url=http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-41286}}</ref><ref name="hah">{{citation|first=H.|last=Hähl|year=2011|title=Sixteen-dimensional locally compact translation planes with collineation groups of dimension at least <math>38</math>|journal=Adv. Geom.|volume=11|pages=371–380|doi=10.1515/advgeom.2010.046}}</ref><ref>{{citation|first=H.|last=Hähl|year=2000|title=Sixteen-dimensional locally compact translation planes with large automorphism groups having no fixed points|journal=Geom. Dedicata|volume=83|pages=105–117|doi=10.1023/A:1005212813861|s2cid=128076685}}</ref><ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=§§73,74,82,86}}</ref> उनमें से कई [[अनुवाद विमान]]ों के प्रक्षेप्य समापन हैं (एफ़िन विमान प्रत्येक पंक्ति को समानांतर में मैप करने वाले ऑटोमोर्फिज्म के एक तीव्र संक्रमणीय समूह को स्वीकार करते हैं), सीएफ .;<ref name="knarr">{{harvnb|Knarr|1995}}</ref> यह सभी देखें <ref>{{harvnb|Salzmann|2014}}</ref> स्थिति में नवीनतम परिणामों के लिए <math>m=3</math> और <ref name="hah" />के लिए <math>m=4</math>.
'''सजातीय प्लेन'''. ''अगर <math>\mathcal P</math> एक कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव प्लेन है और यदि <math>\Sigma = \operatorname{Aut}{\mathcal P}</math> के बिंदु समुच्चय पर सकर्मक है <math>\mathcal P</math>, तब <math>\Sigma</math> एक फ्लैग-संक्रमणीय कॉम्पैक्ट उपसमूह है <math>\Phi</math> और <math>\mathcal P</math>  प्राचीन है, देखिए <ref>{{citation|first=R.|last=Löwen|year=1981|title=Homogeneous compact projective planes|journal=J. Reine Angew. Math.|volume=321|pages=217–220}}</ref> या।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=63.8}}</ref> वास्तव में, <math>\Phi</math> एक अण्डाकार गति समूह है.<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=13.12}}</ref>''
होने देना <math>\mathcal P</math> आयाम का एक सघन तल बनें <math>2^m,\; m=2,3,4</math>, और लिखा <math>\Sigma = \operatorname{Aut}{\mathcal P} </math>. अगर <math>\dim\Sigma > 8,18,40</math>, तब <math>{\mathcal P}</math>  प्राचीन है,<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=72.8,84.28,85.16}}</ref> और <math>\operatorname{Aut}{\mathcal P}</math> आयाम का एक [[सरल झूठ समूह|सरल लाई समूह]] है <math>16,35,78</math> क्रमश। सभी प्लेन <math>\mathcal P</math> साथ <math>\dim\Sigma = 8,18,40</math> स्पष्ट रूप से ज्ञात हैं।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=73.22,84.28,87.7}}</ref> के साथ प्लेन <math>\dim\Sigma = 40</math> वास्तव में एफ़िन प्लेन (घटना ज्यामिति) के प्रक्षेप्य समापन तथाकथित उत्परिवर्तन द्वारा समन्वित होते हैं <math>(\mathbb{O},+,\circ)</math> ऑक्टोनियन बीजगणित का <math>(\mathbb{O},+, \ \,)</math>, जहां नया गुणा <math>\circ</math> इसे इस प्रकार परिभाषित किया गया है: एक वास्तविक संख्या चुनें <math>t</math> साथ <math>1/2 < t \ne 1</math> और रखें <math>a \circ b = t\cdot a b + (1-t)\cdot b  a</math>. बृहत आयाम वाले समूह वाले प्लेन के बृहत समूहों को उनके ऑटोमोर्फिज्म समूहों के बारे में धारणाओं से प्रांरम्भ करके व्यवस्थित रूप से प्राप्त किया गया है, उदाहरण के लिए, देखें।<ref name="betten" /><ref>{{citation|first=H.|last=Hähl|year=1986|title=Achtdimensionale lokalkompakte Translationsebenen mit mindestens <math>17</math>-dimensionaler Kollineationsgruppe|language=German|journal=Geom. Dedicata|volume=21|pages=299–340|doi=10.1007/bf00181535|s2cid=116969491|url=http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-41286}}</ref><ref name="hah">{{citation|first=H.|last=Hähl|year=2011|title=Sixteen-dimensional locally compact translation planes with collineation groups of dimension at least <math>38</math>|journal=Adv. Geom.|volume=11|pages=371–380|doi=10.1515/advgeom.2010.046}}</ref><ref>{{citation|first=H.|last=Hähl|year=2000|title=Sixteen-dimensional locally compact translation planes with large automorphism groups having no fixed points|journal=Geom. Dedicata|volume=83|pages=105–117|doi=10.1023/A:1005212813861|s2cid=128076685}}</ref><ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=§§73,74,82,86}}</ref> उनमें से कई [[अनुवाद विमान|अनुवाद प्लेन]] के प्रक्षेप्य समापन हैं (एफ़िन प्लेन प्रत्येक पंक्ति को समानांतर में मैप करने वाले ऑटोमोर्फिज्म के एक तीव्र संक्रमणीय समूह को स्वीकार करते हैं), cf .;<ref name="knarr">{{harvnb|Knarr|1995}}</ref> यह सभी देखें <ref>{{harvnb|Salzmann|2014}}</ref> स्थिति में नवीनतम परिणामों के लिए <math>m=3</math> और <ref name="hah" />के लिए <math>m=4</math>.


==कॉम्पैक्ट [[प्रक्षेप्य स्थान]]==
==कॉम्पैक्ट [[प्रक्षेप्य स्थान]]==
कम से कम 3 ज्यामितीय आयाम के प्रक्षेप्य स्थानों के उपतल आवश्यक रूप से डेसार्गुएसियन हैं, देखें <ref>{{harvnb|Hilbert|1899|loc=§§22}}</ref> §1 या <ref name="coxeter" />§16 या.<ref>{{citation|first1=O.|last1=Veblen|first2=J.W.|last2=Young|year=1910|title=Projective Geometry Vol. I|location=Boston|publisher=Ginn Comp.}}</ref> इसलिए, सभी कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव स्पेस को वास्तविक या जटिल संख्याओं या क्वाटरनियन फ़ील्ड द्वारा समन्वयित किया जा सकता है।<ref>{{citation|first=A.|last=Kolmogoroff|year=1932|title=Zur Begründung der projektiven Geometrie|journal=Ann. of Math.|volume=33|issue=1|pages=175–176|language=German|doi=10.2307/1968111|jstor=1968111}}</ref>
कम से कम 3 ज्यामितीय आयाम के प्रक्षेप्य स्थानों के उपतल आवश्यक रूप से डेसार्गुएसियन हैं, देखें <ref>{{harvnb|Hilbert|1899|loc=§§22}}</ref> §1 या <ref name="coxeter" />§16 या.<ref>{{citation|first1=O.|last1=Veblen|first2=J.W.|last2=Young|year=1910|title=Projective Geometry Vol. I|location=Boston|publisher=Ginn Comp.}}</ref> इसलिए, सभी कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव स्पेस को वास्तविक या जटिल संख्याओं या क्वाटरनियन फ़ील्ड द्वारा समन्वयित किया जा सकता है।<ref>{{citation|first=A.|last=Kolmogoroff|year=1932|title=Zur Begründung der projektiven Geometrie|journal=Ann. of Math.|volume=33|issue=1|pages=175–176|language=German|doi=10.2307/1968111|jstor=1968111}}</ref>
==स्थिर विमान==
==स्थिर प्लेन==
प्राचीन गैर-यूक्लिडियन [[अतिशयोक्तिपूर्ण ज्यामिति]] को एक खुली गोलाकार डिस्क के साथ वास्तविक विमान में सीधी रेखाओं के प्रतिच्छेदन द्वारा दर्शाया जा सकता है। अधिक सामान्यतः  प्राचीन एफ़िन विमानों के खुले (उत्तल) हिस्से विशिष्ट स्थिर विमान होते हैं। इन ज्यामितियों का एक सर्वेक्षण यहां पाया जा सकता है,<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=§§3,4}}</ref> के लिए <math>2</math>-आयामी स्थिति यह भी देखें।<ref name="polster">{{harvnb|Polster|Steinke|2001}}</ref>
प्राचीन गैर-यूक्लिडियन [[अतिशयोक्तिपूर्ण ज्यामिति]] को एक खुली गोलाकार डिस्क के साथ वास्तविक प्लेन में सीधी रेखाओं के प्रतिच्छेदन द्वारा दर्शाया जा सकता है। अधिक सामान्यतः  प्राचीन एफ़िन प्लेन के खुले (उत्तल) हिस्से विशिष्ट स्थिर प्लेन होते हैं। इन ज्यामितियों का एक सर्वेक्षण यहां पाया जा सकता है,<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=§§3,4}}</ref> के लिए <math>2</math>-आयामी स्थिति यह भी देखें।<ref name="polster">{{harvnb|Polster|Steinke|2001}}</ref>
सटीक रूप से, एक स्थिर विमान <math>{\mathcal S}</math> एक टोपोलॉजिकल रैखिक ज्यामिति है <math>(P,\mathfrak{L})</math> ऐसा है कि
सटीक रूप से, एक स्थिर प्लेन <math>{\mathcal S}</math> एक टोपोलॉजिकल रैखिक ज्यामिति है <math>(P,\mathfrak{L})</math> ऐसा है कि


# <math>P</math> सकारात्मक परिमित आयाम का एक स्थानीय रूप से सघन स्थान है,
# <math>P</math> सकारात्मक परिमित आयाम का एक स्थानीय रूप से सघन स्थान है,
# प्रत्येक पंक्ति <math>L\in\mathfrak{L}</math> का एक बंद उपसमुच्चय है <math>P</math>, और <math>\mathfrak{L}</math> एक हॉसडॉर्फ़ स्थान है,
# प्रत्येक पंक्ति <math>L\in\mathfrak{L}</math> का एक सवृत उपसमुच्चय है <math>P</math>, और <math>\mathfrak{L}</math> एक हॉसडॉर्फ़ स्थान है,
# सेट <math>\{(K,L) \mid K \ne L,\;K \cap L \ne \emptyset\}</math> एक खुला उपस्थान है <math>\mathfrak{O} \subset \mathfrak{L}^2</math> (स्थिरता),
# समुच्चय <math>\{(K,L) \mid K \ne L,\;K \cap L \ne \emptyset\}</math> एक खुला उपस्थान है <math>\mathfrak{O} \subset \mathfrak{L}^2</math> (स्थिरता),
# वो '''नक्शा''' <math>(K,L) \mapsto K \cap L:\mathfrak{O} \to P</math> सतत है.
# वो मानचित्र <math>(K,L) \mapsto K \cap L:\mathfrak{O} \to P</math> सतत है.


ध्यान दें कि स्थिरता में ज्यामितियाँ सम्मिलित नहीं हैं <math>3</math>-आयामी एफ़िन स्पेस ओवर <math>\R</math> या <math>\Complex</math>.
ध्यान दें कि स्थिरता में ज्यामितियाँ सम्मिलित नहीं हैं <math>3</math>-आयामी एफ़िन स्पेस ओवर <math>\R</math> या <math>\Complex</math>.


एक स्थिर विमान <math>{\mathcal S}</math> एक प्रक्षेप्य तल है यदि, और केवल यदि, <math>P</math> सघन है.<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=3.11}}</ref>
एक स्थिर प्लेन <math>{\mathcal S}</math> एक प्रक्षेप्य तल है यदि, और केवल यदि, <math>P</math> सघन है.<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=3.11}}</ref>
जैसा कि प्रक्षेप्य तलों के स्थिति में होता है, लाइन पेंसिलें कॉम्पैक्ट होती हैं और आयाम के एक गोले के समतुल्य समरूप होती हैं <math>2^{m-1}</math>, और <math>\dim P = 2^m</math> साथ <math>m\in\{1,2,3,4\}</math>, देखना <ref name="lowen" />या।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=3.28,29}}</ref> इसके अलावा, बिंदु स्थान <math>P</math> स्थानीय रूप से अनुबंध योग्य है।<ref name="lowen" /><ref>{{harvnb|Grundhöfer|Löwen|1995|loc=3.7}}</ref>
जैसा कि प्रक्षेप्य तलों के स्थिति में होता है, लाइन पेंसिलें कॉम्पैक्ट होती हैं और आयाम के एक गोले के समतुल्य समरूप होती हैं <math>2^{m-1}</math>, और <math>\dim P = 2^m</math> साथ <math>m\in\{1,2,3,4\}</math>, देखना <ref name="lowen" />या।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=3.28,29}}</ref> इसके अलावा, बिंदु स्थान <math>P</math> स्थानीय रूप से अनुबंध योग्य है।<ref name="lowen" /><ref>{{harvnb|Grundhöfer|Löwen|1995|loc=3.7}}</ref>
(उचित) स्थिर विमानों के कॉम्पैक्ट समूह छोटे होते हैं। होने देना <math>\Phi_d</math>  प्राचीन के ऑटोमोर्फिज्म समूह के एक अधिकतम कॉम्पैक्ट उपसमूह को निरूपित करें <math>d</math>-आयामी प्रक्षेप्य तल <math>{\mathcal P}_d</math>. तब निम्नलिखित प्रमेय लागू होता है:<br />यदि एक <math>d</math>-आयामी स्थिर विमान <math>{\mathcal S}</math> एक सघन समूह को स्वीकार करता है <math>\Gamma</math> ऐसी ऑटोमोर्फिज्म की <math>\dim\Gamma > \dim\Phi_d-d</math>, तब <math>{\mathcal S} \cong {\mathcal P}_d</math>, देखना।<ref>{{citation|first=M.|last=Stroppel|year=1994|title=Compact groups of automorphisms of stable planes|journal=Forum Math.|volume=6|issue=6|pages=339–359|doi=10.1515/form.1994.6.339|s2cid=53550190|url=http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-62501}}</ref>
 
ध्वज-सजातीय स्थिर विमान। ''होने देना <math>{\mathcal S}=(P,\mathfrak{L})</math> एक स्थिर विमान बनें. यदि ऑटोमोर्फिज्म समूह <math>\operatorname{Aut}{\mathcal S}</math> तो, ध्वज-संक्रमणीय है <math>{\mathcal S}</math> एक  प्राचीन प्रक्षेप्य और एफ़िन विमान है, या <math>{\mathcal S}</math> एक  प्राचीन विमान के अतिशयोक्तिपूर्ण द्वंद्व (प्रक्षेप्य ज्यामिति) के पूर्ण क्षेत्र के आंतरिक भाग के लिए समरूपी है; देखना।{{sfn|Löwen|1983b}}<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=5.8}}</ref><ref>{{harvnb|Salzmann|2014|loc=8.11,12}}</ref>''
(उचित) स्थिर प्लेन के कॉम्पैक्ट समूह छोटे होते हैं। होने देना <math>\Phi_d</math>  प्राचीन के ऑटोमोर्फिज्म समूह के एक अधिकतम कॉम्पैक्ट उपसमूह को निरूपित करें <math>d</math>-आयामी प्रक्षेप्य तल <math>{\mathcal P}_d</math>. तब निम्नलिखित प्रमेय लागू होता है:<br />यदि एक <math>d</math>-आयामी स्थिर प्लेन <math>{\mathcal S}</math> एक सघन समूह को स्वीकार करता है <math>\Gamma</math> ऐसी ऑटोमोर्फिज्म की <math>\dim\Gamma > \dim\Phi_d-d</math>, तब <math>{\mathcal S} \cong {\mathcal P}_d</math>, देखना।<ref>{{citation|first=M.|last=Stroppel|year=1994|title=Compact groups of automorphisms of stable planes|journal=Forum Math.|volume=6|issue=6|pages=339–359|doi=10.1515/form.1994.6.339|s2cid=53550190|url=http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-62501}}</ref>
प्रक्षेप्य स्थिति के विपरीत, बिंदु-सजातीय स्थिर विमानों की बहुतायत है, उनमें से अनुवाद विमानों के विशाल वर्ग हैं, देखें <ref name="knarr" />और।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=Chapters 7 and 8}}</ref>
 
फ्लैग-सजातीय स्थिर प्लेन। ''होने देना <math>{\mathcal S}=(P,\mathfrak{L})</math> एक स्थिर प्लेन बनें. यदि ऑटोमोर्फिज्म समूह <math>\operatorname{Aut}{\mathcal S}</math> तो, फ्लैग-संक्रमणीय है <math>{\mathcal S}</math> एक  प्राचीन प्रक्षेप्य और एफ़िन प्लेन है, या <math>{\mathcal S}</math> एक  प्राचीन प्लेन के अतिशयोक्तिपूर्ण द्वंद्व (प्रक्षेप्य ज्यामिति) के पूर्ण क्षेत्र के आंतरिक भाग के लिए समरूपी है; देखना।{{sfn|Löwen|1983b}}<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=5.8}}</ref><ref>{{harvnb|Salzmann|2014|loc=8.11,12}}</ref>''
 
प्रक्षेप्य स्थिति के विपरीत, बिंदु-सजातीय स्थिर प्लेन की बहुतायत है, उनमें से अनुवाद प्लेन के बृहत वर्ग हैं, देखें <ref name="knarr" />और।<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=Chapters 7 and 8}}</ref>
==सममित तल==
==सममित तल==
एफ़िन अनुवाद विमानों में निम्नलिखित गुण होते हैं:
एफ़िन अनुवाद प्लेन में निम्नलिखित गुण होते हैं:


* एक बिंदु सकर्मक बंद उपसमूह उपस्थित है <math>\Delta</math> ऑटोमोर्फिज्म समूह का जिसमें कुछ पर और इसलिए प्रत्येक बिंदु पर एक अद्वितीय प्रतिबिंब (गणित) होता है।
* एक बिंदु सकर्मक सवृतउपसमूह उपस्थित है <math>\Delta</math> ऑटोमोर्फिज्म समूह का जिसमें कुछ पर और इसलिए प्रत्येक बिंदु पर एक अद्वितीय प्रतिबिंब (गणित) होता है।


अधिक सामान्यतः  एक सममित तल एक स्थिर तल होता है <math>{\mathcal S} = (P,\mathfrak{L})</math> उपरोक्त शर्त को पूरा करना; देखना,<ref name="lowen2" />सी एफ<ref>{{harvnb|Grundhöfer|Löwen|1995|loc=5.26-31}}</ref> इन ज्यामितियों के सर्वेक्षण के लिए। द्वारा <ref>{{citation|first1=K.H.|last1=Hofmann|first2=L.|last2=Kramer|title=Transitive actions of locally compact groups on locally contractive spaces|journal=J. Reine Angew. Math.|volume=702|year=2015|pages=227–243, 245/6}}</ref> परिणाम 5.5, समूह <math>\Delta</math> एक लाई समूह और बिंदु स्थान है <math>P</math> अनेक गुना है. यह इस प्रकार है कि <math>{\mathcal S}</math> एक [[सममित स्थान]] है. सममित स्थानों के लाई सिद्धांत के माध्यम से, आयाम के एक बिंदु सेट के साथ सभी सममित विमान <math>2</math> या <math>4</math> वर्गीकृत किया गया है.<ref name="lowen2">{{citation|first=R.|last=Löwen|year=1979|title=Symmetric planes|journal=Pacific J. Math.|volume=84|issue=2|pages=367–390|doi=10.2140/pjm.1979.84.367|doi-access=free}}</ref><ref>{{citation|first=R.|last=Löwen|year=1979|title=Classification of <math>4</math>-dimensional symmetric planes|journal=Mathematische Zeitschrift|volume=167|pages=137–159|doi=10.1007/BF01215118|doi-access=free|s2cid=123564207}}</ref> वे या तो अनुवाद तल हैं या वे [[सेसक्विलिनियर फॉर्म]] द्वारा निर्धारित होते हैं। एक आसान उदाहरण वास्तविक अतिपरवलयिक तल है।
अधिक सामान्यतः  एक सममित तल एक स्थिर तल होता है <math>{\mathcal S} = (P,\mathfrak{L})</math> उपरोक्त शर्त को पूरा करना; देखना,<ref name="lowen2" />cf<ref>{{harvnb|Grundhöfer|Löwen|1995|loc=5.26-31}}</ref> इन ज्यामितियों के सर्वेक्षण के लिए। द्वारा <ref>{{citation|first1=K.H.|last1=Hofmann|first2=L.|last2=Kramer|title=Transitive actions of locally compact groups on locally contractive spaces|journal=J. Reine Angew. Math.|volume=702|year=2015|pages=227–243, 245/6}}</ref> परिणाम 5.5, समूह <math>\Delta</math> एक लाई समूह और बिंदु स्थान है <math>P</math> अनेक गुना है. यह इस प्रकार है कि <math>{\mathcal S}</math> एक [[सममित स्थान]] है. सममित स्थानों के लाई सिद्धांत के माध्यम से, आयाम के एक बिंदु समुच्चय के साथ सभी सममित प्लेन <math>2</math> या <math>4</math> वर्गीकृत किया गया है.<ref name="lowen2">{{citation|first=R.|last=Löwen|year=1979|title=Symmetric planes|journal=Pacific J. Math.|volume=84|issue=2|pages=367–390|doi=10.2140/pjm.1979.84.367|doi-access=free}}</ref><ref>{{citation|first=R.|last=Löwen|year=1979|title=Classification of <math>4</math>-dimensional symmetric planes|journal=Mathematische Zeitschrift|volume=167|pages=137–159|doi=10.1007/BF01215118|doi-access=free|s2cid=123564207}}</ref> वे या तो अनुवाद तल हैं या वे [[सेसक्विलिनियर फॉर्म]] द्वारा निर्धारित होते हैं। एक आसान उदाहरण वास्तविक अतिपरवलयिक तल है।


==वृत्त ज्यामिति==
==वृत्त ज्यामिति==
प्राचीन मॉडल <ref>{{harvnb|Steinke|1995}}</ref> एक द्विघात सतह के समतल खंडों द्वारा दिए गए हैं <math>S</math> वास्तविक प्रक्षेप्य में <math>3</math>-अंतरिक्ष; अगर <math>S</math> एक गोला है, ज्यामिति को मोएबियस विमान कहा जाता है|मोबियस विमान।<ref name="polster" />एक शासित सतह (एक-शीट हाइपरबोलाइड) के समतल खंड  प्राचीन मिन्कोव्स्की विमान, सीएफ उत्पन्न करते हैं।<ref>{{harvnb|Polster|Steinke|2001|loc=§4}}</ref> सामान्यीकरण के लिए. अगर <math>S</math> अपने शीर्ष के बिना एक अण्डाकार शंकु है, ज्यामिति को लैगुएरे विमान कहा जाता है। सामूहिक रूप से इन विमानों को कभी-कभी [[बेंज विमान]] भी कहा जाता है। एक टोपोलॉजिकल बेंज विमान प्राचीन है, यदि प्रत्येक बिंदु में एक '''पड़ोस''' है जो संबंधित  प्राचीन बेंज विमान के कुछ '''खुले''' टुकड़े के लिए आइसोमोर्फिक है।<ref>{{citation|first=G.|last=Steinke|year=1983|title=Locally classical Benz planes are classical|journal=Mathematische Zeitschrift|volume=183|pages=217–220|doi=10.1007/bf01214821|doi-access=free|s2cid=122877328}}</ref>
प्राचीन मॉडल <ref>{{harvnb|Steinke|1995}}</ref> एक द्विघात सतह के समतल खंडों द्वारा दिए गए हैं <math>S</math> वास्तविक प्रक्षेप्य में <math>3</math>- स्पेस; अगर <math>S</math> एक गोला है, ज्यामिति को मोएबियस प्लेन कहा जाता है|मोबियस प्लेन।<ref name="polster" />एक शासित सतह (एक-शीट हाइपरबोलाइड) के समतल खंड  प्राचीन मिन्कोव्स्की प्लेन, सीएफ उत्पन्न करते हैं।<ref>{{harvnb|Polster|Steinke|2001|loc=§4}}</ref> सामान्यीकरण के लिए. अगर <math>S</math> अपने शीर्ष के बिना एक अण्डाकार शंकु है, ज्यामिति को लैगुएरे प्लेन कहा जाता है। सामूहिक रूप से इन प्लेन को कभी-कभी [[बेंज विमान|बेंज प्लेन]] भी कहा जाता है। एक टोपोलॉजिकल बेंज प्लेन प्राचीन है, यदि प्रत्येक बिंदु में एक नज़दीक है जो संबंधित  प्राचीन बेंज प्लेन के कुछ असंकुल टुकड़े के लिए आइसोमोर्फिक है।<ref>{{citation|first=G.|last=Steinke|year=1983|title=Locally classical Benz planes are classical|journal=Mathematische Zeitschrift|volume=183|pages=217–220|doi=10.1007/bf01214821|doi-access=free|s2cid=122877328}}</ref>
===मोबियस विमान===
===मोबियस प्लेन===
मोबियस विमानों में एक समूह सम्मिलित है <math>\mathfrak{C}</math> वृत्तों का, जो टोपोलॉजिकल 1-गोले हैं <math>2</math>-वृत्त <math>S</math> ऐसा कि प्रत्येक बिंदु के लिए <math>p</math> व्युत्पन्न संरचना <math>(S\setminus\{p\},\{C\setminus\{p\}\mid p\in C\in\mathfrak{C}\})</math> एक टोपोलॉजिकल एफ़िन प्लेन है।<ref>{{citation|first=D.|last=Wölk|year=1966|title=Topologische Möbiusebenen|journal=Mathematische Zeitschrift|volume=93|pages=311–333|doi=10.1007/BF01111942|doi-access=free|language=German}}</ref> विशेष रूप से, कोई भी <math>3</math> अलग-अलग बिंदु एक अद्वितीय वृत्त से जुड़े हुए हैं। वृत्त स्थान <math>\mathfrak{C}</math> फिर वास्तविक प्रक्षेप्य के लिए होमियोमोर्फिक है <math>3</math>-एक बिंदु वाला स्थान हटा दिया गया।<ref>{{citation|first1=R.|last1=Löwen|first2=G.F.|last2=Steinke|year=2014|title=The circle space of a spherical circle plane|journal=Bull. Belg. Math. Soc. Simon Stevin|volume=21|issue=2|pages=351–364|doi=10.36045/bbms/1400592630|doi-access=free}}</ref> उदाहरणों का एक बड़ा वर्ग वास्तविक रूप में अंडे जैसी सतह के समतल खंडों द्वारा दिया गया है <math>3</math>-अंतरिक्ष।
मोबियस प्लेन में एक समूह सम्मिलित है <math>\mathfrak{C}</math> वृत्तों का, जो टोपोलॉजिकल 1-गोले हैं <math>2</math>-वृत्त <math>S</math> ऐसा कि प्रत्येक बिंदु के लिए <math>p</math> व्युत्पन्न संरचना <math>(S\setminus\{p\},\{C\setminus\{p\}\mid p\in C\in\mathfrak{C}\})</math> एक टोपोलॉजिकल एफ़िन प्लेन है।<ref>{{citation|first=D.|last=Wölk|year=1966|title=Topologische Möbiusebenen|journal=Mathematische Zeitschrift|volume=93|pages=311–333|doi=10.1007/BF01111942|doi-access=free|language=German}}</ref> विशेष रूप से, कोई भी <math>3</math> अलग-अलग बिंदु एक अद्वितीय वृत्त से जुड़े हुए हैं। वृत्त स्थान <math>\mathfrak{C}</math> फिर वास्तविक प्रक्षेप्य के लिए होमियोमोर्फिक है <math>3</math>-एक बिंदु वाला स्थान हटा दिया गया।<ref>{{citation|first1=R.|last1=Löwen|first2=G.F.|last2=Steinke|year=2014|title=The circle space of a spherical circle plane|journal=Bull. Belg. Math. Soc. Simon Stevin|volume=21|issue=2|pages=351–364|doi=10.36045/bbms/1400592630|doi-access=free}}</ref> उदाहरणों का एक बड़ा वर्ग वास्तविक रूप में अंडे जैसी सतह के समतल खंडों द्वारा दिया गया है <math>3</math>- स्पेस।
 
===सजातीय मोबियस प्लेन===
यदि ऑटोमोर्फिज्म समूह <math>\Sigma</math> मोबियस प्लेन का बिंदु समुच्चय पर संक्रमणीय है <math>S</math> या समुच्चय पर <math>\mathfrak{C}</math> वृत्तों का, या यदि <math>\dim\Sigma \ge 4</math>, तब <math>(S,\mathfrak{C})</math>  प्राचीन है और <math>\dim\Sigma = 6</math>, देखना।<ref>{{citation|first=K.|last=Strambach|year=1970|title=Sphärische Kreisebenen|journal=Mathematische Zeitschrift|volume=113|pages=266–292|language=German|doi=10.1007/bf01110328|doi-access=free|s2cid=122982956}}</ref><ref>{{harvnb|Steinke|1995|loc=3.2}}</ref>
 
कॉम्पैक्ट प्रक्षेप्य प्लेन के विपरीत, आयाम के वृत्तों के साथ कोई टोपोलॉजिकल मोबियस प्लेन नहीं हैं <math> >1 </math>, विशेष रूप से कोई कॉम्पैक्ट मोबियस प्लेन नहीं <math>4</math>-आयामी बिंदु स्थान.<ref>{{citation|first=H.|last=Groh|year=1973|title=Möbius planes with locally euclidean circles are flat|journal=Math. Ann.|volume=201|issue=2|pages=149–156|doi=10.1007/bf01359792|s2cid=122256290}}</ref> सभी 2-आयामी मोबियस प्लेन समुच्चय ऐसे हैं <math>\dim\Sigma \ge 3</math> स्पष्ट रूप से वर्णित किया जा सकता है।<ref>{{citation|first=K.|last=Strambach|year=1972|title=Sphärische Kreisebenen mit dreidimensionaler nichteinfacher Automorphismengruppe|journal=Mathematische Zeitschrift|volume=124|pages=289–314|language=German|doi=10.1007/bf01113922|doi-access=free|s2cid=120716300}}</ref><ref>{{citation|first=K.|last=Strambach|year=1973|title=Sphärische Kreisebenen mit einfacher Automorphismengruppe'|journal=Geom. Dedicata|volume=1|pages=182–220|language=German|doi=10.1007/bf00147520|s2cid=123023992}}</ref>
===लैगुएरे प्लेन===
लैगुएरे प्लेन के  प्राचीन मॉडल में एक वृत्तीय सिलिंड्रिकल (बेलनाकार) सतह होती है <math>C</math> सच में <math>3</math>- स्पेस <math>\R^3</math> बिंदु समुच्चय और कॉम्पैक्ट प्लेन अनुभागों के रूप में <math>C</math> वृत्तों के रूप में हैं। ऐसे बिंदुओं के जोड़े जो एक वृत्त से नहीं जुड़े होते हैं, समानांतर कहलाते हैं। होने देना <math>P</math> समांतर बिंदुओं के एक वर्ग को निरूपित करें। तब <math>C \setminus P</math> एक प्लेन है <math>\R^2</math>, वृत्तों को इस तल में परवलयों के रूप में दर्शाया जा सकता है <math>y = ax^2+bx+c</math>.


===सजातीय मोबियस विमान===
इसी तरह,  प्राचीन <math>4</math>-आयामी लैगुएरे प्लेन जटिल द्विघात बहुपदों की ज्यामिति से संबंधित है। सामान्य तौर पर, स्थानीय रूप से कॉम्पैक्ट कनेक्टेड लैगुएरे प्लेन के सिद्धांतों के लिए आवश्यक है कि व्युत्पन्न प्लेन परिमित आयाम के कॉम्पैक्ट प्रक्षेप्य प्लेन में एम्बेड हों। व्युत्पत्ति के बिंदु से नहीं गुजरने वाला एक वृत्त व्युत्पन्न प्रक्षेप्य तल में एक [[अंडाकार]] उत्पन्न करता है। द्वारा <ref>{{citation|first1=T.|last1=Buchanan|first2=H.|last2=Hähl|first3=R.|last3=Löwen|year=1980|title=Topologische Ovale|journal=Geom. Dedicata|volume=9|issue=4|pages=401–424|language=German|doi=10.1007/bf00181558|s2cid=189889834}}</ref> या,<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=55.14}}</ref> वृत्त आयाम के गोले के समरूप होते हैं <math>1</math> या <math>2</math>. इसलिए स्थानीय रूप से कॉम्पैक्ट जुड़े लैगुएरे प्लेन का बिंदु स्थान सिलेंडर के लिए होमियोमॉर्फिक है <math>C</math> या यह एक है <math>4</math>-आयामी कई गुना, सीएफ।<ref>{{harvnb|Steibke|1995|loc=5.7}}</ref> का एक बड़ा वर्ग <math>2</math>-आयामी उदाहरण, जिन्हें ओवॉइडल लैगुएरे प्लेन कहा जाता है, वास्तविक 3-स्पेस में एक सिलेंडर के समतल खंडों द्वारा दिया जाता है जिसका आधार एक अंडाकार होता है <math>\R^2</math>.
यदि ऑटोमोर्फिज्म समूह <math>\Sigma</math> मोबियस विमान का बिंदु सेट पर संक्रमणीय है <math>S</math> या सेट पर <math>\mathfrak{C}</math> वृत्तों का, या यदि <math>\dim\Sigma \ge 4</math>, तब <math>(S,\mathfrak{C})</math> प्राचीन है और <math>\dim\Sigma = 6</math>, देखना।<ref>{{citation|first=K.|last=Strambach|year=1970|title=Sphärische Kreisebenen|journal=Mathematische Zeitschrift|volume=113|pages=266–292|language=German|doi=10.1007/bf01110328|doi-access=free|s2cid=122982956}}</ref><ref>{{harvnb|Steinke|1995|loc=3.2}}</ref>
कॉम्पैक्ट प्रक्षेप्य विमानों के विपरीत, आयाम के वृत्तों के साथ कोई टोपोलॉजिकल मोबियस विमान नहीं हैं <math> >1 </math>, विशेष रूप से कोई कॉम्पैक्ट मोबियस विमान नहीं <math>4</math>-आयामी बिंदु स्थान.<ref>{{citation|first=H.|last=Groh|year=1973|title=Möbius planes with locally euclidean circles are flat|journal=Math. Ann.|volume=201|issue=2|pages=149–156|doi=10.1007/bf01359792|s2cid=122256290}}</ref> सभी 2-आयामी मोबियस विमान ऐसे हैं <math>\dim\Sigma \ge 3</math> स्पष्ट रूप से वर्णित किया जा सकता है।<ref>{{citation|first=K.|last=Strambach|year=1972|title=Sphärische Kreisebenen mit dreidimensionaler nichteinfacher Automorphismengruppe|journal=Mathematische Zeitschrift|volume=124|pages=289–314|language=German|doi=10.1007/bf01113922|doi-access=free|s2cid=120716300}}</ref><ref>{{citation|first=K.|last=Strambach|year=1973|title=Sphärische Kreisebenen mit einfacher Automorphismengruppe'|journal=Geom. Dedicata|volume=1|pages=182–220|language=German|doi=10.1007/bf00147520|s2cid=123023992}}</ref>
===लैगुएरे विमान===
लैगुएरे विमान के प्राचीन मॉडल में एक गोलाकार बेलनाकार सतह होती है <math>C</math> सच में <math>3</math>-अंतरिक्ष <math>\R^3</math> बिंदु सेट और कॉम्पैक्ट विमान अनुभागों के रूप में <math>C</math> वृत्तों के रूप में। ऐसे बिंदुओं के जोड़े जो एक वृत्त से नहीं जुड़े होते हैं, समानांतर कहलाते हैं। होने देना <math>P</math> समांतर बिंदुओं के एक वर्ग को निरूपित करें। तब <math>C \setminus P</math> एक विमान है <math>\R^2</math>, वृत्तों को इस तल में परवलयों के रूप में दर्शाया जा सकता है <math>y = ax^2+bx+c</math>.


इसी तरह,  प्राचीन <math>4</math>-आयामी लैगुएरे विमान जटिल द्विघात बहुपदों की ज्यामिति से संबंधित है। सामान्य तौर पर, स्थानीय रूप से कॉम्पैक्ट कनेक्टेड लैगुएरे विमान के सिद्धांतों के लिए आवश्यक है कि व्युत्पन्न विमान परिमित आयाम के कॉम्पैक्ट प्रक्षेप्य विमानों में एम्बेड हों। व्युत्पत्ति के बिंदु से नहीं गुजरने वाला एक वृत्त व्युत्पन्न प्रक्षेप्य तल में एक [[अंडाकार]] उत्पन्न करता है। द्वारा <ref>{{citation|first1=T.|last1=Buchanan|first2=H.|last2=Hähl|first3=R.|last3=Löwen|year=1980|title=Topologische Ovale|journal=Geom. Dedicata|volume=9|issue=4|pages=401–424|language=German|doi=10.1007/bf00181558|s2cid=189889834}}</ref> या,<ref>{{harvnb|Salzmann|Betten|Grundhöfer|Hähl|1995|loc=55.14}}</ref> वृत्त आयाम के गोले के समरूप होते हैं <math>1</math> या <math>2</math>. इसलिए स्थानीय रूप से कॉम्पैक्ट जुड़े लैगुएरे विमान का बिंदु स्थान सिलेंडर के लिए होमियोमॉर्फिक है <math>C</math> या यह एक है <math>4</math>-आयामी कई गुना, सीएफ।<ref>{{harvnb|Steibke|1995|loc=5.7}}</ref> का एक बड़ा वर्ग <math>2</math>-आयामी उदाहरण, जिन्हें ओवॉइडल लैगुएरे प्लेन कहा जाता है, वास्तविक 3-स्पेस में एक सिलेंडर के समतल खंडों द्वारा दिया जाता है जिसका आधार एक अंडाकार होता है <math>\R^2</math>.
ऑटोमोर्फिज्म समूह <math>2d</math>-आयामी लैगुएरे प्लेन (<math>d = 1, 2</math>) बिंदु स्थान के कॉम्पैक्ट उपसमुच्चय पर समान अभिसरण की टोपोलॉजी के संबंध में एक लाई समूह है; इसके अलावा, इस समूह का आयाम अधिकतम है <math>7d</math>. लैगुएरे प्लेन के सभी ऑटोमोर्फिज्म जो प्रत्येक समानांतर वर्ग को ठीक करते हैं, एक सामान्य उपसमूह बनाते हैं, पूर्ण ऑटोमोर्फिज्म समूह का कर्नेल। <math>2</math>वें>-आयामी लैगुएरे प्लेन के साथ <math>\dim\Sigma=5</math> उचित तिरछा परवलय के ऊपर बिल्कुल अंडाकार तल हैं।<ref>{{harvnb|Steinke|1995|loc=5.5}}</ref>  प्राचीन <math>2d</math>-डायमेंशनल लैगुएरे प्लेन ही ऐसे हैं <math>\dim\Sigma > 5d</math>, see,<ref>{{harvnb|Steinke|1995|loc=5.4,8}}</ref> cf भी।<ref name="steinke">{{citation|first=G.F.|last=Steinke|year=2002|title=<math>4</math>-dimensional elation Laguerre planes admitting non-solvable automorphism groups|journal=Monatsh. Math.|volume=136|pages=327–354|doi=10.1007/s006050200046|s2cid=121391952}}</ref>
=== सजातीय लैगुएरे प्लेन ===
यदि ऑटोमोर्फिज्म समूह <math>\Sigma</math> एक का <math>2d</math>-आयामी लैगुएरे प्लेन <math>{\mathcal L}</math> समानांतर वर्गों के समुच्चय पर सकर्मक है, और यदि कर्नेल <math>T \triangleleft \Sigma</math> तो, वृत्तों के समुच्चय पर सकर्मक है <math>{\mathcal L}</math> प्राचीन है, देखिए <ref>{{citation|first=G.F.|last=Steinke|year=1993|title=<math>4</math>-dimensional point-transitive groups of automorphisms of <math>2</math>- dimensional Laguerre planes|journal=Results in Mathematics|volume=24|pages=326–341|doi=10.1007/bf03322341|s2cid=123334384}}</ref><ref name="steinke" />2.1,2.


ऑटोमोर्फिज्म समूह <math>2d</math>-आयामी लैगुएरे विमान (<math>d = 1, 2</math>) बिंदु स्थान के कॉम्पैक्ट उपसमुच्चय पर समान अभिसरण की टोपोलॉजी के संबंध में एक लाई समूह है; इसके अलावा, इस समूह का आयाम अधिकतम है <math>7d</math>. लैगुएरे विमान के सभी ऑटोमोर्फिज्म जो प्रत्येक समानांतर वर्ग को ठीक करते हैं, एक सामान्य उपसमूह बनाते हैं, पूर्ण ऑटोमोर्फिज्म समूह का कर्नेल। <math>2</math>वें>-आयामी लैगुएरे विमानों के साथ <math>\dim\Sigma=5</math> उचित तिरछा परवलय के ऊपर बिल्कुल अंडाकार तल हैं।<ref>{{harvnb|Steinke|1995|loc=5.5}}</ref> प्राचीन <math>2d</math>-डायमेंशनल लैगुएरे विमान ही ऐसे हैं <math>\dim\Sigma > 5d</math>, देखना,<ref>{{harvnb|Steinke|1995|loc=5.4,8}}</ref> सी एफ भी।<ref name="steinke">{{citation|first=G.F.|last=Steinke|year=2002|title=<math>4</math>-dimensional elation Laguerre planes admitting non-solvable automorphism groups|journal=Monatsh. Math.|volume=136|pages=327–354|doi=10.1007/s006050200046|s2cid=121391952}}</ref>
हालाँकि, वृत्तों के समुच्चय पर ऑटोमोर्फिज्म समूह की परिवर्तनशीलता प्राचीन मॉडल को चित्रित करने के लिए पर्याप्त नहीं है <math>2d</math>-आयामी लैगुएरे प्लेन है।
=== सजातीय लैगुएरे विमान ===
यदि ऑटोमोर्फिज्म समूह <math>\Sigma</math> एक का <math>2d</math>-आयामी लैगुएरे विमान <math>{\mathcal L}</math> समानांतर वर्गों के सेट पर सकर्मक है, और यदि कर्नेल <math>T \triangleleft \Sigma</math> तो, वृत्तों के समुच्चय पर सकर्मक है <math>{\mathcal L}</math>  प्राचीन है, देखिए <ref>{{citation|first=G.F.|last=Steinke|year=1993|title=<math>4</math>-dimensional point-transitive groups of automorphisms of <math>2</math>- dimensional Laguerre planes|journal=Results in Mathematics|volume=24|pages=326–341|doi=10.1007/bf03322341|s2cid=123334384}}</ref><ref name="steinke" />2.1,2.


हालाँकि, वृत्तों के सेट पर ऑटोमोर्फिज्म समूह की परिवर्तनशीलता प्राचीन मॉडल को चित्रित करने के लिए पर्याप्त नहीं है <math>2d</math>-आयामी लैगुएरे विमान।
===मिन्कोव्स्की प्लेन===
मिन्कोव्स्की प्लेन के  प्राचीन मॉडल में [[ टोरस्र्स | टोरस्र्स]] होता है <math>\mathbb{S}_1 \times \mathbb{S}_1</math> बिंदु स्थान के रूप में, वृत्त वास्तविक भिन्नात्मक रैखिक मानचित्रों के ग्राफ़ हैं <math>\mathbb{S}_1 = \R \cup\{\infty\}</math>. लैगुएरे प्लेन की तरह, स्थानीय रूप से कॉम्पैक्ट कनेक्टेड मिन्कोव्स्की प्लेन का बिंदु स्थान है <math>1</math>- या <math>2</math>-आयामी; बिंदु स्थान तब टोरस या टू के लिए समरूप होता है <math>\mathbb{S}_2 \times \mathbb{S}_2</math>, देखना।<ref>{{harvnb|Steinke|1991|loc=4.6}}</ref>
===सजातीय मिन्कोव्स्की प्लेन===
यदि ऑटोमोर्फिज्म समूह <math>\Sigma</math> मिन्कोवस्की प्लेन का <math>{\mathcal M}</math> आयाम का <math>2d</math> तो, फ्लैग-संक्रमणीय है <math>{\mathcal M}</math>  प्राचीन है.<ref>{{citation|first=G.F.|last=Steinke|year=1992|title=<math>4</math>-dimensional Minkowski planes with large automorphism group|journal=Forum Math.|volume=4|pages=593–605|doi=10.1515/form.1992.4.593|s2cid=122970200}}</ref>


===मिन्कोव्स्की विमान===
ऑटोमोर्फिज्म समूह का <math>2d</math>-आयामी मिन्कोव्स्की प्लेन अधिक से अधिक आयामों का एक लाई समूह है <math>6d</math>. सभी <math>2</math>-आयामी मिन्कोव्स्की प्लेन ऐसे हैं <math>\dim\Sigma \ge 4</math> स्पष्ट रूप से वर्णित किया जा सकता है।<ref>{{harvnb|Polster|Steinke|2001|loc=§4.4}}</ref>  प्राचीन <math>2d</math>-आयामी मिन्कोव्स्की प्लेन एकमात्र ऐसा है जिसके साथ <math>\dim\Sigma > 4d</math>, देखना।<ref>{{harvnb|Steinke|1995|loc=4.5 and 4.8}}</ref>
मिन्कोव्स्की विमान के  प्राचीन मॉडल में [[ टोरस्र्स ]] होता है <math>\mathbb{S}_1 \times \mathbb{S}_1</math> बिंदु स्थान के रूप में, वृत्त वास्तविक भिन्नात्मक रैखिक मानचित्रों के ग्राफ़ हैं <math>\mathbb{S}_1 = \R \cup\{\infty\}</math>. लैगुएरे विमानों की तरह, स्थानीय रूप से कॉम्पैक्ट कनेक्टेड मिन्कोव्स्की विमान का बिंदु स्थान है <math>1</math>- या <math>2</math>-आयामी; बिंदु स्थान तब टोरस या टू के लिए समरूप होता है <math>\mathbb{S}_2 \times \mathbb{S}_2</math>, देखना।<ref>{{harvnb|Steinke|1991|loc=4.6}}</ref>
===सजातीय मिन्कोव्स्की विमान===
यदि ऑटोमोर्फिज्म समूह <math>\Sigma</math> मिन्कोवस्की विमान का <math>{\mathcal M}</math> आयाम का <math>2d</math> तो, ध्वज-संक्रमणीय है <math>{\mathcal M}</math>  प्राचीन है.<ref>{{citation|first=G.F.|last=Steinke|year=1992|title=<math>4</math>-dimensional Minkowski planes with large automorphism group|journal=Forum Math.|volume=4|pages=593–605|doi=10.1515/form.1992.4.593|s2cid=122970200}}</ref>
ए का ऑटोमोर्फिज्म समूह <math>2d</math>-आयामी मिन्कोव्स्की विमान अधिक से अधिक आयामों का एक लाई समूह है <math>6d</math>. सभी <math>2</math>-आयामी मिन्कोव्स्की विमान ऐसे हैं <math>\dim\Sigma \ge 4</math> स्पष्ट रूप से वर्णित किया जा सकता है।<ref>{{harvnb|Polster|Steinke|2001|loc=§4.4}}</ref>  प्राचीन <math>2d</math>-आयामी मिन्कोव्स्की विमान एकमात्र ऐसा है जिसके साथ <math>\dim\Sigma > 4d</math>, देखना।<ref>{{harvnb|Steinke|1995|loc=4.5 and 4.8}}</ref>
== टिप्पणियाँ ==
== टिप्पणियाँ ==
{{reflist|30em}}
{{reflist|30em}}

Revision as of 17:43, 8 July 2023

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

रैखिक ज्यामिति

रैखिक ज्यामिति घटना संरचनाएं हैं जिनमें कोई भी दो अलग-अलग बिंदु होते हैं और एक अद्वितीय रेखा से प्रांरम्भ जुड़े हुए हैं . ऐसी ज्यामिति को टोपोलॉजिकल इफ़ कहा जाता है जोड़ी पर लगातार निर्भर करता है बिंदु समुच्चय और लाइन समुच्चय पर दी गई टोपोलॉजी के संबंध में है। एक रैखिक ज्यामिति का द्वैत बिंदुओं और रेखाओं की भूमिकाओं को आपस में बदलकर प्राप्त किया जाता है। रैखिक टोपोलॉजिकल ज्यामिति का एक सर्वेक्षण आपतन ज्यामिति की हैंडबुक के अध्याय 23 में दिया गया है।[1] सबसे व्यापक रूप से जांच की गई टोपोलॉजिकल रैखिक ज्यामिति वे हैं जो दोहरी टोपोलॉजिकल रैखिक ज्यामिति भी हैं। ऐसी ज्यामिति को टोपोलॉजिकल प्रक्षेप्य तल के रूप में जाना जाता है।

इतिहास

इन प्लेन का व्यवस्थित अध्ययन 1954 में स्कोर्नाकोव के एक पेपर के साथ प्रांरम्भ हुआ।[2] इससे पहले, वास्तविक प्रक्षेप्य तल के टोपोलॉजिकल गुणों को एफाइन लाइनों पर ऑर्डर सिद्धांत के माध्यम से पेश किया गया था, उदाहरण के लिए, डेविड हिल्बर्ट,[3] हेरोल्ड स्कॉट मैकडोनाल्ड कॉक्सेटर,[4] और ओ वायलर.[5] ऑर्डरिंग की पूर्णता स्थानीय रूप स्थानीय रूप से सघन स्थान के बराबर है और इसका तात्पर्य है कि एफ़िन लाइनें होमियोमोर्फिज्म हैं और वह बिंदु स्थान जुड़ा हुआ स्थान है। ध्यान दें कि तर्कसंगत संख्याएँ समतल ज्यामिति की हमारी सहज धारणाओं का वर्णन करने के लिए पर्याप्त नहीं हैं और तर्कसंगत क्षेत्र का कुछ विस्तार आवश्यक है। वास्तव में, समीकरण क्योंकि वृत्त का कोई तर्कसंगत समाधान नहीं है।

टोपोलॉजिकल प्रक्षेप्य तल

हालाँकि, जटिल संख्याओं, चतुर्भुज या ऑक्टोनियन बीजगणित द्वारा समन्वित प्लेन के लिए, क्रमबद्ध संबंधों के माध्यम से प्रक्षेप्य प्लेन के टोपोलॉजिकल गुणों तक पहुंचना संभव नहीं है।[6] बिंदु स्थान के साथ-साथ इन प्राचीन प्लेन के रेखा स्थान (वास्तविक संख्याओं, जटिल संख्याओं, चतुर्भुज और ऑक्टोनियन पर) आयाम के कॉम्पैक्ट कई गुना हैं .

सामयिक आयाम

टोपोलॉजिकल स्पेस के आयाम की धारणा टोपोलॉजिकल के अध्ययन में, विशेष रूप से कॉम्पैक्ट कनेक्टेड प्लेन के अध्ययन में एक प्रमुख भूमिका निभाती है। सामान्य स्थान के लिए , आयाम इसे इस प्रकार चित्रित किया जा सकता है:

अगर को दर्शाता है -गोला, फिर यदि, और केवल यदि, प्रत्येक सवृतउपस्थान के लिए प्रत्येक सतत मानचित्र निरंतर विस्तार है .

आयाम के विवरण और अन्य परिभाषाओं के लिए देखें [7] और वहां दिए गए संदर्भ, विशेष रूप से एंगेलकिंग में[8] या फेडोरचुक।[9]

2-आयामी समतल

2-आयामी बिंदु स्थान के साथ एक कॉम्पैक्ट टोपोलॉजिकल प्लेन (स्थलीय प्लेन) की रेखाएं एक वृत्त के होमोमोर्फिक वक्रों का एक समूह बनाती हैं, और यह तथ्य टोपोलॉजिकल प्रक्षेप्य प्लेन के बीच इन प्लेन की विशेषता बताता है।[10] समान रूप से, बिंदु स्थान एक सतह (गणित) है। प्रारंभिक उदाहरण प्राचीन वास्तविक स्तर के समरूपी नहीं हैं हिल्बर्ट द्वारा दिये गये हैं[3][11] और वन रे मौलटन[12] इन उदाहरणों की निरंतरता गुणों पर उस समय स्पष्ट रूप से विचार नहीं किया गया है, हो सकता है कि उन्हें मान लिया गया हो। हिल्बर्ट के निर्माण को अनगिनत जोड़ीदार गैर-आइसोमोर्फिक प्राप्त करने के लिए संशोधित किया जा सकता है -आयामी कॉम्पैक्ट प्लेन। भेद करने का पारंपरिक तरीका दूसरे से -आयामी प्लेन डेसर्गेस कॉन्फ़िगरेशन की वैधता से है | डेसर्गेस का प्रमेय या पप्पस का षट्भुज प्रमेय (देखें, उदाहरण के लिए, पिकर्ट[13]इन दो विन्यास प्रमेयों की चर्चा के लिए)। उत्तरार्द्ध को पूर्व (कर्ट हेसेनबर्ग) के रूप में जाना जाता है[14])l डेसर्गेस का प्रमेय समतल की एक प्रकार की समरूपता को व्यक्त करता है। सामान्य तौर पर, यह एक प्रक्षेप्य प्लेन में रहता है यदि, और केवल तभी, प्लेन को एक (जरूरी नहीं कि क्रमविनिमेय) क्षेत्र द्वारा समन्वित किया जा सके,[3][15][13] इसलिए इसका तात्पर्य यह है कि स्वचालितता का समूह चतुष्कोणों के समुच्चय पर समूह क्रिया (गणित) है ( अंक संख्या जिनमें से संरेख हैं)। वर्तमान सेटिंग में, बहुत कमजोर एकरूपता स्थिति की विशेषता है :

प्रमेय यदि ऑटोमोर्फिज्म समूह एक का -आयामी कॉम्पैक्ट प्लेन बिंदु समुच्चय (या रेखा समुच्चय) पर सकर्मक है एक सघन उपसमूह है जो फ्लैग्स (=घटना बिंदु-रेखा जोड़े) के समुच्चय पर भी सकर्मक है, और प्राचीन है.[10]

ऑटोमोर्फिज्म समूह एक का -आयामी कॉम्पैक्ट प्लेन , बिंदु स्थान पर समान अभिसरण की टोपोलॉजी के साथ लिया गया, अधिकतम आयाम का एक स्थानीय रूप से कॉम्पैक्ट समूह है , वास्तव में एक लाई समूह भी है। सभी -आयामी प्लेन ऐसे कि स्पष्ट रूप से वर्णित किया जा सकता है;[10]उनके साथ बिल्कुल मौलटन प्लेन, प्राचीन प्लेन हैं सिर्फ यही -आयामी प्लेन के साथ ; यह सभी देखें।[16]

कॉम्पैक्ट कनेक्टेड प्लेन

परिणाम जारी -आयामी तलों को आयाम के सघन तलों तक विस्तारित किया गया है . यह निम्नलिखित मूल प्रमेय के कारण संभव है:

कॉम्पैक्ट प्लेन की टोपोलॉजीयदि बिंदु स्थान का आयाम एक कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव प्लेन का परिमित है साथ . इसके अलावा, प्रत्येक पंक्ति आयाम का एक समरूप क्षेत्र है , देखना [17] या।[18]

4-आयामी प्लेन के विशेष पहलुओं का उपचार किया जाता है,[19] अधिक हालिया परिणाम यहां पाए जा सकते हैं।[20] -आयामी कॉम्पैक्ट प्लेन की पंक्तियाँ होमियोमोर्फिक हैं -वृत्त;[21] स्थिति में यह ज्ञात नहीं है कि रेखाएँ कई गुना हैं, लेकिन अब तक पाए गए सभी उदाहरणों में रेखाएँ गोले हैं। एक उपप्लेन एक प्रक्षेप्य तल का इसे रीनहोल्ड बेयर सबप्लेन कहा जाता है,[22] यदि प्रत्येक बिंदु की एक पंक्ति के साथ घटना है और प्रत्येक पंक्ति का एक बिंदु सम्मिलित है . एक सवृत उपतल एक कॉम्पैक्ट कनेक्टेड प्लेन का बेयर सबप्लेन है यदि, और केवल यदि, का बिंदु स्थान और की एक पंक्ति एक ही आयाम है. इसलिए 8-आयामी प्लेन की रेखाएँ एक गोले के समरूपी हैं अगर एक सवृतबेयर सबप्लेन है।[23]

सजातीय प्लेन. अगर एक कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव प्लेन है और यदि के बिंदु समुच्चय पर सकर्मक है , तब एक फ्लैग-संक्रमणीय कॉम्पैक्ट उपसमूह है और प्राचीन है, देखिए [24] या।[25] वास्तव में, एक अण्डाकार गति समूह है.[26] होने देना आयाम का एक सघन तल बनें , और लिखा . अगर , तब प्राचीन है,[27] और आयाम का एक सरल लाई समूह है क्रमश। सभी प्लेन साथ स्पष्ट रूप से ज्ञात हैं।[28] के साथ प्लेन वास्तव में एफ़िन प्लेन (घटना ज्यामिति) के प्रक्षेप्य समापन तथाकथित उत्परिवर्तन द्वारा समन्वित होते हैं ऑक्टोनियन बीजगणित का , जहां नया गुणा इसे इस प्रकार परिभाषित किया गया है: एक वास्तविक संख्या चुनें साथ और रखें . बृहत आयाम वाले समूह वाले प्लेन के बृहत समूहों को उनके ऑटोमोर्फिज्म समूहों के बारे में धारणाओं से प्रांरम्भ करके व्यवस्थित रूप से प्राप्त किया गया है, उदाहरण के लिए, देखें।[20][29][30][31][32] उनमें से कई अनुवाद प्लेन के प्रक्षेप्य समापन हैं (एफ़िन प्लेन प्रत्येक पंक्ति को समानांतर में मैप करने वाले ऑटोमोर्फिज्म के एक तीव्र संक्रमणीय समूह को स्वीकार करते हैं), cf .;[33] यह सभी देखें [34] स्थिति में नवीनतम परिणामों के लिए और [30]के लिए .

कॉम्पैक्ट प्रक्षेप्य स्थान

कम से कम 3 ज्यामितीय आयाम के प्रक्षेप्य स्थानों के उपतल आवश्यक रूप से डेसार्गुएसियन हैं, देखें [35] §1 या [4]§16 या.[36] इसलिए, सभी कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव स्पेस को वास्तविक या जटिल संख्याओं या क्वाटरनियन फ़ील्ड द्वारा समन्वयित किया जा सकता है।[37]

स्थिर प्लेन

प्राचीन गैर-यूक्लिडियन अतिशयोक्तिपूर्ण ज्यामिति को एक खुली गोलाकार डिस्क के साथ वास्तविक प्लेन में सीधी रेखाओं के प्रतिच्छेदन द्वारा दर्शाया जा सकता है। अधिक सामान्यतः प्राचीन एफ़िन प्लेन के खुले (उत्तल) हिस्से विशिष्ट स्थिर प्लेन होते हैं। इन ज्यामितियों का एक सर्वेक्षण यहां पाया जा सकता है,[38] के लिए -आयामी स्थिति यह भी देखें।[39] सटीक रूप से, एक स्थिर प्लेन एक टोपोलॉजिकल रैखिक ज्यामिति है ऐसा है कि

  1. सकारात्मक परिमित आयाम का एक स्थानीय रूप से सघन स्थान है,
  2. प्रत्येक पंक्ति का एक सवृत उपसमुच्चय है , और एक हॉसडॉर्फ़ स्थान है,
  3. समुच्चय एक खुला उपस्थान है (स्थिरता),
  4. वो मानचित्र सतत है.

ध्यान दें कि स्थिरता में ज्यामितियाँ सम्मिलित नहीं हैं -आयामी एफ़िन स्पेस ओवर या .

एक स्थिर प्लेन एक प्रक्षेप्य तल है यदि, और केवल यदि, सघन है.[40] जैसा कि प्रक्षेप्य तलों के स्थिति में होता है, लाइन पेंसिलें कॉम्पैक्ट होती हैं और आयाम के एक गोले के समतुल्य समरूप होती हैं , और साथ , देखना [17]या।[41] इसके अलावा, बिंदु स्थान स्थानीय रूप से अनुबंध योग्य है।[17][42]

(उचित) स्थिर प्लेन के कॉम्पैक्ट समूह छोटे होते हैं। होने देना प्राचीन के ऑटोमोर्फिज्म समूह के एक अधिकतम कॉम्पैक्ट उपसमूह को निरूपित करें -आयामी प्रक्षेप्य तल . तब निम्नलिखित प्रमेय लागू होता है:
यदि एक -आयामी स्थिर प्लेन एक सघन समूह को स्वीकार करता है ऐसी ऑटोमोर्फिज्म की , तब , देखना।[43]

फ्लैग-सजातीय स्थिर प्लेन। होने देना एक स्थिर प्लेन बनें. यदि ऑटोमोर्फिज्म समूह तो, फ्लैग-संक्रमणीय है एक प्राचीन प्रक्षेप्य और एफ़िन प्लेन है, या एक प्राचीन प्लेन के अतिशयोक्तिपूर्ण द्वंद्व (प्रक्षेप्य ज्यामिति) के पूर्ण क्षेत्र के आंतरिक भाग के लिए समरूपी है; देखना।[44][45][46]

प्रक्षेप्य स्थिति के विपरीत, बिंदु-सजातीय स्थिर प्लेन की बहुतायत है, उनमें से अनुवाद प्लेन के बृहत वर्ग हैं, देखें [33]और।[47]

सममित तल

एफ़िन अनुवाद प्लेन में निम्नलिखित गुण होते हैं:

  • एक बिंदु सकर्मक सवृतउपसमूह उपस्थित है ऑटोमोर्फिज्म समूह का जिसमें कुछ पर और इसलिए प्रत्येक बिंदु पर एक अद्वितीय प्रतिबिंब (गणित) होता है।

अधिक सामान्यतः एक सममित तल एक स्थिर तल होता है उपरोक्त शर्त को पूरा करना; देखना,[48]cf[49] इन ज्यामितियों के सर्वेक्षण के लिए। द्वारा [50] परिणाम 5.5, समूह एक लाई समूह और बिंदु स्थान है अनेक गुना है. यह इस प्रकार है कि एक सममित स्थान है. सममित स्थानों के लाई सिद्धांत के माध्यम से, आयाम के एक बिंदु समुच्चय के साथ सभी सममित प्लेन या वर्गीकृत किया गया है.[48][51] वे या तो अनुवाद तल हैं या वे सेसक्विलिनियर फॉर्म द्वारा निर्धारित होते हैं। एक आसान उदाहरण वास्तविक अतिपरवलयिक तल है।

वृत्त ज्यामिति

प्राचीन मॉडल [52] एक द्विघात सतह के समतल खंडों द्वारा दिए गए हैं वास्तविक प्रक्षेप्य में - स्पेस; अगर एक गोला है, ज्यामिति को मोएबियस प्लेन कहा जाता है|मोबियस प्लेन।[39]एक शासित सतह (एक-शीट हाइपरबोलाइड) के समतल खंड प्राचीन मिन्कोव्स्की प्लेन, सीएफ उत्पन्न करते हैं।[53] सामान्यीकरण के लिए. अगर अपने शीर्ष के बिना एक अण्डाकार शंकु है, ज्यामिति को लैगुएरे प्लेन कहा जाता है। सामूहिक रूप से इन प्लेन को कभी-कभी बेंज प्लेन भी कहा जाता है। एक टोपोलॉजिकल बेंज प्लेन प्राचीन है, यदि प्रत्येक बिंदु में एक नज़दीक है जो संबंधित प्राचीन बेंज प्लेन के कुछ असंकुल टुकड़े के लिए आइसोमोर्फिक है।[54]

मोबियस प्लेन

मोबियस प्लेन में एक समूह सम्मिलित है वृत्तों का, जो टोपोलॉजिकल 1-गोले हैं -वृत्त ऐसा कि प्रत्येक बिंदु के लिए व्युत्पन्न संरचना एक टोपोलॉजिकल एफ़िन प्लेन है।[55] विशेष रूप से, कोई भी अलग-अलग बिंदु एक अद्वितीय वृत्त से जुड़े हुए हैं। वृत्त स्थान फिर वास्तविक प्रक्षेप्य के लिए होमियोमोर्फिक है -एक बिंदु वाला स्थान हटा दिया गया।[56] उदाहरणों का एक बड़ा वर्ग वास्तविक रूप में अंडे जैसी सतह के समतल खंडों द्वारा दिया गया है - स्पेस।

सजातीय मोबियस प्लेन

यदि ऑटोमोर्फिज्म समूह मोबियस प्लेन का बिंदु समुच्चय पर संक्रमणीय है या समुच्चय पर वृत्तों का, या यदि , तब प्राचीन है और , देखना।[57][58]

कॉम्पैक्ट प्रक्षेप्य प्लेन के विपरीत, आयाम के वृत्तों के साथ कोई टोपोलॉजिकल मोबियस प्लेन नहीं हैं , विशेष रूप से कोई कॉम्पैक्ट मोबियस प्लेन नहीं -आयामी बिंदु स्थान.[59] सभी 2-आयामी मोबियस प्लेन समुच्चय ऐसे हैं स्पष्ट रूप से वर्णित किया जा सकता है।[60][61]

लैगुएरे प्लेन

लैगुएरे प्लेन के प्राचीन मॉडल में एक वृत्तीय सिलिंड्रिकल (बेलनाकार) सतह होती है सच में - स्पेस बिंदु समुच्चय और कॉम्पैक्ट प्लेन अनुभागों के रूप में वृत्तों के रूप में हैं। ऐसे बिंदुओं के जोड़े जो एक वृत्त से नहीं जुड़े होते हैं, समानांतर कहलाते हैं। होने देना समांतर बिंदुओं के एक वर्ग को निरूपित करें। तब एक प्लेन है , वृत्तों को इस तल में परवलयों के रूप में दर्शाया जा सकता है .

इसी तरह, प्राचीन -आयामी लैगुएरे प्लेन जटिल द्विघात बहुपदों की ज्यामिति से संबंधित है। सामान्य तौर पर, स्थानीय रूप से कॉम्पैक्ट कनेक्टेड लैगुएरे प्लेन के सिद्धांतों के लिए आवश्यक है कि व्युत्पन्न प्लेन परिमित आयाम के कॉम्पैक्ट प्रक्षेप्य प्लेन में एम्बेड हों। व्युत्पत्ति के बिंदु से नहीं गुजरने वाला एक वृत्त व्युत्पन्न प्रक्षेप्य तल में एक अंडाकार उत्पन्न करता है। द्वारा [62] या,[63] वृत्त आयाम के गोले के समरूप होते हैं या . इसलिए स्थानीय रूप से कॉम्पैक्ट जुड़े लैगुएरे प्लेन का बिंदु स्थान सिलेंडर के लिए होमियोमॉर्फिक है या यह एक है -आयामी कई गुना, सीएफ।[64] का एक बड़ा वर्ग -आयामी उदाहरण, जिन्हें ओवॉइडल लैगुएरे प्लेन कहा जाता है, वास्तविक 3-स्पेस में एक सिलेंडर के समतल खंडों द्वारा दिया जाता है जिसका आधार एक अंडाकार होता है .

ऑटोमोर्फिज्म समूह -आयामी लैगुएरे प्लेन () बिंदु स्थान के कॉम्पैक्ट उपसमुच्चय पर समान अभिसरण की टोपोलॉजी के संबंध में एक लाई समूह है; इसके अलावा, इस समूह का आयाम अधिकतम है . लैगुएरे प्लेन के सभी ऑटोमोर्फिज्म जो प्रत्येक समानांतर वर्ग को ठीक करते हैं, एक सामान्य उपसमूह बनाते हैं, पूर्ण ऑटोमोर्फिज्म समूह का कर्नेल। वें>-आयामी लैगुएरे प्लेन के साथ उचित तिरछा परवलय के ऊपर बिल्कुल अंडाकार तल हैं।[65] प्राचीन -डायमेंशनल लैगुएरे प्लेन ही ऐसे हैं , see,[66] cf भी।[67]

सजातीय लैगुएरे प्लेन

यदि ऑटोमोर्फिज्म समूह एक का -आयामी लैगुएरे प्लेन समानांतर वर्गों के समुच्चय पर सकर्मक है, और यदि कर्नेल तो, वृत्तों के समुच्चय पर सकर्मक है प्राचीन है, देखिए [68][67]2.1,2.

हालाँकि, वृत्तों के समुच्चय पर ऑटोमोर्फिज्म समूह की परिवर्तनशीलता प्राचीन मॉडल को चित्रित करने के लिए पर्याप्त नहीं है -आयामी लैगुएरे प्लेन है।

मिन्कोव्स्की प्लेन

मिन्कोव्स्की प्लेन के प्राचीन मॉडल में टोरस्र्स होता है बिंदु स्थान के रूप में, वृत्त वास्तविक भिन्नात्मक रैखिक मानचित्रों के ग्राफ़ हैं . लैगुएरे प्लेन की तरह, स्थानीय रूप से कॉम्पैक्ट कनेक्टेड मिन्कोव्स्की प्लेन का बिंदु स्थान है - या -आयामी; बिंदु स्थान तब टोरस या टू के लिए समरूप होता है , देखना।[69]

सजातीय मिन्कोव्स्की प्लेन

यदि ऑटोमोर्फिज्म समूह मिन्कोवस्की प्लेन का आयाम का तो, फ्लैग-संक्रमणीय है प्राचीन है.[70]

ऑटोमोर्फिज्म समूह का -आयामी मिन्कोव्स्की प्लेन अधिक से अधिक आयामों का एक लाई समूह है . सभी -आयामी मिन्कोव्स्की प्लेन ऐसे हैं स्पष्ट रूप से वर्णित किया जा सकता है।[71] प्राचीन -आयामी मिन्कोव्स्की प्लेन एकमात्र ऐसा है जिसके साथ , देखना।[72]

टिप्पणियाँ

  1. Grundhöfer & Löwen 1995
  2. Skornyakov, L.A. (1954), "Topological projective planes", Trudy Moskov. Mat. Obschtsch., 3: 347–373
  3. 3.0 3.1 3.2 Hilbert 1899
  4. 4.0 4.1 Coxeter, H.S.M. (1993), The real projective plane, New York: Springer
  5. Wyler, O. (1952), "Order and topology in projective planes", Amer. J. Math., 74 (3): 656–666, doi:10.2307/2372268, JSTOR 2372268
  6. Conway, J.H.; Smith, D.A. (2003), On quaternions and octonions: their geometry, arithmetic, and symmetry, Natick, MA: A K Peters
  7. Salzmann et al. 1995, §92
  8. Engelking, R. (1978), Dimension theory, North-Holland Publ. Co.
  9. Fedorchuk, V.V. (1990), "The fundamentals of dimension theory", Encycl. Math. Sci., Berlin: Springer, 17: 91–192
  10. 10.0 10.1 10.2 Salzmann 1967
  11. Stroppel, M. (1998), "Bemerkungen zur ersten nicht desarguesschen ebenen Geometrie bei Hilbert", J. Geom., 63 (1–2): 183–195, doi:10.1007/bf01221248, S2CID 120078708
  12. Moulton, F.R. (1902), "A simple non-Desarguesian plane geometry", Trans. Amer. Math. Soc., 3 (2): 192–195, doi:10.1090/s0002-9947-1902-1500595-3
  13. 13.0 13.1 Pickert 1955
  14. Hessenberg, G. (1905), "Beweis des Desarguesschen Satzes aus dem Pascalschen", Math. Ann. (in German), 61 (2): 161–172, doi:10.1007/bf01457558, S2CID 120456855{{citation}}: CS1 maint: unrecognized language (link)
  15. Hughes, D.R.; Piper, F.C. (1973), Projective planes, Berlin: Springer
  16. Salzmann et al. 1995, Chapter 3
  17. 17.0 17.1 17.2 Löwen 1983a
  18. Salzmann et al. 1995, 54.11
  19. Salzmann et al. 1995, Chapter 7
  20. 20.0 20.1 Betten, Dieter (1997), "On the classification of 4-dimensional flexible projective planes", Mostly finite geometries (Iowa City, IA, 1996), Lecture Notes in Pure and Applied Mathematics, vol. 190, New York: Dekker, pp. 9–33, doi:10.1017/CBO9780511665608, MR 1463975
  21. Salzmann et al. 1995, 53.15
  22. Salzmann, H. (2003), "Baer subplanes", Illinois J. Math., 47 (1–2): 485–513, doi:10.1215/ijm/1258488168
  23. Salzmann et al. 1995, 55.6
  24. Löwen, R. (1981), "Homogeneous compact projective planes", J. Reine Angew. Math., 321: 217–220
  25. Salzmann et al. 1995, 63.8
  26. Salzmann et al. 1995, 13.12
  27. Salzmann et al. 1995, 72.8,84.28,85.16
  28. Salzmann et al. 1995, 73.22,84.28,87.7
  29. Hähl, H. (1986), "Achtdimensionale lokalkompakte Translationsebenen mit mindestens -dimensionaler Kollineationsgruppe", Geom. Dedicata (in German), 21: 299–340, doi:10.1007/bf00181535, S2CID 116969491{{citation}}: CS1 maint: unrecognized language (link)
  30. 30.0 30.1 Hähl, H. (2011), "Sixteen-dimensional locally compact translation planes with collineation groups of dimension at least ", Adv. Geom., 11: 371–380, doi:10.1515/advgeom.2010.046
  31. Hähl, H. (2000), "Sixteen-dimensional locally compact translation planes with large automorphism groups having no fixed points", Geom. Dedicata, 83: 105–117, doi:10.1023/A:1005212813861, S2CID 128076685
  32. Salzmann et al. 1995, §§73,74,82,86
  33. 33.0 33.1 Knarr 1995
  34. Salzmann 2014
  35. Hilbert 1899, §§22
  36. Veblen, O.; Young, J.W. (1910), Projective Geometry Vol. I, Boston: Ginn Comp.
  37. Kolmogoroff, A. (1932), "Zur Begründung der projektiven Geometrie", Ann. of Math. (in German), 33 (1): 175–176, doi:10.2307/1968111, JSTOR 1968111{{citation}}: CS1 maint: unrecognized language (link)
  38. Salzmann et al. 1995, §§3,4
  39. 39.0 39.1 Polster & Steinke 2001
  40. Salzmann et al. 1995, 3.11
  41. Salzmann et al. 1995, 3.28,29
  42. Grundhöfer & Löwen 1995, 3.7
  43. Stroppel, M. (1994), "Compact groups of automorphisms of stable planes", Forum Math., 6 (6): 339–359, doi:10.1515/form.1994.6.339, S2CID 53550190
  44. Löwen 1983b.
  45. Salzmann et al. 1995, 5.8
  46. Salzmann 2014, 8.11,12
  47. Salzmann et al. 1995, Chapters 7 and 8
  48. 48.0 48.1 Löwen, R. (1979), "Symmetric planes", Pacific J. Math., 84 (2): 367–390, doi:10.2140/pjm.1979.84.367
  49. Grundhöfer & Löwen 1995, 5.26-31
  50. Hofmann, K.H.; Kramer, L. (2015), "Transitive actions of locally compact groups on locally contractive spaces", J. Reine Angew. Math., 702: 227–243, 245/6
  51. Löwen, R. (1979), "Classification of -dimensional symmetric planes", Mathematische Zeitschrift, 167: 137–159, doi:10.1007/BF01215118, S2CID 123564207
  52. Steinke 1995
  53. Polster & Steinke 2001, §4
  54. Steinke, G. (1983), "Locally classical Benz planes are classical", Mathematische Zeitschrift, 183: 217–220, doi:10.1007/bf01214821, S2CID 122877328
  55. Wölk, D. (1966), "Topologische Möbiusebenen", Mathematische Zeitschrift (in German), 93: 311–333, doi:10.1007/BF01111942{{citation}}: CS1 maint: unrecognized language (link)
  56. Löwen, R.; Steinke, G.F. (2014), "The circle space of a spherical circle plane", Bull. Belg. Math. Soc. Simon Stevin, 21 (2): 351–364, doi:10.36045/bbms/1400592630
  57. Strambach, K. (1970), "Sphärische Kreisebenen", Mathematische Zeitschrift (in German), 113: 266–292, doi:10.1007/bf01110328, S2CID 122982956{{citation}}: CS1 maint: unrecognized language (link)
  58. Steinke 1995, 3.2
  59. Groh, H. (1973), "Möbius planes with locally euclidean circles are flat", Math. Ann., 201 (2): 149–156, doi:10.1007/bf01359792, S2CID 122256290
  60. Strambach, K. (1972), "Sphärische Kreisebenen mit dreidimensionaler nichteinfacher Automorphismengruppe", Mathematische Zeitschrift (in German), 124: 289–314, doi:10.1007/bf01113922, S2CID 120716300{{citation}}: CS1 maint: unrecognized language (link)
  61. Strambach, K. (1973), "Sphärische Kreisebenen mit einfacher Automorphismengruppe'", Geom. Dedicata (in German), 1: 182–220, doi:10.1007/bf00147520, S2CID 123023992{{citation}}: CS1 maint: unrecognized language (link)
  62. Buchanan, T.; Hähl, H.; Löwen, R. (1980), "Topologische Ovale", Geom. Dedicata (in German), 9 (4): 401–424, doi:10.1007/bf00181558, S2CID 189889834{{citation}}: CS1 maint: unrecognized language (link)
  63. Salzmann et al. 1995, 55.14
  64. Steibke 1995, 5.7
  65. Steinke 1995, 5.5
  66. Steinke 1995, 5.4,8
  67. 67.0 67.1 Steinke, G.F. (2002), "-dimensional elation Laguerre planes admitting non-solvable automorphism groups", Monatsh. Math., 136: 327–354, doi:10.1007/s006050200046, S2CID 121391952
  68. Steinke, G.F. (1993), "-dimensional point-transitive groups of automorphisms of - dimensional Laguerre planes", Results in Mathematics, 24: 326–341, doi:10.1007/bf03322341, S2CID 123334384
  69. Steinke 1991, 4.6
  70. Steinke, G.F. (1992), "-dimensional Minkowski planes with large automorphism group", Forum Math., 4: 593–605, doi:10.1515/form.1992.4.593, S2CID 122970200
  71. Polster & Steinke 2001, §4.4
  72. Steinke 1995, 4.5 and 4.8


संदर्भ

  • Grundhöfer, T.; Löwen, R. (1995), Buekenhout, F. (ed.), Handbook of incidence geometry: buildings and foundations, Amsterdam: North-Holland, pp. 1255–1324
  • Hilbert, D. (1899), The foundations of geometry, translation by E. J. Townsend, 1902, Chicago
  • Knarr, N. (1995), Translation planes. Foundations and construction principles, Lecture Notes in Mathematics, vol. 1611, Berlin: Springer
  • Löwen, R. (1983a), "Topology and dimension of stable planes: On a conjecture of H. Freudenthal", J. Reine Angew. Math., 343: 108–122
  • Löwen, R. (1983b), "Stable planes with isotropic points", Mathematische Zeitschrift, 182: 49–61, doi:10.1007/BF01162593, S2CID 117081501
  • Pickert, G. (1955), Projektive Ebenen (in German), Berlin: Springer{{citation}}: CS1 maint: unrecognized language (link)
  • Polster, B.; Steinke, G.F. (2001), Geometries on surfaces, Cambridge UP
  • Salzmann, H. (1967), "Topological planes", Advances in Mathematics, 2: 1–60, doi:10.1016/s0001-8708(67)80002-1
  • Salzmann, H. (2014), Compact planes, mostly 8-dimensional. A retrospect, arXiv:1402.0304, Bibcode:2014arXiv1402.0304S
  • Salzmann, H.; Betten, D.; Grundhöfer, T.; Hähl, H.; Löwen, R.; Stroppel, M. (1995), Compact Projective Planes, W. de Gruyter
  • Steinke, G. (1995), "Topological circle geometries", Handbook of Incidence Geometry, Amsterdam: North-Holland: 1325–1354, doi:10.1016/B978-044488355-1/50026-8, ISBN 9780444883551