All Questions
Tagged with set-theory gn.general-topology
116 questions with no upvoted or accepted answers
5
votes
0
answers
265
views
Uncountable subspaces of the real line
Definition 1. A topological space $\langle X, \tau \rangle$ is meager if $X = \bigcup_{n \in \omega}A_n$, where each $A_n$ is nowhere dense in $\langle X, \tau \rangle$.
Definition 2. A topological ...
- 115
5
votes
0
answers
132
views
Infinite connected $T_2$-space with fixed-cardinality fibers
What is an example of a connected $T_2$-space $(X,\tau)$ with $X$ infinite and the following property?
If $\alpha \leq |X|$ is a non-empty cardinal, then there is a continuous map $f:X\to X$ such ...
- 48.9k
5
votes
0
answers
237
views
Polish transversals
A subset of $X$ an indecomposable continuum $Y$ is called a composant transversal if $X$ has exactly one point from each composant of $Y$.
So a continuum has a composant transversal precisely when ...
- 3,317
5
votes
0
answers
472
views
Partitioning $\mathbb{R}^n$ into closed sets
Let $n$ be a positive integer. It is well-known that $\mathbb{R}^n$ cannot be non-trivially partitioned into open sets, since it is connected.
Let $\frak P$ be a partition of $\mathbb{R}^n$ into ...
- 48.9k
5
votes
0
answers
112
views
Is there a homogeneous compactum where non-empty $G_\delta$s have non-empty interior?
A space $X$ is called an almost $P$-space if $Int(G) \neq \emptyset$ for every non-empty $G_\delta$ subset $G \subset X$.
Every $P$-space (that is, a space where $G_\delta$s are open) is an almost $P$...
- 4,413
5
votes
0
answers
228
views
What is the smallest number of hyperplanes covering $\ell_2$?
For a Banach space $X\ne \{0\}$, let $\mathrm{cov}_H(X)$ be the smallest number of hyperplanes covering $X$.
By a hyperplane in a Banach space I understand any closed affine subspace of codimension ...
- 41.9k
5
votes
0
answers
102
views
Universal and strong $Q$-sets
A subset $X\subset \mathbb R$ is called
$\bullet$ a $Q$-set if for every subset $A\subset X$ there exists a $\sigma$-compact set $C\subset\mathbb R$ such that $C\cap X=A$;
$\bullet$ a strong $Q$-set ...
- 41.9k
5
votes
0
answers
138
views
Disjoint covering number of an ideal
Let $\mathcal I$ be a $\sigma$-ideal with Borel base on an uncountable Polish space $X=\bigcup\mathcal I$.
Let $\mathrm{cov}(\mathcal I)$ (resp. $\mathrm{cov}_\sqcup(\mathcal I)$) be the smallest ...
- 41.9k
5
votes
0
answers
320
views
Unbounded towers and combinatorial cardinal characteristics of the continuum
Update: Perhaps the question is too difficult. I would appreciate, thus, even just comments or related observations.
This question assumes familiarity with combinatorial cardinal characteristics of ...
- 3,104
5
votes
0
answers
558
views
continuous selection of a multivalued function?
The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
- 1,839
4
votes
0
answers
155
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,413
4
votes
0
answers
128
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\...
- 1,101
4
votes
0
answers
136
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$ ...
- 1,101
4
votes
0
answers
142
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,286
4
votes
0
answers
115
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 ...
- 41.9k
4
votes
0
answers
333
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 $...
- 674
4
votes
0
answers
156
views
Does $\mathbb{R}$ have a partite subbase?
If $X\neq \varnothing$ is a set we say that ${\frak P} \subseteq {\cal P}(X)$ is a partition of $X$ if
$\bigcup{\frak P} = X$, and
$P\neq Q \in {\frak P} \implies P\cap Q = \varnothing$.
Let $H = (V,...
- 48.9k
4
votes
0
answers
79
views
Is there an $L$-space whose square is selectively $d$-separable?
An $L$-space is a hereditarily Lindelof regular space which is not separable.
A space is $d$-separable if it contains a dense set which is the countable union of discrete sets.
An $L$-space can't ...
- 4,413
4
votes
0
answers
105
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-...
- 41.9k
4
votes
0
answers
122
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,535
4
votes
0
answers
143
views
A point concerning Fremlin's example on Borel sets in non-separable Banach spaces
Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$.
$~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology.
$~~\mathcal{M}$= The sigma algebra ...
- 4,058
4
votes
0
answers
195
views
A kind of 0-1 law?
Suppose that P is a Borel subset of Baire $\times$ Baire, such that for every pair $x,x'$ of reals in the horizontal copy of Baire,
if: $x,x'$ are $E_0$-equivalent (that is, $x(n)=y(n)$ for all but ...
- 2,281
4
votes
0
answers
79
views
Is $c(\mathcal M(X)) = c(X)$ for any first countable regular space?
G.M. Reed developed a construction technique which associates
a Moore space $\mathcal M(X)$ to each regular first-countable space $X$ such that $\mathcal M(X)$ is separable
(respectively, locally ...
- 621
4
votes
0
answers
154
views
Is the limit of classical Laver tables connected anywhere?
Let $A_{n}=(\{1,\dots,2^{n}\},*_{n})$ be the $n$-th classical Laver table. Then $*_{n}$ is the unique operation on $\{1,\dots,2^{n}\}$ where $x*_{n}(y*_{n}z)=(x*_{n}y)*_{n}(x*_{n}z)$ and
$x*_{n}1=x+1\...
4
votes
0
answers
161
views
Preservation of Baumgartner's I-ultrafilters under various forcings
For $I\subset \mathcal{P}(2^\omega)$, an ultrafilter $U$ on $\omega$ is said to be an I-ultrafilter if for all $f:\omega \to 2^\omega$, there exists $A\in U$ such that $f''[A]\in I$ [Baumgartner]. In ...
- 3,038
3
votes
0
answers
246
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
3
votes
0
answers
113
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
0
answers
141
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 $...
- 1,101
3
votes
0
answers
167
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$ ...
- 1,101
3
votes
0
answers
79
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 ...
- 41.9k
3
votes
0
answers
77
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 ...
- 1,101
3
votes
0
answers
122
views
A space with independent tightness
Recall that the tightness of a topological space $X$ is defined as the least cardinal $\kappa$ such that for every non-closed subset $A$ of $X$ and every point $x \in \overline{A} \setminus A$, there ...
- 4,413
3
votes
0
answers
83
views
Does there exist a regular $P$-space which is strongly star-Lindelof but not star-Menger?
A space $X$ is said to be star-Menger if for every sequence $(\mathcal{U}_n)$ of open covers of $X$ there exists a sequence $(\mathcal{V}_n)$ such that for each $n$ $\mathcal{V}_n$ is a finite subset ...
- 505
3
votes
0
answers
209
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 ...
- 561
3
votes
0
answers
360
views
The product of Lindelöf spaces
Let $X= \prod_{n\in \omega} X_n\subset \prod_{n\in \omega}\aleph_n$, where $X_n \subset \aleph_n$ (where $\aleph_n$ is the space with order topology) is Lindelöf for each $n\in \omega$. My question is ...
- 63
3
votes
0
answers
209
views
Compactification of Tychonoff spaces without full axiom of choice
If $X$ is a Tychonoff space, then using the Tychonoff theorem and thus the full axiom of choice, it follows that $X$ admits a Hausdorff compactification.
My question is : what remains true if we do ...
- 506
3
votes
0
answers
88
views
Which spaces are still Lindelöf after forcing with a Suslin tree?
Let $T$ be a Suslin tree and $f:T\to Y$ be continuous. ($T$ is endowed with the order topology.) Assume that the image of $T$ is contained in a Lindelöf subset of $Y$. Then, force with $T$. Which ...
- 1,855
3
votes
0
answers
154
views
$G_\delta$-diagonal and productivity of the CCC
Is there a known example of a completely regular c.c.c. space with $G_\delta$-diagonal which is not productively c.c.c.?
The non-existence of such a space is consistent (for example, under $MA$ no ...
- 1,615
3
votes
0
answers
161
views
A characterization of Cauchy filters on countable metric spaces?
Given a filter $\mathcal F$ on a countable set $X$, consider the family
$$\mathcal F^+:=\{A\subset X:\forall F\in\mathcal F\;(A\cap F\ne\emptyset)\}.$$
The following characterization is well-known.
...
- 41.9k
3
votes
0
answers
143
views
Is an Abelian topological group compact if it is complete and Bohr-compact?
A topological group $G$ will be called Bohr-compact if its Bohr topology (i.e., the largest precompact group topology) is compact and Hausdorff.
A topological group $G$ is Bohr-compact if it admits ...
- 41.9k
3
votes
0
answers
251
views
What is the origin of the metrization problem for compact convex sets?
The following is an ``old question in analysis:''
Is it true that every perfectly normal compact convex subset of a locally convex topological vector space is metrizable?
Here perfectly normal means ...
- 3,547
2
votes
0
answers
92
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 ...
- 870
2
votes
0
answers
156
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,947
2
votes
0
answers
98
views
Closed images of linearly ordered spaces
Is there a description of the class of continuous closed images of linearly ordered spaces?
- 115
2
votes
0
answers
171
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 ...
- 1,101
2
votes
0
answers
200
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 ...
- 561
2
votes
0
answers
162
views
Banach–Mazur game and mappings
The Banach-Mazur game on a nonempty space $X$ is defined as follows: two players, $I$ and $II$, alternately choose nonempty open sets
\begin{matrix}
I & U_0 && U_1 && \cdots ...
- 115
2
votes
0
answers
190
views
What is the smallest number of nowhere dense affine subsets covering a topological group?
$\DeclareMathOperator\cov{cov}\newcommand\A{\text A}$A subset $A$ of a group $G$ is called affine if $A=xHy$ for some subgroup $H\subseteq G$ and some $x,y\in G$.
Given a non-discrete topological ...
- 41.9k
2
votes
0
answers
120
views
Two small uncountable cardinals related to Q-sets
A subset $A$ of the real line is called a Q-set if any subset of of $A$ is of type $F_\sigma$ in $A$.
Let $\mathfrak q_0$ be the smallest cardinality of a subset $X\subset\mathbb R$ which is not a Q-...
- 41.9k
2
votes
0
answers
81
views
Is there a normal separable sequential $\aleph$-space with uncountable extent?
It is a classical fact from the undergraduate course of General Topology that under CH (more precisely, under $2^{\omega_1}>\mathfrak c$) every separable normal space has countable extent, i.e., ...
- 41.9k