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

 

Tanım: $(X,\tau)$ topolojik uzay ve $\mathcal{B}\subseteq \tau $ olmak üzere

$$\mathcal{B}, \tau \text{ için baz}:\Leftrightarrow (\forall A\in\tau)(\exists\mathcal{A}\subseteq\mathcal{B})(A=\cup\mathcal{A})$$

Topolojik uzaylarda baz tanımını yukarıdaki gibi ele aldığımızda aşağıdaki teoremi kanıtlayınız.

Teorem: $(X,\tau)$ topolojik uzay ve $\mathcal{B}\subseteq \tau$ olmak üzere

$$\mathcal{B}, \tau \text{ için baz}\Leftrightarrow (\forall A\in\tau)[x\in A\Rightarrow (\exists B\in \mathcal{B})(x\in B\subseteq A)]$$

 

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

1 cevap

0 beğenilme 0 beğenilmeme

Gerek Kısmı: $\mathcal{B}, \tau$ için baz ve $x\in A\in\tau$ olsun.

$\left.\begin{array}{r}A\in\tau \\\mathcal{B}, \tau \text{ için baz} \end{array}\right\} \Rightarrow \!\! \begin{array}{c} \\ \left. \begin{array}{r} (\exists\mathcal{A}\subseteq\mathcal{B})(A=\cup\mathcal{A}) \\ x\in A\end{array} \right\} \Rightarrow (\exists B\in\mathcal{A}\subseteq\mathcal{B})(x\in B\subseteq A).\end{array}$

Yeter Kısmı: $A\in\tau$ olsun. $\left.\begin{array}{r} x\in A\in\tau \\ \text{Hipotez} \end{array}\right\} \Rightarrow \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!         \begin{array}{c} \\  \\ \left. \begin{array}{r} (\exists B\in \mathcal{B})(x\in B\subseteq A) \\ \\ \mathcal{A}:=\{B|x\in A\in\tau\Rightarrow (\exists B\in\mathcal{B})(x\in B\subseteq A)\} \end{array} \right\} \Rightarrow (\mathcal{A}\subseteq\mathcal{B})(A=\cup\mathcal{A}).\end{array}$


(11.4k puan) tarafından 
tarafından düzenlendi
20,237 soru
21,758 cevap
73,397 yorum
2,046,901 kullanıcı