Ruang Topologi dan Kontinuitas

Ruang topologi mengkodekan titik-titik mana yang berdekatan dengan titik-titik lain melalui keluarga himpunan terbuka, dan peta kontinu adalah peta yang menghormati kedekatan ini — menarik kembali himpunan terbuka ke himpunan terbuka.

Definition

Ruang topologi adalah himpunan X bersama dengan topologi — keluarga himpunan bagian terbuka yang tertutup di bawah gabungan arbitrer dan irisan hingga serta mengandung himpunan kosong dan X; fungsi antara ruang topologi kontinu jika prapeta setiap himpunan terbuka adalah terbuka, dan homeomorfisme adalah bijeksi kontinu dengan invers kontinu.

Scope

Topik ini mendefinisikan ruang topologi melalui aksioma himpunan terbuka dan bahasa ekuivalen dari himpunan tertutup, lingkungan, penutupan (closure), dan interior. Ini mengembangkan basis dan subbasis sebagai cara ekonomis untuk menentukan topologi, subruang, produk, dan topologi hasil bagi, serta gagasan sentral kontinuitas, homeomorfisme, dan invarian topologi. Ini membahas konvergensi barisan dan jaring (nets) di mana intuisi metrik gagal.

Core questions

• Bagaimana topologi yang sama dapat muncul dari basis yang berbeda, dan bagaimana kita membandingkan topologi berdasarkan kehalusan (fineness)?
• Apa arti kontinuitas ketika tidak ada metrik yang tersedia, dan bagaimana hal itu dicirikan melalui penutupan (closures) dan lingkungan?
• Kapan dua ruang homeomorfik, dan sifat-sifat apa yang berfungsi sebagai invarian untuk membedakannya?
• Bagaimana konstruksi subruang, produk, dan hasil bagi mewarisi atau gagal mewarisi sifat-sifat topologi induk?

Key concepts

• Himpunan terbuka, himpunan tertutup, lingkungan, penutupan (closure), dan interior
• Basis dan subbasis yang menghasilkan topologi
• Kontinuitas, homeomorfisme, dan invarian topologi
• Topologi subruang, produk, dan hasil bagi
• Konvergensi melalui barisan dan jaring (nets); peran keterhitungan pertama (first countability)

Clinical relevance

Definisi-definisi ini adalah titik masuk ke setiap struktur selanjutnya dalam geometri dan topologi: manifold adalah ruang topologi yang secara lokal Euclidean, homotopi dan homologi bekerja pada peta kontinu, dan analisis pada ruang bertumpu pada gagasan kontinuitas ini.

History

Definisi himpunan terbuka menggeneralisasi ruang metrik Fréchet (1906) dan aksioma lingkungan Hausdorff (1914); formulasi yang sekarang standar dalam hal gabungan arbitrer dan irisan hingga menjadi norma buku teks melalui Bourbaki dan teks-teks Amerika pertengahan abad.

Key figures

• Felix Hausdorff
• Maurice Fréchet
• James Munkres

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

Apakah setiap bijeksi kontinu adalah homeomorfisme?

Tidak. Bijeksi kontinu dapat gagal memiliki invers kontinu; homeomorfisme secara tambahan mensyaratkan inversnya kontinu, yang menjadikannya isomorfisme ruang topologi.

Mengapa jaring (nets) menggeneralisasi barisan dalam topologi?

Dalam ruang yang tidak dapat dihitung pertama (first countable), barisan tidak dapat mendeteksi semua perilaku penutupan (closure) dan kontinuitas; jaring (dan secara ekuivalen filter) mengindeks konvergensi atas himpunan terarah arbitrer dan memulihkan teori lengkap.