Urysohn Metrizasyon Teoremi

Bir topolojik uzay düzenli (regular) ve sayılabilir bir tabana sahipse, metrizlenebilirdir.

Urysohn Metrizasyon Teoremi, genel topolojinin en önemli sonuçlarından biridir. Bu teorem, yalnızca açık ve kapalı kümeler aracılığıyla tanımlanan soyut bir topolojik uzayın hangi koşullar altında bir uzaklık kavramıyla açıklanabileceğini ortaya koyar.

Daha açık bir ifadeyle, sayılabilir bir tabana sahip her düzenli topolojik uzay, aynı topolojiyi üreten uygun bir metrik yardımıyla tanımlanabilir. Böylece uzay üzerinde uzaklık, yakınsama ve süreklilik gibi kavramlar metrik bir çerçevede incelenebilir.

• Bir uzay, kendisini içermeyen her kapalı küme ile her nokta için bu ikisini birbirinden ayıran ayrık açık kümeler bulunabiliyorsa düzenli (regular) olarak adlandırılır. Başka bir deyişle, noktalar ve kapalı kümeler uygun açık komşuluklar kullanılarak birbirinden ayrılabilir.
• Bir uzayın sayılabilir bir tabanı varsa, tüm açık kümeler sayılabilir bir açık kümeler ailesinden elde edilebilir. Yani uzayın topolojik yapısını tanımlamak için sayılabilir sayıda temel açık küme yeterlidir.

Bu iki koşul birlikte sağlandığında, söz konusu uzay mutlaka bir metrik yardımıyla ifade edilebilir.

Önemli not. Teoremin tersi doğru değildir. Bir uzayın metrizlenebilir olması, mutlaka sayılabilir bir tabana sahip olduğu anlamına gelmez. Başka bir ifadeyle, bazı metrizlenebilir uzaylar Urysohn teoreminde belirtilen varsayımları sağlamayabilir. Teorem, bir topolojinin hangi koşullar altında metrikleştirilebileceğini söyler; metrizlenebilir tüm uzayların aynı özelliklere sahip olduğunu iddia etmez.

Teorem Ne Söyler?

Topolojide çoğu zaman işe bir uzaklık fonksiyonuyla başlamayız. Bunun yerine hangi kümelerin açık olduğunu belirler ve uzayın yapısını bu bilgilerden oluştururuz.

Bu durumda doğal olarak şu soru ortaya çıkar:

Verilen bir topoloji, uygun bir uzaklık fonksiyonu kullanılarak tanımlanabilir mi?

Başka bir deyişle, topolojinin yapısıyla uyumlu bir

$$ d(x,y) $$

uzaklık fonksiyonu bulunabilir mi?

Urysohn'un cevabı son derece nettir. Bir topolojik uzay aşağıdaki iki koşulu sağlıyorsa metrizlenebilirdir:

• Düzenlidir. Her nokta ile onu içermeyen her kapalı küme açık kümeler yardımıyla birbirinden ayrılabilir.
• Sayılabilir bir tabana sahiptir. Topolojinin tamamı sayılabilir bir açık kümeler ailesi tarafından üretilir.

Bu koşullar sağlandığında uzay metrizlenebilir olur. Yani uzayın tüm topolojik yapısı uygun bir metrik üzerinden yeniden ifade edilebilir.

Neden önemlidir? Bu teorem, topoloji ile geometri arasındaki ilişkiyi ortaya koyar. Bir uzayın metrizlenebilir olduğunu bildiğimizde, uzaklık, yakınsama, süreklilik ve limit gibi kavramları kullanabiliriz. Bu da birçok topolojik problemi daha somut ve sezgisel yöntemlerle incelemeyi mümkün kılar. Reel doğru, düzlem ve Öklid uzayları gibi matematikte ve fizikte sıkça kullanılan uzaylar bu çerçevede değerlendirilir.

Somut Bir Örnek

Standart topolojiyle donatılmış reel doğru ℝ'yi ele alalım. Bu topolojide açık kümeler, açık aralıkların birleşimlerinden oluşur.

ℝ aşağıdaki özelliklere sahiptir:

• Düzenlidir.
• Sayılabilir bir tabana sahiptir. Örneğin uç noktaları rasyonel sayılar olan açık aralıklar böyle bir taban oluşturur.

Dolayısıyla Urysohn teoremine göre ℝ metrizlenebilirdir.

Gerçekten de, günlük matematikte kullandığımız

$$ d(x,y)=|x-y| $$

uzaklık fonksiyonu tam olarak bu topolojiyi üretir.

Not. ℝ üzerindeki standart topoloji, açık kümelerin (a,b) biçimindeki açık aralıkların birleşimleri olmasıyla tanımlanır.
Bir $ x $ noktası, ancak $ A $ kümesinin içinde tamamen bulunan bir $ (x-\varepsilon,x+\varepsilon) $ aralığı varsa açık bir $ A $ kümesine aittir. Bu yapı doğrudan Öklid uzaklığı $ |x-y| $ tarafından oluşturulur. Analizde kullanılan doğal topoloji budur ve limit, süreklilik ile yakınsama kavramları burada alışılmış geometrik anlamlarını korur.

Bir Karşı Örnek

Şimdi aynı reel doğruyu ayrık topoloji ile ele alalım.

Bu uzay da metrizlenebilirdir. Bunun için aşağıdaki ayrık metrik kullanılır:

$$ d(x, y) =
\begin{cases}
0, & \text{eğer } x = y \\ \\
1, & \text{eğer } x \ne y.
\end{cases}
$$

Bu metrikte farklı iki nokta arasındaki uzaklık her zaman 1'dir.

Buna rağmen ayrık topolojinin tabanı sayılabilir değildir. Çünkü her nokta kendi başına bir açık küme oluşturur ve ℝ sayılamaz bir kümedir.

Bu nedenle ayrık topoloji, teoremin tersinin geçerli olmadığını gösteren klasik örneklerden biridir. Uzay metrizlenebilirdir, ancak sayılabilir taban koşulunu sağlamaz.

Not. Ayrık topoloji, bir küme üzerinde tanımlanabilecek en ince topolojidir. Bu topolojide her alt küme hem açık hem de kapalıdır. Özellikle $$ \{x\} \text{ her } x \in \mathbb{R} \text{ için açıktır.} $$ Dolayısıyla her nokta topolojik açıdan tamamen bağımsız davranır. Ayrık topoloji oldukça basit görünse de, temel küme sayılamaz olduğunda sayılabilir bir taban tarafından üretilemeyecek kadar ayrıntılı bir yapıya sahiptir. Urysohn Metrizasyon Teoremi, topolojik uzayların ne zaman metrik uzaylar gibi ele alınabileceğini belirleyen temel sonuçlardan biridir. Bu nedenle genel topoloji, fonksiyonel analiz ve diferansiyel geometri gibi birçok matematik alanında merkezi bir rol oynar.