موضوع مقاله: گروه لی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # گروه لی | مقدمه: منیفلد، فضایی است که به‌طور موضعی شبیه فضای اقلیدسی است، در حالی که گروه، فضایی است که مفهوم ضرب و معکوس آن (یعنی تقسیم) را مجردسازی می‌کند. | ## بخش 1: گروه لی | با ترکیب این دو ایده، گروهی پیوسته بدست می‌آید که همزمان می‌توان نقاط آن را در هم ضرب نموده و هر عضو آن نیز معکوس دارد. اگر علاوه بر این خصوصیات، عمل ضرب و معکوس‌گیری هموار (دیفرانسیل‌پذیر) باشند، گروه مورد نظر تبدیل به گروه لی می‌گردد. گروه‌های لی، مدل طبیعی برای مفهوم تقارن پیوسته ارائه می‌کنند، مثال معروفی از آن، تقارن دورانی در سه بعد است (که با گروه متعامد خاص داده می‌شود). گروه‌های لی، به‌طور گسترده در بخش‌های متعددی از ریاضیات و فیزیک نوین مورد استفاده قرار می‌گیرند. گروه‌های لی اولین بار با مطالعه زیرگروه‌هایی از گروه‌های ماتریس‌های معکوس‌پذیر و روی میدان‌های و یافت شدند. اکنون این گروه‌ها را گروه‌های کلاسیک می‌نامند، چرا که در حال حاضر این مفهوم از اصل خود بسیار فراتر رفته است. گروه‌های لی را به نام ریاضی‌دان نروژی سوفوس لی (۱۸۴۲–۱۸۹۹ میلادی) نامگذاری کرده‌اند. انگیزه اصلی لی برای معرفی گروه‌های لی، مدل‌سازی تقارن‌های پیوسته ای از معادلات دیفرانسیل بود، دقیقاً به همان ترتیبی که گروه‌های متناهی را در نظریه گالوا جهت مدل‌سازی تقارن‌های گسسته معادلات جبری به کار می‌برند. تاریخچه براساس موثق‌ترین منبع از تاریخچه ابتدایی گروه‌های لی (هاوکینز، صفحه ۱)، سوفوس لی زمستان ۱۸۷۳–۱۸۷۴ را به عنوان تاریخ تولد گروه‌های پیوسته در نظر گرفت. با این حال، هاوکینز پیش نهاد می‌دهد که «فعالیت تحقیقاتی شگرف لی طی دوره چهارساله از پاییز ۱۸۶۹ تا پاییز ۱۸۷۳» بود که منجر به خلق این نظریه شد (همان مرجع). لی هر روز از اکتبر ۱۸۶۹ تا ۱۸۷۲ با کلاین ملاقات می‌کرد: در برلین از انتهای اکتبر ۱۸۶۹ تا پایان فوریه ۱۸۷۰، و طی دو سال بعدی در پاریس، گوتینگن و ارلانگن (همان مرجع، صفحه ۲). اما طی دهه ۱۸۷۰ میلادی، تمام مقالات او (به جز اولین یادداشت) در ژورنال‌های نروژی منتشر شده بودند، که مانع از شناخته شدن اثر او در بقیه اروپا شد (همان، صفحه ۷۶). در ۱۸۸۴ میلادی، یک ریاضیدان آلمانی به نام فریدریش انگل، برای کار سازمان یافته جهت ارائه نظریه اش در مورد گروه‌های پیوسته، نزد لی آمد. در حقیقت علاقه او به هندسه معادلات دیفرانسیل برای اولین بار از کارهای کارل گوستاو یاکوبی، در مورد نظریه معادلات دیفرانسیل با مشتقات جزئی مرتبه اول و معادلات مکانیک کلاسیک سرچشمه گرفت. بیشتر کارهای یاکوبی بعد از مرگش در دهه ۱۸۶۰ میلادی منتشر شد، که علاقه‌مندی‌های زیادی را در فرانسه و آلمان برانگیخت (هاوکینز، صفحه ۴۳). اثر لی با عنوان idée fixe، نظریه ای از تقارن‌های معادلات دیفرانسیلی را توسعه می‌داد که همان نقش اواریست گالوا برای معادلات جبری را در آنجا ایفا می‌نمود: یعنی، آن‌ها را براساس نظریه گروه‌ها رده‌بندی می‌کرد. لی و سایر ریاضی‌دانان نشان دادند که بیشتر معادلات مهم برای توابع خاص و همچنین چندجمله‌ای‌های متعامد، اغلب از تقارن‌های نظریه گروهی ظهور می‌کنند. در اثر اولیه لی، ایده ای مبنی بر ساخت نظریه ای از گروه‌های پیوسته وجود داشت، تا بدین طریق نظریه گروه‌های گسسته که در نظریه فرم‌های ماژولار (پیمانه‌ای) به دست فلیکس کلاین و آنری پوانکاره توسعه یافته بود را تکمیل کند. براساس مدل نظریه گالوا و معادلات چندجمله‌ای، انگیزه اصلی این بود که با مطالعه تقارن‌ها نظریه ای شکل دهند که کل حوزه مربوط به معادلا دیفرانسیل معمولی را به وسیله آن متحد سازند. با این حال، آرزوی این که نظریه لی تمام معادلات دیفرانسیل معمولی را متحد کند، تحقق نیافت. البته روش‌های تقارنی برای ODEها هنوز هم مورد مطالعه اند، اما در این شاخه نقش غالب را ندارند. نیروی محرکه دیگری جهت بررسی گروه‌های پیوسته، از سوی ایده‌های برنهارت ریمان تأمین شد. این ایده‌ها مربوط به بنیادهای هندسه بودند که کلاین پیشرفت‌های بیشتری در آن‌ها ایجاد نمود. ازین رو، سه سبک اصلی ریاضیات قرن نوزدهم توسط لی ترکیب شدند تا بدین طریق نظریه جدیدش را پایه‌گذاری کند: ایده تقارن، که توسط گالوا و از طریق مفهوم جبری گروه بیان شد؛ نظریه هندسی و جواب‌های صریح در قالب معادلات دیفرانسیل از مکانیک، که توسط پواسون و یاکوبی ارائه شد؛ و فهم جدیدی از هندسه که در کارهای پلوک، موبیوس، گراسمان و سایرین ظهور یافت و همچنین در بینش انقلابی ریمان در ارتباط با این موضوع به حد اعلای خود رسید. گرچه که امروزه، سوفوس لی را به درستی به عنوان خالق نظریه گروه‌های پیوسته می‌شناسند، قدم بلندی در پیشرفته نظریه ساختاری آن، توسط ویلهلم کیلینگ شکل گرفت که اثرات عمیقی در پیشرفت‌های بعدی ریاضیات داشت. اثر کیلینگ که بعد توسط الی کارتان تعمیم یافته و اصلاح شد، منجر به کشف و توسعه این موارد شد: رده‌بندی جبرهای لی نیم-ساده، نظریه فضاهای تقارنی، توصیف هرمان ویل در مورد نمایش‌های گروه‌های لی نیم-ساده و فشرده با استفاده از بالاترین وزن‌ها. ویل، موجب بارورسازی اولین دوره از توسعه و پیشرفت نظریه گروه‌های لی شد، چرا که نه تنها نمایش‌های تحویل‌ناپذیر گروه‌های لی نیم-ساده را رده‌بندی کرده و نظریه گروه‌ها را با مکانیک کوانتومی مرتبط نمود، بلکه با شفاف سازی تمایز بین گروه‌های بی‌نهایت‌کوچک‌ها (که در حقیقت همان جبرهای لی هستند) و گروه‌های لی واقعی، خود نظریه لی را بر شالوده‌های مستحکمی بنا نهاد و تحقیقات حول توپولوژی گروه‌های لی را آغاز نمود. نظریه گروه‌های لی، در تک‌نگاره‌ای توسط کلاود شوالی، به صورت نظام‌مند و به زبان ریاضیاتی نوین، مورد بررسی مجدد قرار گرفت. گروه‌های لی، منیفلدهای دیفرانسیل‌پذیر همواری اند و از این نظر می‌توان در مقایسه با حالت کلی تر گروه‌های توپولوژیکی، آن‌ها را با استفاده از حساب دیفرانسیل مطالعه نمود. یکی از ایده‌های اصلی نظریه گروه‌های لی، جایگزین سازی اشیاء سراسری، یعنی گروه‌ها با نسخه موضعی یا خطی‌سازی شده آن‌ها می‌باشد، که سوفوس لی آنها را «گروه بی‌نهایت کوچک‌ها» می‌نامید و اکنون به جبر لی معروف شده‌اند. فلیکس کلاین در برنامه ارلانگن اش مدعی شد که می‌توان «هندسه‌های» متنوعی را با تعیین گروه‌های تبدیلی مناسب که خواص هندسی بخصوصی را ناوردا باقی می‌گذارند، مورد بررسی قرار داد. ازین رو، هندسه اقلیدسی متناظر با انتخاب گروه از تبدیلات حافظ فاصله روی فضای اقلیدسی است، هندسه همدیس متناظر با بزرگ سازی گروه مذکور به گروه همدیس بوده در حالی که در هندسه تصویری، علاقه‌مند به خواص ناوردا تحت گروه تصویری می‌باشند. این ایده بعدها منجر به مفهوم G-ساختار شد که در آن G گروه لی از تقارن‌های «موضعی» یک منیفلد است. گروه‌های لی (و جبرهای لی متناظرشان)، نقش مهمی در فیزیک نوین بازی کرده، به طوری که گروه لی اغلب نقش تقارن یک سامانه فیزیکی را بازی می‌کند. در اینجا، نمایش‌های گروه لی (یا نمایش‌های جبر لی اش) از اهمیت ویژه ای برخوردار اند. گروه‌هایی که نمایش‌هایشان از اهمیت خاصی برخوردارند شامل این موارد اند: گروه دورانی (یا گروه پوشش مضاعفش )، گروه یکه خاص و گروه پوانکاره. در سطح «سراسری»، هرگاه یک گروه لی روی یک شیء هندسی چون منیفلد ریمانی یا منیفلد سیمپلکتیک کنش کند، این کنش اندازه‌ای جهت سنجش میزان صلب بودن ارائه کرده و منجر به ساختار جبری غنی ای می‌گردد. حضور تقارن‌های پیوسته، از طریق یک کنش گروه لی روی یک منیفلد بیان شده و قیود قوی ای روی هندسه حاصل از آن قرار داده و آنالیز روی منیفلد را تسهیل می‌سازد. کنش‌های خطی گروه‌های لی، اهمیت ویژه‌ای داشته و در نظریه نمایش مورد مطالعه واقع شده‌اند. در دهه‌های ۱۹۴۰ و ۱۹۵۰ میلادی، الی کولچین، آرمند بورل و کلاود شوالی متوجه شدند که بسیاری از نتایج بنیادین مربوط به گروه‌های لی را می‌توان به‌طور کاملاً جبری توسعه داد. این بینش، با ارائه ساختار یکپارچه ای برای بسیاری از گروه‌های ساده متناهی و همچنین هندسه جبری، دریچه ای از امکانات جدید را در جبر محض باز نمود. نظریه فرم‌های اتومورفیک، که شاخه مهمی از نظریه اعداد نوین است، به‌طور گسترده با ساختارهای مشابه با گروه‌های لی روی حلقه‌های آدل سروکار دارد؛ در این حوزه، گروه‌های لی p-ادیک از طریق ارتباطاتشان با نمایش‌های گالوا در نظریه اعداد، نقش مهمی را ایفا می‌کنند. تعاریف و مثال‌ها گروه لی عبارت است از گروهی که همزمان منیفلد هموار نیز باشد، به گونه ای که عمل ضرب و وارون گروهی، نگاشت‌های همواری باشند. هموار بودن عمل گروهی: بدان معنا است که یک نگاشت هموار از منیفلد حاصلضربی به است. این دو شرط را می‌توان در یک شرط واحد، یعنی هموار بودن نگاشت زیر ترکیب نمود: نگاشت فوق، نگاشت همواری از منیفلد حاصلضربی به است. اولین مثال‌ها ماتریس‌های وارون پذیر ۲ × ۲ گروهی را تحت ضرب تشکیل می‌دهند که توسط یا نشان داده می‌شوند: گروه فوق، یک گروه لی حقیقی چهار بعدی نافشرده، و همچنین زیر مجموعه بازی از است. این گروه ناهمبند است که دو مؤلفه همبندی متناظر با مقادیر مثبت و منفی دترمینانش دارا است. این گروه به خودی خود یک گروه لی است: به‌طور خاص، یک گروه لی یک بعدی فشرده همبند است که با دایره دیفئومورف است. با استفاده از زاویه دورانی به عنوان یک پارامتر، این گروه را می‌توان به صورت زیر پارامتریزه نمود: اضافه کردن زوایا، متناظر با ضرب عناصر و زاویه منفی (در تقارن با محور ایکس‌ها) متناظر با عنصر معکوس در این گروه خواهد بود؛ بنابراین هم ضرب و هم معکوس‌گیری، نگاشت‌های دیفرانسیل پذیری می‌باشند. گروه آفین یک بعدی، یک گروه ماتریس دوبعدی لی است که از ماتریس‌های مثلثی ۲ * ۲ حقیقی و بالا-مثلثی تشکیل شده‌است. به گونه ای که اولین درایه قطری مثبت و دومین درایه قطری برابر با ۱ است؛ بنابراین، این گروه از ماتریس‌هایی به فرم زیر تشکیل شده‌است: نا-مثال اکنون مثالی از یک گروه با تعداد ناشمارا عضو را ارائه می‌کنیم که تحت توپولوژی خاصی گروه لی نباشد. به عنوان مثال، اگر هر همسایگی کوچک دلخواهی چون از نقطه ای همچون از را در نظر بگیریم، بخشی از که درون قرار می‌گیرد ناهمبند خواهد بود. گروه به‌طور مکرر و بدون ملاقات با نقاط قبلی مارپیچی که از آن عبور کرده، حول چنبره مورد نظر پیچیده و ازین رو تشکیل زیرگروه چگالی از می‌دهد. با این‌حال، گروه را می‌توان مجهز به توپولوژی متفاوتی کرد که در آن فاصله نقاط به صورت طول کوتاه‌ترین مسیر در گروه تعریف می‌شود که نقطه و را به هم متصل می‌کند. در این توپولوژی، هومئومورف با خط حقیقی است، به گونه‌ای که هر عنصر آن را می‌توان با عدد در تعریف یکی‌سازی نمود. بحثی که در مورد زیرگروه‌های لی در ادامه می‌آید (در بخش مفاهیم پایه‌ای) را ببینید. | ## بخش 2: گروه لی | گروه‌های لی ماتریسی فرض کنید گروه ماتریس‌های معکوس‌پذیر باشد که درایه‌های آن عضوی از باشند. هر زیرگروه بسته‌ای از یک گروه لی خواهد بود؛ Corollary 3.45 گروه‌های لی از این نوع را گروه‌های لی ماتریسی می‌نامند. از آنجا که بسیاری از مثال‌های جالب از گروه‌های لی را می‌توان به صورت گروه‌های لی ماتریسی محقق ساخت، برخی از کتب درسی همچون هال و راسمن توجه خود را محدود به این دسته از گروه‌ها می‌کنند. محدود کردن تمرکز بر روی گروه‌های لی ماتریسی، تعریف جبر لی و نگاشت نمایی را ساده می‌کند. در زیر مثال‌های استانداردی از گروه‌های لی ماتریسی آمده‌است: گروه‌های خطی خاص روی و ، یعنی به ترتیب و که شامل ماتریس‌های با دترمینان ۱ اند و درایه‌های آن عضو یا می‌باشند. گروه‌های یکانی و گروه‌های یکانی خاص که به ترتیب با نمادهای و نشان داده شده و شامل ماتریس‌های مختلط بوده که در اتحاد صدق می‌کنند (همچنین در مورد ، خاصیت نیز برقرار است). گروه‌های متعامد و گروه‌های متعامد خاص که به ترتیب با نمادهای و نشان داده شده و شامل ماتریس‌های اند که در اتحاد صدق می‌کنند (همچنین در مورد ، خاصیت نیز برقرار است). مفاهیم مرتبط گروه لی مختلط به طریق مشابه و با استفاده از منیفلدهای مختلط به جای منیفلدهای حقیقی تعریف می‌گردد (مثل: ). همین‌طور به طریق مشابه، به جای کامل‌سازی متریک میدان ، می‌توان روی اعداد p-ادیک، گروه لی p-ادیک تعریف نمود، گروه توپولوژیکی که در آن هر نقطه دارای همسایگی p-ادیک می‌باشد. مسئله پنجم هیلبرت می‌پرسد که آیا به تعویض منیفلدهای دیفرانسیل‌پذیر با منیفلدهای توپولوژیکی یا تحلیلی می‌توان مثال‌های جدید ساخت یا خیر. به نظر می‌رسد که جواب به این سؤال منفی باشد: در ۱۹۵۲ میلادی، گلیسون، مونتگومری و زیپین نشان دادند که اگر G یک منیفلد توپولوژیکی با اعمال گروهی پیوسته باشد، آن‌گاه دقیقاً یک ساختار تحلیلی روی G وجود دارد که به نظر می‌رسد یک گروه لی باشد (حدس هیلبرت-اسمیت). اگر اجازه دهیم که منیفلد زیرین بی‌نهایت بعدی باشد (مثل منیفلد هیلبرت)، آنگاه به مفهوم گروه لی بی‌نهایت-بعدی می‌رسیم. امکان تعریف نسخه‌های متعددِ مشابه با گروه‌های لی بر روی میدان‌های متناهی وجود دارد که بدین ترتیب بیشترین مثال از گروه‌های ساده متناهی تشکیل می‌گردند. با کمکم زبان نظریه رسته‌ها، تعریف دقیقی برای گروه‌های لی ایجاد می‌گردد: گروه لی، یک شیء گروهی در رسته منیفلدهای هموار است. این تعریف مهم است، چرا که امکان تعمیم مفهوم گروه‌های لی به ابرگروه‌های لی را فراهم می‌آورد. تعریف توپولوژیکی گروه لی را می‌توان بدون درنظر گرفتن ساختار دیفرانسیل‌پذیری روی منیفلدها، به صورت گروه توپولوژیکی هاسدورفی تعریف نمود که نزدیک عضو همانی شبیه یک گروه تبدیل است. ما در ابتدا گروه لی خطی ایمرس شده ای را به صورت زیرگروه از گروه خطی عام چنان تعریف می‌کنیم که: همسایگی V از عنصر همانی e در وجود دارد به طوری که توپولوژی روی V به صورت توپولوژی زیرفضایی از بوده و V نیز در بسته باشد. (به عنوان مثال، زیرگروه بسته‌ای از ؛ یعنی گروه لی ماتریسی که در شرایط فوق صدق کند) سپس گروه لی به صورت گروهی توپولوژیکی تعریف می‌شود که (۱) نزدیک همانی به گروه لی خطی ایمرس شده به‌طور موضعی یکریخت باشد و (۲) تعداد مؤلفه‌های همبندی آن حداکثر شمارا باشد. نشان دادن معادل بودن تعریف توپولوژیکی مذکور با تعریف رایج عملی فنی است (و خوانندگان مبتدی باید از خواندن آن صرف نظر کنند)، اما به‌طور کلی و نادقیق به صورت زیر خلاصه می‌شود: برای یک گروه لی در یک منیفلد معمولی، تناظر گروه لی-جبر لی (یا نسخه‌ای از قضیه سوم لی)، موجب ساخته شدن زیرگروه لی ایمرس شده‌ای چون می‌گردد چنان‌که و خواص جبر لی مشترکی دارند؛ ازین رو، این دو به‌طور موضعی یکریخت اند؛ لذا، در تعریف توپولوژیکی فوق صدق می‌کند. برعکس، فرض کنید یک گروه توپولوژیکی باشد که براساس تعریف توپولوژیکی فوق یک گروه لی بوده و یک گروه لی خطی ایمرس شده همچون که به‌طور موضعی یکریخت با باشد را انتخاب کنید. سپس، براساس نسخه‌ای از قضیه زیرگروه بسته، منیفلد حقیقی-تحلیلی بوده و سپس از طریق یکریختی موضعی، در نزدیکی عنصر همانی، ساختار منیفلدی به خود می‌گیرد. سپس می‌توان نشان داد که به کمک سری توانی صوری، روی قانون گروهی بدست می‌آید؛این گزاره می‌گوید که یک گروه لی، گروه لی صوری است. برای مفهوم اخیر می‌توانید به درسنامه‌های بروهات در اینجا رجوع کنید: درسنامه‌های گروه‌های لی و نمایش‌های گروه‌های فشرده موضعی بنابراین اعمال گروهی حقیقی-تحلیلی بوده و خود نیز منیفلد حقیقی-تحلیلی می‌باشد. تعریف توپولوژیکی گروه‌های لی این گزاره را ایجاب می‌کند: «اگر دو گروه به عنوان گروه‌های توپولوژیکی یکریخت باشند، به عنوان گروه‌های لی نیز یکریخت می‌باشند.» در حقیقت، این گزاره، این اصل کلی را بیان می‌دارد: «توپولوژی یک گروه لی به همراه قوانین گروهی، تا حد زیادی هندسه گروه را تعیین می‌کنند». مثال‌های بیشتر از گروه‌های لی گروه‌های لی در ریاضیات و فیزیک به فراوانی دیده می‌شوند. گروه‌های ماتریسی یا گروه‌های جبری (به‌طور نادقیق) گروه‌های ماتریسی اند (به عنوان مثال، گروه‌های متعامد و سیمپلکتیک) و این شکل از گروه‌های لی، رایج‌ترین مثال‌ها ازین نوع گروه‌ها می‌باشند. ابعاد ۱ و ۲ تنها گروه‌های لی همبند از بعد یک، خط حقیقی (با عمل جمع) و گروه دایره‌ای از اعداد مختلط با قدر مطلق ۱ (که عمل جمع در آن ضرب مختلط است) می‌باشند. در دو بعد، اگر توجهمان را به گروه‌های همبند ساده معطوف کنیم، آنگاه می‌توان آن‌ها را براساس جبرهای لی‌شان رده‌بندی کرد. گروه‌های لی همبند ساده متناظر با (با عمل گروهی جمع برداری) و گروه آفین دو بعدی، در زیربخش قبلی تحت عنوان «اولین مثال‌ها» توصیف شدند. از نظر توپولوژیکی، 3-کره است؛ که به عنوان گروه می‌توان آن را با گروه یکان چهارگان‌ها یکی در نظر گرفت. گروه هایزنبرگ، گروه لی پوچتوان همبند از بعد ۳ است که نقش مهمی را در مکانیک کوانتومی بازی می‌کند. گروه‌های استثنایی به همراه سری‌های A-B-C-D از گروه‌های لی ساده، فهرست کاملی از گروه‌های لی ساده را تشکیل می‌دهند. ساختن چندین روش استاندارد جهت ساخت گروه‌های لی جدید از گروه‌های لی قدیمی وجود دارد: ضرب دو گروه لی، یک گروه لی است. در حقیقت، هر پوششی برای یک منیفلد دیفرانسیل‌پذیر، خود یک منیفلد دیفرانسیل‌پذیر است، اما با تعیین پوشش جهانی، می‌توان وجود یک ساختار گروهی که سازگار با ساختارهای دیگر باشد را تضمین نمود. مفاهیم مرتبط مثال‌هایی از گروه‌هایی که لی نیستند (هر گروه که حداکثر تعداد شمارایی عضو داشته باشد را می‌توان به صورت گروه لی ۰-بعدی مجهز به توپولوژی گسسته دید): گروه‌های بی‌نهایت بعدی، همچون گروه جمعی فضای برداری حقیقی بی‌نهایت-بعدی، یا فضای توابع هموار از یک منیفلد همچون به یک گروه لی چون . برخی از گروه‌های کلاً ناهمبند، همچون گروه گالوای توسیع نامتناهی میدان‌ها، یا گروه جمعی اعداد p-ادیک. این گروه‌ها لی نیستند، چرا ه فضاهای زیرینشان منیفلدهای حقیقی نیستند (برخی از این گروه‌ها، «گروه‌های لی p-ادیک» هستند). در کل، تنها گروه‌های توپولوژیکی می‌توانند لی باشند که برای برخی از ها، خواص موضعی مشابه با داشته باشند (البته، این گروه‌ها باید ساختار دیفرانسیل‌پذیر نیز داشته باشند). مفاهیم پایه‌ای جبر لی متناظر با یک گروه لی می‌توانیم برای هر گروه لی، یک جبر لی مرتبط سازیم. در زیربنای جبر لی، فضای برداری وجود دارد که فضای مماس گروه لی متناظر با آن در عنصر همانی بوده که ساختار موضعی گروه لی را به‌طور کامل دربر دارد. به زبان ساده‌تر، می‌توانیم عناصر جبر لی را به عنوان عناصر گروه لی درنظر بگیریم که «بی‌نهایت نزدیک» به عنصر همانی بوده و کروشه لی جبر لی نیز به جابه‌جاگر دوتا عنصر بی‌نهایت کوچک این چنینی مرتبط است. قبل از ارائه تعریف مجرد، چند مثال در ادامه خواهند آمد: جبر لی فضای برداری ، صرفاً همان است که کروشه لی آن به این صورت داده شده باشد: (در کل، کروشه لی یک گروه لی همبند همیشه برابر صفر است اگر و تنها اگر گروه لی متناظر با آن آبلی باشد) جبر لی گروه خطی عام از ماتریس‌های معکوس‌پذیر، فضای برداری از ماتریس‌های مربعی است که کروشه آن به صورت زیر می‌باشد: اگر زیرگروه بسته‌ای از باشد، آنگاه جبر لی را می‌توان به به زبان ساده به صورت ماتریس‌های m از در نظر گرفت، چنان‌که در بوده و عدد مثبت بی‌نهایت کوچکی با این خاصیت باشد که (مطمئناً چنین عدد حقیقی وجود ندارد). به عنوان مثال، گروه متعامد شامل ماتریس‌های است که ، چنان‌که جبر لی آن شامل ماتریس‌های است که در صدق کرده و در نتیجه در صدق می‌کند، چون . توصیف پیشین را می‌توان به این صورت مستحکم تر ساخت: جبر لی از زیرگروه بسته از را می‌توان به این صورت محاسبه نمود: که در آن با استفاده از تابع نمایی ماتریسی تعریف شده‌است. می‌توان نشان داد که جبر لیِ گروه لی چون ، فضای برداری حقیقی است که تحت عمل کروشه‌گیری بسته‌است . Theorem 3.20 کار کردن با تعریف ملموسی که در بالا برای گروه‌های ماتریسی آمده راحت است، اما مشکلات جزئی دارد: برای این که از این تعریف استفاده شود، ابتدا باید یک گروه لی را به صورت گروهی از ماتریس‌ها نمایش داد، در حالی که این نمایش برای تمامی گروه‌های لی امکان‌پذیر نبوده و حتی مستقل بودن جبر لی از نمایشی که به کار می‌بریم هم واضح نیست.But see , Proposition 3.30 and Exercise 8 in Chapter 3 برای این که بر این مسائل فایق آییم، تعریف کلی از جبر لی یک گروه لی را ارائه می‌نماییم (در ۴ مرحله): میدان‌های برداری روی هر منیفلد هموار چون را می‌توان به صورت مشتقات از حلقه توابع هموار روی یک منیفلد دید؛ بنابراین میدان‌های برداری تحت کروشه لی تشکیل جبر لی می‌دهند، چون کروشه لی هر دو مشتق، باز یک مشتق است. اگر گروه دلخواهی باشد که روی منیفلد به‌طور هموار کنش می‌کند، آنگاه روی میدان‌های برداری هم کنش خواهد کرد و فضای برداری میدان‌های برداری که توسط این گروه ثابت باقی می‌مانند نیز تحت کروشه لی بسته بوده و این رو خود تشکیل یک جبر لی می‌دهند. ما این روش ساختن را هنگامی که منیفلد ، فضای زیرین یک گروه لی چون باشد نیز به کار می‌بریم، که در آن روی ، از طریق انتقال‌های چپی چون کنش می‌کند. این نشان می‌دهد که فضای میدان‌های برداری ناوردای چپ (میدان‌های برداری که برای هر در صدق می‌کنند، که در آن نشانگر دیفرانسیل است) روی یک گروه لی، تحت کروشه لی از میدان‌های برداری تشکیل جبر لی می‌دهد. هرکدام از بردارهای مماس در همانی یک گروه لی را می‌توان با انتقال چپ بردار مماس به سایر نقاط منیفلد، به میدان برداری ناوردای چپ توسعه داد. به‌طور خاص، توسعه ناوردای چپ از یک عنصر فضای مماس در همانی، میدان برداری است که با تعریف می‌شود. این‌ها فضای مماس را با کمک فضای میدان‌های برداری ناوردای چپ در عنصر همانی مشخص می‌کنند؛ لذا، فضای مماس حاصل در عنصر همانی را جبر لی گروه نامیده و اغلب با نماد (فراکتور جی) نمادگذاری می‌گردد. جبر لی ، گروه را در حد «یکریختی موضعی» تعیین می‌کند، به گونه‌ای که دو گروه لی را موضعاً یکریخت نامند اگر نزدیک عنصر همانی شبیه هم باشند. مسائل مربوط به گروه‌های لی را اغلب، ابتدا با حل مسئله متناظرش در جبرهای لی حل کرده، سپس نتیجه آن برای گروه‌ها اغلب در پی آن به راحتی بدست می‌آیند. به عنوان مثال، برای رده‌بندی گروه‌های لی ساده، اغلب ابتدا به سراغ رده‌بندی جبرهای لی متناظرشان می‌روند. همچنین ما می‌توانیم ساختار یک جبر لی روی را با استفاده از میدان‌های برداری ناوردای راست، به جای میدان‌های برداری ناوردای چپ تعریف کنیم. | ## بخش 3: گروه لی | این منجر به جبر لی یکسانی می‌گردد، چرا که می‌توان جهت یکی‌سازی میدان‌های برداری ناوردای چپ با میدان‌های برداری ناوردای راست، از نگاشت معکوس روی گروه استفاده کرد که روی فضای مماس به عنوان ۱- عمل می‌کند. همچنین، ساختار جبر لی روی را می‌توان به این صورت توصیف نمود که عمل جابجاگر: روی ، عنصر را به می‌فرستد، چنان‌که مشتقش عملگر دوخطی روی را نتیجه می‌دهد. این عملگر دوخطی در حقیقت نگاشت صفر است، اما مشتق دوم، تحت یکی‌سازی مناسبی از فضاهای مماس، منجربه عملگری می‌شود که در اصول موضوعه کروشه لی صدق کرده و دو برابر چیزی است که از طریق میدان‌های برداری ناوردای چپ تعریف می‌شود. هم‌ریختی‌ها و یکریختی‌ها اگر و گروه‌های لی باشند، آنگاه هم‌ریختی گروهی چون یک هم‌ریختی گروهی هموار خواهد بود. با این حال، این الزامات کمی سخت‌گیرانه اند؛ مشخص می‌شود که هر هم‌ریختی پیوسته بین گروه‌های لی حقیقی، تحلیلیِ حقیقی اند. ترکیب دو هم‌ریختی لی مجدداً یک هم‌ریختی بوده و رده تمام گروه‌های لی به همراه این ریخت‌ها، تشکیل یک رسته می‌دهند. به علاوه، هر هم‌ریختی گروه لی، یک هم‌ریختی بین جبرهای لی متناظرشان را القاء می‌کند. اگر جبرهای لی و را با فضاهای مماسشان در عناصر همانی بشناسیم، آنگاه نگاشتی بین جبرهای لی متناظر خواهد بود: می‌توان نشان داد که در حقیقت هم‌ریختی یک جبر لی است (یعنی نگاشت خطی است که کروشه لی را حفظ می‌کند). سپس به زبان نظریه رسته‌ها، تابعگون هم‌وردایی از رسته گروه‌های لی به رسته جبرهای لی داریم که یک گروه لی را به جبر لی اش برده و هم‌ریختی گروه لی را به مشتقش در همانی می‌برد. دو گروه لی را یکریخت نامیده اگر هم‌ریختی دو سویه‌ای بینشان وجود داشته باشد که معکوسش نیز یک هم‌ریختی گروه لی باشد. یک‌ریختی‌های گروه/جبر لی گروه‌های لی یکریخت، لزوماً جبرهای لی یکریختی نیز دارند؛ سپس پرسیدن این سؤال منطقی خواهد بود که یکریختی رده‌های گروه‌های لی چگونه با یکریختی رده‌های جبرهای لی مرتبط می‌شود. اولین نتیجه در این جهت، قضیه سوم لی است، که بیان می‌کند هر جبر لی حقیقی متناهی-بعدی، جبر لی یک گروه لی (خطی) است. یک راه جهت اثبات قضیه سوم لی، استفاده از قضیه آدو است، که می‌گوید هر جبر لی حقیقی متناهی بعدی، یکریخت با یک جبر لی ماتریسی است. ضمن این که، برای هر جبر لی ماتریسی متناهی-بعدی، یک گروه خطی (گروه لی ماتریسی) وجود دارد که آن جبر، جبرِ لی اش باشد. به علاوه، این نتیجه حتی هنگامی که فرض کنیم گروه‌ها همبند هستند نیز درست باقی می‌ماند. به بیان دیگر، ساختار سرتاسری روی یک گروه لی توسط جبر لی اش تعیین نمی‌شود؛ به عنوان مثال، اگر یک زیرگروه گسسته دلخواه از مرکز باشد، آنگاه و دارای جبرهای یکسانی خواهند بود (برای دیدن مثال‌ها، جدول گروه‌های لی را ببینید). این دو گروه دارای جبرهای لی یکریخت می‌باشند، Example 3.27 اما خود این گروه‌ها یکریخت نیستند، چرا که برخلاف ، همبند ساده است. Section 1.3.4 از سوی دیگر، اگر بر روی گروه‌های لی شرط همبند ساده بودن را قرار دهیم، آنگاه ساختار سرتاسری توسط جبرهای لی اش تعیین می‌گردد: دو گروه لی همبند ساده ای که جبرهای لی یکریخت داشته باشند، یکریخت خواهند بود (زیربخش بعدی را جهت اطلاعات بیشتر در مورد گروه‌های لی همبند ساده ببینید). Corollary 5.7 لذا ممکن است با توجه به قضیه سوم لی، بتوان گفت که تناظر یک-به-یکی بین رده‌های یکریختی جبرهای لی حقیقی متناهی-بعدی و رده‌های یکریختی گروه‌های لی همبند ساده وجود دارد. گروه‌های لی همبند ساده گروه لی چون را همبند ساده گویند اگر هر کمان بسته (یا حلقه، loop) در را بتوان به‌طور پیوسته به یک نقطه در منقبض نمود. این مفهوم به دلیل نتیجه زیر، که از فرض همبند ساده بودن استفاده رده، مهم تلقی می‌شود: قضیه: Theorem 5.6 فرض کنید و گروه‌های لی با جبرهای و بوده به طوری که همریختی جبر لی باشد. اگر همبند ساده باشد، همریختی گروه لی یکتایی چون وجود دارد چنان‌که ، که در آن دیفرانسیل در عنصر همانی است. از قضیه سوم لی و نتیجه پیشین نتیجه می‌شود که هر جبر لی حقیقی متناهی-بعدی، جبر لی یک گروه لی همبند ساده یکتا است. مثالی از یک گروه همبند ساده، گروه یکانی خاص است که به عنوان یک منیفلد، ۳-کره است. شکست در همبند ساده بودن، ارتباط تنگاتنگی با تمایز بن اسپین صحیح و اسپین نیم-صحیح در مکانیک کوانتومی دارد. مثال‌های دیگری از گروه‌های لی همبند ساده شامل گروه یکانی خاص ، گروه اسپین (پوشش مضاعف گروه دورانی) برای و گروه سیمپلکتیک فشرده . Section 13.2 روش‌های تعیین همبند ساده بودن یا نبودن یک گروه لی، در مقاله گروه‌های بنیادی، گروه‌های لی بحث شده است. نگاشت نمایی نگاشت نمایی از جبر لی مربوط به گروه خطی عام به ، توسط ماتریس نمایی تعریف شده و برای ماتریس‌هایی همچون ، به صورت سری توانی معمولی زیر تعریف می‌گردد: اگر زیرگروه بسته‌ای از باشد، نگاشت نمایی، جبر لی را به خواهد نگاشت؛ ازین رو، برای تمام گروه‌های ماتریسی نگاشتی نمایی وجود خواهد داشت. هر عضو از که به میزان کافی به عنصر همانی نزدیک باشد، تابع نمایی از یک ماتریس در جبر لی خواهد بود. Theorem 3.42 استفاده از تعریف فوق ساده است، اما این تعریف برای گروه‌های لی که شکل ماتریسی نداشته باشند قابل استفاده نبوده و مشخص نیست که نگاشت نمایی یک گروه لی به نمایشش به عنوان یک گروه ماتریسی، وابستگی ندارد. می‌توانیم هردوی این مشکلات را با استفاده از تعریفی مجرد تر از نگاشت نمایی که برای تمام گروه‌های لی کار می‌کند، حل کنیم. برای هر بردار چون در جبر لی از (یعنی فضای مماس بر در همانی)، می‌توان اثبات کرد که زیرگروه تک-پارامتری یکتایی چون چنان وجود دارد که . زیرگروه تک-پارامتری بودن ، به این معنا است که نگاشت همواری به توی است و این که برای تمام و : عمل سمت راست رابطه بالا، ضرب گروهی در است. شباهت صوری این فرمول با خاصیت توابع نمایی، تعریف زیر را توجیه می‌کند: به نگاشت فوق، نگاشت نمایی گفته می‌شود. این نگاشت، دیفئومورفیسمی بین همسایگی صفر در و یک همسایگی از عنصر همانی در را ارائه می‌نماید. نگاشت نمایی، تعمیمی از تابع نمایی برای اعداد حقیقی (چون ، جبر لی از گروه لی اعداد حقیقی مثبت تحت ضرب می‌باشد)، اعداد مختلط (چون ، جبر لی از گروه لی اعداد مختلط ناصفر تحت ضرب می‌باشد)، و ماتریس‌ها (چون ، به همراه جابجاگر عادی اش، جبر لی از گروه لی می‌باشد) است. از آنجا که نگاشت نمایی روی برخی از همسایگی‌های از ، پوشا است، اغلب به عناصر جبر لی، مولدان بی‌نهایت‌کوچک از گروه گفته می‌شود. علت آن، فرمول بیکر-کمپبل-هاسدورف است: همسایگی چون از عنصر صفر چنان موجود است که برای داریم: به طوری که جملات حذف شده معلوم بوده و مربوط به کروشه‌های لی روی چهار عضو یا بیشتر می‌شوند. هرگاه و جابه‌جا شوند، این فرمول به قانون نمایی رایج تقلیل پیدا می‌کند: نگاشت نمایی، هم‌ریختی‌های گروه لی را به هم مرتبط می‌سازد؛ یعنی، اگر یک هم‌ریختی گروه لی بوده و ، نگاشت القاء شده روی جبرهای لی متناظر با آن باشند، سپس برای تمام داریم: به بیان دیگر، نمودار زیر جابجا می‌شود: center (نماد exp، تبدیل طبیعی از یک تابعگون لی به تابعگون همانی روی رسته گروه‌های لی است) نگاشت نمایی از جبر لی به گروه لی همیشه پوشا (بِرو) نیست، حتی اگر گروه مورد نظر همبند باشد (گرچه که برای گروه‌های همبندی که فشرده یا پوچتوان باشند، پوشا است). همچنین، نگاشت نمایی برای گروه‌های لی بی‌نهایت-بعدی (پایین را ببینید) که روی فضای فرشه مدل شده باشند، نه پوشا و نه یک-به-یک اند، حتی برای همسایگی‌های به دلخواه کوچکی از صفر به همسایگی متناظرش از ۱. زیرگروه لی زیرگروه لی چون از گروه لی ، یک گروه لی است، یعنی زیرمجموعه ای از که نگاشت شمول از به را ایمرژن (جادهنده) و هم‌ریختی گروهی کند. براساس قضیه کارتان، زیرگروه بسته‌ای از ، ساختار هموار یکتایی را می‌پذیرد که آن را تبدیل به زیرگروه لی نشانده شده‌ای در می‌کند، یعنی، زیرگروه لی که نگاشت شمول را تبدیل به نشاندن هموار می‌کند. مثال‌های متعددی از زیرگروه‌های نا-بسته موجودند؛ به عنوان مثال، فرض کنید چمبره دو بعدی یا بیشتر بوده و زیرگروه تک-پارامتری با شیب گنگ باشد، یعنی، زیرگروهی که حول بپیچد. نگاشت نمایی، تناظر یک-به-یکی بین زیرگروه‌های لی همبند از یک گروه لی همبند چون و زیرجبرهای جبر لی از برقرار می‌سازد. هیچ محکی وجود ندارد که صرفاً براساس ساختار کار کند و تعیین کند که چه زیرجبرهایی متناظر با زیرگروه‌های بسته‌اند. نمایش‌ها یکی از جنبه‌های مهم مطالعه گروه‌های لی، نمایش‌هایشان است، یعنی روشی که (به صورت خطی) روی فضاهای برداری کنش می‌کنند. در فیزیک، گروه‌های لی اغلب اطلاعات مربوط به تقارن‌های یک سامانه فیزیکی را در خود می‌گنجانند. به عنوان مثال، معادله وابسته-به-زمانِ شرودینگر در مکانیک کوانتومی را در نظر بگیرید: . فرض کنید سامانه مذکور دارای تقارن گروه دورانی باشد، یعنی عملگر همیلتونی روی تابع موج . با کنش جابجا می‌شود (یک مثال مهم از چنین سامانه ای، اتم هیدروژن است که دارای یک مدار کروی است). این فرض لزوماً به معنی این نیست که جواب‌های ، توابع ناوردای دورنی اند، بلکه به این معنی است که فضای جواب‌های تحت دوران (برای هر مقدار ثابت از ) ناوردا است؛ لذا این فضا، نمایشی از را تشکیل می‌دهد. این نمایش‌ها رده‌بندی شده و رده بندیشان منجر به ساده‌سازی قابل توجه مسئله مربوط به اتم هیدروژن می‌شود، به گونه ای که اساساً معادلات دیفرانسیل با مشتقات جزئی در سه بعد، تبدیل به یک معادله دیفرانسیل معمولی یک بعدی می‌شود. به‌طور ویژه، حالت مربوط به گروه لی فشرده همبندی چون (شامل حالت که اخیراً ذکر شد)، مهار شدنی است. Part III در این حالت، هر نمایش متناهی-بعدی از به جمع مستقیم نمایش‌های تحویل ناپذیر تجزیه می‌گردد. همچنین می‌توان نمایش‌های یکانی (در حالت کلی بی‌نهایت-بعدی) از یک گروه لی دلخواه (که لزوماً فشرده نیست) را نیز مطالعه نمود. | ## جمع‌بندی | به عنوان مثال، امکان توصیف ساده نسبی از نمایش‌های گروه و نمایش‌های گروه پوانکاره وجود دارد.