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

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

0 beğenilme 0 beğenilmeme
25 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)$$ olduğunu gösteriniz.

bir cevap ile ilgili: Homeomorfizmaya Dair-II
16, Haziran, 2017 Lisans Matematik kategorisinde murad.ozkoc (8,870 puan) tarafından  soruldu
26, Aralık, 2017 murad.ozkoc tarafından düzenlendi

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|A\in \mathcal{A}^*\Rightarrow (\exists U_y\in\mathcal{U}(x))(U_y\cap A=\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).$$

19, Temmuz, 2017 murad.ozkoc (8,870 puan) tarafından  cevaplandı
3, Temmuz, 3 murad.ozkoc tarafından düzenlendi
...