सजातीय समूह: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Group of all affine transformations of an affine space}} गणित में, एक क्षेत्र (गणित) पर किसी भ...")
 
m (Arti moved page एफ़िन समूह to सजातीय समूह without leaving a redirect)
 
(5 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Group of all affine transformations of an affine space}}
{{short description|Group of all affine transformations of an affine space}}


गणित में, एक [[क्षेत्र (गणित)]] पर किसी भी संबधित स्थान का संबंध समूह या सामान्य संबंध समूह {{mvar|K}} अंतरिक्ष से अपने आप में सभी उलटा संबंध परिवर्तनों का [[समूह (गणित)]] है।
गणित में, एक [[क्षेत्र (गणित)]] पर किसी भी संबधित स्थान का सजातीय समूह या सामान्य सजातीय समूह {{mvar|K}} आधार से अपने आप में सभी उल्टे संबंध परिवर्तनों का [[समूह (गणित)]] है।


यह एक [[झूठ समूह]] है अगर {{mvar|K}} वास्तविक या जटिल क्षेत्र या चतुष्कोण है।
यह एक [[झूठ समूह|लाइ समूह]] है यदि {{mvar|K}} वास्तविक या जटिल क्षेत्र या चतुष्कोण है।


== सामान्य रैखिक समूह से संबंध ==
== सामान्य रैखिक समूह से संबंध ==


=== सामान्य रेखीय समूह से निर्माण ===
=== सामान्य रेखीय समूह से निर्माण ===
ठोस रूप से, एक सदिश स्थान दिया गया है {{mvar|V}}, इसमें एक अंतर्निहित सजातीय स्थान है {{mvar|A}} मूल को भूलकर प्राप्त किया, साथ {{mvar|V}} अनुवादों द्वारा अभिनय, और के affine समूह {{mvar|A}} के अर्धप्रत्यक्ष उत्पाद के रूप में ठोस रूप से वर्णित किया जा सकता है {{mvar|V}} द्वारा {{math|GL(''V'')}}, का [[सामान्य रैखिक समूह]] {{mvar|V}}:
ठोस रूप से, एक सदिश स्थान {{mvar|V}} दिया गया है, इसमें एक अंतर्निहित संबंध स्थान {{mvar|A}} है, जो मूल को "भूल" कर प्राप्त किया गया है, जिसमें V अनुवाद द्वारा अभिनय करता है, और {{mvar|A}} के सजातीय समूह को {{math|GL(''V'')}} द्वारा {{mvar|V}} के अर्ध-प्रत्यक्ष उत्पाद के रूप में ठोस रूप से वर्णित किया जा सकता है। V के सामान्य रैखिक समूह:
:<math>\operatorname{Aff}(V) = V \rtimes \operatorname{GL}(V)</math>
:<math>\operatorname{Aff}(V) = V \rtimes \operatorname{GL}(V)</math>
की क्रिया {{math|GL(''V'')}} पर {{mvar|V}} प्राकृतिक है (रैखिक परिवर्तन ऑटोमोर्फिज्म हैं), इसलिए यह एक अर्ध-प्रत्यक्ष उत्पाद को परिभाषित करता है।
{{mvar|V}} पर {{math|GL(''V'')}} की क्रिया प्राकृतिक है (रैखिक परिवर्तन स्वसमाकृतिकता हैं), इसलिए यह एक अर्ध-प्रत्यक्ष उत्पाद को परिभाषित करता है।


मेट्रिसेस के संदर्भ में, कोई लिखता है:
आव्यूह के संदर्भ में, कोई लिखता है:
:<math>\operatorname{Aff}(n,K) = K^n \rtimes \operatorname{GL}(n,K)</math>
:<math>\operatorname{Aff}(n,K) = K^n \rtimes \operatorname{GL}(n,K)</math>
जहां की स्वाभाविक क्रिया है {{math|GL(''n'', ''K'')}} पर {{mvar|K<sup>n</sup>}} सदिश का आव्यूह गुणन है।
जहां {{mvar|K<sup>n</sup>}} पर {{math|GL(''n'', ''K'')}} की प्राकृतिक क्रिया सदिश का आव्यूह गुणन है।


=== एक बिंदु का स्टेबलाइजर ===
=== एक बिंदु का स्थिरक ===
एक एफ़िन स्पेस के एफ़िन समूह को देखते हुए {{mvar|A}}, समूह क्रिया (गणित)#कक्षाएं और एक बिंदु के स्टेबलाइजर्स {{mvar|p}} समान आयाम के सामान्य रेखीय समूह के लिए आइसोमोर्फिक है (इसलिए एक बिंदु का स्टेबलाइजर {{math|Aff(2, '''R''')}} के लिए आइसोमोर्फिक है {{math|GL(2, '''R''')}}); औपचारिक रूप से, यह सदिश स्थान का सामान्य रैखिक समूह है {{math|(''A'', ''p'')}}: याद रखें कि यदि कोई एक बिंदु को ठीक करता है, तो एक सजातीय स्थान एक सदिश स्थान बन जाता है।
एक सजातीय स्थल {{mvar|A}} के सजातीय समूह को देखते हुए,एक बिंदु {{mvar|p}} का स्थिरक समान आयाम के सामान्य रैखिक समूह के लिए समरूपी है इसलिए {{math|Aff(2, '''R''')}} में एक बिंदु का स्थिरक {{math|GL(2, '''R''')}} के लिए समरूपी है। औपचारिक रूप से, यह सदिश स्थान {{math|(''A'', ''p'')}} का सामान्य रैखिक समूह है : याद रखें कि यदि कोई एक बिंदु को ठीक करता है, तो एक सजातीय स्थान एक सदिश स्थान बन जाता है।


ये सभी उपसमूह संयुग्मी हैं, जहाँ से अनुवाद द्वारा संयुग्मन दिया जाता है {{mvar|p}} को {{mvar|q}} (जो विशिष्ट रूप से परिभाषित है), हालांकि, कोई विशेष उपसमूह एक प्राकृतिक विकल्प नहीं है, क्योंकि कोई बिंदु विशेष नहीं है - यह अनुप्रस्थ उपसमूह के कई विकल्पों से मेल खाता है, या [[लघु सटीक अनुक्रम]] का विभाजन
ये सभी उपसमूह संयुग्मी हैं, जहाँ से {{mvar|p}} को {{mvar|q}} अनुवाद द्वारा संयुग्मन दिया जाता है (जो विशिष्ट रूप से परिभाषित है), हालांकि, कोई विशेष उपसमूह एक प्राकृतिक विकल्प नहीं है, क्योंकि कोई बिंदु विशेष नहीं है - यह अनुप्रस्थ उपसमूह के कई विकल्पों से मेल खाता है, या निम्नलिखित [[लघु सटीक अनुक्रम]] का विभाजन से मेल खाता है
:<math>1 \to V \to V \rtimes \operatorname{GL}(V) \to \operatorname{GL}(V) \to 1\,.</math>
:<math>1 \to V \to V \rtimes \operatorname{GL}(V) \to \operatorname{GL}(V) \to 1\,</math>
इस मामले में कि affine समूह का निर्माण एक सदिश स्थान से शुरू करके किया गया था, वह उपसमूह जो मूल (वेक्टर स्थान का) को स्थिर करता है, मूल है {{math|GL(''V'')}}.
इस स्तिथि में कि सजातीय समूह का निर्माण एक सदिश स्थान से प्रारम्भ करके किया गया था, वह उपसमूह जो उद्य (सदिश स्थान का) को स्थिर करता है, {{math|GL(''V'')}} मूल है।


== मैट्रिक्स प्रतिनिधित्व ==
== आव्यूह प्रतिनिधित्व ==
affine समूह का अर्धप्रत्यक्ष उत्पाद के रूप में प्रतिनिधित्व करना {{mvar|V}} द्वारा {{math|GL(''V'')}}, फिर सेमीडायरेक्ट उत्पाद#सेमीडायरेक्ट उत्पाद और समूह समरूपता, तत्व जोड़े हैं {{math|(''v'', ''M'')}}, कहाँ {{mvar|v}} में एक वेक्टर है {{mvar|V}} और {{mvar|M}} में एक रैखिक परिवर्तन है {{math|GL(''V'')}}, और गुणा द्वारा दिया जाता है
{{math|GL(''V'')}} द्वारा {{mvar|V}} के अर्ध-प्रत्यक्ष उत्पाद के रूप में  सजातीय समूह का प्रतिनिधित्व किया जाता है, फिर अर्ध प्रत्यक्ष उत्पाद और समूह समरूपता, तत्व {{math|(''v'', ''M'')}} जोड़े जाते हैं, जहाँ {{mvar|v}} में एक सदिश है {{mvar|V}} और {{mvar|M}} में एक रैखिक परिवर्तन {{math|GL(''V'')}} है, और गुणन द्वारा निम्न दिया जाता है
:<math>(v, M) \cdot (w, N) = (v+Mw, MN)\,.</math>
:<math>(v, M) \cdot (w, N) = (v+Mw, MN)\,.</math>
इसे के रूप में दर्शाया जा सकता है {{math|(''n'' + 1) × (''n'' + 1)}} [[ब्लॉक मैट्रिक्स]]
इसे {{math|(''n'' + 1) × (''n'' + 1)}} [[ब्लॉक मैट्रिक्स|विभाग आव्यूह]] के रूप में दर्शाया जा सकता है 
:<math>\left( \begin{array}{c|c} M & v\\ \hline 0 & 1 \end{array}\right) </math>
:<math>\left( \begin{array}{c|c} M & v\\ \hline 0 & 1 \end{array}\right) </math>
कहाँ {{mvar|M}} एक {{math|''n'' × ''n''}} मैट्रिक्स ओवर {{mvar|K}}, {{mvar|v}} एक {{math|''n'' × 1}} कॉलम वेक्टर, 0 एक है {{math|1 × ''n''}} शून्य की पंक्ति, और 1 है {{nowrap|1 × 1}} पहचान ब्लॉक मैट्रिक्स।
जहाँ M, K पर एक n × n आव्यूह है, v एक n × 1 स्तंभ सदिश है, 0 शून्य की 1 × n पंक्ति है, और 1 1 × 1 सर्वसमिका विभाग आव्यूह है।


औपचारिक रूप से, {{math|Aff(''V'')}} के एक उपसमूह के लिए स्वाभाविक रूप से आइसोमोर्फिक है {{math|GL(''V'' ⊕ ''K'')}}, साथ {{mvar|V}} affine तल के रूप में सन्निहित है {{math|{(''v'', 1) {{!}} ''v'' ∈ ''V''<nowiki>}</nowiki>}}, अर्थात् इस सजातीय तल का स्टेबलाइज़र; उपरोक्त मैट्रिक्स फॉर्मूलेशन इस की प्राप्ति (स्थानांतरण) है, इसके साथ {{math|''n'' × ''n''}} और {{math|1 × 1}}) प्रत्यक्ष योग अपघटन के अनुरूप ब्लॉक {{math|''V'' ⊕ ''K''}}.
औपचारिक रूप से, {{math|Aff(''V'')}} के एक उपसमूह {{math|GL(''V'' ⊕ ''K'')}} के लिए स्वाभाविक रूप से समरूपी है, {{mvar|V}} के साथ सजातीय तल के रूप में {{math|{(''v'', 1) {{!}} ''v'' ∈ ''V''<nowiki>}</nowiki>}} सन्निहित है, अर्थात् इस सजातीय तल का स्थिरक; उपरोक्त आव्यूह निरूपण इस (स्थानांतरण) की प्राप्ति है, इसके साथ {{math|''n'' × ''n''}} और {{math|1 × 1}}) प्रत्यक्ष योग अपघटन के अनुरूप विभाग {{math|''V'' ⊕ ''K''}} है।


एक [[मैट्रिक्स समानता]] प्रतिनिधित्व कोई भी है {{math|(''n'' + 1) × (''n'' + 1)}} मैट्रिक्स जिसमें प्रत्येक कॉलम में प्रविष्टियों का योग 1 होता है।<ref>{{cite journal|first=David G.|last=Poole|title=स्टोकेस्टिक समूह|journal=[[American Mathematical Monthly]]|volume=102|issue=9|date=November 1995|pages=798–801}}</ref> मैट्रिक्स समानता {{mvar|P}उपरोक्त प्रकार से इस प्रकार में जाने के लिए } है {{math|(''n'' + 1) × (''n'' + 1)}} पहचान मैट्रिक्स नीचे की पंक्ति के साथ सभी की एक पंक्ति द्वारा प्रतिस्थापित किया गया।
एक [[मैट्रिक्स समानता|आव्यूह समानता]] प्रतिनिधित्व कोई भी {{math|(''n'' + 1) × (''n'' + 1)}} आव्यूह है जिसमें प्रत्येक पंक्ति में प्रविष्टियों का योग 1 होता है। <ref>{{cite journal|first=David G.|last=Poole|title=स्टोकेस्टिक समूह|journal=[[American Mathematical Monthly]]|volume=102|issue=9|date=November 1995|pages=798–801}}</ref> उपरोक्त प्रकार से इस तरह से गुजरने के लिए समानता P {{math|(''n'' + 1) × (''n'' + 1)}} तत्समक आव्यूह है जिसमें नीचे की पंक्ति को सभी की एक पंक्ति से बदल दिया गया है।


मैट्रिक्स के इन दो वर्गों में से प्रत्येक मैट्रिक्स गुणन के तहत बंद है।
आव्यूह के इन दो वर्गों में से प्रत्येक आव्यूह गुणन के अंतर्गत बंद है।


सबसे सरल प्रतिमान अच्छी तरह से मामला हो सकता है {{math|''n'' {{=}} 1}}, यानी ऊपरी त्रिकोणीय {{nowrap|2 × 2}} मैट्रिक्स एक आयाम में affine समूह का प्रतिनिधित्व करते हैं। यह एक दो-पैरामीटर [[गैर-अबेलियन समूह]]|गैर-एबेलियन लाइ समूह है, इसलिए केवल दो जनरेटर (लाई बीजगणित तत्व) के साथ, {{mvar|A}} और {{mvar|B}}, ऐसा है कि {{math|[''A'', ''B''] {{=}} ''B''}}, कहाँ
सबसे सरल प्रतिमान अच्छी तरह से स्तिथि {{math|''n'' {{=}} 1}} हो सकती है, यानी ऊपरी त्रिकोणीय {{nowrap|2 × 2}} आव्यूह एक आयाम में सजातीय समूह का प्रतिनिधित्व करते हैं। यह एक दो-मापदण्ड गैर-एबेलियन लाइ समूह है, इसलिए केवल दो जनित्र (लाई बीजगणित तत्व) के साथ, {{mvar|A}} और {{mvar|B}}, इस प्रकार हैं कि {{math|[''A'', ''B''] {{=}} ''B''}}, जहाँ
:<math> A= \left( \begin{array}{cc} 1 & 0\\ 0 & 0 \end{array}\right), \qquad B=  \left( \begin{array}{cc} 0 & 1\\ 0 & 0 \end{array}\right)\,,</math>
:<math> A= \left( \begin{array}{cc} 1 & 0\\ 0 & 0 \end{array}\right), \qquad B=  \left( \begin{array}{cc} 0 & 1\\ 0 & 0 \end{array}\right)\,,</math>
ताकि
ताकि
Line 42: Line 42:




== की चरित्र तालिका {{math|Aff('''F'''{{sub|''p''}})}} ==
== {{math|Aff('''F'''{{sub|''p''}})}} की स्वरूप तालिका ==
{{math|Aff('''F'''{{sub|''p''}})}} का आदेश है {{math|''p''(''p'' − 1)}}. तब से
Aff(Fp) का क्रम p(p − 1 है। तब से


:<math>\begin{pmatrix} c & d \\ 0 & 1 \end{pmatrix}\begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}\begin{pmatrix} c & d \\ 0 & 1 \end{pmatrix}^{-1}=\begin{pmatrix} a & (1-a)d+bc \\ 0 & 1 \end{pmatrix}\,,</math>
:<math>\begin{pmatrix} c & d \\ 0 & 1 \end{pmatrix}\begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}\begin{pmatrix} c & d \\ 0 & 1 \end{pmatrix}^{-1}=\begin{pmatrix} a & (1-a)d+bc \\ 0 & 1 \end{pmatrix}\,,</math>
हम जानते हैं {{math|Aff('''F'''{{sub|''p''}})}} है {{mvar|p}} संयुग्मन वर्ग, अर्थात्
हम जानते हैं {{math|Aff('''F'''{{sub|''p''}})}} संयुग्मन वर्ग {{mvar|p}} है, अर्थात्


:<math>\begin{align}
:<math>\begin{align}
Line 53: Line 53:
\Bigg\{C_{a} &= \left\{\begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}\Bigg| b\in \mathbf{F}_p\right\}\Bigg|a\in \mathbf{F}_p\setminus\{0,1\}\Bigg\}\,.
\Bigg\{C_{a} &= \left\{\begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}\Bigg| b\in \mathbf{F}_p\right\}\Bigg|a\in \mathbf{F}_p\setminus\{0,1\}\Bigg\}\,.
\end{align}</math>
\end{align}</math>
तब हम जानते हैं {{math|Aff('''F'''{{sub|''p''}})}} है {{mvar|p}} अलघुकरणीय अभ्यावेदन। उपरोक्त पैराग्राफ द्वारा ({{section link|#Matrix representation}}),  वहां है {{math|''p'' − 1}} एक आयामी अभ्यावेदन, समरूपता द्वारा तय किया गया
तब हम जानते हैं {{math|Aff('''F'''{{sub|''p''}})}} अलघुकरणीय अभ्यावेदन {{mvar|p}} है। उपरोक्त परिच्छेद ({{section link|#आव्यूह अभ्यावेदन}}) द्वारा ,  वहां {{math|''p'' − 1}} एक आयामी अभ्यावेदन है, निम्नलखित समरूपता द्वारा तय किया गया है


:<math>\rho_k:\operatorname{Aff}(\mathbf{F}_p)\to\Complex^*</math>
:<math>\rho_k:\operatorname{Aff}(\mathbf{F}_p)\to\Complex^*</math>
के लिए {{math|''k'' {{=}} 1, 2,… ''p'' − 1}}, कहाँ
{{math|''k'' {{=}} 1, 2,… ''p'' − 1}} के लिए, जहाँ


:<math>\rho_k\begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}=\exp\left(\frac{2i kj\pi}{p-1}\right)</math>
:<math>\rho_k\begin{pmatrix} a & b \\ 0 & 1 \end{pmatrix}=\exp\left(\frac{2i kj\pi}{p-1}\right)</math>
और {{math|''i''<sup>2</sup> {{=}} −1}}, {{math|''a'' {{=}} ''g{{isup|j}}''}}, {{mvar|g}} समूह का जनरेटर है {{math|'''F'''{{su|b=''p''|p=∗}}}}. फिर के क्रम से तुलना करें {{math|'''F'''<sub>''p''</sub>}}, अपने पास
और {{math|''i''<sup>2</sup> {{=}} −1}}, {{math|''a'' {{=}} ''g{{isup|j}}''}}, {{mvar|g}} समूह का जनित्र {{math|'''F'''{{su|b=''p''|p=∗}}}} है। फिर {{math|'''F'''<sub>''p''</sub>}} के क्रम से तुलना करें, अपने पास


:<math>p(p-1)=p-1+\chi_p^2\,,</math>
:<math>p(p-1)=p-1+\chi_p^2\,,</math>
इस तरह {{math|''χ<sub>p</sub>'' {{=}} ''p'' − 1}} अंतिम अलघुकरणीय प्रतिनिधित्व का आयाम है। अंत में अलघुकरणीय अभ्यावेदन की ओर्थोगोनैलिटी का उपयोग करके, हम वर्ण तालिका को पूरा कर सकते हैं {{math|Aff('''F'''{{sub|''p''}})}}:
इस तरह {{math|''χ<sub>p</sub>'' {{=}} ''p'' − 1}} अंतिम अलघुकरणीय प्रतिनिधित्व का आयाम है। अंत में अलघुकरणीय अभ्यावेदन की लांबिक का उपयोग करके, हम वर्ण तालिका {{math|Aff('''F'''{{sub|''p''}})}} को पूरा कर सकते हैं:


:<math>\begin{array}{c|cccccc}
:<math>\begin{array}{c|cccccc}
Line 123: Line 123:




== रीयल्स पर प्लानर एफ़िन समूह ==
== रीयल्स पर प्लानर सजातीय समूह ==
के तत्व <math>\operatorname{Aff}(2,\mathbb R)</math> एक अच्छी तरह से चुनी गई [[एफ़िन समन्वय प्रणाली]] पर एक सरल रूप ले सकता है। अधिक सटीक रूप से, [[वास्तविक संख्या]] पर एक एफ़िन विमान के एक एफ़िन परिवर्तन को देखते हुए, एक एफ़िन समन्वय प्रणाली मौजूद होती है जिस पर इसका निम्न में से एक रूप होता है, जहां {{mvar|a}}, {{mvar|b}}, और {{mvar|t}} वास्तविक संख्याएँ हैं (दिए गए नियम यह सुनिश्चित करते हैं कि परिवर्तन व्युत्क्रमणीय हैं, लेकिन वर्गों को विशिष्ट बनाने के लिए नहीं; उदाहरण के लिए, पहचान सभी वर्गों से संबंधित है)।
<math>\operatorname{Aff}(2,\mathbb R)</math> के तत्व एक अच्छी तरह से चुनी गई [[एफ़िन समन्वय प्रणाली|सजातीय समन्वय प्रणाली]] पर एक सरल रूप ले सकता है। अधिक यथार्थतः रूप से, [[वास्तविक संख्या]] पर एक सजातीय समतल के एक सजातीय परिवर्तन को देखते हुए, एक सजातीय समन्वय प्रणाली उपस्थित होती है जिस पर इसका निम्न में से एक रूप होता है, जहां {{mvar|a}}, {{mvar|b}}, और {{mvar|t}} वास्तविक संख्याएँ हैं (दिए गए नियम यह सुनिश्चित करते हैं कि परिवर्तन व्युत्क्रमणीय हैं, लेकिन वर्गों को विशिष्ट बनाने के लिए नहीं; उदाहरण के लिए, पहचान सभी वर्गों से संबंधित है)।
:<math>\begin{align}
:<math>\begin{align}
\text{1.}&& (x, y) &\mapsto (x +a,y+b),\\[3pt]
\text{1.}&& (x, y) &\mapsto (x +a,y+b),\\[3pt]
\text{2.}&& (x, y) &\mapsto (ax,by),  &\qquad \text{where } ab\ne 0,\\[3pt]
\text{2.}&& (x, y) &\mapsto (ax,by),  &\qquad \text{जहाँ } ab\ne 0,\\[3pt]
\text{3.}&& (x, y) &\mapsto (ax,y+b), &\qquad \text{where } a\ne 0,\\[3pt]
\text{3.}&& (x, y) &\mapsto (ax,y+b), &\qquad \text{जहाँ } a\ne 0,\\[3pt]
\text{4.}&& (x, y) &\mapsto (ax+y,ay), &\qquad \text{where } a\ne 0,\\[3pt]
\text{4.}&& (x, y) &\mapsto (ax+y,ay), &\qquad \text{जहाँ } a\ne 0,\\[3pt]
\text{5.}&& (x, y) &\mapsto (x+y,y+a)\\[3pt]
\text{5.}&& (x, y) &\mapsto (x+y,y+a)\\[3pt]
\text{6.}&& (x, y) &\mapsto (a(x\cos t + y\sin t), a(-x\sin t+y\cos t)), &\qquad \text{where } a\ne 0.
\text{6.}&& (x, y) &\mapsto (a(x\cos t + y\sin t), a(-x\sin t+y\cos t)), &\qquad \text{जहाँ } a\ne 0.
\end{align}</math>
\end{align}</math>
केस 1 [[अनुवाद (गणित)]] से मेल खाता है।
स्तिथि 1 [[अनुवाद (गणित)]] से मेल खाता है।


केस 2 [[स्केलिंग (ज्यामिति)]] से मेल खाता है जो दो अलग-अलग दिशाओं में भिन्न हो सकता है। [[यूक्लिडियन विमान]] के साथ काम करते समय इन दिशाओं को लंबवत नहीं होना चाहिए, क्योंकि निर्देशांक अक्षों को लंबवत नहीं होना चाहिए।
स्तिथि 2 [[स्केलिंग (ज्यामिति)|प्रवर्धन (ज्यामिति)]] से मेल खाता है जो दो अलग-अलग दिशाओं में भिन्न हो सकता है। [[यूक्लिडियन विमान|यूक्लिडियन तल]] के साथ काम करते समय इन दिशाओं को लंबवत नहीं होना चाहिए, क्योंकि निर्देशांक अक्षों को लंबवत नहीं होना चाहिए।


केस 3 एक दिशा में स्केलिंग और दूसरे में अनुवाद से मेल खाता है।
स्तिथि 3 एक दिशा में प्रवर्धन और दूसरे में अनुवाद से मेल खाता है।


प्रकरण 4 एक फैलाव के साथ संयुक्त [[कतरनी मानचित्रण]] से मेल खाती है।
प्रकरण 4 एक फैलाव के साथ संयुक्त [[कतरनी मानचित्रण]] से मेल खाती है।
Line 143: Line 143:
प्रकरण 5 एक फैलाव के साथ संयुक्त कतरनी मानचित्रण से मेल खाती है।
प्रकरण 5 एक फैलाव के साथ संयुक्त कतरनी मानचित्रण से मेल खाती है।


केस 6 [[समानता (ज्यामिति)]] से मेल खाता है जब समन्वय अक्ष लंबवत होते हैं।
स्तिथि 6 [[समानता (ज्यामिति)]] से मेल खाता है जब समन्वय अक्ष लंबवत होते हैं।


बिना किसी [[निश्चित बिंदु (गणित)]] के संबंध परिवर्तन 1, 3 और 5 के मामलों से संबंधित हैं। परिवर्तन जो विमान के उन्मुखीकरण को संरक्षित नहीं करते हैं, वे मामले 2 से संबंधित हैं (के साथ) {{math|''ab'' < 0}}) या 3 (के साथ {{math|''a'' < 0}}).
बिना किसी [[निश्चित बिंदु (गणित)]] के संबंध परिवर्तन 1, 3 और 5 के स्तिथियों से संबंधित हैं। परिवर्तन जो तल के उन्मुखीकरण को संरक्षित नहीं करते हैं, वे स्तिथि 2 (ab <0 के साथ) या 3 (<0 के साथ) से संबंधित हैं।


सबूत पहले टिप्पणी करके किया जा सकता है कि यदि एक एफ़िन परिवर्तन का कोई निश्चित बिंदु नहीं है, तो संबंधित रैखिक मानचित्र के मैट्रिक्स में एक के बराबर एक [[eigenvalue]] है, और फिर जॉर्डन सामान्य रूप # रीयल मैट्रिसेस का उपयोग कर रहा है।
प्रमाण पहले टिप्पणी करके किया जा सकता है कि यदि एक सजातीय परिवर्तन का कोई निश्चित बिंदु नहीं है, तो संबंधित रैखिक मानचित्र के आव्यूह में एक के बराबर एक [[eigenvalue|आइगेनवैल्यू]] है, और फिर जॉर्डन सामान्य रूप प्रमेय का उपयोग कर रहा है।


== अन्य संबंध समूह ==
== अन्य सजातीय समूह ==


=== सामान्य मामला ===
=== सामान्य स्तिथि ===
किसी भी उपसमूह को देखते हुए {{math|''G'' < GL(''V'')}} सामान्य रेखीय समूह का, कोई कभी-कभी निरूपित समूह का निर्माण कर सकता है {{math|Aff(''G'')}} समान रूप से {{math|Aff(''G'') :{{=}} ''V'' ⋊ ''G''}}.
सामान्य रेखीय समूह के किसी भी उपसमूह {{math|''G'' < GL(''V'')}} को देखते हुए, कोई कभी-कभी निरूपित समूह {{math|Aff(''G'')}} का निर्माण निम्न रूप में कर सकता है


अधिक आम तौर पर और संक्षेप में, किसी भी समूह को देखते हुए {{mvar|G}} और समूह का प्रतिनिधित्व {{mvar|G}} सदिश स्थान पर {{mvar|V}},
{{math|Aff(''G'') :{{=}} ''V'' ⋊ ''G''}}
 
अधिक सामान्यतः और संक्षेप में, सदिश समष्टि {{mvar|V}} पर कोई समूह {{mvar|G}} और {{mvar|G}} का निरूपण निम्नलिखित रूप में दिया गया है,
:<math>\rho : G \to \operatorname{GL}(V)</math>
:<math>\rho : G \to \operatorname{GL}(V)</math>
एक मिलता है<ref group="note">Since {{math|GL(''V'') < Aut(''V'')}}. Note that this containment is in general proper, since by "automorphisms" one means ''group'' automorphisms, i.e., they preserve the group structure on {{mvar|V}} (the addition and origin), but not necessarily scalar multiplication, and these groups differ if working over {{math|'''R'''}}.</ref> एक संबद्ध एफ़िन समूह {{math|''V'' ⋊<sub>''ρ''</sub> ''G''}}: कोई कह सकता है कि प्राप्त किया गया affine समूह एक सदिश प्रतिनिधित्व द्वारा एक [[समूह विस्तार]] है, और ऊपर के रूप में, किसी के पास कम सटीक अनुक्रम है:
किसी को <ref group="note">Since {{math|GL(''V'') < Aut(''V'')}}. Note that this containment is in general proper, since by "automorphisms" one means ''group'' automorphisms, i.e., they preserve the group structure on {{mvar|V}} (the addition and origin), but not necessarily scalar multiplication, and these groups differ if working over {{math|'''R'''}}.</ref> संबद्ध एफ़िन समूह {{math|''V'' ⋊<sub>''ρ''</sub> ''G''}} मिलता है: कोई कह सकता है कि प्राप्त सजातीय समूह "सदिश प्रतिनिधित्व द्वारा समूह विस्तार" है, और ऊपर के रूप में, किसी के पास कम सटीक अनुक्रम है:
:<math>1 \to V \to V \rtimes_\rho G \to G \to 1\,.</math>
:<math>1 \to V \to V \rtimes_\rho G \to G \to 1\,.</math>




=== विशेष संबंध समूह ===
=== विशेष सजातीय समूह ===
{{unreferenced|section|date=January 2022}}
{{unreferenced|section|date=January 2022}}
एक निश्चित आयतन रूप को संरक्षित करने वाले सभी व्युत्क्रमणीय affine परिवर्तनों के उपसमुच्चय को विशेष affine समूह कहा जाता है। यह समूह विशेष रेखीय समूह का एफ़िन एनालॉग है। अर्ध-प्रत्यक्ष उत्पाद के संदर्भ में, विशेष संबंध समूह में सभी जोड़े होते हैं {{math|(''M'', ''v'')}} साथ {{mvar|M}} का निर्धारक 1, यानी, affine परिवर्तन
एक निश्चित आयतन रूप को संरक्षित करने वाले सभी व्युत्क्रमणीय सजातीय परिवर्तनों के उपसमुच्चय को विशेष सजातीय समूह कहा जाता है। यह समूह विशेष रेखीय समूह का सजातीय समधर्मी है। अर्ध-प्रत्यक्ष उत्पाद के संदर्भ में, विशेष सजातीय समूह में निर्धारक 1 के {{mvar|M}} के साथ {{math|(''M'', ''v'')}} होते हैं, यानी, सजातीय परिवर्तन निम्न है
<math display="block">x \mapsto Mx + v</math>
<math display="block">x \mapsto Mx + v</math>
कहाँ {{mvar|M}} निर्धारक 1 और का एक रैखिक परिवर्तन है {{mvar|v}} कोई निश्चित अनुवाद वेक्टर है।
जहाँ {{mvar|M}} निर्धारक 1 का एक रैखिक परिवर्तन है और {{mvar|v}} कोई निश्चित अनुवाद सदिश है।


=== प्रक्षेपी उपसमूह ===
=== प्रक्षेपी उपसमूह ===
[[प्रोजेक्टिविटी]] के ज्ञान और [[ प्रक्षेपी ज्यामिति ]] के प्रोजेक्टिव ग्रुप को मानते हुए, एफ़िन ग्रुप को आसानी से निर्दिष्ट किया जा सकता है। उदाहरण के लिए, गुंटर एवाल्ड ने लिखा:<ref>{{cite book|first=Günter|last=Ewald|date=1971|title=Geometry: An Introduction|page=241|location=Belmont|publisher=Wadsworth|ISBN=9780534000349}}</ref>
[[प्रोजेक्टिविटी]] के ज्ञान और [[ प्रक्षेपी ज्यामिति ]]के प्रक्षेपीय समूह को मानते हुए, सजातीय समूह को आसानी से निर्दिष्ट किया जा सकता है। उदाहरण के लिए, गुंटर एवाल्ड ने लिखा:<ref>{{cite book|first=Günter|last=Ewald|date=1971|title=Geometry: An Introduction|page=241|location=Belmont|publisher=Wadsworth|ISBN=9780534000349}}</ref>
:सेट <math>\mathfrak{P}</math> के सभी प्रक्षेप्य collineations की {{math|''P''{{isup|''n''}}}} एक समूह है जिसे हम प्रक्षेपी समूह कह सकते हैं {{math|''P''{{isup|''n''}}}}. अगर हम से आगे बढ़ें {{math|''P''{{isup|''n''}}}} affine अंतरिक्ष के लिए {{math|''A''{{isup|''n''}}}} [[ hyperplane ]] घोषित करके {{mvar|ω}} अनंत पर एक हाइपरप्लेन होने के लिए, हम affine समूह प्राप्त करते हैं <math>\mathfrak{A}</math> का {{math|''A''{{isup|''n''}}}} के [[उपसमूह]] के रूप में <math>\mathfrak{P}</math> के सभी तत्वों से मिलकर बनता है <math>\mathfrak{P}</math> वह छुट्टी {{mvar|ω}} हल किया गया।
:सेट <math>\mathfrak{P}</math> के सभी प्रक्षेप्य कोलिनेशन की {{math|''P''{{isup|''n''}}}} एक समूह है जिसे हम प्रक्षेपी समूह {{math|''P''{{isup|''n''}}}} कह सकते हैं। यदि हम हाइपरप्लेन {{mvar|ω}} को अनंत पर हाइपरप्लेन घोषित करके {{math|''P''{{isup|''n''}}}} से एफ़ाइन स्पेस {{math|''A''{{isup|''n''}}}} की ओर आगे बढ़ते हैं, तो हम {{math|''A''{{isup|''n''}}}} का affine समूह <math>\mathfrak{A}</math> <math>\mathfrak{P}</math> के उपसमूह के रूप में प्राप्त करते हैं, जिसमें सभी <math>\mathfrak{P}</math> के तत्व जो {{mvar|ω}} स्थिर रखते हैं सम्मिलित हैं। ।   
::<math>\mathfrak{A} \subset \mathfrak{P}</math>
::<math>\mathfrak{A} \subset \mathfrak{P}</math>




=== पोंकारे समूह ===
=== पोंकारे समूह ===
{{main|Poincaré group}}
{{main|पोंकारे समूह}}
पोंकारे समूह [[लोरेंत्ज़ समूह]] का संबधित समूह है {{math|O(1,3)}}:
पोंकारे समूह [[लोरेंत्ज़ समूह]] {{math|O(1,3)}} का संबधित समूह है :
:<math>\mathbf{R}^{1,3}\rtimes \operatorname{O}(1,3)</math>
:<math>\mathbf{R}^{1,3}\rtimes \operatorname{O}(1,3)</math>
[[सापेक्षता के सिद्धांत]] में यह उदाहरण बहुत महत्वपूर्ण है।
[[सापेक्षता के सिद्धांत]] में यह उदाहरण बहुत महत्वपूर्ण है।


== यह भी देखें ==
== यह भी देखें ==
* Affine Coxeter समूह - एक [[यूक्लिडियन अंतरिक्ष]] पर affine समूह के कुछ असतत उपसमूह जो एक [[जाली (समूह)]] को संरक्षित करते हैं
* सजातीय कॉक्सेटर समूह - एक [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन आधार]] पर सजातीय समूह के कुछ असतत उपसमूह जो एक [[जाली (समूह)]] को संरक्षित करते हैं
* [[होलोमॉर्फ (गणित)]]
* [[होलोमॉर्फ (गणित)|पूर्णरूप (गणित)]]


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 189: Line 191:
{{reflist}}
{{reflist}}
{{refbegin}}
{{refbegin}}
* {{cite book|authorlink=Roger Lyndon|first=Roger|last=Lyndon|date=1985|title=Groups and Geometry|chapter=Section VI.1|publisher=[[Cambridge University Press]]|ISBN=0-521-31694-4|url-access=registration|url=https://archive.org/details/groupsgeometry0000lynd}}
* {{cite book|authorlink=Roger Lyndon|first=Roger|last=Lyndon|date=1985|title=समूह और ज्यामिति|chapter=Section VI.1|publisher=[[कैम्ब्रिज यूनिवर्सिटी प्रेस]]|ISBN=0-521-31694-4|url-access=पंजीकरण|url=https://archive.org/details/groupsgeometry0000lynd}}
{{refend}}
{{refend}}
[[Category: एफ़िन ज्यामिति]] [[Category: समूह सिद्धांत]] [[Category: झूठ बोलने वाले समूह]]


[[Category: Machine Translated Page]]
[[Category:All articles needing additional references]]
[[Category:Articles needing additional references from January 2022]]
[[Category:CS1 errors]]
[[Category:Created On 01/05/2023]]
[[Category:Created On 01/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:एफ़िन ज्यामिति]]
[[Category:झूठ बोलने वाले समूह]]
[[Category:समूह सिद्धांत]]

Latest revision as of 16:09, 8 November 2023

गणित में, एक क्षेत्र (गणित) पर किसी भी संबधित स्थान का सजातीय समूह या सामान्य सजातीय समूह K आधार से अपने आप में सभी उल्टे संबंध परिवर्तनों का समूह (गणित) है।

यह एक लाइ समूह है यदि K वास्तविक या जटिल क्षेत्र या चतुष्कोण है।

सामान्य रैखिक समूह से संबंध

सामान्य रेखीय समूह से निर्माण

ठोस रूप से, एक सदिश स्थान V दिया गया है, इसमें एक अंतर्निहित संबंध स्थान A है, जो मूल को "भूल" कर प्राप्त किया गया है, जिसमें V अनुवाद द्वारा अभिनय करता है, और A के सजातीय समूह को GL(V) द्वारा V के अर्ध-प्रत्यक्ष उत्पाद के रूप में ठोस रूप से वर्णित किया जा सकता है। V के सामान्य रैखिक समूह:

V पर GL(V) की क्रिया प्राकृतिक है (रैखिक परिवर्तन स्वसमाकृतिकता हैं), इसलिए यह एक अर्ध-प्रत्यक्ष उत्पाद को परिभाषित करता है।

आव्यूह के संदर्भ में, कोई लिखता है:

जहां Kn पर GL(n, K) की प्राकृतिक क्रिया सदिश का आव्यूह गुणन है।

एक बिंदु का स्थिरक

एक सजातीय स्थल A के सजातीय समूह को देखते हुए,एक बिंदु p का स्थिरक समान आयाम के सामान्य रैखिक समूह के लिए समरूपी है इसलिए Aff(2, R) में एक बिंदु का स्थिरक GL(2, R) के लिए समरूपी है। औपचारिक रूप से, यह सदिश स्थान (A, p) का सामान्य रैखिक समूह है : याद रखें कि यदि कोई एक बिंदु को ठीक करता है, तो एक सजातीय स्थान एक सदिश स्थान बन जाता है।

ये सभी उपसमूह संयुग्मी हैं, जहाँ से p को q अनुवाद द्वारा संयुग्मन दिया जाता है (जो विशिष्ट रूप से परिभाषित है), हालांकि, कोई विशेष उपसमूह एक प्राकृतिक विकल्प नहीं है, क्योंकि कोई बिंदु विशेष नहीं है - यह अनुप्रस्थ उपसमूह के कई विकल्पों से मेल खाता है, या निम्नलिखित लघु सटीक अनुक्रम का विभाजन से मेल खाता है

इस स्तिथि में कि सजातीय समूह का निर्माण एक सदिश स्थान से प्रारम्भ करके किया गया था, वह उपसमूह जो उद्य (सदिश स्थान का) को स्थिर करता है, GL(V) मूल है।

आव्यूह प्रतिनिधित्व

GL(V) द्वारा V के अर्ध-प्रत्यक्ष उत्पाद के रूप में सजातीय समूह का प्रतिनिधित्व किया जाता है, फिर अर्ध प्रत्यक्ष उत्पाद और समूह समरूपता, तत्व (v, M) जोड़े जाते हैं, जहाँ v में एक सदिश है V और M में एक रैखिक परिवर्तन GL(V) है, और गुणन द्वारा निम्न दिया जाता है

इसे (n + 1) × (n + 1) विभाग आव्यूह के रूप में दर्शाया जा सकता है

जहाँ M, K पर एक n × n आव्यूह है, v एक n × 1 स्तंभ सदिश है, 0 शून्य की 1 × n पंक्ति है, और 1 1 × 1 सर्वसमिका विभाग आव्यूह है।

औपचारिक रूप से, Aff(V) के एक उपसमूह GL(VK) के लिए स्वाभाविक रूप से समरूपी है, V के साथ सजातीय तल के रूप में {(v, 1) | vV} सन्निहित है, अर्थात् इस सजातीय तल का स्थिरक; उपरोक्त आव्यूह निरूपण इस (स्थानांतरण) की प्राप्ति है, इसके साथ n × n और 1 × 1) प्रत्यक्ष योग अपघटन के अनुरूप विभाग VK है।

एक आव्यूह समानता प्रतिनिधित्व कोई भी (n + 1) × (n + 1) आव्यूह है जिसमें प्रत्येक पंक्ति में प्रविष्टियों का योग 1 होता है। [1] उपरोक्त प्रकार से इस तरह से गुजरने के लिए समानता P (n + 1) × (n + 1) तत्समक आव्यूह है जिसमें नीचे की पंक्ति को सभी की एक पंक्ति से बदल दिया गया है।

आव्यूह के इन दो वर्गों में से प्रत्येक आव्यूह गुणन के अंतर्गत बंद है।

सबसे सरल प्रतिमान अच्छी तरह से स्तिथि n = 1 हो सकती है, यानी ऊपरी त्रिकोणीय 2 × 2 आव्यूह एक आयाम में सजातीय समूह का प्रतिनिधित्व करते हैं। यह एक दो-मापदण्ड गैर-एबेलियन लाइ समूह है, इसलिए केवल दो जनित्र (लाई बीजगणित तत्व) के साथ, A और B, इस प्रकार हैं कि [A, B] = B, जहाँ

ताकि


Aff(Fp) की स्वरूप तालिका

Aff(Fp) का क्रम p(p − 1 है। तब से

हम जानते हैं Aff(Fp) संयुग्मन वर्ग p है, अर्थात्

तब हम जानते हैं Aff(Fp) अलघुकरणीय अभ्यावेदन p है। उपरोक्त परिच्छेद (§ आव्यूह अभ्यावेदन) द्वारा , वहां p − 1 एक आयामी अभ्यावेदन है, निम्नलखित समरूपता द्वारा तय किया गया है

k = 1, 2,… p − 1 के लिए, जहाँ

और i2 = −1, a = gj, g समूह का जनित्र F
p
है। फिर Fp के क्रम से तुलना करें, अपने पास

इस तरह χp = p − 1 अंतिम अलघुकरणीय प्रतिनिधित्व का आयाम है। अंत में अलघुकरणीय अभ्यावेदन की लांबिक का उपयोग करके, हम वर्ण तालिका Aff(Fp) को पूरा कर सकते हैं:


रीयल्स पर प्लानर सजातीय समूह

के तत्व एक अच्छी तरह से चुनी गई सजातीय समन्वय प्रणाली पर एक सरल रूप ले सकता है। अधिक यथार्थतः रूप से, वास्तविक संख्या पर एक सजातीय समतल के एक सजातीय परिवर्तन को देखते हुए, एक सजातीय समन्वय प्रणाली उपस्थित होती है जिस पर इसका निम्न में से एक रूप होता है, जहां a, b, और t वास्तविक संख्याएँ हैं (दिए गए नियम यह सुनिश्चित करते हैं कि परिवर्तन व्युत्क्रमणीय हैं, लेकिन वर्गों को विशिष्ट बनाने के लिए नहीं; उदाहरण के लिए, पहचान सभी वर्गों से संबंधित है)।

स्तिथि 1 अनुवाद (गणित) से मेल खाता है।

स्तिथि 2 प्रवर्धन (ज्यामिति) से मेल खाता है जो दो अलग-अलग दिशाओं में भिन्न हो सकता है। यूक्लिडियन तल के साथ काम करते समय इन दिशाओं को लंबवत नहीं होना चाहिए, क्योंकि निर्देशांक अक्षों को लंबवत नहीं होना चाहिए।

स्तिथि 3 एक दिशा में प्रवर्धन और दूसरे में अनुवाद से मेल खाता है।

प्रकरण 4 एक फैलाव के साथ संयुक्त कतरनी मानचित्रण से मेल खाती है।

प्रकरण 5 एक फैलाव के साथ संयुक्त कतरनी मानचित्रण से मेल खाती है।

स्तिथि 6 समानता (ज्यामिति) से मेल खाता है जब समन्वय अक्ष लंबवत होते हैं।

बिना किसी निश्चित बिंदु (गणित) के संबंध परिवर्तन 1, 3 और 5 के स्तिथियों से संबंधित हैं। परिवर्तन जो तल के उन्मुखीकरण को संरक्षित नहीं करते हैं, वे स्तिथि 2 (ab <0 के साथ) या 3 (<0 के साथ) से संबंधित हैं।

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

अन्य सजातीय समूह

सामान्य स्तिथि

सामान्य रेखीय समूह के किसी भी उपसमूह G < GL(V) को देखते हुए, कोई कभी-कभी निरूपित समूह Aff(G) का निर्माण निम्न रूप में कर सकता है

Aff(G) := VG

अधिक सामान्यतः और संक्षेप में, सदिश समष्टि V पर कोई समूह G और G का निरूपण निम्नलिखित रूप में दिया गया है,

किसी को [note 1] संबद्ध एफ़िन समूह Vρ G मिलता है: कोई कह सकता है कि प्राप्त सजातीय समूह "सदिश प्रतिनिधित्व द्वारा समूह विस्तार" है, और ऊपर के रूप में, किसी के पास कम सटीक अनुक्रम है:


विशेष सजातीय समूह

एक निश्चित आयतन रूप को संरक्षित करने वाले सभी व्युत्क्रमणीय सजातीय परिवर्तनों के उपसमुच्चय को विशेष सजातीय समूह कहा जाता है। यह समूह विशेष रेखीय समूह का सजातीय समधर्मी है। अर्ध-प्रत्यक्ष उत्पाद के संदर्भ में, विशेष सजातीय समूह में निर्धारक 1 के M के साथ (M, v) होते हैं, यानी, सजातीय परिवर्तन निम्न है

जहाँ M निर्धारक 1 का एक रैखिक परिवर्तन है और v कोई निश्चित अनुवाद सदिश है।

प्रक्षेपी उपसमूह

प्रोजेक्टिविटी के ज्ञान और प्रक्षेपी ज्यामिति के प्रक्षेपीय समूह को मानते हुए, सजातीय समूह को आसानी से निर्दिष्ट किया जा सकता है। उदाहरण के लिए, गुंटर एवाल्ड ने लिखा:[2]

सेट के सभी प्रक्षेप्य कोलिनेशन की Pn एक समूह है जिसे हम प्रक्षेपी समूह Pn कह सकते हैं। यदि हम हाइपरप्लेन ω को अनंत पर हाइपरप्लेन घोषित करके Pn से एफ़ाइन स्पेस An की ओर आगे बढ़ते हैं, तो हम An का affine समूह के उपसमूह के रूप में प्राप्त करते हैं, जिसमें सभी के तत्व जो ω स्थिर रखते हैं सम्मिलित हैं। ।


पोंकारे समूह

पोंकारे समूह लोरेंत्ज़ समूह O(1,3) का संबधित समूह है :

सापेक्षता के सिद्धांत में यह उदाहरण बहुत महत्वपूर्ण है।

यह भी देखें

टिप्पणियाँ

  1. Since GL(V) < Aut(V). Note that this containment is in general proper, since by "automorphisms" one means group automorphisms, i.e., they preserve the group structure on V (the addition and origin), but not necessarily scalar multiplication, and these groups differ if working over R.


संदर्भ

  1. Poole, David G. (November 1995). "स्टोकेस्टिक समूह". American Mathematical Monthly. 102 (9): 798–801.
  2. Ewald, Günter (1971). Geometry: An Introduction. Belmont: Wadsworth. p. 241. ISBN 9780534000349.