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

105
votes
1answer
3k views

Does the open mapping theorem imply the Baire category theorem?

A nice observation by C.E. Blair1, 2, 3 shows that the Baire category theorem for complete metric spaces is equivalent to the axiom of (countable) dependent choice. On the other hand, the three ...
70
votes
18answers
7k views

Your favourite application of the Baire Category Theorem

I think I remember reading somewhere that the Baire Category Theorem is supposedly quite powerful. Whether that is true or not, it's my favourite theorem (so far) and I'd love to see some applications ...
45
votes
5answers
5k views

Is $[0,1]$ a countable disjoint union of closed sets?

Can you express $[0,1]$ as a countable disjoint union of closed sets, other than the trivial way of doing this?
38
votes
5answers
1k views

Why is it that $\mathbb{Q}$ cannot be homeomorphic to _any_ complete metric space?

Why is it that $\mathbb{Q}$ cannot be homeomorphic to any complete metric space? Certainly $\mathbb{Q}$ is not a complete metric space. But completeness is not a topological invariant, so why is the ...
11
votes
1answer
2k views

A classical problem about limit of continuous function at infinity and its connection with Baire Category Theorem

When I google "baire category theorem", I get a link to Ben Green's website. And at the end of the paper, he mentioned such a classic problem: Suppose that $f:\mathbb{R}^+\to\mathbb{R}^+$ is a ...
10
votes
1answer
2k views

Let $X$ be an infinite dimensional Banach space. Prove that every basis of X is uncountable.

Let $X$ be an infinite dimensional Banach space. Prove that every basis of $X$ is uncountable. Can anyone help how can I solve the above problem?
9
votes
1answer
289 views

Can a sequence of functions have infinity as limit exactly at rationals?

Someone asked me this question. And he said it's an exercise from Rudin's Real and Complex Analysis. Does there exist a sequence of continuous functions $f_n(x)$, such that $\lim_{n \to \infty} ...
8
votes
2answers
751 views

Proof That $\mathbb{R} \setminus \mathbb{Q}$ Is Not an $F_{\sigma}$ Set

I am trying to prove that the set of irrational numbers $\mathbb{R} \setminus \mathbb{Q}$ is not an $F_{\sigma}$ set. Here's my attempt: Assume that indeed $\mathbb{R} \setminus \mathbb{Q}$ is an ...
8
votes
2answers
577 views

$\lim_{n\to \infty}f(nx)=0$ implies $\lim_{x\to \infty}f(x)=0$

Can anyone help me with this problem? Let $f:[0,\infty)\longrightarrow \mathbb R$ be a continuous function such that for each $x>0$, we have $\lim_{n\to \infty}f(nx)=0$. Then prove that ...
8
votes
1answer
194 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 ...
7
votes
1answer
141 views

Can a meager linear subspace be written as a countable increasing union of nowhere dense subspaces?

Let $X$ be a separable Banach space. In this question, "subspace" means a linear subspace, not necessarily closed. Suppose $E \subset X$ is a subspace which is meager, so that we can write $E = ...
6
votes
2answers
129 views

Who are the measurable sets in $\mathbb{R}$

Is there any Characterization for all measurable sets in $\mathbb{R}$? Can I say that a set is measurable if an only if it has the property of Baire? (differs from an open set by a first category ...
6
votes
2answers
366 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 ...
6
votes
1answer
335 views

Infinitely times differentiable function

Let $f$ belong to $ C^{\infty}[0,1]$ and for each $x \in [0,1]$ there exists $n \in \mathbb{N}$ so that $f^{(n)}(x)=0$. Prove that $f$ is a polynomial in $[0,1]$. I am trying to use Baire Category ...
6
votes
2answers
184 views

Examples of closed subspaces of Baire spaces that fail to be Baire?

I am looking for some nice examples of Baire spaces containing closed subspaces that fail to be Baire. Clearly, $X$ should not satisfy either one of the standard hypotheses for the Baire category ...
5
votes
2answers
391 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 ...
5
votes
1answer
82 views

A property dealing with complete metric spaces

I came across a property in a textbook that caught my eye. The property is: If $X$ is a complete metric space, then the intersection of any two dense $G_{\delta}$-subsets of $X$ is dense in $X$. This ...
5
votes
1answer
126 views

Is $\ell^1 \subset \ell^2$ meagre? [duplicate]

Possible Duplicate: Prove $\ell_1$ is first category in $\ell_2$ Consider $\ell^2$ with the topology induced by the usual norm. We can easily prove that $\ell^1 \subset \ell^2$. I am ...
5
votes
4answers
152 views

Complement of co-dense set.

Asaf's argument : (ZF) If $\mathbb{R}^k$ is a countable union of closed sets, then at least one has a nonempty interior Let $X$ be a separable complete metric space. Let $D$ be a countable debse ...
5
votes
0answers
301 views

Questions related to intersections of open sets and Baire spaces

EDIT: I have reposted this question on MathOverflow. (The version posted there is more concise, with some details omitted. I have also added a question about pseudobases with similar property.) MO ...
4
votes
2answers
116 views

Baire's theorem from a point of view of measure theory

According to Baire's theorem, for each countable collection of open dense subsets of $[0,1]$, their intersection $A$ is dense. Are we able to say something about the Lebegue's measure of $A$? Must it ...
4
votes
4answers
299 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$. ...
4
votes
2answers
492 views

About Baire's Category Theorem(BCT)

Consider the following theorem known as Baire's Category Theorem (BCT). Theorem.[BCT] A non-empty complete metric space $X$ is not a countable union of nowhere dense sets. I am interested on how to ...
4
votes
1answer
56 views

Baire Category Theorem proof in Gamelin Greene - how do they shrink the closure of open ball

I am confused by a step in the Gamelin and Greene proof of the Baire Category Theorem. Here is the start of the proof. Theorem: Let $\{U_n\}_{n=1}^{\infty}$ be a sequence of dense open subsets of a ...
4
votes
1answer
137 views

$L_2$ is of first category in $L_1$ (Rudin Excercise 2.4b) [duplicate]

We mean here $L_2$, and $L_1$ the usual Lebesgue spaces on the unit-interval. It is excercise 2.4 from Rudin. There's several ways to show that $L_2$ is nowhere dense in $L_1$. But in (b) they ask to ...
4
votes
1answer
155 views

Prove $\ell_1$ is first category in $\ell_2$

Prove that $\ell_1$ is first category in $\ell_2$. I tried to solve this, but had no idea about the approach. Any suggestions are helpful. Thanks in advance.
4
votes
1answer
104 views

Nowhere dense set…

Let $A_n$ be a subset of continuous functions on $[0,1]$ given by: $A_n$ = {$f∈C[0,1]$:there exists $x∈[0,1]$ such that $|f(x)−f(y)|≤n|x−y|$ for all $y∈[0,1]$}. Show $A_n$ is nowhere dense, and use ...
4
votes
1answer
343 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 ...
4
votes
0answers
78 views

Partition of $\mathbb{R}$ into nullset and 1st category set

Let $\{a_i\}_{i=1}^{\infty}$ be an enumeration of the rationals, $\mathbb{Q}$. Let $I_{ij}$ be the open interval centered at $a_i$ and having length $1/2^{i+j}$, and define $G_j = \cup_{i=1}^\infty ...
3
votes
2answers
265 views

Irrational number and Baire space

How to show that the set of irrational numbers is a Baire space ?
3
votes
2answers
309 views

Dense subset of Cantor set homeomorphic to the Baire space

Does anyone know a proof that the Cantor set, $\{0,1\}^{\mathbb{N}}$, has a dense subset homeomorphic to the Baire space, $\mathbb{N}^{\mathbb{N}}$? Thank you.
3
votes
2answers
79 views

Showing a set is nowhere dense in $C([0,1])$

Let $E_n$ be the set of all $f \in C\big([0,1]\big)$ for which there exists $x_0 \in [0,1]$ (depending on $f$) such that \begin{align*} \lvert\, f(x)-f(x_0)\rvert \leq n\lvert x-x_0\rvert, ...
3
votes
1answer
48 views

Linear functional in Banach space

Let $X$ be a Banach space, $(f_n)\in X^{*}$ a sequence with $f_n\neq 0 $ $ \forall n\in \Bbb N$. Show that there is a $x\in X$ such that $f_n(x)\neq 0 $ $\forall n$. Need some help. Thank you!
3
votes
1answer
37 views

Oxtoby Thm 5.4 Bernstein sets

I am reading Measure and Category of Oxtoby. I have a question about Theorem 5.4 added below. I think I understand the construction of Bernstein sets, and also the main line of the Proof. My question ...
3
votes
2answers
247 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.
3
votes
1answer
138 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 ...
3
votes
1answer
196 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 ...
3
votes
1answer
116 views

Prove it doesn't exist any function f:R→R that is continuous only at the rational points.

Prove it doesn't exist any function $f:\mathbb R \to \mathbb R$ that is continuous only at the rational points. Suggestion: For every $n \in \mathbb N$, consider the set $U_n=\{x \in \mathbb R : ...
3
votes
1answer
69 views

Slight generalisation of the Baire category theorem?

By the Baire category theorem, one cannot write a complete metric space $X$ as a countable union of closed nowhere dense subsets of $X$. Can this be generalised to say that there is no injection $f: X ...
3
votes
1answer
326 views

Baire: Show that $f\colon \mathbb{R}\to\mathbb{R}$ is a polynomial in an open bounded set

Let $f\colon\mathbb{R}\to\mathbb{R}$ be an infinitely differentiable function, and suppose that for each $x\in\mathbb{R},$ $\exists\ n=n(x)\in\mathbb{N}$ such that $f^{(n)}(x)=0$. For each fixed ...
3
votes
1answer
96 views

A Baire category question

Let ${f_n}$ be a sequence of real valued continuous functions converging pointwise on $\Bbb R$. Show that there exists a number $M>0$ and an interval $I \subset \Bbb R$ such that $\sup\{ |f_n(x)|:x ...
3
votes
1answer
93 views

Measure spaces are proper subsets

I want to prove that $L^2$ is of the first category in $L^1$, thus I have to prove that $L^2$ is the countable union of nowhere dense subsets. The hint I get is: Take $g_n(x)=n$ for $0\leq ...
3
votes
1answer
173 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 ...
3
votes
1answer
273 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 ...
2
votes
2answers
174 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): ...
2
votes
2answers
550 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 ...
2
votes
2answers
459 views

Baby Rudin problem 3.22: prove Baire's theorem. Am I going in a reasonable direction?

Suppose $X$ is a nonempty complete metric space, and $\{G_n\}$ is a sequence of dense open subsets of $X$. Prove Baire's theorem, namely, that $\bigcap_1^\infty G_n$ is not empty. Hint: find a ...
2
votes
3answers
43 views

Meagre Sets: Algebra

Let meagre subsets be defined as: $A\text{ meagre}\iff A=\bigcup_{\lvert K\rvert\leq\aleph_0} A_k\text{ with }\overline{A_k}°=\varnothing$ Then it satisfies: $B\subseteq A\text{ meagre}\Rightarrow ...
2
votes
2answers
82 views

Baire: Equivalent Statements

How to proof that these statements are equivalent: Every intersection of countably many dense open sets is dense. The interior of every union of countably many closed nowhere dense sets is empty. ...
2
votes
1answer
246 views

Are function spaces Baire?

Let $X$ and $Y$ be manifolds and suppose that $X$ is a compact, complete metric space and $Y$ is a complete metric space. So, both $X$ and $Y$ are Baire spaces. Question: For what values of $k\geq ...