Questions tagged [baire-category]
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.
660
questions
1
vote
0
answers
35
views
A lemma of Cielsielski
Reading section 2 of this paper '' A century of Sierpinski–Zygmund functions'' (Ciesielski, K.C., Seoane-Sepúlveda, J.B.. Rev. R. Acad.Cienc. Exactas Fis. Nat. Ser. A Mat. RACSAM 113(4), 3863–3901 (...
1
vote
1
answer
72
views
$\mathbb{N}$ is uncountable?
I recently saw a proof that $\mathbb{R}$ is uncountable using Baire's Category Theorem.
It goes like this:
Suppose $\mathbb{R}$ is countable then $\mathbb{R} = \cup(x_n)$. Since $\mathbb{R}$ is ...
1
vote
1
answer
33
views
Prove equivalent form of Baire's Category Theorem
I'm trying to prove these two statements of Baire's Category Theorem are equivalent:
Let X complete metric space. A subset of X is meagre if it can be written as the countable union of nowhere dense ...
0
votes
0
answers
33
views
Is the set of $\varepsilon$-discontinuities closed if it is defined without $\limsup$?
Let $f_n \in C([0,1])$ be a sequence of functions with $f_n(x) \to f(x)$ for all $x$. Consider the set of discontiuities of $f$, which I denote by $\mathcal{D}$. Then, we can define:
$$\mathcal{D} = \...
-1
votes
1
answer
37
views
Metric set with empty interior, Baire's theorem
I'm solving the following problem:
Let $(M,d)$ be a complete metric space, with $M=\cup_{n=1}^\infty F_n$, where $F_n$ is closed. Show that there is an $F_n$ such that $int(F_n) \neq \emptyset$
My ...
4
votes
1
answer
80
views
Are left-inverses of continuous functions pointwise limits of continuous functions?
Let $f : X \to Y$ be a surjective continuous map and suppose $g: Y \to X$ satisfies $g \circ f = \text{id}_X$. If we have that $Y$ is compact and $X$ and $Y$ are both subsets of $\mathbb{R}^n$, does ...
1
vote
0
answers
47
views
Variant of Baire theorem
I consider $(X,d)$ a complete metric space. I have this weak form of the Baire theorem : There does not exist nonempty open subset $O$ of $X$ such that $O=\bigcup_{n\geq 0} F_n$ where the $F_n$ are ...
0
votes
1
answer
143
views
What's wrong with this "counter-example" of Baire's Theorem?
Yesterday my teacher had taught us the Baire Space, that is, a topological space where the intersection of countably many dense open subsets is always dense.
I immediately came up with an example of ...
0
votes
1
answer
34
views
Density of smooth functions whose derivatives have analytical/closed form expression
I was thinking about the following question the other day and thought I'd ask here to see if anyone can make it more precise and/or make any mathematical sense: What is the density (in terms of ...
3
votes
1
answer
71
views
Inverse limits of complete metric spaces is Baire
It is well known that arbitrary products of complete metric spaces are Baire (refer to Dugundji, example).
But, what happens when one considers inverse limits of complete metric spaces over an ...
2
votes
1
answer
114
views
How is the set $C(f)\cap V$ of second category in $V$?
I am reading the paper "P. S. Kenderov, I. S. Kortezov and W. B. Moors, Continuity points of quasi-continuous mappings, Topology Appl. 109 (2001), 321–346." Just before Theorem 2 of the ...
0
votes
0
answers
10
views
Compact subsets of Hausdorff $h$-measure $0$ has complement of first category
We work on the space $\mathcal{K}$ of compact subsets of $[0,1]$, with the Hausdorff metric.
Let $h:[0,1]\to \mathbb R$ be a continuous strictly increasing function with $h(0)=0$. We say that a ...
1
vote
0
answers
62
views
Pointwise limit of functions on $[0,1]$
i was thinking on the problem bellow but I couldn't fully solve the problem, here is the statement:
Let $f:[0,1] \rightarrow [0,1]$ be a continuous function such that $\forall x \in [0,1]$ there ...
1
vote
0
answers
73
views
If $f$ is a continuous and non negative function such that $\sum_{n=1}^\infty f(na)$ converges $\forall a\ge0$, prove that the convergence is uniform
Let $f: [0,+\infty) \to \mathbb{R}^+$ a continuous and non negative function, $f(x) \ge 0$, so that $\sum_{n=1}^\infty f(na)$ converges $\forall a \ge 0$. I would like to prove that $\sum_{n=1}^\infty ...
2
votes
1
answer
73
views
Graph of a monotone function is nowhere dense.
Graph of a monotone real function defined on an interval is a nowhere dense set in $\mathbb{R}^{2}$.
I know that when $f$ is continuous, $G(f)$ is a closed set. Also, its interior is empty since any $...