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

0
votes
2answers
34 views

Baire related problem

Let $f:\Bbb R\to \Bbb R$, $f$ in $C^{\infty}$. Suppose that for all $x \in \Bbb R$, there exists an integer $n$ (which depends on $x$) such that $f^{n}(x) = 0$ ($f^{n}$ is composing $f$ $n$ times) ...
0
votes
2answers
88 views

Baire space but not locally compact

I need an example that is a Baire space but not locally compact. I think, $\mathbb{R}^ \mathbb{R}$ is such an example. $\mathbb{R}^ \mathbb{R}$ is not locally compact. But I could not proof that it ...
4
votes
1answer
181 views

Prob. 5, Sec. 27 in Munkres' TOPOLOGY, 2nd ed: Every compact Hausdorff space is a Baire space

This is problem 5 in section 27 of Munkres' TOPOLOGY, 2nd ed Let $X$ be a compact Hausdorff space; let $\{A_n\}_{n\in \mathbb{N}}$ be a countable collection of closed sets of $X$. If each set $A_n$ ...
2
votes
1answer
34 views

$G_\delta$ set of nowhere differentiable functions?

I'm trying to show that in $C([0,1])$ with the supremum metric, there exists a dense $G_\delta$ set of nowhere differentiable functions. Honestly, I don't know how to approach this. Any help would be ...
1
vote
1answer
20 views

Second Baire class and Borel measurable

I am new to Baire class theory, but need it for one part of a project I am working on. I have seen it referenced that functions of second Baire class are Borel measurable. For example here in this ...
1
vote
1answer
85 views

Application of Baire Category theorem

Suppose that $f$ is infinitely differentiable on $[a,b]$ and suppose that for any $a ≤ x ≤ b$ the Taylor series of $f$ has positive radius of convergence at $x$. Use the Baire Category Theorem to ...
1
vote
1answer
33 views

Sigma-compact Polish groups

I would like to see an example of a sigma-compact Polish group which is not locally compact. I know that e.g. $l^{\infty}$ is a topological group which is sigma-compact but not locally compact. But ...
1
vote
1answer
66 views

Question about of Baire property and Baire space

In reading Kechris book. Please, I would like help with this proposition. For convencion we put for $A \subseteq X$, $$\sim A=X\setminus A$$ If $A$ is comeager in $U$, we say that $U$ forces $A$, ...
0
votes
1answer
17 views

is the complement of first category is always second category

is the complement of first category is always second category in general space( which is not complete). I think it is true only if the space isx
0
votes
1answer
28 views

Show that C^α([0, 1]) is of first category in C([0, 1]).

Recall that for any $0 < α < 1,$ the space $C^\alpha ([0, 1])$ is the set of continuous functions on $[0, 1]$ with norm of f = sup |f| + $ sup \ x\ne y$ |f(x) − f(y)|/|x − y|^α< ∞, equipped ...
0
votes
1answer
55 views

Corollary of Baire theorem

Can anybody help me to prove the following result? Corollary of Baire theorem: Let $(K_j)_{j>0}$ be an increasing sequence of compact sets in $C^n$ and $X$ a bounded open set such that $\overline ...
0
votes
1answer
58 views

Category theorem

I don't have a mathematician background (I am engineer) I understand some concepts but still very abstract for me and I have to show the following: 1.- Of what category is the set of all rational ...
0
votes
1answer
65 views

Baire category theorem in a Banach space

For any two distinct $u,v$ in a countable dense subset of separable real Banach space $X$, let $S(u,v) = \{f \in Y \mid f(u)=f(v)\}$, where $Y$ is the dual space of $X$. Each of $S(u,v)$ is a proper ...
0
votes
1answer
40 views

Why empty set? (consequences of Baire's theorem)

I did not understand the proof of Theorem 5.13 of Rudin, [Real and Complex Analysis]. See next. In a complete metric space X which has no isolated points, no countable dense set is a $G_{\delta}$. ...
0
votes
1answer
61 views

Baire's Theorem proof regarding points revisited

My first question on this point was not answered. Here is the first part of Shilov's proof of Baire's theorem (not an exact lift from the book as I avoided mathematical symbols). I am trying to be ...
0
votes
1answer
265 views

Is this Baire theorem a special case of Baire category theorem?

I'm reading a chinese text book "Real Analysis" (by Zhou Minqiang), one of it's conclusion is "Baire theorem" For any $E\subset R^n$ is a $F_\sigma$ set: $$E=\bigcup_{k=1}^{\infty}F_k,$$ where ...
-1
votes
1answer
34 views

Every comeager set in a perfect Polish space contains an uncountable dense $G_\delta$ set

Let $X$ be a perfect Polish Space. Prove that every comeager contains an uncountable dense $G_\delta$ set. It's known that every perfect Polish Space has cardinality $2^{\aleph_0}$. It's easy to ...
7
votes
0answers
484 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
0answers
91 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
0answers
59 views

Outline of Generic Separable Banach Spaces don't have a Schauder Basis

So, I know P. Enflo showed that there is a separable Banach Space that doesn't satisfy the approximation property. My professor mentioned during class that in fact generic separable Banach Spaces ...
3
votes
0answers
64 views

For every $x \in [a,b] , \exists n_x\in \mathbb Z^+$ such that $f^{(n_x) }(x)=0$ ; then to prove $f$ is a polynomial in $[a,b]$

Let $f:[a,b] \to \mathbb R$ be a continuous function having derivatives of all order such that for every $x \in [a,b] , \exists n_x\in \mathbb Z^+$ such that $f^{(n_x) }(x)=0$ ; then how do I show ...
2
votes
0answers
15 views

Retracts and dense $G_{\delta}$ sets

Suppose $X$ is a complete separable metric space and $Y\subset X$ is a retract of $X$ with retraction $r\colon X\longrightarrow Y$. I am interested in the following question: Given a dense ...
2
votes
0answers
57 views

prove that there is a dense subset of X on which $f$ is continuous.

Let ${(f_n)}$ be sequence of continuous function on a complete metric space X which converges point-wise to a function $f$ then prove that there is a dense subset of X on which $f$ is continuous. I ...
2
votes
0answers
236 views

Using Baire Category Theorem to prove $\mathbb{R}^2\not\cong\mathbb{R}^3$.

How can we prove $\mathbb R ^ 2$ is not homeomorphic to $\mathbb R ^3$ using Baire Category Theorem? Here is a standard proof of this fact using algebraic topology. Note that $\mathbb{R}^{3}-\{x\}$ ...
2
votes
0answers
85 views

If every point $x \in X$ has a neighborhood that is Baire space, then $X$ is a Baire space

Show that if every point $x \in X$ has a neighborhood that is Baire space, then $X$ is a Baire space. (Munkres "Topology", 48.3) Here is what I tried : Let $\{U_n\}_{n \geq 1}$ be a collection of ...
2
votes
0answers
38 views

Analogy for Baire categories?

I'm looking for an analogy to grasp the intuitive notion of size that Baire categories on $\mathbb{R}$ provides. For instance, the cardinality of a subset of $\mathbb{R}$ provides a notion of size in ...
2
votes
0answers
109 views

Baire Category Theorem with $G_{\delta}$

If we have a subset $Y$ of a complete metric space $X$ such that $Y$ is a $G_{\delta}$, then how would I go to show that $Y$ satisfies the Baire category theorem? I am trying to get there by showing ...
1
vote
0answers
85 views

Testing whether a particular set of measures borelianas is a set of Baire

Let $X$ compact metric space and $F:X\times \mathbb{R}\rightarrow X$ flow continuous ($F(x,t)=F_t(x)$). If $\delta>0$ we define $$\Lambda(x,\delta)=\bigcup_{h\in ...
1
vote
0answers
25 views

Lebesgue characterization of Baire class 1 functions

Lebesgue's characterization of Baire class one functions on $\mathbb R$ is the following: $f:\mathbb R \rightarrow \mathbb R$ is Baire class one iff for all $r\in \mathbb R$ $\{ x: f > r \}$ and ...
1
vote
0answers
40 views

Topological group, which is second category in itself, is a Baire space.

A Baire space is a topological space in which the union of every countable collection of closed sets with empty interior has empty interior. $G$ is a topological group, if $G$ is of the second ...
1
vote
0answers
54 views

Producing $\mathbb{R}$ with countable amount of sets?

Prove, that you can't "produce" $\mathbb{R}$ with countable amount of sets, which are nowhere dense(I am not sure I said this definition correct, with nowhere dense, I mean that $Int(\overline X) = ...
1
vote
0answers
29 views

Proving a linear function is bounded using the Baire category theorem (or its consequences)

This is a problem from Folland. Let $\mathcal{X}, \mathcal{Y}$ be Banach spaces. If $T : \mathcal{X} \rightarrow \mathcal{Y}$ is linear and $f \circ T \in \mathcal{X}^*$ for all $f \in ...
1
vote
0answers
67 views

Non differentiable solutions to $\partial_x f + \partial_y f =0$

This nice paper by Gilles Godefroy (in French) tells us the story of Baire's lemma. In 1896, Monsieur Baire was lecturing on analysis and carelessly gave the following exercise: to find all solutions ...
1
vote
0answers
41 views

Showing an operator kernel is nowhere dense…

We are doing a problem that requires us to, for fixed NONZERO element $h \in L^2[0,1]$ (as in, the function $h$ is not zero on a set of positive measure in $[0,1]$) and fixed $f \in L^2[0,1]$ with ...
1
vote
0answers
81 views

x-section of closure of E of first category implies x-section of E nowhere dense

Let $E$ be a subset of first category of product space $X \times Y$. Why is the following true: if $(\bar E)_x \subset Y$ is of first category then it follows that $E_x$ is nowhere dense. $E_x$ ...
0
votes
0answers
12 views

If A is nowhere dense in M, and if G is a nonempty open set in M, prove that A is nowhere dense in G.

If A is nowhere dense in M, and if G is a nonempty open set in M, prove that A is nowhere dense in G. I tried by contradiction but could not figure it out. I found that we can use following result ...
0
votes
0answers
41 views

Proof of Invariance of Domain Using Baire Category and Local Homology

$\newcommand{\R}{\mathbf R}$ Claim. Let $m\neq n$ be positive integers. Can there exist a bijective continuous map $f:\R^m\to \R^n$? I think the answer is no and following is my argument. Purported ...
0
votes
0answers
33 views

Closed subsets of empty interior are of 1st category

In a metric space is it true that closed sets with empty interior are of 1st category? I.e., that it can be represented as a at most countable union of meager sets? Thanks