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

$X$ boştan farklı herhangi küme ve $$\tau=\left\{A\big{|}|\setminus A|<\aleph_0\right\}\cup \{\emptyset\}$$ olmak üzere $(X,\tau)$ topolojik uzayının bir kompakt uzay olduğunu gösteriniz.

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

2 Cevaplar

0 beğenilme 0 beğenilmeme

Bir $A\subseteq X$  icin herhangi bir acik ortusunu alalim. Bu ortudeki bir $B$ icin $A\setminus B \subseteq X\setminus B$ sonlu olur. Bu sonlu eleman sayisi $n$ olsun. Ortumuzde her bir elemani iceren $A_1,\cdots,A_n$ kumeleri vardir, ortu oldugundan zaten olmali da... Bu durumda $$A\subseteq B \cup \left(\bigcup_{i=1}^nA_i\right)$$ olur.

(25.3k puan) tarafından 
0 beğenilme 0 beğenilmeme

$n\in\mathbb{N}$ olmak üzere $$|X|=n\Rightarrow |\tau|=|2^X|=2^{|X|}=2^n<\aleph_0$$ olur. Bu durumda sadece uzayın kendisi değil uzayın tüm altkümelerinin $\tau$-kompakt olacağı aşikar. $X$ kümesinin sonlu bir küme olmadığı durumu düşünelim.

$\mathcal{A}\subseteq\tau$  ve  $X=\cup\mathcal{A}$  yani  $\mathcal{A}$  ailesi,  $X$  kümesinin bir $\tau$-açık örtüsü olsun. $(\emptyset\notin\mathcal{A}$ varsayabiliriz. Neden?)

$A\in \mathcal{A}\subseteq\tau\Rightarrow |\setminus A|<\aleph_0\Rightarrow(\exists x_1,x_2,\ldots ,x_n\in X)(\setminus A=\{x_1,x_2,\ldots ,x_n\})$

$\left.\begin{array}{rr} \Rightarrow (\exists x_1,x_2,\ldots ,x_n\in X)(X=A\cup(\setminus A)=A\cup \{x_1,x_2,\ldots ,x_n\}) \\ \\ X=\cup\mathcal{A}\end{array}\right\}\Rightarrow$

$\left.\begin{array}{rr} \Rightarrow(\exists B_1,B_2,\ldots ,B_n\in \mathcal{A})(x_1\in B_1)(x_2\in B_2)\ldots (x_n\in B_n) \\ \\ \mathcal{A}^*:=\{A,B_1,B_2,\ldots,B_n\}\end{array}\right\}\Rightarrow$

$\Rightarrow (\mathcal{A}^*\subseteq \mathcal{A})(|\mathcal{A}^*|=n+1<\aleph_0)(X=\cup\mathcal{A}^*).$

(11.4k puan) tarafından 
tarafından düzenlendi
20,199 soru
21,725 cevap
73,270 yorum
1,885,720 kullanıcı