فهرست مطالب

فهرست نمودارها

مقدمه

مفهوم گروه‌وارها در هندسه دیفرانسیل در سال 1950 توسط اریزمن[1] مطرح شد که در واقع تعمیمی از گروه‌ها می‌باشد.یکی از نظریه‌هایی که بر مبنای گروه‌وارها می‌توان ساختارهای آن را مشخص کرد، نظریه‌ی فضاهای پوششی است. این نظریه یکی از مهم‌ترین نظریه‌ها در توپولوژی جبری است که با مطالعه‌ی رسته‌ها، گروه‌وارها و روابط بین آن‌ ها در فضاهای پوششی، مفهوم پوشش بامعنا می‌شود که این روابط توسط براون[2]، هاردی[3]، آیسن[4] و موسوک[5] در مراجع [2,6,9,10,14,16]، مورد بررسی قرار گرفته است. در سال 1971، هایگنز نشان داد نظریه‌ی گروه­وارهای پوششی نقش مهمی را در عملکرد گروه‌وارها ایفا می‌کنند. در این نظریه دو نتیجه‌ی مهم و کلیدی وجود دارد که بررسی توپولوژیکی این دو نتیجه، در سال 1976 توسط براون و هاردی در مرجع [2]، بیان شده است. طی این بررسی براون در سال 2006 در مرجع [1]، هم‌ارزی رسته‌ی  از پوشش ­های توپولوژیکی  و رسته‌ی از گروه‌وارهای پوششی گروه­وار بنیادی  را برای فضای توپولوژیکی  که دارای پوشش جهانی می‌باشد، نشان داد.

در سال 1998، در مرجع [14]، موسوک نظریه‌ی حلقه-گروه‌وار را تعریف کرد. علاوه بر آن ثابت کرد که برای حلقه‌ی توپولوژیکی ،  یک حلقه-گروه‌وار می‌شود. سپس هم‌ارزی رسته‌ی  از پوشش‌های حلقه‌ای توپولوژیکی  و رسته‌ی  از پوشش‌های حلقه-گروه‌واری  را نشان داد.

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