
Compactification
Hi,
Let $\displaystyle X$ be noncompact topological space and define $\displaystyle X^{*}=X \cup \{\infty\}$ with the topology $\displaystyle \mathcal{T}^{*}=\{U \subset X^{*} X \cap U \in \mathcal{T} \ \mbox{and} \ \infty \in U \Rightarrow X \setminus U \ \mbox{is compact and closed}\}$
How can I prove that $\displaystyle X^{*}$ is compact? I know the proof with covers and subcovers, but I was wondering how I can prove it only using filters (thus the fact that $\displaystyle X^{*}$ is compact if and only if every ultrafilter converges)
Thanks in advance!