All Questions
Tagged with set-theory gn.general-topology
433 questions
10
votes
0
answers
354
views
Cellular-Lindelöf: a common generalization of the Lindelöf property and the CCC
All spaces are assumed to be Hausdorff. Recall that a cellular family in the space $X$ is a family of pairwise disjoint non-empty open subspaces of $X$. The cellularity of $X$ ($c(X)$) is defined as ...
- 4,413
10
votes
0
answers
314
views
How much do idempotent ultrafilters generate in terms of semigroups?
It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
- 1,914
9
votes
2
answers
281
views
Is there a condensation from $\aleph_1^{\aleph_0}$ onto a metrizable compact space?
Is there a condensation (continuous bijective mapping) from $D^{\aleph_0}$ onto a metrizable compact space ?
$D$ - discrete space of cardinality $\aleph_1$.
CH implies it is a positive answer. In ...
- 1,101
9
votes
1
answer
531
views
Existence of infinite groups that are too reluctant to be topological
With ZFC, is there an infinite group $G$ such that there is no non-trivial non-discrete topology on $G$ with the functions $G\times G\to G,~~ (a,b) \mapsto ab$ and $G\to G,~~ a\mapsto a^{-1}$ ...
- 1,145
9
votes
2
answers
3k
views
Compact Hausdorff spaces without isolated points in ZF
$S$ is uncountable := $\vert\mathbb{N}\vert<\vert S\vert$
$S$ is noncountable := $\vert S\vert \not\leq \vert\mathbb{N}\vert$
$(X,T)$ is a nice space := $(X,T)$ is a compact Hausdorff space ...
user5810
9
votes
1
answer
599
views
On the Large Cardinal Strength of Normal Moore Space Conjecture
In his seminal 1937 paper, Jones [1] proved the following result about Moore spaces:
Theorem. (Jones) If $2^{\aleph_0}<2^{\aleph_1}$ then all separable normal Moore spaces are metrizable.
Then ...
9
votes
1
answer
593
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 ...
- 1,201
9
votes
2
answers
540
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 ...
- 18.5k
9
votes
2
answers
451
views
Convergence properties in dense subsets of $\omega^*$
The space $\omega^*$, the remainder of the Cech-Stone compactification of the integers, fails to have all convergence-type properties known to me.
Sequentiality. (As a matter of fact $\omega^*$ does ...
- 4,413
9
votes
1
answer
691
views
What is the shape of mathematical universe?
Shape? At the usual mathematical literature when we can discuss about the shape of a "space" that we have a kind of "topography" on it. For example a topology, metric, geometry, etc.
Note that for ...
user36136
9
votes
2
answers
466
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$ ...
- 41.9k
9
votes
1
answer
410
views
On a result by Rubin on elementary equivalence of homeomorphism groups and homeomorphisms of the underlying spaces
In the known paper On the reconstruction of topological spaces from their group of homeomorphisms by Matatyahu Rubin several deep reconstruction theorems of the form "if $X$ and $Y$ are ...
- 3,011
9
votes
1
answer
831
views
Baire category theorem for uncountable unions
Any compact Hausdorff space $X$ is a Baire space:
if the set $X$ is a meager set (meaning a countable union of nowhere dense subsets,
also known as a set of first category),
then $X$ is empty.
I am ...
- 37.8k
9
votes
1
answer
264
views
Rothberger property for finite covers
Let us recall that a topological space $X$ has the Rothberger property if for any sequence $(\mathcal U_n)_{n\in\omega}$ of open covers of $X$ there exists a sequence $(U_n)_{n\in\omega}\in\prod_{n\...
- 41.9k
9
votes
1
answer
226
views
Is $\beta\mathbb N$ a unique compactification with the smallest possible permutation group?
For a compactification $c\mathbb N$ of $\mathbb N$ let $\mathcal H(c\mathbb N,\mathbb N)$ be the group of homeomorphisms $h:c\mathbb N\to c\mathbb N$ such that $h(x)=x$ for all $x\in c\mathbb N\...
- 41.9k
9
votes
0
answers
367
views
A $\mathsf{ZF}$ example of two Baire spaces whose product is not Baire?
Motivated by this question I'm looking for a pair of Baire topological spaces whose product is not Baire and whose construction does not need the axiom of choice.
The example of such spaces I'm ...
- 3,011
9
votes
0
answers
624
views
Two questions about universally measurable sets
I have two questions about universally measurable sets:
(1) Is there a universally measurable set of reals which does not have the Baire property?
(2) Is there a universally measurable set of reals ...
- 9,631
9
votes
0
answers
361
views
Well-founded families of sets and topological convergence
Background/Motivation
A space is scattered if every non-empty subset has an isolated point. A space is pseudoradial if every non-closed set contains a transfinite sequence (a well-ordered net) ...
- 4,413
8
votes
3
answers
937
views
BCT equivalent to DC
Do you know where I can find proof of equivalence Baire Category Theorem and DC (Axiom of Dependent Choice)? It is well known fact but I can't find appropriate literature with the proof.
- 143
8
votes
3
answers
1k
views
Axiom of Choice and continuous functions
Do you know if the following statement is an equivalent form of the axiom of choice or not?
If $X$ is a compact metric space, then every continuous function $f: X \longrightarrow \mathbb{R}$ is ...
- 249
8
votes
4
answers
714
views
Are there $2^{\aleph_0}$ pairwise non-isomorphic Boolean algebra structures on $\omega$?
Is there a collection of $2^{\aleph_0}$ pairwise non-isomorphic countable Boolean algebras?
Equivalently, are there $2^{\aleph_0}$ pairwise non-homeomorphic closed subsets in the Cantor space?
- 48.9k
8
votes
2
answers
289
views
Does $\aleph_0$-density of regular open algebra entail existence of countable basis?
Suppose that the family $\mathrm{RO}(X)$ of regular open subsets of $(X,\mathscr{O})$ is a basis of $X$. Let the density of $\mathrm{RO}(X)$ (considered as Boolean algebra) be $\aleph_0$.
Does $X$ ...
- 1,112
8
votes
3
answers
846
views
A compactness property for Borel sets
Is the following generalised compactness property of Borel sets in a Polish space consistent with ZFC?
($*$) Let $\mathcal{B}$ be a family of $\aleph_1$-many Borel sets. If $\bigcap \mathcal{B} = \...
- 866
8
votes
1
answer
482
views
VC dimension of standard topology on the reals
Can there be an uncountable set $S\subseteq\mathbb R$ such that for each subset $D\subseteq S$, there is an open set $U$ with $D=S\cap U$?
I'm asking merely out of curiosity, but I'll mention that ...
- 24.8k
8
votes
1
answer
393
views
Where can I find the following S. Shelah's paper?
I've been trying to find the following article: "S. Shelah, Remarks on cardinal invariants in topology, General topology Appl. 7(3) (1977), 251-259". I tried to go directly to the journal ...
- 674
8
votes
1
answer
211
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 $...
- 20.9k
8
votes
2
answers
577
views
Ultracoproducts and Cartesian products
Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$.
As a C$^*$-algebraist, I ...
- 1,786
8
votes
1
answer
351
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 ...
- 20.9k
8
votes
2
answers
205
views
Spaces without maximal homogeneous subspaces
A homogeneous space $(X,\tau)$ is a topological space such that for all $x,y\in X$ there is a homeomorphism $\varphi:X\to X$ such that $\varphi(x)=y$. As a previous question implies, the union of an ...
- 48.9k
8
votes
1
answer
802
views
A topological space for which having the ccc is independent of ZFC?
It is well known that a generalized Cantor space $2^A$ is separable if and only if $|A| \leq 2^{\aleph_0}$. This means that one cannot decide in $ZFC$ whether the space $2^{\omega_2}$ is separable or ...
- 11.5k
8
votes
1
answer
183
views
Are all monotonically normal manifolds of dimension at least two metrizable?
Alan Dow and Frank Tall recently proved the consistency of the statement Every hereditarily normal manifold of dimension at least two is metrizable.
See: Dow, Alan; Tall, Franklin D., Hereditarily ...
- 4,413
8
votes
1
answer
288
views
Translates of meager sets
Does there exist a meager set of reals M such that every meager set can be covered by countably many translates of M? This is the category analogue of the following.
- 9,631
8
votes
1
answer
571
views
Is $\ell^\infty$ Polishable?
Consider $\ell^\infty$ as a subspace of the Polish space $\mathbb{R}^\omega$. It is easy to check that $\ell^\infty$ is not Polish in the subspace topology, as it is countable union of the compact ...
- 3,115
8
votes
1
answer
416
views
Is a cofinite topology for a set with cardinality between $\aleph_{0}$ and $2^{\aleph_{0}}$ path-connected?
It is easy to show that $\mathbb{N}$ with the cofinite topology is not path connected and that any set with cardinality $\geq 2^{\aleph_0}$ equipped with the cofinite topology is in fact path ...
- 103
8
votes
1
answer
395
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 ...
- 3,115
8
votes
1
answer
800
views
Covering compact Hausdorff spaces with closed $G_\delta$ sets
I'm thinking about results of the form: Under assumption $A$, if $X$ is a compact Hausdorff space and $C$ is a cover of $X$ by closed $G_\delta$ sets, then there is a subcover of cardinality $\leq\...
- 12.5k
8
votes
1
answer
474
views
A criterion for second countability
Let $(X,\tau)$ be a topological space.
Assume for any arbitrary topological base $\mathcal{E}$ of $\tau$ we have that: the Borel sigma algebras coming form $\mathcal{E}$ and $\tau$ are the same. ...
- 4,058
8
votes
2
answers
759
views
A representation of $F_{\sigma\delta}$-ideals?
First some definitions. By $\mathcal P(\mathbb N)$ we denote the family of all subsets of $\mathbb N$ endowed with the metrizable separable topology generated by the countable base consisting of the ...
- 41.9k
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" ...
- 20.9k
8
votes
1
answer
451
views
Strong measure zero sets and selection principles
A set of reals $X$ is strong measure zero if for any sequence of positive real numbers $ ( \epsilon_n ) _{n \in \omega }$ there is a sequence of open intervals $ ( a_n ) _{n \in \omega }$ which ...
- 213
8
votes
1
answer
365
views
Counting copies of a BA within a BA: arbitrarily many vs infinitely many
Informally, I am wondering if a Boolean algebra $\mathcal{B}$ contains infinitely many disjoint copies of a Boolean algebra $\mathcal{A}$ whenever it contains arbitrarily many disjoint copies of $\...
- 596
8
votes
0
answers
241
views
Topological applications of $\mathfrak{p}=\mathfrak{t}$
I'm working on the Malliaris-Shelah's recent result of $\mathfrak{p}=\mathfrak{t}$, but I'm more interested in what possible topological applications can derivate from this equality.
Searching in ...
- 181
8
votes
0
answers
240
views
Universally meager spaces and large cardinals
Definition: (Todorcevic) A subset $A$ of a topological space $X$ is called universally meager if for every Baire space $Y$ and every continuous $f : Y \to X$ which is nowhere constant (not constant on ...
- 18.6k
8
votes
0
answers
226
views
When can we force two frames to be homeomorphic?
Recall that if $M,N$ are two structures of the same type, then
$M$ is $\mathcal{L}_{\infty,\omega}$ elementarily equivalent to $N$ precisely when $M$ and $N$ are isomorphic in some forcing extension. ...
7
votes
3
answers
528
views
Images of $\{0,1\}^\kappa$
Is there a compact topological space $(X,\tau)$ such that for no cardinal $\kappa$ there is a surjective continuous map $e:\{0,1\}^\kappa \to X$?
(We assume that $\{0,1\}$ is endowed with the ...
- 48.9k
7
votes
5
answers
1k
views
the example of ccc but not separable
I am interested in the relation between the property of countable chain condition (ccc) and the property of separable. Could someone recommend some papers or books about this to me? thanks in advance.
- 654
7
votes
2
answers
722
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,286
7
votes
2
answers
597
views
A characterisation of well-ordering ?
It is easy to prove that if $E$ is well-ordered, and if $f$ is a strictly increasing map from $E$ to $E$, then, for all $x$ in $E$, $f(x) \ge x$ (just consider the sequence $x$, $f(x)$, $f(f(x))\dots$)...
- 3,630
7
votes
1
answer
531
views
Totally bounded spaces and axiom of choice
Wikipedia article on totally bounded spaces states "... the completion of a totally bounded space might not be compact in the absence of choice." Where is the axiom of choice used, and do you need it ...
- 251
7
votes
1
answer
379
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 (...
- 1,101