Topoloji sorusu

Question

Üç elemanlı bir küme üzerinde regüler olmayan,normal ve bağlantılı olan 4elemanlı tüm topolojileri (eğer varsa)yazınız.

Öncelikle her normal uzay regüler uzay değildir.Bunu biliyorum.

tanımlarıda biliyorum fakat üç elemanlı bir küme üzerinde regüler olmayan normal ve bağlantılı olan dört elemanlı bir topoloji oluşturulabilir mi?

Comments

Çok güzel. Normal uzay ne demek? Tanımını yazar mısın?

---

(X,T) topolojik uzay $$F_{1}$$ ve $$F_{2}$$ ,X uzayının her farklı ayrık kapalı alt kümesini göstermek üzere, $$F_{1}\subset U$$ , $$F_{2}\subset V$$ ve $$U\cap V=\emptyset$$ olacak şekilde U,V€Z varsa (X,T) topolojik uzayına normal uzay denir.

o zaman normalliğer bakarken $$K_{T}$$ daki mesela {2,3} ü alalım $$T_{1}$$ de geriye {1} kalıyor $$\{2,3\}\cap \{1\}=\emptyset$$ olduğundan normaldir oluyor.

---

Sizin de ifade ettiğiniz gibi topolojik uzayda her ayrık kapalı küme çifti için ayrık açık komşulukların var olduğunu göstermek gerekir uzayın normal olduğunu göstermek için. $(X,\tau_1)$ topolojik uzayında ayrık kapalı küme çiftlerini yazar mısın?

---

Kapalı küme çiftleri

{2,3},{1}
{3},{1,2}

---

$(X,\tau_1)$ topolojik uzayının ayrık kapalı küme çiftleri bunlar değil.

---

Ya ben sadece X ve boş kümeden Farklı ne  kapalı ne de açıl küme yok ama sizin dediğinizi anlamadım

---

$X=\{a,b,c\}$  ve  $\tau_1=\{ \emptyset ,X,\{1\},\{1,2\}\}$ olmak üzere bu uzayın kapalıları yani $\tau_1\mbox{-}$kapalı kümeler $\emptyset, \ X, \ \{2,3\}$  ve  $\{3\}$  kümeleri olmaz mı?

---

Evet öyle öyle oluyor

---

Bunlardan ayrık olan çiftler hangileri olur?

---

X ve boş küme mi?

---

Bir tanesi o. Başka yok mu?

---

O zaman {2,3} ve {3} mü?

---

Hem kapalı hem de ayrık olacak. Senin yazdığın ayrık değil.

---

Başka yok gibi ama boş küme ve {2,3} olabilir mi?

---

Evet Doğru. Başka yok mu?

---

O halde boş küme ve {3} de olur

---

Şimdi bu tüm ayrık kapalı küme çiftleri için bu kümelerin ayrık açık komşuluklarının var olup olmadığını kontrol eder misin?

---

Onu nasıl kontrol etmem gerekiyor?

---

Mesela $\emptyset$ ile $X$ kümesini ele alalım. Boşkümeyi kapsayan ve $X$ kümesini kapsayan ayrık açık kümeler var mı? Benzer işi diğer ayrık kapalı küme çiftleri için de yapacaksın. Her ayrık kapalı küme çifti için bu kapalı kümeleri ayrı ayrı kapsayan ve kesişimleri boş olan ayrık açık kümeler bulabiliyorsan normal uzay tanımı gereği uzaya normal uzay diyeceksin. En az bir ayrık kapalı küme çifti için bulamazsan o zaman uzaya normal uzay değil diyeceksin.

---

Yani bu durumda $$\emptyset\cap\{3\}=\emptyset$$ olduğundan normaldir oluyor.