1
$\begingroup$

Is there an infinite topological space $(X,\tau)$ with the following property?

There is an open cover ${\cal U}^*$ such that

  • $X\notin {\cal U}^*$;
  • every finite subset $F\subseteq X$ is contained in some member of ${\cal U}^*$ and
  • for every subcover ${\cal V} \subseteq {\cal U}^*$ there is $x\in X$ such that $\{V\in {\cal V}: x\notin V\}$ is infinite.
$\endgroup$
4
  • 1
    $\begingroup$ How about an uncountable discrete space, with the open cover consisting of all finite subsets? $\endgroup$ Commented Oct 1, 2015 at 9:16
  • $\begingroup$ @JeremyRickard: Actually, I think your example works for countably infinite spaces as well. $\endgroup$ Commented Oct 1, 2015 at 9:38
  • 1
    $\begingroup$ @JasonStarr For a discrete countably infinite set you could take a subcover consisting of a nested sequence $U_0\subset U_1\subset\dots$ of finite sets. $\endgroup$ Commented Oct 1, 2015 at 9:45
  • $\begingroup$ You are right. Countably infinite spaces do not work. $\endgroup$ Commented Oct 1, 2015 at 9:55

1 Answer 1

1
$\begingroup$

As a counterexample, consider any topological space $X$ which is not metacompact.

We recall that a topological space $X$ is metacompact each each open cover of $X$ has a point-finite refinement. By Theorem 3.5 in the survey "Covering properties" by D.Burke in the Handbook of Set-Theoretic Topology (1984), a topological space $X$ is metacompact if and only if any directed open cover of $X$ has a point-finite refinement. A cover $\mathcal U$ of $X$ is directed if for any sets $U,V\in\mathcal U$ there is a set $W\in\mathcal U$ containing the union $U\cup V$.

By this characterization, each topological space $X$ which is not metacompact admits a directed open cover $\mathcal U$ without point-finite refinement. Since $\mathcal U$ is dierected, each finite subset $F\subset X$ is contained in some set $U\in\mathcal U$. Since $\mathcal U$ has no point-finite refinement, any subcover $\mathcal V$ of $\mathcal U$ is not point-finite, which means that the set $\{V\in\mathcal V:x\in V\}$ is infinite for some $x\in X$.

For an example of a space $X$ which is not metacompact, see Example 4.4 of the survey of Burke. According to this example any Mrowka space $\psi(\mathbb N)$ is not meta-Lindelof and hence not metacompact.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .