मौलिक डोमेन

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

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

सामान्य परिभाषा के संकेत

भागफल एक टोरस के साथ जटिल तल और उसके मौलिक डोमेन में एक जाली।

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

उदाहरण के लिए, जब एक्सयूक्लिडियन स्पेस Rⁿ आयाम n का, और G जाली (समूह सिद्धांत) 'Z' हैⁿ अनुवाद द्वारा इस पर कार्य करते हुए, भागफल एक्स/जी एन-आयामी टोरस्र्स है। यहाँ एक मूलभूत डोमेन डी को [0,1)ⁿ के रूप में लिया जा सकता है, जो विवृत समुच्चय (0,1)ⁿ से भिन्न है माप शून्य के एक समुच्चय द्वारा, या बंद सेट यूनिट क्यूब [0,1]ⁿ, जिसकी सीमा (टोपोलॉजी) में वे बिंदु होते हैं जिनकी कक्षा में D में एक से अधिक प्रतिनिधि होते हैं।

उदाहरण

त्रि-आयामी यूक्लिडियन अंतरिक्ष आर में उदाहरण^{3</सुप>.}

• एन-फोल्ड रोटेशन के लिए: एक कक्षा या तो अक्ष के चारों ओर n बिंदुओं का एक सेट है, या अक्ष पर एक एकल बिंदु है; मौलिक डोमेन एक सेक्टर है
• एक समतल में परावर्तन के लिए: एक कक्षा या तो 2 बिंदुओं का समुच्चय है, विमान के प्रत्येक तरफ एक, या समतल में एक बिंदु; मौलिक डोमेन उस विमान से घिरा आधा स्थान है
• एक बिंदु में प्रतिबिंब के लिए: एक कक्षा 2 बिंदुओं का एक समूह है, केंद्र के प्रत्येक तरफ एक, एक कक्षा को छोड़कर, जिसमें केवल केंद्र होता है; मौलिक डोमेन केंद्र के माध्यम से किसी भी विमान से घिरा आधा स्थान है
• एक रेखा के परितः 180° घूर्णन के लिए: कक्षा या तो अक्ष के सापेक्ष एक दूसरे के विपरीत 2 बिंदुओं का एक समूह है, या अक्ष पर एक बिंदु है; मौलिक डोमेन एक आधा स्थान है जो किसी भी विमान द्वारा रेखा के माध्यम से घिरा हुआ है
• एक दिशा में असतत अनुवादकीय समरूपता के लिए: कक्षाएँ अनुवाद वेक्टर की दिशा में 1D जाली का अनुवाद करती हैं; मौलिक डोमेन एक अनंत स्लैब है
• दो दिशाओं में असतत अनुवादकीय समरूपता के लिए: कक्षाएं अनुवाद वैक्टर के माध्यम से विमान में एक 2D जाली का अनुवाद करती हैं; मौलिक डोमेन समानांतर चतुर्भुज क्रॉस सेक्शन के साथ एक अनंत बार है
• तीन दिशाओं में असतत अनुवादकीय समरूपता के लिए: कक्षाएँ जाली का अनुवाद हैं; मौलिक डोमेन एक आदिम सेल है जो उदा। एक समानांतर चतुर्भुज, या एक विग्नर-सीट्ज़ सेल , जिसे वोरोनोई आरेख /आरेख भी कहा जाता है।

अन्य समरूपताओं के साथ संयुक्त रूपांतर समरूपता के मामले में, मौलिक डोमेन आदिम सेल का हिस्सा है। उदाहरण के लिए, वॉलपेपर समूह ों के लिए मौलिक डोमेन एक कारक 1, 2, 3, 4, 6, 8, या 12 है जो आदिम सेल से छोटा है।

मॉड्यूलर समूह के लिए मौलिक डोमेन

प्रत्येक त्रिभुजाकार क्षेत्र H/Γ का एक निःशुल्क नियमित समुच्चय है; ग्रे वन (अनंत पर त्रिभुज के तीसरे बिंदु के साथ) विहित मौलिक डोमेन है।

दाईं ओर का आरेख मॉड्यूलर समूह की कार्रवाई के लिए मौलिक डोमेन के निर्माण का हिस्सा दिखाता है Γ ऊपरी आधे विमान एच पर।

यह प्रसिद्ध आरेख मॉड्यूलर कार्यों पर सभी शास्त्रीय पुस्तकों में दिखाई देता है। (यह शायद सीएफ गॉस के लिए अच्छी तरह से जाना जाता था, जो बाइनरी_क्वाड्रैटिक_फॉर्म # रिडक्शन_एंड_क्लास_नंबर्स ऑफ द्विघात रूप की आड़ में मौलिक डोमेन से निपटते थे।) यहां, प्रत्येक त्रिकोणीय क्षेत्र (नीली रेखाओं से घिरा) Γ की कार्रवाई का एक नि: शुल्क नियमित सेट है। एच पर। सीमाएं (नीली रेखाएं) मुक्त नियमित सेट का हिस्सा नहीं हैं। एच / Γ के एक मौलिक डोमेन का निर्माण करने के लिए, किसी को भी इस बात पर विचार करना चाहिए कि सीमा पर बिंदुओं को कैसे निर्दिष्ट किया जाए, सावधान रहें कि ऐसे बिंदुओं को दोबारा न गिना जाए। इस प्रकार, इस उदाहरण में मुक्त नियमित सेट है

$U=\left\{z\in H:\left|z\right|>1,\,\left|\,{\mbox{Re}}(z)\,\right|<{\frac {1}{2}}\right\}.$

मौलिक डोमेन बाईं ओर की सीमा को जोड़कर बनाया गया है और बीच में बिंदु सहित तल पर आधे चाप को जोड़ा गया है:

$D=U\cup \left\{z\in H:\left|z\right|\geq 1,\,{\mbox{Re}}(z)={\frac {-1}{2}}\right\}\cup \left\{z\in H:\left|z\right|=1,\,{\frac {-1}{2}}<{\mbox{Re}}(z)\leq 0\right\}.$

मौलिक डोमेन के एक हिस्से के रूप में शामिल करने के लिए सीमा के किन बिंदुओं का चुनाव मनमाना है, और लेखक से लेखक में भिन्न होता है।

मौलिक डोमेन को परिभाषित करने की मुख्य कठिनाई सेट प्रति की परिभाषा के साथ इतनी अधिक नहीं है, बल्कि डोमेन की सीमा पर ध्रुवों और शून्यों के साथ कार्यों को एकीकृत करते समय मौलिक डोमेन पर इंटीग्रल का इलाज कैसे करें।

यह भी देखें

• नि: शुल्क नियमित सेट
• मौलिक बहुभुज
• ब्रिलौइन क्षेत्र
• अवधियों की मौलिक जोड़ी
• पीटरसन आंतरिक उत्पाद
• कस्प पड़ोस

बाहरी संबंध

• Weisstein, Eric W. "Fundamental domain". MathWorld.