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 questions from previous exams I've had in my courses, and I noticed a question that I completely missed. I was wondering if anyone could help me out on this one.

Let $X$ be a topological space. Prove that every $\sigma$-discrete open cover of $X$ has a locally finite refinement.

Thanks in advance for any help!

share|improve this question
    
What does $\sigma$-discrete mean? –  Keenan Kidwell Sep 1 '12 at 18:47
1  
@Keenan: It means that the cover is the union of countably many discrete families of open sets. –  Brian M. Scott Sep 1 '12 at 18:47
add comment

1 Answer

up vote 2 down vote accepted

Suppose that $\mathscr{U}=\bigcup_{n\in\Bbb N}\mathscr{U}_n$ is a $\sigma$-discrete open cover of $X$, where each $\mathscr{U}_n$ is discrete. Recall (or prove!) that every discrete family is closure-preserving. That is, if $\mathscr{D}$ is a discrete family of sets, and $\mathscr{A}\subseteq\mathscr{D}$, then $\operatorname{cl}\bigcup\mathscr{A}=\bigcup\{\operatorname{cl}A:A\in\mathscr{A}\}$. (More generally, this is actually true for locally finite families of sets.) For $n\in\Bbb N$ let $U_n=\bigcup\mathscr{U}_n$, and let $V_n=\bigcup_{k\le n}U_k$.

Let $\mathscr{R}_0=\mathscr{U}_0$, and for each $n\in\Bbb N$ let $\mathscr{R}_{n+1}=\{U\setminus V_n:U\in\mathscr{U}_{n+1}\}$. Let $\mathscr{R}=\bigcup_{n\in\Bbb N}\mathscr{R}_n$. Clearly $\mathscr{R}$ refines $\mathscr{U}$. An easy induction verifies that $\bigcup\bigcup_{k\le n}\mathscr{R}_k=V_n$ for each $n\in\Bbb N$, so $\mathscr{R}$ covers $X$. To see that $\mathscr{R}$ is locally finite, fix $x\in X$. Let $n$ be minimal such that $x\in U_n$, and let $U$ be the unique member of $\mathscr{U}_n$ containing $x$. Suppose that $R\in\mathscr{R}$, and $U\cap R\ne\varnothing$; $U\subseteq V_n$, and $V_n\cap\bigcup\mathscr{R}_k=\varnothing$ for $k>n$, so $R\in\mathscr{R}_k$ for some $k\le n$. For each $k\le n$, $x$ has an open nbhd $B_k$ that meets at most one member of $\mathscr{U}_k$ and hence also at most one member of $\mathscr{R}_k$. Let $B=U\cap\bigcap_{k\le n}B_k$; then $B$ is an open nbhd of $x$ that meets at most finitely many members of $\bigcup_{k\le n}\mathscr{R}_k$ and no members of $\bigcup_{k>n}\mathscr{R}_k$, so $B$ meets only finitely many members of $\mathscr{R}$. Since $x$ was arbitrary, $\mathscr{R}$ is locally finite.

Of course $\mathscr{R}$ is almost certainly not an open refinement of $\mathscr{U}$. To get that, you have to impose some conditions on $X$, and you have to work harder. To see that some extra conditions are definitely necessary, consider the following example.

Let $\tau$ be the following $T_1$ topology on $\Bbb R$. First, let $D=\Bbb R\setminus\Bbb Z^+$; points of $D$ are isolated. Each $n\in\Bbb Z^+$ has basic open nbhds of the form $\{n\}\cup(D\setminus F)$, where $F$ is any finite subset of $D$. Then $$\mathscr{U}=\{D\}\cup\Big\{\{n\}\cup D:n\in\Bbb Z^+\Big\}$$ is a countable and hence $\sigma$-discrete open cover of $X$ with no locally finite open refinement: any open refinement will have to include a nbhd of $n$ for each $n\in\Bbb Z^+$, and these nbhds will necessarily have non-empty intersection, since their intersection can exclude only countably many members of the uncountable set $D$.

share|improve this answer
add comment

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.