टोपोलॉजिकल ज्यामिति

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

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

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

इतिहास

इन प्लेन का व्यवस्थित अध्ययन 1954 में स्कोर्नाकोव के एक पेपर के साथ प्रांरम्भ हुआ। इससे पहले, वास्तविक प्रक्षेप्य तल के टोपोलॉजिकल गुणों को एफाइन लाइनों पर ऑर्डर सिद्धांत के माध्यम से पेश किया गया था, उदाहरण के लिए, डेविड हिल्बर्ट, हेरोल्ड स्कॉट मैकडोनाल्ड कॉक्सेटर, और ओ वायलर. ऑर्डरिंग की पूर्णता स्थानीय रूप स्थानीय रूप से सघन स्थान के बराबर है और इसका तात्पर्य है कि एफ़िन लाइनें होमियोमोर्फिज्म हैं $\mathbb {R}$ और वह बिंदु स्थान जुड़ा हुआ स्थान है। ध्यान दें कि तर्कसंगत संख्याएँ समतल ज्यामिति की हमारी सहज धारणाओं का वर्णन करने के लिए पर्याप्त नहीं हैं और तर्कसंगत क्षेत्र का कुछ विस्तार आवश्यक है। वास्तव में, समीकरण $x^{2}+y^{2}=3$ क्योंकि वृत्त का कोई तर्कसंगत समाधान नहीं है।

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

हालाँकि, जटिल संख्याओं, चतुर्भुज या ऑक्टोनियन बीजगणित द्वारा समन्वित प्लेन के लिए, क्रमबद्ध संबंधों के माध्यम से प्रक्षेप्य प्लेन के टोपोलॉजिकल गुणों तक पहुंचना संभव नहीं है। बिंदु स्थान के साथ-साथ इन प्राचीन प्लेन के रेखा स्थान (वास्तविक संख्याओं, जटिल संख्याओं, चतुर्भुज और ऑक्टोनियन पर) आयाम के कॉम्पैक्ट कई गुना हैं $2^{m},\,1\leq m\leq 4$.

सामयिक आयाम

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

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

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

2-आयामी समतल

2-आयामी बिंदु स्थान के साथ एक कॉम्पैक्ट टोपोलॉजिकल प्लेन (स्थलीय प्लेन) की रेखाएं एक वृत्त के होमोमोर्फिक वक्रों का एक समूह बनाती हैं, और यह तथ्य टोपोलॉजिकल प्रक्षेप्य प्लेन के बीच इन प्लेन की विशेषता बताता है। समान रूप से, बिंदु स्थान एक सतह (गणित) है। प्रारंभिक उदाहरण प्राचीन वास्तविक स्तर के समरूपी नहीं हैं ${\mathcal {E}}$ हिल्बर्ट द्वारा दिये गये हैं और वन रे मौलटन इन उदाहरणों की निरंतरता गुणों पर उस समय स्पष्ट रूप से विचार नहीं किया गया है, हो सकता है कि उन्हें मान लिया गया हो। हिल्बर्ट के निर्माण को अनगिनत जोड़ीदार गैर-आइसोमोर्फिक प्राप्त करने के लिए संशोधित किया जा सकता है $2$-आयामी कॉम्पैक्ट प्लेन। भेद करने का पारंपरिक तरीका ${\mathcal {E}}$ दूसरे से $2$-आयामी प्लेन डेसर्गेस कॉन्फ़िगरेशन की वैधता से है | डेसर्गेस का प्रमेय या पप्पस का षट्भुज प्रमेय (देखें, उदाहरण के लिए, पिकर्टइन दो विन्यास प्रमेयों की चर्चा के लिए)। उत्तरार्द्ध को पूर्व (कर्ट हेसेनबर्ग) के रूप में जाना जाता है)l डेसर्गेस का प्रमेय समतल की एक प्रकार की समरूपता को व्यक्त करता है। सामान्य तौर पर, यह एक प्रक्षेप्य प्लेन में रहता है यदि, और केवल तभी, प्लेन को एक (जरूरी नहीं कि क्रमविनिमेय) क्षेत्र द्वारा समन्वित किया जा सके, इसलिए इसका तात्पर्य यह है कि स्वचालितता का समूह चतुष्कोणों के समुच्चय पर समूह क्रिया (गणित) है ($4$ अंक संख्या $3$ जिनमें से संरेख हैं)। वर्तमान सेटिंग में, बहुत निर्बल एकरूपता स्थिति की विशेषता है ${\mathcal {E}}$:

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

ऑटोमोर्फिज्म समूह $\Sigma =\operatorname {Aut} {\mathcal {P}}$ एक का $2$-आयामी कॉम्पैक्ट प्लेन ${\mathcal {P}}$, बिंदु स्थान पर समान अभिसरण की टोपोलॉजी के साथ लिया गया, अधिकतम आयाम का एक स्थानीय रूप से कॉम्पैक्ट समूह है $8$, वास्तव में एक लाई समूह भी है। सभी $2$-आयामी प्लेन ऐसे कि $\dim \Sigma \geq 3$ स्पष्ट रूप से वर्णित किया जा सकता है;उनके साथ $\dim \Sigma =4$ बिल्कुल मौलटन प्लेन, प्राचीन प्लेन हैं ${\mathcal {E}}$ सिर्फ यही $2$-आयामी प्लेन के साथ $\dim \Sigma >4$; यह सभी देखें।

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

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

कॉम्पैक्ट प्लेन की टोपोलॉजी। यदि बिंदु स्थान का आयाम $P$ एक कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव प्लेन का परिमित है $\dim P=2^{m}$ साथ $m\in \{1,2,3,4\}$. इसके अलावा, प्रत्येक पंक्ति आयाम का एक समरूप क्षेत्र है $2^{m-1}$, देखना या।

4-आयामी प्लेन के विशेष पहलुओं का उपचार किया जाता है, अधिक हालिया परिणाम यहां पाए जा सकते हैं। $4$-आयामी कॉम्पैक्ट प्लेन की पंक्तियाँ होमियोमोर्फिक हैं $2$-वृत्त; स्थिति में $m>2$ यह ज्ञात नहीं है कि रेखाएँ कई गुना हैं, लेकिन अब तक पाए गए सभी उदाहरणों में रेखाएँ गोले हैं। एक उपप्लेन ${\mathcal {B}}$ एक प्रक्षेप्य तल का ${\mathcal {P}}$ इसे रीनहोल्ड बेयर सबप्लेन कहा जाता है, यदि प्रत्येक बिंदु ${\mathcal {P}}$ की एक पंक्ति के साथ घटना है ${\mathcal {B}}$ और प्रत्येक पंक्ति ${\mathcal {P}}$ का एक बिंदु सम्मिलित है ${\mathcal {B}}$. एक सवृत उपतल ${\mathcal {B}}$ एक कॉम्पैक्ट कनेक्टेड प्लेन का बेयर सबप्लेन है ${\mathcal {P}}$ यदि, और केवल यदि, का बिंदु स्थान ${\mathcal {B}}$ और की एक पंक्ति ${\mathcal {P}}$ एक ही आयाम है. इसलिए 8-आयामी प्लेन की रेखाएँ ${\mathcal {P}}$ एक गोले के समरूपी हैं $\mathbb {S} _{4}$ अगर ${\mathcal {P}}$ एक सवृतबेयर सबप्लेन है।

सजातीय प्लेन. अगर ${\mathcal {P}}$ एक कॉम्पैक्ट कनेक्टेड प्रोजेक्टिव प्लेन है और यदि $\Sigma =\operatorname {Aut} {\mathcal {P}}$ के बिंदु समुच्चय पर सकर्मक है ${\mathcal {P}}$, तब $\Sigma$ एक फ्लैग-संक्रमणीय कॉम्पैक्ट उपसमूह है $\Phi$ और ${\mathcal {P}}$ प्राचीन है, देखिए या। वास्तव में, $\Phi$ एक अण्डाकार गति समूह है. होने देना ${\mathcal {P}}$ आयाम का एक सघन तल बनें $2^{m},\;m=2,3,4$, और लिखा $\Sigma =\operatorname {Aut} {\mathcal {P}}$. अगर $\dim \Sigma >8,18,40$, तब ${\mathcal {P}}$ प्राचीन है, और $\operatorname {Aut} {\mathcal {P}}$ आयाम का एक सरल लाई समूह है $16,35,78$ क्रमश। सभी प्लेन ${\mathcal {P}}$ साथ $\dim \Sigma =8,18,40$ स्पष्ट रूप से ज्ञात हैं। के साथ प्लेन $\dim \Sigma =40$ वास्तव में एफ़िन प्लेन (घटना ज्यामिति) के प्रक्षेप्य समापन तथाकथित उत्परिवर्तन द्वारा समन्वित होते हैं $(\mathbb {O} ,+,\circ )$ ऑक्टोनियन बीजगणित का $(\mathbb {O} ,+,\ \,)$, जहां नया गुणा $\circ$ इसे इस प्रकार परिभाषित किया गया है: एक वास्तविक संख्या चुनें $t$ साथ $1/2<t\neq 1$ और रखें $a\circ b=t\cdot ab+(1-t)\cdot ba$. बृहत आयाम वाले समूह वाले प्लेन के बृहत समूहों को उनके ऑटोमोर्फिज्म समूहों के बारे में धारणाओं से प्रांरम्भ करके व्यवस्थित रूप से प्राप्त किया गया है, उदाहरण के लिए, देखें। उनमें से कई अनुवाद प्लेन के प्रक्षेप्य समापन हैं (एफ़िन प्लेन प्रत्येक पंक्ति को समानांतर में मैप करने वाले ऑटोमोर्फिज्म के एक तीव्र संक्रमणीय समूह को स्वीकार करते हैं), cf .; यह सभी देखें स्थिति में नवीनतम परिणामों के लिए $m=3$ और के लिए $m=4$.

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

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

स्थिर प्लेन

प्राचीन गैर-यूक्लिडियन अतिशयोक्तिपूर्ण ज्यामिति को एक खुली गोलाकार डिस्क के साथ वास्तविक प्लेन में सीधी रेखाओं के प्रतिच्छेदन द्वारा दर्शाया जा सकता है। अधिक सामान्यतः प्राचीन एफ़िन प्लेन के खुले (उत्तल) हिस्से विशिष्ट स्थिर प्लेन होते हैं। इन ज्यामितियों का एक सर्वेक्षण यहां पाया जा सकता है, के लिए $2$-आयामी स्थिति यह भी देखें। सटीक रूप से, एक स्थिर प्लेन ${\mathcal {S}}$ एक टोपोलॉजिकल रैखिक ज्यामिति है $(P,{\mathfrak {L}})$ ऐसा है कि

1. $P$ सकारात्मक परिमित आयाम का एक स्थानीय रूप से सघन स्थान है,
2. प्रत्येक पंक्ति $L\in {\mathfrak {L}}$ का एक सवृत उपसमुच्चय है $P$, और ${\mathfrak {L}}$ एक हॉसडॉर्फ़ स्थान है,
3. समुच्चय $\{(K,L)\mid K\neq L,\;K\cap L\neq \emptyset \}$ एक खुला उपस्थान है ${\mathfrak {O}}\subset {\mathfrak {L}}^{2}$ (स्थिरता),
4. वो मानचित्र $(K,L)\mapsto K\cap L:{\mathfrak {O}}\to P$ सतत है.

ध्यान दें कि स्थिरता में ज्यामितियाँ सम्मिलित नहीं हैं $3$-आयामी एफ़िन स्पेस ओवर $\mathbb {R}$ या $\mathbb {C}$.

एक स्थिर प्लेन ${\mathcal {S}}$ एक प्रक्षेप्य तल है यदि, और केवल यदि, $P$ सघन है. जैसा कि प्रक्षेप्य तलों के स्थिति में होता है, लाइन पेंसिलें कॉम्पैक्ट होती हैं और आयाम के एक गोले के समतुल्य समरूप होती हैं $2^{m-1}$, और $\dim P=2^{m}$ साथ $m\in \{1,2,3,4\}$, देखना या। इसके अलावा, बिंदु स्थान $P$ स्थानीय रूप से अनुबंध योग्य है।

(उचित) स्थिर प्लेन के कॉम्पैक्ट समूह छोटे होते हैं। होने देना $\Phi _{d}$ प्राचीन के ऑटोमोर्फिज्म समूह के एक अधिकतम कॉम्पैक्ट उपसमूह को निरूपित करें $d$-आयामी प्रक्षेप्य तल ${\mathcal {P}}_{d}$. तब निम्नलिखित प्रमेय लागू होता है:
यदि एक $d$-आयामी स्थिर प्लेन ${\mathcal {S}}$ एक सघन समूह को स्वीकार करता है $\Gamma$ ऐसी ऑटोमोर्फिज्म की $\dim \Gamma >\dim \Phi _{d}-d$, तब ${\mathcal {S}}\cong {\mathcal {P}}_{d}$, देखना।

फ्लैग-सजातीय स्थिर प्लेन। होने देना ${\mathcal {S}}=(P,{\mathfrak {L}})$ एक स्थिर प्लेन बनें. यदि ऑटोमोर्फिज्म समूह $\operatorname {Aut} {\mathcal {S}}$ तो, फ्लैग-संक्रमणीय है ${\mathcal {S}}$ एक प्राचीन प्रक्षेप्य और एफ़िन प्लेन है, या ${\mathcal {S}}$ एक प्राचीन प्लेन के अतिशयोक्तिपूर्ण द्वंद्व (प्रक्षेप्य ज्यामिति) के पूर्ण क्षेत्र के आंतरिक भाग के लिए समरूपी है; देखना।

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

सममित तल

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

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

अधिक सामान्यतः एक सममित तल एक स्थिर तल होता है ${\mathcal {S}}=(P,{\mathfrak {L}})$ उपरोक्त शर्त को पूरा करना; देखना,cf इन ज्यामितियों के सर्वेक्षण के लिए। द्वारा परिणाम 5.5, समूह $\Delta$ एक लाई समूह और बिंदु स्थान है $P$ अनेक गुना है. यह इस प्रकार है कि ${\mathcal {S}}$ एक सममित स्थान है. सममित स्थानों के लाई सिद्धांत के माध्यम से, आयाम के एक बिंदु समुच्चय के साथ सभी सममित प्लेन $2$ या $4$ वर्गीकृत किया गया है. वे या तो अनुवाद तल हैं या वे सेसक्विलिनियर फॉर्म द्वारा निर्धारित होते हैं। एक आसान उदाहरण वास्तविक अतिपरवलयिक तल है।

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

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

मोबियस प्लेन

मोबियस प्लेन में एक समूह सम्मिलित है ${\mathfrak {C}}$ वृत्तों का, जो टोपोलॉजिकल 1-गोले हैं $2$-वृत्त $S$ ऐसा कि प्रत्येक बिंदु के लिए $p$ व्युत्पन्न संरचना $(S\setminus \{p\},\{C\setminus \{p\}\mid p\in C\in {\mathfrak {C}}\})$ एक टोपोलॉजिकल एफ़िन प्लेन है। विशेष रूप से, कोई भी $3$ अलग-अलग बिंदु एक अद्वितीय वृत्त से जुड़े हुए हैं। वृत्त स्थान ${\mathfrak {C}}$ फिर वास्तविक प्रक्षेप्य के लिए होमियोमोर्फिक है $3$-एक बिंदु वाला स्थान हटा दिया गया। उदाहरणों का एक बड़ा वर्ग वास्तविक रूप में अंडे जैसी सतह के समतल खंडों द्वारा दिया गया है $3$- स्पेस।

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

यदि ऑटोमोर्फिज्म समूह $\Sigma$ मोबियस प्लेन का बिंदु समुच्चय पर संक्रमणीय है $S$ या समुच्चय पर ${\mathfrak {C}}$ वृत्तों का, या यदि $\dim \Sigma \geq 4$, तब $(S,{\mathfrak {C}})$ प्राचीन है और $\dim \Sigma =6$, देखना।

कॉम्पैक्ट प्रक्षेप्य प्लेन के विपरीत, आयाम के वृत्तों के साथ कोई टोपोलॉजिकल मोबियस प्लेन नहीं हैं $>1$, विशेष रूप से कोई कॉम्पैक्ट मोबियस प्लेन नहीं $4$-आयामी बिंदु स्थान. सभी 2-आयामी मोबियस प्लेन समुच्चय ऐसे हैं $\dim \Sigma \geq 3$ स्पष्ट रूप से वर्णित किया जा सकता है।

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

लैगुएरे प्लेन के प्राचीन मॉडल में एक वृत्तीय सिलिंड्रिकल (बेलनाकार) सतह होती है $C$ सच में $3$- स्पेस $\mathbb {R} ^{3}$ बिंदु समुच्चय और कॉम्पैक्ट प्लेन अनुभागों के रूप में $C$ वृत्तों के रूप में हैं। ऐसे बिंदुओं के जोड़े जो एक वृत्त से नहीं जुड़े होते हैं, समानांतर कहलाते हैं। होने देना $P$ समांतर बिंदुओं के एक वर्ग को निरूपित करें। तब $C\setminus P$ एक प्लेन है $\mathbb {R} ^{2}$, वृत्तों को इस तल में परवलयों के रूप में दर्शाया जा सकता है $y=ax^{2}+bx+c$.

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

ऑटोमोर्फिज्म समूह $2d$-आयामी लैगुएरे प्लेन ($d=1,2$) बिंदु स्थान के कॉम्पैक्ट उपसमुच्चय पर समान अभिसरण की टोपोलॉजी के संबंध में एक लाई समूह है; इसके अलावा, इस समूह का आयाम अधिकतम है $7d$. लैगुएरे प्लेन के सभी ऑटोमोर्फिज्म जो प्रत्येक समानांतर वर्ग को ठीक करते हैं, एक सामान्य उपसमूह बनाते हैं, पूर्ण ऑटोमोर्फिज्म समूह का कर्नेल। $2$वें>-आयामी लैगुएरे प्लेन के साथ $\dim \Sigma =5$ उचित तिरछा परवलय के ऊपर बिल्कुल अंडाकार तल हैं। प्राचीन $2d$-डायमेंशनल लैगुएरे प्लेन ही ऐसे हैं $\dim \Sigma >5d$, see, cf भी।

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

यदि ऑटोमोर्फिज्म समूह $\Sigma$ एक का $2d$-आयामी लैगुएरे प्लेन ${\mathcal {L}}$ समानांतर वर्गों के समुच्चय पर सकर्मक है, और यदि कर्नेल $T\triangleleft \Sigma$ तो, वृत्तों के समुच्चय पर सकर्मक है ${\mathcal {L}}$ प्राचीन है, देखिए 2.1,2.

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

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

मिन्कोव्स्की प्लेन के प्राचीन मॉडल में टोरस्र्स होता है $\mathbb {S} _{1}\times \mathbb {S} _{1}$ बिंदु स्थान के रूप में, वृत्त वास्तविक भिन्नात्मक रैखिक मानचित्रों के ग्राफ़ हैं $\mathbb {S} _{1}=\mathbb {R} \cup \{\infty \}$. लैगुएरे प्लेन की तरह, स्थानीय रूप से कॉम्पैक्ट कनेक्टेड मिन्कोव्स्की प्लेन का बिंदु स्थान है $1$- या $2$-आयामी; बिंदु स्थान तब टोरस या टू के लिए समरूप होता है $\mathbb {S} _{2}\times \mathbb {S} _{2}$, देखना।

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

यदि ऑटोमोर्फिज्म समूह $\Sigma$ मिन्कोवस्की प्लेन का ${\mathcal {M}}$ आयाम का $2d$ तो, फ्लैग-संक्रमणीय है ${\mathcal {M}}$ प्राचीन है.

ऑटोमोर्फिज्म समूह का $2d$-आयामी मिन्कोव्स्की प्लेन अधिक से अधिक आयामों का एक लाई समूह है $6d$. सभी $2$-आयामी मिन्कोव्स्की प्लेन ऐसे हैं $\dim \Sigma \geq 4$ स्पष्ट रूप से वर्णित किया जा सकता है। प्राचीन $2d$-आयामी मिन्कोव्स्की प्लेन एकमात्र ऐसा है जिसके साथ $\dim \Sigma >4d$, देखना।

संदर्भ

• 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