A question on a compact space Show:


  If the closure of every discrete subset of a space is compact then the whole space is compact.


Thanks advance:)
I realize that this is homework, but I don’t see any way to give a useful hint.

Let $X$ be a Hausdorff space in which the closure of every discrete subset is compact. Clearly $X$ contains no infinite closed subset and is therefore countably compact. Suppose that $X$ is not compact. Then there are a regular uncountable cardinal $\kappa$ and an open cover $\mathscr{U}=\{U_\xi:\xi&lt;\kappa\}$ such that $U_\xi\subsetneqq U_\eta$ whenever $\xi&lt;\eta&lt;\kappa$, and $\mathscr{U}$ has no finite subcover. For each $\xi&lt;\kappa$ let $x_\xi\in U_{\xi+1}\setminus U_\xi$, and let $Y=\{x_\xi:\xi&lt;\kappa\}$; clearly $Y$ is right-separated (i.e., initial segments are relatively open).

Let $\mathscr D=\{D\subseteq Y:D\text{ is discrete}\}$. For $D_0,D_1\in\mathscr{D}$ define $D_0\preceq D_1$ iff $D_0\subseteq D_1$, and $\xi&lt;\eta$ whenever $x_\xi\in D_0$ and $x_\eta\in D_1\setminus D_0$. (In other words, $D_0\preceq D_1$ iff $D_0$ is an initial segment of $D_1$ with respect to the well-order on $Y$ induced by the ordinal subscripts.) Clearly $\langle\mathscr{D},\preceq\rangle$ is a partial order. Suppose that $\mathscr{C}$ is a chain in $\langle\mathscr{D},\preceq\rangle$. Let $D=\bigcup\mathscr{C}$, and suppose that $x_\xi\in D$. Fix $C\in\mathscr{C}$ with $x_\xi\in C$; $C$ is discrete, so there is an open nbhd $V$ of $x_\xi$ such that $V\cap C=\{x_\xi\}$. Let $x_\eta$ be any other element of $D$; if $\eta&lt;\xi$, then $x_\eta\in C$, so $x_\eta\notin V$, and if $\eta&gt;\xi$, then $x_\eta\notin U_\xi$. Thus, $V\cap U_\xi$ is an open nbhd of $x_\xi$ that contains no other element of $D$. Since $x_\xi$ was an arbitrary element of $D$, $D$ is discrete, i.e., $D\in\mathscr{D}$. Clearly $C\preceq D$ for all $C\in\mathscr{C}$, so $D$ is an upper bound for $\mathscr{C}$ in $\mathscr{D}$, and by Zorn’s lemma $\mathscr{D}$ has a maximal element $M$.

Let $K=\operatorname{cl}M$; $M$ is discrete, so $K$ is compact. Moreover, the maximality of $M$ implies that $M$ is dense in $Y$ and hence that $K\supseteq Y$. $\mathscr{U}$ is an open cover of $K$, so it has a finite subcover, and since $\mathscr{U}$ is an increasing nest of open sets, there is some $\eta&lt;\kappa$ such that $Y\subseteq K\subseteq U_\eta$, which is absurd, since for example $x_{\eta+1}\in Y\setminus U_\eta$. This contradiction shows that $X$ must be compact.

(The Zorn’s lemma argument can of course be replaced by a straightforward transfinite recursion to construct $M$.)
Continuing what Bryce said above .it implies every infinite set is not discrete.so given a 
infinite set there is a limit point x such that every neighbourhood of it contains all the points of the sequence.So x is a complete accumualation point.Hence every infinite subset of X has a complete accumulation point.Hence X is compact