All Questions
Tagged with set-theory gn.general-topology
433 questions
6
votes
1
answer
191
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 ...
- 41.9k
6
votes
1
answer
216
views
Can There be Rudin-Keisler Immediate Sucessors?
There are several well-studied orderings on the set $\omega^*$ of ultrafilters on the natural numbers. Three popular ones are $\le_i$ for $i = 1,2,3$. We define $\mathcal U \le_i \mathcal V$ to mean ...
- 1,955
6
votes
0
answers
255
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,286
6
votes
0
answers
210
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,286
6
votes
0
answers
163
views
Free sequences and the cardinality of a topological space
One way of formulating Arhangel'skii's celebrated theorem about the cardinality of Lindelof first-countable spaces is the following (due to Arhangel'skii and Shapirovskii). For every Hausdorff space $...
- 4,413
6
votes
0
answers
168
views
On the cellularity of the $G_\delta$-topology
Given a topological space $X$, let $X_\delta$ be the topology on $X$ generated by the $G_\delta$ subsets of $X$. Let $c(X)$ be the cellularity of $X$, that is, the supremum of cardinalities of ...
- 4,413
6
votes
0
answers
204
views
Spaces where the Banach-Mazur game is undetermined
Let $X$ be a non-empty topological space. The Banach-Mazur game on $X$, $\textsf{BM}(X)$, is played as follows: Players I
and II play an inning per positive integer. In the $n$-th inning Player I ...
- 561
6
votes
0
answers
155
views
Is there a Lindelof $P$-space which is not discretely generated?
A space $X$ is:
Lindelof if every open cover for $X$ has a countable subcover.
A $P$-space if every $G_\delta$ subset of $X$ is open.
Discretely generated if for every non-closed set $A \subset X$ ...
- 4,413
6
votes
0
answers
151
views
Countably compact non-compact perfect spaces
Recall that a space is countably compact if every infinite set has an accumulation point. A space is perfect if every closed set is a countable intersection of open sets. One of the classical ...
- 4,413
6
votes
0
answers
180
views
The Fubini property of the $\sigma$-ideal generated by closed subsets of measure zero
Question. Can a Borel subset $B\subset\mathbb R\times \mathbb R$ be covered by countably many closed sets of measure zero in the plane if for every $(a,b)\in\mathbb R\times\mathbb R$ the horisontal ...
- 41.9k
6
votes
0
answers
105
views
Large discrete subspaces in spaces of separately continuous functions
For topological spaces $X,Y,Z$ let $SC_p(X\times Y,Z)$ be the space of separately continuous functions $f:X\times Y\to Z$ endowed with the topology of pointwise convergence.
It is easy to see that ...
- 41.9k
6
votes
0
answers
561
views
Continuous images of Cantor cubes
The original title of this question was "Is there only one (up to homeomorphism) zero-dimensional homogeneous dyadic space of weight $\mathfrak{c}$?". I changed it with the hope of getting a bit more ...
- 11.5k
5
votes
4
answers
753
views
Questions about existence of injections between infinite sets and the sets of all infinite topologies on them
1) If $X$ is an infinite set and $T_X$ the set of all infinite topologies on $X$ is it in general true that there is no injection $f_T:T_X \to X$?
2) What conditions on $X$ assure an injection (if ...
user153451
5
votes
2
answers
1k
views
Improvements of the Baire Category Theorem under (not CH)?
The Baire category theorem implies that a nonempty complete metric space without isolated points must be uncountable. In many situations I have encountered, the "natural examples" of ...
- 65.4k
5
votes
3
answers
584
views
The size of Lindelof space
Question. Suppose that $X$ is a Lindelof space such
that every point of $X$ is a $G_{\delta}$-point. Then is it true that $|X| ≤ 2^{\omega}$?
user74542
5
votes
2
answers
655
views
$C^n$ And Forcing: Reading a Recent Paper By Kunen
While reading a recent paper by Kunen arxiv.org/abs/0912.3733, which deals with PFA and the existence of certain differentiable functions, (defined on all of $\mathbb{R}$) which map certain $\aleph_1$-...
- 1,615
5
votes
2
answers
247
views
Definability properties of box-open subsets of Polish space
Let $X$ be a perfect Polish space $X$, so that $X^\omega$ is also a Polish space under the product topology. Call a subset $\mathcal{X} \subseteq X^\omega$ box-open if it is an open subset of $X^\...
- 1,412
5
votes
2
answers
528
views
Cardinality of a set of countable connected Hausdorff spaces
It is a non-trivial result that there is a countable connected Hausdorff space.
Let ${\cal T}$ be a set of connected Hausdorff topologies on $\omega$ such that whenever $\tau_1\neq\tau_2\in {\cal T}$ ...
- 48.9k
5
votes
2
answers
444
views
non-Borel set which intersects every compact in a Borel set
I remember hearing some time ago that there is a locally compact Hausdorff space $X$ and a non-Borel subset $E$ which intersects every compact set in a Borel set. (This would contradict Lemma 13.9 of ...
- 1,704
5
votes
1
answer
206
views
"König's theorem" for $T_2$-spaces?
For any topological space $(X,\tau)$ we define a matching to be a collection of non-empty and pairwise disjoint open sets. We define the matching number $\nu(X,\tau)$ to be the smallest cardinal $\...
- 48.9k
5
votes
1
answer
183
views
What is the extent of a $\Sigma$-product of a (uncountable) power of a (countable) discrete space?
Recall that a $\Sigma$-product of a family of spaces $\{X_s:s\in S\}$ with a base point $a=(a_s)\in \prod_{s\in S} X_s$ is the subspace $$\Sigma(a)=\{x\in \prod_{s\in S} X_s: |\{s\in S:a_s\neq x_s\}|\...
- 308
5
votes
2
answers
188
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) ...
- 674
5
votes
1
answer
287
views
Is each compactification of $\mathbb N$ soft?
Definition. A compactification $c\mathbb N$ of the countable discrete space $\mathbb N$ is defined to be soft if for any disjoint sets $A,B\subset\mathbb N\subset c\mathbb N$ with $\bar A\cap\bar B\ne\...
- 41.9k
5
votes
1
answer
385
views
Cardinality of connected Hausdorff topologies
Let $X$ be an infinite set and let $C(X)$ denote the collection of connected Hausdorff topologies on $X$. Suppose $N\subseteq C(X)$ has the property that whenever $\tau\neq\sigma \in N$ then $(X,\tau)$...
- 48.9k
5
votes
1
answer
600
views
When is the generalized Cantor space $\kappa$-compact?
My M.Sc. student has the following question, that I assume has an answer in the literature, and we are looking for references.
The generalized Cantor space is the space $2^\kappa$, with basic open ...
- 3,104
5
votes
1
answer
370
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 ...
- 1,101
5
votes
2
answers
315
views
Self-homeomorphism of Stone-Čech boundary with an isolated fixed point
$\DeclareMathOperator\bso{\beta^*\!\omega}\DeclareMathOperator\Homeo{Homeo}$Let $\bso$ be the complement of the countable discrete space $\omega$ in its Stone-Čech compactification $\beta\omega$ (some ...
- 63.9k
5
votes
1
answer
2k
views
Nice partition of $\mathbb{R}$ into uncountably many uncountable sets
A recent issue of American Math. Monthly has a paper that partitions
$\mathbb{R}$ into an arbitrary finite number of uncountable sets such
that every real number is a condensation point of all the ...
- 50.8k
5
votes
2
answers
215
views
A result on spaces with countable pseudocharacter and countable tightness
There is a statement as follows:
If a Hausdorff (regular, Tychonoff) space $X$ has countable pseudocharacter and countable tightness, then the closure of any set $Y\subset X$ of cardinality $\le \...
- 621
5
votes
2
answers
326
views
Countable partitions of Cantor space mod meager
Let $I$ be an index set. Given $A\subseteq I\times 2^\omega$ and $i\in I$, set $(A)_i = \{x\in 2^\omega: (i, x)\in A\}$.
Now let $I\times 2^\omega = \bigcup_{n<\omega} A_n$. How large must $I$ be ...
- 369
5
votes
1
answer
198
views
The cardinal characteristic $\mathfrak r_{(X,f)}$ of a dynamical system
I am interested in a "dynamical" modification of the cardinals $\mathfrak r$ and $\mathfrak r_\sigma$, well-known in the theory of cardinal characteristics of the continuum.
For a compact ...
- 41.9k
5
votes
1
answer
649
views
Showing a filter with a certain property on the power set of $\mathbb{Z}$ is a one point filter
Let $\mathcal{P}_0(X)$ the Power set of $X$ without the empty set and let $\dot{x}:=\{A\subseteq X: x \in A\}$ the one point filter generated by $x$. Furthermore let $$ \mathcal{A} := \{ f \in X^{\...
5
votes
1
answer
217
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 ...
- 1,097
5
votes
1
answer
524
views
A topologically transitive dynamical system without dense orbits
By a dynamical system I understand a pair $(K,G)$ consisting a compact Hausdorff space and a subgroup $G$ of the homeomorphism group of $K$.
We say that a dynamical system $(K,G)$
$\bullet$ is ...
- 41.9k
5
votes
1
answer
523
views
Injections to binary sequences that preserve order
Suppose we have a countable set S with a total order. Can we give an injection from S to the set of finite binary sequences that end in all zeros that preserves the ordering? The order on binary ...
- 493
5
votes
1
answer
371
views
A problem of non-emptiness of intersections of certain chains of regular open sets
Let $X$ be a topological space and $\mathrm{RO}(X)$ its complete boolean algebra of regular opens. Define well inside relation: $$U\prec V\iff\overline{U}\subseteq V.$$ Let $\mathcal C\subseteq\mathrm{...
- 1,112
5
votes
1
answer
227
views
How many disjoint compact sets are needed to form a connected compactum?
Let's assume all spaces are metrizable. For each connected compact space $X$ let $\mathscr K(X)$ be the set of all partitions of $X$ into non-empty compact sets, excluding the trivial partition $\{X\}...
- 3,317
5
votes
1
answer
311
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
5
votes
1
answer
341
views
Is each cosmic space cometrizable?
A regular topological space $X$ is called
$\bullet$ cosmic if $X$ is a continuous image of a separable metrizable space;
$\bullet$ cometrizable if $X$ admits a weaker metrizable topology such that ...
- 41.9k
5
votes
1
answer
419
views
When is there an unbounded tower in $[\mathbb{N}]^\infty$?
(Edit: I'm splitting the question, leaving here only what is answered by Ashutosh, and moving the rest to another question.)
This question assumes familiarity with combinatorial cardinal ...
- 3,104
5
votes
1
answer
155
views
Can the Boolean group $C_2^\omega$ be covered by less than $\mathfrak b$ nowhere dense subgroups?
Let $\mathrm{cov}_H(C_2^\omega)$ be the smallest cardinality of a cover of the Boolean group $C_2^\omega=(\mathbb Z/2\mathbb Z)^\omega$ by closed subgroups of infinite index. It can be shown that
$$\...
- 41.9k
5
votes
1
answer
528
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 ...
- 41.9k
5
votes
1
answer
223
views
A realcompact analogue of the Baire category theorem
Let $\frak{m}$ be the least measurable cardinal. A space $X$ is realcompact if it is homeomorphic to a closed subset of some product $\mathbb{R}^I$. Let $X$ be realcompact with $P_\frak{m}$ topology, ...
- 3,041
5
votes
1
answer
609
views
Banach-Mazur game and infinite products
Studying the article "Games that involve set theory or topology" of Marion Scheepers, I found the following result
Theorem 46 Let $\{(X_{i}, \tau_{i}) : i\in I \}$ be a family of topological spaces. ...
- 561
5
votes
1
answer
363
views
all subsets borel
Assume Martin's axiom plus $\neg CH$. It is well known, via almost disjoint forcing, that every set of reals of size less than continuum is an example of a metric space whose subsets are all ...
- 51
5
votes
0
answers
131
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 $...
- 63.9k
5
votes
0
answers
177
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 $...
- 2,206
5
votes
0
answers
231
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-...
- 16.4k
5
votes
0
answers
170
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
5
votes
0
answers
143
views
Two cardinal characteristics of the continuum, related to the Bohr topology on integers
For a subset $A\subseteq\mathbb T$ of the unit circle $\mathbb T=\{z\in\mathbb C:|z|=1\}$, let $\tau_A$ be the smallest topology on the additive group of integers $\mathbb Z$ such that for every $z\in ...
- 41.9k