लाई (lie) बीजगणित: Difference between revisions

गणित में, लाई बीजगणित (जिसका उच्चारण {{IPAc-en|l|iː}} {{respell|LEE}}) वह सदिश स्थान है जिसे <math>\mathfrak g</math> के साथ एक [[बाइनरी ऑपरेशन|द्वि-आधारी संक्रिया]] के रूप में लाई कोष्ठक कहा जाता है, यह वैकल्पिक बहुरेखीय मानचित्र <math>\mathfrak g \times \mathfrak g \rightarrow \mathfrak g</math>, जो [[जैकोबी पहचान|जैकोबी समरूपता]] को संतुष्ट करता है। दो सदिशों का लाई कोष्ठक <math>x</math> तथा <math>y</math> निरूपित किया जाता है, <math>[x,y]</math>। {{efn|The brackets {{math|[,]}} represent bilinear operation <math>\times</math>; often, it is the [[commutator]]: <math>[x,y] =x y - yx</math>, for an associative product on the same vector space. But not necessarily!}} सदिश स्थान <math>\mathfrak g</math> और यह संक्रिया एक गैर-सहयोगी बीजगणित है, जिसका अर्थ है कि लाइ कोष्ठक आवश्यक रूप से साहचर्य गुण नहीं है।  

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

भौतिक विज्ञान में, लाई समूह भौतिक प्रणालियों के सममित समूहों के रूप में प्रकट होते हैं, और उनके लाई बीजगणित (सममित के निकट स्पर्शरेखा सदिश) को अतिसूक्ष्म सममित गति के रूप में माना जा सकता है। इस प्रकार बीजगणित और उनके निरूपण भौतिकी में बड़े पैमाने पर उपयोग किए जाते हैं, विशेष रूप से [[क्वांटम यांत्रिकी]] और कण भौतिकी में।  

संकर उत्पाद <math>[x,y]=x\times y</math> द्वारा परिभाषित कोष्ठक संक्रिया के साथ एक प्राथमिक उदाहरण तीन आयामी सदिश <math>\mathfrak{g}=\mathbb{R}^3</math> का स्थानहै। यह तिरछा-सममित है क्योंकि<math>x\times y = -y\times x</math>, और सहयोगीता के अतिरिक्त यह जैकोबी सममित को संतुष्ट करता है:

यह स्थान के घूर्णन के लाई समूह का लाई बीजगणित है,और प्रत्येक सदिश <math>v\in\R^3</math> को अक्ष <math>v</math> के चारों ओर एक अतिसूक्ष्म घुमाव के रूप में चित्रित किया जा सकता है, <math>v</math> के परिमाण के बराबर वेग के साथ। लाइ कोष्ठक दो घुमावों के बीच गैर-क्रमविनिमेयता का एक माप है: चूँकि घूर्णन अपने साथ चलता है, हमारे पास वैकल्पिक गुण <math>[x,x]=x\times x = 0</math> है।  

1870 में [[सोफस झूठ|सोफस लाई]] द्वारा अत्यल्प परिवर्तनों की अवधारणा का अध्ययन करने के लिए लाई बीजगणित को प्रारंभ किया गया था,<ref>{{harvnb|O'Connor|Robertson|2000}}</ref> और स्वतंत्र रूप से 1880 में [[विल्हेम हत्या|विल्हेम किलिंग]] द्वारा खोजा गया<ref>{{harvnb|O'Connor|Robertson|2005}}</ref>। लाई बीजगणित नाम 1930 में [[हरमन वेइल]] द्वारा दिया गया था; प्राचीन ग्रंथों में, शब्द अत्यल्प समूह का प्रयोग किया जाता है।  

: सभी अदिश के लिए <math>a</math>, <math>b</math> में <math>F</math> और सभी तत्वों <math>x</math>,<math>y</math>,<math>z</math> में <math>\mathfrak{g}</math>।  

:सभी के लिए <math>x</math> में <math>\mathfrak{g}</math>।  

:सभी के लिए <math>x</math>,<math>y</math>,<math>z</math>में <math>\mathfrak{g}</math>।  

=== उत्पादक और आयाम ===

लाई बीजगणित के तत्व <math>\mathfrak{g}</math> इसे उत्पादक (गणित) कहा जाता है यदि इन तत्वों से युक्त सबसे छोटा उपबीजगणित <math>\mathfrak{g}</math> है। लाई बीजगणित का आयाम सदिश स्थान के रूप में इसका आयाम <math>F</math> है। लाई बीजगणित के न्यूनतम उत्पादक समूह की प्रमुखता सदैव इसके आयाम से कम या उसके बराबर होती है।  

अन्य छोटे उदाहरणों के लिए निम्न-आयामी वास्तविक लाई बीजगणित का वर्गीकरण देखें।  

लाइ कोष्ठक को साहचर्य होने की आवश्यकता नहीं है, जिसका अर्थ है कि <math>[[x,y],z]</math> को बराबर <math>[x,[y,z]]</math> की आवश्यकता नहीं है। यद्यपि, यह [[लचीला बीजगणित|नम्य बीजगणित]] है। फिर भी, साहचर्य वलय (गणित) और [[साहचर्य बीजगणित]] की अधिकांश शब्दावली सामान्यतः लाई बीजगणित पर लागू होती है। एक लाई उपबीजगणित एक उपस्थान <math>\mathfrak{h} \subseteq \mathfrak{g}</math> है जो लाई कोष्ठक के अधीन बंद है। इस प्रकार एक आदर्श <math>\mathfrak i\subseteq\mathfrak{g}</math> मजबूत स्थिति को संतुष्ट करने वाला एक उपबीजगणित है:<ref>Due to the anticommutativity of the commutator, the notions of a left and right ideal in a Lie algebra coincide.</ref>

एक लाई बीजगणित सममित एक रेखीय मानचित्र है जो संबंधित लाई कोष्ठक के साथ संगत है:

साहचर्य वलयों के लिए, आदर्श सममित के कर्नेल (बीजगणित) हैं;इसमें एक लाई बीजगणित <math>\mathfrak{g}</math> और एक आदर्श <math>\mathfrak i</math> दिया गया है, कारक बीजगणित या भागफल बीजगणित <math>\mathfrak{g}/\mathfrak i</math> का निर्माण करता है, और पहली तुल्यकारिता प्रमेय लाई बीजगणित के लिए मान्य है।  

चूँकि लाई कोष्ठक संबंधित लाई समूह का एक प्रकार का अतिसूक्ष्म [[कम्यूटेटर|दिकपरिवर्तक]] है, हम कहते हैं कि दो तत्व <math>x,y\in\mathfrak g</math> परिवर्तित करते हैं यदि उनका कोष्ठक: <math>[x,y]=0</math> अदृश्य हो जाता है।  

एक उपसमुच्चय का [[केंद्रक]] उपबीजगणित <math>S\subset \mathfrak{g}</math> के साथ आने वाले तत्वों <math>S</math>: का वह समूह <math>\mathfrak{z}_{\mathfrak g}(S) = \{x\in\mathfrak g\ \mid\ [x, s] = 0 \ \text{ for all } s\in S\}</math> है। <math>\mathfrak{g}</math> का केंद्रक ही <math>\mathfrak{z}(\mathfrak{g})</math> केंद्र है। इसी तरह, एक उप-स्थान S के लिए, सामान्यक उपबीजगणित का <math>S</math> <math>\mathfrak{n}_{\mathfrak g}(S) = \{x\in\mathfrak g\ \mid\ [x,s]\in S \ \text{ for all}\ s\in S\}</math> है। <ref>{{harvnb|Jacobson|1962|p=28}}</ref> समान रूप से, यदि <math>S</math> एक लाई उपबीजगणित है, <math>\mathfrak{n}_{\mathfrak g}(S)</math> सबसे बड़ा उपबीजगणित <math>S</math> का <math>\mathfrak{n}_{\mathfrak g}(S)</math>आदर्श है।  

<math>\mathfrak{d}(2)</math> एक उपबीजगणित दिखाता है ,लेकिन एक आदर्श नहीं है। वस्तुतः, लाई बीजगणित के प्रत्येक एक-आयामी रैखिक उप-स्थान में प्रेरित एबेलियन लाइ बीजगणित संरचना होती है, जो प्रायः आदर्श नहीं होती है। किसी साधारण लाई बीजगणित के लिए, सभी एबेलियन लाई बीजगणित कभी भी आदर्श नहीं हो सकते।  

मान लीजिए कि <math>\mathfrak{g}</math> एक लाई बीजगणित है और <math>\mathfrak{i}</math> , <math>\mathfrak{g}</math> की एक गुणजावली है। यदि विहित मानचित्र <math>\mathfrak{g} \to \mathfrak{g}/\mathfrak{i}</math> विभाजित करता है (अर्थात्, एक खंड को स्वीकार करता है), फिर <math>\mathfrak{g}</math> को <math>\mathfrak{i}</math> तथा <math>\mathfrak{g}/\mathfrak{i}</math>, <math>\mathfrak{g}=\mathfrak{g}/\mathfrak{i}\ltimes\mathfrak{i}</math> का अर्धप्रत्यक्ष उत्पाद कहा जाता है। लाई बीजगणित का अर्धप्रत्यक्ष योग भी देखें।  

लेवी के प्रमेय का कहना है कि एक परिमित-आयामी लाई बीजगणित इसके मूल और पूरक उपबीजगणित ( [[लेफ्ट सबलजेब्रा|लेवी उपबीजगणित]]) का एक अर्ध-प्रत्यक्ष उत्पाद है।  

<math>x,y\in\mathfrak g</math> सभी के लिए। किसी भी <math>x\in\mathfrak g</math> से जुड़ी आंतरिक व्युत्पत्ति <math>\mathrm{ad}_x</math> द्वारा परिभाषित आसन्न मानचित्रण <math>\mathrm{ad}_x(y):=[x,y]</math>है। (यह जैकोबी सममित के परिणाम के रूप में एक व्युत्पत्ति है। ) बाहरी व्युत्पत्ति वे व्युत्पत्ति हैं जो लाई बीजगणित के आसन्न प्रतिनिधित्व से नहीं आती हैं। यदि <math>\mathfrak{g}</math> [[अर्धसरल झूठ बीजगणित|अर्धसरल लाई बीजगणित]] है, प्रत्येक व्युत्पत्ति आंतरिक है।  

व्युत्पत्तियाँ एक सदिश स्थान <math>\mathrm{Der}(\mathfrak g)</math>,जो कि <math>\mathfrak{gl}(\mathfrak{g})</math>; कोष्ठक लाई उपबीजगणित दिकपरिवर्तक है। आंतरिक व्युत्पत्तियाँ <math>\mathrm{Der}(\mathfrak g)</math> एक लाई उपबीजगणित का निर्माण करती हैं।  

दिखाता है कि <math>\mathfrak{b}_3</math>से <math>\text{Der}(\mathfrak{n}_3)</math> में बाहरी व्युत्पत्तियाँ स्थित हैं।  

मान लीजिए कि V क्षेत्र F पर परिमित-विम सदिश समष्टि है, <math>\mathfrak{gl}(V)</math> रैखिक परिवर्तन का लाइ बीजगणित और <math>\mathfrak{g} \subseteq \mathfrak{gl}(V)</math> एक लाई उपबीजगणित है। फिर <math>\mathfrak{g}</math> को विभाजित कहा जाता है यदि <math>\mathfrak{g}</math> में सभी रैखिक परिवर्तनों की विशेषता बहुपद की जड़ें F आधार क्षेत्र में हैं। <ref>{{harvnb|Jacobson|1962|p=42}}</ref> अधिक प्रायः, एक परिमित-आयामी लाई बीजगणित <math>\mathfrak{g}</math> विभाजित होना कहा जाता है यदि इसमें कार्टन उपबीजगणित है जिसका प्रतिबिम्ब [[संलग्न प्रतिनिधित्व]] के अधीन <math>\operatorname{ad}: \mathfrak{g} \to \mathfrak{gl}(\mathfrak g)</math> एक [[विभाजित झूठ बीजगणित|विभाजित लाई बीजगणित]] है। जटिल अर्धसरल लाई बीजगणित का विभाजित वास्तविक रूप (cf.वास्तविक रूप और जटिलता) विभाजित वास्तविक लाई बीजगणित का उदाहरण है। अधिक जानकारी के लिए विभाजित लाई बीजगणित भी देखें।  

व्यावहारिक गणनाओं के लिए, बीजगणित के लिए एक स्पष्ट सदिश स्थान आधार चुनना प्रायः सुविधाजनक होता है। इस आधार पर इसे सामान्य निर्माण लेख [[संरचना स्थिर|संरचना स्थिरांक]] में चित्रित किया गया है।  

यद्यपि ऊपर दी गई परिभाषाएं लाई बीजगणित की पारंपरिक समझ के लिए पर्याप्त हैं, एक बार जब यह समझ में आ जाता है, तो [[श्रेणी सिद्धांत]] के लिए सामान्य संकेतन का उपयोग करके अतिरिक्त अंतर्दृष्टि प्राप्त की जा सकती है, अर्थात, रेखीय मानचित्रों के संदर्भ में लाई बीजगणित को परिभाषित करके-अर्थात्, आकारिकी [[वेक्टर रिक्त स्थान की श्रेणी|सदिश रिक्त स्थान की श्रेणी]] में - अलग-अलग तत्वों पर विचार किए बिना है। (इस खंड में, क्षेत्र (गणित) जिस पर बीजगणित परिभाषित किया गया है, विशेषता (बीजगणित) दो से भिन्न माना जाता है। )

जहाँ <math>\mathrm{id}</math> सममित रूपवाद है।  

:<math>[\cdot,\cdot]\circ ([\cdot,\cdot]\otimes \mathrm{id}) \circ (\mathrm{id} +\sigma+\sigma^2)=0.</math><br />

कोई सदिश स्थान <math>V</math> समान रूप से शून्य लाई कोष्ठक के साथ संपन्न एक लाई बीजगणित बन जाता है। ऐसे लाई बीजगणित को एबेलियन लाई बीजगणित कहा जाता है,सीएफ के अधीन किसी क्षेत्र पर कोई भी एक आयामी लाई बीजगणित लाई कोष्ठक की वैकल्पिक गुण द्वारा एबेलियन है।  

* एक साहचर्य बीजगणित पर <math>A</math> एक मैदान के ऊपर <math>F</math> गुणन के साथ <math>(x, y) \mapsto xy</math>, एक लाइ कोष्ठक को दिकपरिवर्तक वलय सिद्धांत द्वारा परिभाषित किया जा सकता है <math>[x,y] = xy - yx</math>। इस कोष्ठक के साथ, <math>A</math> लाई बीजगणित है। <ref>{{harvnb|Bourbaki|1989|loc=§1.2. Example 1.}}</ref> सहयोगी बीजगणित <math>A</math> को लाई बीजगणित का एक आवरण बीजगणित कहा जाता है <math>(A, [\,\cdot\, , \cdot \,])</math>। हर लाई बीजगणित को एक में अंतर्निहित किया जा सकता है जो इस तरह से एक साहचर्य बीजगणित से उत्पन्न होता है; [[सार्वभौमिक लिफाफा बीजगणित|सार्वभौमिक आवरण बीजगणित]] देखें।  

* उपरोक्त लाई कोष्ठक के साथ <math>F</math>-सदिश स्थान <math>V</math> के [[एंडोमोर्फिज्म रिंग|अंत:रूपांतरण वलय]] के सहयोगी बीजगणित को <math>\mathfrak{gl}(V)</math>निरूपित किया गया है।  

* एक परिमित आयामी सदिश स्थान के लिए <math>V = F^n</math>, पिछला उदाहरण बिल्कुल n × n आव्यूहों का लाई बीजगणित है, जिसे <math>\mathfrak{gl}(n, F)</math> या <math>\mathfrak{gl}_n(F)</math>निरूपित किया गया है,<ref>{{harvnb|Bourbaki|1989|loc=§1.2. Example 2.}}</ref> और कोष्ठक के साथ <math>[X,Y]=XY-YX</math> जहां निकटता आव्यूह गुणन को इंगित करती है। यह सामान्य रेखीय समूह का लाई बीजगणित है, जिसमें व्युत्क्रमणीय आव्यूह सम्मिलित हैं।  

* [[ट्रेस (रैखिक बीजगणित)]] शून्य के आव्यूह विशेष रैखिक लाई बीजगणित <math>\mathfrak{sl}_n(F)</math> बनाते हैं, विशेष रेखीय समूह का लाई बीजगणित <math>\mathrm{SL}_n(F)</math>। <ref>{{harvnb|Humphreys|1978|p=2}}</ref>

* तिरछा-हर्मिटियन आव्यूह एकात्मक लाई बीजगणित <math>\mathfrak u(n)</math>बनाते हैं, [[एकात्मक समूह]] U(n) का लाई बीजगणित।  

एक जटिल रेखीय समूह एक लाई समूह है जिसमें आव्यूह होते हैं, <math>G\subset M_n(\mathbb{C})</math>, जहाँ G का गुणन आव्यूह गुणन है। संबंधित लाई बीजगणित <math>\mathfrak g</math> आव्यूह का स्थान है जो रैखिक स्थान <math>M_n(\mathbb{C})</math> के अंदर G के स्पर्शरेखा सदिश हैं: इसमें सममित पर जी में चिकने वक्रों के व्युत्पन्न सम्मिलित हैं:  

लाई कोष्ठक <math>\mathfrak{g}</math> आव्यूह के दिकपरिवर्तक द्वारा दिया जाता है, <math>[X,Y]=XY-YX</math>। लाई बीजगणित को देखते हुए, लाई समूह को [[मैट्रिक्स घातीय|आव्यूह घातीय]] चित्रण के प्रतिबिम्ब के रूप में पुनर्प्राप्त कर सकते हैं <math>\exp: M_n(\mathbb{C})\to M_n(\mathbb{C})</math> द्वारा परिभाषित <math>\exp(X) = I + X + \tfrac{1}{2!}X^2+\cdots</math>, जो प्रत्येक आव्यूह <math>X</math> के लिए अभिसरण करता है: वह है, <math>G=\exp(\mathfrak g)</math> है।  

* विशेष रैखिक समूह <math>{\rm SL}_n(\mathbb{C})</math>, {{math|''n''&nbsp;×&nbsp;''n''}} आव्यूह निर्धारक 1 के साथ सभी से मिलकर। इसके लाई बीजगणित <math>\mathfrak{sl}_n(\mathbb{C})</math> में जटिल प्रविष्टियों और ट्रेस 0 के साथ सभी {{math|''n''&nbsp;×&nbsp;''n''}} आव्यूह होते हैं। इसी तरह, कोई संबंधित वास्तविक लाई समूह <math>{\rm SL}_n(\mathbb{R})</math> और इसका लाई बीजगणित <math>\mathfrak{sl}_n(\mathbb{R})</math>को परिभाषित कर सकता है।  

* एकात्मक समूह <math>U(n)</math> n × n एकात्मक आव्यूह होते हैं (संतोषजनक <math>U^*=U^{-1}</math>)। यह लाई बीजगणित <math>\mathfrak{u}(n)</math> है तिरछा-स्व-आसन्न आव्यूह के होते (<math>X^*=-X</math>) हैं।  

* विशेष [[ऑर्थोगोनल समूह|समकोणिक समूह]] <math>\mathrm{SO}(n)</math>, वास्तविक निर्धारक-एक समकोणिक आव्यूह से मिलकर (<math>A^{\mathrm{T}}=A^{-1}</math>)। यह लाई बीजगणित है <math>\mathfrak{so}(n)</math> वास्तविक तिरछा-सममित आव्यूह होते (<math>X^{\rm T}=-X</math>) है। पूर्ण समकोणिक समूह <math>\mathrm{O}(n)</math>निर्धारक-एक शर्त के बिना, सम्मिलित हैं <math>\mathrm{SO}(n)</math> और एक अलग जुड़ा हुआ घटक है, इसलिए इसमें समान लाई बीजगणित है <math>\mathrm{SO}(n)</math>। तिरछा-सममित आव्यूहों के साथ अत्यल्प घुमाव भी देखें। इसी तरह, जटिल आव्यूह प्रविष्टियों की अनुमति देकर, इस समूह और बीजगणित के एक जटिल संस्करण को परिभाषित किया जा सकता है।  

*