Search Results

Problem. Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap …

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 …

Let $2^\omega$ be the Cantor cube $\{0,1\}^\omega$, endowed with the standard compact metrizable topology and the standard product measure, called the Haar measure. The Cantor cube is considered as a …

Is there a ZFC-example of a subgroup $H$ of the real line $\mathbb R$ such $H$ is meager, has zero Lebesgue measure, but cannot be covered by countably many closed subsets of measure zero in $\mathbb …

I am looking for a reference of the following (true) fact: Theorem. For any two continuous strictly positive Borel probability measures $\mu,\lambda$ on the Cantor cube $2^\omega$ there exists a home …

Definition. A subset $K$ of a topological group $X$ is called measure-continuous if there exists a $\sigma$-additive Borel probability measure $\mu$ on $X$ such that for every compact subset $C\subset …

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\i …

A Borel subset $B$ of the unit interval $\mathbb I=(0,1)$ is defined to be a density neighborhood of a set $A\subseteq\mathbb I$ if for every $a\in A$ we have $$\lim_{\varepsilon\to0}\frac{\lambda(B\c …

Question. Can a Borel subset $B\subset\mathbb R\times \mathbb R$ be covered by countably many closed sets of measure zero in the plane if for every $(a,b)\in\mathbb R\times\mathbb R$ the horisontal an …

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

First some definitions. For a Polish space $X$ by $P(X)$ we denote the space of all $\sigma$-additive Borel probability measures on $X$. The space $P(X)$ carries a Polish topology generated by the s …

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

I am curious whether somebody ever tried to generalize the classical theory of Lebesgue integral to functions and measures with values in Hausdorff topological rings. The generalization of a measure i …

Problem. Let $\lambda$ be the standard product measure on the Hilbert cube $[-\frac12,\frac12]^\omega$ and $A,B$ be two $\lambda$-positive Borel subsets of $[-\frac12,\frac12]^\omega$. Is it true tha …