दोहरी पॉलीहेड्रॉन

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

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

द्वैत ध्रुवीय पारस्परिकता से निकटता से संबंधित है, ज्यामितीय परिवर्तन, जब उत्तल बहुफलक पर प्रयुक्त होता है, तो दोहरी बहुफलक को एक और उत्तल बहुफलक के रूप में अनुभव करता है।

द्वैत के प्रकार
द्वैत कई प्रकार के होते हैं। प्रारंभिक बहुफलक के लिए सबसे अधिक प्रासंगिक प्रकार ध्रुवीय पारस्परिकता और सामयिक या अमूर्त द्वैत हैं।

ध्रुवीय पारस्परिकता
यूक्लिडियन अंतरिक्ष में, बहुफलक का दोहरा $$P$$ अधिकांशतः क्षेत्र के बारे में ध्रुवीय पारस्परिकता के संदर्भ में परिभाषित किया जाता है। यहां, प्रत्येक शीर्ष (पोल) फेस प्लेन (पोलर प्लेन या सिर्फ पोलर) से जुड़ा होता है, जिससे केंद्र से शीर्ष तक की किरण प्लेन के लंबवत हो, और केंद्र से प्रत्येक की दूरियों का गुणनफल त्रिज्या का वर्ग के बराबर हो ।

जब गोले की त्रिज्या $$r$$ होती है और मूल पर केंद्रित है (जिससे$$x^2 + y^2 + z^2 = r^2$$ समीकरण द्वारा परिभाषित किया जा सके ), फिर उत्तल बहुफलक का ध्रुवीय द्वैत $$P$$ की तरह परिभाषित किया गया है

जहाँ पर $$q \cdot p$$ $$q$$ तथा $$p$$ के मानक डॉट उत्पाद को दर्शाता है

सामान्यतः जब दोहरे के निर्माण में कोई क्षेत्र निर्दिष्ट नहीं होता है, तो इकाई क्षेत्र का उपयोग किया जाता है, जिसका अर्थ है उपरोक्त परिभाषाओं में $$r=1$$ है।

रैखिक समीकरण द्वारा वर्णित $$P$$ के प्रत्येक फलक के विमान के लिए $$x_0x + y_0y + z_0z = r^2,$$ दोहरे बहुफलक $$P^\circ$$ का संगत शीर्ष निर्देशांक होंगे $$(x_0,y_0,z_0)$$. इसी प्रकार, प्रत्येक शीर्ष $$P$$ के फलक $$P^\circ$$ तल से मिलता है, और $$P$$ प्रत्येक किनारे की रेखा की एक धार रेखा $$P^\circ$$ से मिलता है. $$P$$ तथा $$P^\circ$$के शीर्षों, किनारों और चेहरों के मध्य पत्राचार समावेशन को उलट देता है। उदाहरण के लिए, यदि $$P$$ का एक किनारा एक शीर्ष, हैं $$P^\circ$$ के संगत किनारे सम्मिलित संबंधित फलक में निहित होगा।

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

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

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

विहित दोहरे
किसी भी उत्तल बहुफलक को कैनोनिकल बहुफलक में विकृत किया जा सकता है, जिसमें एक यूनिट मिडस्फीयर (या इंटरस्फीयर) हर किनारे पर स्पर्शरेखा मौजूद होती है, और इस तरह स्पर्शरेखा के बिंदुओं की औसत स्थिति गोले का केंद्र होती है। सर्वांगसमता के लिए यह रूप अद्वितीय है।

यदि हम इस तरह के कैनोनिकल बहुफलक को इसके मिडस्फीयर के बारे में बताते हैं, तो दोहरी बहुफलक समान किनारे-स्पर्श बिंदुओं को साझा करेगा, और इस प्रकार कैनोनिकल भी होगा। यह कैनोनिकल डुअल है, और दोनों मिलकर एक कैनोनिकल डुअल कंपाउंड बनाते हैं।

डोरमन ल्यूक निर्माण
एक समान बहुफलक के लिए, दोहरे बहुफलक के प्रत्येक फलक को मूल बहुफलक के संबंधित शीर्ष आकृति से यूनिफ़ॉर्म डुअल बहुफलक डोर्मन ल्यूक निर्माण का उपयोग करके प्राप्त किया जा सकता है।

सामयिक द्वैत
यहां तक ​​​​कि जब बहुफलक की जोड़ी एक-दूसरे से पारस्परिक रूप से प्राप्त नहीं की जा सकती है, तब तक उन्हें एक-दूसरे के दोहरे कहा जा सकता है, जब तक कि एक के शीर्ष दूसरे के फलक से मिलता खाते हैं, और एक के किनारे दूसरे के किनारों से मिलता खाते हैं, घटना-संरक्षण विधि से। बहुफलक के ऐसे जोड़े अभी भी स्थलीय या अमूर्त रूप से दोहरे हैं।

उत्तल बहुफलक के कोने और किनारे एक ग्राफ सिद्धांत (एन-कंकाल | बहुफलक का 1-कंकाल) बनाते हैं, जो बहुफलक (स्थलीय क्षेत्र) की सतह पर एम्बेडेड होता है। इस ग्राफ को समतल तल पर श्लेगल आरेख बनाने के लिए प्रक्षेपित किया जा सकता है। द्वैत बहुफलक के शीर्षों और किनारों द्वारा निर्मित ग्राफ़ दोहरा ग्राफ का द्वैत ग्राफ़ है।

अधिक सामान्यतः, किसी भी बहुफलक के लिए जिसका फलक बंद सतह बनाता है, बहुफलक के कोने और किनारे इस सतह पर एम्बेडेड ग्राफ बनाते हैं, और (सार) दोहरी बहुफलक के कोने और किनारे मूल ग्राफ के दोहरे ग्राफ का निर्माण करते हैं।

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

प्रत्येक ज्यामितीय बहुफलक इस तरह से एक सार बहुफलक से मिलता है, और इसमें अमूर्त दोहरी बहुफलक है। चूंकि, कुछ प्रकार के गैर-उत्तल ज्यामितीय बहुफलक के लिए, दोहरी बहुफलक ज्यामितीय रूप से वसूली योग्य नहीं हो सकता है।

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

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

इसी तरह, प्रत्येक टोपोलॉजिकल रूप से स्व-दोहरी उत्तल बहुफलक को समतुल्य ज्यामितीय रूप से स्व-दोहरी बहुफलक द्वारा अनुभव किया जा सकता है, इसके कैनोनिकल बहुफलक, मिडस्फीयर के केंद्र के बारे में पारस्परिक है।

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

कई अन्य उत्तल, स्व-द्वैत बहुफलक हैं। उदाहरण के लिए, 7 शीर्षों के साथ 6 भिन्न हैं, और 8 शीर्षों के साथ 16 हैं।

1900 में ब्रुकनर द्वारा हेक्सागोनल चेहरों के साथ एक स्व-दोहरी गैर-उत्तल आईकोसाहेड्रॉन की पहचान की गई थी।  गैर-उत्तल बहुफलक और उनके दोहरे की कुछ परिभाषाओं के अनुसार अन्य गैर-उत्तल स्व-दोहरी बहुफलक पाए गए हैं।

दोहरी पॉलीटॉप और टेसलेशन
द्वैत को एन-डायमेंशनल स्पेस और 'डुअल पॉलीटोप्स' के लिए सामान्यीकृत किया जा सकता है; द्विविम में इन्हें द्विबहुभुज कहते हैं।

एक पॉलीटॉप के शीर्ष दूसरे के (n - 1)-विमीय तत्वों, या पहलुओं के अनुरूप होते हैं, और j बिंदु जो a (j - 1)-आयामी तत्व को परिभाषित करते हैं, वे j हाइपरप्लेन के अनुरूप होंगे जो एक ( एन - जे) - आयामी तत्व है। एक एन-डायमेंशनल टेसलेशन या हनीकॉम्ब (ज्यामिति) के दोहरे को इसी तरह परिभाषित किया जा सकता है।

सामान्यतः, पॉलीटोप के दोहरे के पहलू पॉलीटॉप के शीर्ष आंकड़ों के टोपोलॉजिकल दोहरे होंगे। नियमित पॉलीटॉप और वर्दी पॉलीटॉप पॉलीटोप्स के ध्रुवीय व्युत्क्रम के लिए, दोहरे पहलू मूल के शीर्ष आकृति के ध्रुवीय व्युत्क्रम होंगे। उदाहरण के लिए, चार आयामों में, 600-सेल का शीर्ष आंकड़ा नियमित आईकोसाहेड्रॉन है; 600-कोशिका का द्वैत 120-कोशिका है, जिसके पहलू द्वादशफ़लक हैं, जो कि icosahedron के द्वैत हैं।

स्व-दोहरी पॉलीटोप्स और टेसलेशन्स
स्व-दोहरी पॉलीटॉप्स का प्राथमिक वर्ग मुरजबंध संबंधी फलक प्रतीकों के साथ नियमित पॉलीटोप्स हैं। सभी नियमित बहुभुज, {ए} स्व-द्वैत हैं, फॉर्म के बहुफलक {ए}, फॉर्म के 4-पॉलीटॉप {ए, बी, ए}, फॉर्म के 5-पॉलीटॉप {ए, बी, बी, ए }, आदि।

स्व-दोहरी नियमित पॉलीटॉप हैं:

स्व-दोहरी (अनंत) नियमित यूक्लिडियन मधुकोश (ज्यामिति) हैं: स्व-दोहरी (अनंत) नियमित कॉक्सेटर आरेख हाइपरबोलिक कॉक्सेटर समूह मधुकोश हैं:
 * सभी नियमित बहुभुज, {ए}।
 * नियमित चतुष्फलक: {3,3}
 * सामान्यतः, सभी नियमित सिंप्लेक्स, {3,3,...,3}
 * 4 आयामों में नियमित 24-कोशिका, {3,4,3}।
 * महान 120-सेल {5,5/2,5} और भव्य तारकीय 120-सेल {5/2,5,5/2}
 * एपिरोगोन: {∞}
 * स्क्वायर टाइलिंग: {4,4}
 * क्यूबिक मधुकोश: {4,3,4}
 * सामान्यतः, सभी नियमित एन-डायमेंशनल यूक्लिडियन हाइपरक्यूबिक मधुकोश: {4,3,...,3,4}।
 * कॉम्पैक्ट हाइपरबोलिक टाइलिंग: ऑर्डर-5 पंचकोणीय टाइलिंग|{5,5}, ऑर्डर-6 हेक्सागोनल टाइलिंग|{6,6}, ... {पी,पी}।
 * पैराकॉम्पैक्ट हाइपरबोलिक टाइलिंग: अनंत-क्रम एपिरोगोनल टाइलिंग|{∞,∞}
 * कॉम्पैक्ट हाइपरबोलिक मधुकोश: इकोसाहेड्रल हनीकॉम्ब|{3,5,3}, ऑर्डर-5 डोडेकाहेड्रल हनीकॉम्ब|{5,3,5}, और ऑर्डर-5 120-सेल हनीकॉम्ब|{5,3,3,5}
 * पैराकॉम्पैक्ट हाइपरबोलिक हनीकॉम्ब: त्रिकोणीय टाइलिंग हनीकॉम्ब|{3,6,3}, ऑर्डर-6 हेक्सागोनल टाइलिंग हनीकॉम्ब|{6,3,6}, ऑर्डर-4 स्क्वायर टाइलिंग हनीकॉम्ब|{4,4,4}, और {3 ,3,4,3,3}

यह भी देखें

 * कॉनवे बहुफलक नोटेशन
 * दोहरी बहुभुज
 * स्व-दोहरी ग्राफ
 * स्व-दोहरी बहुभुज