स्यूडोग्रुप

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

सार बीजगणित (जैसे अर्धसमूह, उदाहरण के लिए) के अतिरिक्त अंतर समीकरणों की समरूपता की जांच करने के लिए। छद्म समूहका आधुनिक सिद्धांत 1900 की शुरुआत में एली कार्टन द्वारा विकसित किया गया था।

परिभाषा
एक छद्म समूह किसी दिए गए यूक्लिडियन अंतरिक्ष के खुले समूह U पर परिभाषित होमोमोर्फिज्म (क्रमशः, डिफियोमोर्फिज्म) के एक समूह पर कई प्रतिबंध लगाता है या सामान्यतः एक निश्चित स्थलीय स्थान (क्रमशः, अलग करने योग्य कई गुना) का होता है। दो होमियोमोर्फिज्म, h : U → V तथा g : V → W U से W तक होमोमोर्फिज्म की रचना करते हैं,कोई पूछता है कि रचना और व्युत्क्रम के अनुसार छद्मसमूह बंद है।चूंकि, एक समूह के सिद्धांतों के विपरीत, छद्म समूह को परिभाषित करने वाले सिद्धांत विशुद्ध रूप से बीजगणितीय नहीं होते हैं; आगे की आवश्यकताएं होमोमोर्फिज्म को प्रतिबंधित करने और पैच करने की संभावना से संबंधित हैं (शेफ के वर्गों के लिए ग्लूइंग स्वयंसिद्ध के समान)।

अधिक त्रुटिहीन रूप से, एक स्थलीय स्थान '$S$ पर एक 'छद्म समूह' निम्नलिखित गुणों को संतुष्ट करने वाले '$S$ के खुले उपसमुच्चय के बीच होमोमोर्फिज्म का एक संग्रह है:
 * 1) तत्वों का डोमेन $g$ में $Γ$ ढकना $S$ ( ढकना )।
 * 2) एक तत्व का प्रतिबंध $g$ में $Γ$ इसके डोमेन में निहित किसी भी खुले समुच्चयमें भी है $Γ$ (प्रतिबंध)।
 * 3) रचना $g$ ○ $h$ के दो तत्वों का $Γ$, जब परिभाषित किया गया है, में है $Γ$ ( संयोजन )।
 * 4) के एक तत्व का व्युत्क्रम $g$ में है $Γ$ ( श्लोक में )।
 * 5) लेटने का गुण $Γ$ स्थानीय है, यानी अगर $g $: $U$ → $V$ के खुले सेटों के बीच एक होमोमोर्फिज्म है $S$ तथा $U$ खुले समुच्चय द्वारा कवर किया गया है $U_{i}$ साथ $g$ के लिए प्रतिबंधित $U_{i}$ में लेटा हुआ $Γ$ प्रत्येक के लिए $i$, फिर $g$ में भी है $Γ$ ( स्थानीय )।

परिणामस्वरूप $S$ के किसी भी खुले उपसमुच्चय की पहचान होमोमोर्फिज्म $Γ$ में निहित है।

इसी तरह, एक स्मूथ मैनिफोल्ड $X$ पर एक छद्मसमूह  संग्रह के रूप में परिभाषित किया गया है '$Γ$ के खुले उपसमुच्चय के बीच भिन्नता का $X$ अनुरूप गुणों को संतुष्ट करना (जहां हम होमोमोर्फिज्म को डिफियोमोर्फिज्म से बदल देते हैं)।

$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 के दशक में, कार्टन के सिद्धांत को शिंग-शेन चेर्न द्वारा सुधारा गया था, और छद्मसमूह के लिए एक सामान्य विरूपण सिद्धांत कुनिहिको कोडैरा और डी.सी. स्पेंसर द्वारा विकसित किया गया था।। 1960 के दशक में समरूप बीजगणित को सम्मलित मूल आंशिक अंतर समीकरण प्रश्नों पर लागू किया गया था, जिसमें अति-निर्धारण;चूंकि इससे पता चला कि सिद्धांत का बीजगणित संभावित रूप से बहुत भारी है। उसी दशक में अनंत-आयामी झूठ सिद्धांत के सैद्धांतिक भौतिकी के रुचि पहली बार  वर्तमान बीजगणित के आकार में दिखाई दी।

सरल रूप से,छद्म समूह एक छद्म समूह होना चाहिए जो पीडीई की प्रणाली से उत्पन्न होता है। साहित्य में कई समान और असमान धारणाएँ हैंI सही इस बात पर निर्भर करता है कि किसके मन में कौन सा अनुप्रयोग है।चूंकि, इन सभी विभिन्न दृष्टिकोणों में $Γ$ जेट बंडल सम्मिलित है ,जिन्हें एक लाइ ग्रुपॉइड कहा जाता है। विशेष रूप से, एक लाइ झूठ छद्म समूह को परिमित क्रम $k$ कहा जाता है यदि इसे इसके $k$- जेट स्थान से पुनर्निर्मित किया जा सकता है।;

संदर्भ