स्यूडोग्रुप: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
गणित में, | गणित में, '''स्यूडोग्रुप''' समष्टि के विवृत समूहों के बीच भिन्नता का एक समूह है, जो समूह-समान और शीफ-समान गुणों को संतुष्ट करता है। यह समूह की अवधारणा का एक सामान्यीकरण है, जो अमूर्त के ज्यामितीय दृष्टिकोण से उत्पन्न हुआ है।<ref>{{Cite book|last=Sophus|first=Lie|url=http://worldcat.org/oclc/6056947|title=परिवर्तन समूहों का सिद्धांत|date=1888–1893|publisher=B.G. Teubner|oclc=6056947}}</ref> | ||
सार बीजगणित (जैसे अर्धसमूह, उदाहरण के लिए) के अतिरिक्त अंतर समीकरणों की समरूपता की जांच करने के लिए। स्यूडोग्रुपका आधुनिक सिद्धांत 1900 की शुरुआत में एली कार्टन द्वारा विकसित किया गया था।<ref>{{cite journal|first = Élie|last = Cartan|title = परिवर्तनों के अनंत समूहों की संरचना पर|journal = [[Annales Scientifiques de l'École Normale Supérieure]]|year = 1904|volume = 21|pages=153–206|doi = 10.24033/asens.538|url=http://archive.numdam.org/article/ASENS_1904_3_21__153_0.pdf|doi-access = free}}</ref><ref>{{cite journal|first = Élie|last = Cartan|title = निरंतर, अनंत, सरल परिवर्तनों के समूह|journal = Annales Scientifiques de l'École Normale Supérieure|year = 1909|volume = 26|pages=93–161|doi = 10.24033/asens.603|url=http://archive.numdam.org/article/ASENS_1909_3_26__93_0.pdf|doi-access = free}}</ref> | |||
== परिभाषा == | == परिभाषा == | ||
एक | एक स्यूडोग्रुप किसी दिए गए [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन समष्टि]] के विवृत समूह ''U'' पर परिभाषित होमोमोर्फिज्म (क्रमशः, [[डिफियोमोर्फिज्म]]) के एक समूह पर कई प्रतिबंध लगाता है या सामान्यतः एक निश्चित स्थलीय समष्टि (क्रमशः, [[अलग करने योग्य कई गुना]]) का होता है। चूँकि दो [[होमियोमोर्फिज्म]] , {{nowrap|''h'' : ''U'' → ''V''}} तथा {{nowrap|''g'' : ''V'' → ''W''}} U से W तक होमोमोर्फिज्म की रचना करते हैं,कोई पूछता है कि रचना और व्युत्क्रम के अनुसार छद्मसमूह बंद है।चूंकि, एक समूह के सिद्धांतों के विपरीत, स्यूडोग्रुप को परिभाषित करने वाले सिद्धांत विशुद्ध रूप से बीजगणितीय नहीं होते हैं; आगे की आवश्यकताएं होमोमोर्फिज्म को प्रतिबंधित करने और पैच करने की संभावना से संबंधित हैं (शेफ के वर्गों के लिए [[ग्लूइंग स्वयंसिद्ध]] के समान)। | ||
अधिक त्रुटिहीन रूप से, एक स्थलीय | अधिक त्रुटिहीन रूप से, एक स्थलीय समष्टि '{{mvar|''S''}} पर एक 'स्यूडोग्रुप' निम्नलिखित गुणों को संतुष्ट करने वाले '{{mvar|''S''}} के विवृत उपसमुच्चय के बीच होमोमोर्फिज्म का एक संग्रह है:<ref name="KN">{{cite book|last1=Kobayashi|first1= Shoshichi |last2= Nomizu|first2=Katsumi|title=डिफरेंशियल ज्योमेट्री की नींव, वॉल्यूम I|series= Wiley Classics Library|publisher=John Wiley & Sons Inc.|location= New York|year= 1963|pages=1–2|isbn= 0470496487}}</ref><ref name="Thurston">{{cite book|mr=1435975|last=Thurston|first= William P.|author-link=William Thurston|title=त्रि-आयामी ज्यामिति और टोपोलॉजी|editor=Silvio Levy|series= Princeton Mathematical Series|volume= 35|publisher= [[Princeton University Press]] |year=1997|isbn=0-691-08304-5|url=https://www.degruyter.com/document/doi/10.1515/9781400865321/html?lang=en}}</ref> | ||
# {{mvar|Γ}} ढकना {{mvar|''S''}} में तत्वों {{mvar|''g''}} के डोमेन। | # {{mvar|Γ}} ढकना {{mvar|''S''}} में तत्वों {{mvar|''g''}} के डोमेन। | ||
# इसके डोमेन में निहित किसी भी | # इसके डोमेन में निहित किसी भी विवृत समुच्चय में {{mvar|Γ}} एक तत्व {{mvar|''g''}} का प्रतिबंध भी में {{mvar|Γ}} में (प्रतिबंध) में है।। | ||
# {{mvar|Γ}} के दो तत्वों का संयोजन रचना {{mvar|''g''}} ○ {{mvar|''h''}},परिभाषित होने पर, {{mvar|Γ}} ("संरचना") में होता है। | # {{mvar|Γ}} के दो तत्वों का संयोजन रचना {{mvar|''g''}} ○ {{mvar|''h''}},परिभाषित होने पर, {{mvar|Γ}} ("संरचना") में होता है। | ||
# {{mvar|''g''}} के एक तत्व का व्युत्क्रम {{mvar|Γ}} में है। | # {{mvar|''g''}} के एक तत्व का व्युत्क्रम {{mvar|Γ}} में है। | ||
# {{mvar|Γ}} में | # {{mvar|Γ}} में ली बोलने की संपत्ति समष्टिय है, अर्थात यदि {{mvar|''g ''}}: {{mvar|''U''}} → {{mvar|''V''}} {{mvar|''S''}} तथा {{mvar|''U''}} के विवृत समुच्चय के बीच एक होमोमोर्फिज्म है जो विवृत समुच्चय {{mvar|''U''<sub>''i''</sub>}} द्वारा कवर किया गया है, जिसमें प्रत्येक {{mvar|''i''}} के लिए {{mvar|Γ}} में स्थित {{mvar|''U''<sub>''i''</sub>}} तक सीमित है, तो {{mvar|''g''}} भी {{mvar|Γ}} में निहित है ("समष्टिय")। | ||
परिणामस्वरूप {{mvar|''S''}} के किसी भी | परिणामस्वरूप {{mvar|''S''}} के किसी भी विवृत उपसमुच्चय की पहचान होमोमोर्फिज्म {{mvar|Γ}} में निहित है। | ||
इसी तरह, एक स्मूथ मैनिफोल्ड {{mvar|''X''}} पर एक छद्मसमूह संग्रह के रूप में परिभाषित किया गया है '{{mvar|Γ}} के | इसी तरह, एक स्मूथ मैनिफोल्ड {{mvar|''X''}} पर एक छद्मसमूह संग्रह के रूप में परिभाषित किया गया है '{{mvar|Γ}} के विवृत उपसमुच्चय के बीच भिन्नता का {{mvar|''X''}} अनुरूप गुणों को संतुष्ट करना (जहां हम होमोमोर्फिज्म को डिफियोमोर्फिज्म से बदल देते हैं)।<ref>{{cite book|first1=Lynn|last1=Loomis|author1-link=Lynn Loomis|first2=Shlomo|last2=Sternberg|author2-link=Shlomo Sternberg|title=उन्नत कैलकुलस|edition=Revised|year=2014|publisher=World Scientific|isbn=978-981-4583-93-0|mr=3222280|chapter=Differentiable manifolds|pages=364–372}}</ref> | ||
{{mvar|''X''}} में दो बिंदुओं को एक ही कक्षा में कहा जाता है यदि {{var|Γ}} का तत्व एक दूसरे को भेजता है। छद्मसमूह की कक्षाएँ स्पष्ट रूप से {{mvar|''X''}} का विभाजन बनाती हैं; एक छद्मसमूह को सकर्मक कहा जाता है यदि इसकी केवल एक कक्षा हो। | {{mvar|''X''}} में दो बिंदुओं को एक ही कक्षा में कहा जाता है यदि {{var|Γ}} का तत्व एक दूसरे को भेजता है। छद्मसमूह की कक्षाएँ स्पष्ट रूप से {{mvar|''X''}} का विभाजन बनाती हैं; एक छद्मसमूह को सकर्मक कहा जाता है यदि इसकी केवल एक कक्षा हो। | ||
== उदाहरण == | == उदाहरण == | ||
किसी दिए गए ज्यामितीय संरचना को संरक्षित करने वाले छद्मसमूह द्वारा उदाहरणों का एक व्यापक वर्ग दिया गया है। उदाहरण के लिए, यदि (''X'', ''g'') एक | किसी दिए गए ज्यामितीय संरचना को संरक्षित करने वाले छद्मसमूह द्वारा उदाहरणों का एक व्यापक वर्ग दिया गया है। उदाहरण के लिए, यदि (''X'', ''g'') एक रीमैनियन कई गुना है, तो इसके समष्टिय [[आइसोमेट्री]] का छद्मसमूह है; यदि (X, ω) एक सहानुभूतिपूर्ण मैनिफोल्ड है, तो किसी के पास समष्टिय [[सिम्प्लेक्टोमोर्फिज्म]] का छद्मसमूह है। इन स्यूडोग्रुपों को इन संरचनाओं की समष्टिय समरूपता के समुच्चय के रूप में माना जाना चाहिए। | ||
== समरूपता और ज्यामितीय संरचनाओं के | == समरूपता और ज्यामितीय संरचनाओं के स्यूडोग्रुप == | ||
अतिरिक्त संरचनाओं के साथ मैनिफोल्ड्स को प्रायः एक निश्चित | अतिरिक्त संरचनाओं के साथ मैनिफोल्ड्स को प्रायः एक निश्चित समष्टिय मॉडल के समरूपता के स्यूडोग्रुप का उपयोग करके परिभाषित किया जा सकता है। अधिक त्रुटिहीन रूप से, एक स्यूडोग्रुप {{mvar|Γ}} दिया गया , एक स्थलीय समष्टि {{mvar|''S''}} पर एक {{mvar|Γ}}-एटलस में {{mvar|''S''}} पर एक मानक एटलस होता है जैसे कि निर्देशांक के परिवर्तन (अर्थात संक्रमण मानचित्र) Γ से संबंधित हैंI Γ के समतुल्य वर्ग को Γ- भी कहा जाता हैI {{mvar|''S''}} पर संरचनाI | ||
विशेष रूप से,जब {{mvar|Γ}} R<sup>n</sup> के सभी | विशेष रूप से,जब {{mvar|Γ}} R<sup>n</sup> के सभी समष्टिय रूप से परिभाषित भिन्नताओं का स्यूडोग्रुप है, तो स्मूथ एटलस और एक स्मूथ संरचना की मानक धारणा को पुनः प्राप्त करता है। अधिक सामान्यतः, निम्नलिखित वस्तुओं को एक स्थलीय समष्टि {{mvar|''S''}} पर {{mvar|Γ}} संरचनाओं के रूप में परिभाषित किया जा सकता है: | ||
* विहित यूक्लिडियन मीट्रिक के साथ '''R'''<sup>''n''</sup> के आइसोमेट्री के {{mvar|Γ}} छद्मसमूह के लिए | * विहित यूक्लिडियन मीट्रिक के साथ '''R'''<sup>''n''</sup> के आइसोमेट्री के {{mvar|Γ}} छद्मसमूह के लिए फ्लैट कई गुना, रीमैनियन संरचनाएं; | ||
* सहानुभूतिपूर्ण संरचना, {{mvar|Γ}} के लिए कैनोनिकल सिम्प्लेक्टिक फॉर्म के साथ '''R'''<sup>''2n''</sup> के सिम्प्लेक्टोमोर्फिज्म के छद्मसमूह; | * सहानुभूतिपूर्ण संरचना, {{mvar|Γ}} के लिए कैनोनिकल सिम्प्लेक्टिक फॉर्म के साथ '''R'''<sup>''2n''</sup> के सिम्प्लेक्टोमोर्फिज्म के छद्मसमूह; | ||
* [[विश्लेषणात्मक कई गुना]], {{mvar|Γ}} '''R'''<sup>''n''</sup> के (वास्तविक-) लिए [[विश्लेषणात्मक कार्य|विश्लेषणात्मक भिन्नता]] के छद्मसमूह के लिए; | * [[विश्लेषणात्मक कई गुना]], {{mvar|Γ}} '''R'''<sup>''n''</sup> के (वास्तविक-) लिए [[विश्लेषणात्मक कार्य|विश्लेषणात्मक भिन्नता]] के छद्मसमूह के लिए; | ||
* एक | * एक सम्मिश्र चर के उलटे होलोमॉर्फिक फलन फलनों के {{mvar|Γ}} स्यूडोग्रुप के लिए रीमैन सतह। | ||
अधिक सामान्यतः पर, किसी भी पूर्णांक {{mvar|''G''}} संरचना और किसी भी ({{mvar|''G''}}, {{mvar|''X''}}) कई गुना उपयुक्त छद्मसमूह के लिए {{mvar|Γ}} संरचनाओं की विशेष स्थितियाँ हैं I | अधिक सामान्यतः पर, किसी भी पूर्णांक {{mvar|''G''}} संरचना और किसी भी ({{mvar|''G''}}, {{mvar|''X''}}) कई गुना उपयुक्त छद्मसमूह के लिए {{mvar|Γ}} संरचनाओं की विशेष स्थितियाँ हैं I | ||
== | == स्यूडोग्रुप और लाई सिद्धांत == | ||
n सामान्य, छद्मसमूह का अध्ययन अनंत-आयामी लाई समूहों के संभावित सिद्धांत के रूप में किया गया था। एक | n सामान्य, छद्मसमूह का अध्ययन अनंत-आयामी लाई समूहों के संभावित सिद्धांत के रूप में किया गया था। एक समष्टिय ली समूह की अवधारणा, अर्थात् यूक्लिडियन अंतरिक्ष {{mvar|''E''}} की उत्पत्ति के [[पड़ोस (गणित)|निकट]] में परिभाषित फलनों का एक स्यूडोग्रुप, वास्तव में लाइ समूह की मूल अवधारणा के निकट है, ऐसी स्थिति में जहां परिवर्तन सम्मिलित हैं, मापदंडों की एक सीमित संख्या पर निर्भर करते हैं। कई गुना के माध्यम से समकालीन परिभाषा की तुलना में। कार्टन की उपलब्धियों में सम्मिलित बिंदुओं को स्पष्ट करना था, जिसमें यह बिंदु भी सम्मिलित है कि एक समष्टिय लाई समूह हमेशा एक वैश्विक समूह को जन्म देता है, वर्तमान अर्थों में (ली के तीसरे प्रमेय के अनुरूप, एक समूह का निर्धारण करने वाले लाई बीजगणित पर)। औपचारिक समूह अभी तक ली समूहों के विनिर्देशन के लिए एक और दृष्टिकोण है। चूंकि, यह ज्ञात है कि समष्टिय [[टोपोलॉजिकल समूह|स्थलीय समूहों]] के पास वैश्विक समकक्ष नहीं हैं। | ||
अनंत-आयामी छद्मसमूह के उदाहरण प्रचुर मात्रा में हैं, जो {{mvar|''E''}} कोलाई के सभी भिन्नताओं के स्यूडोग्रुप से प्रारम्भ होते हैंI रुचि मुख्य रूप से डिफियोमोर्फिज्म के उप-छद्मसमूहों में है, और इसलिए उन वस्तुओं के साथ जिनके पास सदिश क्षेत्रों का | अनंत-आयामी छद्मसमूह के उदाहरण प्रचुर मात्रा में हैं, जो {{mvar|''E''}} कोलाई के सभी भिन्नताओं के स्यूडोग्रुप से प्रारम्भ होते हैंI रुचि मुख्य रूप से डिफियोमोर्फिज्म के उप-छद्मसमूहों में है, और इसलिए उन वस्तुओं के साथ जिनके पास सदिश क्षेत्रों का लीा बीजगणित अनुरूप है। [[कंप्यूटर बीजगणित]] की प्रगति को देखते हुए इन वस्तुओं का अध्ययन करने के लिए लाई और कार्टन द्वारा प्रस्तावित उपाय अधिक व्यावहारिक हो गए हैं। | ||
1950 के दशक में, कार्टन के सिद्धांत को [[शिंग-शेन चेर्न]] द्वारा सुधारा गया था, और छद्मसमूह के लिए एक सामान्य [[विरूपण सिद्धांत]] [[कुनिहिको कोडैरा]] और डी.सी. स्पेंसर द्वारा विकसित किया गया था।।<ref>{{Cite journal|last1=Guillemin|first1=Victor|last2=Sternberg|first2=Shlomo|date=1966|title=स्यूडोग्रुप संरचनाओं का विरूपण सिद्धांत|journal=[[Memoirs of the American Mathematical Society]]|issue=64|pages=0|doi=10.1090/memo/0064|issn=0065-9266|doi-access=free}}</ref> <ref>{{Cite journal|last=Kodaira|first=K.|date=1960|title=कुछ जटिल छद्म समूह संरचनाओं की विकृतियों पर|url=http://dx.doi.org/10.2307/1970083|journal=[[Annals of Mathematics]]|volume=71|issue=2|pages=224–302|doi=10.2307/1970083|jstor=1970083|issn=0003-486X}}</ref> 1960 के दशक में समरूप बीजगणित को सम्मलित मूल आंशिक अंतर समीकरण प्रश्नों पर लागू किया गया था, जिसमें अति-निर्धारण;चूंकि इससे पता चला कि सिद्धांत का बीजगणित संभावित रूप से बहुत भारी है। उसी दशक में अनंत-आयामी | 1950 के दशक में, कार्टन के सिद्धांत को [[शिंग-शेन चेर्न]] द्वारा सुधारा गया था, और छद्मसमूह के लिए एक सामान्य [[विरूपण सिद्धांत]] [[कुनिहिको कोडैरा]] और डी.सी. स्पेंसर द्वारा विकसित किया गया था।।<ref>{{Cite journal|last1=Guillemin|first1=Victor|last2=Sternberg|first2=Shlomo|date=1966|title=स्यूडोग्रुप संरचनाओं का विरूपण सिद्धांत|journal=[[Memoirs of the American Mathematical Society]]|issue=64|pages=0|doi=10.1090/memo/0064|issn=0065-9266|doi-access=free}}</ref> <ref>{{Cite journal|last=Kodaira|first=K.|date=1960|title=कुछ जटिल छद्म समूह संरचनाओं की विकृतियों पर|url=http://dx.doi.org/10.2307/1970083|journal=[[Annals of Mathematics]]|volume=71|issue=2|pages=224–302|doi=10.2307/1970083|jstor=1970083|issn=0003-486X}}</ref> 1960 के दशक में समरूप बीजगणित को सम्मलित मूल आंशिक अंतर समीकरण प्रश्नों पर लागू किया गया था, जिसमें अति-निर्धारण;चूंकि इससे पता चला कि सिद्धांत का बीजगणित संभावित रूप से बहुत भारी है। उसी दशक में अनंत-आयामी ली सिद्धांत के [[सैद्धांतिक भौतिकी]] के रुचि पहली बार [[वर्तमान बीजगणित]] के आकार में दिखाई दी। | ||
सरल रूप से, | सरल रूप से,स्यूडोग्रुप एक स्यूडोग्रुप होना चाहिए जो पीडीई की प्रणाली से उत्पन्न होता है। साहित्य में कई समान और असमान धारणाएँ हैंI सही इस बात पर निर्भर करता है कि किसके मन में कौन सा अनुप्रयोग है।चूंकि, इन सभी विभिन्न दृष्टिकोणों में {{mvar|Γ}} [[जेट बंडल]] सम्मिलित है ,जिन्हें एक लाइ ग्रुपॉइड कहा जाता है। विशेष रूप से, एक लाइ ली स्यूडोग्रुप को परिमित क्रम {{mvar|''k''}} कहा जाता है यदि इसे इसके {{mvar|''k''}}- [[जेट (गणित)|जेट]] समष्टि से पुनर्निर्मित किया जा सकता है।;<ref>{{Cite book|last1=Kumpera|first1=Antonio|url=http://dx.doi.org/10.1515/9781400881734|title=झूठ समीकरण, वॉल्यूम। मैं|last2=Spencer|first2=Donald Clayton|date=1973-01-01|publisher=Princeton University Press|doi=10.1515/9781400881734|isbn=978-1-4008-8173-4}}</ref><ref>{{Cite journal|last1=Singer|first1=I. M.|last2=Sternberg|first2=Shlomo|date=1965|title=झूठ और कार्टन भाग I के अनंत समूह, (सकर्मक समूह)|journal=[[Journal d'Analyse Mathématique]]|volume=15|issue=1|pages=1–114|doi=10.1007/bf02787690|doi-access=free|s2cid=123124081|issn=0021-7670}}</ref><ref>{{Cite book|last=Claude.|first=Albert|url=http://worldcat.org/oclc/715985799|title=सकर्मक झूठ छद्मसमूह|date=1984–1987|publisher=Hermann|oclc=715985799}}</ref><ref>{{Cite journal|last=Kuranishi|first=Masatake|date=1959|title=सतत अनंत छद्म समूहों के स्थानीय सिद्धांत पर I|journal=Nagoya Mathematical Journal|volume=15|pages=225–260|doi=10.1017/s0027763000006747|issn=0027-7630|doi-access=free}}</ref><ref>{{Cite journal|last1=Olver|first1=Peter J.|last2=Pohjanpelto|first2=Juha|date=2005|title=मौरर-कार्टन फॉर्म और लाई स्यूडो-ग्रुप्स की संरचना|url=http://dx.doi.org/10.1007/s00029-005-0008-7|journal=Selecta Mathematica|volume=11|issue=1|pages=99–126|doi=10.1007/s00029-005-0008-7|s2cid=14712181|issn=1022-1824}}</ref> | ||
== संदर्भ == | == संदर्भ == | ||
| Line 49: | Line 49: | ||
*{{cite journal | author=St. Golab | title=Über den Begriff der "Pseudogruppe von Transformationen" | journal=Mathematische Annalen | year=1939 | volume=116 | pages=768–780 | doi=10.1007/BF01597390| s2cid=124962440 }} | *{{cite journal | author=St. Golab | title=Über den Begriff der "Pseudogruppe von Transformationen" | journal=Mathematische Annalen | year=1939 | volume=116 | pages=768–780 | doi=10.1007/BF01597390| s2cid=124962440 }} | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
*{{springer|id=p/p075710|title=Pseudo-groups|author=Alekseevskii, D.V.}} | *{{springer|id=p/p075710|title=Pseudo-groups|author=Alekseevskii, D.V.}} | ||
Latest revision as of 12:30, 27 October 2023
गणित में, स्यूडोग्रुप समष्टि के विवृत समूहों के बीच भिन्नता का एक समूह है, जो समूह-समान और शीफ-समान गुणों को संतुष्ट करता है। यह समूह की अवधारणा का एक सामान्यीकरण है, जो अमूर्त के ज्यामितीय दृष्टिकोण से उत्पन्न हुआ है।[1]
सार बीजगणित (जैसे अर्धसमूह, उदाहरण के लिए) के अतिरिक्त अंतर समीकरणों की समरूपता की जांच करने के लिए। स्यूडोग्रुपका आधुनिक सिद्धांत 1900 की शुरुआत में एली कार्टन द्वारा विकसित किया गया था।[2][3]
परिभाषा
एक स्यूडोग्रुप किसी दिए गए यूक्लिडियन समष्टि के विवृत समूह U पर परिभाषित होमोमोर्फिज्म (क्रमशः, डिफियोमोर्फिज्म) के एक समूह पर कई प्रतिबंध लगाता है या सामान्यतः एक निश्चित स्थलीय समष्टि (क्रमशः, अलग करने योग्य कई गुना) का होता है। चूँकि दो होमियोमोर्फिज्म , h : U → V तथा g : V → W U से W तक होमोमोर्फिज्म की रचना करते हैं,कोई पूछता है कि रचना और व्युत्क्रम के अनुसार छद्मसमूह बंद है।चूंकि, एक समूह के सिद्धांतों के विपरीत, स्यूडोग्रुप को परिभाषित करने वाले सिद्धांत विशुद्ध रूप से बीजगणितीय नहीं होते हैं; आगे की आवश्यकताएं होमोमोर्फिज्म को प्रतिबंधित करने और पैच करने की संभावना से संबंधित हैं (शेफ के वर्गों के लिए ग्लूइंग स्वयंसिद्ध के समान)।
अधिक त्रुटिहीन रूप से, एक स्थलीय समष्टि 'S पर एक 'स्यूडोग्रुप' निम्नलिखित गुणों को संतुष्ट करने वाले 'S के विवृत उपसमुच्चय के बीच होमोमोर्फिज्म का एक संग्रह है:[4][5]
- Γ ढकना S में तत्वों g के डोमेन।
- इसके डोमेन में निहित किसी भी विवृत समुच्चय में Γ एक तत्व g का प्रतिबंध भी में Γ में (प्रतिबंध) में है।।
- Γ के दो तत्वों का संयोजन रचना g ○ h,परिभाषित होने पर, Γ ("संरचना") में होता है।
- g के एक तत्व का व्युत्क्रम Γ में है।
- Γ में ली बोलने की संपत्ति समष्टिय है, अर्थात यदि g : U → V S तथा U के विवृत समुच्चय के बीच एक होमोमोर्फिज्म है जो विवृत समुच्चय Ui द्वारा कवर किया गया है, जिसमें प्रत्येक i के लिए Γ में स्थित Ui तक सीमित है, तो g भी Γ में निहित है ("समष्टिय")।
परिणामस्वरूप S के किसी भी विवृत उपसमुच्चय की पहचान होमोमोर्फिज्म Γ में निहित है।
इसी तरह, एक स्मूथ मैनिफोल्ड X पर एक छद्मसमूह संग्रह के रूप में परिभाषित किया गया है 'Γ के विवृत उपसमुच्चय के बीच भिन्नता का X अनुरूप गुणों को संतुष्ट करना (जहां हम होमोमोर्फिज्म को डिफियोमोर्फिज्म से बदल देते हैं)।[6]
X में दो बिंदुओं को एक ही कक्षा में कहा जाता है यदि Γ का तत्व एक दूसरे को भेजता है। छद्मसमूह की कक्षाएँ स्पष्ट रूप से X का विभाजन बनाती हैं; एक छद्मसमूह को सकर्मक कहा जाता है यदि इसकी केवल एक कक्षा हो।
उदाहरण
किसी दिए गए ज्यामितीय संरचना को संरक्षित करने वाले छद्मसमूह द्वारा उदाहरणों का एक व्यापक वर्ग दिया गया है। उदाहरण के लिए, यदि (X, g) एक रीमैनियन कई गुना है, तो इसके समष्टिय आइसोमेट्री का छद्मसमूह है; यदि (X, ω) एक सहानुभूतिपूर्ण मैनिफोल्ड है, तो किसी के पास समष्टिय सिम्प्लेक्टोमोर्फिज्म का छद्मसमूह है। इन स्यूडोग्रुपों को इन संरचनाओं की समष्टिय समरूपता के समुच्चय के रूप में माना जाना चाहिए।
समरूपता और ज्यामितीय संरचनाओं के स्यूडोग्रुप
अतिरिक्त संरचनाओं के साथ मैनिफोल्ड्स को प्रायः एक निश्चित समष्टिय मॉडल के समरूपता के स्यूडोग्रुप का उपयोग करके परिभाषित किया जा सकता है। अधिक त्रुटिहीन रूप से, एक स्यूडोग्रुप Γ दिया गया , एक स्थलीय समष्टि S पर एक Γ-एटलस में S पर एक मानक एटलस होता है जैसे कि निर्देशांक के परिवर्तन (अर्थात संक्रमण मानचित्र) Γ से संबंधित हैंI Γ के समतुल्य वर्ग को Γ- भी कहा जाता हैI S पर संरचनाI
विशेष रूप से,जब Γ Rn के सभी समष्टिय रूप से परिभाषित भिन्नताओं का स्यूडोग्रुप है, तो स्मूथ एटलस और एक स्मूथ संरचना की मानक धारणा को पुनः प्राप्त करता है। अधिक सामान्यतः, निम्नलिखित वस्तुओं को एक स्थलीय समष्टि S पर Γ संरचनाओं के रूप में परिभाषित किया जा सकता है:
- विहित यूक्लिडियन मीट्रिक के साथ Rn के आइसोमेट्री के Γ छद्मसमूह के लिए फ्लैट कई गुना, रीमैनियन संरचनाएं;
- सहानुभूतिपूर्ण संरचना, Γ के लिए कैनोनिकल सिम्प्लेक्टिक फॉर्म के साथ R2n के सिम्प्लेक्टोमोर्फिज्म के छद्मसमूह;
- विश्लेषणात्मक कई गुना, Γ Rn के (वास्तविक-) लिए विश्लेषणात्मक भिन्नता के छद्मसमूह के लिए;
- एक सम्मिश्र चर के उलटे होलोमॉर्फिक फलन फलनों के Γ स्यूडोग्रुप के लिए रीमैन सतह।
अधिक सामान्यतः पर, किसी भी पूर्णांक G संरचना और किसी भी (G, X) कई गुना उपयुक्त छद्मसमूह के लिए Γ संरचनाओं की विशेष स्थितियाँ हैं I
स्यूडोग्रुप और लाई सिद्धांत
n सामान्य, छद्मसमूह का अध्ययन अनंत-आयामी लाई समूहों के संभावित सिद्धांत के रूप में किया गया था। एक समष्टिय ली समूह की अवधारणा, अर्थात् यूक्लिडियन अंतरिक्ष E की उत्पत्ति के निकट में परिभाषित फलनों का एक स्यूडोग्रुप, वास्तव में लाइ समूह की मूल अवधारणा के निकट है, ऐसी स्थिति में जहां परिवर्तन सम्मिलित हैं, मापदंडों की एक सीमित संख्या पर निर्भर करते हैं। कई गुना के माध्यम से समकालीन परिभाषा की तुलना में। कार्टन की उपलब्धियों में सम्मिलित बिंदुओं को स्पष्ट करना था, जिसमें यह बिंदु भी सम्मिलित है कि एक समष्टिय लाई समूह हमेशा एक वैश्विक समूह को जन्म देता है, वर्तमान अर्थों में (ली के तीसरे प्रमेय के अनुरूप, एक समूह का निर्धारण करने वाले लाई बीजगणित पर)। औपचारिक समूह अभी तक ली समूहों के विनिर्देशन के लिए एक और दृष्टिकोण है। चूंकि, यह ज्ञात है कि समष्टिय स्थलीय समूहों के पास वैश्विक समकक्ष नहीं हैं।
अनंत-आयामी छद्मसमूह के उदाहरण प्रचुर मात्रा में हैं, जो E कोलाई के सभी भिन्नताओं के स्यूडोग्रुप से प्रारम्भ होते हैंI रुचि मुख्य रूप से डिफियोमोर्फिज्म के उप-छद्मसमूहों में है, और इसलिए उन वस्तुओं के साथ जिनके पास सदिश क्षेत्रों का लीा बीजगणित अनुरूप है। कंप्यूटर बीजगणित की प्रगति को देखते हुए इन वस्तुओं का अध्ययन करने के लिए लाई और कार्टन द्वारा प्रस्तावित उपाय अधिक व्यावहारिक हो गए हैं।
1950 के दशक में, कार्टन के सिद्धांत को शिंग-शेन चेर्न द्वारा सुधारा गया था, और छद्मसमूह के लिए एक सामान्य विरूपण सिद्धांत कुनिहिको कोडैरा और डी.सी. स्पेंसर द्वारा विकसित किया गया था।।[7] [8] 1960 के दशक में समरूप बीजगणित को सम्मलित मूल आंशिक अंतर समीकरण प्रश्नों पर लागू किया गया था, जिसमें अति-निर्धारण;चूंकि इससे पता चला कि सिद्धांत का बीजगणित संभावित रूप से बहुत भारी है। उसी दशक में अनंत-आयामी ली सिद्धांत के सैद्धांतिक भौतिकी के रुचि पहली बार वर्तमान बीजगणित के आकार में दिखाई दी।
सरल रूप से,स्यूडोग्रुप एक स्यूडोग्रुप होना चाहिए जो पीडीई की प्रणाली से उत्पन्न होता है। साहित्य में कई समान और असमान धारणाएँ हैंI सही इस बात पर निर्भर करता है कि किसके मन में कौन सा अनुप्रयोग है।चूंकि, इन सभी विभिन्न दृष्टिकोणों में Γ जेट बंडल सम्मिलित है ,जिन्हें एक लाइ ग्रुपॉइड कहा जाता है। विशेष रूप से, एक लाइ ली स्यूडोग्रुप को परिमित क्रम k कहा जाता है यदि इसे इसके k- जेट समष्टि से पुनर्निर्मित किया जा सकता है।;[9][10][11][12][13]
संदर्भ
- ↑ Sophus, Lie (1888–1893). परिवर्तन समूहों का सिद्धांत. B.G. Teubner. OCLC 6056947.
- ↑ Cartan, Élie (1904). "परिवर्तनों के अनंत समूहों की संरचना पर" (PDF). Annales Scientifiques de l'École Normale Supérieure. 21: 153–206. doi:10.24033/asens.538.
- ↑ Cartan, Élie (1909). "निरंतर, अनंत, सरल परिवर्तनों के समूह" (PDF). Annales Scientifiques de l'École Normale Supérieure. 26: 93–161. doi:10.24033/asens.603.
- ↑ Kobayashi, Shoshichi; Nomizu, Katsumi (1963). डिफरेंशियल ज्योमेट्री की नींव, वॉल्यूम I. Wiley Classics Library. New York: John Wiley & Sons Inc. pp. 1–2. ISBN 0470496487.
- ↑ Thurston, William P. (1997). Silvio Levy (ed.). त्रि-आयामी ज्यामिति और टोपोलॉजी. Princeton Mathematical Series. Vol. 35. Princeton University Press. ISBN 0-691-08304-5. MR 1435975.
- ↑ Loomis, Lynn; Sternberg, Shlomo (2014). "Differentiable manifolds". उन्नत कैलकुलस (Revised ed.). World Scientific. pp. 364–372. ISBN 978-981-4583-93-0. MR 3222280.
- ↑ Guillemin, Victor; Sternberg, Shlomo (1966). "स्यूडोग्रुप संरचनाओं का विरूपण सिद्धांत". Memoirs of the American Mathematical Society (64): 0. doi:10.1090/memo/0064. ISSN 0065-9266.
- ↑ Kodaira, K. (1960). "कुछ जटिल छद्म समूह संरचनाओं की विकृतियों पर". Annals of Mathematics. 71 (2): 224–302. doi:10.2307/1970083. ISSN 0003-486X. JSTOR 1970083.
- ↑ Kumpera, Antonio; Spencer, Donald Clayton (1973-01-01). झूठ समीकरण, वॉल्यूम। मैं. Princeton University Press. doi:10.1515/9781400881734. ISBN 978-1-4008-8173-4.
- ↑ Singer, I. M.; Sternberg, Shlomo (1965). "झूठ और कार्टन भाग I के अनंत समूह, (सकर्मक समूह)". Journal d'Analyse Mathématique. 15 (1): 1–114. doi:10.1007/bf02787690. ISSN 0021-7670. S2CID 123124081.
- ↑ Claude., Albert (1984–1987). सकर्मक झूठ छद्मसमूह. Hermann. OCLC 715985799.
- ↑ Kuranishi, Masatake (1959). "सतत अनंत छद्म समूहों के स्थानीय सिद्धांत पर I". Nagoya Mathematical Journal. 15: 225–260. doi:10.1017/s0027763000006747. ISSN 0027-7630.
- ↑ Olver, Peter J.; Pohjanpelto, Juha (2005). "मौरर-कार्टन फॉर्म और लाई स्यूडो-ग्रुप्स की संरचना". Selecta Mathematica. 11 (1): 99–126. doi:10.1007/s00029-005-0008-7. ISSN 1022-1824. S2CID 14712181.
- St. Golab (1939). "Über den Begriff der "Pseudogruppe von Transformationen"". Mathematische Annalen. 116: 768–780. doi:10.1007/BF01597390. S2CID 124962440.
बाहरी संबंध
- Alekseevskii, D.V. (2001) [1994], "Pseudo-groups", Encyclopedia of Mathematics, EMS Press
