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

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

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

चक्रीय पॉलीटोप्स
चक्रीय पॉलीटोप $$\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 स्टेनली-रीस्नर रिंग और होमोलॉजिकल तरीकों की धारणा का उपयोग करके स्टेनली द्वारा स्थापित किया गया था । इस प्रमेय के अच्छे ऐतिहासिक विवरण के लिए स्टेनली का लेख "ऊपरी सीमा का अनुमान कैसे सिद्ध हुआ" देखें।