All Questions
Tagged with set-theory gn.general-topology
433 questions
7
votes
1
answer
185
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 ...
- 3,115
7
votes
1
answer
199
views
Scattered hereditarily separable does not imply countable in ZFC
Recall that a topological space $X$ is scattered if and only if every non-empty subset $Y$ of $X$ contains at least one point which is isolated in $Y$. Consider the statement: "Every scattered ...
- 674
7
votes
1
answer
397
views
A set theoretic question arising from trying to understand a sheaf cohomology question
I'm trying to understand the footnote to Example 5.3 in Wiegand - Sheaf cohomology of locally compact totally disconnected spaces which is about constructing a locally compact Hausdorff and totally ...
- 38.6k
7
votes
1
answer
2k
views
Universally measurable sets and weak topology
After I posted this question, a couple of months ago, and got from MO-users several
good hints, I think i'm ready, after some study, to ask another related question (or rather, to focus on the main ...
user11618
7
votes
1
answer
385
views
Partitioning $\beta \mathbb{Z} \setminus \mathbb{Z}$
Take the integers $\mathbb{Z}$ and the addition
\begin{align*}
+: \mathbb{Z} \times \mathbb{Z} &\to \mathbb{Z}
\\
(a,b) &\mapsto a+b.
\end{align*}
Using the Stone-Čech compactification $...
- 568
7
votes
1
answer
230
views
Embeddability into $\beta\omega$ and $\omega^*$
It is well known that under CH every totally-disconnected compact F-space of weight at most $\omega_1$ can be embedded into the remainder $\omega^*=\beta\omega\setminus\omega$ of the Cech-Stone ...
- 1,151
7
votes
1
answer
389
views
References for higher descriptive set theory surveys
A student of Adi Jarden and mine attempts at generalizing results on selection principles from the Baire space $\omega^\omega$ to the higher Baire space $\kappa^\kappa$ ($\kappa$ uncountable), and ...
- 3,104
7
votes
1
answer
254
views
What's the minimal weight of a maximal space?
A non-empty topological space without isolated points is called maximal if every finer topology on that space has at least an isolated point. The existence of a (Hausdorff) maximal space is a simple ...
- 4,413
7
votes
1
answer
209
views
Are σ-sets preserved by Borel isomorphisms?
Recall that a $\sigma$-space is a topological space such that every $F_{\sigma}$-set is $G_{\delta}$-set.
$X$ - $\sigma$-set, if $X$ is a $\sigma$-space and it is subset of real line $R$.
Let $F$ ...
- 1,101
7
votes
1
answer
207
views
The square of a ccc topological group
Jensen proved that under $\Diamond$ there is a homogeneous Suslin continuum, so the square of a ccc homogeneous space can fail to be ccc. What about ccc topological groups?
Is there a ccc ...
- 4,413
7
votes
1
answer
366
views
The diamond principle for functors
Let $F:\mathbf{Comp}\to\mathbf{Set}$ be a continuous functor from the category of compact Hausdorff spaces to the category of sets such that $|Fn|\le\mathfrak c$ for any finite ordinal $n$. The ...
- 41.9k
7
votes
1
answer
296
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 $...
- 20.5k
7
votes
1
answer
236
views
Does a continuous map from $\kappa^\omega$ to $[0,1]^\omega$ have a non-scattered fiber?
Question. Let $\kappa>\mathfrak c$ be a cardinal endowed with the discrete topology and $f:\kappa^\omega\to[0,1]^\omega$ be a continuous map. Is there a point $y\in[0,1]^\omega$ whose preimage $f^{-...
- 41.9k
7
votes
1
answer
429
views
$\Sigma_*$-product is not $\sigma$-countably compact
In Arhangel'skii's book "Topological function spaces" there is a part where the author uses that, if $\kappa>\omega$ is a cardinal number, then the space $$\Sigma_*(\kappa):=\left\{x\in \...
- 674
7
votes
1
answer
374
views
Is each $G_\delta$-measurable map $\sigma$-continuous?
Definition. A function $f:X\to Y$ between topological spaces is called
$\bullet$ $G_\delta$-measurable if for each open set $U\subset Y$ the preimage $f^{-1}(U)$ is of type $G_\delta$ in $X$;
$\...
- 41.9k
7
votes
1
answer
432
views
Existence of a specific mad family
Preliminaries:
Let $[\omega]^{\omega}$ be the set of all infinite subsets of $\omega$, the first countable ordinal (the set of the natural numbers).
We say that $\mathcal A\subset [\omega]^{\omega}$...
user46747
7
votes
0
answers
349
views
An open set which is not the union of a closed set and a countable set
The following fact is probably a known result:
Fact. Let $X$ be an uncountable Polish space. Then there exists an open subset of $X$ which is not the union of a closed set and a countable set.
Proof:...
- 1,511
7
votes
0
answers
138
views
The smallest cardinality of a cover of a group by algebraic sets
$\DeclareMathOperator\cov{cov}$A subset $A$ of a semigroup $X$ is called algebraic if $$A=\{x\in X: a_0xa_1x...xa_n=b\}$$ for some $b\in X$ and $a_0,a_1,...,a_n \in X^1=X\cup \{1\}$. The smallest ...
- 41.9k
7
votes
0
answers
221
views
adding one point from the Stone-Cech compactification
Let $X$ be any non-compact Tychonoff space and $\beta X$ be its Stone-Čech compactification.
The following fact is known: any point $p$ from the reminder $\beta X \setminus X$ is not a $G_{\delta}$-...
- 71
7
votes
0
answers
369
views
Baire category of tall ideals
Problem. Is it consistent with ZFC that $\mathfrak t=\omega_1$ and each $\omega_1$-generated tall $P$-ideal is of the second Baire category?
(Asked 01.10.2016 by David Chodounsky at page 20 of Volume ...
- 4,535
7
votes
0
answers
171
views
Are there always large discrete families of normal measures?
Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...
- 2,389
7
votes
0
answers
266
views
Remote points in $\beta X$
It is known that in general convergence by sequences is not enough to account for all points in $\beta X \setminus X$, where $\beta X$ refers to the Stone-Cech compactification of a topological space $...
- 79
7
votes
0
answers
466
views
Closure properties of familes of $G_\delta$ sets.
Given a family of sets $G\subset P(X)$, can one characterize by "closure properties" alone whether or not $G$ arises as the family of all $G_\delta$ for some topology on $X$? some Polish space ...
- 17.6k
6
votes
6
answers
487
views
If $(X,\tau)$ has more than $1$ point and is $T_2$ and connected, do we have $|X| =|\tau|$?
If $(X,\tau)$ has more than $1$ point and is $T_2$ and connected, do we necessarily have $|X| =|\tau|$?
- 48.9k
6
votes
4
answers
473
views
Periodic point-free maps and free ultrafilters.
Let $X$ be a set and $u$ be a free ultrafilter on $X$. We can consider a topology on $X$ by declaring every element of $u \cup \{\emptyset \}$ to be open.
El'kin's original motivation for looking at ...
- 4,413
6
votes
3
answers
281
views
Well-ordering with a topological property
Assuming the axiom of choice, is there a well-ordering of the reals such that every initial segment is closed for the usual topology? If the continuum hypothesis helps, we can also assume it.
An ...
- 1,341
6
votes
2
answers
303
views
Is there a set $S\subseteq [0,1]$ with $|S|=2^{\aleph_0}$ and distinct pairwise distances?
Short version of question. Is there a set $S\subseteq [0,1]$ with $|S|=2^{\aleph_0}$ such that all points of $S$ have distinct pairwise distances?
Formal version of question. If $X$ is a set, let $[X]...
- 48.9k
6
votes
3
answers
1k
views
Borel cross section
It is known from metric space topology that a closed equivalence relation on a Polish space has either countably many or $\mathfrak{c}$ many equivalence classes.
A short elementary proof is given in ...
- 1,704
6
votes
3
answers
472
views
Spaces with unique endomorphism monoids
If $(X,\tau)$ is a topological space, let $\text{End}(X)$ denote the collection of all continuous maps $f: X\to X$. With composition, this becomes the endomorphism monoid $(\text{End}(X), \circ)$.
We ...
- 48.9k
6
votes
3
answers
655
views
When does the generalized Cantor space embed in a $\kappa$-compact space
The generalized Cantor space is the space $2^\kappa$, with basic open sets
$$
[\sigma] := \{f\in 2^\kappa : \sigma\subseteq f\},
$$
for $\sigma\in 2^{<\kappa}$.
A space is $\kappa$-compact if ...
- 3,104
6
votes
2
answers
257
views
Borel functions on $\omega_1$
Endow $\omega_1$ with order topology. It is easy to show that each continuous function $f\colon \omega_1\to \mathbb{R}$ is eventually constant. Is the same true for Borel functions?
- 61
6
votes
1
answer
772
views
A ridiculous combinatorial cardinal characteristic of the continuum?
This question assumes familiarity with combinatorial cardinal characteristics of the continuum. It is abstracted out of a question in a joint research with Jialiang He. I hope we've got the ...
- 3,104
6
votes
1
answer
149
views
Is there a Bernstein subset $X$ of $\mathbb{R}$ such that no continuous map $f : X → [0,1]$ is surjective?
Is there a Bernstein subset $X$ of $\mathbb{R}$ such that no continuous map $f : X → [0,1]$ is surjective ?
- 1,101
6
votes
2
answers
1k
views
Foundational results dependent on/equivalent to the continuum hypothesis or its negation?
I remember at a certain point early in my mathematical studies learning that the Axiom of Choice is equivalent to the following statement on Cartesian products:
If $\{ X_i \}_{i \in I}$ is any ...
- 263
6
votes
1
answer
546
views
Extension of Baire's Theorem
Let $X$ be a topological space, $\kappa$ be a cardinal number, such that there exists a dense subset $A\subseteq X$ of cardinality $\kappa$ but there does not exist a dense subset $A'\subseteq X$ of ...
- 5,405
6
votes
2
answers
482
views
Complete atomless Boolean algebras with abelian automorphism group
Is there any example of a complete atomless Boolean algebra with a non-trivial abelian automorphism group?
This is equivalent, by Stone duality, to asking for an extremally disconnected compact ...
- 3,115
6
votes
2
answers
582
views
If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?
If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?
The answer is negative, and in the interests of self-contained ...
- 2,111
6
votes
1
answer
260
views
A ZFC example of a Menger space which is not Scheepers
$\Omega$: The collection of all $\omega$-covers of a space $X$. An open cover $\mathcal U$ of $X$ is said to be $\omega$-cover if $X\notin\mathcal U$ and for each finite $F\subseteq X$ there exists a $...
- 505
6
votes
1
answer
227
views
Forcing extensions where meagre sets are covered
This question fits the Generalised Baire space area. I am interested in the meagre ideal on ${}^\kappa \kappa$, with the bounded topology (or box topology), when, say, $\kappa$ is inaccessible.
To be ...
6
votes
2
answers
510
views
Gorelic's Forcing for large Lindelöf spaces with points $G_\delta$
I am trying to understand a step for proving that there exists large Hausdorff Lindelöf Spaces with points $G_\delta$ using forcing. I am following Isaac Gorelic's "The Baire Category And Forcing ...
user46747
6
votes
2
answers
492
views
Distinct, non-homeomorphic, profinite topologies on a given abstract group ?
Just a silly little question which arose in connection with infinite Galois groups and their Krull topology:- can a given abstract group be endowed with distinct, non-homeomorphic, profinite ...
6
votes
1
answer
342
views
Is each Parovichenko compact space homeomorphic to the remainder of a soft compactification of $\mathbb N$?
Definition 1. A compactification $c\mathbb N$ of the discrete space $\mathbb N$ is called soft if for any disjoint sets $A,B\subset\mathbb N$ with $\bar A\cap\bar B\ne\emptyset$ there exists a ...
- 41.9k
6
votes
1
answer
375
views
How much $\beta \mathbb{N}$ is homogenous?
Let $p,q\in \beta \mathbb{N}\setminus \mathbb{N}$. Must always the spaces $\beta \mathbb{N}\setminus \{p\}$ and $\beta \mathbb{N}\setminus \{q\}$ be homeomorphic? If no, can we for each point $p\in \...
- 143
6
votes
1
answer
205
views
Topological complexity of ultrafilters in $2^\kappa$ for uncountable $\kappa$
It is a well known fact that if $\mathcal{F}$ is a non-principal ultrafilter on $\omega$, then the set $\{ \alpha \in 2^\omega : \alpha \in \mathcal{F}\}$ (conflating binary strings with subsets of $\...
- 12.5k
6
votes
1
answer
153
views
Topologies with no minimal $T_2$ topologies above them
Let $(X,\tau)$ be a topological space. With $T_2(\tau)$ we denote the collection of $T_2$-topologies on $X$ that contain $\tau$.
Is there an example of a topology $\tau$ such that the partially ...
- 48.9k
6
votes
1
answer
634
views
Arbitrary small positive lower semi continuous functions
This question is a generalization of the question posed in this page to lower semi continuous functions. so let me describe the Question in the following way.
Def: Let $(X,\tau)$ be a Tychonoff ...
- 1,788
6
votes
1
answer
298
views
What is the height (or depth) of $[\mathbb{N}]^\infty$?
(This question assumes familiarity with combinatorial cardinal characteristics of the continnum.)
Let $[\mathbb{N}]^\infty$ be the family of infinite subsets of $\mathbb{N}$,
partially ordered by $\...
- 3,104
6
votes
1
answer
223
views
Minimal Hausdorff topologies compatible with a bunch of functions
Let $X$ be an infinite set, let ${\cal F}$ be a set of functions $f: X\to X$. We say that a topology $\tau$ is compatible with ${\cal F}$ if every $f\in {\cal F}$ is a continuous function $f:(X, \tau)\...
- 48.9k
6
votes
2
answers
309
views
The role of the index set in the product of uncountably many topological spaces
Let $\langle X_i,\mathcal{T}_i \rangle_{i\in I}$ be a family of topological spaces. Consider $X=\prod_{i\in I} X_i$ with product topology.
Question. Is there a topological property that holds in $...
- 1,872
6
votes
1
answer
335
views
Bernstein sets of large cardinality
A metrizable space $X$ will be called a generalized Bernstein set if every closed completely metrizable subspace $C$ of $X$ has cardinality $|C|<|X|$.
It is well-known that the real line contains ...
- 41.9k