पॉलीटॉप

Not to be confused with पॉलीट्रॉप.

File:First stellation of octahedron.png	File:First stellation of dodecahedron.png	File:Second stellation of dodecahedron.png	File:Third stellation of dodecahedron.png	File:Sixteenth stellation of icosahedron.png	File:First stellation of icosahedron.png
एक बहुकोणीय आकृति एक 3-आयामी पॉलीटॉप है

File:Assorted polygons.svg

एक बहुभुज एक 2-आयामी पॉलीटॉप है। बहुभुज को विभिन्न मानदंडों के अनुसार चित्रित किया जा सकता है। कुछ उदाहरण है, खुला (इसकी सीमा को छोड़कर), केवल बाउंडिंग सर्किट (इसके आंतरिक भाग को अनदेखा करना), बंद (इसकी सीमा और इसके आंतरिक दोनों सहित), और विभिन्न क्षेत्रों के अलग-अलग घनत्व के साथ स्व-प्रतिच्छेद करना

प्रारंभिक ज्यामिति में, पॉलीटोप एक ज्यामितीय ऑब्जेक्ट है जिसमें समतल फेसेस होते है। पॉलीटोप्स किसी भी संख्या के आयामों के लिए त्रि-आयामी बहुकोणीय आकृति का सामान्यीकरण होता हैं। पॉलीटोप्स किसी भी सामान्य संख्या में आयाम n में n-विमीय पॉलीटोप या n-पॉलीटोप के रूप में उपलब्ध हो सकते हैं। उदाहरण के लिए, एक द्वि-आयामी बहुभुज एक 2-पॉलीटॉप है और एक त्रि-आयामी बहुकोणीय आकृति 3-पॉलीटॉप है। इस संदर्भ में, चपटी भुजाओं का अर्थ है कि (k + 1)-पॉलीटॉप की भुजाओं में k-पॉलीटोप्स होते हैं जिनमें (k - 1) पॉलीटोप्स समान हो सकते हैं।

कुछ सिद्धांतों ने इस विचार को सामान्य बना दिया है जैसे कि अपरिबद्ध अनंतता और वर्गाकार, अपघटन या घुमावदार मैनिफोल्ड्स की टाइलिंग जिसमें गोलाकार बहुकोणीय आकृति, और सम्मुचय-सैद्धांतिक का सार पॉलीटोप्स में सम्मिलित होता हैं।

1853 से पहले लुडविग श्लाफली द्वारा पहली बार तीन से अधिक आयामों के पॉलीटोप्स की खोज की गई थी, जिन्होंने इस तरह के एक आंकड़े को पॉलीसेम कहा था। जर्मन भाषा का शब्द पॉलीटॉप गणितज्ञ रेनहोल्ड हॉपी द्वारा निर्मित किया गया था, और एलिसिया बोले स्टॉट द्वारा अंग्रेजी गणितज्ञों को पॉलीटॉप के रूप में पेश किया गया था।

परिभाषा के दृष्टिकोण

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

लुडविग श्लाफली, थोरोल्ड गॉसेट द्वारा मूल दृष्टिकोण का व्यापक रूप से पालन किया जाता है, और अन्य क्रमशः दो और तीन आयामों में बहुभुज और बहुकोणीय आकृति की अवधारणाक को चार या अधिक आयामों में सादृश्य विस्तार के साथ शुरू होते हैं।

बहुकोणीय आकृत की यूलर विशेषता को उच्च-आयामी पॉलीटोप्स के सामान्यीकरण के प्रयासों ने टोपोलॉजी के विकास और अपघटन या सीडब्ल्यू-जटिल के निरूपण को एक पॉलीटॉप के अनुरूप बनाया गया है। इस दृष्टिकोण में, पॉलीटॉप, किसी दिए गए मैनिफोल्ड के उत्कीर्णन या अपघटन के रूप में माना जा सकता है। इस दृष्टिकोण का एक उदाहरण पॉलीटॉप को उन बिंदुओं के एक सम्मुचय के रूप में परिभाषित करता है जो एक साधारण परिसर को स्वीकार करते हैं। इस परिभाषा में, पॉलीटॉप अतिरिक्त गुण धर्म के साथ, बहुत से सरलताओं का संघ है, जो किसी भी दो सरलताओं के लिए, एक गैर-रिक्त प्रतिच्छेदन है। और उनका प्रतिच्छेदन दोनों का एक शीर्ष, किनारा या उच्च आयामी फेस है। चूँकि, यह परिभाषा आंतरिक संरचनाओं के साथ तारक (स्टार) पॉलीटोप्स की अनुमति नहीं देती है, और इसलिए यह गणित के कुछ क्षेत्रों तक ही सीमित है।

तारक(स्टार) बहुकोणीय आकृति और अन्य असामान्य निर्माणों की खोज ने एक बहुकोणीय आकृति को एक बाउंडिंग सतह के रूप में देखा, इसके आंतरिक भाग की अनदेखी की। इस प्रकाश के पी-क्षेत्र में उत्तल पॉलीटोप्स (पी-1) क्षेत्र के टाइलिंग के बराबर हैं, जबकि अन्य अर्धवृत्ताकार, फ्लैट या टोरॉयडल (पी-1) सतह के टाइलिंग हो सकते हैं, उदाहरण के लिए अर्धवृत्ताकार टाइलिंग और टोरॉयडल बहुकोणीय आकृति को देखें। बहुकोणीय आकृति को एक ऐसी सतह के रूप में समझा जाता है जिसके फेस ज्यामिति बहुभुज के होते हैं, एक 4-पॉलीटॉप ऊनविम पृष्ठ के रूप में होता है। जिसके फेस ज्यामिति बहुकोणीय आकृति के होते हैं।

निम्न आयामों से उच्च बहुरूपी के निर्माण के विचार को कभी कभी नीचे की ओर आयाम को बढ़ाया जाता है।, जिसमें किनारे को एक बिंदु जोड़ी द्वारा बंधे 1-पॉलीटॉप के रूप में देखा जाता है, और एक बिंदु या शीर्ष को 0-पॉलीटॉप के रूप में देखा जाता है। इस दृष्टिकोण का उपयोग उदाहरण के लिए अमूर्त पॉलीटोप्स के सिद्धांत में किया जाता है।

गणित के कुछ क्षेत्रों में, पॉलीटोप और बहुकोणीय आकृति शब्द एक अलग अर्थ में उपयोग किए जाते हैं, एक बहुकोणीय आकृति किसी भी आयाम में सामान्य वस्तु है (इस आलेख में पॉलीटोप के रूप में संदर्भित) और पॉलीटोप का अर्थ है एक घिरा हुआ सम्मुचय बहुफलक। <ref> नेमहौसर और वोल्सी, इंटीजर और कॉम्बिनेटोरियल ऑप्टिमाइजेशन, 1999, ISBN 978-0471359432, परिभाषा 2.2।</ref> यह शब्दावली विशिष्ट रूप से पॉलीटोप्स और बहुकोणीय आकृति तक ही सीमित है जो उत्तल हैं। इस शब्दावली के साथ, एक उत्तल बहुकोणीय आकृति अर्ध स्थानों की एक परिमित संख्या का प्रतिच्छेदन है। और इसके पक्षों द्वारा परिभाषित किया गया है, जबकि एक उत्तल पॉलीटोप बिंदुओं की एक परिमित संख्या का उत्तल समावरक है और इसके शीर्षों द्वारा परिभाषित किया गया है।

आयामों की कम संख्या वाले पॉलीटोप्स मानक के नाम हैं।

आयाम पॉलीटोप का	विवरण
−1	नुलिटोप
0	Monon
1	डायोन
2	बहुभुज
3	बहुतल
4	पॉलीकोरोन

तत्व

एक पॉलीटोप में विभिन्न आयामों के तत्व सम्मिलित होते हैं जैसे कोने, किनारे, फेसेस, कोशिकाएं आदि। इनके लिए शब्दावली विभिन्न लेखकों के बीच पूरी तरह से संगत नहीं है। उदाहरण के लिए, कुछ लेखक एक (n − 1) आयामी तत्व को संदर्भित करने के लिए फेसेस का उपयोग करते हैं। जबकि विशेष रूप से 2-फेसेस को निरूपित करने के लिए फेसेस का उपयोग करते हैं। जे आयामों के एक तत्व को इंगित करने के लिए लेखक जे फेस या जे फलक का उपयोग करते हैं। कुछ एक कंटक को संदर्भित करने के लिए किनारे का उपयोग करते हैं, जबकि एच.एस.एम. कॉक्सेटर (n − 1)-आयामी तत्व को निरूपित करने के लिए बैटरी का उपयोग करता है।

इस लेख में अपनाई गई शर्तें नीचे दी गई तालिका में दी गई हैं।

आयाम तत्व का	शर्त (एन-पॉलीटॉप में)
−1	शून्यता (अमूर्त सिद्धांत में आवश्यक))
0	शिखर
1	किनारा
2	फेस
3	कक्ष
$\vdots$	$\vdots$
j	j-फेस – पद का तत्व j = −1, 0, 1, 2, 3, ..., n
$\vdots$	$\vdots$
n − 3	शिखर – (n − 3)-फेस
n − 2	चोटी or subfacet – (n − 2)-फेस
n − 1	पहलू– (n − 1)-फेस
n	पॉलीटॉप ही

एक n-आयामी पॉलीटोप कई (n − 1) आयामी फलिका से घिरा होता है। ये फलिका स्वयं पॉलीटोप हैं, जिनकी फलिका मूल पॉलीटोप के (n -2) आयामी कंटक (ज्यामिति) के हैं। प्रत्येक कंटक दो फलिका के प्रतिच्छेदन के रूप में उत्पन्न होती है लेकिन दो फलिका के प्रतिच्छेदन को एक कंटक का होना आवश्यक नहीं है। कंटक एक बार फिर से पॉलीटोप हैं जिनके पहलू मूल पॉलीटोप की(n - 3) आयामी सीमाओं को निर्मित करते हैं, और इसी तरह इन बाउंडिंग सब-पॉलीटॉप्स को फेस (ज्यामिति), या विशेष रूप से जे-विमीय फेस या जे-फेस के रूप में संदर्भित किया जा सकता है। एक 0-आयामी फेसेस को एक शीर्ष कहा जाता है, और इसमें एक बिंदु होता है। 1-आयामी फेसेस को किनारा कहा जाता है, और इसमें एक रेखा खंड होता है। एक 2-आयामी फेसेस में एक बहुभुज होता है, और एक 3-आयामी फेस, जिसे कभी-कभी सेल (गणित) कहा जाता है, और इसमें एक बहुकोणीय आकृति होती है।

बहुलकों के महत्वपूर्ण वर्ग

उत्तल पॉलीटोप्स

Main article: उत्तल पॉलीटॉप

पॉलीटॉप उत्तल भी हो सकता है। उत्तल पॉलीटोप्स सबसे सरल प्रकार के पॉलीटोप्स होते हैं, और पॉलीटोप्स की अवधारणा कई अलग-अलग सामान्यीकरणों के लिए आधार बनाते हैं। एक उत्तल पॉलीटॉप को कभी-कभी अर्ध-रिक्त सम्मुचय के प्रतिच्छेदन के रूप में परिभाषित किया जाता है। यह परिभाषा पॉलीटॉप को न तो बाध्य और न ही परिमित होने की अनुमति देती है। पॉलीटोप्स को इस तरह परिभाषित किया जाता है, उदाहरण के लिए, रैखिक फलन में पॉलीटॉप बंधा हुआ है अगर इसमें परिमित त्रिज्या की एक गेंद होती है। इसमें पॉलीटॉप को पॉइंटेड कहा जाता है यदि इसमें कम से कम एक शीर्ष होता है। और हर घिरा हुआ गैर-रिक्त पॉलीटॉप पॉइंटेड होता है। और ये गैर-पॉइंटेड पॉलीटॉप का एक उदाहरण समुच्चय है$\{(x,y)\in \mathbb {R} ^{2}\mid x\geq 0\}$, पॉलीटॉप परिमित है यदि इसे परिमित संख्या में ऑब्जेक्ट्स के रूप में परिभाषित जाता है। उदाहरण के लिए अर्ध समतल की परिमित संख्या के प्रतिच्छेदन के रूप में है। यदि इसके सभी शीर्षों में पूर्णांक निर्देशांक हैं, तो यह एक अभिन्न पॉलीटॉप है।

उत्तल पॉलीटॉप्स का एक निश्चित वर्ग प्रतिवर्ती पॉलीटोप्स हैं। एक अभिन्न $d$-पॉलीटॉप ${\mathcal {P}}$ कुछ समाकलन आव्यूह के लिए प्रतिवर्ती है $\mathbf {A}$, ${\mathcal {P}}=\{\mathbf {x} \in \mathbb {R} ^{d}:\mathbf {Ax} \leq \mathbf {1} \}$, जहां पे $\mathbf {1}$ सभी के सदिश को दर्शाता है, और असमानता घटक-वार है। और इस परिभाषा से हमें पता चलता कि ${\mathcal {P}}$ प्रतिवर्ती है अगर और केवल अगर $(t+1){\mathcal {P}}^{\circ }\cap \mathbb {Z} ^{d}=t{\mathcal {P}}\cap \mathbb {Z} ^{d}$ सभी के लिए है $t\in \mathbb {Z} _{\geq 0}$. दूसरे शब्दों में, ए $(t+1)$-डाईलेट का ${\mathcal {P}}$ भिन्न, पूर्णांक जालक बिंदुओं के संदर्भ में, a $t$-dilate का ${\mathcal {P}}$ केवल सीमा पर प्राप्त जाली बिंदुओं से समान रूप से, ${\mathcal {P}}$ प्रतिवर्ती है अगर और केवल अगर यह दोहरी बहुकोणीय आकृति है तो ${\mathcal {P}}^{*}$ एक अभिन्न पॉलीटॉप है।

नियमित पॉलीटोप्स

Main article: नियमित पॉलीटॉप

नियमित पॉलीटोप्स में सभी पॉलीटॉप्स की समरूपता का उच्चतम स्तर होता है। एक नियमित पॉलीटॉप का समरूपता समूह अपने निशान पर सकर्मक रूप से कार्य करता है, इसलिए, एक नियमित पॉलीटॉप का दोहरा पॉलीटॉप भी नियमित होता है।

नियमित पॉलीटोप के तीन मुख्य वर्ग हैं जो किसी भी आयाम में होते हैं

• समबाहु त्रिभुज और नियमित चतुष्फलक सहित सरलताएं बनाता है।
• अतिविम या वर्ग और घन सहित पॉलीटोप्स को के लिए।
• वर्गाकार और नियमित अष्टफलक सहित अस्थिजाल या क्रॉस पॉलीटोप होते हैं।

आयाम दो, तीन और चार में नियमित आंकड़े सम्मिलित होते हैं जिनमें पांच गुना समरूपता होती है और जिनमें से कुछ गैर-उत्तल तारक (स्टार) होते हैं, और दो आयामों में अनंत रूप से एन-गुना समरूपता के कईनियमित बहुभुज होते हैं, दोनों उत्तल और n ≥ 5 के लिए तारक (स्टार) होते हैं। लेकिन उच्च आयामों में कोई अन्य नियमित पॉलीटॉप नहीं होते हैं।

तीन आयामों में उत्तल सैद्धांतिक ठोस में पांच गुना-सममित द्वादशफ़लक और विंशतिफलक सम्मिलित हैं, और पांच गुना समरूपता के साथ चार तारक (स्टार) केप्लर-पॉइन्सॉट बहुकोणीय आकृति भी हैं, जो कुल नौ नियमित बहुकोणीय आकृति को लाते हैं।

चार आयामों में नियमित 4-पॉलीटॉप में चार गुना समरूपता के साथ एक अतिरिक्त उत्तल ठोस और पांच गुना समरूपता के साथ सम्मिलित हैं। दस तारक (स्टार) श्लाफली-हेस 4-पॉलीटॉप हैं, और सभी पांच गुना समरूपता के साथ, सभी सोलह नियमित 4-पॉलीटॉप में दे रहे हैं।

तारक (स्टार) पॉलीटोप्स

Main article: स्टार पॉलीटॉप

एक गैर-उत्तल पॉलीटोप स्वयं प्रतिच्छेदन हो सकता है, पॉलीटोप्स के इस वर्ग में तारक (स्टार) पॉलीटोप्स में सम्मिलित हैं। कुछ नियमित पॉलीटॉप तारक (स्टार) हैं।

गुण

यूलर विशेषता

चूँकि d आयामों में एक भरा हुआ उत्तल पॉलीटॉप P एक बिंदु के लिए संकुचन क्षम है, इसकी सीमा ∂P की यूलर विशेषता x वैकल्पिक योग द्वारा दी गई है

$\mathrm{\chi <!--\; \chi \; -->}=$