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

$(X,\tau)$ topolojik uzay ve $A,B\subseteq X$ olmak üzere

$$(A, \ \tau\text{-kompakt})(B\in \mathcal{C}(X,\tau))\Rightarrow A\cap B, \ \tau\text{-kompakt}$$

olduğunu gösteriniz.

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

1 cevap

0 beğenilme 0 beğenilmeme

$\mathcal{A}\subseteq \tau$  ve  $A\cap B\subseteq \cup\mathcal{A}$ yani $\mathcal{A}$ ailesi, $A\cap B$  kümesinin bir $\tau$-açık örtüsü olsun.

$\left.\begin{array}{r} (\mathcal{A}\subseteq \tau)(A\cap B\subseteq \cup\mathcal{A}) \\ \\ B\in \mathcal{C}(X,\tau)\Rightarrow \setminus B\in \tau \end{array} \right\}\Rightarrow \begin{array}{c} \\ \\ \left. \begin{array}{r} (\mathcal{B}:=\mathcal{A}\cup\{\setminus B\}\subseteq \tau)(A\subseteq \cup \mathcal{B}) \\ \\ A, \ \tau\text{-kompakt} \end{array} \right\} \Rightarrow \end{array}$


$\left.\begin{array}{rr} \Rightarrow (\exists \mathcal{B}^*\subseteq\mathcal{B})(|\mathcal{B}^*|<\aleph_0)(A\subseteq \cup\mathcal{B}^*) \\ \\ (A\cap B\subseteq A) ((A\cap B)\cap (\setminus B)=\emptyset) \end{array}\right\}\Rightarrow (\exists \mathcal{A}^*\subseteq \mathcal{A})(|\mathcal{A}^*|<\aleph_0)(A\cap B\subseteq \cup\mathcal{A}^*).$

(11.4k puan) tarafından 
tarafından düzenlendi
20,200 soru
21,728 cevap
73,277 yorum
1,887,996 kullanıcı