2
$\begingroup$

A topological space $X$ is said to be star compact if whenever $\mathscr{U}$ is an open cover of $X$, there is a compact subspace $K$ of $X$ such that $X = \operatorname{St}(K,\mathscr{U})$.

A topological space $X$ is said to be star countable if whenever $\mathscr{U}$ is an open cover of $X$, there is a countable subspace $K$ of $X$ such that $X = \operatorname{St}(K,\mathscr{U})$.

We know that there are some topological spaces which are star countable but not star compact. However I don't know whether star compact implies star countable. Is there a topological space which is star compact but not star countable?

Added: $St(K, \mathscr{U})=\cup\{u\in \mathscr{U}: u \cap K \neq \emptyset\}$

  • 0
    @Brian: Thanks.2012-01-01

1 Answers 1

2

Let $X=\Big(\beta\omega_1\times(\omega_2+1)\Big)\setminus\Big((\beta\omega_1\setminus \omega_1)\times\{\omega_2\}\Big)$ as a subspace of $\beta\omega_1\times(\omega_2+1)$; I claim that $X$ is star compact.

Let $\mathscr{U}$ be an open cover of $X$. For each $\xi\in\omega_1$ there are $U_\xi\in\mathscr{U}$ and $\alpha_n\in\omega_2$ such that $\langle \xi,\omega_2\rangle\in \{\xi\}\times(\alpha_n,\omega_2]\subseteq U_\xi\;.$ Let $\alpha=\sup_\xi\alpha_\xi<\omega_2$, and let $K=\beta\omega_1\times\{\alpha+1\}$; $K$ is compact, and $\omega_1\times \{\omega_2\}\subseteq \operatorname{st}(K,\mathscr{U})\;,$ since $U_\xi\subseteq \operatorname{st}(K,\mathscr{U})$ for each $\xi\in\omega_1$. The ordinal space $\omega_2$ is countably compact, so $\beta\omega_1\times\omega_2$ is countably compact and therefore star finite, and there is a finite $F\subseteq \beta\omega_1\times\omega_2$ such that $\beta\omega_1\times\omega_2\subseteq\operatorname{st}(F,\mathscr{U})$. But then $K\cup F$ is compact, and $\operatorname{st}(K\cup F,\mathscr{U})=X$, as desired.

However, $X$ is not star countable. To see this, let $\mathscr{U}=\{\beta\omega_1\times\omega_2\}\cup\Big\{\{\xi\}\times(\omega_2+1):\xi\in\omega_1\Big\}\;;$ $\mathscr{U}$ is certainly an open cover of $X$, but if $C$ is any countable subset of $X$, we can choose $\xi\in\omega_1$ such that $C\cap\big(\{\xi\}\times (\omega_2+1)\big)=\varnothing$, and then $\langle \xi,\omega_2\rangle\notin\operatorname{st}(C,\mathscr{U})$.

This is a modification of Example 2.1 of Yan-Kui Song, On $\mathcal{K}$-Starcompact Spaces, Bull. Malays. Math. Soc. (2) 30(1) (2007), 59-64, which is available as a PDF here.