موضوع مقاله: گروه بنیادی | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # گروه بنیادی | مقدمه: در ریاضیات و در شاخه ی توپولوژی جبری، گروه بنیادی یک فضای توپولوژیکی، گروهی از دسته های هم ارزی تحت هموتوپی حلقه ها یی است که داخل آن فضا قرار دارند. | ## بخش 1: گروه بنیادی | این گروه، اطلاعات مربوط به شکل بنیادین، یا حفره های فضای توپولوژیکی را در خود ثبت می کند. گروه بنیادی یک ناوردای هموتوپیایی است، به عبارتی دیگر، فضاهای توپولوژی که هم ارز هموتوپی هستند (یا حالت قوی تر آن که با هم همسان‌ریخت باشند)، گروه های بنیادین یک ریختی دارند. شهود از یک فضا که نقطه ای روی آن قرار دارد شروع کرده (به عنوان مثال یک رویه)، و تمام حلقه هایی با شروع و پایان از آن نقطه را در نظر بگیرید، این حلقه ها مسیر هایی هستند که شروع و پایانشان همان نقطه بوده، به گونه ای که در آن فضای مورد نظر سیر کرده و به نقطه آغازین خود باز خواهند گشت. دو حلقه را می توان به سادگی با هم ترکیب کرد: اینگونه که با طی کردن اولین حلقه، وارد حلقه دوم شود. دو حلقه در صورتی با هم معادلند که بتوان یکی را با تغییر شکل بدون پارگی به دیگری تبدیل کرد. مجموعه تمام چنین حلقه هایی به همراه روش ترکیب کردن و معادل سازی بینشان، تشکیل گروه بنیادی آن فضای خاص را خواهند داد. گروه بنیادی، خواص مونودرومی توابع مختلط مقدار را توصیف می کند، به علاوه این که دسته بندی توپولوژیکی کاملی بر روی رویه های بسته ارائه می نماید. | ## بخش 2: گروه بنیادی | (همانگونه که در ادامه توضیح داده خواهد شد، نقش این نقطه کمکی و جنبیست) ایده ی تعریف گروه هموتوپی این است که (به طور کلی) تا چه حد خم های درون فضای را می توان با تغییر شکل به هم دیگر تبدیل نمود. تعریف دقیق آن وابسته به مفهوم هموتوپی حلقه هاست، که ابتدا آن را توضیح خواهیم داد. یک حلقه (یا کمند) در به صورت تابع پیوسته زیر تعریف شده باشد: چنان که نقطه آغازین و نقطه پایانی هردو برابر باشند. به طور دقیق تر، یک هموتوپی بین دو حلقه ی (که پایه هایشان در همان نقطه ی قرار دارد) نگاشت پیوسته ی زیر است: چنان که: برای تمام داشته باشیم ، یعنی نقطه شروع همتوپوی برای تمام t ها است (اغلب به t پارامتر زمان گفته می شود). برای تمام داشته باشیم ، چنان که به طور مشابه با حالت قبل، برای تمام t ها، نقطه ی پایان در باقی می ماند. رابطه هموتوپ بودن و یک رابطه ی هم ارزی است که دسته های هم ارزی آن را اینگونه می توان در نظر گرفت: این مجموعه (با ساختار گروهی که در زیر توضیح داده شده است) را گروه بنیادی فضای توپولوژی در نقطه پایه ای نامگذاری می کنند. هدف از دسته بندی حلقه ها بر اساس هموتوپی این است که مجموعه اصلی، یعنی کل حلقه ها با شروع و پایان از (که به آن فضای حلقه ای (فضای کمندی) روی فضای توپولوژی می گویند) یک مجموعه بزرگ است که مدیریت آن سخت است. | ## بخش 3: گروه بنیادی | در حالی که با تعریف این رابطه هم ارزی به مجموعه ای می رسیم که مدیریت و محاسبات بر روی آن راحت تر خواهد شد. این مجموعه را می توان با استفاده از اتصال حلقه ها تبدیل به یک گروه کرد (به همین دلیل به آن گروه بنیادی می گویند). به طور دقیق تر اگر دو حلقه ی و داده شده باشند، ضربشان را به صورت زیر تعریف می کنیم: لذا، حلقه ی در ابتدا را با "سرعت دو برابر" و سپس را با "سرعت دو برابر" طی می کند. نمونه‌ها روی یک کره با بعد بالاتر از ۲ (یعنی ) هر دور قابل تقلیل به یک نقطه است و در نتیجه همه دورها با هم (و با نقاط) هموتوپ هستند؛ بنابراین. اگر یک چنبره باشد، دو دایره (دور) مولد این چنبره مولد گروه بنیادی هم هستند؛ بنابراین: . در واقع برای هر گروه یک فضای توپولوژیک موجود است که (یکریخت با) گروه بنیادی آن فضا می‌باشد. ویژگیها اگر یک نگاشت پیوسته میان فضاهای توپولوژیک و و یک دور در باشد، آنگاه یک دور در خواهد بود. | ## جمع‌بندی | می‌توان نشان داد که دو دور هموتوپ را به دو دور هموتوپ می‌فرستد و بنابراین یک نگاشت تعریف می‌کند.