Grup Fundamental dan Ruang Penutup

Grup fundamental mencatat bagaimana loop dalam suatu ruang dapat dan tidak dapat dikontraksikan, dan teori ruang penutup menerjemahkan subgrupnya ke dalam kamus geometris lengkap ruang yang melingkupi ruang aslinya.

Definition

Grup fundamental dari suatu ruang bertitik adalah grup yang elemen-elemennya adalah kelas homotopi dari loop yang berbasis pada titik tersebut, dengan penggabungan sebagai operasinya; ruang penutup adalah peta yang secara lokal merupakan tumpukan salinan basis yang trivial, dan teorinya menghubungkan peta-peta tersebut dengan subgrup dari grup fundamental.

Scope

Topik ini memperkenalkan homotopi jalur, grup fundamental sebagai grup kelas loop yang berbasis pada suatu titik, dan perhitungannya melalui teorema van Kampen. Ini mengembangkan ruang penutup, kriteria pengangkatan (lifting criterion), dan korespondensi mirip Galois antara subgrup grup fundamental dan penutup terhubung, termasuk penutup universal dan transformasi dek. Aplikasi seperti klasifikasi penutup lingkaran dan perhitungan grup fundamental graf dan permukaan juga disertakan.

Core questions

• Bagaimana grup fundamental mendeteksi lubang yang mencegah loop berkontraksi?
• Bagaimana teorema van Kampen membangun grup fundamental suatu ruang dari bagian-bagian yang tumpang tindih?
• Apa korespondensi yang tepat antara ruang penutup terhubung dan subgrup dari grup fundamental?
• Kapan suatu peta terangkat melalui penutup, dan peran apa yang dimainkan oleh penutup universal?

Key concepts

• Homotopi jalur dan penggabungan loop
• Grup fundamental dan fungsionalitasnya di bawah peta yang mempertahankan titik dasar
• Teorema van Kampen
• Ruang penutup, kriteria pengangkatan, dan transformasi dek
• Penutup universal dan korespondensi Galois untuk penutup

Clinical relevance

Grup fundamental adalah invarian aljabar pertama dan paling mudah diakses, yang membedakan lingkaran dari disk dan mendasari monodromi, teori permukaan Riemann, dan klasifikasi bundel datar; teori ruang penutup adalah model topologi untuk teori Galois dan untuk hasil bagi oleh aksi grup.

History

Poincaré memperkenalkan grup fundamental dalam Analysis Situs (1895); teorema Seifert-van Kampen pada tahun 1930-an membuatnya dapat dihitung dengan cara menempelkan, dan korespondensi sistematis antara penutup dan subgrup, yang diformalkan melalui transformasi dek, membangun analogi dengan teori Galois yang kini menjadi standar dalam kurikulum.

Key figures

• Henri Poincaré
• Egbert van Kampen
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Mengapa grup fundamental lingkaran adalah bilangan bulat?

Sebuah loop pada lingkaran diklasifikasikan hingga homotopi oleh berapa kali ia melilit, dengan tanda untuk arah; bilangan lilitan ini bersifat aditif di bawah penggabungan, memberikan isomorfisme dengan bilangan bulat.

Apa itu penutup universal?

Ini adalah ruang penutup yang terhubung sederhana dari suatu ruang (yang sesuai); ini sesuai dengan subgrup trivial dalam kamus ruang penutup dan membawa grup fundamental sebagai grup transformasi deknya.