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

Yani her $T_4$ uzayının bir $T_3$ uzayı olduğunu gösteriniz.

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

1 cevap

0 beğenilme 0 beğenilmeme

Regüler olan $T_1$ uzayına $T_3$ uzayı ve normal olan $T_1$ uzayına da $T_4$ uzayı dendiğine göre $T_4$ uzayı olan topolojik uzayın regüler olduğunu gösterirsek kanıt biter.

$x\notin F\in\mathcal{C}(X,\tau)$ olsun.$\left.\begin{array}{r} x\notin F\in\mathcal{C}(X,\tau)  \\ \\ (X,\tau), \ T_4 \text{ uzayı}\Rightarrow  (X,\tau), \ T_1\text{ uzayı} \end{array} \right\}\overset{?}{\Rightarrow} \begin{array}{c} \\ \\ \left. \begin{array}{c} (\{x\},F\in\mathcal{C}(X,\tau))(\{x\}\cap F=\emptyset) \\ \\(X,\tau), \ T_4 \text{ uzayı}\Rightarrow  (X,\tau), \text{ normal} \end{array} \right\} \Rightarrow \end{array}$


$\left.\begin{array}{rr} \Rightarrow (\exists U\in \mathcal{U}(\{x\}))(\exists V\in \mathcal{U}(F))(U\cap V=\emptyset) \\ \\ \mathcal{U}(\{x\})=\mathcal{U}(x)\end{array}\right\}\Rightarrow (\exists U\in \mathcal{U}(x))(\exists V\in \mathcal{U}(F))(U\cap V=\emptyset).$


Not:   $\mathcal{U}(\{x\}):=\{U|\{x\}\subseteq U\in\tau\}=\{U|x\in U\in\tau\}=\mathcal{U}(x).$

(11.5k puan) tarafından 
$(X,\tau)$ topolojik uzay olmak üzere $$(X,\tau), \ T_1\text{ uzayı}\Leftrightarrow (\forall x\in X)(\{x\}\in\mathcal{C}(X,\tau))$$ olduğunu gösteriniz.

"?" işaretinin olduğu yerdeki geçişin gerekçesine buradaki linkten ulaşabilirsiniz.

20,275 soru
21,807 cevap
73,490 yorum
2,455,337 kullanıcı