निकट बहुभुज

गणित में, निकट बहुभुज 1980 में अर्नेस्ट ई. शल्ट और आर्थर यानुष्का द्वारा प्रस्तुत आपतन ज्यामिति है। शल्ट और यानुष्का ने यूक्लिडियन समष्टि में तथाकथित टेट्राहेड क्लोज्ड लाइन सिस्टम और पॉइंट-लाइन ज्यामिति के वर्ग के बीच संयोजन दिखाया जिसे वे पॉलीगन्स के पास कहते थे। ये संरचनाएं सामान्यीकृत बहुभुज की धारणा को सामान्य बनाती हैं क्योंकि प्रत्येक सामान्यीकृत 2n-गॉन किसी विशेष प्रकार के 2n-गॉन के निकट है। बहुभुजों का बड़े पैमाने पर अध्ययन किया गया और उनके और दोहरे ध्रुवीय स्थानों के बीच संबंध का अध्ययन किया गया था। 1980 और 1990 के दशक के प्रारंभ में दिखाया गया था। कुछ स्पोरैडिक सरल समूह, उदाहरण के लिए हॉल-जान्को समूह और मैथ्यू समूह, निकट बहुभुजों के ऑटोमोर्फिज़्म समूहों के रूप में कार्य करते हैं।

परिभाषा
निकट 2d-गॉन आपतन संरचना ($$P,L,I$$) है, जहां $$P$$ बिंदुओं का समूह है, $$L$$ लाइनों का सेट है और $$I\subseteq P\times L$$ आपतन संबंध है, जैसे कि:
 * दो बिंदुओं (तथाकथित व्यास) के बीच की अधिकतम दूरी d है।
 * हर बिंदु के लिए $$x$$ और हर पंक्ति $$L$$ पर अद्वितीय बिंदु उपस्थित है $$L$$ जो $$x$$ के सबसे निकट है।

ध्यान दें कि दूरी को बिंदुओं के संरेखता ग्राफ़ (विच्छेद गणित) में मापा जाता है, अर्थात, बिंदुओं को शीर्षों के रूप में लेकर और शीर्षों की जोड़ी को जोड़कर बनाया गया ग्राफ़, यदि वे सामान्य रेखा के साथ घटित होते हैं। हम एक वैकल्पिक ग्राफ (असतत गणित) की परिभाषा भी दे सकते हैं, निकट 2d-गॉन विशेशता के साथ परिमित व्यास d का जुड़ा हुआ ग्राफ है जो प्रत्येक शीर्ष x और प्रत्येक अधिकतम क्लिक M के लिए M में एक अद्वितीय शीर्ष x ' उपस्थित है जो निकटतम x है। इस तरह के ग्राफ के अधिकतम समूह आपतन संरचना परिभाषा में रेखाओं के अनुरूप होते हैं। निकट 0-गॉन (d = 0) एक एकल बिंदु है जबकि a निकट 2-गॉन (d = 1) केवल पंक्ति है, अर्थात एक पूर्ण ग्राफ है। एक निकट चतुर्भुज ((d = 2) सामान्यीकृत चतुर्भुज के समान है। वास्तव में, यह दिखाया जा सकता है कि प्रत्येक सामान्यीकृत बहुभुज 2d-गॉन निकट 2d-गॉन है जो निम्नलिखित दो अतिरिक्त शर्तों को पूरा करता है:
 * हर बिंदु कम से कम दो पंक्तियों के साथ आपतन है।
 * प्रत्येक दो बिंदुओं के लिए x, y दूरी पर i < d, जहां y का अद्वितीय निकटस्थ उपस्थित है।

निकट बहुभुज को सघन कहा जाता है यदि प्रत्येक रेखा कम से कम तीन बिंदुओं के साथ आपतित होती है और यदि प्रत्येक दो बिंदुओं की दूरी पर कम से कम दो सामान्य निकटस्थ होते हैं। ऐसा कहा जाता है कि क्रम (s, t) है यदि प्रत्येक पंक्ति ठीक s + 1 बिंदुओं के साथ आपतित होती है और प्रत्येक बिंदु ठीक t + 1 रेखाओं के साथ आपतित होती है। बहुभुज के पास डेंस का सुस्पष्ट सिद्धांत है और उनमें से कई वर्ग (जैसे बहुभुज के पास स्लिम डेंस) को पूरी तरह से वर्गीकृत किया गया है।

उदाहरण

 * सभी जुड़े द्विपक्षीय ग्राफ बहुभुज के पास हैं। वास्तव में, कोई भी निकट बहुभुज जिसमें प्रति पंक्ति ठीक दो बिंदु हों, एक जुड़ा हुआ द्विआधारी ग्राफ होना चाहिए।
 * प्रक्षेपी तलों को छोड़कर सभी परिमित सामान्यीकृत बहुभुज हैं।
 * सभी दोहरी ध्रुवीय स्थान हैं।
 * अष्टभुज के पास हॉल-जानको, जिसे हॉल-जांको समूह से जुड़े अष्टभुज के निकट कोहेन-टिट्स के रूप में भी जाना जाता है। इसको निर्मित हॉल-जानको समूह के 315 केंद्रीय अंतर्विरोधों के संयुग्मन वर्ग को बिंदुओं और रेखाओं के रूप में तीन तत्व उपसमुच्चय {x, y, xy} के रूप में चुनकर किया जा सकता है जब भी x और y कम्यूट होता है।
 * उन्हें M24 मैथ्यू समूह M24 और बाइनरी भाषा में कोड से संबंधित है। इसका निर्माण गोले कोड के अनुरूप विट डिजाइन S(5, 8, 24) में 759 अष्टक (ब्लॉक) को बिंदुओं और रेखाओ के रूप में तीन जोड़ीदार असंयुक्त अष्टक के ट्रिपल द्वारा किया गया है।
 * {1, 2, ..., 2n + 2} के समुच्चय के विभाजन को n + 1 2-उपसमुच्चय में बिंदुओं के रूप में लें और विभाजनों को n + 1 22-उपसमुच्चय और एक 4-उपसमुच्चय को रेखाओं के रूप में लेते है। एक बिंदु रेखा की आपतन है यदि विभाजन के रूप में यह रेखा का परिशोधन है। यह हमें प्रत्येक पंक्ति पर तीन बिंदुओं के साथ लगभग 2n-गॉन देता है, जिसे सामान्यतः 'Hn' के रूप में दर्शाया जाता है। इसका पूर्ण ऑटोमोर्फिज़्म समूह सममित समूह S2n+2 है।

बहुभुज के पास नियमित
परिमित निकट $$2d$$-गॉन S को नियमित कहा जाता है अगर इसका कोई क्रम $$(s,t)$$ हो और अगर वहाँ स्थिरांक $$t_i, i \in \{1,\ldots,d\}$$ उपस्थित हैं, जैसे कि हर दो बिंदुओं के लिए $$x$$ और $$y$$ दूरी पर $$i$$, यथावत्

हैं, $$t_i + 1$$ के माध्यम से लाइनें $$y$$ दूरी पर एक (अनिवार्य रूप से अद्वितीय) बिंदु युक्त $$i - 1$$ से $$x$$. यह पता चला है कि नियमित रूप से पास $$2d$$-गन ठीक वही हैं जो पास हैं $$2d$$-गोंस जिसका बिंदु ग्राफ (जिसे कॉलिनेरिटी ग्राफ भी कहा जाता है) एक दूरी-नियमित ग्राफ है। सामान्यीकृत $$2d$$-क्रम का $$(s, t)$$ एक नियमित निकट $$2d$$-पैरामीटर के साथ $$t_1 = 0, t_2 = 0, \ldots, t_d = t$$ है।

यह भी देखें

 * परिमित ज्यामिति
 * ध्रुवीय स्थान
 * आंशिक रैखिक स्थान
 * संघ योजना
 * हॉल-जान्को ग्राफ

संदर्भ