सामान्यीकृत बहुभुज: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
[[File:Split Cayley Hexagon.png|thumb|क्रम 2 का विभाजित केली षट्भुज]]गणित में, '''सामान्यीकृत बहुभुज''' 1959 में [[ जैक्स स्तन |जैक्स टिट्स]] द्वारा प्रस्तुत की गई [[घटना संरचना]] है। सामान्यीकृत n-gons विशेष स्थितियों के प्रक्षेपी विमानों (सामान्यीकृत त्रिकोण, n = 3) और सामान्यीकृत चतुष्कोणों (n = 4) के रूप में सम्मिलित हैं। अनेक सामान्यीकृत बहुभुज [[झूठ प्रकार के समूह|झूठ प्रकार के समूहों]] से उत्पन्न होते हैं, किन्तु ऐसे भी हैं जो इस प्रकार से प्राप्त नहीं किए जा सकते हैं। '[[रूथ मौफांग]] संपत्ति' के रूप में जानी जाने वाली विधिक स्थिति को संतुष्ट करने वाले सामान्यीकृत बहुभुजों को पूर्ण प्रकार से टिट्स और वीस द्वारा वर्गीकृत किया गया है। इस प्रकार n सम के साथ प्रत्येक सामान्यीकृत n-गॉन भी निकट बहुभुज है।
[[File:Split Cayley Hexagon.png|thumb|क्रम 2 का विभाजित केली षट्भुज]]गणित में, '''सामान्यीकृत बहुभुज''' 1959 में [[ जैक्स स्तन |जैक्स टिट्स]] द्वारा प्रस्तुत की गई [[घटना संरचना]] है। सामान्यीकृत n-गॉन विशेष स्थितियों के प्रक्षेपी विमानों (सामान्यीकृत त्रिकोण, n = 3) और सामान्यीकृत चतुष्कोणों (n = 4) के रूप में सम्मिलित हैं। अनेक सामान्यीकृत बहुभुज [[झूठ प्रकार के समूह|असत्य प्रकार के समूहों]] से उत्पन्न होते हैं, किन्तु ऐसे भी हैं जो इस प्रकार से प्राप्त नहीं किए जा सकते हैं। '[[रूथ मौफांग]] संपत्ति' के रूप में जानी जाने वाली विधिक स्थिति को संतुष्ट करने वाले सामान्यीकृत बहुभुजों को पूर्ण प्रकार से टिट्स और वीस द्वारा वर्गीकृत किया गया है। इस प्रकार n सम के साथ प्रत्येक सामान्यीकृत n-गॉन भी निकट बहुभुज है।


== परिभाषा ==
== परिभाषा ==
Line 9: Line 9:
* इसके लिए उपज्यामिति के रूप में कोई सामान्य n-गॉन नहीं है <math>2 \leq m < n</math>.
* इसके लिए उपज्यामिति के रूप में कोई सामान्य n-गॉन नहीं है <math>2 \leq m < n</math>.
* इसमें उप-ज्यामिति के रूप में साधारण n-गॉन है।
* इसमें उप-ज्यामिति के रूप में साधारण n-गॉन है।
* किसी के लिए <math> \{A_1, A_2\} \subseteq P \cup L </math> उपज्यामिति उपस्तिथ है (<math> P', L', I' </math>) साधारण n-गॉन के लिए आइसोमॉर्फिक है जैसे कि <math>\{A_1, A_2\} \subseteq P' \cup L' </math>.
* किसी के लिए <math> \{A_1, A_2\} \subseteq P \cup L </math> उपज्यामिति उपस्तिथ है (<math> P', L', I' </math>) साधारण n-गॉन के लिए समरूपी है जैसे कि <math>\{A_1, A_2\} \subseteq P' \cup L' </math>.


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


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


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


हम कहते हैं कि सामान्यीकृत बहुभुज मोटा होता है यदि प्रत्येक बिंदु (रेखा) कम से कम तीन रेखाओं (बिंदुओं) के साथ आपतित होता है। तब सभी मोटे सामान्यीकृत बहुभुजों का क्रम होता है।
हम कहते हैं कि सामान्यीकृत बहुभुज मोटा होता है यदि प्रत्येक बिंदु (रेखा) कम से कम तीन रेखाओं (बिंदुओं) के साथ आपतित होता है। तब सभी मोटे सामान्यीकृत बहुभुजों का क्रम होता है।
Line 28: Line 28:
* सामान्यीकृत डिगोन का आपतन ग्राफ [[पूर्ण द्विदलीय ग्राफ]] K<sub>''s''+1,''t''+1</sub> है।
* सामान्यीकृत डिगोन का आपतन ग्राफ [[पूर्ण द्विदलीय ग्राफ]] K<sub>''s''+1,''t''+1</sub> है।
* किसी भी प्राकृतिक n ≥ 3 के लिए, n भुजाओं वाले साधारण [[बहुभुज]] की सीमा पर विचार करते है। इस प्रकार घटना संबंध के रूप में समूह समावेशन के साथ, बहुभुज के शीर्षों को बिंदु और भुजाओं को रेखाएँ घोषित करते है। इसका परिणाम सामान्यीकृत n-गॉन में ''s'' = ''t'' = 1 के साथ होता है।
* किसी भी प्राकृतिक n ≥ 3 के लिए, n भुजाओं वाले साधारण [[बहुभुज]] की सीमा पर विचार करते है। इस प्रकार घटना संबंध के रूप में समूह समावेशन के साथ, बहुभुज के शीर्षों को बिंदु और भुजाओं को रेखाएँ घोषित करते है। इसका परिणाम सामान्यीकृत n-गॉन में ''s'' = ''t'' = 1 के साथ होता है।
* रैंक 2 के ली प्रकार ''G'' के साथ प्रत्येक समूह के लिए संबद्ध सामान्यीकृत n-गॉन ''X'' है जिसमें n समान्तर 3, 4, 6 या 8 है जैसे कि ''G,'' ''X'' के झंडे के समूह पर सकर्मक रूप से कार्य करता है। परिमित स्थिति में, के लिए n=6, कोई ''G''<sub>2</sub>(''q'') के लिए ऑर्डर (q, q) का स्प्लिट केली हेक्सागोन प्राप्त करता है। और <sup>3</sup>''D''<sub>4</sub>(''q''<sup>3</sup>) के लिए ऑर्डर (''q''<sup>3</sup>, ''q'') का ट्विस्टेड ट्रायलिटी हेक्सागोन प्राप्त करता है और n = 8 के लिए री-टिट्स प्राप्त करता है। <sup>2</sup>''F''<sub>4</sub>(''q'') के लिए q = 22n+1 के साथ क्रम (''q'', ''q''<sup>2</sup>) के स्तन अष्टकोना द्वैत तक, यह केवल ज्ञात मोटे परिमित सामान्यीकृत षट्भुज या अष्टकोना हैं।
* श्रेणी 2 के ली प्रकार ''G'' के साथ प्रत्येक समूह के लिए संबद्ध सामान्यीकृत n-गॉन ''X'' है जिसमें n समान्तर 3, 4, 6 या 8 है जैसे कि ''G,'' ''X'' के झंडे के समूह पर सकर्मक रूप से कार्य करता है। परिमित स्थिति में, n=6, कोई ''G''<sub>2</sub>(''q'') के लिए क्रमांक (q, q) का स्प्लिट केली षट्भुज प्राप्त करता है और <sup>3</sup>''D''<sub>4</sub>(''q''<sup>3</sup>) के लिए क्रमांक (''q''<sup>3</sup>, ''q'') का ट्विस्टेड ट्रायलिटी षट्भुज प्राप्त करता है और n = 8 के लिए री-टिट्स प्राप्त करता है। <sup>2</sup>''F''<sub>4</sub>(''q'') के लिए q = 22n+1 के साथ क्रम (''q'', ''q''<sup>2</sup>) के स्तन अष्टकोना द्वैत तक, यह केवल ज्ञात मोटे परिमित सामान्यीकृत षट्भुज या अष्टकोना हैं।


== मापदंडों पर प्रतिबंध ==
== मापदंडों पर प्रतिबंध ==


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


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


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


s, t> 1 के लिए क्रम (s, t) के प्रत्येक ज्ञात परिमित सामान्यीकृत अष्टकोण में क्रम है।
s, t> 1 के लिए क्रम (s, t) के प्रत्येक ज्ञात परिमित सामान्यीकृत अष्टकोण में क्रम है।
*(''q'', ''q''<sup>2</sup>): री-टिट्स ऑक्टागन या
*(''q'', ''q''<sup>2</sup>): री-टिट्स अष्टकोण या
*(''q''<sup>2</sup>, ''q''): दोहरी री-टिट्स अष्टकोना,
*(''q''<sup>2</sup>, ''q''): दोहरी री-टिट्स अष्टकोना,
जहाँ q 2 की विषम शक्ति है।
जहाँ q 2 की विषम शक्ति है।
Line 60: Line 60:
== अर्ध-परिमित सामान्यीकृत बहुभुज ==
== अर्ध-परिमित सामान्यीकृत बहुभुज ==
   
   
यदि s और t दोनों अनंत हैं तब सामान्यीकृत बहुभुज प्रत्येक n के लिए अधिक या समान्तर 2 के लिए उपस्तिथ हैं। यह अज्ञात है कि सामान्यीकृत बहुभुज उपस्तिथ हैं या नहीं, जिनमें से पैरामीटर परिमित है (और 1 से बड़ा है) जबकि अन्य अनंत (यह स्थिति में अर्ध-परिमित कहा जाता है)। पीटर कैमरन (गणितज्ञ) ने प्रत्येक पंक्ति पर तीन बिंदुओं के साथ अर्ध-परिमित सामान्यीकृत चतुष्कोणों के गैर-अस्तित्व को सिद्ध किया, जबकि [[एंड्रयू ब्रेवर]] और बिल कांटोर ने स्वतंत्र रूप से प्रत्येक पंक्ति पर चार बिंदुओं के स्थिति को सिद्ध किया। [[ मॉडल सिद्धांत |मॉडल सिद्धांत]] का उपयोग करके G चेरलिन द्वारा प्रत्येक पंक्ति पर पांच बिंदुओं के लिए गैर-अस्तित्व का परिणाम सिद्ध किया गया था।<ref>{{cite journal| doi=10.1016/j.disc.2004.04.021 | volume=291 | issue=1–3 | title=प्रति पंक्ति अधिकतम पांच बिंदुओं के साथ स्थानीय रूप से परिमित सामान्यीकृत चतुष्कोण| year=2005 | journal=Discrete Mathematics | pages=73–79 | last1 = Cherlin | first1 = Gregory| doi-access=free }}</ref> सामान्यीकृत षट्कोणों या अष्टकोणों के लिए कोई और धारणा बनाए बिना ऐसा कोई परिणाम ज्ञात नहीं है। यहां तक ​​कि प्रत्येक पंक्ति पर तीन बिंदुओं के सबसे छोटी स्थिति के लिए भी प्रयोग किया जाता है।
यदि s और t दोनों अनंत हैं तब सामान्यीकृत बहुभुज प्रत्येक n के लिए अधिक या समान्तर 2 के लिए उपस्तिथ हैं। यह अज्ञात है कि सामान्यीकृत बहुभुज उपस्तिथ हैं या नहीं, जिनमें से पैरामीटर परिमित है (और 1 से बड़ा है) जबकि अन्य अनंत (यह स्थिति में अर्ध-परिमित कहा जाता है)। पीटर कैमरन (गणितज्ञ) ने प्रत्येक पंक्ति पर तीन बिंदुओं के साथ अर्ध-परिमित सामान्यीकृत चतुष्कोणों के गैर-अस्तित्व को सिद्ध करता है जबकि [[एंड्रयू ब्रेवर]] और बिल कांटोर ने स्वतंत्र रूप से प्रत्येक पंक्ति पर चार बिंदुओं के स्थिति को सिद्ध किया था। [[ मॉडल सिद्धांत |मॉडल सिद्धांत]] का उपयोग करके G चेरलिन द्वारा प्रत्येक पंक्ति पर पांच बिंदुओं के लिए गैर-अस्तित्व का परिणाम सिद्ध किया गया था।<ref>{{cite journal| doi=10.1016/j.disc.2004.04.021 | volume=291 | issue=1–3 | title=प्रति पंक्ति अधिकतम पांच बिंदुओं के साथ स्थानीय रूप से परिमित सामान्यीकृत चतुष्कोण| year=2005 | journal=Discrete Mathematics | pages=73–79 | last1 = Cherlin | first1 = Gregory| doi-access=free }}</ref> सामान्यीकृत षट्कोणों या अष्टकोणों के लिए कोई और धारणा बनाए बिना ऐसा कोई परिणाम ज्ञात नहीं है। यहां तक ​​कि प्रत्येक पंक्ति पर तीन बिंदुओं के सबसे छोटी स्थिति के लिए भी प्रयोग किया जाता है।


== मिश्रित अनुप्रयोग ==
== मिश्रित अनुप्रयोग ==
जैसा कि पहले उल्लेख किया गया है कि सामान्यीकृत बहुभुजों के आपतन ग्राफ़ में महत्वपूर्ण गुण होते हैं। उदाहरण के लिए, क्रम (s, s) का प्रत्येक सामान्यीकृत n-गॉन (s+1,2n) पिंजरा (ग्राफ़ सिद्धांत) है। वह [[विस्तारक ग्राफ]] से भी संबंधित हैं जिससे कि उनके समीप अच्छे विस्तार गुण हैं।<ref>{{Cite journal | doi=10.1137/0605030|title = सामान्यीकृत एन-गॉन्स से स्पष्ट संकेंद्रक| journal=SIAM Journal on Algebraic and Discrete Methods| volume=5| issue=3| pages=287–293|year = 1984|last1 = Tanner|first1 = R. Michael| hdl=10338.dmlcz/102386| hdl-access=free}}</ref> सामान्यीकृत बहुभुजों से चरम विस्तारक ग्राफ के अनेक वर्ग प्राप्त किए जाते हैं।<ref>{{Cite arXiv |eprint = 1407.4562|last1 = Nozaki|first1 = Hiroshi|title = नियमित रेखांकन के लिए रैखिक प्रोग्रामिंग सीमाएँ|class = math.CO|year = 2014}}</ref> [[रैमसे सिद्धांत]] में, सामान्यीकृत बहुभुज का उपयोग करके बनाए गए ग्राफ़ हमें विकर्ण रैमसे नंबरों पर सबसे प्रसिद्ध ज्ञात रचनात्मक निचली सीमाएँ प्रदान करते हैं।<ref>{{cite journal| doi=10.1016/j.jctb.2010.01.003 | volume=100 | issue=5 | title=रैमसे नंबरों पर कुछ रचनात्मक सीमाएँ| year=2010 | journal=Journal of Combinatorial Theory, Series B | pages=439–445 | last1 = Kostochka | first1 = Alexandr | last2 = Pudlák | first2 = Pavel | last3 = Rödl | first3 = Vojtech| doi-access=free }}</ref>
जैसा कि पहले उल्लेख किया गया है कि सामान्यीकृत बहुभुजों के आपतन ग्राफ़ में महत्वपूर्ण गुण होते हैं। उदाहरण के लिए, क्रम (s, s) का प्रत्येक सामान्यीकृत n-गॉन (s+1,2n) पिंजरा (ग्राफ़ सिद्धांत) है। वह [[विस्तारक ग्राफ]] से भी संबंधित हैं जिससे कि उनके समीप उचित विस्तार गुण हैं।<ref>{{Cite journal | doi=10.1137/0605030|title = सामान्यीकृत एन-गॉन्स से स्पष्ट संकेंद्रक| journal=SIAM Journal on Algebraic and Discrete Methods| volume=5| issue=3| pages=287–293|year = 1984|last1 = Tanner|first1 = R. Michael| hdl=10338.dmlcz/102386| hdl-access=free}}</ref> सामान्यीकृत बहुभुजों से चरम विस्तारक ग्राफ के अनेक वर्ग प्राप्त किए जाते हैं।<ref>{{Cite arXiv |eprint = 1407.4562|last1 = Nozaki|first1 = Hiroshi|title = नियमित रेखांकन के लिए रैखिक प्रोग्रामिंग सीमाएँ|class = math.CO|year = 2014}}</ref> [[रैमसे सिद्धांत]] में, सामान्यीकृत बहुभुज का उपयोग करके बनाए गए ग्राफ़ हमें विकर्ण रैमसे नंबरों पर सबसे प्रसिद्ध ज्ञात रचनात्मक निचली सीमाएँ प्रदान करते हैं।<ref>{{cite journal| doi=10.1016/j.jctb.2010.01.003 | volume=100 | issue=5 | title=रैमसे नंबरों पर कुछ रचनात्मक सीमाएँ| year=2010 | journal=Journal of Combinatorial Theory, Series B | pages=439–445 | last1 = Kostochka | first1 = Alexandr | last2 = Pudlák | first2 = Pavel | last3 = Rödl | first3 = Vojtech| doi-access=free }}</ref>
== यह भी देखें ==
== यह भी देखें ==



Revision as of 11:39, 8 May 2023

क्रम 2 का विभाजित केली षट्भुज

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

परिभाषा

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

इसके लिए सामान्यीकृत n-गॉन आपतन संरचना है (), जहाँ बिंदुओं का समुच्चय है, रेखाओ का समूह है और घटना संबंध है, जैसे कि:

  • यह आंशिक रैखिक स्थान है।
  • इसके लिए उपज्यामिति के रूप में कोई सामान्य n-गॉन नहीं है .
  • इसमें उप-ज्यामिति के रूप में साधारण n-गॉन है।
  • किसी के लिए उपज्यामिति उपस्तिथ है () साधारण n-गॉन के लिए समरूपी है जैसे कि .

इन स्थितियों को व्यक्त करने का समतुल्य किन्तु कभी-कभी सरल विधि है अतः शीर्ष समूह के साथ द्विदलीय घटना ग्राफ पर विचार करते है और बिंदुओं और रेखाओं के घटना युग्मों को जोड़ने वाले किनारे होते है।

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

सामान्यीकृत बहुभुज कोटि (s, t) का होता है यदि:

  • इसके तत्वों के अनुरूप घटना ग्राफ के सभी कोने के समीप कुछ प्राकृतिक संख्या s के लिए समान डिग्री s + 1 होता है। अतः दूसरे शब्दों में, प्रत्येक पंक्ति में बिल्कुल s + 1 अंक होते हैं।
  • इसके तत्वों के अनुरूप घटना ग्राफ के सभी कोने के समीप समान डिग्री t + 1 किसी प्राकृत संख्या t के लिए होता है अतः दूसरे शब्दों में, प्रत्येक बिंदु उचित t + 1 रेखा पर स्थित हो]ती है।

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

सामान्यीकृत n-गॉन का दोहरा (), घटना संरचना है जिसमें बिंदुओं और रेखाओं की धारणा विपरीत होती है और घटना संबंध को इसके विपरीत संबंध के रूप में लिया जाता है। इस प्रकार यह सरलता से दिखाया जा सकता है कि यह फिर से सामान्यीकृत 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-गॉन्स केवल n के निम्नलिखित मानों के लिए उपस्तिथ हो सकता है।

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

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

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

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

s, t> 1 के लिए क्रम (s, t) के प्रत्येक ज्ञात परिमित सामान्यीकृत षट्भुज में क्रम होता है।

  • (q, q): विभाजित केली षट्भुज और उनके दोहरे,
  • (q3, q): ट्विस्टेड ट्रायलिटी षट्भुज, या
  • (q, q3): दोहरी ट्विस्टेड ट्रायलिटी षट्भुज,

जहाँ q प्रधान शक्ति है।

s, t> 1 के लिए क्रम (s, t) के प्रत्येक ज्ञात परिमित सामान्यीकृत अष्टकोण में क्रम है।

  • (q, q2): री-टिट्स अष्टकोण या
  • (q2, q): दोहरी री-टिट्स अष्टकोना,

जहाँ q 2 की विषम शक्ति है।

अर्ध-परिमित सामान्यीकृत बहुभुज

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

मिश्रित अनुप्रयोग

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

यह भी देखें

संदर्भ

  1. Cherlin, Gregory (2005). "प्रति पंक्ति अधिकतम पांच बिंदुओं के साथ स्थानीय रूप से परिमित सामान्यीकृत चतुष्कोण". Discrete Mathematics. 291 (1–3): 73–79. doi:10.1016/j.disc.2004.04.021.
  2. Tanner, R. Michael (1984). "सामान्यीकृत एन-गॉन्स से स्पष्ट संकेंद्रक". SIAM Journal on Algebraic and Discrete Methods. 5 (3): 287–293. doi:10.1137/0605030. hdl:10338.dmlcz/102386.
  3. Nozaki, Hiroshi (2014). "नियमित रेखांकन के लिए रैखिक प्रोग्रामिंग सीमाएँ". arXiv:1407.4562 [math.CO].
  4. Kostochka, Alexandr; Pudlák, Pavel; Rödl, Vojtech (2010). "रैमसे नंबरों पर कुछ रचनात्मक सीमाएँ". Journal of Combinatorial Theory, Series B. 100 (5): 439–445. doi:10.1016/j.jctb.2010.01.003.
  • Haemers, W. H.; Roos, C. (1981), "An inequality for generalized hexagons", Geometriae Dedicata, 10 (1–4): 219–222, doi:10.1007/BF01447425, MR 0608143.