Topoloji olduğunu gösteriniz.

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

$X\neq\emptyset$ küme ve $\mathcal{B}\subseteq 2^X$ olmak üzere $\mathcal{B}$ ailesi 

$\mathbf{b_1)} \ \bigcup\mathcal{B}=X$ 

$\mathbf{b_2)} \ (B_1,B_2\in\mathcal{B})(x\in B_1\cap B_2)\Rightarrow (\exists B_3\in\mathcal{B})(x\in B_3\subseteq B_1\cap B_2)$ 

koşullarını sağladığına göre

$$\tau=\{A|x\in A\Rightarrow (\exists B\in\mathcal{B})(x\in B\subseteq A)\}$$ ailesinin $X$ kümesi üzerinde bir topoloji olduğunu gösteriniz. 

10, Temmuz, 2017 Lisans Matematik kategorisinde murad.ozkoc (8,828 puan) tarafından  soruldu
10, Temmuz, 2017 murad.ozkoc tarafından düzenlendi

1 cevap

0 beğenilme 0 beğenilmeme

$\mathbf{T_1})$  $x\in X$ olsun. 

$\left.\begin{array}{rr} x\in X \\ \mathbf{(b_1)}\end{array}\right\}\Rightarrow x\in X =\bigcup\mathcal{B}\Rightarrow (\exists B\in\mathcal{B})(x\in B\subseteq X)\Big{/}X\in\tau.$

$[\underset{0}{\underbrace{x\in\emptyset}}\Rightarrow \underset{p}{\underbrace{(\exists B\in\mathcal{B})(x\in B\subseteq \emptyset)}}]\equiv 1\Big{/} \emptyset\in\tau.$

$----------------------------------------$

$\mathbf{T_2})$ $A_1,A_2\in\tau$  ve  $x\in A_1\cap A_2$ olsun.

$\left.\begin{array}{rr} x\in A_1\cap A_2\Rightarrow (x\in A_1)(x\in A_2) \\ A_1,A_2\in\tau\end{array}\right\}\Rightarrow (\exists B_1\in\mathcal{B})(\exists B_2\in\mathcal{B})(x\in B_1\subseteq A_1)(x\in B_2\subseteq A_2)$

$\left.\begin{array}{rr} \Rightarrow (B_1,B_2\in\mathcal{B})(x\in B_1\cap B_2\subseteq A_1\cap A_2) \\ \mathbf{(b_2)}\end{array}\right\}\Rightarrow (\exists B_3\in\mathcal{B})(x\in B_3\subseteq B_1\cap B_2\subseteq A_1\cap A_2)\Big{/}A_1\cap A_2\in\tau.$

$----------------------------------------$

$\mathbf{T_3})$ $\mathcal{A}\subseteq \tau$  ve  $x\in \bigcup \mathcal{A}$ olsun.

$\left.\begin{array}{rr} x\in \bigcup \mathcal{A} \\ \mathcal{A}\subseteq \tau \end{array}\right\}\Rightarrow (\exists A\in\mathcal{A})(x\in A\in \tau)\Rightarrow (\exists B\in\mathcal{B})(x\in B\subseteq A\subseteq\bigcup\mathcal{A})\Big{/} \bigcup\mathcal{A}\in\tau.$


10, Temmuz, 2017 murad.ozkoc (8,828 puan) tarafından  cevaplandı

$\mathbf{T_1}$ koşulu için şu açıklamayı ilave edelim. Hipotezi yanlış olan her koşullu önerme doğrudur.

...