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

Hausdorff uzaylarında kompakt kümeler kapalıdır.

$(X,\tau)$ topolojik uzay ve $A\subseteq X$ olmak üzere $$((X,\tau), \text{ Hausdorff})(A, \,\ \tau\text{-kompakt küme})$$$$\Rightarrow$$$$A\in \mathcal{C}(X,\tau)$$ olduğunu gösteriniz.


Not: $\mathcal{C}(X,\tau):=\{F\subseteq X|F, \ \tau\text{-kapalı}\}$

bir cevap ile ilgili: Homeomorfizmaya Dair-II
Lisans Matematik kategorisinde (11.4k puan) tarafından 
tarafından düzenlendi | 415 kez görüntülendi

1 cevap

0 beğenilme 0 beğenilmeme

$ X\setminus A$ kümesinin $\tau$-açık olduğunu gösterirsek ispat biter. Bunun için de $X\setminus A$ kümesinin her noktasının bir iç nokta olduğunu göstermek gerekli ve yeterlidir.

$\left.\begin{array}{r} x\in X \setminus A \\ y\in A \end{array} \right\}\Rightarrow \begin{array}{c} \\ \\ \left. \begin{array}{cc} x\neq y  \\ \\ (X,\tau), \ T_2\end{array} \right\} \Rightarrow (\exists U_y\in\mathcal{U}(x))(\exists V_y\in\mathcal{U}(y))(U_y\cap V_y=\emptyset)\end{array}$


$\left.\begin{array}{rr} \Rightarrow (\mathcal{A}:=\{V_y|y\in A\}\subseteq \tau)(A\subseteq\cup\mathcal{A}) \\ \\ A, \ \tau\text{-kompakt} \end{array}\right\}\Rightarrow$


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

Buradan $$X\setminus A\subseteq (X\setminus A)^{\circ}\ldots (1)$$ elde edilir. Öte yandan $$ (X\setminus A)^{\circ}\subseteq X\setminus A\ldots (2)$$ kapsaması daima geçerlidir.

$$(1),(2)\Rightarrow X\setminus A=(X\setminus A)^{\circ}\Rightarrow X\setminus A\in \tau\Rightarrow A\in \mathcal{C}(X,\tau).$$

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