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

Say we have a family {$A_\alpha$} of disjoint Baire spaces. Also suppose that each $A_\alpha$ is disjoint from the closure of the union of the other sets. Show that $\bigcup_{\alpha} A_\alpha$ is a Baire space.

I think we can prove this by transfinite induction. Suppose the property holds for all $\beta$ < $\alpha$, show it holds for $\alpha$.

If $\alpha$ is a limit ordinal: we want to show that for every sequence of open dense subsets of $\bigcup_{\beta<\alpha} A_\alpha$ their intersection is open dense. This sequence of open dense sets in the union is defined as the union of all open dense sets in each of the sets since they all are Baire spaces and by induction hypothesis the union up to $\beta$ is a Baire space. Suppose this is not the case. Then there exists an open set $U$ such that the intersection of these open dense sets misses $U$. There is some ordinal $\beta$ such that $U \in A_\beta$, but this is a contradiction since we supposed that the union up to $\beta$ was a Baire space.

Now how do I handle the successor case? it seems trickier.

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

I'm pretty sure it's simpler and doesn't require transfinite induction or anything nearly as difficult. In this case the $A_\alpha$ are open sets (as the complement of the closure of the union of the others). So suppose $U_1, \dots,$ are open dense sets in this union. Then each intersection $U_i \cap A_\alpha$ is open and dense in $A_\alpha$. The countable collection has intersection which is dense in each $A_\alpha$ by the Baire property.

This means that the countable intersection, call it $F$, is dense in the union $\bigcup A_\alpha$. (Any point in the union belongs one of the $A_\alpha$, and there is a point of $F \cap A_\alpha$ nearby, hence a point of $F$ nearby.)

share|cite|improve this answer

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.