उच्च सीमा प्रमेय

गणित में, ऊपरी सीमा प्रमेय में कहा गया है कि किसी दिए गए आयाम और शीर्षों की संख्या के साथ सभी उत्तल पॉलीटोप्स के बीच चक्रीय पॉलीटोप में faces की संभावित संख्या सबसे बड़ी होती है। यह पॉलीहेड्रल कॉम्बिनेटरिक्स के केंद्रीय परिणामों में से एक है।

मूल रूप से ऊपरी सीमा अनुमान के रूप में जाना जाता है, यह कथन थिओडोर मोत्ज़किन द्वारा तैयार किया गया था, जिसे 1970 में पीटर मैकमुलेन द्वारा सिद्ध किया गया था, और 1975 में रिचर्ड पी. स्टेनली द्वारा पॉलीटोप्स से एक क्षेत्र के उपविभाजनों तक मजबूत किया गया।

चक्रीय पॉलीटोप्स

Main article: Cyclic polytope

चक्रीय पॉलीटोप $\Delta (n,d)$ के उत्तल पतवार के रूप में परिभाषित किया जा सकता है $n$ शीर्ष (ज्यामिति) क्षण वक्र पर, का सेट $d$-निर्देशांक के साथ आयामी बिंदु $(t,t^{2},t^{3},\dots )$. जिसका सटीक चयन $n$ इस वक्र पर जिन बिंदुओं का चयन किया गया है, वह इस पॉलीटोप की संयुक्त संरचना के लिए अप्रासंगिक है। की संख्या $i$-के आयामी चेहरे $\Delta (n,d)$ सूत्र द्वारा दिया गया है

$$f_{i}(\Delta (n,d))={\binom {n}{i+1}}\quad {\textrm {for}}\quad 0\leq i<\left\lfloor {\frac {d}{2}}\right\rfloor$$

और $(f_{0},\ldots ,f_{\left\lfloor {\frac {d}{2}}\right\rfloor -1})$ पूरी तरह से निर्धारित करें $(f_{\left\lfloor {\frac {d}{2}}\right\rfloor },\ldots ,f_{d-1})$ डेन-सोमरविले समीकरण के माध्यम से। चेहरों की संख्या के लिए वही सूत्र आमतौर पर किसी भी पड़ोसी पॉलीटोप के लिए लागू होता है।

कथन

ऊपरी सीमा प्रमेय बताता है कि यदि $\Delta$ आयाम का एक सरल क्षेत्र है $d-1$ साथ $n$ शीर्ष, तो

$$f_{i}(\Delta )\leq f_{i}(\Delta (n,d))\quad {\textrm {for}}\quad i=0,1,\ldots ,d-1.$$

बीच में अंतर $d-1$ सरल क्षेत्र के आयाम के लिए, और $d$ चक्रीय पॉलीटोप के आयाम के लिए, इस तथ्य से पता चलता है कि ए की सतह $d$-आयामी पॉलीटोप (जैसे कि चक्रीय पॉलीटोप) एक है $(d-1)$-किसी गोले का आयामी उपविभाजन। इसलिए, ऊपरी सीमा प्रमेय का तात्पर्य है कि एक मनमाना पॉलीटोप के चेहरों की संख्या कभी भी समान आयाम और शीर्षों की संख्या वाले चक्रीय या पड़ोसी पॉलीटोप के चेहरों की संख्या से अधिक नहीं हो सकती है। असम्बद्ध रूप से, इसका तात्पर्य यह है कि अधिकतम हैं $\scriptstyle O(n^{\lfloor d/2\rfloor })$ सभी आयामों के चेहरे. समान सीमाएं उत्तल पॉलीटोप के लिए भी लागू होती हैं जो सरल नहीं हैं, क्योंकि ऐसे पॉलीटोप के शीर्षों को परेशान करना (और परेशान शीर्षों के उत्तल पतवार को लेना) केवल चेहरों की संख्या में वृद्धि कर सकता है।

इतिहास

सरल पॉलीटोप्स के लिए ऊपरी सीमा अनुमान 1957 में मोत्ज़किन द्वारा प्रस्तावित किया गया था और 1970 में मैकमुलेन द्वारा सिद्ध किया गया था। उनके प्रमाण में एक प्रमुख घटक एच-वेक्टर|एच-वेक्टर के संदर्भ में निम्नलिखित सुधार था:

$h_{i}(\Delta )\leq {\tbinom {n-d+i-1}{i}}\quad {\textrm {for}}\quad 0\leq i<\left\lfloor {\frac {d}{2}}\right\rfloor .$

विक्टर क्ली ने सुझाव दिया कि सभी सरल क्षेत्रों के लिए एक ही कथन लागू होना चाहिए और यह वास्तव में 1975 में स्टेनली द्वारा स्थापित किया गया था स्टेनली-रीस्नर रिंग की धारणा और होमोलॉजिकल तरीकों का उपयोग करना। इस प्रमेय के अच्छे ऐतिहासिक विवरण के लिए स्टैनली का लेख देखें कि ऊपरी सीमा का अनुमान कैसे सिद्ध हुआ।