सजातीय स्थान: Difference between revisions

From Vigyanwiki
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|[[ टोरस्र्स ]]। मानक टोरस अपने भिन्नता और [[होमियोमोर्फिज्म]] समूहों के   अनुसार   सजातीय है, और [[ सपाट टोरस |सपाट टोरस]] अपने भिन्नता, होमोमोर्फिज्म और [[आइसोमेट्री समूह|आइसोमेट्री समू]]हों के   अनुसार   सजातीय है।]]गणित में, विशेष रूप से [[झूठ समूह|झूठ समू]]हों, [[बीजगणितीय समूह|बीजगणितीय समू]]हों और [[टोपोलॉजिकल समूह|टोपोलॉजिकल समू]]हों के सिद्धांतों में, [[समूह (गणित)]] ''G'' के लिए सजातीय स्थान [[खाली सेट|खाली समुच्चय]]   है। गैर-खाली [[कई गुना]] या सामयिक स्थान ''एक्स'' जिस पर ''G'' [[समूह क्रिया (गणित)]] समूह क्रिया (गणित) क्रियाओं के प्रकार।G के तत्वों को ''एक्स'' की सममिति कहा जाता है। इसका विशेष मामला तब होता है जब विचाराधीन समूहG अंतरिक्ष ''एक्स'' का [[ऑटोमोर्फिज्म समूह]] होता है - यहां ऑटोमोर्फिज्म समूह का   कारणआइसोमेट्री समूह, डिफियोमोर्फिज्म समूह, या [[होमोमोर्फिज्म समूह]] हो सकता है। इस   स्थितियों   में, एक्स सजातीय है यदि सहज रूप से एक्स प्रत्येक बिंदु पर स्थानीय रूप से समान दिखता है, या तो आइसोमेट्री (कठोर ज्यामिति), [[डिफोमोर्फिज्म समूह]]डिफरेंशियल ज्योमेट्री), या होमोमोर्फिज्म (टोपोलॉजी) के अर्थ में। कुछ लेखक जोर देकर कहते हैं कि G की कार्रवाई [[प्रभावी समूह कार्रवाई]] (गैर-पहचान तत्व गैर-तुच्छ रूप से कार्य करती है),   चूंकि   वर्तमान लेख ऐसा नहीं करता है। इस प्रकार एक्स पर G की समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|''जी''-ऑर्बिट.
[[File:Torus.png|thumb|[[ टोरस्र्स ]]। मानक टोरस अपने भिन्नता और [[होमियोमोर्फिज्म]] समूहों के अनुसार सजातीय है, और [[ सपाट टोरस |सपाट टोरस]] अपने भिन्नता, होमोमोर्फिज्म और [[आइसोमेट्री समूह|आइसोमेट्री समू]]हों के अनुसार सजातीय है।]]गणित में, विशेष रूप से [[झूठ समूह|झूठ समू]]हों, [[बीजगणितीय समूह|बीजगणितीय समू]]हों और [[टोपोलॉजिकल समूह|टोपोलॉजिकल समू]]हों के सिद्धांतों में, [[समूह (गणित)]] ''G'' के लिए सजातीय स्थान [[खाली सेट|खाली समुच्चय]] है। गैर-खाली [[कई गुना]] या सामयिक स्थान ''एक्स'' जिस पर ''G'' [[समूह क्रिया (गणित)]] समूह क्रिया (गणित) क्रियाओं के प्रकार।G के तत्वों को ''एक्स'' की सममिति कहा जाता है। इसका विशेष मामला तब होता है जब विचाराधीन समूहG अंतरिक्ष ''एक्स'' का [[ऑटोमोर्फिज्म समूह]] होता है - यहां ऑटोमोर्फिज्म समूह का कारणआइसोमेट्री समूह, डिफियोमोर्फिज्म समूह, या [[होमोमोर्फिज्म समूह]] हो सकता है। इस स्थितियों में, एक्स सजातीय है यदि सहज रूप से एक्स प्रत्येक बिंदु पर स्थानीय रूप से समान दिखता है, या तो आइसोमेट्री (कठोर ज्यामिति), [[डिफोमोर्फिज्म समूह]]डिफरेंशियल ज्योमेट्री), या होमोमोर्फिज्म (टोपोलॉजी) के अर्थ में। कुछ लेखक जोर देकर कहते हैं कि G की कार्रवाई [[प्रभावी समूह कार्रवाई]] (गैर-पहचान तत्व गैर-तुच्छ रूप से कार्य करती है), चूंकि वर्तमान लेख ऐसा नहीं करता है। इस प्रकार एक्स पर G की समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|''जी''-ऑर्बिट.


== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==
मान लीजिए कि एक्स अरिक्त समुच्चय है और G समूह है। तब एक्स को G -स्पेस कहा जाता है यदि यह एक्स पर G की क्रिया से सुसज्जित है।<ref>We assume that the action is on the ''left''. The distinction is only important in the description of ''X'' as a coset space.</ref> ध्यान दें कि स्वचालित रूप से G समुच्चय   पर [[automorphism|औतोमोर्फिस्म]] (बीजेक्शन) द्वारा कार्य करता है। यदि एक्स अतिरिक्त रूप से किसी [[श्रेणी (गणित)]] से संबंधित है, तो G के तत्वों को उसी श्रेणी में ऑटोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। यही है,G के तत्वों से आने वाले एक्स पर मानचित्र श्रेणी से जुड़े ढांचे को संरक्षित करते हैं (उदाहरण के लिए, यदि एक्स डिफ में वस्तु है तो कार्रवाई को अलग-अलग होने की आवश्यकता होती है)। सजातीय स्थान जी-स्पेस है जिस परG सकर्मक रूप से कार्य करता है।
मान लीजिए कि एक्स अरिक्त समुच्चय है और G समूह है। तब एक्स को G -स्पेस कहा जाता है यदि यह एक्स पर G की क्रिया से सुसज्जित है।<ref>We assume that the action is on the ''left''. The distinction is only important in the description of ''X'' as a coset space.</ref> ध्यान दें कि स्वचालित रूप से G समुच्चय पर [[automorphism|औतोमोर्फिस्म]] (बीजेक्शन) द्वारा कार्य करता है। यदि एक्स अतिरिक्त रूप से किसी [[श्रेणी (गणित)]] से संबंधित है, तो G के तत्वों को उसी श्रेणी में ऑटोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। यही है,G के तत्वों से आने वाले एक्स पर मानचित्र श्रेणी से जुड़े ढांचे को संरक्षित करते हैं (उदाहरण के लिए, यदि एक्स डिफ में वस्तु है तो कार्रवाई को अलग-अलग होने की आवश्यकता होती है)। सजातीय स्थान जी-स्पेस है जिस परG सकर्मक रूप से कार्य करता है।


संक्षेप में, यदि एक्स श्रेणी 'सी' का वस्तु है, तो जी-स्पेस की संरचना [[समरूपता]] है:
संक्षेप में, यदि एक्स श्रेणी 'सी' का वस्तु है, तो जी-स्पेस की संरचना [[समरूपता]] है:


:<math>\rho : G \to \mathrm{Aut}_{\mathbf{C}}(X)</math>
:<math>\rho : G \to \mathrm{Aut}_{\mathbf{C}}(X)</math>
श्रेणी 'सी' में ऑब्जेक्ट एक्स के ऑटोमोर्फिज्म के समूह में। जोड़ी (एक्स, ρ) सजातीय स्थान को परिभाषित करती है   परंतु ρ(जी) एक्स के अंतर्निहित समुच्चय   के समरूपता का संक्रामक समूह है।
श्रेणी 'सी' में ऑब्जेक्ट एक्स के ऑटोमोर्फिज्म के समूह में। जोड़ी (एक्स, ρ) सजातीय स्थान को परिभाषित करती है परंतु ρ(जी) एक्स के अंतर्निहित समुच्चय के समरूपता का संक्रामक समूह है।


=== उदाहरण ===
=== उदाहरण ===
Line 15: Line 15:
इसी तरह, यदि एक्स अलग-अलग कई गुना है, तो समूह तत्व अलग-अलग हैं। जी-स्पेस की संरचना समूह समरूपता ρ : G → डिफियो (एक्स) है जो एक्स के डिफियोमोर्फिज़्म समूह में है।
इसी तरह, यदि एक्स अलग-अलग कई गुना है, तो समूह तत्व अलग-अलग हैं। जी-स्पेस की संरचना समूह समरूपता ρ : G → डिफियो (एक्स) है जो एक्स के डिफियोमोर्फिज़्म समूह में है।


[[रिमेंनियन सममित स्थान]] सजातीय स्थानों का महत्वपूर्ण वर्ग है, और इसमें नीचे सूचीबद्ध कई उदाहरण   सम्मिलित   हैं।
[[रिमेंनियन सममित स्थान]] सजातीय स्थानों का महत्वपूर्ण वर्ग है, और इसमें नीचे सूचीबद्ध कई उदाहरण सम्मिलित हैं।


ठोस उदाहरणों में   सम्मिलित   हैं:
ठोस उदाहरणों में सम्मिलित हैं:
{| class="wikitable"
{| class="wikitable"
|+ होमोG एनियस स्पेस के उदाहरण
|+ होमोG एनियस स्पेस के उदाहरण
Line 47: Line 47:
आइसोमेट्री समूह
आइसोमेट्री समूह
* सकारात्मक वक्रता:
* सकारात्मक वक्रता:
# क्षेत्र ([[ऑर्थोगोनल समूह]]): <math>S^{n-1} \cong \mathrm{O}(n)/\mathrm{O}(n-1)</math>. यह निम्नलिखित प्रेक्षणों के कारण सत्य है: प्रथम, <math>S^{n-1}</math> में वैक्टर का समुच्चय   है <math>\mathbb{R}^n</math> आदर्श के साथ <math>1</math>. यदि हम इन सदिशों में से किसी सदिश को आधार सदिश मानते हैं, तो किसी अन्य सदिश का निर्माण ओर्थोगोनल परिवर्तन का उपयोग करके किया जा सकता है। यदि हम इस वेक्टर की अवधि को आयामी उप-समष्टि के रूप में मानते हैं <math>\mathbb{R}^n</math>, तो पूरक है <math>(n-1)</math>-डायमेंशनल वेक्टर स्पेस जो ऑर्थोगोनल ट्रांसफॉर्मेशन के   अनुसार   अपरिवर्तनीय है <math>\text{O}(n-1)</math>. यह हमें दिखाता है कि हम निर्माण क्यों कर सकते हैं <math>S^{n-1}</math> सजातीय स्थान के रूप में।
# क्षेत्र ([[ऑर्थोगोनल समूह]]): <math>S^{n-1} \cong \mathrm{O}(n)/\mathrm{O}(n-1)</math>. यह निम्नलिखित प्रेक्षणों के कारण सत्य है: प्रथम, <math>S^{n-1}</math> में वैक्टर का समुच्चय है <math>\mathbb{R}^n</math> आदर्श के साथ <math>1</math>. यदि हम इन सदिशों में से किसी सदिश को आधार सदिश मानते हैं, तो किसी अन्य सदिश का निर्माण ओर्थोगोनल परिवर्तन का उपयोग करके किया जा सकता है। यदि हम इस वेक्टर की अवधि को आयामी उप-समष्टि के रूप में मानते हैं <math>\mathbb{R}^n</math>, तो पूरक है <math>(n-1)</math>-डायमेंशनल वेक्टर स्पेस जो ऑर्थोगोनल ट्रांसफॉर्मेशन के अनुसार अपरिवर्तनीय है <math>\text{O}(n-1)</math>. यह हमें दिखाता है कि हम निर्माण क्यों कर सकते हैं <math>S^{n-1}</math> सजातीय स्थान के रूप में।
# उन्मुख क्षेत्र (विशेष ओर्थोगोनल समूह): <math>S^{n-1} \cong \mathrm{SO}(n)/\mathrm{SO}(n-1)</math>
# उन्मुख क्षेत्र (विशेष ओर्थोगोनल समूह): <math>S^{n-1} \cong \mathrm{SO}(n)/\mathrm{SO}(n-1)</math>
# प्रोजेक्टिव स्पेस ([[प्रक्षेपी ओर्थोगोनल समूह]]): <math>\mathrm{P}^{n-1} \cong \mathrm{PO}(n)/\mathrm{PO}(n-1)</math>
# प्रोजेक्टिव स्पेस ([[प्रक्षेपी ओर्थोगोनल समूह]]): <math>\mathrm{P}^{n-1} \cong \mathrm{PO}(n)/\mathrm{PO}(n-1)</math>
Line 67: Line 67:
इस प्रकार, उदाहरण के लिए, [[ यूक्लिडियन अंतरिक्ष |यूक्लिडियन अंतरिक्ष]] , एफ़िन स्पेस और [[ प्रक्षेपण स्थान |प्रक्षेपण स्थान]] सभी अपने संबंधित [[समरूपता समूह|समरूपता समू]]हों के लिए प्राकृतिक तरीके से सजातीय स्थान हैं। [[अतिशयोक्तिपूर्ण स्थान]] जैसे निरंतर [[वक्रता]] के [[गैर-यूक्लिडियन ज्यामिति]] के मॉडल के बारे में भी यही सच है।
इस प्रकार, उदाहरण के लिए, [[ यूक्लिडियन अंतरिक्ष |यूक्लिडियन अंतरिक्ष]] , एफ़िन स्पेस और [[ प्रक्षेपण स्थान |प्रक्षेपण स्थान]] सभी अपने संबंधित [[समरूपता समूह|समरूपता समू]]हों के लिए प्राकृतिक तरीके से सजातीय स्थान हैं। [[अतिशयोक्तिपूर्ण स्थान]] जैसे निरंतर [[वक्रता]] के [[गैर-यूक्लिडियन ज्यामिति]] के मॉडल के बारे में भी यही सच है।


और मौलिक उदाहरण तीन आयामों के प्रक्षेप्य स्थान में रेखाओं का स्थान है (समरूप रूप से, चार-आयामी वेक्टर अंतरिक्ष के द्वि-आयामी उप-स्थानों का स्थान)। यह दिखाने के लिए सरल रेखीय बीजगणित है कि GL<sub>4</sub> उन पर सकर्मक रूप से कार्य करता है। हम उन्हें रेखा निर्देशांक द्वारा पैरामीटर कर सकते हैं: ये 4×2 आव्युह के 2×2 लघु (रैखिक बीजगणित) हैं, जिसमें उप-स्थान के लिए कॉलम दो आधार वैक्टर हैं। परिणामी सजातीय स्थान की ज्यामिति जूलियस प्लकर की [[रेखा ज्यामिति]] है।
और मौलिक उदाहरण तीन आयामों के प्रक्षेप्य स्थान में रेखाओं का स्थान है (समरूप रूप से, चार-आयामी वेक्टर अंतरिक्ष के द्वि-आयामी उप-स्थानों का स्थान)। यह दिखाने के लिए सरल रेखीय बीजगणित है कि GL<sub>4</sub> उन पर सकर्मक रूप से कार्य करता है। हम उन्हें रेखा निर्देशांक द्वारा पैरामीटर कर सकते हैं: ये 4×2 आव्युह के 2×2 लघु (रैखिक बीजगणित) हैं, जिसमें उप-स्थान के लिए कॉलम दो आधार वैक्टर हैं। परिणामी सजातीय स्थान की ज्यामिति जूलियस प्लकर की [[रेखा ज्यामिति]] है।


== को समुच्चय   रिक्त स्थान के रूप में सजातीय स्थान ==
== को समुच्चय रिक्त स्थान के रूप में सजातीय स्थान ==
सामान्यतः , यदि X, G और H का सजातीय स्थान है<sub>''o''</sub> एक्स में कुछ चिह्नित बिंदु ओ का स्टेबलाइज़र (समूह सिद्धांत) है (मूल (गणित) का विकल्प), एक्स के अंक बाएं [[ सह समुच्चय |सह समुच्चय]] G / एच के अनुरूप हैं<sub>''o''</sub>, और चिह्नित बिंदु ओ पहचान के को समुच्चय   से मेल खाता है। इसके विपरीत, सहसमुच्चय स्थान G/H दिया गया है, यह विशिष्ट बिंदु के साथ G के लिए सजातीय स्थान है, अर्थात् पहचान का सहसमुच्चय। इस प्रकार सजातीय स्थान को उत्पत्ति के विकल्प के बिना सहसमुच्चय स्थान के रूप में माना जा सकता है।
सामान्यतः , यदि X, G और H का सजातीय स्थान है<sub>''o''</sub> एक्स में कुछ चिह्नित बिंदु ओ का स्टेबलाइज़र (समूह सिद्धांत) है (मूल (गणित) का विकल्प), एक्स के अंक बाएं [[ सह समुच्चय |सह समुच्चय]] G / एच के अनुरूप हैं<sub>''o''</sub>, और चिह्नित बिंदु ओ पहचान के को समुच्चय से मेल खाता है। इसके विपरीत, सहसमुच्चय स्थान G/H दिया गया है, यह विशिष्ट बिंदु के साथ G के लिए सजातीय स्थान है, अर्थात् पहचान का सहसमुच्चय। इस प्रकार सजातीय स्थान को उत्पत्ति के विकल्प के बिना सहसमुच्चय स्थान के रूप में माना जा सकता है।


उदाहरण के लिए, यदि एच पहचान उपसमूह {ई} है, तो एक्स [[प्रमुख सजातीय स्थान]] है।<math>G</math> भूली हुई पहचान के साथ।
उदाहरण के लिए, यदि एच पहचान उपसमूह {ई} है, तो एक्स [[प्रमुख सजातीय स्थान]] है।<math>G</math> भूली हुई पहचान के साथ।


सामान्यतः , उत्पत्ति ओ का अलग विकल्प अलग उपसमूह एच द्वाराG के भागफल की ओर ले जाएगा<sub>o′</sub>जो एच से संबंधित है<sub>o</sub>जी के [[आंतरिक ऑटोमोर्फिज्म]] द्वारा। विशेष रूप से,
सामान्यतः , उत्पत्ति ओ का अलग विकल्प अलग उपसमूह एच द्वाराG के भागफल की ओर ले जाएगा<sub>o′</sub>जो एच से संबंधित है<sub>o</sub>जी के [[आंतरिक ऑटोमोर्फिज्म]] द्वारा। विशेष रूप से,
{{NumBlk||<math display="block">H_{o'} = gH_og^{-1}</math>|{{EquationRef|1}}}}
{{NumBlk||<math display="block">H_{o'} = gH_og^{-1}</math>|{{EquationRef|1}}}}
जहाँ G , G का कोई अवयव है जिसके लिए go = o′ है। ध्यान दें कि आंतरिक ऑटोमोर्फिज्म (1) इस बात पर निर्भर नहीं करता है कि इस तरह केG का चयन किया गया है; यह केवलG मोडुलो एच पर निर्भर करता है<sub>''o''</sub>.
जहाँ G , G का कोई अवयव है जिसके लिए go = o′ है। ध्यान दें कि आंतरिक ऑटोमोर्फिज्म (1) इस बात पर निर्भर नहीं करता है कि इस तरह केG का चयन किया गया है; यह केवलG मोडुलो एच पर निर्भर करता है<sub>''o''</sub>.
Line 80: Line 80:
यदि एक्स पर G की क्रिया निरंतर है और एक्स हौसडॉर्फ है, तो H, G का [[बंद उपसमूह]] है। विशेष रूप से, यदि G झूठा समूह है, तो H बंद उपसमूह प्रमेय द्वारा झूठा उपसमूह है। कार्टन का प्रमेय। इसलिए G/H [[चिकना कई गुना]] है और इसलिए एक्स में ग्रुप एक्शन के साथ संगत अद्वितीय [[ चिकनी संरचना |चिकनी संरचना]] है।
यदि एक्स पर G की क्रिया निरंतर है और एक्स हौसडॉर्फ है, तो H, G का [[बंद उपसमूह]] है। विशेष रूप से, यदि G झूठा समूह है, तो H बंद उपसमूह प्रमेय द्वारा झूठा उपसमूह है। कार्टन का प्रमेय। इसलिए G/H [[चिकना कई गुना]] है और इसलिए एक्स में ग्रुप एक्शन के साथ संगत अद्वितीय [[ चिकनी संरचना |चिकनी संरचना]] है।


डबल को समुच्चय   रिक्त स्थान के लिए आगे जा सकते हैं, विशेष रूप से क्लिफोर्ड-क्लेन फॉर्म Γ\ G/H, जहां Γ असतत उपसमूह (जी का) है जो ठीक से काम कर रहा है।
डबल को समुच्चय रिक्त स्थान के लिए आगे जा सकते हैं, विशेष रूप से क्लिफोर्ड-क्लेन फॉर्म Γ\ G/H, जहां Γ असतत उपसमूह (जी का) है जो ठीक से काम कर रहा है।


== उदाहरण ==
== उदाहरण ==
उदाहरण के लिए, रेखा ज्यामिति   स्थितियों   में, हम एच को 16-आयामी सामान्य रैखिक समूह, जीएल (4) के 12-आयामी उपसमूह के रूप में पहचान सकते हैं, जिसे आव्युह प्रविष्टियों पर शर्तों द्वारा परिभाषित किया गया है।
उदाहरण के लिए, रेखा ज्यामिति स्थितियों में, हम एच को 16-आयामी सामान्य रैखिक समूह, जीएल (4) के 12-आयामी उपसमूह के रूप में पहचान सकते हैं, जिसे आव्युह प्रविष्टियों पर शर्तों द्वारा परिभाषित किया गया है।


:एच<sub>13</sub> = एच<sub>14</sub> = एच<sub>23</sub> = एच<sub>24</sub> = 0,
:एच<sub>13</sub> = एच<sub>14</sub> = एच<sub>23</sub> = एच<sub>24</sub> = 0,
Line 89: Line 89:
पहले दो मानक आधार वैक्टर द्वारा फैलाए गए उप-स्थान के स्टेबलाइज़र की तलाश करके। इससे पता चलता है कि एक्स का आयाम 4 है।
पहले दो मानक आधार वैक्टर द्वारा फैलाए गए उप-स्थान के स्टेबलाइज़र की तलाश करके। इससे पता चलता है कि एक्स का आयाम 4 है।


चूंकि नाबालिगों द्वारा दिए गए समरूप निर्देशांक 6 संख्या में हैं, इसका   कारणयह है कि बाद वाले दूसरे से स्वतंत्र नहीं हैं। वास्तव में, एकल द्विघात संबंध छह अवयस्कों के बीच होता है, जैसा कि उन्नीसवीं शताब्दी के ज्यामिति के लिए जाना जाता था।
चूंकि नाबालिगों द्वारा दिए गए समरूप निर्देशांक 6 संख्या में हैं, इसका कारणयह है कि बाद वाले दूसरे से स्वतंत्र नहीं हैं। वास्तव में, एकल द्विघात संबंध छह अवयस्कों के बीच होता है, जैसा कि उन्नीसवीं शताब्दी के ज्यामिति के लिए जाना जाता था।


यह उदाहरण प्रक्षेपी स्थान के   अतिरिक्त   , ग्रासमैनियन का पहला ज्ञात उदाहरण था। गणित में सामान्य उपयोग में मौलिक रैखिक समूहों के कई और सजातीय स्थान हैं।
यह उदाहरण प्रक्षेपी स्थान के अतिरिक्त , ग्रासमैनियन का पहला ज्ञात उदाहरण था। गणित में सामान्य उपयोग में मौलिक रैखिक समूहों के कई और सजातीय स्थान हैं।


== [[प्रीहोमोजेनस वेक्टर स्पेस]] ==
== [[प्रीहोमोजेनस वेक्टर स्पेस]] ==
[[मिकियो सातो]] द्वारा सजातीय वेक्टर अंतरिक्ष का विचार   प्रस्तुत   किया गया था।
[[मिकियो सातो]] द्वारा सजातीय वेक्टर अंतरिक्ष का विचार प्रस्तुत किया गया था।


यह बीजगणितीय समूह G की समूह क्रिया (गणित) के साथ परिमित-आयामी सदिश स्थान V है, जैसे कि G की कक्षा है जो [[जरिस्की टोपोलॉजी]] (और इसलिए, सघन) के लिए खुली है। उदाहरण जीएल (1) आयामी स्थान पर अभिनय कर रहा है।
यह बीजगणितीय समूह G की समूह क्रिया (गणित) के साथ परिमित-आयामी सदिश स्थान V है, जैसे कि G की कक्षा है जो [[जरिस्की टोपोलॉजी]] (और इसलिए, सघन) के लिए खुली है। उदाहरण जीएल (1) आयामी स्थान पर अभिनय कर रहा है।
Line 101: Line 101:


== भौतिकी में सजातीय स्थान ==
== भौतिकी में सजातीय स्थान ==
सापेक्षता के सामान्य सिद्धांत का उपयोग करते हुए भौतिक ब्रह्माण्ड विज्ञान [[बियांची वर्गीकरण]] प्रणाली का उपयोग करता है। सापेक्षता में सजातीय स्थान कुछ भौतिक ब्रह्माण्ड विज्ञान के लिए पृष्ठभूमि [[मीट्रिक (गणित)]] के स्थान (भौतिकी) का प्रतिनिधित्व करते हैं; उदाहरण के लिए, फ्रीडमैन-लेमैट्रे-रॉबर्टसन-वॉकर मीट्रिक के तीन   स्थितियों   को बियांची I (फ्लैट), वी (खुला), VII (फ्लैट या खुला) और I एक्स (बंद) प्रकारों के सब समुच्चय   द्वारा दर्शाया जा सकता है, जबकि मिक्समास्टर ब्रम्हांड बियांची I एक्स ब्रह्माण्ड विज्ञान के [[आइसोट्रॉपी]] उदाहरण का प्रतिनिधित्व करता है।<ref>{{citation |title=Course of Theoretical Physics vol. 2: The Classical Theory of Fields |author=[[Lev Landau]] and [[Evgeny Lifshitz]] |isbn=978-0-7506-2768-9 |year=1980 |publisher=Butterworth-Heinemann}}</ref>
सापेक्षता के सामान्य सिद्धांत का उपयोग करते हुए भौतिक ब्रह्माण्ड विज्ञान [[बियांची वर्गीकरण]] प्रणाली का उपयोग करता है। सापेक्षता में सजातीय स्थान कुछ भौतिक ब्रह्माण्ड विज्ञान के लिए पृष्ठभूमि [[मीट्रिक (गणित)]] के स्थान (भौतिकी) का प्रतिनिधित्व करते हैं; उदाहरण के लिए, फ्रीडमैन-लेमैट्रे-रॉबर्टसन-वॉकर मीट्रिक के तीन स्थितियों को बियांची I (फ्लैट), वी (खुला), VII (फ्लैट या खुला) और I एक्स (बंद) प्रकारों के सब समुच्चय द्वारा दर्शाया जा सकता है, जबकि मिक्समास्टर ब्रम्हांड बियांची I एक्स ब्रह्माण्ड विज्ञान के [[आइसोट्रॉपी]] उदाहरण का प्रतिनिधित्व करता है।<ref>{{citation |title=Course of Theoretical Physics vol. 2: The Classical Theory of Fields |author=[[Lev Landau]] and [[Evgeny Lifshitz]] |isbn=978-0-7506-2768-9 |year=1980 |publisher=Butterworth-Heinemann}}</ref>


एन आयामों का सजातीय स्थान समुच्चय   को स्वीकार करता है <math>\tfrac{1}{2}N(N+1)</math> [[हत्या करने वाले वैक्टर]]।<ref>{{citation |title=Gravitation and Cosmology |author=[[Steven Weinberg]] |publisher=John Wiley and Sons |year=1972}}</ref> तीन आयामों के लिए, यह कुल छह रैखिक रूप से स्वतंत्र किलिंग वेक्टर फ़ील्ड देता है; सजातीय 3-रिक्त स्थान में वह संपत्ति होती है, जिसमें कोई भी इन तीनों के रैखिक संयोजनों का उपयोग करके तीन हर स्थान   गैर-लुप्त होने वाले किलिंग वेक्टर क्षेत्रों को खोज सकता है। <math>\xi^{(a)}_{i}</math>,
एन आयामों का सजातीय स्थान समुच्चय को स्वीकार करता है <math>\tfrac{1}{2}N(N+1)</math> [[हत्या करने वाले वैक्टर]]।<ref>{{citation |title=Gravitation and Cosmology |author=[[Steven Weinberg]] |publisher=John Wiley and Sons |year=1972}}</ref> तीन आयामों के लिए, यह कुल छह रैखिक रूप से स्वतंत्र किलिंग वेक्टर फ़ील्ड देता है; सजातीय 3-रिक्त स्थान में वह संपत्ति होती है, जिसमें कोई भी इन तीनों के रैखिक संयोजनों का उपयोग करके तीन हर स्थान गैर-लुप्त होने वाले किलिंग वेक्टर क्षेत्रों को खोज सकता है। <math>\xi^{(a)}_{i}</math>,


:<math>\xi^{(a)}_{[i;k]}=C^a_{\ bc}\xi^{(b)}_i \xi^{(c)}_k</math>
:<math>\xi^{(a)}_{[i;k]}=C^a_{\ bc}\xi^{(b)}_i \xi^{(c)}_k</math>
जहां वस्तु <math>C^{a}_{\ bc}</math>, संरचना स्थिरांक, [[स्थिर (गणित)]] [[ टेन्सर |टेन्सर]] बनाते हैं। इसके निचले दो सूचकांकों में ऑर्डर-थ्री टेंसर [[एंटीसिमेट्रिक टेंसर]] (बाएं हाथ की ओर, कोष्ठक एंटीसिमेट्रिसेशन को दर्शाता है और ; सहसंयोजक व्युत्पन्न का प्रतिनिधित्व करता है)। [[लैम्डा-सीडीएम]] के   स्थितियों   में, संभावना है <math>C^a_{\ bc}=0</math> (प्रकार I),   किन्तु बंद FLRW ब्रह्मांड के   स्थितियों   में, <math>C^a_{\ bc}=\varepsilon^a_{\ bc}</math> कहाँ <math>\varepsilon^a_{\ bc}</math> [[लेवी-Civita प्रतीक|लेवी-सिविटा प्रतीक]] है।
जहां वस्तु <math>C^{a}_{\ bc}</math>, संरचना स्थिरांक, [[स्थिर (गणित)]] [[ टेन्सर |टेन्सर]] बनाते हैं। इसके निचले दो सूचकांकों में ऑर्डर-थ्री टेंसर [[एंटीसिमेट्रिक टेंसर]] (बाएं हाथ की ओर, कोष्ठक एंटीसिमेट्रिसेशन को दर्शाता है और ; सहसंयोजक व्युत्पन्न का प्रतिनिधित्व करता है)। [[लैम्डा-सीडीएम]] के स्थितियों में, संभावना है <math>C^a_{\ bc}=0</math> (प्रकार I), किन्तु बंद FLRW ब्रह्मांड के स्थितियों में, <math>C^a_{\ bc}=\varepsilon^a_{\ bc}</math> कहाँ <math>\varepsilon^a_{\ bc}</math> [[लेवी-Civita प्रतीक|लेवी-सिविटा प्रतीक]] है।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 17:24, 24 March 2023

टोरस्र्स । मानक टोरस अपने भिन्नता और होमियोमोर्फिज्म समूहों के अनुसार सजातीय है, और सपाट टोरस अपने भिन्नता, होमोमोर्फिज्म और आइसोमेट्री समूहों के अनुसार सजातीय है।

गणित में, विशेष रूप से झूठ समूहों, बीजगणितीय समूहों और टोपोलॉजिकल समूहों के सिद्धांतों में, समूह (गणित) G के लिए सजातीय स्थान खाली समुच्चय है। गैर-खाली कई गुना या सामयिक स्थान एक्स जिस पर G समूह क्रिया (गणित) समूह क्रिया (गणित) क्रियाओं के प्रकार।G के तत्वों को एक्स की सममिति कहा जाता है। इसका विशेष मामला तब होता है जब विचाराधीन समूहG अंतरिक्ष एक्स का ऑटोमोर्फिज्म समूह होता है - यहां ऑटोमोर्फिज्म समूह का कारणआइसोमेट्री समूह, डिफियोमोर्फिज्म समूह, या होमोमोर्फिज्म समूह हो सकता है। इस स्थितियों में, एक्स सजातीय है यदि सहज रूप से एक्स प्रत्येक बिंदु पर स्थानीय रूप से समान दिखता है, या तो आइसोमेट्री (कठोर ज्यामिति), डिफोमोर्फिज्म समूहडिफरेंशियल ज्योमेट्री), या होमोमोर्फिज्म (टोपोलॉजी) के अर्थ में। कुछ लेखक जोर देकर कहते हैं कि G की कार्रवाई प्रभावी समूह कार्रवाई (गैर-पहचान तत्व गैर-तुच्छ रूप से कार्य करती है), चूंकि वर्तमान लेख ऐसा नहीं करता है। इस प्रकार एक्स पर G की समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|जी-ऑर्बिट.

औपचारिक परिभाषा

मान लीजिए कि एक्स अरिक्त समुच्चय है और G समूह है। तब एक्स को G -स्पेस कहा जाता है यदि यह एक्स पर G की क्रिया से सुसज्जित है।[1] ध्यान दें कि स्वचालित रूप से G समुच्चय पर औतोमोर्फिस्म (बीजेक्शन) द्वारा कार्य करता है। यदि एक्स अतिरिक्त रूप से किसी श्रेणी (गणित) से संबंधित है, तो G के तत्वों को उसी श्रेणी में ऑटोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। यही है,G के तत्वों से आने वाले एक्स पर मानचित्र श्रेणी से जुड़े ढांचे को संरक्षित करते हैं (उदाहरण के लिए, यदि एक्स डिफ में वस्तु है तो कार्रवाई को अलग-अलग होने की आवश्यकता होती है)। सजातीय स्थान जी-स्पेस है जिस परG सकर्मक रूप से कार्य करता है।

संक्षेप में, यदि एक्स श्रेणी 'सी' का वस्तु है, तो जी-स्पेस की संरचना समरूपता है:

श्रेणी 'सी' में ऑब्जेक्ट एक्स के ऑटोमोर्फिज्म के समूह में। जोड़ी (एक्स, ρ) सजातीय स्थान को परिभाषित करती है परंतु ρ(जी) एक्स के अंतर्निहित समुच्चय के समरूपता का संक्रामक समूह है।

उदाहरण

उदाहरण के लिए, यदि एक्स टोपोलॉजिकल स्पेस है, तो समूह के तत्वों को एक्स पर होमोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। G -स्पेस की संरचना समूह होमोमोर्फिज़्म ρ : G → होमियो(एक्स) एक्स के होमियोमॉर्फिज़्म समूह में है।

इसी तरह, यदि एक्स अलग-अलग कई गुना है, तो समूह तत्व अलग-अलग हैं। जी-स्पेस की संरचना समूह समरूपता ρ : G → डिफियो (एक्स) है जो एक्स के डिफियोमोर्फिज़्म समूह में है।

रिमेंनियन सममित स्थान सजातीय स्थानों का महत्वपूर्ण वर्ग है, और इसमें नीचे सूचीबद्ध कई उदाहरण सम्मिलित हैं।

ठोस उदाहरणों में सम्मिलित हैं:

होमोG एनियस स्पेस के उदाहरण
अंतरिक्ष 𝑋 समूह 𝐺 स्टेबलाइजर 𝐻
गोलाकार स्थान
उन्मुखी
प्रक्षेपण स्थान