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

I've been reviewing exams, and I came across this problem that I am having trouble with. Can anyone help me out?

Show that every paracompact space with the Suslin property is Lindelöf.

A topological space has the Suslin property if there is no uncountable family of pairwise disjoint non-empty open subsets of $X$.

Thanks in advance for any help!

share|cite|improve this question
up vote 5 down vote accepted

Let $X$ be a paracompact space with the Suslin property, and let $\mathscr{U}$ be an open cover of $X$. Since $X$ is paracompact, $\mathscr{U}$ has a $\sigma$-discrete open refinement, i.e., an open refinement $\mathscr{R}=\bigcup_{n\in\Bbb N}\mathscr{R}_n$ such that each $\mathscr{R}_n$ is discrete. In particular, each $\mathscr{R}_n$ is a pairwise disjoint collections of open sets, so each $\mathscr{R}_n$ is countable. But then $\mathscr{R}$ is itself countable, and $X$ is Lindelöf. If you insist on getting a countable subcover of $\mathscr{U}$ instead of a countable open refinement, for each $R\in\mathscr{R}$ choose a $U_R\in\mathscr{U}$ such that $R\subseteq U_R$; then $\{U_R:R\in\mathscr{R}\}$ is a countable subcover of $\mathscr{U}$.

share|cite|improve this answer
It is a Good job. – Paul May 20 '13 at 3:13

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.