Advanced Search

We call a topological space $\kappa$-compact if every subset of size $\kappa$ has a complete accumulation point in it. Let $\Phi (\mu ,\kappa ,\lambda )$ denote the following statement: $\mu <\kappa <\lambda =cf\left(\lambda \right)$ and there is $\{S_{\xi }:\xi <\lambda \}\subset {\left[\kappa \right]}^{\mu }$ such that $\left|\right\{\xi :|S_{\xi }\cap A|=\mu \left\}\right|<\lambda$ whenever $A\in {\left[\kappa \right]}^{<\kappa }$. We show that if $\Phi (\mu ,\kappa ,\lambda )$ holds and the space $X$ is both $\mu$-compact and $\lambda$-compact then $X$ is $\kappa$-compact as well. Moreover, from PCF theory we deduce $\Phi (cf\left(\kappa \right),\kappa ,{\kappa }^{+})$ for every singular cardinal $\kappa$. As a corollary we get that a linearly Lindelöf and ${\aleph }_{\omega }$-compact space is uncountably compact, that is $\kappa$-compact for all uncountable cardinals $\kappa$.

It is well-known that compacta (i.e. compact Hausdorff spaces) are maximally resolvable, that is every compactum $X$ contains $\Delta \left(X\right)$ many pairwise disjoint dense subsets, where $\Delta \left(X\right)$ denotes the minimum size of a non-empty open set in $X$. The aim of this note is to prove the following analogous result: Every compactum $X$ contains ${\Delta }_{\delta }\left(X\right)$ many pairwise disjoint $G_{\delta }$-dense subsets, where ${\Delta }_{\delta }\left(X\right)$ denotes the minimum size of a non-empty $G_{\delta }$ set in $X$.

We improve some results of Pavlov and Filatova, concerning a problem of Malykhin, by showing that every regular space X that satisfies Δ(X) > e(X) is ω-resolvable. Here Δ(X), the dispersion character of X, is the smallest size of a non-empty open set in X, and e(X), the extent of X, is the supremum of the sizes of all closed-and-discrete subsets of X. In particular, regular Lindelöf spaces of uncountable dispersion character are ω-resolvable. We also prove that any regular...

We answer several questions of V. Tkachuk [Fund. Math. 186 (2005)] by showing that ∙ there is a ZFC example of a first countable, 0-dimensional Hausdorff space with no point-countable π-base (in fact, the minimum order of a π-base of the space can be made arbitrarily large); ∙ if there is a κ-Suslin line then there is a first countable GO-space of cardinality κ⁺ in which the order of any π-base is at least κ; ∙ it is consistent to have a first countable,...

Let us denote by $\Phi (\lambda ,\mu )$ the statement that $𝔹\left(\lambda \right)=D{\left(\lambda \right)}^{\omega }$, i.e. the Baire space of weight $\lambda$, has a coloring with $\mu$ colors such that every homeomorphic copy of the Cantor set $ℂ$ in $𝔹\left(\lambda \right)$ picks up all the $\mu$ colors. We call a space $X$ $\pi$-regular if it is Hausdorff and for every nonempty open set $U$ in $X$ there is a nonempty open set $V$ such that $\overline{V}\subset U$. We recall that a space $X$ is called feebly compact if every locally finite collection of open sets in $X$ is finite. A Tychonov space is pseudocompact if and only if it...

We show that all finite powers of a Hausdorff space $X$ do not contain uncountable weakly separated subspaces iff there is a c.c.c poset $P$ such that in $V^P$ $X$ is a countable union of $0$-dimensional subspaces of countable weight. We also show that this theorem is sharp in two different senses: (i) we cannot get rid of using generic extensions, (ii) we have to consider all finite powers of $X$.

We partially strengthen a result of Shelah from [Sh] by proving that if $\kappa ={\kappa }^{\omega }$ and $P$ is a CCC partial order with e.g. $\left|P\right|\le {\kappa }^{+\omega }$ (the ${\omega }^{\text{th}}$ successor of $\kappa$) and $\left|P\right|\le 2^{\kappa }$ then $P$ is $\kappa$-linked.

Yakovlev [, Comment. Math. Univ. Carolin. (1980), 263–283] showed that any Eberlein compactum is hereditarily $\sigma$-metacompact. We show that this property actually characterizes Eberlein compacta among compact spaces of finite metrizability number. Uniformly Eberlein compacta and Corson compacta of finite metrizability number can be characterized in an analogous way.

We prove that (A) if a countably compact space is the union of countably many $D$ subspaces then it is compact; (B) if a compact $T_2$ space is the union of fewer than $N\left(ℝ\right)$ = $cov\left(ℳ\right)$ left-separated subspaces then it is scattered. Both (A) and (B) improve results of Tkačenko from 1979; (A) also answers a question that was raised by Arhangel’skiǐ and improves a result of Gruenhage.

We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most ${\left(2^{\aleph ₀}\right)}^V$ levels of size ω. We also give a complete ZFC characterization of the cardinal sequences of regular scattered spaces. Although the classes of regular and of 0-dimensional scattered spaces are different, we prove that they have the same cardinal sequences.