Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
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 ...
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 ...
33 votes
1 answer
2k views

Is it still an open problem whether $\mathbb{R}^\omega$ is normal in the box topology?

On page 205 of his Topology textbook, James Munkres made an interesting remark: It is not known whether $\mathbb{R}^\omega$ is normal in the box topology. Mary-Ellen Rudin has shown that the answer ...
12 votes
1 answer
516 views

Is $[0,1]$ a disjoint union of $\aleph_1$ compact subsets with empty interior?

Is $[0,1]$ a disjoint union of $\aleph_1$ compact subsets with empty interior? The answer is obviously yes assuming the continuum hypothesis. Also, by Baire's lemma, the answer is negative if one ...
11 votes
1 answer
408 views

The Parovichenko cardinal, is it equal to $\max\{\aleph_2,\mathfrak p\}$?

Let us define the Parovichenko cardinal $\mathfrak{P}$ as the largest cardinal $\kappa$ such that each compact Hausdorff space $K$ of weight $w(K)<\kappa$ is the continuous image of the remainder $...
2 votes
3 answers
235 views

Example of an $\omega_1$ decreasing chain of dense semicontinua?

In his well-known paper Bellamy constructs an indecomposable continua with exactly two composants. The setup is as follows: We have an inverse-system $\{X(\alpha); f^\alpha_\beta: \beta,\alpha < \...
14 votes
1 answer
604 views

Continuum Hypothesis and the fact that every co-finite topological space, with uncountable underlying set , is contractible

Let $X$ be a co-finite topological space. If $|X| \ge 2^{\aleph_0}=\mathfrak c$, then $X$ is contractible (https://en.wikipedia.org/wiki/Contractible_space) . Indeed, there is a bijection $f: X \times ...
17 votes
2 answers
905 views

Intersection of compact sets in the unit interval

Let $\mathscr K$ be an uncountable set such that every $K\in\mathscr K$ is a compact subset of $[0,1]$ with positive Lebesgue measure. Does it then follow that there exists an uncountable $\mathscr A\...