Kompakt uzayların kapalı altuzaylarının da kompakt olduğunu gösteriniz.

Question

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

$$((X,\tau), \text{ kompakt uzay})(A\in\mathcal{C}(X,\tau))\Rightarrow (A,\tau_A), \text{ kompakt uzay}$$ olduğunu gösteriniz.

Answer 1

Kanıt: $(X,\tau),$  kompakt; $A\in \mathcal{C}(X,\tau);$  $\mathcal{B}\subseteq \tau_A$  ve  $A=\cup\mathcal{B}$ yani $\mathcal{B}$ ailesi, $A$'nın bir $\tau_A$-açık örtüsü olsun.

$\left.\begin{array}{r} (\mathcal{B}\subseteq \tau_A)(A=\cup\mathcal{B})\Rightarrow  (\mathcal{A}:=\{T|B\in\mathcal{B}\Rightarrow (\exists T\in \tau)(B=T\cap A)\}\subseteq \tau)(A\subseteq \cup\mathcal{A}) \\ \\ A\in\mathcal{C}(X,\tau)\Rightarrow \setminus A\in\tau\end{array}\right\} \Rightarrow$

$\left.\begin{array}{r} \Rightarrow (\mathcal{A}^*:= \mathcal{A}\cup\{\setminus A\}\subseteq\tau)(X=\cup \mathcal{A}^*) \\ \\ (X,\tau), \text{ kompakt uzay}\end{array}\right\} \Rightarrow$

$\left.\begin{array}{r} \Rightarrow (\exists \mathcal{A}^{**}\subseteq \mathcal{A}^*)(|\mathcal{A}^{**}|<\aleph_0)(X=\cup \mathcal{A}^{**}) \\ \\ \mathcal{B}^*:=\{T\cap A|T\in\mathcal{A}^{**}\Rightarrow T\cap A\in \mathcal{B}\}\end{array}\right\} \Rightarrow (\exists \mathcal{B}^*\subseteq \mathcal{B})(|\mathcal{B}^*|<\aleph_0)(A=\cup \mathcal{B}^*).$