$T_0$ Uzaylarının Karakterizasyonlarına Dair-I

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

$(X,\tau)$ topolojik uzay olmak üzere

$$(X,\tau), \ T_0 \text{ uzayı}\Leftrightarrow (\forall x,y\in X)\left(x≠y\rightarrow \overline{\{x\}}≠\overline{\{y\}}\right)$$

6, Kasım, 6 Lisans Matematik kategorisinde murad.ozkoc (8,971 puan) tarafından  soruldu

1 cevap

0 beğenilme 0 beğenilmeme

$(\Rightarrow):$ $(X,\tau), \ T_0$ uzayı; $x,y\in X$ ve $x\neq y$ olsun.


$\left.\begin{array}{rr}  (x,y\in X)(x\neq y) \\ \\ (X,\tau), \ T_0 \text{ uzayı}\end{array}\right\}\Rightarrow (\exists U\in\mathcal{U}(x))(\exists V\in\mathcal{U}(y))(y\notin U\vee x\notin V)$


$\left.\begin{array}{rr} \Rightarrow (\exists U\in\mathcal{U}(x))(U\cap \{y\}=\emptyset)\Rightarrow x\notin \overline{\{y\}}  \\  \\  x\in X\Rightarrow \{x\}\subseteq \overline{\{x\}}\Rightarrow x\in \overline{\{x\}} \end{array}\right\}\Rightarrow \overline{\{x\}}\neq\overline{\{y\}}.$


$(\Leftarrow):$ $x,y\in X$ ve $x\neq y$ olsun. $x$ noktasının $y$ noktasını içermeyen veya $y$ noktasının $x$ noktasını içermeyen en az bir açık komşuluğunun var olduğunu gösterirsek ispat biter.

$\left.\begin{array}{rr}  (x,y\in X)(x\neq y) \\ \\ \text{Hipotez}\end{array}\right\}\Rightarrow \overline{\{x\}}\neq\overline{\{y\}}\Rightarrow \left(\overline{\{x\}}\setminus \overline{\{y\}}\neq \emptyset \vee \overline{\{y\}}\setminus \overline{\{x\}}\neq \emptyset\right)$

$\Rightarrow \left(\exists u\in X\right)\left(u\in \overline{\{x\}}\setminus \overline{\{y\}}\right)\vee \left(\exists v\in X\right)\left(v\in \overline{\{y\}}\setminus \overline{\{x\}}\right)$

$\Rightarrow \left(u\in \overline{\{x\}}\right)\left(u\notin \overline{\{y\}}\right) \vee  \left(v\in \overline{\{y\}}\right)\left(v\notin \overline{\{x\}}\right)$

$\Rightarrow \left(\exists U\in\mathcal{U}(u)\right)(U\cap \{y\}=\emptyset)(U\cap \{x\}\neq\emptyset)  \vee  \left(\exists V\in\mathcal{U}(v)\right)(V\cap \{x\}=\emptyset)(V\cap \{y\}\neq\emptyset) $

$\Rightarrow \left(U\in\mathcal{U}(x)\right)(y\notin U) \vee \left(V\in\mathcal{U}(y)\right)(x\notin V).$

7, Kasım, 7 murad.ozkoc (8,971 puan) tarafından  cevaplandı
5 saat önce murad.ozkoc tarafından düzenlendi
...