Search Results

This question was motivated by an answer to this question of Dominic van der Zypen. It relates to the following classical theorem of Sierpiński. Theorem (Sierpiński, 1921). For any countable partition …

In this post I will discuss some cardinal characteristic of the continuum, related to partitions of $\omega$ and would like to know if it is equal to some known cardinal characteristic. By a partition …

A function $f:\omega\to\omega$ is called $\bullet$ 2-to-1 if $|f^{-1}(y)|\le 2$ for any $y\in\omega$; $\bullet$ almost injective if the set $\{y\in \omega:|f^{-1}(y)|>1\}$ is finite. Let us introduce …

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$ …

The answer is affirmative and can be derived from Theorem (Banakh, Plichko). The Hilbert space $\ell_2(\aleph_1)$ condenses onto the Hilbert cube. By the way, this theorem is related to Problem 1 f …

A tower is a subset $T\subset [\omega]^\omega$ of the family $[\omega]^\omega$ of all infinite subsets of $\omega$ such that $T$ is well-ordered by the relation $\supset^*$ of almost inclusion and has …

$\DeclareMathOperator\cov{cov}$A subset $A$ of a semigroup $X$ is called algebraic if $$A=\{x\in X: a_0xa_1x...xa_n=b\}$$ for some $b\in X$ and $a_0,a_1,...,a_n \in X^1=X\cup \{1\}$. The smallest num …

$\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 a …

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 $\math …

A family $\mathcal A$ of infinite subsets of $\omega$ is called almost disjoint if for any distinct sets $A,B\in\mathcal A$ the intersection $A\cap B$ is finite. Let $\mathfrak a'$ be the largest car …

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 $$\m …

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 …

Let $(P,\le)$ be a poset. For a point $x\in P$ let $${\downarrow}x=\{p\in P:p\le x\}\quad\text{and}\quad{\uparrow}x=\{p\in P:x\le p\}$$be the lower and upper sets of the point $x$, and for a subset $ …

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 metrizable s …

A family $\mathcal U$ of infinite subsets of $\omega$ is called an ultrafamily if for any sets $U,V\in\mathcal U$ one of the sets $U\setminus V$, $U\cap V$ or $V\setminus U$ is finite. By the Kuratows …