All Questions
76
questions
3
votes
1
answer
107
views
Existence of Borel uniformization for coanalytic set with non-$K_\sigma$ sections
Suppose that $X$ is a Polish (or standard Borel) space and $\omega^\omega$ is the Baire space of all natural number sequences. My question is: If $A\subseteq X\times \omega^\omega$ is a coanalytic set ...
- 2,971
8
votes
1
answer
328
views
"Compactness length" of Baire space
Intuitively, my question is: how many times do we have to mod out by an closed equivalence relation with all classes compact in order to collapse Baire space $\omega^\omega$ to a singleton?
In more ...
- 19k
8
votes
1
answer
193
views
Can totally inhomogeneous sets of reals coexist with determinacy?
A special case of a theorem of Brian Scott (from On the existence of totally inhomogeneous spaces) is that there is a size-continuum set $S\subset\mathbb{R}$ such that if $x,y\in S$ are distinct then $...
- 19k
10
votes
0
answers
309
views
Determinacy coincidence at $\omega_1$: is CH needed?
This is a follow-up to the last part of an old MSE answer of mine. Briefly, an analogue at $\omega_1$ of Steel's equivalence between clopen and open determinacy can be proved assuming $\mathsf{CH}$, ...
- 19k
16
votes
1
answer
502
views
Does a completely metrizable space admit a compatible metric where all intersections of nested closed balls are non-empty?
(cross-posted from this math.SE question)
It is well-known that given a metric space $(X,d)$, the metric is complete if and only if every intersection of nested (i.e. decreasing with respect to ...
- 665
9
votes
2
answers
474
views
Can you fit a $G_\delta$ set between these two sets?
Every subset of $\mathbb N \times \mathbb N$ can be viewed as a relation on $\mathbb N$. The set $\mathcal P(\mathbb N \times \mathbb N)$ of all relations on $\mathbb N$ has a natural topology with ...
- 17.1k
3
votes
1
answer
123
views
What are the names of the following classes of topological spaces?
The closure of any countable is compact.
The closure of any countable is sequentially compact.
The closure of any countable is pseudocompact.
The closure of any countable is a metric compact set.
- 977
3
votes
0
answers
140
views
Which cardinal $\kappa\geq \omega_1$ is critical for the following property...?
Which cardinal $\kappa\geq \omega_1$ is critical for the following property:
Let $X\subset \mathbb R$ and $\kappa>|X|\geq \omega_1$. Then there is an uncountable family $\{X_{\alpha}\}$ such that $...
- 977
2
votes
0
answers
151
views
Is there a Lusin space $X$ such that ...?
Is there a Lusin space (in the sense Kunen) $X$ such that
$X$ is Tychonoff;
$X$ is a $\gamma$-space ?
Note that if $X$ is metrizable and a $\gamma$-space then it is not Lusin.
In mathematics, a ...
- 977
5
votes
1
answer
363
views
Is it true that $\mathit{MA}(\omega_1)$ iff $\omega_1<\mathfrak{p}$?
Recall that
$\mathfrak{p}=\min\{|F|: F$ is a subfamily of $[\omega]^{\omega}$ with the sfip which has no infinite pseudo-intersection $\}$.
The cardinal $\mathfrak{q}_0$ defined as the smallest ...
- 977
3
votes
1
answer
87
views
Is there a hereditary $\sigma$-space $X$ such that it is not $Q$-space?
A topological space $X$ is called a $\sigma$-space if every $F_{\sigma}$-subset of $X$ is $G_{\delta}$.
A topological space $X$ is called a $Q$-space if any subset of $X$ is $F_{\sigma}$.
Definition. ...
- 977
4
votes
0
answers
123
views
An uncountable Baire γ-space without an isolated point exists?
An open cover $U$ of a space $X$ is:
• an $\omega$-cover if $X$ does not belong to $U$ and every finite subset of $X$ is contained in a member of $U$.
• a $\gamma$-cover if it is infinite and each $x\...
- 977
6
votes
0
answers
188
views
Every Polish space is the image of the Baire space by a continuous and closed map, reference
The following result was originally proven by Engelking in his 1969 paper On closed images of the space of irrationals (AMS, JSTOR, MR239571, Zbl 0177.25501)
Every Polish space (i.e. every separable ...
- 2,042
4
votes
0
answers
135
views
Is there a condensation of a closed subset of $\kappa^\omega$ onto $\kappa^\omega\setminus A$ …?
Let $\aleph_1\le\kappa<c$ and $A\subset \kappa^{\omega}$ such that $\lvert A\rvert\le\kappa$.
Is there a condensation (i.e. a bijective continuous mapping) of a closed subset of $\kappa^\omega$ ...
- 977
3
votes
0
answers
74
views
Is $\mathfrak q_0$ equal to the smallest cardinality of a second-countable $T_1$-space which is not a $Q$-space?
A topological space $X$ is a $Q$-space if every subset of $X$ is of type $G_\delta$.
The smallest cardinality of a metrizable separable space which is not a $Q$-space is denoted by $\mathfrak q_0$ and ...
- 40.2k
7
votes
1
answer
364
views
What is an example of a meager space X such that X is concentrated on countable dense set?
A topological space $X$ is concentrated on a set $D$ iff for any open set $G$ if $D\subseteq G$, then $X\setminus G$ is countable.
What is an example of a separable metrizable (uncountable) meager (...
- 977
3
votes
1
answer
159
views
Co-analytic $Q$-sets
A subset $A\subseteq \mathbb{R}$ is said to be a $Q$-set if every subset $B\subseteq A$ is $F_\sigma$ wrt the subspace topology on $A$. For example $\mathbb{Q}$ is a $Q$-set. The first time I have ...
- 2,042
2
votes
1
answer
138
views
Images of a closed and continuous mapping with domain $\Bbb{N}^\Bbb{N}$
My question is:
Is every Polish space image of a closed and continuous mapping with domain $\Bbb{N}^\Bbb{N}$?
Where a Polish space is a separable and completely metrizable space and where $\Bbb{N}^\...
- 2,042
4
votes
1
answer
100
views
Are there such a complete metric space X of weight k (w(X)=k) and ....?
Are there such a complete metric space $X$ of weight $k<\mathfrak{c}$ ($w(X)=k$) and a family $\{F_{\alpha}: \alpha<k\}$ of closed subsets of $X$ that $k<|X\setminus \bigcup F_{\alpha}|<\...
- 977
3
votes
0
answers
75
views
What is the name of the (possibly well-known) class of $\pi$-monolithic compact spaces?
A compact space $X$ is called ${\it \pi-monolithic}$ if whenever a surjective continuous mapping $f:X\rightarrow K$ where $K$ is a compact metric space there exists a compact metric space $T\subseteq ...
- 977
6
votes
0
answers
203
views
Failure of Baire's grand theorem when the hypothesis is weakened to separable metric space
The statement of Baire grand theorem gives a characterization of Baire class 1 functions between a completely metrizable separable space (aka Polish space) and a separable metrizable space. The ...
- 2,042
4
votes
1
answer
138
views
Hedgehog of spininess $κ$ is an absolute retract?
Let $κ$ be an infinite cardinal, $S$ a set of cardinality $κ$, and let
$I = [0, 1]$ be the closed unit interval. Define an equivalence
relation $E$ on $I × S$ by $(x,α) E (y,β)$ if either $x = 0 = y$
...
- 977
1
vote
2
answers
386
views
Subsets of the Cantor set
A copy of the Cantor set is a space homeomorphic to $2^{\omega}$.
Suppose that $X$ is a Hausdorff space that contains a copy $C^{\prime}$ of the Cantor set. Let $U$ be a nonempty subset open in $C^{\...
- 31
4
votes
1
answer
191
views
Consistency of the Hurewicz dichotomy property
Just to fix the environment, let's work in the Baire space $\omega^\omega$, the space of infinite sequences of natural numbers with the product of the discrete topology over $\omega$. We say that a ...
- 2,042
2
votes
0
answers
191
views
A question about infinite product of Baire and meager spaces
Proposition 1: For any space $X$ and an infinite cardinal $\kappa$, the product $X^{\kappa}$ is either meager or a Baire space.
Does anyone have any suggestions to demonstrate Proposition 1?
I was ...
- 551
5
votes
0
answers
167
views
Can maximal filters of nowhere meager subsets of Cantor space be countably complete?
Let $X$ denote Cantor space. A subset $A\subseteq X$ is nowhere meager if for every non-empty open $U\subseteq X$, we have $A\cap U$ non-meager. We call $\mathcal{F}\subseteq \mathcal{P}(X)$ a maximal ...
- 369
3
votes
1
answer
163
views
A Borel perfectly everywhere dominating family of functions
Is there a Borel function $f:2^\omega\to\omega^\omega$ such that for every nonempty closed perfect set $P\subseteq 2^\omega$, $f|P$ is a dominating family of functions in $\omega^\omega$?
This is a ...
- 2,971
1
vote
2
answers
239
views
A Borel perfectly everywhere surjective function on the Cantor set
Does there exist a Borel (or even continuous) function $f:\mathcal{C}\to\mathcal{C}$, where $\mathcal{C}$ is the Cantor set (or Cantor space $2^\omega$) such that for every nonempty closed perfect set ...
- 2,971
1
vote
0
answers
152
views
$f:Y\to X$ continuous with $f^{-1}(x)$ compact for $x\in X$, does there exist a Borel measurable map $g:X\to Y$?
Let $X,Y$ be Polish, metric spaces. $f:Y\to X$ is a continuous, surjective map and for any $x\in X$, $f^{-1}(x)\subset Y$ is compact. Is it true that there is a injective, Borel measurable map $g:X \...
4
votes
1
answer
670
views
Is every element of $\omega_1$ the rank of some Borel set?
It is well known that we can obtain the $\sigma$-algebra of Borel subsets of $2^{\omega}$ in the following way: Let $B_0$ be the collection of all open subsets of $2^{\omega}$. For $\alpha=\beta+1$, ...
- 1,110
1
vote
1
answer
237
views
Borel hierarchy and tail sets
Let $A$ be a finite set, and let $A^\infty$ be the set of all sequences $(a_n)_{n=1}^\infty$ of elements of $A$.
A set $B \subseteq A^\infty$ is a tail set if for every two sequences $\vec a, \vec b \...
- 705
22
votes
1
answer
714
views
Undetermined Banach-Mazur games in ZF?
This question was previously asked and bountied on MSE, with no response. This MO question is related, but is also unanswered and the comments do not appear to address this question.
Given a ...
- 19k
10
votes
2
answers
342
views
Source on smooth equivalence relations under continuous reducibility?
This question was asked and bountied at MSE, but received no answer.
In the context of Borel reducibility, smooth equivalence relations (see the introduction of this paper) are rather boring since ...
- 19k
3
votes
0
answers
208
views
Nowhere Baire spaces
Studying the article "Barely Baire spaces" of W. Fleissner and K. Kunen, using stationary sets, they show an example of a Baire space whose square is nowhere Baire (we call a space $X$ nowhere Baire ...
- 551
3
votes
1
answer
209
views
Product of Bernstein sets
Remember that a Bernstein set is a set
$B\subseteq \mathbb{R}$ with the property that for any uncountable closed set, $S$, in the real line both
$B\cap S$ and $(\mathbb{R}\setminus B)\cap S$ are non-...
- 551
4
votes
1
answer
391
views
Is there a universally meager air space?
Let $\mathcal P$ be a family of nonempty subsets of a topological space $X$. A subset $D\subset X$ is called $\mathcal P$-generic if for any $P\in\mathcal P$ the intersection $P\cap D$ is not empty.
A ...
- 40.2k
4
votes
0
answers
103
views
Borel selections of usco maps on metrizable compacta
The problem posed below is motivated by this problem of Chris Heunen and in fact is its reformulation in the language of usco maps. Let us recal that an usco map is an upper semicontinuous compact-...
- 40.2k
8
votes
1
answer
389
views
Complexity of the set of closed subsets of an analytic set
Let $X$ be a compact Polish space and $K(X)$ the hyperspace of closed subspaces of $X$ with the Vietoris/Hausdorff metric topology.
Question: If $A$ is an analytic subset of $X$, what is the ...
- 2,971
4
votes
1
answer
217
views
K-analytic spaces whose any compact subset is countable
A regular topological space $X$ is called
$\bullet$ analytic if $X$ is a continuous image of a Polish space;
$\bullet$ $K$-analytic if $X$ is the image of a Polish space $P$ under an upper ...
- 40.2k
9
votes
2
answers
459
views
Small uncountable cardinals related to $\sigma$-continuity
A function $f:X\to Y$ is defined to be
$\sigma$-continuous (resp. $\bar \sigma$-continuous) if there exists a countable (closed) cover $\mathcal C$ of $X$ such that the restriction $f{\restriction}C$ ...
- 40.2k
2
votes
0
answers
99
views
A Baire space with meager projections
Question. Is there a Baire subspace $X$ of a Tychonoff power $M^\kappa$ of some separable metrizable space $M$ such that for any countable subset $A\subset \kappa$ the projection $$X_A=\{x{\...
- 40.2k
8
votes
1
answer
557
views
Is a Borel image of a Polish space analytic?
A topological space $X$ is called analytic if it is a continuous image of a Polish space, i.e., the image of a Polish space $P$ under a continuous surjective map $f:P\to X$.
We say that a topological ...
- 40.2k
5
votes
1
answer
514
views
Base zero-dimensional spaces
Definition. A zero-dimensional topological space $X$ is called base zero-dimensional if for any base $\mathcal B$ of the topology that consists of closed-and-open sets in $X$, any open cover $\mathcal ...
- 40.2k
4
votes
0
answers
120
views
Completely I-non-measurable unions in Polish spaces
Problem. Let $X$ be a Polish space, $\mathcal I$ be a $\sigma$-ideal with Borel base, and $\mathcal A\subset\mathcal I$ be a point-finite cover of $X$. Is it true that $\mathcal A$ conatins a ...
- 4,395
7
votes
1
answer
279
views
Can we inductively define Wadge-well-foundedness?
For a topological space $X$ (which I'll identify with its underlying set of points), we define the Wadge preorder $Wadge(X)$: elements of the preorder are subsets of $X$, and the ordering is given by $...
- 19k
8
votes
2
answers
1k
views
When does an "$\mathbb{R}$-generated" space have a short description?
The following is a more focused version of the original question; see the edit history if interested. In the original version of the question, five other variants of the "simplicity" ...
- 19k
3
votes
1
answer
117
views
Nice representation of open sets in $\sigma$-algebras in certain circumstances
Let $(X,\tau)$ be a topological space. For a given topological base $\mathcal{E}$ for $\tau$, let us denote Bor$(\mathcal{E})$, by the smallest $\sigma$-algebra containing $\mathcal{E}$.
Q. Assume ...
- 3,898
4
votes
1
answer
111
views
Nice arrangement of open sets in $\sigma$-algebras
Let $X$ be a topological space and $\mathcal{E}$ be a topological base for $X$. Let us denote Bor$(\mathcal{E})$, by the smallest $\sigma$-algebra containing $\mathcal{E}$.
Q. Let $O$ be an open ...
- 3,898
3
votes
1
answer
267
views
Example of a Baire Class $1$ function $f$ satisfying $\omega\cdot n<\beta(f)\leq \omega\cdot (n+1)$ for some natural number $n\geq 1.$
Definitions: Let $X$ be a Polish space (separable completely metrizable topological space).
A function $f:X\to\mathbb{R}$ is Baire Class $1$ if it is a pointwlise limit of a sequence of continuous ...
- 603
9
votes
1
answer
642
views
Examples of Baire Class $\xi+1$ but not $\xi$ functions for each countable ordinal $\xi.$
We say that $f:\mathbb{R}\to\mathbb{R}$ is of Baire Class $1$ if it is a pointwise limit of a sequence of continuous functions.
One can generalize the definition above by taking pointwise limit of ...
- 603