सजातीय स्थान

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

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

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

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

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

$\rho :G\to \mathrm {Aut} _{\mathbf {C} }(X)$

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

उदाहरण

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

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

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

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

होमो जी एनियस स्पेस के उदाहरण

अंतरिक्ष 𝑋	समूह 𝐺	स्टेबलाइजर 𝐻
गोलाकार स्थान$\mathbb {S} ^{n-1}$	$\mathrm {O} (n)$	$\mathrm {O} (n-1)$
उन्मुखी $\mathbb {S} ^{n-1}$	$\mathrm {SO} (n)$	$\mathrm {SO} (n-1)$
प्रक्षेपण स्थान $\mathbb {PR} ^{n-1}$	$\mathrm {PO} (n)$	$\mathrm {PO} (n-1)$
यूक्लिडियन अंतरिक्ष $\mathbb {E} ^{n}$	$\mathrm {E} (n)$	$\mathrm {O} (n)$
उन्मुखी $\mathbb {E} ^{n}$	$\mathrm {E} ^{+}(n)$	$\mathrm {SO} (n)$
अतिशयोक्तिपूर्ण स्थान$\mathbb {H} ^{n}$	$\mathrm {O} ^{+}(1,n)$	$\mathrm {O} (n)$
उन्मुखी $\mathbb {H} ^{n}$	$\mathrm {SO} ^{+}(1,n)$	$\mathrm {SO} (n)$
एंटी-डी सिटर स्पेस $\mathrm {AdS} _{n+1}$	$\mathrm {O} (2,n)$	$\mathrm {O} (1,n)$
ग्रासमानियन $\mathrm {Gr} (r,n)$	$\mathrm {O} (n)$	$\mathrm {O} (r)\times \mathrm {O} (n-r)$
अफ्फिने अंतरिक्ष $\mathbb {A} (n,K)$	$\mathrm {Aff} (n,K)$	$\mathrm {GL} (n,K)$

आइसोमेट्री समूह

• सकारात्मक वक्रता:

1. क्षेत्र (ऑर्थोगोनल समूह): $S^{n-1}\cong \mathrm {O} (n)/\mathrm {O} (n-1)$. यह निम्नलिखित प्रेक्षणों के कारण सत्य है: प्रथम, $S^{n-1}$ में वैक्टर का सेट है $\mathbb {R} ^{n}$ आदर्श के साथ $1$. यदि हम इन सदिशों में से किसी एक सदिश को आधार सदिश मानते हैं, तो किसी अन्य सदिश का निर्माण ओर्थोगोनल परिवर्तन का उपयोग करके किया जा सकता है। यदि हम इस वेक्टर की अवधि को एक आयामी उप-समष्टि के रूप में मानते हैं $\mathbb {R} ^{n}$, तो पूरक एक है $(n-1)$-डायमेंशनल वेक्टर स्पेस जो एक ऑर्थोगोनल ट्रांसफॉर्मेशन के तहत अपरिवर्तनीय है ${\text{O}}(n-1)$. यह हमें दिखाता है कि हम निर्माण क्यों कर सकते हैं $S^{n-1}$ एक सजातीय स्थान के रूप में।
2. उन्मुख क्षेत्र (विशेष ओर्थोगोनल समूह): $S^{n-1}\cong \mathrm {SO} (n)/\mathrm {SO} (n-1)$
3. प्रोजेक्टिव स्पेस (प्रक्षेपी ओर्थोगोनल समूह): $\mathrm {P} ^{n-1}\cong \mathrm {PO} (n)/\mathrm {PO} (n-1)$

• फ्लैट (शून्य वक्रता):

1. यूक्लिडियन स्पेस (यूक्लिडियन समूह , पॉइंट स्टेबलाइजर ऑर्थोगोनल ग्रुप है): एⁿ ≅ ई(एन)/ओ(एन)

• नकारात्मक वक्रता:

1. हाइपरबोलिक स्पेस (ऑर्थोक्रोनस लोरेंत्ज़ समूह, पॉइंट स्टेबलाइज़र ऑर्थोगोनल ग्रुप, हाइपरबोलाइड मॉडल के अनुरूप): 'H'^{एन</सुप> ≅ ओ+(1, n)/O(n)}
2. ओरिएंटेड हाइपरबोलिक स्पेस: SO⁺(1, n)/SO(n)
3. एंटी-डी सिटर स्पेस: AdS_n+1 = ओ (2, एन) / ओ (1, एन)

अन्य

• फील्ड के ऊपर एफ़िन स्पेस (affine समूह के लिए, पॉइंट स्टेबलाइज़र सामान्य रैखिक समूह): 'ए'ⁿ = Aff(n, K)/GL(n, K).
• ग्रासमानियन : $\mathrm {Gr} (r,n)=\mathrm {O} (n)/(\mathrm {O} (r)\times \mathrm {O} (n-r))$
• टोपोलॉजिकल वेक्टर स्पेस (टोपोलॉजी के अर्थ में)

ज्यामिति

एर्लांगेन कार्यक्रम के दृष्टिकोण से, कोई यह समझ सकता है कि एक्स की ज्यामिति में सभी बिंदु समान हैं। यह अनिवार्य रूप से उन्नीसवीं शताब्दी के मध्य में रिमेंनियन ज्यामिति से पहले प्रस्तावित सभी ज्यामिति के लिए सही था।

इस प्रकार, उदाहरण के लिए, यूक्लिडियन अंतरिक्ष , एफ़िन स्पेस और प्रक्षेपण स्थान सभी अपने संबंधित समरूपता समूहों के लिए प्राकृतिक तरीके से सजातीय स्थान हैं। अतिशयोक्तिपूर्ण स्थान जैसे निरंतर वक्रता के गैर-यूक्लिडियन ज्यामिति के मॉडल के बारे में भी यही सच है।

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

कोसेट रिक्त स्थान के रूप में सजातीय स्थान

सामान्य तौर पर, यदि X, जी और H का एक सजातीय स्थान है_o एक्स में कुछ चिह्नित बिंदु ओ का स्टेबलाइज़र (समूह सिद्धांत) है (मूल (गणित) का एक विकल्प), एक्स के अंक बाएं सह समुच्चय जी / एच के अनुरूप हैं_o, और चिह्नित बिंदु ओ पहचान के कोसेट से मेल खाता है। इसके विपरीत, एक सहसमुच्चय स्थान जी /H दिया गया है, यह एक विशिष्ट बिंदु के साथ जी के लिए एक सजातीय स्थान है, अर्थात् पहचान का सहसमुच्चय। इस प्रकार एक सजातीय स्थान को उत्पत्ति के विकल्प के बिना सहसमुच्चय स्थान के रूप में माना जा सकता है।

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

सामान्य तौर पर, उत्पत्ति ओ का एक अलग विकल्प एक अलग उपसमूह एच द्वारा जी के भागफल की ओर ले जाएगा_o′जो एच से संबंधित है_oजी के एक आंतरिक ऑटोमोर्फिज्म द्वारा। विशेष रूप से,

$$H_{o'}=gH_{o}g^{-1}$$

(1)

जहाँ जी , जी का कोई अवयव है जिसके लिए go = o′ है। ध्यान दें कि आंतरिक ऑटोमोर्फिज्म (1) इस बात पर निर्भर नहीं करता है कि इस तरह के जी का चयन किया गया है; यह केवल जी मोडुलो एच पर निर्भर करता है_o.

यदि एक्स पर जी की क्रिया निरंतर है और एक्स हौसडॉर्फ है, तो H, जी का एक बंद उपसमूह है। विशेष रूप से, यदि जी एक झूठा समूह है, तो H बंद उपसमूह प्रमेय द्वारा एक झूठा उपसमूह है। कार्टन का प्रमेय। इसलिए जी /H एक चिकना कई गुना है और इसलिए एक्स में ग्रुप एक्शन के साथ संगत एक अद्वितीय चिकनी संरचना है।

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

उदाहरण

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

एच₁₃ = एच₁₄ = एच₂₃ = एच₂₄ = 0,

पहले दो मानक आधार वैक्टर द्वारा फैलाए गए उप-स्थान के स्टेबलाइज़र की तलाश करके। इससे पता चलता है कि एक्स का आयाम 4 है।

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

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

प्रीहोमोजेनस वेक्टर स्पेस

मिकियो सातो द्वारा एक सजातीय वेक्टर अंतरिक्ष का विचार पेश किया गया था।

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

यह परिभाषा शुरू में दिखाई देने की तुलना में अधिक प्रतिबंधात्मक है: इस तरह के रिक्त स्थान में उल्लेखनीय गुण होते हैं, और इरेड्यूसिबल प्रीहोमोजेनस वेक्टर रिक्त स्थान का वर्गीकरण होता है, जिसे कास्टलिंग के रूप में जाना जाता है।

भौतिकी में सजातीय स्थान

सापेक्षता के सामान्य सिद्धांत का उपयोग करते हुए भौतिक ब्रह्माण्ड विज्ञान बियांची वर्गीकरण प्रणाली का उपयोग करता है। सापेक्षता में सजातीय स्थान कुछ भौतिक ब्रह्माण्ड विज्ञान के लिए पृष्ठभूमि मीट्रिक (गणित) के स्थान (भौतिकी) का प्रतिनिधित्व करते हैं; उदाहरण के लिए, फ्रीडमैन-लेमैट्रे-रॉबर्टसन-वॉकर मीट्रिक के तीन मामलों को बियांची I (फ्लैट), वी (खुला), VII (फ्लैट या खुला) और I एक्स (बंद) प्रकारों के सबसेट द्वारा दर्शाया जा सकता है, जबकि मिक्समास्टर ब्रम्हांड बियांची I एक्स ब्रह्माण्ड विज्ञान के एक आइसोट्रॉपी उदाहरण का प्रतिनिधित्व करता है।

एन आयामों का एक सजातीय स्थान एक सेट को स्वीकार करता है ${\tfrac {1}{2}}N(N+1)$ हत्या करने वाले वैक्टर। तीन आयामों के लिए, यह कुल छह रैखिक रूप से स्वतंत्र किलिंग वेक्टर फ़ील्ड देता है; सजातीय 3-रिक्त स्थान में वह संपत्ति होती है, जिसमें कोई भी इन तीनों के रैखिक संयोजनों का उपयोग करके तीन हर जगह गैर-लुप्त होने वाले किलिंग वेक्टर क्षेत्रों को खोज सकता है। $\xi _{i}^{(a)}$,

$\xi _{[i;k]}^{(a)}=C_{\ bc}^{a}\xi _{i}^{(b)}\xi _{k}^{(c)}$

जहां वस्तु $C_{\ bc}^{a}$, संरचना स्थिरांक, एक स्थिर (गणित) टेन्सर बनाते हैं। इसके निचले दो सूचकांकों में ऑर्डर-थ्री टेंसर एंटीसिमेट्रिक टेंसर (बाएं हाथ की ओर, कोष्ठक एंटीसिमेट्रिसेशन को दर्शाता है और ; सहसंयोजक व्युत्पन्न का प्रतिनिधित्व करता है)। लैम्डा-सीडीएम के मामले में, एक संभावना है $C_{\ bc}^{a}=0$ (प्रकार I), लेकिन एक बंद FLRW ब्रह्मांड के मामले में, $C_{\ bc}^{a}=\varepsilon _{\ bc}^{a}$ कहाँ $\varepsilon _{\ bc}^{a}$ लेवी-सिविटा प्रतीक है।

यह भी देखें

• एर्लांगेन कार्यक्रम
• क्लेन ज्यामिति
• ढेर (गणित)
• सजातीय किस्म

संदर्भ

• 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)