Aksioma pemisahan

Aksioma pemisahan
dalam Ruang topologi
Aksioma pemisahan; dalam Ruang topologi
Kolmogorov
T0	(Kolmogorov)
T1	(Fréchet)
T2	(Hausdorff)
T2½	(Urysohn)
sepenuhnya T2	(completely Hausdorff)
T3	(regular Hausdorff)
T3½	(Tychonoff)
T4	(normal Hausdorff)
T5	(completely normal; Hausdorff)
T6	(perfectly normal; Hausdorff)
	Sejarah;

Dalam topologi dan bidang-bidang terkait lainnya di matematika, ada beberapa batasan yang sering dibuat seseorang untuk jenis ruang topologi yang ingin dia pertimbangkan. Beberapa dari batasan ini diberikan oleh aksioma pemisahan. Aksioma ini terkadang juga disebut dengan aksioma pemisahan Tychonoff, dari nama Andrey Tychonoff.

Aksioma pemisahan merupakan aksioma hanya dalam artian bahwa, ketika mendefinisikan gagasan tentang ruang topologi, seseorang dapat menambahkan kondisi ini sebagai aksioma tambahan untuk mendapatkan pengertian yang lebih terbatas tentang apa itu ruang topologi. Pendekatan modern untuk masalah ini adalah untuk menetapkan sekali dan untuk semua aksiomatisasi tentang ruang topologi, kemudian berbicara tentang jenis-jenis ruang topologi.Namun, penggunaan istilah "aksioma pemisahan" sudah menetap. Aksioma pemisahan dilambangkan dengan huruf "T" setelah bahasa jerman Trennungsaxiom,^[1] yang berarti "aksioma pemisahan".

Arti yang spesifik dari istilah-istilah yang terkait dengan aksioma pemisahan telah banyak berubah dari waktu ke waktu. Penting untuk memahami definisi yang digunakan penulis untuk setiap kondisi yang mereka disebutkan, guna mengetahui dengan tepat apa yang mereka maksud; terutama saat membaca literatur-literatur yang lebih tua.

Definisi awal

Sebelum kita mendefinisikan aksioma pemisahan itu sendiri, kita memberikan arti konkret pada konsep himpunan (dan titik) yang terpisah di ruang topologi. (Kumpulan terpisah tidak sama dengan ruang terpisah , yang ditentukan di bagian selanjutnya.)

Aksioma pemisahan adalah tentang penggunaan cara topologis untuk membedakan titik himpunan terpisah dan berbeda. Tidaklah cukup bagi elemen-elemen ruang topologis untuk dibedakan (yaitu, tidak sama); kami mungkin ingin mereka menjadi dapat dibedakan secara topologis. Demikian pula, tidak cukup subhimpunan dari ruang topologis menjadi terputus-putus; kita mungkin ingin mereka dipisahkan (dengan berbagai cara). Semua aksioma pemisahan mengatakan, dengan satu atau lain cara, bahwa titik atau himpunan yang dapat dibedakan atau dipisahkan dalam arti yang lemah juga harus dapat dibedakan atau dipisahkan dalam arti yang lebih kuat.

Contohnya $X$ menjadi ruang topologi. Kemudian dua titik $x$ dan $y$ di $X$ adalah dapat dibedakan secara topologis bila mereka tidak memiliki lingkungan lingkungan yang persis sama (atau lingkungan terbuka yang sama); yaitu, setidaknya salah satu dari mereka memiliki lingkungan yang bukan merupakan lingkungan dari yang lain (atau yang ekuivalen ada himpunan terbuka yang dimiliki satu titik tetapi titik lainnya tidak).

Dua titik $x$ dan $y$ adalah terpisah jika masing-masing memiliki lingkungan yang bukan merupakan lingkungan satu sama lain; artinya, tidak ada yang termasuk dalam penutupan lainnya. Secara lebih umum, dua himpunan bagian $A$ dan $B$ dari $X$ adalah dipisahkan bila masing-masing terpisah dari penutupan lainnya. (Penutupan itu sendiri tidak harus terputus-putus.) Semua kondisi yang tersisa untuk pemisahan himpunan juga dapat diterapkan ke titik (atau ke titik dan himpunan) dengan menggunakan himpunan tunggal. Titik $x$ dan $y$ akan dianggap dipisahkan, oleh lingkungan, oleh lingkungan tertutup, oleh fungsi berkelanjutan, tepatnya oleh fungsi, bila dan hanya jika himpunan tunggal mereka $\{x\}$ dan $\{y\}$ dipisahkan sesuai dengan kriteria yang sesuai.

Subhimpunan $A$ dan $B$ dipisahkan oleh lingkungan jikasubhimpunan $A$ dan $B$ memiliki lingkungan yang terpisah. Subhimpunannya dipisahkan oleh lingkungan tertutup jika memiliki lingkungan tertutup yang lepas. Mereka dipisahkan oleh fungsi kontinu jika ada fungsi kontinu $f$ dari ruang $X$ ke garis bilangan real $\mathbb {R}$ sedemikian rupa sehingga citra $f(A)$ sama dengan $\{0\}$ dan $f(B)$ sama dengan $\{1\}$ . Pada akhirnya, subhimpunan tersebut dipisahkan dengan tepat oleh fungsi kontinu jika ada fungsi kontinu $f$ dari $X$ menjadi $\mathbb {R}$ sedemikian rupa sehingga gambar awal $f^{-1}(\{0\})$ sama dengan $A$ dan $f^{-1}(\{1\})$ sama dengan $B$ .

Syarat-syarat berikut diberikan agar memperkuat definisi berikut: Dua titik yang dapat dibedakan secara topologis harus berbeda, dan dua titik yang terpisah harus dapat dibedakan secara topologis. Dua himpunan yang terpisah harus dipisah, dua himpunan yang dipisahkan oleh lingkungan harus dipisahkan, dan seterusnya.

Untuk mengetahui lebih lanjut mengenai syarat-syarat berikut (diantaranya penggunaannya di luar aksioma pemisahan), lihat artikel Himpunan terpisah dan Dapat dibedakan secara topologis.

Definisi utama

Semua definisi ini pada dasarnya menggunakan definisi awal di atas.

Banyak dari nama-nama ini memiliki arti alternatif dalam beberapa literatur matematika, seperti yang dijelaskan di Sejarah aksioma pemisahan; misalnya, arti dari "normal" dan "T₄" terkadang dipertukarkan, serupa "biasa" dan "T₃", dll. Banyak konsep juga memiliki beberapa nama; namun, yang terdaftar pertama selalu paling tidak ambigu.

Kebanyakan aksioma ini memiliki definisi alternatif dengan arti yang sama; definisi yang diberikan di sini jatuh ke dalam pola yang konsisten yang menghubungkan berbagai pengertian tentang pemisahan yang didefinisikan sebelumnya. Definisi lain yang mungkin dapat ditemukan di artikel individu.

Dalam semua definisi berikut, X sekali lagi adalah spasi topologis.

X adalah T₀, atau Kolmogorov , jika ada dua titik berbeda di X yang dapat dibedakan secara topologis. (Ini akan menjadi tema umum di antara aksioma pemisahan untuk memiliki satu versi aksioma yang membutuhkan T₀ dan satu versi yang tidak.)
X adalah R₀, atau simetris , bila ada dua titik yang dapat dibedakan secara topologis di X yang dipisahkan.
X adalah T₁, atau dapat diakses atau Fréchet atau Tikhonov , jika ada dua titik berbeda dalam X yang dipisahkan. Jadi, X adalah T₁ jika dan hanya jika keduanya T₀ dan R₀. (Meskipun Anda mungkin mengatakan hal-hal seperti itu "T₁ spasi "," topologi Fréchet ", dan" anggaplah bahwa ruang topologi X adalah Fréchet "; hindari mengucapkan "Ruang Fréchet" dalam konteks ini, karena ada pengertian lain yang sama sekali berbeda tentang Ruang Fréchet di analisis fungsional.)
X adalah R₁, atau preregular , jika ada dua titik yang dapat dibedakan secara topologis di X yang dipisahkan oleh lingkungan. Setiap ruang R₁ juga R₀.

	Terpisah	Dipisahkan oleh Lingkungan	Dipisahkan oleh Lingkungan Tertutup	Dipisahkan oleh Fungsi Tepatnya Dipisahkan oleh Fungsi
Titik yang terbedakan	Simetris	Preregular
Titik berbeda	Fréchet	Hausdorff	Urysohn	Benar-benar Hausdorff	Hausdorff Sempurna
Himpunan tertutup dan di luar titik	(selalu benar)	(selalu benar)	Regular		Completely regular	Perfectly regular
Himpunan tertutup yang lepas	(always true)	Normal			Perfectly normal
Himpunan terpisah	(always true)	Completely normal

Hubungan antar aksioma

Aksioma T₀ spesial karena tidak hanya bisa ditambahkan ke sifat (sehingga benar-benar ditambah T₀ adalah Tychonoff) tetapi juga dikurangkan dari sifat (sehingga Hausdorff dikurangi T₀ adalah R₁), dalam arti yang cukup tepat; lihat hasil bagi Kolmogorov untuk informasi lebih lanjut. Jika diterapkan pada aksioma pemisahan, ini mengarah ke hubungan dalam tabel di kiri bawah. Dalam tabel ini, Anda pergi dari sisi kanan ke sisi kiri dengan menambahkan persyaratan T₀, dan Anda pergi dari sisi kiri ke sisi kanan dengan menghapus persyaratan itu, menggunakan Kolmogorov. (Nama-nama dalam tanda kurung yang diberikan di sisi kiri tabel ini umumnya ambigu atau setidaknya kurang dikenal; tetapi mereka digunakan dalam diagram di bawah ini.)

T₀ version	Bukan versi T₀
T₀	(Tidak ada persyaratan)
T₁	R₀
Hausdorff (T₂)	R₁
T_2½	(Tidak ada nama khusus)
Completely Hausdorff	(Tidak ada nama khusus)
Hausdorff biasa (T₃)	Reguler
Tychonoff (T_3½)	Komplek teratur
Normal T₀	Normal
Normal Hausdorff (T₄)	Normal regular
Komplek normal T₀	Komplek normal
Completely normal Hausdorff (T₅)	Komplek normal regular
Perfectly normal T₀	Perfek normal
Perfectly normal Hausdorff (T₆)	Perfek normal regular

Selain penyertaan atau pengecualian T₀, hubungan antara aksioma pemisahan ditunjukkan pada diagram di sebelah kanan. Dalam diagram ini, versi non-T₀ dari suatu kondisi ada di sisi kiri garis miring, dan versi T₀ ada di sisi kanan. Huruf digunakan untuk singkatan sebagai berikut: "P" = "pefek", "C" = "komplek", "N" = "normal", dan "R" (tanpa subskrip) = "biasa". Peluru menunjukkan bahwa tidak ada nama khusus untuk spasi di tempat itu. Tanda hubung di bagian bawah menunjukkan tidak ada kondisi.

Anda dapat menggabungkan dua properti menggunakan diagram ini dengan mengikuti diagram ke atas hingga kedua cabang bertemu. Misalnya, jika spasi sepenuhnya normal ("CN") dan kompleks Hausdorff ("CT₂"), lalu mengikuti kedua cabang ke atas, Anda menemukan tempat "•/T₅". Karena spasi yang sepenuhnya Hausdorff adalah T₀ (walaupun spasi yang sepenuhnya normal mungkin tidak), Anda mengambil sisi T₀ dari garis miring, jadi spasi Hausdorff yang sepenuhnya normal sama dengan spasi T₅ (kurang ambigu disebut sebagai spasi Hausdorff yang sepenuhnya normal, seperti yang Anda lihat pada tabel di atas).

Seperti yang Anda lihat dari diagram, normal dan R₀ bersama-sama menyiratkan sejumlah properti lain, karena menggabungkan dua properti mengarahkan Anda untuk mengikuti jalur melalui banyak node di kanan. Karena keteraturan adalah yang paling terkenal, spasi yang normal dan R₀ biasanya disebut "ruang reguler normal". Dengan cara yang agak mirip, spasi yang normal dan T₁ sering disebut "ruang Hausdorff normal" oleh orang yang ingin menghindari notasi "T" yang ambigu. Konvensi ini dapat digeneralisasikan ke ruang reguler dan ruang Hausdorff lainnya.

Lihat pula

Catatan

^ Hansen, Vagn Lundsgaard (1999). Fundamental Concepts in Modern Analysis (dalam bahasa Inggris). World Scientific. ISBN 978-981-02-3894-0.

Referensi

Schechter, Eric (1997). Handbook of Analysis and its Foundations. San Diego: Academic Press. ISBN 0126227608. (has R_i axioms, among others)
Willard, Stephen (1970). General topology. Reading, Mass.: Addison-Wesley Pub. Co. ISBN 0-486-43479-6. (has all of the non-R_i axioms mentioned in the Main Definitions, with these definitions)
Merrifield, Richard E.; Simmons, Howard E. (1989). Topological Methods in Chemistry. New York: Wiley. ISBN 0-471-83817-9. (gives a readable introduction to the separation axioms with an emphasis on finite spaces)

Pranala luar

Separation Axioms at ProvenMath
Table of separation and metrisability axioms from Schechter

[1] Hansen, Vagn Lundsgaard (1999). Fundamental Concepts in Modern Analysis (dalam bahasa Inggris). World Scientific. ISBN 978-981-02-3894-0.

[1]