एक-पैरामीटर समूह: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Lie group homomorphism from the real numbers}} | {{Short description|Lie group homomorphism from the real numbers}} | ||
गणित में, पैरामीटर समूह या पैरामीटर उपसमूह का अर्थ सामान्यतः सतत | गणित में, पैरामीटर समूह या पैरामीटर उपसमूह का अर्थ सामान्यतः सतत [[समूह समरूपता]] होता है। | ||
:<math>\varphi : \mathbb{R} \rightarrow G</math> | :<math>\varphi : \mathbb{R} \rightarrow G</math> | ||
[[वास्तविक रेखा]] <math>\mathbb{R}</math> से ([[एबेलियन समूह|योगात्मक समूह]] के रूप में) | [[वास्तविक रेखा]] <math>\mathbb{R}</math> से ([[एबेलियन समूह|योगात्मक समूह]] के रूप में) कुछ अन्य सामयिक समूह <math>G</math> के लिए, यदि <math>\varphi</math> [[इंजेक्शन|अंतःक्षेपी]] है तो <math>\varphi(\mathbb{R})</math>, छवि, <math>G</math> का उपसमूह होगा जो योजक समूह के रूप में <math>\mathbb{R}</math> के लिए आइसोमॉर्फिक है। | ||
1893 में [[ सोफस झूठ |सोफस लाई]] द्वारा पैरामीटर समूहों को अत्यल्प परिवर्तनों को परिभाषित करने के लिए प्रस्तुत किया गया था। लाई के अनुसार, [[अतिसूक्ष्म परिवर्तन]] पैरामीटर समूह का असीम रूप से छोटा परिवर्तन है जो इसे उत्पन्न करता है।<ref>[[Sophus Lie]] (1893) [http://neo-classical-physics.info/uploads/3/0/6/5/3065888/lie-_infinite_continuous_groups_-_i.pdf Vorlesungen über Continuierliche Gruppen], English translation by D.H. Delphenich, §8, link from Neo-classical Physics</ref> यह इन असीम परिवर्तन हैं जो लाई बीजगणित उत्पन्न करते हैं जिसका उपयोग किसी भी आयाम के लाई समूह का वर्णन करने के लिए किया जाता है। | 1893 में [[ सोफस झूठ |सोफस लाई]] द्वारा पैरामीटर समूहों को अत्यल्प परिवर्तनों को परिभाषित करने के लिए प्रस्तुत किया गया था। लाई के अनुसार, [[अतिसूक्ष्म परिवर्तन]] पैरामीटर समूह का असीम रूप से छोटा परिवर्तन है जो इसे उत्पन्न करता है।<ref>[[Sophus Lie]] (1893) [http://neo-classical-physics.info/uploads/3/0/6/5/3065888/lie-_infinite_continuous_groups_-_i.pdf Vorlesungen über Continuierliche Gruppen], English translation by D.H. Delphenich, §8, link from Neo-classical Physics</ref> यह इन असीम परिवर्तन हैं जो लाई बीजगणित उत्पन्न करते हैं जिसका उपयोग किसी भी आयाम के लाई समूह का वर्णन करने के लिए किया जाता है। | ||
सेट पर | सेट पर पैरामीटर समूह की [[क्रिया (समूह सिद्धांत)|क्रिया]] को [[प्रवाह (गणित)]] के रूप में जाना जाता है। कई गुना पर चिकनी सदिश क्षेत्र, एक बिंदु पर, स्थानीय प्रवाह को प्रेरित करती है - स्थानीय भिन्नता का पैरामीटर समूह, सदिश क्षेत्र के अभिन्न वक्रों के साथ अंक भेज रहा है। सदिश क्षेत्र के स्थानीय प्रवाह का उपयोग सदिश क्षेत्र के साथ टेन्सर क्षेत्रों के [[झूठ व्युत्पन्न|लाई डेरिवेटिव]] को परिभाषित करने के लिए किया जाता है। | ||
== उदाहरण == | == उदाहरण == | ||
इस तरह के पैरामीटर समूह लाई समूहों के सिद्धांत में मूलभूत महत्व रखते हैं, जिसके लिए संबंधित लाई बीजगणित का प्रत्येक तत्व इस तरह के समरूपता, घातांक मानचित्र (लाई सिद्धांत) को परिभाषित करता है। आव्यूह समूहों की स्थितियों में यह [[ मैट्रिक्स घातीय |आव्यूह घातीय]] द्वारा दिया जाता है। | इस तरह के पैरामीटर समूह लाई समूहों के सिद्धांत में मूलभूत महत्व रखते हैं, जिसके लिए संबंधित लाई बीजगणित का प्रत्येक तत्व इस तरह के समरूपता, घातांक मानचित्र (लाई सिद्धांत) को परिभाषित करता है। आव्यूह समूहों की स्थितियों में यह [[ मैट्रिक्स घातीय |आव्यूह घातीय]] द्वारा दिया जाता है। | ||
अन्य महत्वपूर्ण स्थिति [[कार्यात्मक विश्लेषण]] में देखा जाता है, जिसमें <math>G</math> [[हिल्बर्ट अंतरिक्ष]] पर [[एकात्मक संचालक|एकात्मक संचालकों]] का समूह है। स्टोन के प्रमेय को पैरामीटर एकात्मक समूहों पर देखें। | |||
अपने 1957 के मोनोग्राफ लाई समूहों में, पी. एम. कोह्न पृष्ठ 58 पर निम्नलिखित प्रमेय देते हैं: | अपने 1957 के मोनोग्राफ लाई समूहों में, पी. एम. कोह्न पृष्ठ 58 पर निम्नलिखित प्रमेय देते हैं: | ||
: कोई भी जुड़ा हुआ 1-आयामी लाई समूह विश्लेषणात्मक रूप से वास्तविक संख्याओं के योगात्मक समूह <math>\mathfrak{R}</math> या <math>\mathfrak{T}</math> के लिए, वास्तविक संख्याओं का योजक समूह <math>\mod 1</math> विशेष रूप से, प्रत्येक 1-आयामी लाई समूह स्थानीय रूप से <math>\mathbb{R}</math> के लिए आइसोमॉर्फिक होता है आइसोमॉर्फिक है। | : कोई भी जुड़ा हुआ 1-आयामी लाई समूह विश्लेषणात्मक रूप से वास्तविक संख्याओं के योगात्मक समूह <math>\mathfrak{R}</math> या <math>\mathfrak{T}</math> के लिए, वास्तविक संख्याओं का योजक समूह <math>\mod 1</math> विशेष रूप से, प्रत्येक 1-आयामी लाई समूह स्थानीय रूप से <math>\mathbb{R}</math> के लिए आइसोमॉर्फिक होता है आइसोमॉर्फिक है। | ||
== भौतिकी == | == भौतिकी == | ||
भौतिकी में, पैरामीटर समूह गतिशील प्रणालियों का वर्णन करते हैं।<ref>Zeidler, E. (1995) ''Applied Functional Analysis: Main Principles and Their Applications'' Springer-Verlag</ref> इसके अतिरिक्त, जब भी भौतिक नियमो की प्रणाली भिन्न-भिन्न [[समरूपता समूह]] के एक-पैरामीटर समूह को स्वीकार करती है, तो | भौतिकी में, पैरामीटर समूह गतिशील प्रणालियों का वर्णन करते हैं।<ref>Zeidler, E. (1995) ''Applied Functional Analysis: Main Principles and Their Applications'' Springer-Verlag</ref> इसके अतिरिक्त, जब भी भौतिक नियमो की प्रणाली भिन्न-भिन्न [[समरूपता समूह]] के एक-पैरामीटर समूह को स्वीकार करती है, तो नोदर के प्रमेय द्वारा [[संरक्षण कानून (भौतिकी)|संरक्षित मात्रा]] होती है। | ||
अंतरिक्ष-समय के अध्ययन में अंतरिक्ष-लौकिक मापों को जांचने के लिए [[ इकाई अतिपरवलय |इकाई अतिपरवलय]] का उपयोग साधारण हो गया है क्योंकि [[हरमन मिन्कोव्स्की]] ने 1908 में इसकी चर्चा की थी। सापेक्षता के सिद्धांत को इच्छानुसार ढंग से कम कर दिया गया था, जिसमें विश्व-पंक्ति का निर्धारण करने के लिए इकाई अतिपरवलय के व्यास का उपयोग किया गया था। [[अतिशयोक्तिपूर्ण कोण]] के साथ अतिपरवलय के पैरामीट्रिजेशन का उपयोग करते हुए, [[विशेष सापेक्षता]] के सिद्धांत ने गति से अनुक्रमित एक-पैरामीटर समूह के साथ सापेक्ष गति की गणना प्रदान की थी। आपेक्षिकता सिद्धांत की गतिकी और गतिकी में गति वेग की स्थान लेती है। चूँकि [[ तेज़ी |रैपिडिटी]] असीमित है, जिस एक-पैरामीटर समूह पर यह खड़ा है वह गैर-सघन है। रैपिडिटी अवधारणा को ई.टी. द्वारा प्रस्तुत किया गया था। 1910 में व्हिटेकर, और अगले वर्ष [[अल्फ्रेड रॉब]] द्वारा नामित किया गया था। रैपिडिटी पैरामीटर | अंतरिक्ष-समय के अध्ययन में अंतरिक्ष-लौकिक मापों को जांचने के लिए [[ इकाई अतिपरवलय |इकाई अतिपरवलय]] का उपयोग साधारण हो गया है क्योंकि [[हरमन मिन्कोव्स्की]] ने 1908 में इसकी चर्चा की थी। सापेक्षता के सिद्धांत को इच्छानुसार ढंग से कम कर दिया गया था, जिसमें विश्व-पंक्ति का निर्धारण करने के लिए इकाई अतिपरवलय के व्यास का उपयोग किया गया था। [[अतिशयोक्तिपूर्ण कोण]] के साथ अतिपरवलय के पैरामीट्रिजेशन का उपयोग करते हुए, [[विशेष सापेक्षता]] के सिद्धांत ने गति से अनुक्रमित एक-पैरामीटर समूह के साथ सापेक्ष गति की गणना प्रदान की थी। आपेक्षिकता सिद्धांत की गतिकी और गतिकी में गति वेग की स्थान लेती है। चूँकि [[ तेज़ी |रैपिडिटी]] असीमित है, जिस एक-पैरामीटर समूह पर यह खड़ा है वह गैर-सघन है। रैपिडिटी अवधारणा को ई.टी. द्वारा प्रस्तुत किया गया था। 1910 में व्हिटेकर, और अगले वर्ष [[अल्फ्रेड रॉब]] द्वारा नामित किया गया था। रैपिडिटी पैरामीटर छंद अतिशयोक्तिपूर्ण छंद की लंबाई के बराबर है, जो उन्नीसवीं शताब्दी की अवधारणा है। गणितीय भौतिक विज्ञानी [[जेम्स कॉकल (वकील)]], [[विलियम किंग्डन क्लिफोर्ड]] और [[अलेक्जेंडर मैकफर्लेन]] ने अपने लेखन में ऑपरेटर <math>(\cosh{a} + r\sinh{a})</math>, जहाँ <math>a</math> अतिशयोक्तिपूर्ण कोण है और <math>r^2 = +1</math> द्वारा कार्टेशियन विमान के समकक्ष मानचित्रण को नियोजित किया था। | ||
== जीएल में (n, ℂ) == | == जीएल में (n, ℂ) == | ||
{{see also|एक-पैरामीटर एकात्मक समूहों पर स्टोन का प्रमेय}} | {{see also|एक-पैरामीटर एकात्मक समूहों पर स्टोन का प्रमेय}} | ||
लाई समूहों के सिद्धांत में महत्वपूर्ण उदाहरण तब उत्पन्न होता है जब <math>G</math> होने के लिए <math>\mathrm{GL}(n;\mathbb C)</math> लिया जाता है, | लाई समूहों के सिद्धांत में महत्वपूर्ण उदाहरण तब उत्पन्न होता है जब <math>G</math> होने के लिए <math>\mathrm{GL}(n;\mathbb C)</math> लिया जाता है, जटिल प्रविष्टियों के साथ व्युत्क्रमणीय <math>n\times n</math> आव्यूहों का समूह लिया जाता है। उस स्थिति में, मूल परिणाम निम्न है:<ref>{{harvnb|Hall|2015}} Theorem 2.14</ref> | ||
: प्रमेय: मान लीजिए <math>\varphi : \mathbb{R} \rightarrow\mathrm{GL}(n;\mathbb C)</math> एक-पैरामीटर समूह है। फिर वहाँ अद्वितीय <math>n\times n</math> आव्यूह <math>X</math> | : प्रमेय: मान लीजिए <math>\varphi : \mathbb{R} \rightarrow\mathrm{GL}(n;\mathbb C)</math> एक-पैरामीटर समूह है। फिर वहाँ अद्वितीय <math>n\times n</math> आव्यूह <math>X</math> उपस्थित है, जैसे कि | ||
::<math>\varphi(t)=e^{tX}</math> | ::<math>\varphi(t)=e^{tX}</math> | ||
:<math>t\in\mathbb R</math> सभी के लिए है। | :<math>t\in\mathbb R</math> सभी के लिए है। | ||
इस परिणाम से यह पता चलता है कि <math>\varphi</math> अवकलनीय है, तथापि यह प्रमेय की धारणा नहीं थी। आव्यूह <math>X</math> से <math>\varphi</math> पुनर्प्राप्त किया जा सकता है, जैसे | इस परिणाम से यह पता चलता है कि <math>\varphi</math> अवकलनीय है, तथापि यह प्रमेय की धारणा नहीं थी। आव्यूह <math>X</math> से <math>\varphi</math> पुनर्प्राप्त किया जा सकता है, जैसे | ||
:<math>\left.\frac{d\varphi(t)}{dt}\right|_{t=0} = \left.\frac{d}{dt}\right|_{t=0}e^{tX}=\left.(Xe^{tX})\right|_{t=0} = Xe^0=X</math> | :<math>\left.\frac{d\varphi(t)}{dt}\right|_{t=0} = \left.\frac{d}{dt}\right|_{t=0}e^{tX}=\left.(Xe^{tX})\right|_{t=0} = Xe^0=X</math> | ||
इस परिणाम का उपयोग किया जा सकता है, उदाहरण के लिए, यह दिखाने के लिए कि आव्यूह लाई समूहों के बीच कोई निरंतर समरूपता सहज है।<ref>{{harvnb|Hall|2015}} Corollary 3.50</ref> | इस परिणाम का उपयोग किया जा सकता है, उदाहरण के लिए, यह दिखाने के लिए कि आव्यूह लाई समूहों के बीच कोई निरंतर समरूपता सहज है।<ref>{{harvnb|Hall|2015}} Corollary 3.50</ref> | ||
Line 34: | Line 34: | ||
== टोपोलॉजी == | == टोपोलॉजी == | ||
तकनीकी जटिलता यह है कि <math>\varphi(\mathbb{R})</math>, <math>G</math> के उप-स्थान टोपोलॉजी के रूप में | तकनीकी जटिलता यह है कि <math>\varphi(\mathbb{R})</math>, <math>G</math> के उप-स्थान टोपोलॉजी के रूप में टोपोलॉजी ले सकता है जो <math>\mathbb{R}</math> की तुलना में उससे [[बेहतर टोपोलॉजी|उत्तम]] है; यह उन स्थितियों में हो सकता है जहां <math>\varphi</math> अंतःक्षेपी है। स्थितियों के उदाहरण के लिए उस स्थिति के बारे में सोचें जहां <math>G</math> [[ टोरस्र्स |टोरस]] <math>T</math> है, और <math>\varphi</math> का निर्माण अपरिमेय ढलान पर <math>T</math> के चारों ओर सीधी रेखा को घुमावदार करके किया गया है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[अभिन्न वक्र]] | * [[अभिन्न वक्र]] | ||
* [[एक-पैरामीटर सेमीग्रुप|पैरामीटर सेमीग्रुप]] | * [[एक-पैरामीटर सेमीग्रुप|पैरामीटर सेमीग्रुप]] | ||
* | * नोदर की प्रमेय | ||
==संदर्भ== | ==संदर्भ== |
Revision as of 00:34, 17 March 2023
गणित में, पैरामीटर समूह या पैरामीटर उपसमूह का अर्थ सामान्यतः सतत समूह समरूपता होता है।
वास्तविक रेखा से (योगात्मक समूह के रूप में) कुछ अन्य सामयिक समूह के लिए, यदि अंतःक्षेपी है तो , छवि, का उपसमूह होगा जो योजक समूह के रूप में के लिए आइसोमॉर्फिक है।
1893 में सोफस लाई द्वारा पैरामीटर समूहों को अत्यल्प परिवर्तनों को परिभाषित करने के लिए प्रस्तुत किया गया था। लाई के अनुसार, अतिसूक्ष्म परिवर्तन पैरामीटर समूह का असीम रूप से छोटा परिवर्तन है जो इसे उत्पन्न करता है।[1] यह इन असीम परिवर्तन हैं जो लाई बीजगणित उत्पन्न करते हैं जिसका उपयोग किसी भी आयाम के लाई समूह का वर्णन करने के लिए किया जाता है।
सेट पर पैरामीटर समूह की क्रिया को प्रवाह (गणित) के रूप में जाना जाता है। कई गुना पर चिकनी सदिश क्षेत्र, एक बिंदु पर, स्थानीय प्रवाह को प्रेरित करती है - स्थानीय भिन्नता का पैरामीटर समूह, सदिश क्षेत्र के अभिन्न वक्रों के साथ अंक भेज रहा है। सदिश क्षेत्र के स्थानीय प्रवाह का उपयोग सदिश क्षेत्र के साथ टेन्सर क्षेत्रों के लाई डेरिवेटिव को परिभाषित करने के लिए किया जाता है।
उदाहरण
इस तरह के पैरामीटर समूह लाई समूहों के सिद्धांत में मूलभूत महत्व रखते हैं, जिसके लिए संबंधित लाई बीजगणित का प्रत्येक तत्व इस तरह के समरूपता, घातांक मानचित्र (लाई सिद्धांत) को परिभाषित करता है। आव्यूह समूहों की स्थितियों में यह आव्यूह घातीय द्वारा दिया जाता है।
अन्य महत्वपूर्ण स्थिति कार्यात्मक विश्लेषण में देखा जाता है, जिसमें हिल्बर्ट अंतरिक्ष पर एकात्मक संचालकों का समूह है। स्टोन के प्रमेय को पैरामीटर एकात्मक समूहों पर देखें।
अपने 1957 के मोनोग्राफ लाई समूहों में, पी. एम. कोह्न पृष्ठ 58 पर निम्नलिखित प्रमेय देते हैं:
- कोई भी जुड़ा हुआ 1-आयामी लाई समूह विश्लेषणात्मक रूप से वास्तविक संख्याओं के योगात्मक समूह या के लिए, वास्तविक संख्याओं का योजक समूह विशेष रूप से, प्रत्येक 1-आयामी लाई समूह स्थानीय रूप से के लिए आइसोमॉर्फिक होता है आइसोमॉर्फिक है।
भौतिकी
भौतिकी में, पैरामीटर समूह गतिशील प्रणालियों का वर्णन करते हैं।[2] इसके अतिरिक्त, जब भी भौतिक नियमो की प्रणाली भिन्न-भिन्न समरूपता समूह के एक-पैरामीटर समूह को स्वीकार करती है, तो नोदर के प्रमेय द्वारा संरक्षित मात्रा होती है।
अंतरिक्ष-समय के अध्ययन में अंतरिक्ष-लौकिक मापों को जांचने के लिए इकाई अतिपरवलय का उपयोग साधारण हो गया है क्योंकि हरमन मिन्कोव्स्की ने 1908 में इसकी चर्चा की थी। सापेक्षता के सिद्धांत को इच्छानुसार ढंग से कम कर दिया गया था, जिसमें विश्व-पंक्ति का निर्धारण करने के लिए इकाई अतिपरवलय के व्यास का उपयोग किया गया था। अतिशयोक्तिपूर्ण कोण के साथ अतिपरवलय के पैरामीट्रिजेशन का उपयोग करते हुए, विशेष सापेक्षता के सिद्धांत ने गति से अनुक्रमित एक-पैरामीटर समूह के साथ सापेक्ष गति की गणना प्रदान की थी। आपेक्षिकता सिद्धांत की गतिकी और गतिकी में गति वेग की स्थान लेती है। चूँकि रैपिडिटी असीमित है, जिस एक-पैरामीटर समूह पर यह खड़ा है वह गैर-सघन है। रैपिडिटी अवधारणा को ई.टी. द्वारा प्रस्तुत किया गया था। 1910 में व्हिटेकर, और अगले वर्ष अल्फ्रेड रॉब द्वारा नामित किया गया था। रैपिडिटी पैरामीटर छंद अतिशयोक्तिपूर्ण छंद की लंबाई के बराबर है, जो उन्नीसवीं शताब्दी की अवधारणा है। गणितीय भौतिक विज्ञानी जेम्स कॉकल (वकील), विलियम किंग्डन क्लिफोर्ड और अलेक्जेंडर मैकफर्लेन ने अपने लेखन में ऑपरेटर , जहाँ अतिशयोक्तिपूर्ण कोण है और द्वारा कार्टेशियन विमान के समकक्ष मानचित्रण को नियोजित किया था।
जीएल में (n, ℂ)
लाई समूहों के सिद्धांत में महत्वपूर्ण उदाहरण तब उत्पन्न होता है जब होने के लिए लिया जाता है, जटिल प्रविष्टियों के साथ व्युत्क्रमणीय आव्यूहों का समूह लिया जाता है। उस स्थिति में, मूल परिणाम निम्न है:[3]
- प्रमेय: मान लीजिए एक-पैरामीटर समूह है। फिर वहाँ अद्वितीय आव्यूह उपस्थित है, जैसे कि
- सभी के लिए है।
इस परिणाम से यह पता चलता है कि अवकलनीय है, तथापि यह प्रमेय की धारणा नहीं थी। आव्यूह से पुनर्प्राप्त किया जा सकता है, जैसे
इस परिणाम का उपयोग किया जा सकता है, उदाहरण के लिए, यह दिखाने के लिए कि आव्यूह लाई समूहों के बीच कोई निरंतर समरूपता सहज है।[4]
टोपोलॉजी
तकनीकी जटिलता यह है कि , के उप-स्थान टोपोलॉजी के रूप में टोपोलॉजी ले सकता है जो की तुलना में उससे उत्तम है; यह उन स्थितियों में हो सकता है जहां अंतःक्षेपी है। स्थितियों के उदाहरण के लिए उस स्थिति के बारे में सोचें जहां टोरस है, और का निर्माण अपरिमेय ढलान पर के चारों ओर सीधी रेखा को घुमावदार करके किया गया है।
यह भी देखें
- अभिन्न वक्र
- पैरामीटर सेमीग्रुप
- नोदर की प्रमेय
संदर्भ
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666.
- ↑ Sophus Lie (1893) Vorlesungen über Continuierliche Gruppen, English translation by D.H. Delphenich, §8, link from Neo-classical Physics
- ↑ Zeidler, E. (1995) Applied Functional Analysis: Main Principles and Their Applications Springer-Verlag
- ↑ Hall 2015 Theorem 2.14
- ↑ Hall 2015 Corollary 3.50