Related papers: Strongly meager sets can be quite big
We show that every homeomorphism between closed measure zero subsets extends to a measure preserving auto-homeomorphism, whenever the Cantor set is endowed with a suitable probability measure. This is valid both for the standard product…
Every measurable function f on the circle can be represented as a sum of harmonics with positive spectrum, converging in measure. For convergence almost everywhere this is not true. We discuss several other subsets of Z for which one might…
Every element $u$ of $[0,1]$ can be written in the form $u=x^2y$, where $x,y$ are elements of the Cantor set $C$. In particular, every real number between zero and one is the product of three elements of the Cantor set. On the other hand…
The relationship between the large cardinal notions of strong compactness and supercompactness cannot be determined under the standard ZFC axioms of set theory. Under a hypothesis called the Ultrapower Axiom, we prove that the notions are…
Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant…
We consider the notion of the matrix (tensor) distribution of a measurable function of several variables. On the one hand, it is an invariant of this function with respect to a certain group of transformations of variables; on the other…
A strong submeasure on a compact metric space X is a sub-linear and bounded operator on the space of continuous functions on X. A strong submeasure is positive if it is non-decreasing. By Hahn-Banach theorem, a positive strong submeasure is…
The paper is devoted to the study of extremal points of $\mathcal{C}$, the family of all two-variate coherent distributions on $[0,1]^2$. It is well-known that the set $\mathcal{C}$ is convex and weak$^*$ compact, and all extreme points of…
For a strongly inacessible cardinal $\kappa$, we investigate the relationships between the following ideals: - the ideal of meager sets in the ${<}\kappa$-box product topology - the ideal of "null" sets in the sense of [Sh:1004]…
It is known that the space of boundedly finite integer-valued measures on a complete separable metric space becomes itself a complete separable metric space when endowed with the weak-hash metric. It is also known that convergence under…
A Cantor set is a non-empty, compact set that has neither interior nor isolated points. In this paper a Cantor set $K\subseteq \mathbb{R}$ is constructed such that every set definable in $(\mathbb{R},<,+,\cdot,K)$ is Borel. In addition, we…
We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…
A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It…
We answer a question of Darji and Keleti by proving that there exists a compact set $C_0\subset\RR$ of measure zero such that for every perfect set $P\subset\RR$ there exists $x\in\RR$ such that $(C_0+x)\cap P$ is uncountable. Using this…
The paper concerns the problem whether a nonseparable $\C(K)$ space must contain a set of unit vectors whose cardinality equals to the density of $\C(K)$ such that the distances between every two distinct vectors are always greater than…
In spaces of metrics, we investigate topological distributions of the doubling property, the uniform disconnectedness, and the uniform perfectness, which are the quasi-symmetrically invariant properties appearing in the David--Semmes…
In each Menger manifold $M$ we construct: (i) a closed nowhere dense subset $M_0$ which is homeomorphic to $M$ and is universal nowhere dense in the sense that for each nowhere dense set $A\subset M$ there is a homeomorphism $h$ of $M$ such…
For any infinite zero-density integer set M, we found a rigid measure-preserving transformation mixing along M by answering Bergelson's question. Gaussian and Poisson suspensions over infinite constructions are suggested as suitable…
One says that a pair of sets $(S,Q)$ in $\mathbb{R}$ is 'annihilating' if no function can be concentrated on $S$ while having its Fourier transform concentrated on $Q$. One uses to distinguish between weak and strong annihilation types. It…
We introduce the notion of strong embeddability for a metric space. This property lies between coarse embeddability and property A. A relative version of strong embeddability is developed in terms of a family of set maps on the metric…