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 …

The answer is NO because the Euclidean and the discrete topologies are the unique locally compact group topologies on $\mathbb R$, which are stronger that the Euclidean topology of the real line. Th …

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 …

This is a very interesting question whose answer depends on dimension properties of the spaces $X,Y$. First we introduce a suitable terminology. A function $f:X\to Y$ between topological spaces is cal …

If $\mu^\star|P(X)$ would be a measure, then we could define a $\sigma$-additive measure $\lambda:P([0,1])\to[0,1]$ by the formula $\lambda(A)=\mu^\star(A\cap X)$ for $A\subset [0,1]$. This would impl …

For a compact space $Y$ the answer is affirmative, but in general case of Polish space $Y$ it is negative. Results yielding nice selections of relations $R$ are known in Descriptive Set Theory as Un …

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 …

A counterexample to this problem can be constructed as follows. Take a sequence $(K_n)_{n\in\omega}$ of pairwise disjoint nowhere dense compact sets $K_n\subset[0,1]$ of positive Lebesgue measure $\l …

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 …

The equality $\mathcal M_\tau(X)=\mathcal M_t(X)$ for a complete metric space $X$ follows from three facts: 1) For any finitely additive measure $\mu$ on $X$ its support $supp(\mu)$ (i.e., the set of …