Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
99 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ı yukarıdaki gibi ele alındığında aşağıdaki teoremi kanıtlayınız.

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

$$(\mathcal{B}, \ \tau \text{ için baz})(\mathcal{B} \subseteq \mathcal{B}^* \subseteq \tau)\Rightarrow \mathcal{B}^*, \ \tau \text{ için baz}$$ olduğunu gösteriniz.

Lisans Matematik kategorisinde (58 puan) tarafından  | 99 kez görüntülendi
@EbruKocatepe neler düşündüğünü de yazarsan takıldığın noktayı biz de görmüş oluruz.

1 cevap

0 beğenilme 0 beğenilmeme
En İyi Cevap

 $\mathcal{B}\subseteq\tau$ için baz ve $\mathcal{B}\subseteq\mathcal{B^*}\subseteq\tau$  olsun.Amacımız her $A\in \tau$ için  $A$  kümesinin $\mathcal{B^*}$ ailesinin en az bir altailesinin birleşimi şeklinde yazılabileceğini göstermek.

 $\mathcal{B}\subseteq\tau$ ve  $\mathcal{B}\subseteq\mathcal{B^*}\subseteq\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}) \\ \mathcal{B}\subseteq\mathcal{B^*}\subseteq\tau\end{array} \right\} \Rightarrow (\exists \mathcal{A}\subseteq\mathcal{B^*})(A=\cup\mathcal{A}).\end{array}$

(58 puan) tarafından 
tarafından seçilmiş
19,128 soru
21,043 cevap
69,901 yorum
23,447 kullanıcı