Let $\langle X,\tau\rangle$ be a Hausdorff topological space. Let $\mathcal{H}$ be a non-empty family of compact subsets of $X$ having the finite intersection property. Then prove or disprove that $\displaystyle\bigcap_{F\in\mathcal{H}} F\ne\emptyset$

So far I had been able to make only the following two observations,

  • for all $F\in \mathcal{H}$, $F$ is closed (since $\langle X,\tau\rangle$ is Hausdorff).

  • $\displaystyle\bigcap_{F\in\mathcal{H}} F$ is closed and hence compact.

However, I am unable to proceed any further. Can anyone help me?


(*) In general space $Y$ is compact if and only if every family of closed sets that has finite intersection property has a non-empty intersection.

For a proof of that see here.

Choose some $K\in\mathcal H$.

Let $\mathcal H_K$ denote the collection $\{K\cap H\mid H\in\mathcal H\}$ of subsets of $K$ and now focus on compact Hausdorff space $K$.

Prove that $\mathcal H_K$ has finite intersection property and is a collection of sets closed in compact set $K$.

Applying (*) it can be concluded that $\bigcap\mathcal H_K\neq\varnothing$ and consequently $\bigcap\mathcal H\neq\varnothing$.

  • $\begingroup$ But we do not assume that $X$ is a compact space. $\endgroup$ – TSF Feb 19 '18 at 15:31
  • 1
    $\begingroup$ @TonyS.F. that is the reason of switching the focus to compact $K$. $\endgroup$ – drhab Feb 19 '18 at 15:42

Assuming $X$ is not compact, $\exists \mathcal{O} = \{O_\alpha:\alpha \in I\}$ an open cover which does not have a finite open subcover. Furthermore we can consider the collection of closed sets $\mathcal{H} = \{F_\alpha=X\backslash O_\alpha:\alpha\in I\}$. Since $\mathcal{O}$ does not have a finite open subcover, $X\backslash \bigcup\limits_{\alpha\in J} O_\alpha\neq \emptyset$ for any finite index set $J$. This implies that $\bigcap\limits_{\alpha\in J}X\backslash O_\alpha = \bigcap\limits_{\alpha\in J}F_\alpha\neq \emptyset$ for any finite index set $J$, i.e. we have the finite intersection property for $\mathcal{H}$. Since $\mathcal{O}$ is an open cover we have $\bigcup\limits_{\alpha\in I}O_\alpha = X\implies \bigcap\limits_{\alpha\in I}F_{\alpha} = \emptyset$.

  • $\begingroup$ But the elements of $\mathcal H$ are supposed to be compact. $\endgroup$ – drhab Feb 19 '18 at 16:49
  • $\begingroup$ @drhab you're absolutely right :\ $\endgroup$ – TSF Feb 19 '18 at 20:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.