Aksioma Pemisahan dan Metrisasi

Aksioma pemisahan mengklasifikasikan ruang topologi berdasarkan seberapa baik titik dan himpunan tertutup dapat dibedakan oleh himpunan terbuka, dan teorema metrisasi mengidentifikasi secara tepat ruang mana yang cukup terpisah untuk memiliki metrik yang kompatibel.

Definition

Aksioma pemisahan adalah kondisi yang menentukan bahwa titik-titik yang berbeda, atau titik-titik dan himpunan tertutup yang saling lepas, dapat dipisahkan oleh himpunan terbuka yang saling lepas atau oleh fungsi kontinu; teorema metrisasi memberikan kondisi topologi yang diperlukan dan cukup agar suatu ruang homeomorfik terhadap ruang metrik.

Scope

Topik ini mengembangkan hierarki aksioma pemisahan (T0 hingga T4: ruang Kolmogorov, T1, Hausdorff, reguler, dan normal) dan kekekalannya di bawah subruang dan produk. Ini mencakup alat-alat yang membuat normalitas menjadi kuat — lemma Urysohn yang menghasilkan fungsi pemisah kontinu dan teorema ekstensi Tietze — dan berpuncak pada metrisasi: teorema metrisasi Urysohn dan karakterisasi Nagata-Smirnov yang menentukan kapan suatu topologi abstrak berasal dari metrik. Parakompak dan partisi kesatuan disertakan sebagai jembatan menuju teori manifold.

Core questions

• Bagaimana aksioma pemisahan T0 hingga T4 saling memperkuat, dan mana yang gagal diwarisi oleh produk?
• Mengapa normalitas, melalui lemma Urysohn, menghasilkan fungsi kontinu yang memisahkan himpunan tertutup?
• Kondisi topologi apa yang secara tepat ekuivalen dengan metrisabilitas?
• Bagaimana parakompak dan partisi kesatuan membuat ruang normal dapat digunakan untuk analisis pada manifold?

Key concepts

• Pemisahan T0, T1, dan Hausdorff (T2)
• Ruang reguler (T3) dan normal (T4)
• Lemma Urysohn dan teorema ekstensi Tietze
• Teorema metrisasi Urysohn dan Nagata-Smirnov
• Parakompak dan partisi kesatuan

Clinical relevance

Mekanisme pemisahan dan metrisasi mendasari geometri diferensial dan analisis pada manifold: partisi kesatuan, yang ada pada ruang Hausdorff parakompak, adalah perangkat standar untuk menambal konstruksi lokal menjadi global, dan metrisabilitas menjamin intuisi metrik yang digunakan di seluruh geometri.

History

Aksioma pemisahan disistematisasi pada tahun 1920-an dan 1930-an; lemma Urysohn dan teorema metrisasinya (1925) memberikan kriteria metrisabilitas mendalam pertama, yang disempurnakan untuk ruang umum oleh teorema Nagata-Smirnov sekitar tahun 1950, membentuk bentuk modern dari bab terakhir topologi himpunan titik.

Key figures

• Pavel Urysohn
• Heinrich Tietze
• Jun-iti Nagata

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

Apakah setiap ruang Hausdorff dapat dimetrisasi?

Tidak. Metrisabilitas membutuhkan lebih banyak — misalnya, menurut teorema Urysohn, ruang terhitung kedua dapat dimetrisasi jika dan hanya jika ruang tersebut reguler dan Hausdorff, dan ada ruang Hausdorff yang gagal memenuhi kondisi yang lebih kuat ini.

Untuk apa lemma Urysohn digunakan?

Ini menjamin bahwa dalam ruang normal, setiap dua himpunan tertutup yang saling lepas dapat dipisahkan oleh fungsi bernilai riil kontinu, yang merupakan langkah kunci dalam teorema ekstensi Tietze dan teorema metrisasi.