चरघातांकी प्रतिचित्र (लाई सिद्धांत): Difference between revisions
(Created page with "{{for|the exponential map from a subset of the tangent space of a Riemannian manifold to the manifold|Exponential map (Riemannian geometry)}} {{Lie groups |Algebras}} ला...") |
No edit summary |
||
(17 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
लाई समूहों के सिद्धांत में, '''घातीय मानचित्र''' लाई बीजगणित से <math>\mathfrak g</math> लाई समूह का <math>G</math> समूह के लिए मानचित्र है, जो किसी को लाई बीजगणित से स्थानीय समूह संरचना को पुनः प्राप्त करने की अनुमति देता है। '''घातीय मानचित्र''' का अस्तित्व प्राथमिक कारणों में से है कि लाई बीजगणित लाई समूहों का अध्ययन करने के लिए उपयोगी उपकरण है। | |||
गणितीय विश्लेषण का सामान्य घातांकीय फलन घातांकीय मानचित्र की विशेष स्थिति है <math>G</math> सकारात्मक वास्तविक संख्याओं का गुणनात्मक समूह है (जिसका लाई बीजगणित सभी वास्तविक संख्याओं का योगात्मक समूह है)। लाई समूह का घातीय मानचित्र सामान्य घातीय फलन के अनुरूप कई गुणों को संतुष्ट करता है, चूँकि, यह कई महत्वपूर्ण स्थितियों में भिन्न भी है। | |||
गणितीय विश्लेषण का सामान्य घातांकीय | |||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
मान लीजिये <math>G</math> लाई समूह बनें और <math>\mathfrak g</math> इसका लाई बीजगणित हो (<math>G</math> [[पहचान तत्व]] के [[स्पर्शरेखा स्थान]] के रूप में माना जाता है।) घातीय मानचित्र है: | |||
:<math>\exp\colon \mathfrak g \to G</math> | :<math>\exp\colon \mathfrak g \to G</math> | ||
जिसे कई | जिसे कई भिन्न-भिन्न विधियों से परिभाषित किया जा सकता है। विशिष्ट आधुनिक परिभाषा यह है: | ||
:परिभाषा: | :'''परिभाषा:''' <math>X\in\mathfrak g</math> का घातांक <math>\exp(X) = \gamma(1)</math> द्वारा दिया गया है। जहां; | ||
::<math>\gamma\colon \mathbb R \to G</math> | ::<math>\gamma\colon \mathbb R \to G</math> | ||
:का अद्वितीय [[एक-पैरामीटर उपसमूह]] है | :<math>G</math> का अद्वितीय [[एक-पैरामीटर उपसमूह]] है जिसकी पहचान पर [[स्पर्शरेखा सदिश]] <math>X</math> के समान है। | ||
यह [[श्रृंखला नियम]] | यह [[श्रृंखला नियम]] <math>\exp(tX) = \gamma(t)</math> का सरलता से पालन करता है। वो मानचित्र <math>\gamma</math> का निर्माण दाएं या बाएं-अपरिवर्तनीय [[वेक्टर फ़ील्ड|सदिश क्षेत्र]] के [[अभिन्न वक्र]] <math>X</math> के रूप में किया जा सकता है। यह कि सभी वास्तविक मापदंडों के लिए अभिन्न वक्र उपस्थित है, समाधान को शून्य के निकट दाएं या बाएं-अनुवाद द्वारा अनुसरण किया जाता है। | ||
आव्यूह लाई समूह की स्थिति में हमारे पास अधिक ठोस परिभाषा है। घातीय मानचित्र [[मैट्रिक्स घातांक|आव्यूह घातांक]] के साथ युग्मित होता है और सामान्य श्रृंखला विस्तार द्वारा दिया जाता है: | |||
: <math>\exp (X) = \sum_{k=0}^\infty\frac{X^k}{k!} = I + X + \frac{1}{2}X^2 + \frac{1}{6}X^3 + \cdots</math>, | : <math>\exp (X) = \sum_{k=0}^\infty\frac{X^k}{k!} = I + X + \frac{1}{2}X^2 + \frac{1}{6}X^3 + \cdots</math>, | ||
जहां <math>I</math> आइडेंटिटी आव्यूह है। इस प्रकार, आव्यूह लाई समूहों की व्यवस्था में, घातांकीय मानचित्र, लाई बीजगणित के लिए आव्यूह घातांक <math>\mathfrak g</math> का प्रतिबंध <math>G</math> है। | |||
===रीमैनियन घातीय मानचित्र के साथ तुलना=== | ===रीमैनियन घातीय मानचित्र के साथ तुलना=== | ||
यदि | यदि G कॉम्पैक्ट है, तो इसमें बाएं और दाएं अनुवाद के अंतर्गत रीमैनियन मीट्रिक अपरिवर्तनीय है, और G के लिए लाई-सैद्धांतिक घातीय मानचित्र इस रिमैनियन मीट्रिक के घातांक मानचित्र के साथ युग्मित होता है। | ||
सामान्य | सामान्य G के लिए, बाएँ और दाएँ दोनों अनुवादों के अंतर्गत रीमैनियन मीट्रिक अपरिवर्तनीय उपस्थित नहीं होता है। चूँकि, बाएं अनुवाद के अंतर्गत सदैव रीमैनियन मीट्रिक अपरिवर्तनीय होता है, बाएं-अपरिवर्तनीय मीट्रिक के लिए रीमैनियन ज्यामिति के अर्थ में घातीय मानचित्र सामान्य रूप से लाई समूह अर्थ में घातीय मानचित्र से सहमत नहीं होता है। कहने का तात्पर्य यह है कि, यदि G लाई समूह है, जो बाएं-किन्तु दाएं-अपरिवर्तनीय मीट्रिक से सुसज्जित नहीं है, तो समरूपता के माध्यम से जियोडेसिक्स G के एक-पैरामीटर उपसमूह नहीं होंगे। | ||
===अन्य परिभाषाएँ=== | ===अन्य परिभाषाएँ=== | ||
लाई- | लाई -समूह घातांक की अन्य समकक्ष परिभाषाएँ इस प्रकार हैं: | ||
* यह | * यह G पर विहित बाएं-अपरिवर्तनीय [[एफ़िन कनेक्शन|एफ़िन सम्बन्ध]] का घातीय मानचित्र है, जैसे कि [[समानांतर परिवहन]] बाएं अनुवाद द्वारा दिया जाता है। वह है, <math>\exp(X) = \gamma(1)</math> जहाँ <math>\gamma</math> समरूपता तत्व पर प्रारंभिक बिंदु और प्रारंभिक वेग X (स्पर्शरेखा सदिश के रूप में माना जाता है) के साथ अद्वितीय [[जियोडेसिक]] है। | ||
* यह | * यह G पर विहित दाएं-अपरिवर्तनीय एफ़िन सम्बन्ध का घातीय मानचित्र है। यह सामान्यतः विहित बाएं-अपरिवर्तनीय सम्बन्ध से भिन्न होता है, किन्तु दोनों सम्बन्धो में ही जियोडेसिक्स होता है (बाएं या दाएं गुणन द्वारा कार्य करने वाले 1-पैरामीटर उपसमूहों की कक्षाएं) तो वही घातीय मानचित्र दीजिए। | ||
* लाई समूह-लाई बीजगणित पत्राचार भी परिभाषा देता है: | * लाई समूह-लाई बीजगणित पत्राचार भी परिभाषा देता है: X इन के लिए <math>\mathfrak g</math>, <math>t \mapsto \exp(tX)</math> लाई बीजगणित समरूपता के अनुरूप अद्वितीय लाई समूह समरूपता <math>t \mapsto tX.</math>है I (टिप्पणी: <math>\operatorname{Lie}(\mathbb{R}) = \mathbb{R}</math>) | ||
== उदाहरण == | |||
* जटिल तल में 0 पर केन्द्रित इकाई वृत्त लाई समूह है (जिसे [[वृत्त समूह]] कहा जाता है) जिसके 1 पर स्पर्शरेखा स्थान को जटिल तल में काल्पनिक रेखा <math>\{it:t\in\mathbb R\}.</math> से पहचाना जा सकता है, इस लाई समूह के लिए घातीय मानचित्र द्वारा दिया गया है:- | |||
:: <math>it \mapsto \exp(it) = e^{it} = \cos(t) + i\sin(t),\,</math> | |||
:अर्थात्, सामान्य सम्मिश्र घातांक के समान सूत्र है। | |||
== | * अधिक सामान्यतः, [[जटिल टोरस]] के लिए<ref>{{Cite book|last=Birkenhake|first=Christina|url=https://www.worldcat.org/oclc/851380558|title=जटिल एबेलियन किस्में|date=2004|publisher=Springer Berlin Heidelberg|others=Herbert Lange|isbn=978-3-662-06307-1|edition=Second, augmented|location=Berlin, Heidelberg|oclc=851380558}}</ref><sup>पृष्ठ 8</sup> <math>X = \mathbb{C}^n/\Lambda</math> कुछ अभिन्न [[जाली (समूह)|लाई (समूह)]] के लिए <math>\Lambda</math> रैंक का <math>n</math> (इतना समरूपी <math>\mathbb{Z}^n</math>) टोरस [[यूनिवर्सल कवर]] से सुसज्जित है I | ||
<math>\pi: \mathbb{C}^n \to X</math> | |||
लाई द्वारा भागफल से तब से <math>X</math> स्थानीय रूप से समरूपी है I <math>\mathbb{C}^n</math> जटिल विविध के रूप में, हम इसे स्पर्शरेखा स्थान से पहचान सकते हैं I <math>T_0X</math>, और मानचित्र; | |||
<math>\pi:T_0X \to X</math> | |||
जटिल लाई समूह के लिए घातीय मानचित्र <math>X</math> से युग्मित होता है I | |||
* चतुर्भुज में <math>\mathbb H</math>, [[ मैं मुड़ा ]] का | * चतुर्भुज में <math>\mathbb H</math>, [[ मैं मुड़ा |इकाई लंबाई के चतुर्भुजों]] का समुच्चय लाई समूह बनाता है (विशेष एकात्मक समूह {{math|''SU''(2)}} के समरूपी) जिसका 1 पर स्पर्शरेखा स्थान विशुद्ध रूप से काल्पनिक चतुर्भुजों <math>\{it+ju + kv :t, u, v\in\mathbb R\}</math> के स्थान से पहचाना जा सकता है, इस लाई समूह के लिए घातीय मानचित्र द्वारा दिया गया है: | ||
:: <math>\mathbf{w} := (it+ju+kv) \mapsto \exp(it+ju+kv) = \cos(|\mathbf{w}|)1 + \sin(|\mathbf{w}|)\frac{\mathbf{w}}{|\mathbf{w}|}.\,</math> | :: <math>\mathbf{w} := (it+ju+kv) \mapsto \exp(it+ju+kv) = \cos(|\mathbf{w}|)1 + \sin(|\mathbf{w}|)\frac{\mathbf{w}}{|\mathbf{w}|}.\,</math> | ||
: यह मानचित्र त्रिज्या | : यह मानचित्र त्रिज्या {{mvar|R}} के 2-गोले को विशुद्ध रूप से काल्पनिक चतुर्भुज <math>\{s\in S^3 \subset \mathbf{H}: \operatorname{Re}(s) = \cos(R)\} </math> के अंदर ले जाता है, त्रिज्या का 2-गोला <math>\sin(R)</math> (सीएफ पाउली सदिश का घातांक) है। इसकी तुलना ऊपर दिए गए पूर्व उदाहरण से करें। | ||
* मान लीजिए V | * मान लीजिए V परिमित आयामी वास्तविक सदिश समष्टि है, और इसे सदिश जोड़ के संचालन के अंतर्गत लाई समूह के रूप में देखें। तब <math>\operatorname{Lie}(V) = V</math> 0 पर इसके स्पर्शरेखा स्थान और घातीय मानचित्र के साथ V की समरूपता के माध्यम से इस प्रकार है:- | ||
::<math>\operatorname{exp}: \operatorname{Lie}(V) = V \to V</math> | ::<math>\operatorname{exp}: \operatorname{Lie}(V) = V \to V</math> | ||
: | :समरूपता मानचित्र है, अर्थात, <math>\exp(v)=v</math> | ||
*विभाजित-संमिश्र संख्या तल में <math>z = x + y \jmath , \quad \jmath^2 = +1,</math> काल्पनिक रेखा <math>\lbrace \jmath t : t \in \mathbb R \rbrace</math> इकाई हाइपरबोला समूह का बीजगणित बनाता है <math>\lbrace \cosh t + \jmath \ \sinh t : t \in \mathbb R \rbrace</math> चूँकि घातीय मानचित्र द्वारा दिया गया है | *विभाजित-संमिश्र संख्या तल में <math>z = x + y \jmath , \quad \jmath^2 = +1,</math> काल्पनिक रेखा <math>\lbrace \jmath t : t \in \mathbb R \rbrace</math> इकाई हाइपरबोला समूह का बीजगणित बनाता है, <math>\lbrace \cosh t + \jmath \ \sinh t : t \in \mathbb R \rbrace</math> चूँकि घातीय मानचित्र द्वारा दिया गया है: | ||
::<math>\jmath t \mapsto \exp(\jmath t) = \cosh t + \jmath \ \sinh t.</math> | ::<math>\jmath t \mapsto \exp(\jmath t) = \cosh t + \jmath \ \sinh t.</math> | ||
== गुण == | |||
==गुण== | |||
===घातांक के प्राथमिक गुण=== | ===घातांक के प्राथमिक गुण=== | ||
सभी के लिए <math>X\in\mathfrak g</math>, वो | सभी के लिए <math>X\in\mathfrak g</math>, वो मानचित्र <math>\gamma(t) = \exp(tX)</math> का अद्वितीय पैरामीटर उपसमूह है I <math>G</math> जिसकी पहचान पर स्पर्शरेखा सदिश <math>X</math> है I यह इस प्रकार है कि: | ||
* <math>\exp((t+s)X) = \exp (tX)\exp (sX)\,</math> | * <math>\exp((t+s)X) = \exp (tX)\exp (sX)\,</math> | ||
* <math>\exp(-X) =\exp (X)^{-1}.\,</math> | * <math>\exp(-X) =\exp (X)^{-1}.\,</math> | ||
सामान्यतः | |||
* <math>\exp(X+Y)=\exp(X)\exp(Y),\quad\text{if }[X,Y]=0</math>. | * <math>\exp(X+Y)=\exp(X)\exp(Y),\quad\text{if }[X,Y]=0</math>. | ||
इस बात पर | इस बात पर ध्यान देना आवश्यक है कि लाई पहचान सामान्य रूप से कायम नहीं है; यह धारणा <math>X</math> और <math>Y</math> आवागमन महत्वपूर्ण है I | ||
घातीय मानचित्र की छवि | घातीय मानचित्र की छवि सदैव [[पहचान घटक]] <math>G</math> में निहित होती है I | ||
=== | ===समरूपता के निकट घातांक=== | ||
घातीय मानचित्र <math>\exp\colon \mathfrak g \to G</math> | घातीय मानचित्र <math>\exp\colon \mathfrak g \to G</math> सहज मानचित्र है I यह शून्य पर पुशफॉरवर्ड (अंतर) है, <math>\exp_{*}\colon \mathfrak g \to \mathfrak g</math>, समरूपता मानचित्र है (सामान्य पहचान के साथ)। | ||
व्युत्क्रम | व्युत्क्रम फलन प्रमेय से यह निष्कर्ष निकलता है कि घातांकीय मानचित्र, इसलिए, 0 के कुछ निकट से [[भिन्नता]] तक सीमित है I <math>\mathfrak g</math> 1 इंच के निकट में <math>G</math> है <ref>{{harvnb|Hall|2015}} Corollary 3.44</ref> यह प्रदर्शित करना कठिन नहीं है कि यदि G जुड़ा हुआ है, तो G का प्रत्येक तत्व g, के तत्वों के घातांक का गुणनफल है। <math>\mathfrak g</math>:<ref>{{harvnb|Hall|2015}} Corollary 3.47</ref><math>g=\exp(X_1)\exp(X_2)\cdots\exp(X_n),\quad X_j\in\mathfrak g</math> | ||
यह | |||
विश्व स्तर पर, घातीय मानचित्र आवश्यक रूप से विशेषणात्मक नहीं है। इसके | विश्व स्तर पर, घातीय मानचित्र आवश्यक रूप से विशेषणात्मक नहीं है। इसके अतिरिक्त , घातीय मानचित्र सभी बिंदुओं पर स्थानीय भिन्नता नहीं हो सकता है। उदाहरण के लिए, घातीय मानचित्र <math>\mathfrak{so}</math>(3) [[घूर्णन समूह SO(3)]]|SO(3) स्थानीय भिन्नता नहीं है; इस विफलता पर [[कट लोकस (रीमैनियन मैनिफोल्ड)]] भी देखें। अधिक जानकारी के लिए [[घातीय मानचित्र का व्युत्पन्न]] देखें। | ||
===घातांक की प्रत्यक्षता=== | ===घातांक की प्रत्यक्षता=== | ||
इन महत्वपूर्ण विशेष | इन महत्वपूर्ण विशेष विषयों में, घातीय मानचित्र सदैव विशेषण के रूप में जाना जाता है: | ||
* | * G संयुक्त है और कॉम्पैक्ट है,<ref>{{harvnb|Hall|2015}} Corollary 11.10</ref> | ||
* | * G संयुक्त और निलपोटेंट है (उदाहरण के लिए, G कनेक्टेड और एबेलियन), और | ||
* <math>G = GL_n(\mathbb{C})</math> | * <math>G = GL_n(\mathbb{C})</math><ref>{{harvnb|Hall|2015}} Exercises 2.9 and 2.10</ref> | ||
उपरोक्त किसी भी शर्त को | उपरोक्त किसी भी शर्त को पूर्ण नहीं करने वाले समूहों के लिए, घातीय मानचित्र विशेषणात्मक हो भी सकता है और नहीं भी। | ||
संयुक्त किन्तु गैर-कॉम्पैक्ट समूह SL2(R)|SL के घातीय मानचित्र की छवि ''SL''<sub>2</sub>('''R''') पूर्ण समूह नहीं है. इसकी छवि में या तो सकारात्मक या मापांक 1 के साथ आइगेनवैल्यू के साथ C-विकर्ण आव्यूह और दोहराए गए आइगेनवैल्यू 1 के साथ गैर-विकर्ण आव्यूह और आव्यूह <math>-I</math> सम्मिलित हैं। (इस प्रकार, छवि वास्तविक, नकारात्मक आइगेनवैल्यू के अतिरिक्त अन्य आव्यूह <math>-I</math> को बाहर कर देती है।)<ref>{{harvnb|Hall|2015}} Exercise 3.22</ref> | |||
===घातांकीय मानचित्र और समरूपताएँ=== | ===घातांकीय मानचित्र और समरूपताएँ=== | ||
<math>\phi\colon G \to H</math> लाई समूह समरूपता बनें और <math>\phi_{*}</math> पहचान पर इसका पुशफॉरवर्ड (अंतर) हो। फिर निम्नलिखित आरेख [[क्रमविनिमेय आरेख]] हैं:<ref>{{harvnb|Hall|2015}} Theorem 3.28</ref> | |||
[[File:ExponentialMap-01.png|center]]विशेष रूप से, जब किसी लाई समूह के लाई समूह के आसन्न प्रतिनिधित्व पर | [[File:ExponentialMap-01.png|center]]विशेष रूप से, जब किसी लाई समूह के लाई समूह के आसन्न प्रतिनिधित्व पर प्रस्तावित किया जाता है I <math>G</math>, तब से <math>\operatorname{Ad}_* = \operatorname{ad}</math>, हमारे निकट उपयोगी समरूपता है:<ref>{{harvnb|Hall|2015}} Proposition 3.35</ref> | ||
: <math>\mathrm{Ad}_{\exp X}(Y)=\exp(\mathrm{ad}_X)(Y)=Y+[X,Y]+\frac{1}{2!}[X,[X,Y]]+\frac{1}{3!}[X,[X,[X,Y]]]+\cdots</math>. | : <math>\mathrm{Ad}_{\exp X}(Y)=\exp(\mathrm{ad}_X)(Y)=Y+[X,Y]+\frac{1}{2!}[X,[X,Y]]+\frac{1}{3!}[X,[X,[X,Y]]]+\cdots</math>. | ||
== लघुगणकीय निर्देशांक == | == लघुगणकीय निर्देशांक == | ||
लाई समूह दिया गया, <math>G</math> लाई बीजगणित के साथ <math>\mathfrak{g}</math>, आधार की प्रत्येक पसंद <math>X_1, \dots, X_n</math> का <math>\mathfrak{g}</math> G के लिए समरूपता तत्व e के निकट समन्वय लाई को निम्नानुसार निर्धारित करता है। [[व्युत्क्रम फलन प्रमेय]] द्वारा, घातीय मानचित्र <math>\operatorname{exp} : N \overset{\sim}\to U</math> किसी पड़ोस से भिन्नरूपता है I <math>N \subset \mathfrak{g} \simeq \mathbb{R}^n</math> पड़ोस की उत्पत्ति <math>U</math> का <math>e \in G</math> इसके विपरीत: | |||
:<math>\log: U \overset{\sim}\to N \subset \mathbb{R}^n</math> | :<math>\log: U \overset{\sim}\to N \subset \mathbb{R}^n</math> | ||
U पर समन्वय प्रणाली है। इसे विभिन्न नामों से जाना जाता है, जैसे लघुगणक निर्देशांक, घातीय निर्देशांक या सामान्य निर्देशांक आदि। अनुप्रयोगों में उनका उपयोग कैसे किया जाता है, इसके उदाहरण के लिए बंद-उपसमूह प्रमेय अवलोकन देखें। | |||
'टिप्पणी': | '''<nowiki/>'टिप्पणी':''' ओपन आवरण <math>\{ U g | g \in G \}</math> G को वास्तविक-विश्लेषणात्मक विविध की संरचना देता है, जैसे कि समूह संचालन <math>(g, h) \mapsto gh^{-1}</math> वास्तविक-विश्लेषणात्मक है।{{sfn|Kobayashi|Nomizu|1996|p=43}} | ||
==यह भी देखें== | ==यह भी देखें== | ||
*घातांकीय विषयों की सूची | *घातांकीय विषयों की सूची | ||
*घातांकीय मानचित्र का व्युत्पन्न | *घातांकीय मानचित्र का व्युत्पन्न | ||
* | * आव्यूह घातांक | ||
==उद्धरण== | ==उद्धरण== | ||
{{Reflist|20em}} | {{Reflist|20em}} | ||
==उद्धृत कार्य== | ==उद्धृत कार्य== | ||
Line 129: | Line 126: | ||
{{DEFAULTSORT:Exponential Map}} | {{DEFAULTSORT:Exponential Map}} | ||
[[Category: | |||
[[Category:Created On 04/07/2023]] | [[Category:Articles with hatnote templates targeting a nonexistent page|Exponential Map]] | ||
[[Category:Created On 04/07/2023|Exponential Map]] | |||
[[Category:Machine Translated Page|Exponential Map]] | |||
[[Category:Pages with script errors|Exponential Map]] | |||
[[Category:Templates Translated in Hindi|Exponential Map]] | |||
[[Category:Templates Vigyan Ready|Exponential Map]] |
Latest revision as of 11:33, 1 November 2023
लाई समूहों के सिद्धांत में, घातीय मानचित्र लाई बीजगणित से लाई समूह का समूह के लिए मानचित्र है, जो किसी को लाई बीजगणित से स्थानीय समूह संरचना को पुनः प्राप्त करने की अनुमति देता है। घातीय मानचित्र का अस्तित्व प्राथमिक कारणों में से है कि लाई बीजगणित लाई समूहों का अध्ययन करने के लिए उपयोगी उपकरण है।
गणितीय विश्लेषण का सामान्य घातांकीय फलन घातांकीय मानचित्र की विशेष स्थिति है सकारात्मक वास्तविक संख्याओं का गुणनात्मक समूह है (जिसका लाई बीजगणित सभी वास्तविक संख्याओं का योगात्मक समूह है)। लाई समूह का घातीय मानचित्र सामान्य घातीय फलन के अनुरूप कई गुणों को संतुष्ट करता है, चूँकि, यह कई महत्वपूर्ण स्थितियों में भिन्न भी है।
परिभाषाएँ
मान लीजिये लाई समूह बनें और इसका लाई बीजगणित हो ( पहचान तत्व के स्पर्शरेखा स्थान के रूप में माना जाता है।) घातीय मानचित्र है:
जिसे कई भिन्न-भिन्न विधियों से परिभाषित किया जा सकता है। विशिष्ट आधुनिक परिभाषा यह है:
- परिभाषा: का घातांक द्वारा दिया गया है। जहां;
- का अद्वितीय एक-पैरामीटर उपसमूह है जिसकी पहचान पर स्पर्शरेखा सदिश के समान है।
यह श्रृंखला नियम का सरलता से पालन करता है। वो मानचित्र का निर्माण दाएं या बाएं-अपरिवर्तनीय सदिश क्षेत्र के अभिन्न वक्र के रूप में किया जा सकता है। यह कि सभी वास्तविक मापदंडों के लिए अभिन्न वक्र उपस्थित है, समाधान को शून्य के निकट दाएं या बाएं-अनुवाद द्वारा अनुसरण किया जाता है।
आव्यूह लाई समूह की स्थिति में हमारे पास अधिक ठोस परिभाषा है। घातीय मानचित्र आव्यूह घातांक के साथ युग्मित होता है और सामान्य श्रृंखला विस्तार द्वारा दिया जाता है:
- ,
जहां आइडेंटिटी आव्यूह है। इस प्रकार, आव्यूह लाई समूहों की व्यवस्था में, घातांकीय मानचित्र, लाई बीजगणित के लिए आव्यूह घातांक का प्रतिबंध है।
रीमैनियन घातीय मानचित्र के साथ तुलना
यदि G कॉम्पैक्ट है, तो इसमें बाएं और दाएं अनुवाद के अंतर्गत रीमैनियन मीट्रिक अपरिवर्तनीय है, और G के लिए लाई-सैद्धांतिक घातीय मानचित्र इस रिमैनियन मीट्रिक के घातांक मानचित्र के साथ युग्मित होता है।
सामान्य G के लिए, बाएँ और दाएँ दोनों अनुवादों के अंतर्गत रीमैनियन मीट्रिक अपरिवर्तनीय उपस्थित नहीं होता है। चूँकि, बाएं अनुवाद के अंतर्गत सदैव रीमैनियन मीट्रिक अपरिवर्तनीय होता है, बाएं-अपरिवर्तनीय मीट्रिक के लिए रीमैनियन ज्यामिति के अर्थ में घातीय मानचित्र सामान्य रूप से लाई समूह अर्थ में घातीय मानचित्र से सहमत नहीं होता है। कहने का तात्पर्य यह है कि, यदि G लाई समूह है, जो बाएं-किन्तु दाएं-अपरिवर्तनीय मीट्रिक से सुसज्जित नहीं है, तो समरूपता के माध्यम से जियोडेसिक्स G के एक-पैरामीटर उपसमूह नहीं होंगे।
अन्य परिभाषाएँ
लाई -समूह घातांक की अन्य समकक्ष परिभाषाएँ इस प्रकार हैं:
- यह G पर विहित बाएं-अपरिवर्तनीय एफ़िन सम्बन्ध का घातीय मानचित्र है, जैसे कि समानांतर परिवहन बाएं अनुवाद द्वारा दिया जाता है। वह है, जहाँ समरूपता तत्व पर प्रारंभिक बिंदु और प्रारंभिक वेग X (स्पर्शरेखा सदिश के रूप में माना जाता है) के साथ अद्वितीय जियोडेसिक है।
- यह G पर विहित दाएं-अपरिवर्तनीय एफ़िन सम्बन्ध का घातीय मानचित्र है। यह सामान्यतः विहित बाएं-अपरिवर्तनीय सम्बन्ध से भिन्न होता है, किन्तु दोनों सम्बन्धो में ही जियोडेसिक्स होता है (बाएं या दाएं गुणन द्वारा कार्य करने वाले 1-पैरामीटर उपसमूहों की कक्षाएं) तो वही घातीय मानचित्र दीजिए।
- लाई समूह-लाई बीजगणित पत्राचार भी परिभाषा देता है: X इन के लिए , लाई बीजगणित समरूपता के अनुरूप अद्वितीय लाई समूह समरूपता है I (टिप्पणी: )
उदाहरण
- जटिल तल में 0 पर केन्द्रित इकाई वृत्त लाई समूह है (जिसे वृत्त समूह कहा जाता है) जिसके 1 पर स्पर्शरेखा स्थान को जटिल तल में काल्पनिक रेखा से पहचाना जा सकता है, इस लाई समूह के लिए घातीय मानचित्र द्वारा दिया गया है:-
- अर्थात्, सामान्य सम्मिश्र घातांक के समान सूत्र है।
- अधिक सामान्यतः, जटिल टोरस के लिए[1]पृष्ठ 8 कुछ अभिन्न लाई (समूह) के लिए रैंक का (इतना समरूपी ) टोरस यूनिवर्सल कवर से सुसज्जित है I
लाई द्वारा भागफल से तब से स्थानीय रूप से समरूपी है I जटिल विविध के रूप में, हम इसे स्पर्शरेखा स्थान से पहचान सकते हैं I , और मानचित्र;
जटिल लाई समूह के लिए घातीय मानचित्र से युग्मित होता है I
- चतुर्भुज में , इकाई लंबाई के चतुर्भुजों का समुच्चय लाई समूह बनाता है (विशेष एकात्मक समूह SU(2) के समरूपी) जिसका 1 पर स्पर्शरेखा स्थान विशुद्ध रूप से काल्पनिक चतुर्भुजों के स्थान से पहचाना जा सकता है, इस लाई समूह के लिए घातीय मानचित्र द्वारा दिया गया है:
- यह मानचित्र त्रिज्या R के 2-गोले को विशुद्ध रूप से काल्पनिक चतुर्भुज के अंदर ले जाता है, त्रिज्या का 2-गोला (सीएफ पाउली सदिश का घातांक) है। इसकी तुलना ऊपर दिए गए पूर्व उदाहरण से करें।
- मान लीजिए V परिमित आयामी वास्तविक सदिश समष्टि है, और इसे सदिश जोड़ के संचालन के अंतर्गत लाई समूह के रूप में देखें। तब 0 पर इसके स्पर्शरेखा स्थान और घातीय मानचित्र के साथ V की समरूपता के माध्यम से इस प्रकार है:-
- समरूपता मानचित्र है, अर्थात,
- विभाजित-संमिश्र संख्या तल में काल्पनिक रेखा इकाई हाइपरबोला समूह का बीजगणित बनाता है, चूँकि घातीय मानचित्र द्वारा दिया गया है:
गुण
घातांक के प्राथमिक गुण
सभी के लिए , वो मानचित्र का अद्वितीय पैरामीटर उपसमूह है I जिसकी पहचान पर स्पर्शरेखा सदिश है I यह इस प्रकार है कि:
सामान्यतः
- .
इस बात पर ध्यान देना आवश्यक है कि लाई पहचान सामान्य रूप से कायम नहीं है; यह धारणा और आवागमन महत्वपूर्ण है I
घातीय मानचित्र की छवि सदैव पहचान घटक में निहित होती है I
समरूपता के निकट घातांक
घातीय मानचित्र सहज मानचित्र है I यह शून्य पर पुशफॉरवर्ड (अंतर) है, , समरूपता मानचित्र है (सामान्य पहचान के साथ)।
व्युत्क्रम फलन प्रमेय से यह निष्कर्ष निकलता है कि घातांकीय मानचित्र, इसलिए, 0 के कुछ निकट से भिन्नता तक सीमित है I 1 इंच के निकट में है [2] यह प्रदर्शित करना कठिन नहीं है कि यदि G जुड़ा हुआ है, तो G का प्रत्येक तत्व g, के तत्वों के घातांक का गुणनफल है। :[3]
विश्व स्तर पर, घातीय मानचित्र आवश्यक रूप से विशेषणात्मक नहीं है। इसके अतिरिक्त , घातीय मानचित्र सभी बिंदुओं पर स्थानीय भिन्नता नहीं हो सकता है। उदाहरण के लिए, घातीय मानचित्र (3) घूर्णन समूह SO(3)|SO(3) स्थानीय भिन्नता नहीं है; इस विफलता पर कट लोकस (रीमैनियन मैनिफोल्ड) भी देखें। अधिक जानकारी के लिए घातीय मानचित्र का व्युत्पन्न देखें।
घातांक की प्रत्यक्षता
इन महत्वपूर्ण विशेष विषयों में, घातीय मानचित्र सदैव विशेषण के रूप में जाना जाता है:
- G संयुक्त है और कॉम्पैक्ट है,[4]
- G संयुक्त और निलपोटेंट है (उदाहरण के लिए, G कनेक्टेड और एबेलियन), और
- [5]
उपरोक्त किसी भी शर्त को पूर्ण नहीं करने वाले समूहों के लिए, घातीय मानचित्र विशेषणात्मक हो भी सकता है और नहीं भी।
संयुक्त किन्तु गैर-कॉम्पैक्ट समूह SL2(R)|SL के घातीय मानचित्र की छवि SL2(R) पूर्ण समूह नहीं है. इसकी छवि में या तो सकारात्मक या मापांक 1 के साथ आइगेनवैल्यू के साथ C-विकर्ण आव्यूह और दोहराए गए आइगेनवैल्यू 1 के साथ गैर-विकर्ण आव्यूह और आव्यूह सम्मिलित हैं। (इस प्रकार, छवि वास्तविक, नकारात्मक आइगेनवैल्यू के अतिरिक्त अन्य आव्यूह को बाहर कर देती है।)[6]
घातांकीय मानचित्र और समरूपताएँ
लाई समूह समरूपता बनें और पहचान पर इसका पुशफॉरवर्ड (अंतर) हो। फिर निम्नलिखित आरेख क्रमविनिमेय आरेख हैं:[7]
विशेष रूप से, जब किसी लाई समूह के लाई समूह के आसन्न प्रतिनिधित्व पर प्रस्तावित किया जाता है I , तब से , हमारे निकट उपयोगी समरूपता है:[8]
- .
लघुगणकीय निर्देशांक
लाई समूह दिया गया, लाई बीजगणित के साथ , आधार की प्रत्येक पसंद का G के लिए समरूपता तत्व e के निकट समन्वय लाई को निम्नानुसार निर्धारित करता है। व्युत्क्रम फलन प्रमेय द्वारा, घातीय मानचित्र किसी पड़ोस से भिन्नरूपता है I पड़ोस की उत्पत्ति का इसके विपरीत:
U पर समन्वय प्रणाली है। इसे विभिन्न नामों से जाना जाता है, जैसे लघुगणक निर्देशांक, घातीय निर्देशांक या सामान्य निर्देशांक आदि। अनुप्रयोगों में उनका उपयोग कैसे किया जाता है, इसके उदाहरण के लिए बंद-उपसमूह प्रमेय अवलोकन देखें।
'टिप्पणी': ओपन आवरण G को वास्तविक-विश्लेषणात्मक विविध की संरचना देता है, जैसे कि समूह संचालन वास्तविक-विश्लेषणात्मक है।[9]
यह भी देखें
- घातांकीय विषयों की सूची
- घातांकीय मानचित्र का व्युत्पन्न
- आव्यूह घातांक
उद्धरण
- ↑ Birkenhake, Christina (2004). जटिल एबेलियन किस्में. Herbert Lange (Second, augmented ed.). Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 978-3-662-06307-1. OCLC 851380558.
- ↑ Hall 2015 Corollary 3.44
- ↑ Hall 2015 Corollary 3.47
- ↑ Hall 2015 Corollary 11.10
- ↑ Hall 2015 Exercises 2.9 and 2.10
- ↑ Hall 2015 Exercise 3.22
- ↑ Hall 2015 Theorem 3.28
- ↑ Hall 2015 Proposition 3.35
- ↑ Kobayashi & Nomizu 1996, p. 43.
उद्धृत कार्य
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666.
- Helgason, Sigurdur (2001), Differential geometry, Lie groups, and symmetric spaces, Graduate Studies in Mathematics, vol. 34, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2848-9, MR 1834454.
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, vol. 1 (New ed.), Wiley-Interscience, ISBN 0-471-15733-3.
- "Exponential mapping", Encyclopedia of Mathematics, EMS Press, 2001 [1994]