सजातीय स्थान: 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|एक [[ टोरस्र्स ]]। मानक टोरस अपने भिन्नता और [[होमियोमोर्फिज्म]] समूहों के तहत सजातीय है, और [[ सपाट टोरस ]] अपने भिन्नता, होमोमोर्फिज्म और [[आइसोमेट्री समूह|आइसोमेट्री समू]]हों के तहत सजातीय है।]]गणित में, विशेष रूप से [[झूठ समूह|झूठ समू]]हों, [[बीजगणितीय समूह|बीजगणितीय समू]]हों और [[टोपोलॉजिकल समूह|टोपोलॉजिकल समू]]हों के सिद्धांतों में, एक [[समूह (गणित)]] ''जी'' के लिए एक सजातीय स्थान एक [[खाली सेट]] है। गैर-खाली [[कई गुना]] या सामयिक स्थान ''एक्स'' जिस पर ''जी'' [[समूह क्रिया (गणित)]] समूह क्रिया (गणित) क्रियाओं के प्रकार। ''जी'' के तत्वों को ''एक्स'' की सममिति कहा जाता है। इसका एक विशेष मामला तब होता है जब विचाराधीन समूह ''जी'' अंतरिक्ष ''एक्स'' का [[ऑटोमोर्फिज्म समूह]] होता है - यहां ऑटोमोर्फिज्म समूह का मतलब आइसोमेट्री समूह, डिफियोमोर्फिज्म समूह, या [[होमोमोर्फिज्म समूह]] हो सकता है। इस मामले में, एक्स सजातीय है यदि सहज रूप से एक्स प्रत्येक बिंदु पर स्थानीय रूप से समान दिखता है, या तो आइसोमेट्री (कठोर ज्यामिति), [[डिफोमोर्फिज्म समूह]]डिफरेंशियल ज्योमेट्री), या होमोमोर्फिज्म (टोपोलॉजी) के अर्थ में। कुछ लेखक जोर देकर कहते हैं कि ''जी'' की कार्रवाई [[प्रभावी समूह कार्रवाई]] (गैर-पहचान तत्व गैर-तुच्छ रूप से कार्य करती है), हालांकि वर्तमान लेख ऐसा नहीं करता है। इस प्रकार एक्स पर ''जी'' की एक समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एक एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|''जी''-ऑर्बिट. | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
| Line 65: | Line 65: | ||
[[एर्लांगेन कार्यक्रम]] के दृष्टिकोण से, कोई यह समझ सकता है कि एक्स की ज्यामिति में सभी बिंदु समान हैं। यह अनिवार्य रूप से उन्नीसवीं शताब्दी के मध्य में रिमेंनियन ज्यामिति से पहले प्रस्तावित सभी ज्यामिति के लिए सही था। | [[एर्लांगेन कार्यक्रम]] के दृष्टिकोण से, कोई यह समझ सकता है कि एक्स की ज्यामिति में सभी बिंदु समान हैं। यह अनिवार्य रूप से उन्नीसवीं शताब्दी के मध्य में रिमेंनियन ज्यामिति से पहले प्रस्तावित सभी ज्यामिति के लिए सही था। | ||
इस प्रकार, उदाहरण के लिए, [[ यूक्लिडियन अंतरिक्ष ]], एफ़िन स्पेस और [[ प्रक्षेपण स्थान ]] सभी अपने संबंधित [[समरूपता समूह]] | इस प्रकार, उदाहरण के लिए, [[ यूक्लिडियन अंतरिक्ष ]], एफ़िन स्पेस और [[ प्रक्षेपण स्थान ]] सभी अपने संबंधित [[समरूपता समूह|समरूपता समू]]हों के लिए प्राकृतिक तरीके से सजातीय स्थान हैं। [[अतिशयोक्तिपूर्ण स्थान]] जैसे निरंतर [[वक्रता]] के [[गैर-यूक्लिडियन ज्यामिति]] के मॉडल के बारे में भी यही सच है। | ||
एक और शास्त्रीय उदाहरण तीन आयामों के प्रक्षेप्य स्थान में रेखाओं का स्थान है (समरूप रूप से, चार-आयामी वेक्टर अंतरिक्ष के द्वि-आयामी उप-स्थानों का स्थान)। यह दिखाने के लिए सरल रेखीय बीजगणित है कि GL<sub>4</sub> उन पर सकर्मक रूप से कार्य करता है। हम उन्हें रेखा निर्देशांक द्वारा पैरामीटर कर सकते हैं: ये 4×2 मैट्रिक्स के 2×2 लघु (रैखिक बीजगणित) हैं, जिसमें उप-स्थान के लिए कॉलम दो आधार वैक्टर हैं। परिणामी सजातीय स्थान की ज्यामिति जूलियस प्लकर की [[रेखा ज्यामिति]] है। | एक और शास्त्रीय उदाहरण तीन आयामों के प्रक्षेप्य स्थान में रेखाओं का स्थान है (समरूप रूप से, चार-आयामी वेक्टर अंतरिक्ष के द्वि-आयामी उप-स्थानों का स्थान)। यह दिखाने के लिए सरल रेखीय बीजगणित है कि GL<sub>4</sub> उन पर सकर्मक रूप से कार्य करता है। हम उन्हें रेखा निर्देशांक द्वारा पैरामीटर कर सकते हैं: ये 4×2 मैट्रिक्स के 2×2 लघु (रैखिक बीजगणित) हैं, जिसमें उप-स्थान के लिए कॉलम दो आधार वैक्टर हैं। परिणामी सजातीय स्थान की ज्यामिति जूलियस प्लकर की [[रेखा ज्यामिति]] है। | ||
Revision as of 16:51, 24 March 2023
गणित में, विशेष रूप से झूठ समूहों, बीजगणितीय समूहों और टोपोलॉजिकल समूहों के सिद्धांतों में, एक समूह (गणित) जी के लिए एक सजातीय स्थान एक खाली सेट है। गैर-खाली कई गुना या सामयिक स्थान एक्स जिस पर जी समूह क्रिया (गणित) समूह क्रिया (गणित) क्रियाओं के प्रकार। जी के तत्वों को एक्स की सममिति कहा जाता है। इसका एक विशेष मामला तब होता है जब विचाराधीन समूह जी अंतरिक्ष एक्स का ऑटोमोर्फिज्म समूह होता है - यहां ऑटोमोर्फिज्म समूह का मतलब आइसोमेट्री समूह, डिफियोमोर्फिज्म समूह, या होमोमोर्फिज्म समूह हो सकता है। इस मामले में, एक्स सजातीय है यदि सहज रूप से एक्स प्रत्येक बिंदु पर स्थानीय रूप से समान दिखता है, या तो आइसोमेट्री (कठोर ज्यामिति), डिफोमोर्फिज्म समूहडिफरेंशियल ज्योमेट्री), या होमोमोर्फिज्म (टोपोलॉजी) के अर्थ में। कुछ लेखक जोर देकर कहते हैं कि जी की कार्रवाई प्रभावी समूह कार्रवाई (गैर-पहचान तत्व गैर-तुच्छ रूप से कार्य करती है), हालांकि वर्तमान लेख ऐसा नहीं करता है। इस प्रकार एक्स पर जी की एक समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एक एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|जी-ऑर्बिट.
औपचारिक परिभाषा
मान लीजिए कि एक्स एक अरिक्त समुच्चय है और जी एक समूह है। तब एक्स को जी -स्पेस कहा जाता है यदि यह एक्स पर जी की क्रिया से सुसज्जित है।[1] ध्यान दें कि स्वचालित रूप से जी सेट पर औतोमोर्फिस्म (बीजेक्शन) द्वारा कार्य करता है। यदि एक्स अतिरिक्त रूप से किसी श्रेणी (गणित) से संबंधित है, तो जी के तत्वों को उसी श्रेणी में ऑटोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। यही है, जी के तत्वों से आने वाले एक्स पर मानचित्र श्रेणी से जुड़े ढांचे को संरक्षित करते हैं (उदाहरण के लिए, यदि एक्स डिफ में एक वस्तु है तो कार्रवाई को अलग-अलग होने की आवश्यकता होती है)। एक सजातीय स्थान एक जी-स्पेस है जिस पर जी सकर्मक रूप से कार्य करता है।
संक्षेप में, यदि एक्स श्रेणी 'सी' का एक वस्तु है, तो जी-स्पेस की संरचना एक समरूपता है:
श्रेणी 'सी' में ऑब्जेक्ट एक्स के ऑटोमोर्फिज्म के समूह में। जोड़ी (एक्स, ρ) एक सजातीय स्थान को परिभाषित करती है बशर्ते ρ(जी) एक्स के अंतर्निहित सेट के समरूपता का एक संक्रामक समूह है।
उदाहरण
उदाहरण के लिए, यदि एक्स एक टोपोलॉजिकल स्पेस है, तो समूह के तत्वों को एक्स पर होमोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। जी -स्पेस की संरचना एक समूह होमोमोर्फिज़्म ρ : G → होमियो(एक्स) एक्स के होमियोमॉर्फिज़्म समूह में है।
इसी तरह, यदि एक्स एक अलग-अलग कई गुना है, तो समूह तत्व अलग-अलग हैं। जी-स्पेस की संरचना एक समूह समरूपता ρ : G → डिफियो (एक्स) है जो एक्स के डिफियोमोर्फिज़्म समूह में है।
रिमेंनियन सममित स्थान सजातीय स्थानों का एक महत्वपूर्ण वर्ग है, और इसमें नीचे सूचीबद्ध कई उदाहरण शामिल हैं।
ठोस उदाहरणों में शामिल हैं:
| अंतरिक्ष 𝑋 | समूह 𝐺 | स्टेबलाइजर 𝐻 |
|---|---|---|
| गोलाकार स्थान | ||
| उन्मुखी | ||
| प्रक्षेपण स्थान | ||
| यूक्लिडियन अंतरिक्ष | ||
| उन्मुखी | ||
| अतिशयोक्तिपूर्ण स्थान | ||
| उन्मुखी | ||
| एंटी-डी सिटर स्पेस | ||
| ग्रासमानियन |