खिंचाव अपरिवर्तनीय: Difference between revisions

Revision as of 23:22, 18 December 2022

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

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

घन के लिए डेन अपरिवर्तनीय शून्य है, लेकिन अन्य सैद्धांतिक ठोस के लिए शून्य नहीं है, जिसका अर्थ है कि अन्य ठोस स्थान को टाइल नहीं कर सकते हैं और उन्हें घन में विच्छेदित नहीं किया जा सकता है। सभी आर्किमिडीयन ठोसों में डीएचएन अपरिवर्तनीय होते हैं जो सैद्धांतिक ठोसों के लिए अपरिवर्तनीय संयोजनों के तर्कसंगत संयोजन होते हैं। विशेष रूप से, कटा हुआ ऑक्टाहेड्रॉन भी अंतरिक्ष को टाइल करता है और घन की तरह डेन अपवर्तनीय का मान शून्य है।

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

पृष्ठभूमि और इतिहास

एक वर्ग और समबाहु त्रिभुज का एक दूसरे में विच्छेदन। घन और नियमित चतुर्पाश्वीय के लिए ऐसा कोई विच्छेदन मौजूद नहीं है।

दो आयामों में, 19वीं शताब्दी की शुरुआत के वालेस-बोल्याई-गेरवीन प्रमेय में कहा गया है कि समान क्षेत्र के किन्हीं भी दो बहुभुजों को उसके बहुभुज के टुकड़ों में काटा जा सकता है और पुनः जोड़ा जा सकता है। 19वीं शताब्दी के अंत में, डेविड हिल्बर्ट इस परिणाम में रुचि लेने लगे। उन्होंने इसे यूक्लिडियन ज्यामिति के लिए हिल्बर्ट के सिद्धांतों के संबंध में द्वि-आयामी बहुभुजों के क्षेत्र को स्वयंसिद्ध करने की विधि के रूप में उपयोग किया। यह यूक्लिड के तत्वों के लिए यूक्लिड के तत्वों द्वारा अधिक सहज रूप से नियंत्रित किए गए क्षेत्र जैसी स्पष्ट धारणाओं को ठीक करके, ज्यामिति की नींव को और अधिक कठोर बनाने के फंक्शन का भाग था।^[1] स्वाभाविक रूप से, इसने यह प्रश्न उठाया कि क्या एक समान स्वयंसिद्ध उपचार को ठोस ज्यामिति तक बढ़ाया जा सकता है।^[2]

गणितज्ञों की 1900 अंतर्राष्ट्रीय कांग्रेस में, हिल्बर्ट ने हिल्बर्ट की समस्याओं को तैयार किया, समस्याओं के इस समूह को 20वीं सदी के गणित में बहुत प्रभावशाली बनाया गया। उनमें से हिल्बर्ट की तीसरी समस्या ने ठोस आयतन के स्वयं सिद्धीकरण पर इस प्रश्न को संबोधित किया। हिल्बर्ट की तीसरी समस्या, अधिक विशेष रूप से पूछी गई कि क्या समान मात्रा के प्रत्येक दो पॉलीहेड्रा को हमेशा पॉलीहेड्रल टुकड़ों में काटा जा सकता है और एक दूसरे में फिर से जोड़ा जा सकता है। यदि यह स्थिति होती, तो किसी भी बहुफलक के आयतन को स्वयंसिद्ध रूप से परिभाषित किया जा सकता था, इस प्रकार समतुल्य घन के आयतन के रूप में जिसमें इसे फिर से जोड़ा जा सकता था। चूंकि, उत्तर नकारात्मक निकला सभी पॉलीहेड्रा को क्यूब्स में विच्छेदित नहीं किया जा सकता है।^[3] कुछ अन्य हिल्बर्ट समस्याओं के विपरीत, तीसरी समस्या का उत्तर बहुत जल्दी आ गया। हिल्बर्ट के छात्र मैक्स डेहन ने अपने 1900 के आवास शोध में, इस समस्या को हल करने के लिए डेहन अपरिवर्तनीय का आविष्कार किया। डेन ने प्रमाणित किया कि, एक दूसरे में पुन: संयोजन करने के लिए, समान मात्रा के दो पॉलीहेड्रा में समान डेन अपरिवर्तनीय भी होना चाहिए, लेकिन उन्होंने समान मात्रा के दो टेट्राहेड्रा पाए जिनके डेन के आक्रमण अलग-अलग थे। इसने समस्या का नकारात्मक समाधान प्रदान किया।^[2] चूंकि डेनान ने अपने अपरिवर्तनीय को अलग विधि से तैयार किया, डेन के अपरिवर्तनीय के लिए आधुनिक दृष्टिकोण इसे निम्नलिखित मॉड्यूल के टेंसर उत्पाद में मूल्य के रूप में वर्णित करना है Jessen (1968).^[4]^[5]

उदाहरण

सरलीकृत गणना

डेन अपवर्तनीय को एक तरह से परिभाषित करना जो एक साथ सभी पॉलीहेड्रा पर लागू हो सकता है, इसमें अनंत-आयामी वेक्टर रिक्त स्थान सम्मलित हैं (नीचे § पूर्ण परिभाषा देखें )। चूंकि, जब किसी विशेष उदाहरण तक सीमित किया जाता है, जिसमें बहुत सारे पॉलीहेड्रा होते हैं, जैसे कि सैद्धांतिक ठोस, इसे सरल विधि से परिभाषित किया जा सकता है, जिसमें केवल एक सीमित संख्या में आयाम सम्मलित होते हैं:^[6]

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

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

सैद्धांतिक ठोस

पांच सैद्धांतिक ठोस के लिए, डायहेड्रल कोण हैं:

$\theta _{\mathrm {tet} }=\arccos {\tfrac {1}{3}}\approx 70.5^{\circ }$ टेट्राहेड्रॉन के लिए।
$\theta _{\mathrm {cube} }=\pi /2=90^{\circ }$ घन के लिए।
$\theta _{\mathrm {oct} }=\arccos(-{\tfrac {1}{3}})\approx 109.5^{\circ }$ अष्टफलक के लिए।
$\theta _{\mathrm {dodec} }=2\arctan 2\approx 126.9^{\circ }$ द्वादशफलक के लिए।
$\theta _{\mathrm {icos} }=\arccos(-{\tfrac {1}{3}}{\sqrt {5}})\approx 138.2^{\circ }$ आइकोसैहेड्रोन के लिए।

एक घन का द्वितल कोण का परिमेय गुणक होता है $\pi$ , लेकिन बाकी नहीं हैं। नियमित चतुष्फलक और नियमित अष्टफलक के द्वितल कोण पूरक कोण हैं: वे योग करते हैं to $\pi$ . इन पाँच कोणों में से चतुष्फलक या अष्टफलक में से किसी एक को हटाने से एक तर्कसंगत आधार उत्पन्न होता है: इन कोणों के बीच कोई अन्य तर्कसंगत संबंध नहीं है।^[6] यदि, उदाहरण के लिए, आधार जो छूट जाता है $\theta _{\mathrm {oct} }$ प्रयोग किया जाता है, और $\theta _{\mathrm {cube} }$ एक आधार तत्व के रूप में प्रयोग किया जाता है लेकिन फिर छोड़ दिया जाता है (के परिमेय गुणक के रूप में $\pi$ ) डेन्न अपरिवर्तनीय गणना से, फिर शेष कोण आधार तत्व हैं $\theta _{\mathrm {tet} }$ , $\theta _{\mathrm {dodec} }$ , तथा $\theta _{\mathrm {icos} }$ . परिणामी डेन अपवर्तनीयs में प्रत्येक आधार तत्व के लिए एक आयाम होगा। इस आधार के साथ, किनारे की लंबाई वाले सैद्धांतिक ठोस के लिए $s$ , डेन के अपरिवर्तनीय हैं:^{[lower-alpha 1]}

$(6s,0,0)$ टेट्राहेड्रॉन के लिए। इसकी लंबाई के छह किनारे हैं $s$ , टेट्राहेड्रल डायहेड्रल कोणों के साथ।
$(0,0,0)$ घन के लिए। इसके किनारों में डायहेड्रल कोण होते हैं जो केवल के संदर्भ में व्यक्त किए जाते हैं $\theta _{\mathrm {cube} }$ , डेन अपवर्तनीय से छोड़ा गया।
$(-12s,0,0)$ अष्टफलक के लिए। इसके बारह किनारों में डायहेड्रल हैं $\theta _{\mathrm {oct} }=2\theta _{\mathrm {cube} }-\theta _{\mathrm {tet} }$ . इस संयोजन में, के लिए गुणांक $\theta _{\mathrm {cube} }$ खारिज कर दिया जाता है, केवल एक गुणांक छोड़कर $-1$ for $\theta _{\mathrm {tet} }$ .
$(0,30s,0)$ द्वादशफलक के लिए। इसमें डोडेकाहेड्रल डायहेड्रल कोणों के साथ 30 किनारे हैं।
$(0,0,30s)$ आइकोसैहेड्रोन के लिए। इसमें आइकोसाहेड्रल डायहेड्रल कोणों के साथ 30 किनारे हैं।

घन इनमें से केवल एक है जिसका डेन्न परिवर्तक शून्य है। अन्य चार सैद्धांतिक ठोसों में से प्रत्येक के डेन के आक्रमण असमान और अशून्य हैं। ऑक्टाहेड्रॉन का डेन अपवर्तनीय है $-2$ एक ही किनारे की लंबाई के टेट्राहेड्रॉन के डीएचएन अपवर्तनीय का गुना।^[6]

अनुप्रयोग

Unsolved problem in mathematics:

Is there a dissection between every pair of spherical or hyperbolic polyhedra with the same volume and Dehn invariant as each other?

(more unsolved problems in mathematics)

जैसा Dehn (1901) देखा गया है, बहुफलक के विच्छेदन के लिए डेन अपवर्तनीय एक अपरिवर्तनीय (गणित) है, इस अर्थ में कि एक बहुफलक को छोटे बहुफलकीय टुकड़ों में काटना और फिर उन्हें एक अलग बहुफलक में फिर से जोड़ना परिणाम के डेन अपरिवर्तनीय को नहीं बदलता है।^{[lower-alpha 2]} विच्छेदन का एक अन्य अपरिवर्तनीय एक पॉलीहेड्रॉन का आयतन है: इसे पॉलीहेड्रल टुकड़ों में काटने और टुकड़ों को फिर से जोड़ने से कुल आयतन नहीं बदल सकता है। इसलिए, यदि एक बहुफलक $P$ दूसरे पॉलीहेड्रॉन में विच्छेदन है $Q$ , दोनों $P$ तथा $Q$ समान डेन अपवर्तनीय और साथ ही समान आयतन होना चाहिए।^[9] Sydler (1965) इस परिणाम को यह साबित करके बढ़ाया कि इस समस्या के लिए वॉल्यूम और डेन अपवर्तनीय ही एकमात्र अपवर्तनीय हैं। यदि $P$ तथा $Q$ दोनों में एक ही मात्रा और एक ही डेन अपरिवर्तनीय है, एक को दूसरे में विभाजित करना हमेशा संभव होता है।^[10]^[11] डेन का परिणाम गोलीय ज्यामिति और अतिपरवलयिक ज्यामिति के लिए वैध बना हुआ है। उन दोनों ज्यामितीयों में, दो पॉलीहेड्रा जिन्हें काटा जा सकता है और एक दूसरे में फिर से जोड़ा जा सकता है, उनके पास एक ही डेन अपवर्तनीय होना चाहिए। चूंकि, जैसा कि जेसन ने देखा, गोलाकार या अतिशयोक्तिपूर्ण ज्यामिति के लिए सिडलर के परिणाम का विस्तार खुला रहता है: यह ज्ञात नहीं है कि दो गोलाकार या अतिशयोक्तिपूर्ण पॉलीहेड्रा समान आयतन और समान डेन अपवर्तनीय को हमेशा एक दूसरे में काटा और फिर से जोड़ा जा सकता है।^[12] परिमित अतिपरवलयिक आयतन के साथ हर अतिपरवलयिक मैनिफोल्ड को जियोडेसिक सतहों के साथ एक अतिशयोक्तिपूर्ण पॉलीहेड्रॉन में काटा जा सकता है, जिसमें आवश्यक रूप से शून्य डीएचएन अपरिवर्तनीय है।^[13] डेन अपवर्तनीय भी मधुकोश (ज्यामिति) के लिए बहुध्रुव की क्षमता को बाधित करता है। हर जगह भरने वाली टाइल में घन की तरह डेन अपरिवर्तनीय शून्य होता है। पॉलीहेड्रा के लिए समय-समय पर यह टाइलिंग की आवधिकता का उपयोग करके समान आवधिकता के साथ टाइल को समानांतर चतुर्भुज में काटने और पुनर्व्यवस्थित करने के लिए अनुसरण करेगा, लेकिन यह परिणाम श्मिट-कॉनवे-डेनज़र बिप्रिज़्म जैसे एपरियोडिक टाइलों के लिए भी है, जिसका अस्तित्व एक अलग हिल्बर्ट समस्या से संबंधित है, हिल्बर्ट की अठारहवीं समस्या।^[14]^[15] इसका उल्टा सच नहीं है - डीएचएन अपवर्तनीय शून्य के साथ पॉलीहेड्रा मौजूद है जो अंतरिक्ष को टाइल नहीं करता है। चूंकि, इन्हें हमेशा दूसरे आकार (घन) में विच्छेदित किया जा सकता है जो टाइल स्थान करता है। छोटा किया गया आईकोसिडोडेकेड्रोन एक उदाहरण है।

अधिक आम तौर पर, यदि पॉलीहेड्रा का कुछ संयोजन संयुक्त रूप से अंतरिक्ष को टाइल करता है, तो उनके डीएचएन अपवर्तनीय्स (समान अनुपात में लिया गया) का योग शून्य होना चाहिए। उदाहरण के लिए, टेट्राहेड्रल-ऑक्टाहेड्रल मधुकोश टेट्राहेड्रा और ऑक्टाहेड्रा द्वारा अंतरिक्ष की टाइलिंग है (ऑक्टाहेड्रा के रूप में दो बार टेट्राहेड्रा के साथ), इस तथ्य के अनुरूप है कि एक ऑक्टाहेड्रा और दो टेट्राहेड्रा (समान साइड लंबाई के साथ) के डेन अपवर्तनीय का योग ) शून्य है।^{[lower-alpha 3]}

पूर्ण परिभाषा

टेंसर उत्पाद के रूप में

डेन अपवर्तनीय की परिभाषा के लिए एक पॉलीहेड्रॉन की धारणा की आवश्यकता होती है जिसके लिए किनारों की लंबाई और डायहेड्रल कोण अच्छी तरह से परिभाषित होते हैं। आमतौर पर, यह पॉलीहेड्रा पर लागू होता है, जिसकी सीमाएं कई गुना होती हैं, जो यूक्लिडियन अंतरिक्ष में विमानों की एक सीमित संख्या में एम्बेडेड होती हैं। चूंकि, गोलाकार ज्यामिति या अतिशयोक्तिपूर्ण अंतरिक्ष में पॉलीहेड्रा के लिए डेन अपवर्तनीय पर भी विचार किया गया है,^[4] और यूक्लिडियन अंतरिक्ष में कुछ स्व-क्रॉसिंग पॉलीहेड्रा के लिए।^[16] डेन अपवर्तनीय के मान एक एबेलियन समूह से संबंधित हैं^[17] मॉड्यूल के टेन्सर उत्पाद के रूप में परिभाषित

\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /2\pi \mathbb {Z} .

इस टेन्सर गुणनफल का बायाँ कारक वास्तविक संख्याओं का समुच्चय है (इस मामले में पॉलीहेड्रा के किनारों की लंबाई का प्रतिनिधित्व करता है) और दायाँ कारक कांति में डायहेड्रल कोणों का प्रतिनिधित्व करता है, जो 2 के मॉड्यूलो तर्कसंगत गुणकों के रूप में दिए गए हैं।

π

.^[10] (कुछ स्रोत कोण मॉड्यूलो लेते हैं

π

के अतिरिक्त modulo 2

π

,^[4]^[17]^[18] या कोणों को इससे विभाजित करें

π

और उपयोग करें

\mathbb {R} /\mathbb {Z}

जगह में of

\mathbb {R} /2\pi \mathbb {Z}

,^[19] लेकिन इससे परिणामी टेन्सर गुणनफल पर कोई फर्क नहीं पड़ता है, जैसा कि किसी भी परिमेय गुणक में होता है

π

उत्पाद में सही कारक शून्य हो जाता है।)

किनारे की लंबाई वाले पॉलीहेड्रॉन का डेन अपवर्तनीय $\ell _{i}$ और किनारा डायहेड्रल कोण $\theta _{i}$ योग है^[10]

\sum _{i}\ell _{i}\otimes \theta _{i}.

एक टेन्सर के रूप में इसकी संरचना डेन को अपरिवर्तनीय अतिरिक्त गुण देती है जो ज्यामितीय रूप से सार्थक हैं। विशेष रूप से, इसकी एक टेंसर रैंक है, जो शब्दों की न्यूनतम संख्या है

\ell \otimes \theta

किसी भी अभिव्यक्ति में ऐसे शब्दों के योग के रूप में। चूंकि एक पॉलीहेड्रॉन के किनारों पर योग के रूप में डेन्न अपरिवर्तनीय की अभिव्यक्ति बिल्कुल इस रूप में है, डेन्न अपरिवर्तनीय का रैंक किसी दिए गए पॉलीहेड्रॉन के विच्छेदन के परिणामस्वरूप किसी भी पॉलीहेड्रॉन के लिए संभव किनारों की न्यूनतम संख्या पर एक निचली सीमा देता है।^[20]

हैमेल आधार का प्रयोग

डेन अपवर्तनीय के एक वैकल्पिक लेकिन समतुल्य विवरण में एक Hamel आधार, एक अनंत उपसमुच्चय का चुनाव सम्मलित है $B$ वास्तविक संख्याओं की ऐसी कि प्रत्येक वास्तविक संख्या को विशिष्ट रूप से तत्वों के बहुत से तर्कसंगत गुणकों के योग के रूप में व्यक्त किया जा सकता है $B$ . इस प्रकार, एक योज्य समूह के रूप में, $\mathbb {R}$ समूह समरूपता है $\mathbb {Q} ^{(B)}$ , प्रतियों के मॉड्यूल का प्रत्यक्ष योग $\mathbb {Q}$ के प्रत्येक तत्व के लिए एक योग के साथ $B$ . यदि $B$ सावधानी से चुना जाता है ताकि $π$ (या का एक परिमेय गुणक $π$ ) इसके तत्वों में से एक है, और $B'$ इस तत्व के साथ शेष आधार है, फिर टेंसर उत्पाद $\mathbb {R} \otimes \mathbb {R} /2\pi \mathbb {Z}$ (अनंत आयामी) वास्तविक वेक्टर अंतरिक्ष के रूप में वर्णित किया जा सकता है $\mathbb {R} ^{(B')}$ . डेन अपवर्तनीय को प्रत्येक डायहेड्रल कोण को विघटित करके व्यक्त किया जा सकता है $\theta _{i}$ आधार तत्वों के परिमित योग में

\theta _{i}=\sum _{j=0}^{k_{i}}q_{i,j}b_{i,j}

कहाँ पे

q_{i,j}

तर्कसंगत है,

b_{i,j}

हेमल आधार में वास्तविक संख्याओं में से एक है, और इन आधार तत्वों को क्रमांकित किया गया है ताकि

b_{i,0}

का परिमेय गुणज है

π

वह संबंधित है

B

लेकिन नहीं

B'

. इस अपघटन के साथ, डेन अपरिवर्तनीय है

\sum _{i}\sum _{j=1}^{k_{i}}\ell _{i}q_{i,j}e_{i,j},

जहां प्रत्येक

e_{i,j}

में मानक इकाई वेक्टर है

\mathbb {R} ^{(B')}

आधार तत्व के अनुरूप

b_{i,j}

. यहाँ योग से शुरू होता है

j=1

, के परिमेय गुणजों के संगत पद को छोड़ने के लिए

π

.^[21] यद्यपि हेमल आधार सूत्रीकरण पसंद के स्वयंसिद्ध को सम्मलित करने के लिए प्रतीत होता है, इससे उत्पन्न होने वाले परिमित-आयामी वेक्टर स्थान पर ध्यान प्रतिबंधित करके (पॉलीहेड्रा के किसी विशिष्ट परिमित सेट पर विचार करते समय) इससे बचा जा सकता है।

\mathbb {Q}

पॉलीहेड्रा के डायहेड्रल कोणों द्वारा।^[22] इस वैकल्पिक सूत्रीकरण से पता चलता है कि डेन अपरिवर्तनीय के मूल्यों को एक वास्तविक सदिश स्थान की अतिरिक्त संरचना दी जा सकती है।^[23]

अनंत किनारों की लंबाई के साथ हाइपरबोलिक पॉलीहेड्रा

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

वास्तविकता

चूंकि डेन अपवर्तनीय मान लेता है $\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /2\pi \mathbb {Z} ,$ इस स्थान के सभी तत्वों को पॉलीहेड्रा के डीएचएन अपवर्तनीय के रूप में महसूस नहीं किया जा सकता है। यूक्लिडियन पॉलीहेड्रा के डीएचएन अपवर्तनीय एक रैखिक उप-स्थान बनाते हैं $\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /2\pi \mathbb {Z}$ : पॉलीहेड्रा के असंयुक्त संघ (या उन्हें एक चेहरे पर एक साथ चिपकाकर) ले कर पॉलीहेड्रा के डेन अपवर्तनीय को जोड़ सकते हैं, पॉलीहेड्रॉन के आकार में बड़े क्यूब्स में छेद बनाकर डेन अपवर्तनीय को नकार सकते हैं, और किसी भी द्वारा डेन अपवर्तनीय को गुणा कर सकते हैं। बहुफलक को समान संख्या से स्केल करके स्केलर करें। किस तत्व का प्रश्न $\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /2\pi \mathbb {Z} ,$ (या, समकक्ष, $\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z}$ ) वसूली योग्य हैं ड्यूपॉन्ट और साह के काम से स्पष्ट किया गया था, जिन्होंने समूह होमोलॉजी से जुड़े एबेलियन समूहों (वेक्टर रिक्त स्थान नहीं) के निम्नलिखित लघु सटीक अनुक्रम का अस्तित्व दिखाया:^[25]

0\to H_{2}(\operatorname {SO} (3),\mathbb {R} ^{3})\to {\mathcal {P}}(E^{3})/{\mathcal {Z}}(E^{3})\to \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} \to H_{1}(\operatorname {SO} (3),\mathbb {R} ^{3})\to 0

यहाँ, अंकन

{\mathcal {P}}(E^{3})

यूक्लिडियन पॉलीहेड्रा मोडुलो पर मुक्त एबेलियन समूह का प्रतिनिधित्व करता है, जो पॉलीहेड्रा के जोड़े से प्राप्त कुछ संबंध हैं जिन्हें एक दूसरे में विच्छेदित किया जा सकता है।

{\mathcal {Z}}(E^{3})

इस समूह में त्रिकोणीय प्रिज्म (ज्यामिति) द्वारा उत्पन्न उपसमूह है, और इसका उपयोग मात्रा का प्रतिनिधित्व करने के लिए किया जाता है (क्योंकि प्रत्येक वास्तविक संख्या इस समूह के ठीक एक तत्व का आयतन है)। पॉलीहेड्रा के समूह से मानचित्र

\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z}

डेन अपरिवर्तनीय है।

\operatorname {SO} (3)

रोटेशन समूह SO(3) है, और

H

समूह समरूपता है। सिडलर का प्रमेय कि यूक्लिडियन विच्छेदन के लिए वॉल्यूम और डेन अपवर्तनीय ही एकमात्र अपरिवर्तनीय हैं, इस कथन द्वारा होमोलॉजिकल रूप से दर्शाया गया है कि समूह

H_{2}(\operatorname {SO} (3),\mathbb {R} ^{3})

इस क्रम में दिखाई देना वास्तव में शून्य है। यदि यह अशून्य होता, तो बहुफलक के समूह में इसकी छवि बहुलिका का एक परिवार देती जो समान आयतन के घन के लिए विच्छिन्न नहीं होते, लेकिन शून्य डेन अपरिवर्तनीय होते हैं। सिडलर के प्रमेय के अनुसार, ऐसे पॉलीहेड्रा मौजूद नहीं हैं।^[25] समूह

H_{1}(\operatorname {SO} (3),\mathbb {R} ^{3})

सटीक अनुक्रम के दायीं ओर दिखाई देने वाला समूह के लिए आइसोमोर्फिक है

\Omega _{\mathbb {R} /\mathbb {Q} }^{1}

काहलर अवकलन का, और लंबाई और कोणों के टेन्सर उत्पादों से लेकर काहलर अंतर तक का नक्शा दिया गया है

\ell \otimes \theta /\pi \mapsto \ell {\frac {d\cos \theta }{\sin \theta }},

कहाँ पे

d

की सार्वभौमिक व्युत्पत्ति है

\Omega _{\mathbb {R} /\mathbb {Q} }^{1}

. इस समूह

H_{1}(\operatorname {SO} (3),\mathbb {R} ^{3})=\Omega _{\mathbb {R} /\mathbb {Q} }^{1}

वास्तविकता के लिए एक बाधा है: इसके अशून्य तत्व के तत्वों से आते हैं

\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z}

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

0\to H_{3}(\operatorname {SL} (2,\mathbb {C} ),\mathbb {Z} )^{-}\to {\mathcal {P}}({\mathcal {H}}^{3})\to \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} \to H_{2}(\operatorname {SL} (2,\mathbb {C} ),\mathbb {Z} )^{-}\to 0

तथा

0\to H_{3}(\operatorname {SU} (2),\mathbb {Z} )\to {\mathcal {P}}(S^{3})/\mathbb {Z} \to \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} \to H_{2}(\operatorname {SU} (2),\mathbb {Z} )\to 0.

यहां

\operatorname {SL}

विशेष रैखिक समूह को दर्शाता है, और

\operatorname {SL} (2,\mathbb {C} )

मोबियस परिवर्तनों का समूह है; सुपरस्क्रिप्ट माइनस-साइन जटिल संयुग्मन द्वारा प्रेरित इनवोल्यूशन के लिए (−1) -इगेनस्पेस को इंगित करता है।

\operatorname {SU}

विशेष एकात्मक समूह को दर्शाता है। उपसमूह

\mathbb {Z}

में

{\mathcal {P}}(S^{3})/\mathbb {Z}

पूरे क्षेत्र द्वारा उत्पन्न समूह है।^[25] फिर से, इन अनुक्रमों में सबसे सही गैर-शून्य समूह एक मूल्य की प्राप्ति के लिए बाधा है

\mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z}

एक Dehn अपरिवर्तनीय के रूप में।

डेन अपवर्तनीय के इस बीजगणितीय दृश्य को उच्च आयामों तक बढ़ाया जा सकता है, जहां बीजगणितीय K-सिद्धांत को सम्मलित करते हुए एक प्रेरक (बीजगणितीय ज्यामिति) व्याख्या है।^[13]

↑ ^1.0 ^1.1 These values can be found in table 3 of Conway, Radin & Sadun (1999). The basis used by this reference has basis vectors $\langle 3\rangle _{2}=-\theta _{\mathrm {tet} }/2$ , $\langle 5\rangle _{1}=-\theta _{\mathrm {dodec} }$ , तथा $\langle 3\rangle _{5}=\theta _{\mathrm {icos} }/2$ .
↑ If a new edge is introduced in this cutting process, then either it is interior to the polyhedron, and surrounded by dihedral angles totaling $2\pi$ , or on a face of the polyhedron, and surrounded by dihedrals totaling $\pi$ ; in either case this rational multiple of $\pi$ does not contribute to the Dehn invariant. A similar analysis shows that there is also no change in the Dehn invariant when an existing polyhedron edge is the boundary of a new face created when cutting up the polyhedron. The new dihedral angles on that edge combine to the same sum, and the same contribution to the Dehn invariant, that they had before.
↑ This argument applies whenever the proportions of the tiles can be defined as a limit point of the numbers of tiles within larger polyhedra; see Lagarias & Moews (1995), Equation (4.2), and the surrounding discussion.

संदर्भ

↑ Giovannini, Eduardo N. (2021), "David Hilbert and the foundations of the theory of plane area", Archive for History of Exact Sciences, 75 (6): 649–698, doi:10.1007/s00407-021-00278-z, MR 4324749
↑ ^2.0 ^2.1 Zeeman, E. C. (July 2002), "On Hilbert's third problem", The Mathematical Gazette, 86 (506): 241–247, doi:10.2307/3621846, JSTOR 3621846
↑ Gruber, Peter M. (2007), "Chapter 16: Volume of Polytopes and Hilbert's Third Problem", Convex and Discrete Geometry, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 336, Springer, Berlin, pp. 280–291, doi:10.1007/978-3-540-71133-9, ISBN 978-3-540-71132-2, MR 2335496.
↑ ^4.0 ^4.1 ^4.2 Dupont, Johan L.; Sah, Chih-Han (2000), "Three questions about simplices in spherical and hyperbolic 3-space", The Gelfand Mathematical Seminars, 1996–1999, Gelfand Math. Sem., Birkhäuser Boston, Boston, MA, pp. 49–76, doi:10.1007/978-1-4612-1340-6_3, MR 1731633. See in particular p. 61.
↑ Jessen, Børge (1968), "The algebra of polyhedra and the Dehn–Sydler theorem", Mathematica Scandinavica, 22 (2): 241–256, doi:10.7146/math.scand.a-10888, JSTOR 24489773, MR 0251633.
↑ ^6.0 ^6.1 ^6.2 ^6.3 ^6.4 Conway, J. H.; Radin, C.; Sadun, L. (1999), "On angles whose squared trigonometric functions are rational", Discrete and Computational Geometry, 22 (3): 321–332, arXiv:math-ph/9812019, doi:10.1007/PL00009463, MR 1706614, S2CID 563915, Table 3, p. 331.
↑ Akiyama, Jin; Matsunaga, Kiyoko (2015), "15.3 Hilbert's Third Problem and Dehn Theorem", Treks Into Intuitive Geometry, Springer, Tokyo, pp. 382–388, doi:10.1007/978-4-431-55843-9, ISBN 978-4-431-55841-5, MR 3380801.
↑ ^8.0 ^8.1 Rouse Ball, W. W.; Coxeter, H. S. M. (1947), Mathematical Recreations & Essays (11th ed.), Macmillan, pp. 142–143, 148
↑ Dehn, Max (1901), "Ueber den Rauminhalt", Mathematische Annalen (in Deutsch), 55 (3): 465–478, doi:10.1007/BF01448001, S2CID 120068465
↑ ^10.0 ^10.1 ^10.2 Hazewinkel, M. (2001) [1994], "Dehn invariant", Encyclopedia of Mathematics, EMS Press
↑ Sydler, J.-P. (1965), "Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l'espace euclidien à trois dimensions", Commentarii Mathematici Helvetici (in français), 40: 43–80, doi:10.1007/bf02564364, MR 0192407, S2CID 123317371
↑ Dupont (2001), p. 6.
↑ ^13.0 ^13.1 Goncharov, Alexander (1999), "Volumes of hyperbolic manifolds and mixed Tate motives", Journal of the American Mathematical Society, 12 (2): 569–618, doi:10.1090/S0894-0347-99-00293-3, MR 1649192.
↑ Debrunner, Hans E. (1980), "Über Zerlegungsgleichheit von Pflasterpolyedern mit Würfeln", Archiv der Mathematik (in Deutsch), 35 (6): 583–587, doi:10.1007/BF01235384, MR 0604258, S2CID 121301319.
↑ Lagarias, J. C.; Moews, D. (1995), "Polytopes that fill $\mathbb {R} ^{n}$ and scissors congruence", Discrete & Computational Geometry, 13 (3–4): 573–583, doi:10.1007/BF02574064, MR 1318797.
↑ Alexandrov, Victor (2010), "The Dehn invariants of the Bricard octahedra", Journal of Geometry, 99 (1–2): 1–13, arXiv:0901.2989, doi:10.1007/s00022-011-0061-7, MR 2823098, S2CID 17515249.
↑ ^17.0 ^17.1 Hartshorne, Robin (2000), Geometry: Euclid and beyond, Undergraduate Texts in Mathematics, Springer-Verlag, New York, pp. 232–234, doi:10.1007/978-0-387-22676-7, ISBN 0-387-98650-2, MR 1761093.
↑ ^18.0 ^18.1 ^18.2 Stillwell, John (1998), Numbers and geometry, Undergraduate Texts in Mathematics, Springer-Verlag, New York, p. 164, doi:10.1007/978-1-4612-0687-3, ISBN 0-387-98289-2, MR 1479640.
↑ Dupont, Johan L. (2001), Scissors congruences, group homology and characteristic classes, Nankai Tracts in Mathematics, vol. 1, River Edge, New Jersey: World Scientific, p. 4, doi:10.1142/9789812810335, ISBN 981-02-4507-6, MR 1832859, archived from the original on 2016-04-29.
↑ ^20.0 ^20.1 ^20.2 ^20.3 Eppstein, David (2022), "Orthogonal dissection into few rectangles", Proceedings of the 34th Canadian Conference on Computational Geometry, arXiv:2206.10675
↑ Fuchs, Dmitry; Tabachnikov, Serge (2007), Mathematical Omnibus: Thirty lectures on classic mathematics, Providence, RI: American Mathematical Society, p. 312, doi:10.1090/mbk/046, ISBN 978-0-8218-4316-1, MR 2350979. This source uses the Hamel basis formulation of the Dehn invariant, but with tensor notation used for the unit vectors.
↑ ^22.0 ^22.1 ^22.2 Benko, David (2007), "A new approach to Hilbert's third problem" (PDF), American Mathematical Monthly, 114 (8): 665–676, doi:10.1080/00029890.2007.11920458, JSTOR 27642302, MR 2354437, S2CID 7213930.
↑ Schwartz, Rich (June 10, 2013), The Dehn–Sydler theorem explained (PDF)
↑ Coulson, David; Goodman, Oliver A.; Hodgson, Craig D.; Neumann, Walter D. (2000), "Computing arithmetic invariants of 3-manifolds", Experimental Mathematics, 9 (1): 127–152, doi:10.1080/10586458.2000.10504641, MR 1758805, S2CID 1313215
↑ ^25.0 ^25.1 ^25.2 ^25.3 & Dupont (2001), p. 7.
↑ Dupont (2001), Theorem 6.2(a), p. 35. Dupont states that this is "a reformulation of a result of Jessen (1968)".
↑ ^27.0 ^27.1 Dehn, Max (1903), "Über Zerlegung von Rechtecken in Rechtecke", Mathematische Annalen, 57: 314–332, doi:10.1007/BF01444289
↑ ^28.0 ^28.1 Spandaw, Jeroen (2004), "Dissecting cuboids into cuboids", The American Mathematical Monthly, 111 (5): 425–429, doi:10.2307/4145269, MR 2057392
↑ Gaĭfullin, A. A.; Ignashchenko, L. S. (2018), "Dehn invariant and scissors congruence of flexible polyhedra", Trudy Matematicheskogo Instituta Imeni V. A. Steklova, 302 (Topologiya i Fizika): 143–160, doi:10.1134/S0371968518030068, ISBN 978-5-7846-0147-6, MR 3894642
↑ Alexandrov, Victor; Connelly, Robert (2011), "Flexible suspensions with a hexagonal equator", Illinois Journal of Mathematics, 55 (1): 127–155, arXiv:0905.3683, doi:10.1215/ijm/1355927031, MR 3006683, S2CID 12302514.
↑ Alexander, Ralph (1985), "Lipschitzian mappings and total mean curvature of polyhedral surfaces. I", Transactions of the American Mathematical Society, 288 (2): 661–678, doi:10.2307/1999957, JSTOR 1999957, MR 0776397.

इस पेज में लापता आंतरिक लिंक की सूची

समूह समरूपता
आर्किमिडीज़ ठोस
लचीला पॉलीहेड्रॉन
घनक्षेत्र
विच्छेदन पहेली
मधुकोश (ज्यामिति)
सटीक क्रम
घन ज्यामिति
गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस
habilitation
मॉड्यूल का टेंसर उत्पाद
द्वितल कोण
अधिक कोण
समानांतर खात
कटा हुआ टेट्राहेड्रॉन
कटा हुआ घन
छोटा द्वादशफलक
कटा हुआ आईकोसाहेड्रॉन
काटे गए आईकोसाइडोडेकाहेड्रॉन
मात्रा
गोलाकार ज्यामिति
अतिशयोक्तिपूर्ण कई गुना
अतिशयोक्तिपूर्ण मात्रा
विविध
अतिशयोक्तिपूर्ण स्थान
हेमल आधार
पसंद का स्वयंसिद्ध
बीजगणितीय के-सिद्धांत
मकसद (बीजीय ज्यामिति)
आस्पेक्ट अनुपात
polyomino
मजबूत धौंकनी अनुमान

बाहरी संबंध

Video about डेन अपवर्तनीयs on Numberphile

[crs-basis-7] 1.0 ^1.1 These values can be found in table 3 of Conway, Radin & Sadun (1999). The basis used by this reference has basis vectors $\langle 3\rangle _{2}=-\theta _{\mathrm {tet} }/2$ , $\langle 5\rangle _{1}=-\theta _{\mathrm {dodec} }$ , तथा $\langle 3\rangle _{5}=\theta _{\mathrm {icos} }/2$ .

[10] If a new edge is introduced in this cutting process, then either it is interior to the polyhedron, and surrounded by dihedral angles totaling $2\pi$ , or on a face of the polyhedron, and surrounded by dihedrals totaling $\pi$ ; in either case this rational multiple of $\pi$ does not contribute to the Dehn invariant. A similar analysis shows that there is also no change in the Dehn invariant when an existing polyhedron edge is the boundary of a new face created when cutting up the polyhedron. The new dihedral angles on that edge combine to the same sum, and the same contribution to the Dehn invariant, that they had before.

[18] This argument applies whenever the proportions of the tiles can be defined as a limit point of the numbers of tiles within larger polyhedra; see Lagarias & Moews (1995), Equation (4.2), and the surrounding discussion.

[giovannini-1] Giovannini, Eduardo N. (2021), "David Hilbert and the foundations of the theory of plane area", Archive for History of Exact Sciences, 75 (6): 649–698, doi:10.1007/s00407-021-00278-z, MR 4324749

[zeeman-2] 2.0 ^2.1 Zeeman, E. C. (July 2002), "On Hilbert's third problem", The Mathematical Gazette, 86 (506): 241–247, doi:10.2307/3621846, JSTOR 3621846

[gruber-3] Gruber, Peter M. (2007), "Chapter 16: Volume of Polytopes and Hilbert's Third Problem", Convex and Discrete Geometry, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 336, Springer, Berlin, pp. 280–291, doi:10.1007/978-3-540-71133-9, ISBN 978-3-540-71132-2, MR 2335496.

[ds00-4] 4.0 ^4.1 ^4.2 Dupont, Johan L.; Sah, Chih-Han (2000), "Three questions about simplices in spherical and hyperbolic 3-space", The Gelfand Mathematical Seminars, 1996–1999, Gelfand Math. Sem., Birkhäuser Boston, Boston, MA, pp. 49–76, doi:10.1007/978-1-4612-1340-6_3, MR 1731633. See in particular p. 61.

[jessen-5] Jessen, Børge (1968), "The algebra of polyhedra and the Dehn–Sydler theorem", Mathematica Scandinavica, 22 (2): 241–256, doi:10.7146/math.scand.a-10888, JSTOR 24489773, MR 0251633.

[crs-6] 6.0 ^6.1 ^6.2 ^6.3 ^6.4 Conway, J. H.; Radin, C.; Sadun, L. (1999), "On angles whose squared trigonometric functions are rational", Discrete and Computational Geometry, 22 (3): 321–332, arXiv:math-ph/9812019, doi:10.1007/PL00009463, MR 1706614, S2CID 563915, Table 3, p. 331.

[intuitive-8] Akiyama, Jin; Matsunaga, Kiyoko (2015), "15.3 Hilbert's Third Problem and Dehn Theorem", Treks Into Intuitive Geometry, Springer, Tokyo, pp. 382–388, doi:10.1007/978-4-431-55843-9, ISBN 978-4-431-55841-5, MR 3380801.

[recreations-9] 8.0 ^8.1 Rouse Ball, W. W.; Coxeter, H. S. M. (1947), Mathematical Recreations & Essays (11th ed.), Macmillan, pp. 142–143, 148

[dehn-11] Dehn, Max (1901), "Ueber den Rauminhalt", Mathematische Annalen (in Deutsch), 55 (3): 465–478, doi:10.1007/BF01448001, S2CID 120068465

[eom-12] 10.0 ^10.1 ^10.2 Hazewinkel, M. (2001) [1994], "Dehn invariant", Encyclopedia of Mathematics, EMS Press

[sydler-13] Sydler, J.-P. (1965), "Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l'espace euclidien à trois dimensions", Commentarii Mathematici Helvetici (in français), 40: 43–80, doi:10.1007/bf02564364, MR 0192407, S2CID 123317371

[FOOTNOTEDupont20016-14] Dupont (2001), p. 6.

[goncharov-15] 13.0 ^13.1 Goncharov, Alexander (1999), "Volumes of hyperbolic manifolds and mixed Tate motives", Journal of the American Mathematical Society, 12 (2): 569–618, doi:10.1090/S0894-0347-99-00293-3, MR 1649192.

[debrunner-16] Debrunner, Hans E. (1980), "Über Zerlegungsgleichheit von Pflasterpolyedern mit Würfeln", Archiv der Mathematik (in Deutsch), 35 (6): 583–587, doi:10.1007/BF01235384, MR 0604258, S2CID 121301319.

[lm95-17] Lagarias, J. C.; Moews, D. (1995), "Polytopes that fill $\mathbb {R} ^{n}$ and scissors congruence", Discrete & Computational Geometry, 13 (3–4): 573–583, doi:10.1007/BF02574064, MR 1318797.

[alexandrov-19] Alexandrov, Victor (2010), "The Dehn invariants of the Bricard octahedra", Journal of Geometry, 99 (1–2): 1–13, arXiv:0901.2989, doi:10.1007/s00022-011-0061-7, MR 2823098, S2CID 17515249.

[hartshorne-20] 17.0 ^17.1 Hartshorne, Robin (2000), Geometry: Euclid and beyond, Undergraduate Texts in Mathematics, Springer-Verlag, New York, pp. 232–234, doi:10.1007/978-0-387-22676-7, ISBN 0-387-98650-2, MR 1761093.

[stillwell-21] 18.0 ^18.1 ^18.2 Stillwell, John (1998), Numbers and geometry, Undergraduate Texts in Mathematics, Springer-Verlag, New York, p. 164, doi:10.1007/978-1-4612-0687-3, ISBN 0-387-98289-2, MR 1479640.

[dupont-22] Dupont, Johan L. (2001), Scissors congruences, group homology and characteristic classes, Nankai Tracts in Mathematics, vol. 1, River Edge, New Jersey: World Scientific, p. 4, doi:10.1142/9789812810335, ISBN 981-02-4507-6, MR 1832859, archived from the original on 2016-04-29.

[eppstein-23] 20.0 ^20.1 ^20.2 ^20.3 Eppstein, David (2022), "Orthogonal dissection into few rectangles", Proceedings of the 34th Canadian Conference on Computational Geometry, arXiv:2206.10675

[30lectures-24] Fuchs, Dmitry; Tabachnikov, Serge (2007), Mathematical Omnibus: Thirty lectures on classic mathematics, Providence, RI: American Mathematical Society, p. 312, doi:10.1090/mbk/046, ISBN 978-0-8218-4316-1, MR 2350979. This source uses the Hamel basis formulation of the Dehn invariant, but with tensor notation used for the unit vectors.

[benko-25] 22.0 ^22.1 ^22.2 Benko, David (2007), "A new approach to Hilbert's third problem" (PDF), American Mathematical Monthly, 114 (8): 665–676, doi:10.1080/00029890.2007.11920458, JSTOR 27642302, MR 2354437, S2CID 7213930.

[schwartz-26] Schwartz, Rich (June 10, 2013), The Dehn–Sydler theorem explained (PDF)

[cghn-27] Coulson, David; Goodman, Oliver A.; Hodgson, Craig D.; Neumann, Walter D. (2000), "Computing arithmetic invariants of 3-manifolds", Experimental Mathematics, 9 (1): 127–152, doi:10.1080/10586458.2000.10504641, MR 1758805, S2CID 1313215

[FOOTNOTEDupont20017-28] 25.0 ^25.1 ^25.2 ^25.3 & Dupont (2001), p. 7.

[29] Dupont (2001), Theorem 6.2(a), p. 35. Dupont states that this is "a reformulation of a result of Jessen (1968)".

[dehn2-30] 27.0 ^27.1 Dehn, Max (1903), "Über Zerlegung von Rechtecken in Rechtecke", Mathematische Annalen, 57: 314–332, doi:10.1007/BF01444289

[spandaw-31] 28.0 ^28.1 Spandaw, Jeroen (2004), "Dissecting cuboids into cuboids", The American Mathematical Monthly, 111 (5): 425–429, doi:10.2307/4145269, MR 2057392

[gi18-32] Gaĭfullin, A. A.; Ignashchenko, L. S. (2018), "Dehn invariant and scissors congruence of flexible polyhedra", Trudy Matematicheskogo Instituta Imeni V. A. Steklova, 302 (Topologiya i Fizika): 143–160, doi:10.1134/S0371968518030068, ISBN 978-5-7846-0147-6, MR 3894642

[ac11-33] Alexandrov, Victor; Connelly, Robert (2011), "Flexible suspensions with a hexagonal equator", Illinois Journal of Mathematics, 55 (1): 127–155, arXiv:0905.3683, doi:10.1215/ijm/1355927031, MR 3006683, S2CID 12302514.

[alexander-34] Alexander, Ralph (1985), "Lipschitzian mappings and total mean curvature of polyhedral surfaces. I", Transactions of the American Mathematical Society, 288 (2): 661–678, doi:10.2307/1999957, JSTOR 1999957, MR 0776397.

[1]

[2]

[3]

[4]

[5]

[6]

[lower-alpha 1]

[7]

[8]

[lower-alpha 2]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[lower-alpha 3]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

@@ Line 15: / Line 15: @@
 === सरलीकृत गणना ===
-Dehn invariant को एक तरह से परिभाषित करना जो एक साथ सभी पॉलीहेड्रा पर लागू हो सकता है, इसमें अनंत-आयामी वेक्टर रिक्त स्थान शामिल हैं (देखें {{slink||Full definition}}, नीचे)। चूंकि, जब किसी विशेष उदाहरण तक सीमित किया जाता है, जिसमें बहुत सारे पॉलीहेड्रा होते हैं, जैसे कि सैद्धांतिक ठोस, इसे सरल तरीके से परिभाषित किया जा सकता है, जिसमें केवल एक सीमित संख्या में आयाम शामिल होते हैं:{{r|crs}}
+डेन अपवर्तनीय को एक तरह से परिभाषित करना जो एक साथ सभी पॉलीहेड्रा पर लागू हो सकता है, इसमें अनंत-आयामी वेक्टर रिक्त स्थान सम्मलित हैं (नीचे {{slink||पूर्ण परिभाषा}} देखें )। चूंकि, जब किसी विशेष उदाहरण तक सीमित किया जाता है, जिसमें बहुत सारे पॉलीहेड्रा होते हैं, जैसे कि सैद्धांतिक ठोस, इसे सरल विधि से परिभाषित किया जा सकता है, जिसमें केवल एक सीमित संख्या में आयाम सम्मलित होते हैं:{{r|crs}}
 * सभी पॉलीहेड्रा के किनारों की लंबाई और डायहेड्रल कोण (एक किनारे के साथ दो चेहरों के बीच का कोण) निर्धारित करें।
-*ऐसे कोणों का एक उपसमुच्चय ज्ञात करें जो एक परिमेय [[आधार (रैखिक बीजगणित)]] बनाता है। इसका मतलब यह है कि प्रत्येक डायहेड्रल कोण को [[परिमेय संख्या]] गुणांकों के साथ आधार तत्वों के [[रैखिक संयोजन]] के रूप में दर्शाया जा सकता है। इसके अतिरिक्त, कोई [[तर्कसंगत निर्भरता]] नहीं। शामिल <math>\pi</math> (या का एक परिमेय गुणक <math>\pi</math>) इस आधार पर।
+*ऐसे कोणों का एक उपसमुच्चय ज्ञात करें जो परिमेय [[आधार (रैखिक बीजगणित)]] बनाता है। इसका अर्थ यह है कि प्रत्येक डायहेड्रल कोण को [[परिमेय संख्या]] गुणांकों के साथ आधार तत्वों के [[रैखिक संयोजन]] के रूप में दर्शाया जा सकता है। इसके अतिरिक्त, कोई [[तर्कसंगत निर्भरता]] नहीं होती है। जिसमें  इस आधार पर <math>\pi</math> (या का एक परिमेय गुणक <math>\pi</math>)सम्मलित ।हो
-* एक पॉलीहेड्रॉन के प्रत्येक किनारे के लिए, आधारों से कोणों के तर्कसंगत संयोजन के रूप में इसके डायहेड्रल कोण का प्रतिनिधित्व करें। के परिमेय गुणज के लिए गुणांक को त्यागें <math>\pi</math> इस संयोजन में। शेष गुणांकों को वेक्टर अंतरिक्ष के निर्देशांक के रूप में समझें जिनके आयाम आधार कोणों का प्रतिनिधित्व करते हैं, और इस वेक्टर को किनारे की लंबाई से स्केल करें।
+* एक पॉलीहेड्रॉन के प्रत्येक किनारे के लिए, आधारों से कोणों के तर्कसंगत संयोजन के रूप में इसके डायहेड्रल कोण का प्रतिनिधित्व करें। जिसके परिमेय गुणज के लिए गुणांक <math>\pi</math> को त्यागें तथा इस संयोजन में शेष गुणांकों को वेक्टर अंतरिक्ष के निर्देशांक के रूप में समझें जिनके आयाम आधार कोणों का प्रतिनिधित्व करते हैं, और इस वेक्टर को किनारे की लंबाई से स्केल करें।
 *एक बहुफलक के सभी किनारों के लिए सदिशों का योग करें ताकि इसके डेन अपवर्तनीय का उत्पादन किया जा सके।
-चूंकि इस पद्धति में आधार तत्वों के मनमाना विकल्प शामिल हैं, ये विकल्प केवल उन गुणांकों को प्रभावित करते हैं जिनके द्वारा Dehn invariants का प्रतिनिधित्व किया जाता है। अमूर्त सदिश स्थान के तत्वों के रूप में, वे आधार की पसंद से अप्रभावित हैं। पॉलीहेड्रा के किसी भी परिमित सेट के डीएचएन अपवर्तनीय्स द्वारा फैले [[सदिश स्थल]] अनंत-आयामी वेक्टर स्पेस के एक परिमित-आयामी उप-स्थान बनाता है जिसमें सभी पॉलीहेड्रा के डीएचएन अपवर्तनीय्स परिभाषित होते हैं। डायहेड्रल कोणों के कौन से संयोजन तर्कसंगत रैखिक संयोजनों से संबंधित हैं, यह प्रश्न हमेशा सीधा नहीं होता है, और [[संख्या सिद्धांत]] में गैर-तुच्छ तरीकों को शामिल कर सकता है।{{r|crs}}
+चूंकि इस पद्धति में आधारित तत्वों के मनमाना विकल्प सम्मलित हैं, ये विकल्प केवल उन गुणांकों को प्रभावित करते हैं जिनके द्वारा डेन अपवर्तनीय का प्रतिनिधित्व किया जाता है। अमूर्त सदिश स्थान के तत्वों के रूप में, वे आधार की पसंद से अप्रभावित हैं। पॉलीहेड्रा के किसी भी परिमित सेट के डीएचएन अपवर्तनीय्स द्वारा फैले [[सदिश स्थल]] अनंत-आयामी वेक्टर स्पेस के एक परिमित-आयामी उप-स्थान बनाता है जिसमें सभी पॉलीहेड्रा के डीएचएन अपवर्तनीय्स परिभाषित होते हैं। डायहेड्रल कोणों के कौन से संयोजन तर्कसंगत रैखिक संयोजनों से संबंधित हैं, यह प्रश्न हमेशा सीधा नहीं होता है, और [[संख्या सिद्धांत]] में गैर-तुच्छ विधियों को सम्मलित कर सकता है।{{r|crs}}
 === सैद्धांतिक ठोस ===
 पांच सैद्धांतिक ठोस के लिए, डायहेड्रल कोण हैं:
@@ Line 31: / Line 29: @@
 *<math>\theta_{\mathrm{dodec}}=2\arctan2\approx126.9^\circ</math> द्वादशफलक के लिए।
 *<math>\theta_{\mathrm{icos}}=\arccos(-\tfrac13\sqrt5)\approx138.2^\circ</math> आइकोसैहेड्रोन के लिए।
-एक घन का द्वितल कोण का परिमेय गुणक होता है <math>\pi</math>, लेकिन बाकी नहीं हैं। नियमित चतुष्फलक और नियमित अष्टफलक के द्वितल कोण पूरक कोण हैं: वे योग करते हैं {{nowrap|to <math>\pi</math>.}} इन पाँच कोणों में से चतुष्फलक या अष्टफलक में से किसी एक को हटाने से एक तर्कसंगत आधार उत्पन्न होता है: इन कोणों के बीच कोई अन्य तर्कसंगत संबंध नहीं है।{{r|crs}} यदि, उदाहरण के लिए, आधार जो छूट जाता है <math>\theta_{\mathrm{oct}}</math> प्रयोग किया जाता है, और <math>\theta_{\mathrm{cube}}</math> एक आधार तत्व के रूप में प्रयोग किया जाता है लेकिन फिर छोड़ दिया जाता है (के परिमेय गुणक के रूप में <math>\pi</math>) डेन्न अपरिवर्तनीय गणना से, फिर शेष कोण आधार तत्व हैं <math>\theta_{\mathrm{tet}}</math>, <math>\theta_{\mathrm{dodec}}</math>, तथा <math>\theta_{\mathrm{icos}}</math>. परिणामी Dehn invariants में प्रत्येक आधार तत्व के लिए एक आयाम होगा। इस आधार के साथ, किनारे की लंबाई वाले सैद्धांतिक ठोस के लिए <math>s</math>, डेन के अपरिवर्तनीय हैं:{{efn|name=crs-basis|These values can be found in table 3 of {{harvtxt|Conway|Radin|Sadun|1999}}. The basis used by this reference has basis vectors <math>\langle 3\rangle_2=-\theta_{\mathrm{tet}}/2</math>, <math>\langle 5\rangle_1=-\theta_{\mathrm{dodec}}</math>, तथा <math>\langle 3\rangle_5=\theta_{\mathrm{icos}}/2</math>.}}
+एक घन का द्वितल कोण का परिमेय गुणक होता है <math>\pi</math>, लेकिन बाकी नहीं हैं। नियमित चतुष्फलक और नियमित अष्टफलक के द्वितल कोण पूरक कोण हैं: वे योग करते हैं {{nowrap|to <math>\pi</math>.}} इन पाँच कोणों में से चतुष्फलक या अष्टफलक में से किसी एक को हटाने से एक तर्कसंगत आधार उत्पन्न होता है: इन कोणों के बीच कोई अन्य तर्कसंगत संबंध नहीं है।{{r|crs}} यदि, उदाहरण के लिए, आधार जो छूट जाता है <math>\theta_{\mathrm{oct}}</math> प्रयोग किया जाता है, और <math>\theta_{\mathrm{cube}}</math> एक आधार तत्व के रूप में प्रयोग किया जाता है लेकिन फिर छोड़ दिया जाता है (के परिमेय गुणक के रूप में <math>\pi</math>) डेन्न अपरिवर्तनीय गणना से, फिर शेष कोण आधार तत्व हैं <math>\theta_{\mathrm{tet}}</math>, <math>\theta_{\mathrm{dodec}}</math>, तथा <math>\theta_{\mathrm{icos}}</math>. परिणामी डेन अपवर्तनीयs में प्रत्येक आधार तत्व के लिए एक आयाम होगा। इस आधार के साथ, किनारे की लंबाई वाले सैद्धांतिक ठोस के लिए <math>s</math>, डेन के अपरिवर्तनीय हैं:{{efn|name=crs-basis|These values can be found in table 3 of {{harvtxt|Conway|Radin|Sadun|1999}}. The basis used by this reference has basis vectors <math>\langle 3\rangle_2=-\theta_{\mathrm{tet}}/2</math>, <math>\langle 5\rangle_1=-\theta_{\mathrm{dodec}}</math>, तथा <math>\langle 3\rangle_5=\theta_{\mathrm{icos}}/2</math>.}}
 *<math>(6s,0,0)</math> टेट्राहेड्रॉन के लिए। इसकी लंबाई के छह किनारे हैं <math>s</math>, टेट्राहेड्रल डायहेड्रल कोणों के साथ।
-*<math>(0,0,0)</math> घन के लिए। इसके किनारों में डायहेड्रल कोण होते हैं जो केवल के संदर्भ में व्यक्त किए जाते हैं <math>\theta_{\mathrm{cube}}</math>, Dehn invariant से छोड़ा गया।
+*<math>(0,0,0)</math> घन के लिए। इसके किनारों में डायहेड्रल कोण होते हैं जो केवल के संदर्भ में व्यक्त किए जाते हैं <math>\theta_{\mathrm{cube}}</math>, डेन अपवर्तनीय से छोड़ा गया।
 *<math>(-12s,0,0)</math> अष्टफलक के लिए। इसके बारह किनारों में डायहेड्रल हैं <math>\theta_{\mathrm{oct}}=2\theta_{\mathrm{cube}}-\theta_{\mathrm{tet}}</math>. इस संयोजन में, के लिए गुणांक <math>\theta_{\mathrm{cube}}</math> खारिज कर दिया जाता है, केवल एक गुणांक छोड़कर <math>-1</math> {{nowrap|for <math>\theta_{\mathrm{tet}}</math>.}}
 *<math>(0,30s,0)</math> द्वादशफलक के लिए। इसमें डोडेकाहेड्रल डायहेड्रल कोणों के साथ 30 किनारे हैं।
@@ Line 42: / Line 40: @@
 === संबंधित पॉलीहेड्रा ===
-घन की तरह, किसी भी समांतर चतुर्भुज का डेन अपवर्तनीय भी शून्य होता है। समांतर चतुर्भुज में चार समानांतर किनारों के प्रत्येक सेट की लंबाई समान होती है और डायहेड्रल कोणों का योग होता है <math>\pi</math>, इसलिए Dehn invariant में उनका योगदान शून्य हो जाता है।{{r|intuitive}} अन्य आर्किमिडीयन ठोसों के डेन आक्रमणकारियों को सैद्धांतिक ठोसों के अपरिवर्तनीय संयोजनों के तर्कसंगत संयोजन के रूप में भी व्यक्त किया जा सकता है।{{r|crs}} पहले के समान आधार के संदर्भ में, उसी धारणा के साथ कि इन आकृतियों के किनारे की लंबाई है <math>s</math>, डेन के अपरिवर्तनीय हैं:{{efn|name=crs-basis}}
+घन की तरह, किसी भी समांतर चतुर्भुज का डेन अपवर्तनीय भी शून्य होता है। समांतर चतुर्भुज में चार समानांतर किनारों के प्रत्येक सेट की लंबाई समान होती है और डायहेड्रल कोणों का योग होता है <math>\pi</math>, इसलिए डेन अपवर्तनीय में उनका योगदान शून्य हो जाता है।{{r|intuitive}} अन्य आर्किमिडीयन ठोसों के डेन आक्रमणकारियों को सैद्धांतिक ठोसों के अपरिवर्तनीय संयोजनों के तर्कसंगत संयोजन के रूप में भी व्यक्त किया जा सकता है।{{r|crs}} पहले के समान आधार के संदर्भ में, उसी धारणा के साथ कि इन आकृतियों के किनारे की लंबाई है <math>s</math>, डेन के अपरिवर्तनीय हैं:{{efn|name=crs-basis}}
 *<math>(-6s,0,0)</math> काटे गए टेट्राहेड्रॉन के लिए।
 *<math>(12s,0,0)</math> काटे गए घन, [[rhombi[[cuboctahedron]]]] और क्यूबोक्टाहेड्रोन के लिए।
@@ Line 57: / Line 55: @@
 जैसा {{harvtxt|Dehn|1901}} देखा गया है, बहुफलक के विच्छेदन के लिए डेन अपवर्तनीय एक [[अपरिवर्तनीय (गणित)]] है, इस अर्थ में कि एक बहुफलक को छोटे बहुफलकीय टुकड़ों में काटना और फिर उन्हें एक अलग बहुफलक में फिर से जोड़ना परिणाम के डेन अपरिवर्तनीय को नहीं बदलता है।{{efn|If a new edge is introduced in this cutting process, then either it is interior to the polyhedron, and surrounded by dihedral angles totaling <math>2\pi</math>, or on a face of the polyhedron, and surrounded by dihedrals totaling <math>\pi</math>; in either case this rational multiple of <math>\pi</math> does not contribute to the Dehn invariant. A similar analysis shows that there is also no change in the Dehn invariant when an existing polyhedron edge is the boundary of a new face created when cutting up the polyhedron. The new dihedral angles on that edge combine to the same sum, and the same contribution to the Dehn invariant, that they had before.}} विच्छेदन का एक अन्य अपरिवर्तनीय एक पॉलीहेड्रॉन का आयतन है: इसे पॉलीहेड्रल टुकड़ों में काटने और टुकड़ों को फिर से जोड़ने से कुल आयतन नहीं बदल सकता है। इसलिए, यदि एक बहुफलक {{mvar|P}} दूसरे पॉलीहेड्रॉन में विच्छेदन है {{mvar|Q}}, दोनों {{mvar|P}} तथा {{mvar|Q}} समान डेन अपवर्तनीय और साथ ही समान आयतन होना चाहिए।{{r|dehn}} {{harvtxt|Sydler|1965}} इस परिणाम को यह साबित करके बढ़ाया कि इस समस्या के लिए वॉल्यूम और डेन अपवर्तनीय ही एकमात्र अपवर्तनीय हैं। यदि {{mvar|P}} तथा {{mvar|Q}} दोनों में एक ही मात्रा और एक ही डेन अपरिवर्तनीय है, एक को दूसरे में विभाजित करना हमेशा संभव होता है।{{r|eom|sydler}}
 डेन का परिणाम गोलीय ज्यामिति और अतिपरवलयिक ज्यामिति के लिए वैध बना हुआ है। उन दोनों ज्यामितीयों में, दो पॉलीहेड्रा जिन्हें काटा जा सकता है और एक दूसरे में फिर से जोड़ा जा सकता है, उनके पास एक ही डेन अपवर्तनीय होना चाहिए। चूंकि, जैसा कि जेसन ने देखा, गोलाकार या [[अतिशयोक्तिपूर्ण ज्यामिति]] के लिए सिडलर के परिणाम का विस्तार खुला रहता है: यह ज्ञात नहीं है कि दो गोलाकार या अतिशयोक्तिपूर्ण पॉलीहेड्रा समान आयतन और समान डेन अपवर्तनीय को हमेशा एक दूसरे में काटा और फिर से जोड़ा जा सकता है।{{sfnp|Dupont|2001|p=6}} परिमित अतिपरवलयिक आयतन के साथ हर अतिपरवलयिक मैनिफोल्ड को जियोडेसिक सतहों के साथ एक अतिशयोक्तिपूर्ण पॉलीहेड्रॉन में काटा जा सकता है, जिसमें आवश्यक रूप से शून्य डीएचएन अपरिवर्तनीय है।{{r|goncharov}}
-Dehn invariant भी मधुकोश (ज्यामिति) के लिए बहुध्रुव की क्षमता को बाधित करता है। हर जगह भरने वाली टाइल में घन की तरह डेन अपरिवर्तनीय शून्य होता है। पॉलीहेड्रा के लिए समय-समय पर यह टाइलिंग की आवधिकता का उपयोग करके समान आवधिकता के साथ टाइल को समानांतर चतुर्भुज में काटने और पुनर्व्यवस्थित करने के लिए अनुसरण करेगा, लेकिन यह परिणाम श्मिट-कॉनवे-डेनज़र बिप्रिज़्म जैसे एपरियोडिक टाइलों के लिए भी है, जिसका अस्तित्व एक अलग हिल्बर्ट समस्या से संबंधित है, हिल्बर्ट की अठारहवीं समस्या।{{r|debrunner|lm95}} इसका उल्टा सच नहीं है - डीएचएन अपवर्तनीय शून्य के साथ पॉलीहेड्रा मौजूद है जो अंतरिक्ष को टाइल नहीं करता है। चूंकि, इन्हें हमेशा दूसरे आकार (घन) में विच्छेदित किया जा सकता है जो टाइल स्थान करता है। छोटा किया गया आईकोसिडोडेकेड्रोन एक उदाहरण है।
+डेन अपवर्तनीय भी मधुकोश (ज्यामिति) के लिए बहुध्रुव की क्षमता को बाधित करता है। हर जगह भरने वाली टाइल में घन की तरह डेन अपरिवर्तनीय शून्य होता है। पॉलीहेड्रा के लिए समय-समय पर यह टाइलिंग की आवधिकता का उपयोग करके समान आवधिकता के साथ टाइल को समानांतर चतुर्भुज में काटने और पुनर्व्यवस्थित करने के लिए अनुसरण करेगा, लेकिन यह परिणाम श्मिट-कॉनवे-डेनज़र बिप्रिज़्म जैसे एपरियोडिक टाइलों के लिए भी है, जिसका अस्तित्व एक अलग हिल्बर्ट समस्या से संबंधित है, हिल्बर्ट की अठारहवीं समस्या।{{r|debrunner|lm95}} इसका उल्टा सच नहीं है - डीएचएन अपवर्तनीय शून्य के साथ पॉलीहेड्रा मौजूद है जो अंतरिक्ष को टाइल नहीं करता है। चूंकि, इन्हें हमेशा दूसरे आकार (घन) में विच्छेदित किया जा सकता है जो टाइल स्थान करता है। छोटा किया गया आईकोसिडोडेकेड्रोन एक उदाहरण है।
 अधिक आम तौर पर, यदि पॉलीहेड्रा का कुछ संयोजन संयुक्त रूप से अंतरिक्ष को टाइल करता है, तो उनके डीएचएन अपवर्तनीय्स (समान अनुपात में लिया गया) का योग शून्य होना चाहिए। उदाहरण के लिए, [[टेट्राहेड्रल-ऑक्टाहेड्रल मधुकोश]] टेट्राहेड्रा और ऑक्टाहेड्रा द्वारा अंतरिक्ष की टाइलिंग है (ऑक्टाहेड्रा के रूप में दो बार टेट्राहेड्रा के साथ), इस तथ्य के अनुरूप है कि एक ऑक्टाहेड्रा और दो टेट्राहेड्रा (समान साइड लंबाई के साथ) के डेन अपवर्तनीय का योग ) शून्य है।{{efn|This argument applies whenever the proportions of the tiles can be defined as a limit point of the numbers of tiles within larger polyhedra; see {{harvtxt|Lagarias|Moews|1995}}, Equation&nbsp;(4.2), and the surrounding discussion.}}
@@ Line 65: / Line 63: @@
 === टेंसर उत्पाद के रूप में ===
-Dehn invariant की परिभाषा के लिए एक पॉलीहेड्रॉन की धारणा की आवश्यकता होती है जिसके लिए किनारों की लंबाई और डायहेड्रल कोण अच्छी तरह से परिभाषित होते हैं। आमतौर पर, यह पॉलीहेड्रा पर लागू होता है, जिसकी सीमाएं कई गुना होती हैं, जो [[यूक्लिडियन अंतरिक्ष]] में विमानों की एक सीमित संख्या में एम्बेडेड होती हैं। चूंकि, गोलाकार ज्यामिति या अतिशयोक्तिपूर्ण अंतरिक्ष में पॉलीहेड्रा के लिए डेन अपवर्तनीय पर भी विचार किया गया है,{{r|ds00}} और यूक्लिडियन अंतरिक्ष में कुछ स्व-क्रॉसिंग पॉलीहेड्रा के लिए।{{r|alexandrov}}
+डेन अपवर्तनीय की परिभाषा के लिए एक पॉलीहेड्रॉन की धारणा की आवश्यकता होती है जिसके लिए किनारों की लंबाई और डायहेड्रल कोण अच्छी तरह से परिभाषित होते हैं। आमतौर पर, यह पॉलीहेड्रा पर लागू होता है, जिसकी सीमाएं कई गुना होती हैं, जो [[यूक्लिडियन अंतरिक्ष]] में विमानों की एक सीमित संख्या में एम्बेडेड होती हैं। चूंकि, गोलाकार ज्यामिति या अतिशयोक्तिपूर्ण अंतरिक्ष में पॉलीहेड्रा के लिए डेन अपवर्तनीय पर भी विचार किया गया है,{{r|ds00}} और यूक्लिडियन अंतरिक्ष में कुछ स्व-क्रॉसिंग पॉलीहेड्रा के लिए।{{r|alexandrov}}
-Dehn invariant के मान एक एबेलियन समूह से संबंधित हैं{{r|hartshorne}} मॉड्यूल के टेन्सर उत्पाद के रूप में परिभाषित
+डेन अपवर्तनीय के मान एक एबेलियन समूह से संबंधित हैं{{r|hartshorne}} मॉड्यूल के टेन्सर उत्पाद के रूप में परिभाषित
 <math display=block>\R\otimes_\Z\R/2\pi\Z.</math>
 इस टेन्सर गुणनफल का बायाँ कारक वास्तविक संख्याओं का समुच्चय है (इस मामले में पॉलीहेड्रा के किनारों की लंबाई का प्रतिनिधित्व करता है) और दायाँ कारक [[कांति]] में डायहेड्रल कोणों का प्रतिनिधित्व करता है, जो 2 के मॉड्यूलो तर्कसंगत गुणकों के रूप में दिए गए हैं।{{pi}}.{{r|eom}} (कुछ स्रोत कोण मॉड्यूलो लेते हैं {{pi}} के अतिरिक्त {{nowrap|modulo 2{{pi}},{{r|ds00|hartshorne|stillwell}}}} या कोणों को इससे विभाजित करें {{pi}} और उपयोग करें <math>\R/\Z</math> जगह में {{nowrap|of <math>\R/2\pi\Z</math>,{{r|dupont}}}} लेकिन इससे परिणामी टेन्सर गुणनफल पर कोई फर्क नहीं पड़ता है, जैसा कि किसी भी परिमेय गुणक में होता है {{pi}} उत्पाद में सही कारक शून्य हो जाता है।)
@@ Line 76: / Line 74: @@
 === हैमेल आधार का प्रयोग ===
-Dehn invariant के एक वैकल्पिक लेकिन समतुल्य विवरण में एक Hamel आधार, एक अनंत उपसमुच्चय का चुनाव शामिल है <math>B</math> वास्तविक संख्याओं की ऐसी कि प्रत्येक वास्तविक संख्या को विशिष्ट रूप से तत्वों के बहुत से तर्कसंगत गुणकों के योग के रूप में व्यक्त किया जा सकता है <math>B</math>. इस प्रकार, एक योज्य समूह के रूप में, <math>\R</math> [[समूह समरूपता]] है <math>\Q^{(B)}</math>, प्रतियों के [[मॉड्यूल का प्रत्यक्ष योग]] <math>\Q</math> के प्रत्येक तत्व के लिए एक योग के साथ <math>B</math>. यदि <math>B</math> सावधानी से चुना जाता है ताकि {{pi}} (या का एक परिमेय गुणक {{pi}}) इसके तत्वों में से एक है, और <math>B'</math> इस तत्व के साथ शेष आधार है, फिर टेंसर उत्पाद <math>\R\otimes\R/2\pi\Z</math> (अनंत आयामी) वास्तविक वेक्टर अंतरिक्ष के रूप में वर्णित किया जा सकता है <math>\R^{(B')}</math>. Dehn invariant को प्रत्येक डायहेड्रल कोण को विघटित करके व्यक्त किया जा सकता है <math>\theta_i</math> आधार तत्वों के परिमित योग में
+डेन अपवर्तनीय के एक वैकल्पिक लेकिन समतुल्य विवरण में एक Hamel आधार, एक अनंत उपसमुच्चय का चुनाव सम्मलित है <math>B</math> वास्तविक संख्याओं की ऐसी कि प्रत्येक वास्तविक संख्या को विशिष्ट रूप से तत्वों के बहुत से तर्कसंगत गुणकों के योग के रूप में व्यक्त किया जा सकता है <math>B</math>. इस प्रकार, एक योज्य समूह के रूप में, <math>\R</math> [[समूह समरूपता]] है <math>\Q^{(B)}</math>, प्रतियों के [[मॉड्यूल का प्रत्यक्ष योग]] <math>\Q</math> के प्रत्येक तत्व के लिए एक योग के साथ <math>B</math>. यदि <math>B</math> सावधानी से चुना जाता है ताकि {{pi}} (या का एक परिमेय गुणक {{pi}}) इसके तत्वों में से एक है, और <math>B'</math> इस तत्व के साथ शेष आधार है, फिर टेंसर उत्पाद <math>\R\otimes\R/2\pi\Z</math> (अनंत आयामी) वास्तविक वेक्टर अंतरिक्ष के रूप में वर्णित किया जा सकता है <math>\R^{(B')}</math>. डेन अपवर्तनीय को प्रत्येक डायहेड्रल कोण को विघटित करके व्यक्त किया जा सकता है <math>\theta_i</math> आधार तत्वों के परिमित योग में
 <math display=block>\theta_i=\sum_{j=0}^{k_i} q_{i,j} b_{i,j}</math>
 कहाँ पे <math>q_{i,j}</math> तर्कसंगत है, <math>b_{i,j}</math> हेमल आधार में वास्तविक संख्याओं में से एक है, और इन आधार तत्वों को क्रमांकित किया गया है ताकि <math>b_{i,0}</math> का परिमेय गुणज है {{pi}}
@@ Line 83: / Line 81: @@
 <math display=block>\sum_i \sum_{j=1}^{k_i} \ell_i q_{i,j} e_{i,j},</math>
 जहां प्रत्येक <math>e_{i,j}</math> में मानक इकाई वेक्टर है <math>\R^{(B')}</math> आधार तत्व के अनुरूप <math>b_{i,j}</math>. यहाँ योग से शुरू होता है <math>j=1</math>, के परिमेय गुणजों के संगत पद को छोड़ने के लिए {{pi}}.{{r|30lectures}}
-यद्यपि हेमल आधार सूत्रीकरण पसंद के स्वयंसिद्ध को शामिल करने के लिए प्रतीत होता है, इससे उत्पन्न होने वाले परिमित-आयामी वेक्टर स्थान पर ध्यान प्रतिबंधित करके (पॉलीहेड्रा के किसी विशिष्ट परिमित सेट पर विचार करते समय) इससे बचा जा सकता है। <math>\Q</math> पॉलीहेड्रा के डायहेड्रल कोणों द्वारा।{{r|benko}} इस वैकल्पिक सूत्रीकरण से पता चलता है कि डेन अपरिवर्तनीय के मूल्यों को एक वास्तविक सदिश स्थान की अतिरिक्त संरचना दी जा सकती है।{{r|schwartz}}
+यद्यपि हेमल आधार सूत्रीकरण पसंद के स्वयंसिद्ध को सम्मलित करने के लिए प्रतीत होता है, इससे उत्पन्न होने वाले परिमित-आयामी वेक्टर स्थान पर ध्यान प्रतिबंधित करके (पॉलीहेड्रा के किसी विशिष्ट परिमित सेट पर विचार करते समय) इससे बचा जा सकता है। <math>\Q</math> पॉलीहेड्रा के डायहेड्रल कोणों द्वारा।{{r|benko}} इस वैकल्पिक सूत्रीकरण से पता चलता है कि डेन अपरिवर्तनीय के मूल्यों को एक वास्तविक सदिश स्थान की अतिरिक्त संरचना दी जा सकती है।{{r|schwartz}}
 ===अनंत किनारों की लंबाई के साथ हाइपरबोलिक पॉलीहेड्रा ===
-अतिशयोक्तिपूर्ण अंतरिक्ष में एक [[आदर्श पॉलीहेड्रॉन]] के लिए, किनारे की लंबाई अनंत होती है, जिससे डेन की सामान्य परिभाषा अनुपयुक्त हो जाती है। फिर भी, इस ट्रंकेशन प्रक्रिया द्वारा बनाए गए अतिरिक्त किनारों को अनदेखा करते हुए, डेन अपवर्तनीय को इन पॉलीहेड्रा तक विस्तारित किया जा सकता है ताकि [[राशिफल]] का उपयोग करके उनके सिरों को छोटा किया जा सके, और परिणामी ट्रंकेटेड आकार के लिए सामान्य तरीके से डेन अपवर्तनीय की गणना की जा सके। परिणाम ट्रंकेशन के लिए होरोस्फीयर की पसंद पर निर्भर नहीं करता है, जब तक कि प्रत्येक दिए गए पॉलीहेड्रॉन के केवल एक शीर्ष को काट देता है।{{r|cghn}}
+अतिशयोक्तिपूर्ण अंतरिक्ष में एक [[आदर्श पॉलीहेड्रॉन]] के लिए, किनारे की लंबाई अनंत होती है, जिससे डेन की सामान्य परिभाषा अनुपयुक्त हो जाती है। फिर भी, इस ट्रंकेशन प्रक्रिया द्वारा बनाए गए अतिरिक्त किनारों को अनदेखा करते हुए, डेन अपवर्तनीय को इन पॉलीहेड्रा तक विस्तारित किया जा सकता है ताकि [[राशिफल]] का उपयोग करके उनके सिरों को छोटा किया जा सके, और परिणामी ट्रंकेटेड आकार के लिए सामान्य विधि से डेन अपवर्तनीय की गणना की जा सके। परिणाम ट्रंकेशन के लिए होरोस्फीयर की पसंद पर निर्भर नहीं करता है, जब तक कि प्रत्येक दिए गए पॉलीहेड्रॉन के केवल एक शीर्ष को काट देता है।{{r|cghn}}
 == वास्तविकता ==
-चूंकि Dehn invariant मान लेता है <math>\R\otimes_\Z\R/2\pi\Z,</math> इस स्थान के सभी तत्वों को पॉलीहेड्रा के डीएचएन अपवर्तनीय के रूप में महसूस नहीं किया जा सकता है।
+चूंकि डेन अपवर्तनीय मान लेता है <math>\R\otimes_\Z\R/2\pi\Z,</math> इस स्थान के सभी तत्वों को पॉलीहेड्रा के डीएचएन अपवर्तनीय के रूप में महसूस नहीं किया जा सकता है।
 यूक्लिडियन पॉलीहेड्रा के डीएचएन अपवर्तनीय एक रैखिक उप-स्थान बनाते हैं <math>\R\otimes_\Z\R/2\pi\Z</math>: पॉलीहेड्रा के असंयुक्त संघ (या उन्हें एक चेहरे पर एक साथ चिपकाकर) ले कर पॉलीहेड्रा के डेन अपवर्तनीय को जोड़ सकते हैं, पॉलीहेड्रॉन के आकार में बड़े क्यूब्स में छेद बनाकर डेन अपवर्तनीय को नकार सकते हैं, और किसी भी द्वारा डेन अपवर्तनीय को गुणा कर सकते हैं। बहुफलक को समान संख्या से स्केल करके स्केलर करें।
 किस तत्व का प्रश्न <math>\R\otimes_\Z\R/2\pi\Z,</math> (या, समकक्ष, <math>\R\otimes_\Z\R/\Z</math>) वसूली योग्य हैं ड्यूपॉन्ट और साह के काम से स्पष्ट किया गया था, जिन्होंने समूह होमोलॉजी से जुड़े एबेलियन समूहों (वेक्टर रिक्त स्थान नहीं) के निम्नलिखित [[लघु सटीक अनुक्रम]] का अस्तित्व दिखाया:{{sfnp||Dupont|2001|p=7}}
@@ Line 112: / Line 110: @@
 उपसमूह <math>\Z</math> में <math>\mathcal{P}(S^3)/\Z</math> पूरे क्षेत्र द्वारा उत्पन्न समूह है।{{sfnp||Dupont|2001|p=7}} फिर से, इन अनुक्रमों में सबसे सही गैर-शून्य समूह एक मूल्य की प्राप्ति के लिए बाधा है <math>\R\otimes_\Z\R/\Z</math> एक Dehn अपरिवर्तनीय के रूप में।
-Dehn invariant के इस बीजगणितीय दृश्य को उच्च आयामों तक बढ़ाया जा सकता है, जहां बीजगणितीय K-सिद्धांत को शामिल करते हुए एक प्रेरक (बीजगणितीय ज्यामिति) व्याख्या है।{{r|goncharov}}
+डेन अपवर्तनीय के इस बीजगणितीय दृश्य को उच्च आयामों तक बढ़ाया जा सकता है, जहां बीजगणितीय K-सिद्धांत को सम्मलित करते हुए एक प्रेरक (बीजगणितीय ज्यामिति) व्याख्या है।{{r|goncharov}}
 == संबंधित परिणाम ==
-[[File:Greek cross to rectangle.svg|thumb|केवल अक्ष-समानांतर कट और अनुवाद का उपयोग करते हुए एक आयत में ग्रीक क्रॉस का तीन-टुकड़ा विच्छेदन। एक डेन-जैसा अपरिवर्तनीय दर्शाता है कि इस तरह के प्रतिबंधित विच्छेदन के साथ इनमें से किसी भी आकार को एक वर्ग में विच्छेदित नहीं किया जा सकता है।]]Dehn invariant के समान दृष्टिकोण का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि क्या दो आयताकार बहुभुज एक दूसरे में केवल अक्ष-समानांतर कटौती और अनुवाद (मनमानी कोणों और घुमावों पर कटौती के अतिरिक्त) का उपयोग करके विच्छेदित किए जा सकते हैं। इस तरह के विच्छेदन के लिए एक अपरिवर्तनीय टेंसर उत्पाद का उपयोग करता है <math>\mathbb{R}\otimes_{\mathbb{Z}}\mathbb{R}</math>
+[[File:Greek cross to rectangle.svg|thumb|केवल अक्ष-समानांतर कट और अनुवाद का उपयोग करते हुए एक आयत में ग्रीक क्रॉस का तीन-टुकड़ा विच्छेदन। एक डेन-जैसा अपरिवर्तनीय दर्शाता है कि इस तरह के प्रतिबंधित विच्छेदन के साथ इनमें से किसी भी आकार को एक वर्ग में विच्छेदित नहीं किया जा सकता है।]]डेन अपवर्तनीय के समान दृष्टिकोण का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि क्या दो आयताकार बहुभुज एक दूसरे में केवल अक्ष-समानांतर कटौती और अनुवाद (मनमानी कोणों और घुमावों पर कटौती के अतिरिक्त) का उपयोग करके विच्छेदित किए जा सकते हैं। इस तरह के विच्छेदन के लिए एक अपरिवर्तनीय टेंसर उत्पाद का उपयोग करता है <math>\mathbb{R}\otimes_{\mathbb{Z}}\mathbb{R}</math>
-जहाँ उत्पाद में बाएँ और दाएँ पद आयतों की ऊँचाई और चौड़ाई का प्रतिनिधित्व करते हैं।{{r|dehn2|stillwell|spandaw|benko|eppstein}} किसी दिए गए बहुभुज के लिए अपरिवर्तनीय की गणना बहुभुज को आयतों में काटकर, प्रत्येक आयत की ऊँचाई और चौड़ाई के टेंसर उत्पाद को लेकर और परिणाम जोड़कर की जाती है। एक विच्छेदन संभव है यदि और केवल यदि दो बहुभुजों में एक ही अपरिवर्तनीय है, जिसका अर्थ है कि उनके समान क्षेत्र भी हैं।{{r|eppstein}} इस अपरिवर्तनीय का उपयोग यह साबित करने के लिए किया जा सकता है कि एक ही क्षेत्र के दो आयतों को एक दूसरे में विच्छेदित किया जा सकता है यदि और केवल यदि उनके पहलू अनुपात एक दूसरे के तर्कसंगत गुणक हैं।{{r|dehn2|stillwell|spandaw|benko}} यह इस प्रकार है कि एक संघ से एक पॉलीओमिनो बनता है <math>n</math> वर्गों को केवल इस तरह से एक वर्ग में विच्छेदित किया जा सकता है <math>n</math> वर्ग संख्या है। Dehn invariant के इस संस्करण के लिए, टेंसर रैंक आयतों की न्यूनतम संख्या के बराबर होती है जिसमें एक बहुभुज को विच्छेदित किया जा सकता है।{{r|eppstein}}
+जहाँ उत्पाद में बाएँ और दाएँ पद आयतों की ऊँचाई और चौड़ाई का प्रतिनिधित्व करते हैं।{{r|dehn2|stillwell|spandaw|benko|eppstein}} किसी दिए गए बहुभुज के लिए अपरिवर्तनीय की गणना बहुभुज को आयतों में काटकर, प्रत्येक आयत की ऊँचाई और चौड़ाई के टेंसर उत्पाद को लेकर और परिणाम जोड़कर की जाती है। एक विच्छेदन संभव है यदि और केवल यदि दो बहुभुजों में एक ही अपरिवर्तनीय है, जिसका अर्थ है कि उनके समान क्षेत्र भी हैं।{{r|eppstein}} इस अपरिवर्तनीय का उपयोग यह साबित करने के लिए किया जा सकता है कि एक ही क्षेत्र के दो आयतों को एक दूसरे में विच्छेदित किया जा सकता है यदि और केवल यदि उनके पहलू अनुपात एक दूसरे के तर्कसंगत गुणक हैं।{{r|dehn2|stillwell|spandaw|benko}} यह इस प्रकार है कि एक संघ से एक पॉलीओमिनो बनता है <math>n</math> वर्गों को केवल इस तरह से एक वर्ग में विच्छेदित किया जा सकता है <math>n</math> वर्ग संख्या है। डेन अपवर्तनीय के इस संस्करण के लिए, टेंसर रैंक आयतों की न्यूनतम संख्या के बराबर होती है जिसमें एक बहुभुज को विच्छेदित किया जा सकता है।{{r|eppstein}}
 फ्लेक्सिबल पॉलीहेड्रॉन पॉलीहेड्रा का एक वर्ग है जो निरंतर गति से गुजर सकता है जो उनके चेहरे के आकार को संरक्षित करता है। कॉची की प्रमेय (ज्यामिति) | कॉची की कठोरता प्रमेय के अनुसार, उन्हें गैर-उत्तल होना चाहिए, और यह ज्ञात है (धौंकनी अनुमान | धौंकनी प्रमेय) कि इस गति के दौरान बहुफलक का आयतन स्थिर रहना चाहिए। इस प्रमेय के एक मजबूत संस्करण में कहा गया है कि इस तरह के पॉलीहेड्रॉन के डीएचएएन अपरिवर्तनीय भी किसी निरंतर गति के दौरान अपरिवर्तनीय रहना चाहिए। इस परिणाम को प्रबल धौंकनी अनुमान कहा जाता है। यह सभी गैर-स्व-प्रतिच्छेदी लचीले पॉलीहेड्रा के लिए सिद्ध किया गया है।{{r|gi18}} चूंकि, स्व-चौराहों के साथ अधिक जटिल लचीले पॉलीहेड्रा के लिए, पॉलीहेड्रॉन फ्लेक्स के रूप में डेन अपवर्तनीय लगातार बदल सकता है।{{r|ac11}}
 एक पॉलीहेड्रल सतह के कुल [[औसत वक्रता]] को उसी तरह परिभाषित किया गया है जैसे कि किनारे की लंबाई के किनारों पर योग बाहरी डायहेड्रल कोणों से गुणा किया जाता है। यह किसी भी फ्लेक्सिंग पॉलीहेड्रॉन के लिए स्थिर रहने के लिए सिद्ध हुआ है।{{r|alexander}}
@@ Line 467: / Line 465: @@
 *मजबूत धौंकनी अनुमान
 == बाहरी संबंध ==
-* [https://www.youtube.com/watch?v=eYfpSAxGakI Video about Dehn invariants] on [[Numberphile]]
+* [https://www.youtube.com/watch?v=eYfpSAxGakI Video about डेन अपवर्तनीयs] on [[Numberphile]]
 [[Category:ज्यामितीय विच्छेदन]]
 [[Category:पॉलीहेड्रा]]

Anonymous

Search

खिंचाव अपरिवर्तनीय: Difference between revisions

Namespaces

More

Page actions

Revision as of 23:22, 18 December 2022

Contents

पृष्ठभूमि और इतिहास

उदाहरण

सरलीकृत गणना

सैद्धांतिक ठोस

संबंधित पॉलीहेड्रा

अनुप्रयोग

पूर्ण परिभाषा

टेंसर उत्पाद के रूप में

हैमेल आधार का प्रयोग

अनंत किनारों की लंबाई के साथ हाइपरबोलिक पॉलीहेड्रा

वास्तविकता

संबंधित परिणाम

टिप्पणियाँ

संदर्भ

इस पेज में लापता आंतरिक लिंक की सूची

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

खिंचाव अपरिवर्तनीय: Difference between revisions

Revision as of 23:22, 18 December 2022

पृष्ठभूमि और इतिहास

उदाहरण

सरलीकृत गणना

सैद्धांतिक ठोस

संबंधित पॉलीहेड्रा

अनुप्रयोग

पूर्ण परिभाषा

टेंसर उत्पाद के रूप में

हैमेल आधार का प्रयोग

अनंत किनारों की लंबाई के साथ हाइपरबोलिक पॉलीहेड्रा

वास्तविकता

संबंधित परिणाम

टिप्पणियाँ

संदर्भ

इस पेज में लापता आंतरिक लिंक की सूची

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories