Take the 2-minute tour ×
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.

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|improve this question

1 Answer 1

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|improve this answer
    
It is a Good job. –  Paul May 20 '13 at 3:13

Your Answer

 
discard

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.