प्रतिबिंब समूह: Difference between revisions

From Vigyanwiki
(Created page with "समूह सिद्धांत और ज्यामिति में, एक प्रतिबिंब समूह एक असतत समूह...")
 
No edit summary
Line 1: Line 1:
[[समूह सिद्धांत]] और [[ज्यामिति]] में, एक प्रतिबिंब समूह एक [[असतत समूह]] होता है जो परिमित-आयामी [[यूक्लिडियन अंतरिक्ष]] के [[प्रतिबिंब (गणित)]] के एक सेट द्वारा उत्पन्न होता है। एक [[नियमित पॉलीटॉप]] की समरूपता समूह या एक नियमित पॉलीटॉप की सर्वांगसम प्रतियों द्वारा यूक्लिडियन स्थान के एक [[चौकोर]] का अनिवार्य रूप से एक प्रतिबिंब समूह है। प्रतिबिंब समूहों में [[वेइल समूह]] और क्रिस्टलोग्राफिक [[कॉक्सेटर समूह]] भी शामिल हैं। जबकि [[ऑर्थोगोनल समूह]] प्रतिबिंबों (कार्टन-ड्यूडोने प्रमेय द्वारा) द्वारा उत्पन्न होता है, यह एक निरंतर समूह (वास्तव में, लाइ समूह) है, असतत समूह नहीं है, और आम तौर पर इसे अलग से माना जाता है।
[[समूह सिद्धांत]] और [[ज्यामिति]] में, एक प्रतिबिंब समूह एक [[असतत समूह]] होता है जो परिमित-आयामी [[यूक्लिडियन अंतरिक्ष]] के [[प्रतिबिंब (गणित)]] के एक समूह द्वारा उत्पन्न होता है। एक [[नियमित पॉलीटॉप]] की समरूपता समूह या एक नियमित पॉलीटॉप की सर्वांगसम प्रतियों द्वारा यूक्लिडियन स्थान के एक [[चौकोर]] का अनिवार्य रूप से एक प्रतिबिंब समूह है। प्रतिबिंब समूहों में [[वेइल समूह]] और क्रिस्टलोग्राफिक [[कॉक्सेटर समूह]] भी सम्मिलित हैं। जबकि [[ऑर्थोगोनल समूह]] प्रतिबिंबों (कार्टन-ड्यूडोने प्रमेय द्वारा) द्वारा उत्पन्न होता है, यह एक निरंतर समूह (वास्तव में, लाइ समूह) है, असतत समूह नहीं है, और सामान्यतः इसे अलग से माना जाता है।


== परिभाषा ==
== परिभाषा ==


मान लीजिए E एक परिमित-विमीय यूक्लिडियन समष्टि है। एक 'परिमित प्रतिबिंब समूह' ई के [[सामान्य रैखिक समूह]] का एक उपसमूह है जो मूल के माध्यम से गुजरने वाले हाइपरप्लेन में ऑर्थोगोनल प्रतिबिंब (गणित) के सेट द्वारा उत्पन्न होता है। एक 'एफ़िन रिफ्लेक्शन ग्रुप' ई के एफ़िन समूह का एक असतत उपसमूह है जो ई के एफ़िन प्रतिबिंबों के एक सेट द्वारा उत्पन्न होता है (इस आवश्यकता के बिना कि प्रतिबिंब हाइपरप्लेन मूल से गुजरते हैं)।
मान लीजिए E एक परिमित-विमीय यूक्लिडियन समष्टि है। एक 'परिमित प्रतिबिंब समूह' ई के [[सामान्य रैखिक समूह]] का एक उपसमूह है जो मूल के माध्यम से गुजरने वाले हाइपरप्लेन में ऑर्थोगोनल प्रतिबिंब (गणित) के समूह द्वारा उत्पन्न होता है। एक 'एफ़िन प्रतिबिंब समूह' ई के एफ़िन समूह का एक असतत उपसमूह है जो ई के एफ़िन प्रतिबिंबों के एक समूह द्वारा उत्पन्न होता है (इस आवश्यकता के बिना कि प्रतिबिंब हाइपरप्लेन मूल से गुजरते हैं)।


संबंधित धारणाओं को अन्य [[क्षेत्र (गणित)]] पर परिभाषित किया जा सकता है, जिससे '[[जटिल प्रतिबिंब समूह]]' और [[परिमित क्षेत्र]] पर प्रतिबिंब समूहों के अनुरूप हो सकते हैं।
संबंधित धारणाओं को अन्य [[क्षेत्र (गणित)]] पर परिभाषित किया जा सकता है, जिससे '[[जटिल प्रतिबिंब समूह]]' और [[परिमित क्षेत्र]] पर प्रतिबिंब समूहों के अनुरूप हो सकते हैं।
Line 9: Line 9:
== उदाहरण ==
== उदाहरण ==


=== विमान ===
=== समतल ===


दो आयामों में, परिमित प्रतिबिंब समूह [[डायहेड्रल समूह]] होते हैं, जो दो पंक्तियों में प्रतिबिंब द्वारा उत्पन्न होते हैं जो एक कोण बनाते हैं <math>2\pi/n</math> और [[कॉक्सेटर आरेख]] के अनुरूप है <math>I_2(n).</math> इसके विपरीत, दो आयामों में चक्रीय बिंदु समूह प्रतिबिंबों से उत्पन्न नहीं होते हैं, और वास्तव में कोई प्रतिबिंब नहीं होते हैं - हालांकि वे डायहेड्रल समूह के सूचकांक 2 के उपसमूह हैं।
दो आयामों में, परिमित प्रतिबिंब समूह [[डायहेड्रल समूह]] होते हैं, जो दो पंक्तियों में प्रतिबिंब द्वारा उत्पन्न होते हैं जो <math>2\pi/n</math> एक कोण बनाते हैं और [[कॉक्सेटर आरेख]] <math>I_2(n).</math>के अनुरूप है  इसके विपरीत दो आयामों में चक्रीय बिंदु समूह प्रतिबिंबों से उत्पन्न नहीं होते हैं, और वास्तव में कोई प्रतिबिंब नहीं होते हैं - चूँकि वे डायहेड्रल समूह के सूचकांक 2 के उपसमूह हैं।


अनंत प्रतिबिंब समूहों में फ्रिज़ समूह शामिल हैं <math>*\infty\infty</math> और <math>*22\infty</math> और [[वॉलपेपर समूह]] <math>**</math>, <math>*2222</math>, <math>*333</math>, <math>*442</math> और <math>*632</math>. यदि दो रेखाओं के बीच का कोण पाई का अपरिमेय गुणक है, तो इन रेखाओं में परावर्तनों द्वारा उत्पन्न समूह अनंत और असतत है, इसलिए, यह परावर्तन समूह नहीं है।
अनंत प्रतिबिंब समूहों में फ्रिज़ समूह <math>*\infty\infty</math> और <math>*22\infty</math> और [[वॉलपेपर समूह]] <math>**</math>, <math>*2222</math>, <math>*333</math>, <math>*442</math> और <math>*632</math>.सम्मिलित हैं  यदि दो रेखाओं के बीच का कोण पाई का अपरिमेय गुणक है, तो इन रेखाओं में परावर्तनों द्वारा उत्पन्न समूह अनंत और असतत है, इसलिए, यह परावर्तन समूह नहीं है।


=== अंतरिक्ष ===
=== स्थान ===


परिमित प्रतिबिंब समूह तीन आयामों C में बिंदु समूह हैं<sub>nv</sub>, डी<sub>nh</sub>, और पांच [[प्लेटोनिक ठोस]] के [[समरूपता समूह]]दोहरी नियमित पॉलीहेड्रा (क्यूब और ऑक्टाहेड्रॉन, साथ ही डोडकाहेड्रॉन और आईकोसाहेड्रॉन) आइसोमोर्फिक समरूपता समूहों को जन्म देते हैं। 'आर' के परिमित प्रतिबिंब समूहों का वर्गीकरण<sup>3</sup> [[एडीई वर्गीकरण]] का एक उदाहरण है।
परिमित प्रतिबिंब समूह तीन आयामों ''C<sub>nv</sub>'', ''D<sub>nh</sub>'', और पांच [[प्लेटोनिक ठोस]] के [[समरूपता समूह]] है। दोहरी नियमित पॉलीहेड्रा (क्यूब और ऑक्टाहेड्रॉन, साथ ही डोडकाहेड्रॉन और आईकोसाहेड्रॉन) आइसोमोर्फिक समरूपता समूहों को जन्म देते हैं। ''''R'''<sup>3</sup>' के परिमित प्रतिबिंब समूहों का वर्गीकरण [[एडीई वर्गीकरण]] का एक उदाहरण है।


== कॉक्सेटर समूहों के साथ संबंध ==
== कॉक्सेटर समूहों के साथ संबंध ==


एक प्रतिबिंब समूह डब्ल्यू एच.एस.एम. कॉक्सेटर द्वारा खोजे और अध्ययन किए गए एक विशेष प्रकार की [[समूह प्रस्तुति]] को स्वीकार करता है।<ref>{{harvs|last=Coxeter|year1=1934|year2=1935|txt}}</ref> एक निश्चित [[मौलिक डोमेन]] कक्ष के चेहरे में प्रतिबिंब जेनरेटर आर हैं<sub>''i''</sub> क्रम 2 के डब्ल्यू का। उनके बीच के सभी संबंध औपचारिक रूप से संबंधों से अनुसरण करते हैं
एक प्रतिबिंब समूह डब्ल्यू एच.एस.एम. कॉक्सेटर द्वारा खोजे और अध्ययन किए गए एक विशेष प्रकार की [[समूह प्रस्तुति]] को स्वीकार करता है।<ref>{{harvs|last=Coxeter|year1=1934|year2=1935|txt}}</ref> एक निश्चित [[मौलिक डोमेन]] कक्ष के चेहरे में प्रतिबिंब क्रम 2 के डब्ल्यू का जेनरेटर ''r<sub>i</sub>'' हैं । उनके बीच के सभी संबंध औपचारिक रूप से संबंधों से अनुसरण करते हैं


: <math>(r_i r_j)^{c_{ij}} = 1,</math>
: <math>(r_i r_j)^{c_{ij}} = 1,</math>
इस तथ्य को व्यक्त करते हुए कि प्रतिबिंबों का उत्पाद आर<sub>''i''</sub> और आर<sub>''j''</sub> दो हाइपरप्लेन में एच<sub>''i''</sub> और वह<sub>''j''</sub> एक कोण पर बैठक <math>\pi/c_{ij}</math> कोण द्वारा घूर्णन है <math>2\pi/c_{ij}</math> उप-स्थान एच को ठीक करना<sub>''i''</sub>∩ एच<sub>''j''</sub> कोडिमेंशन का 2। इस प्रकार, एक सार समूह के रूप में देखा गया, प्रत्येक प्रतिबिंब समूह एक कॉक्सेटर समूह है।
इस तथ्य को व्यक्त करते हुए कि दो हाइपरप्लेन ''H<sub>i</sub>'' और  ''H<sub>j</sub>'' में परावर्तन ''r<sub>i</sub>'' और ''r<sub>j</sub>'' का गुणनफल एक कोण <math>\pi/c_{ij}</math>पर मिलने से <math>2\pi/c_{ij}</math> कोण से एक घूर्णन होता है जो उप-स्थान को ठीक करता है ''H<sub>i</sub>'' ''H<sub>j</sub>'' of कोडिमेंशन 2 इस प्रकार एक अमूर्त समूह के रूप में देखा गया, प्रत्येक प्रतिबिंब समूह एक कॉक्सेटर समूह है।


== परिमित क्षेत्र ==
== परिमित क्षेत्र ==


परिमित क्षेत्रों पर काम करते समय, एक प्रतिबिंब को एक मानचित्र के रूप में परिभाषित करता है जो एक हाइपरप्लेन को ठीक करता है (अन्यथा उदाहरण के लिए विशेषता 2 में कोई प्रतिबिंब नहीं होगा, जैसा कि <math>-1=1</math> इसलिए प्रतिबिंब पहचान हैं)।{{Citation needed|date=April 2010}} ज्यामितीय रूप से, यह हाइपरप्लेन में [[शियर मैपिंग]] को शामिल करने के समान है। विशेषता 2 नहीं के परिमित क्षेत्रों पर प्रतिबिंब समूहों द्वारा वर्गीकृत किया गया था {{Harvtxt|Zalesskiĭ|Serežkin|1981}}.
परिमित क्षेत्रों पर काम करते समय, एक "प्रतिबिंब" को एक मानचित्र के रूप में परिभाषित करता है जो एक हाइपरप्लेन को ठीक करता है (अन्यथा उदाहरण के लिए विशेषता 2 में कोई प्रतिबिंब नहीं होगा, क्योंकि -1=1 इसलिए प्रतिबिंब पहचान हैं)। [उद्धरण वांछित] ज्यामितीय रूप से, यह हाइपरप्लेन में शियर्स को सम्मिलित करने के समान है। विशेषता 2 नहीं के परिमित क्षेत्रों पर प्रतिबिंब समूहों को {{Harvtxt|ज़लेस्की |सेरेज़्किन|1981}} किया गया था।


== सामान्यीकरण ==
== सामान्यीकरण ==
   
   
प्रतिबिंबों द्वारा उत्पन्न अधिक सामान्य [[ रीमैनियन कई गुना ]] के असतत [[आइसोमेट्री समूह]]ों पर भी विचार किया गया है। सबसे महत्वपूर्ण वर्ग रैंक 1 के रिमेंनियन सममित रिक्त स्थान से उत्पन्न होता है: [[एन-क्षेत्र]] एस<sup>n</sup>, परिमित परावर्तन समूहों के अनुरूप, यूक्लिडियन स्पेस 'R'<sup>n</sup>, के अनुरूप
प्रतिबिंबों द्वारा उत्पन्न अधिक सामान्य [[ रीमैनियन कई गुना ]] के असतत [[आइसोमेट्री समूह]]ों पर भी विचार किया गया है। सबसे महत्वपूर्ण वर्ग रैंक 1 के रिमेंनियन सममित रिक्त स्थान से उत्पन्न होता है: [[एन-क्षेत्र]] एस<sup>n</sup>, परिमित परावर्तन समूहों के अनुरूप, यूक्लिडियन स्पेस 'R'<sup>n</sup>, के अनुरूप
affine प्रतिबिंब समूह, और अतिपरवलयिक स्थान H<sup>n</sup>, जहां संबंधित समूहों को 'अतिपरवलयिक परावर्तन समूह' कहा जाता है। दो आयामों में, [[त्रिभुज समूह]]ों में तीनों प्रकार के प्रतिबिंब समूह शामिल होते हैं।
affine प्रतिबिंब समूह, और अतिपरवलयिक स्थान H<sup>n</sup>, जहां संबंधित समूहों को 'अतिपरवलयिक परावर्तन समूह' कहा जाता है। दो आयामों में, [[त्रिभुज समूह]]ों में तीनों प्रकार के प्रतिबिंब समूह सम्मिलित होते हैं।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 10:37, 25 April 2023

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

परिभाषा

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

संबंधित धारणाओं को अन्य क्षेत्र (गणित) पर परिभाषित किया जा सकता है, जिससे 'जटिल प्रतिबिंब समूह' और परिमित क्षेत्र पर प्रतिबिंब समूहों के अनुरूप हो सकते हैं।

उदाहरण

समतल

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

अनंत प्रतिबिंब समूहों में फ्रिज़ समूह और और वॉलपेपर समूह , , , और .सम्मिलित हैं यदि दो रेखाओं के बीच का कोण पाई का अपरिमेय गुणक है, तो इन रेखाओं में परावर्तनों द्वारा उत्पन्न समूह अनंत और असतत है, इसलिए, यह परावर्तन समूह नहीं है।

स्थान

परिमित प्रतिबिंब समूह तीन आयामों Cnv, Dnh, और पांच प्लेटोनिक ठोस के समरूपता समूह है। दोहरी नियमित पॉलीहेड्रा (क्यूब और ऑक्टाहेड्रॉन, साथ ही डोडकाहेड्रॉन और आईकोसाहेड्रॉन) आइसोमोर्फिक समरूपता समूहों को जन्म देते हैं। 'R3' के परिमित प्रतिबिंब समूहों का वर्गीकरण एडीई वर्गीकरण का एक उदाहरण है।

कॉक्सेटर समूहों के साथ संबंध

एक प्रतिबिंब समूह डब्ल्यू एच.एस.एम. कॉक्सेटर द्वारा खोजे और अध्ययन किए गए एक विशेष प्रकार की समूह प्रस्तुति को स्वीकार करता है।[1] एक निश्चित मौलिक डोमेन कक्ष के चेहरे में प्रतिबिंब क्रम 2 के डब्ल्यू का जेनरेटर ri हैं । उनके बीच के सभी संबंध औपचारिक रूप से संबंधों से अनुसरण करते हैं

इस तथ्य को व्यक्त करते हुए कि दो हाइपरप्लेन Hi और Hj में परावर्तन ri और rj का गुणनफल एक कोण पर मिलने से कोण से एक घूर्णन होता है जो उप-स्थान को ठीक करता है HiHj of कोडिमेंशन 2 इस प्रकार एक अमूर्त समूह के रूप में देखा गया, प्रत्येक प्रतिबिंब समूह एक कॉक्सेटर समूह है।

परिमित क्षेत्र

परिमित क्षेत्रों पर काम करते समय, एक "प्रतिबिंब" को एक मानचित्र के रूप में परिभाषित करता है जो एक हाइपरप्लेन को ठीक करता है (अन्यथा उदाहरण के लिए विशेषता 2 में कोई प्रतिबिंब नहीं होगा, क्योंकि -1=1 इसलिए प्रतिबिंब पहचान हैं)। [उद्धरण वांछित] ज्यामितीय रूप से, यह हाइपरप्लेन में शियर्स को सम्मिलित करने के समान है। विशेषता 2 नहीं के परिमित क्षेत्रों पर प्रतिबिंब समूहों को ज़लेस्की & सेरेज़्किन (1981) किया गया था।

सामान्यीकरण

प्रतिबिंबों द्वारा उत्पन्न अधिक सामान्य रीमैनियन कई गुना के असतत आइसोमेट्री समूहों पर भी विचार किया गया है। सबसे महत्वपूर्ण वर्ग रैंक 1 के रिमेंनियन सममित रिक्त स्थान से उत्पन्न होता है: एन-क्षेत्र एसn, परिमित परावर्तन समूहों के अनुरूप, यूक्लिडियन स्पेस 'R'n, के अनुरूप affine प्रतिबिंब समूह, और अतिपरवलयिक स्थान Hn, जहां संबंधित समूहों को 'अतिपरवलयिक परावर्तन समूह' कहा जाता है। दो आयामों में, त्रिभुज समूहों में तीनों प्रकार के प्रतिबिंब समूह सम्मिलित होते हैं।

यह भी देखें

संदर्भ

टिप्पणियाँ

  1. Coxeter (1934, 1935)
  2. Goodman (2004).


ग्रन्थसूची

  • Coxeter, H.S.M. (1934), "Discrete groups generated by reflections", Ann. of Math., 35 (3): 588–621, CiteSeerX 10.1.1.128.471, doi:10.2307/1968753, JSTOR 1968753
  • Coxeter, H.S.M. (1935), "The complete enumeration of finite groups of the form ", J. London Math. Soc., 10: 21–25, doi:10.1112/jlms/s1-10.37.21
  • Goodman, Roe (April 2004), "The Mathematics of Mirrors and Kaleidoscopes" (PDF), American Mathematical Monthly, 111 (4): 281–298, CiteSeerX 10.1.1.127.6227, doi:10.2307/4145238, JSTOR 4145238
  • Zalesskiĭ, Aleksandr E.; Serežkin, V N (1981), "Finite Linear Groups Generated by Reflections", Math. USSR Izv., 17 (3): 477–503, Bibcode:1981IzMat..17..477Z, doi:10.1070/IM1981v017n03ABEH001369


पाठ्यपुस्तकें


बाहरी संबंध