Ayrılma_belitleri

| Bilgi | Detay |
| --- | --- |
| **Topolojik uzaylarda ayrılma belitleri** | |
| **Kolmogorov sınıflandırması** | |
| **T 0** | (Kolmogorov) |
| **T 1** | (Fréchet) |
| **T 2** | (Hausdorff) |
| **T 2 ½** | (Urysohn) |
| **tamamen T 2** | (tamamen Hausdorff) |
| **T 3** | (düzenli Hausdorff) |
| **T 3 ½** | (Tychonoff) |
| **T 4** | (normal Hausdorff) |
| **T 5** | (tamamen normal Hausdorff) |
| **T 6** | (mükemmel normal Hausdorff) |
| Tarihçe | |

Ayrılma belitleri bir topolojik uzayın üzerine konan ve noktaların ve altkümelerin birbirilerinden ne kadar ayrı olduğunu belirten belitler ailesi. Bir topolojik uzayın bu belitlerden birini sağladığı söylendiğinde, topolojisi hakkında global bir bilgi verilmiş ve topolojinin cinsi daraltılmış olur. Örneğin, topolojinin sahip olduğu açık kümelere bakmaksızın o topolojinin T 0 olduğunu söylemek, topolojik uzayda seçilmiş herhangi iki noktanın birbirlerinden ayırt edilebilir olduğunu garanti eder. Ayrılma belitleri Almancada ayrılma anlamına gelen Trennung sözcüğüne atıfta bulunarak T harfiyle gösterilir. Bu belitlerden bazıları çok eskiden ifade edilmiştir, bazıları daha yenidir. Kimileri çalışılan matematik dalına göre ifadesinde farklılık göstermiş ve zaman içinde şöyle böyle standart bir listeye kavuşulmuştur. Kaynağına bağlı olarak adlandırmalar farklılık gösterebilir.

Matematiksel tanımlar X topolojik bir uzay olsun. Hausdorff, düzenli (İng. regular) ve normal uzaylar. Mavi alanlar açık kümeleri, kırmızı alanlar kapalı kümeleri, kara yuvarlaklar noktaları temsil ediyor. Eğer X' te herhangi iki nokta topolojik olarak birbirinden ayıredilebiliyorsa , yani içerildikleri açık kümeler tamamen birbirlerinin aynı değilse (yani birini içeren ve diğerini içermeyen en az bir açık küme varsa) X uzayına T 0 ya da Kolmogorov denir. Eğer birbirinden ayırdedilebilir her nokta çifti birbirinden ayrılabiliyorsa , yani birinciyi içeren ve ikinciyi içermeyen en az bir açık küme ve ikinciyi içeren ve birinciyi içermeyen en az bir açık küme varsa, X 'e R 0 ya da simetrik denir. Eğer birbirinden farklı her nokta çifti hem birbirinden ayırdedilebiliyorsa hem de ayrılabiliyorsa, X' e T 1 , ya da Fréchet topolojisine sahip denir. Yani T 1 olmak, T 0 ve R 0 olmak demektir. Böyle bir uzayda tek tek noktalar birer kapalı altkümedir. Eğer birbirinden farklı her nokta çiftinin birbirinden ayrık birer komşuluğu varsa, X' e Hausdorff ya da T 2 ya da ayrılmış denir. Bir Hausdorff uzay hem T 0 hem R 0 'dır yani T 1 'dir. Fazladan istenen şey, noktaları birbirinden ayıran açık kümelerin ayrık seçilebilmesidir. Eğer Hausdorff'luk belitinde noktaları ayıran ayrık kümeler kapalı seçilebiliyorsa, X' e T 2½ , ya da Urysohn denir. Tabii, tanım gereği T 2½ uzay Hausdorff'tur. Eğer verilen her kapalı küme ve onun içinde olmayan her nokta için, kümenin ve noktanın ayrık açık komşulukları bulunabiliyorsa, X' e düzenli denir. X hem düzenli hem de T 1 'se, X' e düzenli Hausdorff ya da T 3 denir. Böyle bir uzay Hausdorff'tur çünkü her bir nokta kapalı bir altkümedir. Düzenli Hausdorff uzay T 2½ 'tur. X hem T 1 uzaysa hem de verilen her kapalı K kümesi ve dışındaki her x noktası birbirinden sürekli bir fonksiyonla ayrılabiliyorsa, yani X 'ten reel sayılara K 'de 0 x 'te 1 değerini alan sürekli bir fonksiyon bulunabiliyorsa, X' e Tychonoff , ya da T 3½ , ya da tamamen düzenli Hausdorff denir. Eğer verilen her kapalı ayrık küme çifti birbirilerinden açık kümelerle ayrılıyorsa, yani kapalı kümeleri içeren iki tane ayrık açık küme bulunabiliyorsa, X' e normal denir. Urysohn önsavına göre, normal bir uzayda kapalı ayrık kümeler aynı zamanda fonksiyonlarla da ayrılabilir. X hem T 1 hem de normal ise, X' e normal Hausdorff , ya da T 4 denir. Urysohn önsavı, T 4 uzayın T 3½ olduğunu garanti eder. X hem T 1 'se hem de tamamen normal ise, yani herhangi iki küme çifti açık komşuluklarıyla ayrılabiliyorsa, X' e tamamen normal Hausdorff ya da T 5 denir. Verilen her kapalı ayrık küme çifti K ve L için, bunları birbirilerinden ayıran sürekli bir fonksiyon varsa ve bu fonksiyon altında 0'ın ters görüntüsü K , 1'in ters görüntüsü L ise, X' e mükemmel normal Hausdorff ya da T 6 denir. Yukarıda saydığımız ayrılma belitlerinin tanımdan gelen bir hiyerarşileri vardır. Listede daha başta olanlar, sonra gelenlerden daha genel durumlardır: T 0 > T 1 > T 2 > T 2½ > T 3 > T 3½ > T 4 > T 5 > T 6 .