Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
238 kez görüntülendi

Yani ayrılabilir uzayların açık altuzaylarının da ayrılabilir olduğunu gösteriniz.

Not: $(X,\tau)$ topolojilk uzay olsun.

$$(X,\tau), \text{ ayrılabilir}:\Leftrightarrow (\exists A\subseteq X)(|A|\leq\aleph_0\wedge \overline{A}=X)$$

Lisans Matematik kategorisinde (11.4k puan) tarafından  | 238 kez görüntülendi

1 cevap

1 beğenilme 0 beğenilmeme
$(X,\tau)$ ayrılabilir ve $Y \in \tau$ olsun.

$\left. \begin{array}{rr} (X,\tau)  \text{ ayrılabilir} \Rightarrow  (\exists A \subseteq X) (|A| \leq \aleph_{0} \wedge \overline{A}=X) \\ \\ Y \in \tau \end{array} \right\}\Rightarrow $

 

$\left.\begin{array}{rr} \Rightarrow (A\cap Y\subseteq Y)(|A\cap Y|\leq |A|\leq\aleph_{0} \wedge Y=X\cap Y=\overline{A}\cap Y\subseteq \overline{A \cap Y} \\ \\ B:=A\cap Y\end{array} \right\}\Rightarrow$

 

$\Rightarrow  (B \subseteq Y) (|B| \leq \aleph_{0} \wedge Y=\overline{B}).$
(56 puan) tarafından 
tarafından düzenlendi
20,207 soru
21,731 cevap
73,297 yorum
1,895,311 kullanıcı