نمایش مبدأ برای جبر لی

[[پرونده:Algebraic structures.png|بندانگشتی|نمایش جبر لی]]
‌اگر ‌G‌ یک [[گروه لی]] باشد، میدان‌های برداری خاصی روی آن وجود دارند که تحت عمل گروه ناورداست. این میدان‌های برداری ناوردا یک فضای برداری با بعد نامتناهی می‌سازند که از آن به جبر لی ‌G‌ یا مجموعهٔ مولدهای بی‌نهایت کوچک گروه ‌G‌ یاد می‌شود. تمام ویژگی‌هایی که در یک گروه لی وجود دارند، در جبر لی آن نیز هستند. یکی از با اهمیت‌ترین فوایدی که این جبرها دارند و کار با آن‌ها ساده‌تر از کار با گروه‌های لی است.

== تعریف و ویژگی‌ها ==

یک جبر لی <math>\,\mathfrak{g}</math> یک [[فضای برداری]] بر یک میدان <math>F</math> است که به یک حاصلضرب <math>[\cdot,\cdot]: \mathfrak{g}\times\mathfrak{g}\to\mathfrak{g}</math>
مجهز است که براکت لی نامیده می‌شود و در خواص زیر صدق می‌کند:

1-دوخطی: <math> [a x + b y, z] = a [x, z] + b [y, z], \quad  [z, a x + b y] = a[z, x] + b [z, y] </math>

2- پادتقارنی: <math>[x,y]=-[y,x].</math>

3- اتحاد ژاکوبی: <math> [x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0 \quad </math><ref>Humpfrey p. 1</ref>

== ساختار جبر لی ==
مطالعه جبرهای لی با مطالعه ساختارشان بسیار ساده می‌شود. ساختار با استفاده از ویژگی‌های جابجایی جبر لی مشخص می‌شوند.

ساختار یک جبر لی، یا یک جبر محلی لی توسط ثابت ساختار که بر حسب جملات بردارهای پایه <math>X_i</math> تعریف می‌شوند، خلاصه می‌شود:

<math>[X_i,X_j ]=c_ij^k X_k</math>

ثوابت ساختار <math>c_ij^k</math> مولفه‌هایی از یک [[تانسور]] مرتبه سه هستند که در دو [[اندیس (معدن)|اندیس]] خود [[همورد]] <math>( c_ij^k=-c_ji^k)</math> و در اندیس سوم [[پادورد]] هستند. این مولفه‌ها از تساوی ژاکوبی پیروی می‌کنند که یک قید درجه دو بر روی ثوابت اعمال می‌کند.

<math> c_ij^s c_sk^t+c_jk^s c_si^t+c_ki^s c_sj^t=0</math>

[[خطی‌سازی گروه]] لی یک جبر لی می سازد. یک [[گروه لی]] را می‌توان با معکوس کردن این فرایند بازیابی کرد. این فرایند به [[عمل به نما رسانی]] موسوم است.

== جبر لی ماتریسی ==
مجموعه‌ای از ماتریسهای <math>n\times n</math> که تحت جمع برداری، ضرب اسکالری و جابجایی بسته باشند یک جبر لی ماتریسی می سازد. ویژگی‌های پادتقارنی و تساوی ژاکوبی توسط [[ضرب ماتریسی]] برآورده می‌شود.

== قضایای مربوط به جبر لی ==

یک نظریه عمیق منتسب به آدو به نام [[قضیه آدو]] بیان می دارد که هر جبر لی معادل است با یک جبر لی ماتریسی، گر چه که عکس آن برای گروه‌های لی درست نیست (هر جبر لی ماتریسی را نمی توان به یک گروه لی منتسب کرد.)

== منابع ==
=== پانویس ===
{{پانویس|چپ‌چین=بله}}

=== کتابشناسی ===
{{چپ‌چین}}
* Humphreys, James E. ''Introduction to Lie Algebras and Representation Theory'', Second printing, revised. Graduate Texts in Mathematics, 9. Springer-Verlag, New York, 1978. {{ISBN|0-387-90053-5|en}}
{{پایان چپ‌چین}}

[[رده:جبرهای لی]]
[[رده:جبر]]
[[رده:گروه‌های لی]]