सजातीय स्थान: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Topological space in group theory}} | {{Short description|Topological space in group theory}} | ||
[[File:Torus.png|thumb|[[ टोरस्र्स ]]। मानक टोरस अपने भिन्नता और [[होमियोमोर्फिज्म]] समूहों के अनुसार सजातीय है, और [[ सपाट टोरस |सपाट टोरस]] अपने भिन्नता, समरूपता और [[आइसोमेट्री समूह|आइसोमेट्री समू]]हों के अनुसार सजातीय है।]]गणित में, विशेष रूप से [[झूठ समूह| | [[File:Torus.png|thumb|[[ टोरस्र्स ]]। मानक टोरस अपने भिन्नता और [[होमियोमोर्फिज्म]] समूहों के अनुसार सजातीय है, और [[ सपाट टोरस |सपाट टोरस]] अपने भिन्नता, समरूपता और [[आइसोमेट्री समूह|आइसोमेट्री समू]]हों के अनुसार सजातीय है।]]गणित में, विशेष रूप से [[झूठ समूह|लाई समू]]हों, [[बीजगणितीय समूह|बीजगणितीय समू]]हों और [[टोपोलॉजिकल समूह|टोपोलॉजिकल समू]]हों के सिद्धांतों में, [[समूह (गणित)]] ''G'' के लिए सजातीय स्थान [[खाली सेट|खाली समुच्चय]] है। गैर-खाली कई गुना या सामयिक स्थान ''एक्स'' जिस पर ''G'' [[समूह क्रिया (गणित)]] समूह क्रिया (गणित) क्रियाओं के प्रकार।G के तत्वों को ''एक्स'' की सममिति किया जाता है। इसका विशेष मामला तब होता है जब विचाराधीन समूहG अंतरिक्ष ''एक्स'' का [[ऑटोमोर्फिज्म समूह]] होता है - यहां ऑटोमोर्फिज्म समूह का कारणआइसोमेट्री समूह, डिफियोमोर्फिज्म समूह, या समरूपता समूह हो सकता है। इस स्थितियों में, एक्स सजातीय है यदि सहज रूप से एक्स प्रत्येक बिंदु पर स्थानीय रूप से समान दिखता है, या तो आइसोमेट्री (कठोर ज्यामिति), डिफोमोर्फिज्म समूहडिफरेंशियल ज्योमेट्री), या समरूपता ( सांस्थिति ) के अर्थ में। कुछ लेखक जोर देकर कहते हैं कि G की कार्रवाई प्रभावी समूह कार्रवाई (गैर-पहचान तत्व गैर-तुच्छ रूप से कार्य करती है), चूंकि वर्तमान लेख ऐसा नहीं करता है। इस प्रकार एक्स पर G की समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|''जी''-ऑर्बिट. | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
| Line 78: | Line 78: | ||
जहाँ G , G का कोई अवयव है जिसके लिए go = o′ है। ध्यान दें कि आंतरिक ऑटोमोर्फिज्म (1) इस बात पर निर्भर नहीं करता है कि इस तरह केG का चयन किया गया है; यह केवलG मोडुलो एच पर निर्भर करता है<sub>''o''</sub>. | जहाँ G , G का कोई अवयव है जिसके लिए go = o′ है। ध्यान दें कि आंतरिक ऑटोमोर्फिज्म (1) इस बात पर निर्भर नहीं करता है कि इस तरह केG का चयन किया गया है; यह केवलG मोडुलो एच पर निर्भर करता है<sub>''o''</sub>. | ||
यदि एक्स पर G की क्रिया निरंतर है और एक्स हौसडॉर्फ है, तो H, G का [[बंद उपसमूह]] है। विशेष रूप से, यदि G | यदि एक्स पर G की क्रिया निरंतर है और एक्स हौसडॉर्फ है, तो H, G का [[बंद उपसमूह]] है। विशेष रूप से, यदि G लाईा समूह है, तो H बंद उपसमूह प्रमेय द्वारा लाईा उपसमूह है। कार्टन का प्रमेय। इसलिए G/H [[चिकना कई गुना]] है और इसलिए एक्स में ग्रुप एक्शन के साथ संगत अद्वितीय [[ चिकनी संरचना |समतल संरचना]] है। | ||
डबल को समुच्चय रिक्त स्थान के लिए आगे जा सकते हैं, विशेष रूप से क्लिफोर्ड-क्लेन फॉर्म Γ\ G/H, जहां Γ असतत उपसमूह (जी का) है जो ठीक से काम कर रहा है। | डबल को समुच्चय रिक्त स्थान के लिए आगे जा सकते हैं, विशेष रूप से क्लिफोर्ड-क्लेन फॉर्म Γ\ G/H, जहां Γ असतत उपसमूह (जी का) है जो ठीक से काम कर रहा है। | ||
| Line 111: | Line 111: | ||
* एर्लांगेन कार्यक्रम | * एर्लांगेन कार्यक्रम | ||
* [[क्लेन ज्यामिति]] | * [[क्लेन ज्यामिति]] | ||
* [[सजातीय किस्म]] | * [[सजातीय किस्म]] | ||
Revision as of 15:34, 3 April 2023
गणित में, विशेष रूप से लाई समूहों, बीजगणितीय समूहों और टोपोलॉजिकल समूहों के सिद्धांतों में, समूह (गणित) G के लिए सजातीय स्थान खाली समुच्चय है। गैर-खाली कई गुना या सामयिक स्थान एक्स जिस पर G समूह क्रिया (गणित) समूह क्रिया (गणित) क्रियाओं के प्रकार।G के तत्वों को एक्स की सममिति किया जाता है। इसका विशेष मामला तब होता है जब विचाराधीन समूहG अंतरिक्ष एक्स का ऑटोमोर्फिज्म समूह होता है - यहां ऑटोमोर्फिज्म समूह का कारणआइसोमेट्री समूह, डिफियोमोर्फिज्म समूह, या समरूपता समूह हो सकता है। इस स्थितियों में, एक्स सजातीय है यदि सहज रूप से एक्स प्रत्येक बिंदु पर स्थानीय रूप से समान दिखता है, या तो आइसोमेट्री (कठोर ज्यामिति), डिफोमोर्फिज्म समूहडिफरेंशियल ज्योमेट्री), या समरूपता ( सांस्थिति ) के अर्थ में। कुछ लेखक जोर देकर कहते हैं कि G की कार्रवाई प्रभावी समूह कार्रवाई (गैर-पहचान तत्व गैर-तुच्छ रूप से कार्य करती है), चूंकि वर्तमान लेख ऐसा नहीं करता है। इस प्रकार एक्स पर G की समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|जी-ऑर्बिट.
औपचारिक परिभाषा
मान लीजिए कि एक्स अरिक्त समुच्चय है और G समूह है। तब एक्स को G -स्पेस किया जाता है यदि यह एक्स पर G की क्रिया से सुसज्जित है।[1] ध्यान दें कि स्वचालित रूप से G समुच्चय पर औतोमोर्फिस्म (बीजेक्शन) द्वारा कार्य करता है। यदि एक्स अतिरिक्त रूप से किसी श्रेणी (गणित) से संबंधित है, तो G के तत्वों को उसी श्रेणी में ऑटोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। यही है,G के तत्वों से आने वाले एक्स पर मानचित्र श्रेणी से जुड़े ढांचे को संरक्षित करते हैं (उदाहरण के लिए, यदि एक्स डिफ में वस्तु है तो कार्रवाई को अलग-अलग होने की आवश्यकता होती है)। सजातीय स्थान जी-स्पेस है जिस परG सकर्मक रूप से कार्य करता है।
संक्षेप में, यदि एक्स श्रेणी 'सी' का वस्तु है, तो जी-स्पेस की संरचना समरूपता है:
श्रेणी 'सी' में ऑब्जेक्ट एक्स के ऑटोमोर्फिज्म के समूह में। जोड़ी (एक्स, ρ) सजातीय स्थान को परिभाषित करती है परंतु ρ(जी) एक्स के अंतर्निहित समुच्चय के समरूपता का संक्रामक समूह है।
उदाहरण
उदाहरण के लिए, यदि एक्स टोपोलॉजिकल स्पेस है, तो समूह के तत्वों को एक्स पर होमोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। G -स्पेस की संरचना समूह होमोमोर्फिज़्म ρ : G → होमियो(एक्स) एक्स के होमियोमॉर्फिज़्म समूह में है।
इसी तरह, यदि एक्स अलग-अलग कई गुना है, तो समूह तत्व अलग-अलग हैं। जी-स्पेस की संरचना समूह समरूपता ρ : G → डिफियो (एक्स) है जो एक्स के डिफियोमोर्फिज़्म समूह में है।
रिमेंनियन सममित स्थान सजातीय स्थानों का महत्वपूर्ण वर्ग है, और इसमें नीचे सूचीबद्ध कई उदाहरण सम्मिलित हैं।
ठोस उदाहरणों में सम्मिलित हैं:
| अंतरिक्ष 𝑋 | समूह 𝐺 | स्टेबलाइजर 𝐻 |
|---|---|---|
| गोलाकार स्थान | ||
| उन्मुखी | ||
| प्रक्षेपण स्थान | ||
| यूक्लिडियन अंतरिक्ष | ||
| उन्मुखी | ||
| अतिशयोक्तिपूर्ण स्थान | ||
| उन्मुखी | ||
| एंटी-डी सिटर स्पेस | ||
| ग्रासमानियन |