Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
120 kez görüntülendi
$ X $ herhangi bir küme ve $\tau=\left\{A\big{|}|\setminus A|<\aleph_0\right\}\cup\{\emptyset\}$ olmak üzere  $$ | X | < \aleph_0 \Rightarrow \tau=2^X$$ olduğunu gösteriniz.
Lisans Matematik kategorisinde (52 puan) tarafından 
tarafından yeniden kategorilendirildi | 120 kez görüntülendi

1 cevap

0 beğenilme 0 beğenilmeme
$ |X| <\aleph_0 $ ve $ A \in 2^X $ olsun .

 $(X,\tau), \text{ topolojik uzay}\Rightarrow \tau, X\text{'de topoloji}\Rightarrow \tau \subseteq 2^X \ldots (1)$

 

$\left.\begin{array}{rr} A\in 2^X\Rightarrow A\subseteq X\Rightarrow X\setminus A\subseteq X\Rightarrow |X\setminus A|\leq |X| \\ \\|X|<\aleph_0  \end{array}\right\}\Rightarrow|X\setminus A|<\aleph_0\Rightarrow A\in \tau$

elde edilir. O halde $$2^X\subseteq \tau\ldots (2)$$ olur.

$(1),(2)\Rightarrow \tau=2^X.$
(52 puan) tarafından 
Yine, karşıtı ($\tau=2^X\implies |X|<\aleph_0$) da doğru oluyor.

EK: Bunu göstermenin bir yolu: $X$ sonsuz ise $\tau\neq2^X$ olduğunu göstermektir.
Haklisiniz Dogan hocam. teşekkürler
19,118 soru
21,037 cevap
69,880 yorum
23,356 kullanıcı