This tag is intended for questions on topics related to Baire category, such as Baire category theorem, meager sets (set of first category), nonmeager sets (set of second category), Baire spaces etc.

learn more… | top users | synonyms

3
votes
2answers
240 views

Example of Baire Space

Can anybody supply an example of a Baire Space, that is neither locally compact nor metrizable. I would be gratefull also for some references.
2
votes
2answers
140 views

Second category but not locally residual

Let $X$ be a Baire space. A subset $E\subset X$ is said to be of first category if it can be expressed as the union of countably many nowhere dense subsets of $X$. Then $E$ is said to be of second ...
8
votes
1answer
192 views

Help understanding game version of Baire category theorem

I got this from Thomson et al.'s freely available "Elementary Real Analysis" p.356. They introduce Baire's category theorem through a game where, given two players (A) and (B) Player (A) is given ...
1
vote
1answer
166 views

(ZF) Equivalent statements to Baire Category Theorem

So far, I have proved following two for a polish space $X$; 1.If $\{F_n\}$ is a family of closed subset of $X$, where $X=\bigcup_{n\in \omega} F_n$, then at least one $F_n$ has a nonempty inteior. ...
3
votes
1answer
267 views

Baire Category Theorem

This is Asaf's argument; (ZF) If $\mathbb{R}^k$ is a countable union of closed sets, then at least one has a nonempty interior Suppose that $(X,d)$ is a separable complete metric space, and ...
4
votes
4answers
292 views

(ZF) If $\mathbb{R}^k$ is a countable union of closed sets, then at least one has a nonempty interior

Since the specific space $\mathbb{R}^k$ is given, this might be provable in ZF. Let $\{F_n\}_{n\in \omega}$ be a family of closed subset of $\mathbb{R}^k$, of which the union is $\mathbb{R}^k$. ...
3
votes
1answer
171 views

Question missing condition in Royden Exercise 7.42 b, about Baire Category

In Royden's Real Analysis P164 Q7.42b, It assumes that $X$ and $Y$ are complete metric spaces. Let $O$ be a dense open set in $X \times Y$. Assertion: Then there is a $G \subset X$ which is a ...
2
votes
2answers
170 views

$x$-axis is meager set on $\mathbb{R}^2$

Subset $A$ of metric space $X$ is meager on $X$, iff $\text{IntCl}A=\emptyset$. But, why $x$-axis is meager set on $\mathbb{R}^2$? My attempt (please don't kill me): ...
0
votes
2answers
1k views

Definitions of Baire first and second category sets

From Planetmath A meager or Baire first category set in a topological space is one which is a countable union of nowhere dense sets. A Baire second category set is one which contains a ...
2
votes
2answers
546 views

Corollary to Baire's Category Theorem

In Rudin's Real and Complex Analysis (p. 97 in my 3rd edition), the following is stated as a corollary to Baire's Category Theorem: "In a complete metric space, the intersection of any countable ...
3
votes
1answer
137 views

Baire Category and F sigmas

Can anyone give an example of a Meagre subset of $\mathbb{R}$ (i.e., of the first Baire Category), which isn't an $F_\sigma$? Simple cardinality arguments show that such a thing exists, but I can't ...
2
votes
1answer
192 views

disjoint union of Baire spaces which is a Baire space

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 ...
4
votes
1answer
324 views

Application of Baire category theorem in Moore plane

The proof that Moore plane is not normal I have read was using Cantor's nesting theorem. But I heard that it is also possible to use Baire category theorem to prove and I want to know how. So, as ...
5
votes
2answers
384 views

Doubt in Kechris's Classical Descriptive Set Theory

In Theorem 8.29 in the Kechris's book Classical Descriptive Set Theory, he writes that if $W=\bigcup_{i\in I} U_i$ where $U_i$ are pairwise disjoint and set $A$ is comeager in each $U_i$, then $A$ is ...
6
votes
1answer
324 views

Every space is “almost” Baire?

There is this theorem called the Banach category theorem which states that in every topological space any union of open sets of first category is of first category. Now doesn't this imply that every ...