सजातीय स्थान: 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 की समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|''जी''-ऑर्बिट. | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
मान लीजिए कि एक्स अरिक्त समुच्चय है और 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 | मान लीजिए कि एक्स अरिक्त समुच्चय है और 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>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 लघु (रैखिक बीजगणित) हैं, जिसमें उप-स्थान के लिए कॉलम दो आधार वैक्टर हैं। परिणामी सजातीय स्थान की ज्यामिति जूलियस प्लकर की [[रेखा ज्यामिति]] है। | ||
== | == को समुच्चय रिक्त स्थान के रूप में सजातीय स्थान == | ||
सामान्यतः , यदि 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>जी के [[आंतरिक ऑटोमोर्फिज्म]] द्वारा। विशेष रूप से, | |||
{{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, जहां Γ असतत उपसमूह (जी का) है जो ठीक से काम कर रहा है। | ||
== उदाहरण == | == उदाहरण == | ||
उदाहरण के लिए, रेखा ज्यामिति | उदाहरण के लिए, रेखा ज्यामिति स्थितियों में, हम एच को 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) आयामी स्थान पर अभिनय कर रहा है। | ||
यह परिभाषा | यह परिभाषा प्रारंभिकू में दिखाई देने की तुलना में अधिक प्रतिबंधात्मक है: इस तरह के रिक्त स्थान में उल्लेखनीय गुण होते हैं, और इरेड्यूसिबल प्रीहोमोजेनस वेक्टर रिक्त स्थान का वर्गीकरण होता है, जिसे कास्टलिंग के रूप में जाना जाता है। | ||
== भौतिकी में सजातीय स्थान == | == भौतिकी में सजातीय स्थान == | ||
सापेक्षता के सामान्य सिद्धांत का उपयोग करते हुए भौतिक ब्रह्माण्ड विज्ञान [[बियांची वर्गीकरण]] प्रणाली का उपयोग करता है। सापेक्षता में सजातीय स्थान कुछ भौतिक ब्रह्माण्ड विज्ञान के लिए पृष्ठभूमि [[मीट्रिक (गणित)]] के स्थान (भौतिकी) का प्रतिनिधित्व करते हैं; उदाहरण के लिए, फ्रीडमैन-लेमैट्रे-रॉबर्टसन-वॉकर मीट्रिक के तीन | सापेक्षता के सामान्य सिद्धांत का उपयोग करते हुए भौतिक ब्रह्माण्ड विज्ञान [[बियांची वर्गीकरण]] प्रणाली का उपयोग करता है। सापेक्षता में सजातीय स्थान कुछ भौतिक ब्रह्माण्ड विज्ञान के लिए पृष्ठभूमि [[मीट्रिक (गणित)]] के स्थान (भौतिकी) का प्रतिनिधित्व करते हैं; उदाहरण के लिए, फ्रीडमैन-लेमैट्रे-रॉबर्टसन-वॉकर मीट्रिक के तीन स्थितियों को बियांची 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>\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}</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:23, 24 March 2023
गणित में, विशेष रूप से झूठ समूहों, बीजगणितीय समूहों और टोपोलॉजिकल समूहों के सिद्धांतों में, समूह (गणित) G के लिए सजातीय स्थान खाली समुच्चय है। गैर-खाली कई गुना या सामयिक स्थान एक्स जिस पर G समूह क्रिया (गणित) समूह क्रिया (गणित) क्रियाओं के प्रकार।G के तत्वों को एक्स की सममिति कहा जाता है। इसका विशेष मामला तब होता है जब विचाराधीन समूहG अंतरिक्ष एक्स का ऑटोमोर्फिज्म समूह होता है - यहां ऑटोमोर्फिज्म समूह का कारणआइसोमेट्री समूह, डिफियोमोर्फिज्म समूह, या होमोमोर्फिज्म समूह हो सकता है। इस स्थितियों में, एक्स सजातीय है यदि सहज रूप से एक्स प्रत्येक बिंदु पर स्थानीय रूप से समान दिखता है, या तो आइसोमेट्री (कठोर ज्यामिति), डिफोमोर्फिज्म समूहडिफरेंशियल ज्योमेट्री), या होमोमोर्फिज्म (टोपोलॉजी) के अर्थ में। कुछ लेखक जोर देकर कहते हैं कि G की कार्रवाई प्रभावी समूह कार्रवाई (गैर-पहचान तत्व गैर-तुच्छ रूप से कार्य करती है), चूंकि वर्तमान लेख ऐसा नहीं करता है। इस प्रकार एक्स पर G की समूह क्रिया (गणित) है जिसे एक्स पर कुछ ज्यामितीय संरचना को संरक्षित करने और एक्स को एकल कक्षा में बनाने के बारे में सोचा जा सकता है ( समूह सिद्धांत)|जी-ऑर्बिट.
औपचारिक परिभाषा
मान लीजिए कि एक्स अरिक्त समुच्चय है और G समूह है। तब एक्स को G -स्पेस कहा जाता है यदि यह एक्स पर G की क्रिया से सुसज्जित है।[1] ध्यान दें कि स्वचालित रूप से G समुच्चय पर औतोमोर्फिस्म (बीजेक्शन) द्वारा कार्य करता है। यदि एक्स अतिरिक्त रूप से किसी श्रेणी (गणित) से संबंधित है, तो G के तत्वों को उसी श्रेणी में ऑटोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। यही है,G के तत्वों से आने वाले एक्स पर मानचित्र श्रेणी से जुड़े ढांचे को संरक्षित करते हैं (उदाहरण के लिए, यदि एक्स डिफ में वस्तु है तो कार्रवाई को अलग-अलग होने की आवश्यकता होती है)। सजातीय स्थान जी-स्पेस है जिस परG सकर्मक रूप से कार्य करता है।
संक्षेप में, यदि एक्स श्रेणी 'सी' का वस्तु है, तो जी-स्पेस की संरचना समरूपता है:
श्रेणी 'सी' में ऑब्जेक्ट एक्स के ऑटोमोर्फिज्म के समूह में। जोड़ी (एक्स, ρ) सजातीय स्थान को परिभाषित करती है परंतु ρ(जी) एक्स के अंतर्निहित समुच्चय के समरूपता का संक्रामक समूह है।
उदाहरण
उदाहरण के लिए, यदि एक्स टोपोलॉजिकल स्पेस है, तो समूह के तत्वों को एक्स पर होमोमोर्फिज़्म के रूप में कार्य करने के लिए माना जाता है। G -स्पेस की संरचना समूह होमोमोर्फिज़्म ρ : G → होमियो(एक्स) एक्स के होमियोमॉर्फिज़्म समूह में है।
इसी तरह, यदि एक्स अलग-अलग कई गुना है, तो समूह तत्व अलग-अलग हैं। जी-स्पेस की संरचना समूह समरूपता ρ : G → डिफियो (एक्स) है जो एक्स के डिफियोमोर्फिज़्म समूह में है।
रिमेंनियन सममित स्थान सजातीय स्थानों का महत्वपूर्ण वर्ग है, और इसमें नीचे सूचीबद्ध कई उदाहरण सम्मिलित हैं।
ठोस उदाहरणों में सम्मिलित हैं:
अंतरिक्ष 𝑋 | समूह 𝐺 | स्टेबलाइजर 𝐻 |
---|---|---|
गोलाकार स्थान | ||
उन्मुखी | ||
प्रक्षेपण स्थान | ||
यूक्लिडियन अंतरिक्ष | ||
उन्मुखी | ||
अतिशयोक्तिपूर्ण स्थान | ||
उन्मुखी | ||
एंटी-डी सिटर स्पेस | ||
ग्रासमानियन | ||
अफ्फिने अंतरिक्ष |
आइसोमेट्री समूह
- सकारात्मक वक्रता:
- क्षेत्र (ऑर्थोगोनल समूह): . यह निम्नलिखित प्रेक्षणों के कारण सत्य है: प्रथम, में वैक्टर का समुच्चय है आदर्श के साथ . यदि हम इन सदिशों में से किसी सदिश को आधार सदिश मानते हैं, तो किसी अन्य सदिश का निर्माण ओर्थोगोनल परिवर्तन का उपयोग करके किया जा सकता है। यदि हम इस वेक्टर की अवधि को आयामी उप-समष्टि के रूप में मानते हैं , तो पूरक है -डायमेंशनल वेक्टर स्पेस जो ऑर्थोगोनल ट्रांसफॉर्मेशन के अनुसार अपरिवर्तनीय है . यह हमें दिखाता है कि हम निर्माण क्यों कर सकते हैं सजातीय स्थान के रूप में।
- उन्मुख क्षेत्र (विशेष ओर्थोगोनल समूह):
- प्रोजेक्टिव स्पेस (प्रक्षेपी ओर्थोगोनल समूह):
- फ्लैट (शून्य वक्रता):
- यूक्लिडियन स्पेस (यूक्लिडियन समूह , पॉइंट स्टेबलाइजर ऑर्थोगोनल ग्रुप है): एn ≅ ई(एन)/ओ(एन)
- नकारात्मक वक्रता:
- हाइपरबोलिक स्पेस (ऑर्थोक्रोनस लोरेंत्ज़ समूह, पॉइंट स्टेबलाइज़र ऑर्थोगोनल ग्रुप, हाइपरबोलाइड मॉडल के अनुरूप): 'H'एन</सुप> ≅ ओ+(1, n)/O(n)
- ओरिएंटेड हाइपरबोलिक स्पेस: SO+(1, n)/SO(n)
- एंटी-डी सिटर स्पेस: AdSn+1 = ओ (2, एन) / ओ (1, एन)
- अन्य
- फील्ड के ऊपर एफ़िन स्पेस (affine समूह के लिए, पॉइंट स्टेबलाइज़र सामान्य रैखिक समूह): 'ए'n = Aff(n, K)/GL(n, K).
- ग्रासमानियन :
- टोपोलॉजिकल वेक्टर स्पेस (टोपोलॉजी के अर्थ में)
ज्यामिति
एर्लांगेन कार्यक्रम के दृष्टिकोण से, कोई यह समझ सकता है कि एक्स की ज्यामिति में सभी बिंदु समान हैं। यह अनिवार्य रूप से उन्नीसवीं शताब्दी के मध्य में रिमेंनियन ज्यामिति से पहले प्रस्तावित सभी ज्यामिति के लिए सही था।
इस प्रकार, उदाहरण के लिए, यूक्लिडियन अंतरिक्ष , एफ़िन स्पेस और प्रक्षेपण स्थान सभी अपने संबंधित समरूपता समूहों के लिए प्राकृतिक तरीके से सजातीय स्थान हैं। अतिशयोक्तिपूर्ण स्थान जैसे निरंतर वक्रता के गैर-यूक्लिडियन ज्यामिति के मॉडल के बारे में भी यही सच है।
और मौलिक उदाहरण तीन आयामों के प्रक्षेप्य स्थान में रेखाओं का स्थान है (समरूप रूप से, चार-आयामी वेक्टर अंतरिक्ष के द्वि-आयामी उप-स्थानों का स्थान)। यह दिखाने के लिए सरल रेखीय बीजगणित है कि GL4 उन पर सकर्मक रूप से कार्य करता है। हम उन्हें रेखा निर्देशांक द्वारा पैरामीटर कर सकते हैं: ये 4×2 आव्युह के 2×2 लघु (रैखिक बीजगणित) हैं, जिसमें उप-स्थान के लिए कॉलम दो आधार वैक्टर हैं। परिणामी सजातीय स्थान की ज्यामिति जूलियस प्लकर की रेखा ज्यामिति है।
को समुच्चय रिक्त स्थान के रूप में सजातीय स्थान
सामान्यतः , यदि X, G और H का सजातीय स्थान हैo एक्स में कुछ चिह्नित बिंदु ओ का स्टेबलाइज़र (समूह सिद्धांत) है (मूल (गणित) का विकल्प), एक्स के अंक बाएं सह समुच्चय G / एच के अनुरूप हैंo, और चिह्नित बिंदु ओ पहचान के को समुच्चय से मेल खाता है। इसके विपरीत, सहसमुच्चय स्थान G/H दिया गया है, यह विशिष्ट बिंदु के साथ G के लिए सजातीय स्थान है, अर्थात् पहचान का सहसमुच्चय। इस प्रकार सजातीय स्थान को उत्पत्ति के विकल्प के बिना सहसमुच्चय स्थान के रूप में माना जा सकता है।
उदाहरण के लिए, यदि एच पहचान उपसमूह {ई} है, तो एक्स प्रमुख सजातीय स्थान है। भूली हुई पहचान के साथ।
सामान्यतः , उत्पत्ति ओ का अलग विकल्प अलग उपसमूह एच द्वाराG के भागफल की ओर ले जाएगाo′जो एच से संबंधित हैoजी के आंतरिक ऑटोमोर्फिज्म द्वारा। विशेष रूप से,
|
(1) |
जहाँ G , G का कोई अवयव है जिसके लिए go = o′ है। ध्यान दें कि आंतरिक ऑटोमोर्फिज्म (1) इस बात पर निर्भर नहीं करता है कि इस तरह केG का चयन किया गया है; यह केवलG मोडुलो एच पर निर्भर करता हैo.
यदि एक्स पर G की क्रिया निरंतर है और एक्स हौसडॉर्फ है, तो H, G का बंद उपसमूह है। विशेष रूप से, यदि G झूठा समूह है, तो H बंद उपसमूह प्रमेय द्वारा झूठा उपसमूह है। कार्टन का प्रमेय। इसलिए G/H चिकना कई गुना है और इसलिए एक्स में ग्रुप एक्शन के साथ संगत अद्वितीय चिकनी संरचना है।
डबल को समुच्चय रिक्त स्थान के लिए आगे जा सकते हैं, विशेष रूप से क्लिफोर्ड-क्लेन फॉर्म Γ\ G/H, जहां Γ असतत उपसमूह (जी का) है जो ठीक से काम कर रहा है।
उदाहरण
उदाहरण के लिए, रेखा ज्यामिति स्थितियों में, हम एच को 16-आयामी सामान्य रैखिक समूह, जीएल (4) के 12-आयामी उपसमूह के रूप में पहचान सकते हैं, जिसे आव्युह प्रविष्टियों पर शर्तों द्वारा परिभाषित किया गया है।
- एच13 = एच14 = एच23 = एच24 = 0,
पहले दो मानक आधार वैक्टर द्वारा फैलाए गए उप-स्थान के स्टेबलाइज़र की तलाश करके। इससे पता चलता है कि एक्स का आयाम 4 है।
चूंकि नाबालिगों द्वारा दिए गए समरूप निर्देशांक 6 संख्या में हैं, इसका कारणयह है कि बाद वाले दूसरे से स्वतंत्र नहीं हैं। वास्तव में, एकल द्विघात संबंध छह अवयस्कों के बीच होता है, जैसा कि उन्नीसवीं शताब्दी के ज्यामिति के लिए जाना जाता था।
यह उदाहरण प्रक्षेपी स्थान के अतिरिक्त , ग्रासमैनियन का पहला ज्ञात उदाहरण था। गणित में सामान्य उपयोग में मौलिक रैखिक समूहों के कई और सजातीय स्थान हैं।
प्रीहोमोजेनस वेक्टर स्पेस
मिकियो सातो द्वारा सजातीय वेक्टर अंतरिक्ष का विचार प्रस्तुत किया गया था।
यह बीजगणितीय समूह G की समूह क्रिया (गणित) के साथ परिमित-आयामी सदिश स्थान V है, जैसे कि G की कक्षा है जो जरिस्की टोपोलॉजी (और इसलिए, सघन) के लिए खुली है। उदाहरण जीएल (1) आयामी स्थान पर अभिनय कर रहा है।
यह परिभाषा प्रारंभिकू में दिखाई देने की तुलना में अधिक प्रतिबंधात्मक है: इस तरह के रिक्त स्थान में उल्लेखनीय गुण होते हैं, और इरेड्यूसिबल प्रीहोमोजेनस वेक्टर रिक्त स्थान का वर्गीकरण होता है, जिसे कास्टलिंग के रूप में जाना जाता है।
भौतिकी में सजातीय स्थान
सापेक्षता के सामान्य सिद्धांत का उपयोग करते हुए भौतिक ब्रह्माण्ड विज्ञान बियांची वर्गीकरण प्रणाली का उपयोग करता है। सापेक्षता में सजातीय स्थान कुछ भौतिक ब्रह्माण्ड विज्ञान के लिए पृष्ठभूमि मीट्रिक (गणित) के स्थान (भौतिकी) का प्रतिनिधित्व करते हैं; उदाहरण के लिए, फ्रीडमैन-लेमैट्रे-रॉबर्टसन-वॉकर मीट्रिक के तीन स्थितियों को बियांची I (फ्लैट), वी (खुला), VII (फ्लैट या खुला) और I एक्स (बंद) प्रकारों के सब समुच्चय द्वारा दर्शाया जा सकता है, जबकि मिक्समास्टर ब्रम्हांड बियांची I एक्स ब्रह्माण्ड विज्ञान के आइसोट्रॉपी उदाहरण का प्रतिनिधित्व करता है।[2]
एन आयामों का सजातीय स्थान समुच्चय को स्वीकार करता है हत्या करने वाले वैक्टर।[3] तीन आयामों के लिए, यह कुल छह रैखिक रूप से स्वतंत्र किलिंग वेक्टर फ़ील्ड देता है; सजातीय 3-रिक्त स्थान में वह संपत्ति होती है, जिसमें कोई भी इन तीनों के रैखिक संयोजनों का उपयोग करके तीन हर स्थान गैर-लुप्त होने वाले किलिंग वेक्टर क्षेत्रों को खोज सकता है। ,
जहां वस्तु , संरचना स्थिरांक, स्थिर (गणित) टेन्सर बनाते हैं। इसके निचले दो सूचकांकों में ऑर्डर-थ्री टेंसर एंटीसिमेट्रिक टेंसर (बाएं हाथ की ओर, कोष्ठक एंटीसिमेट्रिसेशन को दर्शाता है और ; सहसंयोजक व्युत्पन्न का प्रतिनिधित्व करता है)। लैम्डा-सीडीएम के स्थितियों में, संभावना है (प्रकार I), किन्तु बंद FLRW ब्रह्मांड के स्थितियों में, कहाँ लेवी-सिविटा प्रतीक है।
यह भी देखें
- एर्लांगेन कार्यक्रम
- क्लेन ज्यामिति
- ढेर (गणित)
- सजातीय किस्म
टिप्पणियाँ
- ↑ We assume that the action is on the left. The distinction is only important in the description of X as a coset space.
- ↑ Lev Landau and Evgeny Lifshitz (1980), Course of Theoretical Physics vol. 2: The Classical Theory of Fields, Butterworth-Heinemann, ISBN 978-0-7506-2768-9
- ↑ Steven Weinberg (1972), Gravitation and Cosmology, John Wiley and Sons
संदर्भ
- John Milnor & James D. Stasheff (1974) Characteristic Classes, Princeton University Press ISBN 0-691-08122-0
- Takashi Koda An Introduction to the Geometry of Homogeneous Spaces from Kyungpook National University
- Menelaos Zikidis Homogeneous Spaces from Heidelberg University
- Shoshichi Kobayashi, Katsumi Nomizu (1969) Foundations of Differential Geometry, volume 2, chapter X, (Wiley Classics Library)