گروه بنیادی

در ریاضیات و در شاخه ی توپولوژی جبری، گروه بنیادی یک فضای توپولوژیکی، گروهی از دسته های هم ارزی تحت هموتوپی حلقه ها  یی است که داخل آن فضا قرار دارند. این گروه، اطلاعات مربوط به شکل بنیادین، یا حفره های فضای توپولوژیکی را در خود ثبت می کند. گروه بنیادی، اولین و ساده ترین گروه هموتوپی است. گروه بنیادی یک ناوردای هموتوپیایی است، به عبارتی دیگر، فضاهای توپولوژی که هم ارز هموتوپی هستند (یا حالت قوی تر آن که با هم همسان‌ریخت باشند)، گروه های بنیادین یک ریختی دارند. 

 شهود 
از یک فضا که نقطه ای روی آن قرار دارد شروع کرده (به عنوان مثال یک رویه)، و تمام حلقه هایی با شروع و پایان از آن نقطه را در نظر بگیرید، این حلقه ها مسیر هایی هستند که شروع و پایانشان همان نقطه بوده، به گونه ای که در آن فضای مورد نظر سیر کرده و به نقطه آغازین خود باز خواهند گشت. دو حلقه را می توان به سادگی با هم ترکیب کرد: اینگونه که با طی کردن اولین حلقه، وارد حلقه دوم شود. دو حلقه در صورتی با هم معادلند که بتوان یکی را با تغییر شکل بدون پارگی به دیگری تبدیل کرد. مجموعه تمام چنین حلقه هایی به همراه روش ترکیب کردن و معادل سازی بینشان، تشکیل گروه بنیادی آن فضای خاص را خواهند داد.

تاریخچه
هانری پوانکاره گروه بنیادی را در ۱۸۹۵ در مقاله اش "Analysis situs" معرفی کرد. Translated in  این مفهوم در نظریه رویه های ریمانی، در کار های برنارد ریمان، پوانکاره، و فلیکس کلاین ظهور پیدا کرد. گروه بنیادی، خواص مونودرومی توابع مختلط مقدار را توصیف می کند، به علاوه این که دسته بندی توپولوژیکی کاملی بر روی رویه های بسته ارائه می نماید.

 تعریف 
thumb
در سرتاسر این مقاله،  یک فضای توپولوژیست. مثال معمول آن رویه ای است که در تصویر مشاهده می کنید. به علاوه،  نقطه ای در  است که به آن نقطه پایه ای گفته می شود. (همانگونه که در ادامه توضیح داده خواهد شد، نقش این نقطه کمکی و جنبیست) ایده ی تعریف گروه هموتوپی این است که (به طور کلی) تا چه حد خم های درون فضای  را می توان با تغییر شکل به هم دیگر تبدیل نمود. تعریف دقیق آن وابسته به مفهوم هموتوپی حلقه هاست، که ابتدا آن را توضیح خواهیم داد.

هموتوپی حلقه ها
فرض کنید فضای توپولوژیکی  داده شده باشد. یک حلقه (یا کمند)  در  به صورت تابع پیوسته زیر تعریف شده باشد:

چنان که نقطه آغازین  و نقطه پایانی  هردو برابر  باشند. 

هموتوپی حلقه ها|thumb

یک هموتوپی، در حقیقت نوعی درونیابی بین دو حلقه است. به طور دقیق تر، یک هموتوپی بین دو حلقه ی  (که پایه هایشان در همان نقطه ی  قرار دارد) نگاشت پیوسته ی زیر است:

چنان که:

برای تمام  داشته باشیم ، یعنی نقطه شروع همتوپوی برای تمام t ها  است (اغلب به t پارامتر زمان گفته می شود).
برای تمام  داشته باشیم ، چنان که به طور مشابه با حالت قبل، برای تمام t ها، نقطه ی پایان در  باقی می ماند.
برای تمام  داشته باشیم .

اگر چنین هموتوپی h ی وجود داشته باشد، می گوییم  و  با هم هموتوپ هستند. رابطه هموتوپ بودن  و  یک رابطه ی هم ارزی است که دسته های هم ارزی آن را اینگونه می توان در نظر گرفت:

این مجموعه (با ساختار گروهی که در زیر توضیح داده شده است) را گروه بنیادی فضای توپولوژی  در نقطه پایه ای  نامگذاری می کنند. هدف از دسته بندی حلقه ها بر اساس هموتوپی این است که مجموعه اصلی، یعنی کل حلقه ها با شروع و پایان از  (که به آن فضای حلقه ای (فضای کمندی) روی فضای توپولوژی  می گویند) یک مجموعه بزرگ است که مدیریت آن سخت است. در حالی که با تعریف این رابطه هم ارزی به مجموعه ای می رسیم که مدیریت و محاسبات بر روی آن راحت تر خواهد شد.

 ساختار گروهی  
جمع حلقه ها|thumb
بر اساس تعریف فوق،  صرفاً یک مجموعه است. این مجموعه را می توان با استفاده از اتصال حلقه ها تبدیل به یک گروه کرد (به همین دلیل به آن گروه بنیادی می گویند). به طور دقیق تر اگر دو حلقه ی  و  داده شده باشند، ضربشان را به صورت زیر تعریف می کنیم:

لذا، حلقه ی  در ابتدا  را با "سرعت دو برابر" و سپس  را با "سرعت دو برابر" طی می کند.

 نمونه‌ها 
 روی یک کره  با بعد بالاتر از ۲ (یعنی ) هر دور قابل تقلیل به یک نقطه است و در نتیجه همه دورها با هم (و با نقاط) هموتوپ هستند؛ بنابراین.
 اگر  یک چنبره باشد، دو دایره (دور) مولد این چنبره مولد گروه بنیادی هم هستند؛ بنابراین: .
 در واقع برای هر گروه  یک فضای توپولوژیک  موجود است که (یکریخت با) گروه بنیادی آن فضا می‌باشد.

 ویژگیها 
اگر  یک نگاشت پیوسته میان فضاهای توپولوژیک  و و  یک دور در  باشد، آنگاه  یک دور در  خواهد بود. می‌توان نشان داد که  دو دور هموتوپ را به دو دور هموتوپ می‌فرستد و بنابراین یک نگاشت  تعریف می‌کند.

همچنین گروه بنیادی نسبت به حاصلضرب‌ها خوش رفتار است یعنی:

 پانویس 

 منابع 
 Tammo tom Dieck: Topologie, de Gruyter, Berlin, 2000
 Allen Hatcher, Algebraic Topology, Cambridge University Press 2002
 Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag

رده:توپولوژی جبری
رده:ریاضیات
رده:ساختارهای ریاضیاتی
رده:نظریه هموتوپی