Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can you help me please with this question?

Let $X$ be a non-empty set with the cofinite topology.

Is $\left ( X,\tau_{\operatorname{cofinite}} \right ) $ a metrizable space?

Thanks a lot!

share|cite|improve this question
up vote 8 down vote accepted
  • If $X$ is finite, the cofinite topology is the discrete one, which is metrizable, for example using the distance $d$ defined by $d(x,y):=\begin{cases}0&\mbox{ if }x=y,\\ 1&\mbox{ otherwise} .\end{cases}$
  • If $X$ is infinite, it's not a Hausdorff space. Indeed, let $x,y\in X$, and assume that $U$ and $V$ are two disjoint open subsets of $X$ containing respectively $x$ and $y$, then $U=X\setminus F_1$ and $V=X\setminus F_2$ where $F_1$ and $F_2$ are finite. Hence $\emptyset =X\cap F_1^c\cap F_2^c=X\setminus (F_1\cup F_2)^c$, which is a contradiction since $X$ is infinite. But each singleton is closed in such a space.
share|cite|improve this answer
Thank you very much! – Mushka May 15 '12 at 20:01
You're welcome. – Davide Giraudo May 15 '12 at 20:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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