Aşağıdaki aile topoloji olur mu?

0 beğenilme 0 beğenilmeme
101 kez görüntülendi

$X$ sonsuz bir küme ve $(X,\tau)$ topolojik uzay olmak üzere $$\tau^*:=\{X\setminus A|(A\subseteq X)(A, \ \tau\text{-kompakt})\}\cup \{\emptyset\}\subseteq 2^X$$ ailesi, $X$ kümesi üzerinde her zaman bir topoloji oluşturur mu? Yanıtınızı kanıtlayınız.


Not: İlgili soruda $(X,\tau)$ topolojik uzayı bir Hausdorff uzayı idi. Burada uzayın bu özelliğini kaldırdık.

bir cevap ile ilgili: Kompakt Tümleyenler Topolojisi
9, Temmuz, 2018 Lisans Matematik kategorisinde murad.ozkoc (9,492 puan) tarafından  soruldu

1 cevap

0 beğenilme 0 beğenilmeme

Yanıt hayır olmaz. Şöyle ki:

$$X=\mathbb{N}\cup\{\pi,e\}$$  ve  $$\tau=2^{\mathbb{N}}\cup\{\mathbb{N}\cup\{\pi\},\mathbb{N}\cup\{e\},X\}$$ olmak üzere $(X,\tau)$ topolojik uzayı (Hausdorff uzayı olmadığına dikkat edin) için $$\mathcal{A}=\{A|(A\subseteq X)(A, \ \tau\text{-kompakt})\}$$

$$=$$

$$\left\{A\big{|}|A|<\aleph_0\right\}\cup\{\mathbb{N}\cup\{\pi\},\mathbb{N}\cup\{e\},X\}$$ bulunur. O halde $$\tau^*=\left\{X\setminus A\big{|}|A|<\aleph_0\right\}\cup\left\{\{\pi\},\{e\},\emptyset\right\}$$ olur. $$\{\pi\},\{e\}\in\tau^*$$ fakat $$\{\pi,e\}\notin\tau^*$$ olduğunudan $\tau^*$ ailesi, $X$ kümesi üzerinde bir topoloji değildir.

1, Ocak, 1 murad.ozkoc (9,492 puan) tarafından  cevaplandı
22, Ocak, 22 murad.ozkoc tarafından düzenlendi
...