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

4
votes
2answers
233 views

Baire's property iff first category has dense complement.

Show that $(S, d)$ has Baire's property iff every set of first category has a dense complement. A set is of first category if it is a countable union of nowhere dense sets. First Category Baire's ...
0
votes
2answers
24 views

Prove that there is no countable base to a complete normed space

Defenition(to make sure we are talking about the same thing) : A base $B=\{b_1,b_2,\dots \}$ to a normic space $X$ is a group of elements from $X$, that satisfies the following condition : ...
1
vote
0answers
19 views

How to construct free subgroup of SO(3) using Baire's Theorem?

I'm looking to demonstrate that there exists a free group on two generators $ G\subseteq SO(3) $ (this is for homework, so hints are preferred to complete answers I've turned it in now, so full ...
0
votes
1answer
18 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
2answers
42 views

Why if $p (x_1, \dots, x_n)$ is polynomial on $\mathbb{R}^n$, then $p (x) \neq 0$ is satisfied by open dense set?

I have problems in seeing what exactly is the all point of first category and second category sets. Finally, I've found a reference (Bredon's "Topology and Geometry") that introduces the topic in a ...
0
votes
2answers
72 views

how to show boundary of either open or closed set is nowhere dense.

how to show boundary of either open or closed set is nowhere dense. i think we need to use baire category thm? countable intersection of dense, closed set is once again a dense, closed (and ...
18
votes
1answer
5k views

Let $X$ be an infinite dimensional Banach space. Prove that every Hamel 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?
1
vote
0answers
17 views

Proving Banach space is finite in Baire space [duplicate]

Let $B$ be a Banach space where the dimension of the underlying vector space is countable. using the Baire category Theorem, prove that the dimension of the underlying vector space is, in fact, ...
1
vote
1answer
49 views

$X,Y$ metric spaces , $X$ complete , $Z$ is Hausdorff , $f,g:X \times Y \to Z$ continuous in each variable and coincide on a dense subset , is $f=g$?

Let $X,Y$ be metric spaces , $X$ be complete and $Z$ be a Hausdorff space ; let $f,g:X \times Y \to Z$ be functions such that each of $f$ and $g$ is continuous in $x \in X $ for each fixed $y \in Y$ ...
12
votes
2answers
1k views

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

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 ...
0
votes
2answers
58 views

Is a comeager set also comeager with respect to any closed set containing it?

Let $X$ be a topological space. Let $Y,Z$ be two subsets of $X$. If $Z$ is comeager in $\overline Y$ and $Z\subseteq Y$ then $Z$ is comeager in $Y$ too?
-1
votes
1answer
46 views

The intersection of comeager sets in a Baire Space [closed]

Is it true that in a Baire Space the intersection of two comeager sets is not empty? If yes, is the intersection comeager too?
1
vote
1answer
45 views

Real Analysis, Folland Problem 5.3.32 The Baire Category Theorem

Problem 5.3.32 - Let $\lVert x \rVert_{1}$ and $\lVert x \rVert_{2}$ be norms on the vector space $\mathscr{X}$ such that $\lVert x \rVert_{1}\leq \lVert x \rVert_{2}$. If $\mathscr{X}$ is complete ...
1
vote
1answer
49 views

There exist meager subsets of $\mathbb{R}$ whose complements have Lebesgue measure zero

The Baire Category Theorem - Let $X$ be a complete metric space a.) If $\{U_n\}_1^\infty$ is a sequence of open dense subsets of $X$, then $\bigcap_1^\infty U_n$ is dense in $X$. b.) $X$ is not a ...
0
votes
0answers
29 views

Fourier series converges “almost everywhere”

I'm reading "Fourier series" by Rajendra Bhatia. At one point, the author says: "[..]one can show the existence of a continuous function whose Fourier series diverges except on a set of points of the ...
2
votes
1answer
25 views

Lebesgue null set with meagre complement

There exists a $\lambda$-null comeagre subset of $\mathbb{R}$. I tried to find an example in terms of Cantor sets. Let $C \subseteq [0,1]$ be the ternary Cantor set. Define $$ S = \bigcup_{x \in ...
5
votes
2answers
68 views

Prove that $\mathbb{R}^2$ cannot be a subset of the union of a countable collection of lines in $\mathbb{R}^2$

I'm not really sure about this. I think the proof relies on the theorem: If $U$ is a subset of $A$, and $U$ is uncountable, then $A$ is uncountable. The problem statement says a collection of lines ...
2
votes
1answer
32 views

Equivalence between two comeager sets related to free groups

Let $G$ be a non discrete Polish group. For every $n\ge 2$ equip $G^n$ with the product topology. Saying that $F_n=\{(g_1,\dots,g_n)\in G^n: \{g_1,...,g_n\}$ freely generates a free subgroup of rank ...
4
votes
2answers
47 views

Why are theorems such as the Baire Category Theorem proved for $C([0,1])$ and not more general spaces?

In analysis I see that the proof of the Baire Category Theorem is proved for the set of all continuous functions on $[0,1]$, $C([0,1])$. However, I was wondering if the BCT would also hold for the set ...
0
votes
0answers
30 views

Prove that the Set $P$ of algebraic polynomial is a first category set in $C[a,b]$

Prove that the set $P$ of algebraic polynomial is a first category set in $C[a, b]$ I know the definition of first category is countable union of nowhere dense sets. and further more I know that the ...
0
votes
2answers
28 views

completeness and the Baire category theorem

I am studying the baire category theorem and trying to find a counterexample. This theorem says that a non-empty complete metric space can not be the countable union of nowhere-dense closed subsets ...
0
votes
1answer
31 views

on a countably union of $F_\sigma$ sets

Let $F$ be a countably union of $F_\sigma$ sets, say $F_i$ for $i\in \mathbb N$. Is it true that if $F$ is not meager then there is an $F_i$ with non-empty interior? For me it's true but I can't find ...
-2
votes
1answer
49 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 ...
0
votes
1answer
24 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
2answers
44 views

Zero-dimensional separable metric spaces

I have to prove that every separable metric space, which is zero-dimensional is isomorphic to a closed subset of the Baire space. Maybe I can use the Baire category theorem, but I don't know how.
0
votes
0answers
59 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 ...
3
votes
3answers
103 views

If G is open and dense subset in $\mathbb R$ then show that $G\setminus\{x\}$ is also open and dense in R. is it true in general metric space?

If $G$ is open and dense subset in $\mathbb R$ then show that $G\setminus\{x\}$ is also open and dense in $\mathbb R$. is it true in general metric space? I know as $G$ is open and singleton set ...
2
votes
0answers
16 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 ...
1
vote
0answers
88 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 ...
2
votes
1answer
27 views

Empty interior, equivalent definitions from Munkres.

The Munkres book states the following definition: Recall that if $A$ is a subset of a space $X$ the interior of $A$ is defined as the union of all open sets of $X$ that are contained in $A$. ...
1
vote
1answer
31 views

Continuous image of a F-space

Let $X$ be a $F$-space, i.e. there exists complete metric $d$ on $X$ such that $d(x,y)=d(x+z,y+z), \ x,y,z\in X$. Suppose that we have a normable vector space $Y$, which is of first Baire category. ...
3
votes
2answers
127 views

Baire Category Theorem & The Real Numbers

I am taking a Real Analysis unit at University and the topic of the Baire Category Theorem is prevalent in all of the course, however I'm actually, embarrassing stuck right at the start of the ...
2
votes
2answers
349 views

Contradiction to Baire's Theorem?

My book states a version of Baire's Theorem as If $\{G_1,G_2,G_3,\ldots\}$ is a countable collection of dense, open sets, then the intersection $\bigcap_{n=1}^\infty G_n$ is not empty. I am ...
0
votes
1answer
59 views

The complement of a first category set in X is a set of second category.

Let X be a complete metric space. Then the complement of a first category set in X is a set of second category in X. What is explain in my class is "if the complement of a first category set is a set ...
109
votes
20answers
13k 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 ...
2
votes
1answer
43 views

Is the product of second category spaces second category?

The following is an exercise of Gemignani's Elementary topology. (I'm studying for an exam.) Suppose $Y$ and $Z$ are subspaces of some space $X,\tau$ and $Y$ and $Z$ are both of the second category in ...
2
votes
0answers
61 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 ...
-1
votes
1answer
37 views

Problem seeing how Baire's theorem applies in a proof of open mapping theorem

I cant see which version and how they use Baires theorem to get that atleast on $MB_{n}$ is dense in some open set. Any version of Baires theorem needs open or closed sets. I can get neither on the ...
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
2answers
2k views

Is the union of two nowhere dense sets nowhere dense?

Is the union of two nowhere dense sets nowhere dense? Using the following definition: A nowhere dense set is a subset $E\subset X$ of a metric space (or topological space) $X$ such that ...
2
votes
1answer
38 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 ...
4
votes
2answers
175 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 ...
-1
votes
1answer
83 views

Nowhere dense subset of $L^1$

Why is $B_n = \{f \in L^1 : \int |f|^2 < n \}$, $n \in \mathbb{N}$ a nowhere dense subset of $L^1$? Please provide a proof without assuming that $L^2 \subsetneq L^1$. Clarification: $L^p$ here ...
7
votes
1answer
106 views

Is there a function, continuous on the irrationals, with rational values, nowhere locally constant?

Question. Let $\mathbb A=\mathbb R\!\smallsetminus\!\mathbb Q$ be the irrational numbers. Is there a continuous function $\,f:\mathbb A\to\mathbb Q$, which is nowhere locally constant? – i.e., for ...
0
votes
1answer
25 views

Closed set of 1st category

If $F$ is a closed subset of a complete metric space, is it possible for $F$ to be of the first category? This seems to lead to a contradiction. Since $F$ is a closed subset of a complete metric ...
3
votes
2answers
3k 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 ...
0
votes
1answer
34 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 ...
2
votes
1answer
44 views

Prove that if B is closed and nowhere dense, $f^{-1}(B)$ is also closed and nowhere dense.

Let $f: \mathbb R \rightarrow \mathbb R$ be a continuous function that is nonconstant on any interval. Prove that if B is closed and nowhere dense, $f^{-1}(B)$ is also closed and nowhere dense. My ...
1
vote
1answer
107 views

Open mapping lemma - are these versions equivalent?

Here is a version the Open Mapping Lemma given in class : Let $X$ be a Banach space and $Y$ be a normed space. Let $T : X\rightarrow Y$ be a bounded linear map. Assume there exist $M \geq 0$ and ...
0
votes
2answers
40 views

Why need open in the Baire Category Theorem

In the statement of the Baire Category Theorem, one needs to include openness of a set so that the theorem holds. Question: what is the example such that countable intersection of dense sets is not ...