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

Yani ayrılabilir uzay olma özelliğinin topolojik özellik 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  | 317 kez görüntülendi

1 cevap

1 beğenilme 0 beğenilmeme
$f,$ homeomorfizm$;$ $A \subseteq X;$ $|A| \leq \aleph_{0}$  ve  $\overline{A}=X$ olsun.

$
   \left.
   \begin{array}{r}
   (A\subseteq X)(|A| \leq \aleph_{0})\left(\overline{A}=X\right) \\ \\
   f,  \text{ homeomorfizm}
    \end{array}
  \right\} \Rightarrow $

 

$\begin{array}{rr}
 \Rightarrow (f[A]\subseteq Y)(|f[A]| \overset{f, \text{ birebir}}{\leq} \aleph_{0}) (Y\overset{f, \text{ örten}}{=}f[X]=f\left[\overline{A}\right]\overset{f, \text{ sürekli}}{\subseteq} \overline{f[A]}\subseteq Y)
  \end{array}$

 

$\begin{array}{rr}
 \Rightarrow (f[A]\subseteq Y) (|f[A]| \leq \aleph_{0})\left(\overline{f[A]}=Y\right).
  \end{array}$

$Y$'nin en az bir tane yoğun alt kümesini bulduk. Buda $(Y, \tau_{2})$ uzayının ayrılabilir uzay olduğunu gösterir. Yani ayrılabilir uzay olma özelliği topolojik özelliktir.
(56 puan) tarafından 
tarafından düzenlendi
20,204 soru
21,729 cevap
73,289 yorum
1,890,887 kullanıcı