Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
3k kez görüntülendi
Lisans Matematik kategorisinde (11.4k puan) tarafından  | 3k kez görüntülendi

2 Cevaplar

0 beğenilme 0 beğenilmeme

(X,d) bir metrik uzay olsun. X in açık yuvarların bileşimi olarak yazılan alt kümelerine " açık kümeler" diyelim. Yuvarların da açık küme olduğu barizdir. Açık kümeler şu üç özelliği sağlar:

1) Boş ver X açık kümelerdir.

2) Açık kümelerin sonlu veya sonsuz bileşimi açıktır.

3) Sonlu sayıda açık kümenin kesişimi açıktır.

Yukardaki özellikler bir topolojik uzayda açıkların sağlaması gereken özelliklerdir. Dolayısıyla her metrik uzay bir topolojik uzaydır veya her (X,d) metrik uzayı X de yalnız bir topolojik uzay üretir. Fakat her topolojik uzay bir metrik tarafından üretilmez. Mesela bir metrik uzay tarafından üretilmiş her topoloji Hausdorf uzay iken |X|>1 iken X in en kaba topolojisini üreten bir metrik uzay yoktur. Bu arada bir metrik tarafından üretilen topolojilere "metrikleşebilen topolojiler" denir.

(2.8k puan) tarafından 
Hausdorff her uzay metriklenebilir mi?
0 beğenilme 0 beğenilmeme

Hausdorff olmayan bir topolojik uzay metriklenemez ama uzayın metriklenebilmesi için Hausdorff olması yetmez. Örneğin Sorgenfrey doğrusu Hausdorffdur fakat metriklenemez.Sanırım ikinci sayılabilir olmadığından metriklenemiyordu. Fakat hangi tür uzayların metrikleşebildiğini iyi bilmiyorum.

(2.8k puan) tarafından 

Hausdorff olmayan bir topolojik uzay metriklenemez ama uzayın metriklenebilmesi için Hausdorff olması yetmez. Örneğin Sorgenfrey doğrusu Hausdorffdur fakat metriklenemez.Sanırım ikinci sayılabilir olmadığından metriklenemiyordu. Fakat hangi tür uzayların metrikleşebildiğini iyi bilmiyorum.


20,218 soru
21,751 cevap
73,351 yorum
1,985,210 kullanıcı