सामान्यीकृत बहुभुज

गणित में, सामान्यीकृत बहुभुज 1959 में जैक्स टिट्स द्वारा प्रस्तुत की गई घटना संरचना है। सामान्यीकृत n-gons विशेष स्थितियों के प्रक्षेपी विमानों (सामान्यीकृत त्रिकोण, n = 3) और सामान्यीकृत चतुष्कोणों (n = 4) के रूप में सम्मिलित हैं। अनेक सामान्यीकृत बहुभुज झूठ प्रकार के समूहों से उत्पन्न होते हैं, किन्तु ऐसे भी हैं जो इस प्रकार से प्राप्त नहीं किए जा सकते हैं। 'रूथ मौफांग संपत्ति' के रूप में जानी जाने वाली विधिक स्थिति को संतुष्ट करने वाले सामान्यीकृत बहुभुजों को पूर्ण प्रकार से टिट्स और वीस द्वारा वर्गीकृत किया गया है। इस प्रकार n सम के साथ प्रत्येक सामान्यीकृत n-गॉन भी निकट बहुभुज है।

परिभाषा
सामान्यीकृत 2-गॉन (या डिगोन) कम से कम 2 बिंदुओं और 2 रेखाओं के साथ घटना संरचना है जहां प्रत्येक बिंदु प्रत्येक रेखा के लिए घटना है।

इसके लिए $$n \geq 3$$ सामान्यीकृत n-गॉन आपतन संरचना है ($$P,L,I$$), जहाँ $$P$$ बिंदुओं का समुच्चय है, $$L$$ रेखाओ का समूह है और $$I\subseteq P\times L$$ घटना संबंध है, जैसे कि:
 * यह आंशिक रैखिक स्थान है।
 * इसके लिए उपज्यामिति के रूप में कोई सामान्य n-गॉन नहीं है $$2 \leq m < n$$.
 * इसमें उप-ज्यामिति के रूप में साधारण n-गॉन है।
 * किसी के लिए $$ \{A_1, A_2\} \subseteq P \cup L $$ उपज्यामिति उपस्तिथ है ($$ P', L', I' $$) साधारण n-गॉन के लिए आइसोमॉर्फिक है जैसे कि $$\{A_1, A_2\} \subseteq P' \cup L' $$.

इन स्थितियों को व्यक्त करने का समतुल्य किन्तु कभी-कभी सरल विधि है: शीर्ष समूह के साथ द्विदलीय घटना ग्राफ पर विचार करें $$P \cup L$$ और बिंदुओं और रेखाओं के घटना युग्मों को जोड़ने वाले किनारे होते है।
 * घटना ग्राफ का घेरा (ग्राफ सिद्धांत) घटना ग्राफ के व्यास (ग्राफ सिद्धांत) n से दोगुना है।

इससे यह स्पष्ट होना चाहिए कि सामान्यीकृत बहुभुजों के आपतन ग्राफ मूर ग्राफ हैं।

सामान्यीकृत बहुभुज कोटि (s,t) का होता है यदि:
 * इसके तत्वों के अनुरूप घटना ग्राफ के सभी कोने $$L$$ के समीप कुछ प्राकृतिक संख्या s के लिए समान डिग्री s + 1 होता है। अतः दूसरे शब्दों में, प्रत्येक पंक्ति में बिल्कुल s + 1 अंक होते हैं।
 * इसके तत्वों के अनुरूप घटना ग्राफ के सभी कोने $$P$$ के समीप समान डिग्री t + 1 किसी प्राकृत संख्या t के लिए होता है अतः दूसरे शब्दों में, प्रत्येक बिंदु ठीक t + 1 रेखा पर स्थित हो]ती है।

हम कहते हैं कि सामान्यीकृत बहुभुज मोटा होता है यदि प्रत्येक बिंदु (रेखा) कम से कम तीन रेखाओं (बिंदुओं) के साथ आपतित होता है। तब सभी मोटे सामान्यीकृत बहुभुजों का क्रम होता है।

सामान्यीकृत n-गॉन का दोहरा ($$P,L,I$$), घटना संरचना है जिसमें बिंदुओं और रेखाओं की धारणा विपरीत होती है और घटना संबंध को इसके विपरीत संबंध $$I$$ के रूप में लिया जाता है। इस प्रकार यह सरलता से दिखाया जा सकता है कि यह फिर से सामान्यीकृत n-गॉन है।

उदाहरण

 * सामान्यीकृत डिगोन का आपतन ग्राफ पूर्ण द्विदलीय ग्राफ Ks+1,t+1 है।
 * किसी भी प्राकृतिक n ≥ 3 के लिए, n भुजाओं वाले साधारण बहुभुज की सीमा पर विचार करते है। इस प्रकार घटना संबंध के रूप में समूह समावेशन के साथ, बहुभुज के शीर्षों को बिंदु और भुजाओं को रेखाएँ घोषित करते है। इसका परिणाम सामान्यीकृत n-गॉन में s = t = 1 के साथ होता है।
 * रैंक 2 के ली प्रकार G के साथ प्रत्येक समूह के लिए संबद्ध सामान्यीकृत n-गॉन X है जिसमें n समान्तर 3, 4, 6 या 8 है जैसे कि G, X के झंडे के समूह पर सकर्मक रूप से कार्य करता है। परिमित स्थिति में, के लिए n=6, कोई G2(q) के लिए ऑर्डर (q, q) का स्प्लिट केली हेक्सागोन प्राप्त करता है। और 3D4(q3) के लिए ऑर्डर (q3, q) का ट्विस्टेड ट्रायलिटी हेक्सागोन प्राप्त करता है और n = 8 के लिए री-टिट्स प्राप्त करता है। 2F4(q) के लिए q = 22n+1 के साथ क्रम (q, q2) के स्तन अष्टकोना द्वैत तक, यह केवल ज्ञात मोटे परिमित सामान्यीकृत षट्भुज या अष्टकोना हैं।

मापदंडों पर प्रतिबंध
वाल्टर फीट और ग्राहम हिगमैन ने सिद्ध किया कि s ≥ 2, t ≥ 2 के साथ क्रम (s, t) के परिमित सामान्यीकृत एन-गॉन्स केवल n के निम्नलिखित मानों के लिए उपस्तिथ हो सकता है।


 * 2, 3, 4, 6 या 8. फिट-हिगमैन परिणाम का अन्य प्रमाण किल्मॉयर और सोलोमन द्वारा दिया गया था।

इन मूल्यों के लिए सामान्यीकृत n-गोंन्स को सामान्यीकृत डिगोन, त्रिकोण, चतुष्कोण, षट्कोण और अष्टकोण के रूप में संदर्भित किया जाता है।

जब फीट-हिगमैन प्रमेय को हेमर्स-रूस असमानताओं के साथ जोड़ा जाता है, तब हमें निम्नलिखित प्रतिबंध मिलते हैं।


 * यदि n = 2, आपतन ग्राफ पूर्ण द्विदलीय ग्राफ है और इस प्रकार s, t स्वेच्छ पूर्णांक हो सकते हैं।
 * यदि n = 3, संरचना परिमित प्रक्षेपी तल है, और s = t।
 * यदि n = 4, संरचना परिमित सामान्यीकृत चतुर्भुज है, और t1/2 ≤ एस ≤ टी 2।
 * यदि n = 6, तो st वर्ग संख्या है, और t1/3 ≤ एस ≤ टी 3।
 * यदि n = 8, तो दूसरा वर्ग है, और t1/2 ≤ एस ≤ टी 2।
 * यदि एस या टी को 1 होने की अनुमति है और संरचना सामान्य एन-गॉन नहीं है तो पहले से सूचीबद्ध एन के मूल्यों के अतिरिक्त, केवल एन = 12 संभव हो सकता है।

s, t> 1 के लिए क्रम (s, t) के प्रत्येक ज्ञात परिमित सामान्यीकृत षट्भुज में क्रम होता है जहाँ q प्रधान शक्ति है।
 * (क्यू, क्यू): विभाजित केली हेक्सागोन्स और उनके दोहरे,
 * (क्यू3, q): ट्विस्टेड ट्रायलिटी हेक्सागोन, या
 * (क्यू, क्यू3): डुअल ट्विस्टेड ट्रायलिटी हेक्सागोन,

s, t> 1 के लिए क्रम (s, t) के प्रत्येक ज्ञात परिमित सामान्यीकृत अष्टकोण में क्रम है जहाँ q 2 की विषम शक्ति है।
 * (क्यू, क्यू2): री-टिट्स ऑक्टागन या
 * (क्यू2, q): दोहरी री-स्तन अष्टकोना,

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

मिश्रित अनुप्रयोग
जैसा कि पहले उल्लेख किया गया है कि सामान्यीकृत बहुभुजों के आपतन ग्राफ़ में महत्वपूर्ण गुण होते हैं। उदाहरण के लिए, क्रम (s,s) का प्रत्येक सामान्यीकृत n-gon (s+1,2n) पिंजरा (ग्राफ़ सिद्धांत) है। वे विस्तारक ग्राफ से भी संबंधित हैं क्योंकि उनके पास अच्छे विस्तार गुण हैं। सामान्यीकृत बहुभुजों से चरम विस्तारक ग्राफ के अनेक वर्ग प्राप्त किए जाते हैं। रैमसे सिद्धांत में, सामान्यीकृत बहुभुज का उपयोग करके बनाए गए ग्राफ़ हमें विकर्ण रैमसे नंबरों पर सबसे अच्छी ज्ञात रचनात्मक निचली सीमाएँ देते हैं।

यह भी देखें

 * बिल्डिंग (गणित)
 * (बी, एन) जोड़ी
 * री समूह
 * मौफांग बहुभुज
 * बहुभुज के पास

संदर्भ