All Questions
Tagged with gn.general-topology set-theory
425
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
10
votes
0
answers
144
views
Can the nowhere dense sets be more complicated than the meager sets?
Suppose $X$ is a completely metrizable space with no isolated points. Let $\mathcal{ND}_X$ denote the ideal of nowhere dense subsets of $X$, and let $\mathcal{M}_X$ denote the ideal of meager subsets ...
- 17.1k
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
4
votes
0
answers
138
views
Two other variants of Arhangel'skii's Problem
This question is a follow up to another question of mine, which turned out to be easy (for background on Arhangel'skii's Problem see Arhangel'skii's problem revisited). Recall that a space is ...
- 4,283
3
votes
0
answers
219
views
"weakly functorial resolution" of quasi-compact T_1 topological space by quasi-compact Hausdorff space
I have an arguably weird question: Let $X$ be a quasi-compact $T_1$ topological space, could there be a construction that takes such an $X$ as input and outputs a surjection
$$X' \to X$$
with the ...
- 619
5
votes
0
answers
122
views
Is the opposite of the category of $\kappa$-Lindelöf Hausdorff spaces locally presentable?
Gelfand duality tells us that the category of compact Hausdorff spaces (with continuous maps as morphisms) is contravariantly equivalent to the category of commutative, unital $C^\ast$-algebras (with $...
- 59k
10
votes
0
answers
229
views
Arhangel'skii's problem revisited
One of the most well-known problems in set-theoretic topology is Arhangel'skii's question of whether there exists a Lindelöf Hausdorff space with "points $G_\delta$" (meaning, every point is ...
- 4,283
9
votes
1
answer
420
views
Is "All hyperreal fields $C(\mathbb{R})/M$ are isomorphic" independent of ZFC+$\lnot$CH?
We work in ZFC.
Let $C(X)$ be the ring of continuous functions $f:X\to\mathbb{R}$, and $M$ a maximal ideal. We call $C(X)/M$ a hyperreal field if it's not isomorphic to $\mathbb{R}$.
A field $E$ is ...
- 635
14
votes
1
answer
411
views
Topology and pcf theory
$\DeclareMathOperator\pcf{pcf}$For simplicity say $\aleph_\omega$ is a strong limit. Let $A=\pcf\{\aleph_n:n\in\omega\}$. Then it follows from basic properties of pcf operation that $X\subseteq A\...
- 405
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
2
votes
0
answers
88
views
Can this order relation, defined in terms of all topological spaces, be defined in terms of the reals alone?
Let $K$ be the operator monoid under composition of Kuratowski's $14$ set operators generated by topological closure $k$ and complement $c.$ Kuratowski's 1922 paper gives the poset diagram of the ...
- 830
5
votes
0
answers
146
views
Do closed subsets of the generalised Cantor space have an analogue of the perfect set property?
For a regular uncountable cardinal $\kappa$, consider $2^\kappa$ with the "less than box topology" (tree topology? Easton/Bounded support topology?) in which basic open sets are of the form $...
- 1,169
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
2
votes
0
answers
138
views
Do Grothendieck topoi with enough points satisfy the fan theorem internally?
Fourman and Hylland proved in the 80s that all spatial topoi satisfy the full fan theorem internally, while there are examples of localic topoi that do not satisfy it.
This leads one to conjecture a ...
- 1,803
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
10
votes
1
answer
437
views
An incomplete characterisation of the Euclidean line?
We say that a metric space $(X, d)$ is a Banakh space if for every $\rho \in \mathbb{R}_{> 0}$ and every $x \in X$, there are
$a,b \in X$ such that $\{y \in X \, \vert \, d(x, y) = \rho\} = \{a, b\}...
- 7,283
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
1
vote
0
answers
67
views
A ZFC example of a star-$K$-Menger space which is not star-$K$-Hurewicz
An open cover $\mathcal U$ of a space $X$ is said to be $\gamma$-cover if $\mathcal U$ is infinite and for each $x\in X$, the set $\{U\in\mathcal U : x\notin U\}$ is finite.
A space $X$ is said to be ...
- 455
6
votes
1
answer
247
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 $...
- 455
5
votes
1
answer
241
views
Infinite tensor/Fubini product of ultrafilters
Given an infinite family $\{\mathcal{F}_{\lambda}$, $\lambda <\kappa\}$, $\kappa \geq \omega_0$, of (ultra)filters of a set $X$, how it is defined the infinite tensor/Fubini product $$\bigotimes_{\...
- 53
3
votes
0
answers
111
views
Hereditarily Lindelöf spaces with density continuum
Since there are L-spaces (provably in ZFC), under CH we have regular, hereditarily Lindelöf spaces with density continuum. However, I cannot find an example of such a space under not CH, nor a proof ...
- 31
3
votes
1
answer
126
views
Characterization of the Scheepers property by Scheepers game
$\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 $...
- 455
2
votes
0
answers
97
views
Closed images of linearly ordered spaces
Is there a description of the class of continuous closed images of linearly ordered spaces?
- 103
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
14
votes
1
answer
250
views
Is there a countably infinite closed interval in the lattice of topologies?
Is there an interval of the form $[\sigma,\tau]$ in the lattice of topologies on some set $X$ such that $|[\sigma,\tau]| = \aleph_0$?
In other words, do there exist two topologies $\sigma$ and $\tau$ ...
- 17.1k
14
votes
1
answer
549
views
How “disconnected” can a continuum be?
A continuum is a compact connected metrizable topological space.
Given a cardinal $\kappa$, a topological space $X$ is called $\kappa$-connected if it is not possible to write $X$ as the disjoint ...
- 2,672
3
votes
0
answers
164
views
What is the name of the class of topological spaces with the following property ....?
What is the name of the class of topological spaces with the following property $P$ ?
$X\in P$ iff for any open set $W$ in $X$ and any point $x\in \overline{W}\setminus W$ there is an open set $V$ ...
- 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
5
votes
0
answers
223
views
Does Tychonov's theorem directly imply Zorn's lemma?
This question was formerly posted on MSE https://math.stackexchange.com/questions/4578923/ without getting an answer.
I know that Tychonov's theorem, Zorn's lemma, the axiom of choice, the well-...
- 15.3k
5
votes
1
answer
194
views
How many pairwise non-homeomorphic non-empty closed subsets of the Cantor set are there? [duplicate]
My question is more or less related to basic set theory. But I don't know even that. Apologies if I added the wrong tags.
Motivation: How many non-compact (planar) surfaces are there upto ...
- 875
7
votes
1
answer
413
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 \...
- 622
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
6
votes
1
answer
186
views
Steinhaus number of a group
$\newcommand\Sn{\mathit{Sn}}$A subset $A$ of a group $X$ is called algebraic if $A=\{x\in X: a_0xa_1x\dotsm xa_n=1\}$ for some elements $a_0,a_1,\dotsc,a_n\in X$.
Let $\mathcal A_X$ be the family of ...
- 40.2k
4
votes
0
answers
137
views
Consistency of a strange (choice-wise) set of reals, pt. 2
This is a follow-up on this question. Consider a set $X\subseteq \mathbb{R}$ such that
$X$ is not separable wrt its subspace topology
Every countable family of non-empty pairwise disjoint subsets of $...
- 2,042
0
votes
1
answer
164
views
What does mean by "$\omega +1$ is convergent sequence"? [closed]
Let $X=\omega +1$ be convergent sequence. Then what does mean by "$X$ is convergent sequence"?
- 455
7
votes
0
answers
137
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 ...
- 40.2k
7
votes
2
answers
702
views
Consistency of a strange (choice-wise) set of reals
Consider a set $X\subseteq \mathbb{R}$ such that
$X$ is not separable wrt its subspace topology
For all $r\in\mathbb{R}$ there exists a sequence $(x_n)_{n\in\omega} \subset X$ converging to $r$
In a ...
- 2,042
12
votes
1
answer
622
views
Ultrafilter subtraction and "zero"
This is related to a couple recent MO/MSE questions of mine, namely 1,2. Belatedly, I've tweaked this post to remove an overly-ambitious secondary question; see the edit history if interested.
Let $\...
- 19k
4
votes
0
answers
113
views
Dimension properties of some concrete hereditarily disconnected subspaces of the Hilbert cube
This question was motivated by this MO-question asking about the example of a hereditarily disconnected metrizable separable space, which is not the union of countably many totally disconnected ...
- 40.2k
19
votes
0
answers
553
views
What algebraic properties are preserved by $\mathbb{N}\leadsto\beta\mathbb{N}$?
Given a binary operation $\star$ on $\mathbb{N}$, we can naturally extend $\star$ to a semicontinuous operation $\widehat{\star}$ on the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ as ...
- 19k
4
votes
0
answers
326
views
Is this result of Hajnal and Juhász correct?
I am having some trouble with the following result presented here:
Obviously I'm missing something, but I think from that result it could be shown that if $X$ is an infinite topological space, then $...
- 622
5
votes
2
answers
177
views
$|\mathsf{RO}(X)|$ vs. $2^{d(X)}$ for $T_3$ spaces
Let $\mathsf{RO}(X)$ stand for the collection of regular open subsets of a topological space $X$ and let $d(X)$ be its density. It is well-known (see Theorem~3.3 of Hodel's chapter in the Handbook) ...
- 622
1
vote
0
answers
83
views
Terminology for the property: "Each uncountable disjoint open family is locally countable"
Suppose that a topological space $X$ satisfies the following property
(P): "Each uncountable disjoint open family is locally countable",
where a family $\mathcal U$ of subsets of $X$ is ...
- 455
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
4
votes
1
answer
230
views
Product topology from two premetric spaces induced by sum of premetrics?
For metric spaces $(M_1, d_1)$ and $(M_2, d_2)$, it is an exercise that the product topology on $M_1\times M_2$ is induced by the metric $d((x_1, y_1), (x_2, y_2)) =d_1(x_1, x_2) + d_2(y_1, y_2)$.
Do ...
- 411