Related papers: Measuring sets with translation invariant Borel me…
It is shown to be consistent with set theory that the uniformity invariant for Lebesgue measure is strictly greater than the corresponding invariant for Hausdorff r-dimensional measure where 0<r<1.
We study the complexity with respect to Borel reducibility of the relations of isometry and isometric embeddability between ultrametric Polish spaces for which a set $D$ of possible distances is fixed in advance. These are, respectively, an…
Given a Borel measure $\mu$ on ${\mathbb R}^{n}$, we define a convex set by \[ M({\mu})=\bigcup_{\substack{0\le f\le1,\\ \int_{{\mathbb R}^{n}}f\,{\rm d}{\mu}=1 } }\left\{ \int_{{\mathbb R}^{n}}yf\left(y\right)\,{\rm…
With any convex function F on a finite-dimensional linear space X such that F goes to infinity at infinity, we associate a Borel measure on the dual space X*. This measure is obtained by pushing forward the measure exp(-F(x))dx under the…
We study Borel systems and continuous systems of measures, with a focus on mapping properties: compositions, liftings, fibred products and disintegration. Parts of the theory we develop can be derived from known work in the literature, and…
The paper describes two possible ways of extending the definition of Haar measure to non-Hausdorff locally compact groups. The first one forces compact sets to be measurable: with this construction, a counterexample to the existence of the…
We introduce and study the notion of orthogonality for two operators in the context of weighted backward shifts on $\ell_p(\mathbb{Z}_+)$, $1\leq p<\infty$. Two continuous linear operators $T_1$ and $T_2$ acting on a Polish topological…
It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…
The Brunn-Minkowski theory in convex geometry concerns, among other things, the volumes, mixed volumes, and surface area measures of convex bodies. We study generalizations of these concepts to Borel measures with density in…
It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism…
We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism),…
In the paper we would like to pay attention to some analogies between Haar meager sets and Haar null sets. Among others, we will show that $0\in \inn (A-A)$ for each Borel set $A$, which is not Haar meager in an abelian Polish group.…
We show that under some conditions on a family $\mathcal{A}\subset\bbi$ there exists a subfamily $\mathcal{A}_0\subset\mathcal{A}$ such that $\bigcup \mathcal{A}_0$ is nonmeasurable with respect to a fixed ideal $\bbi$ with Borel base of a…
The aim of this paper is to prove ergodic decomposition theorems for probability measures quasi-invariant under Borel actions of inductively compact groups (Theorem 1) as well as for sigma-finite invariant measures (Corollary 1). For…
This is the second of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several approaches to vector calculus in the non-smooth setting of complete and separable metric spaces…
A union of an arrangement of affine hyperplanes $H$ in $R^d$ is the real algebraic variety associated to the principal ideal generated by the polynomial $p_{H}$ given as the product of the degree one polynomials which define the hyperplanes…
If $X$ is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure $\mu$ on $X$ there is a set $N\subseteq X$ such that $\mu(N)>0$, an ultrametric space $Z$ and a Lipschitz bijection $\phi:N\to…
We show that, consistently, there is a Borel set which has uncountably many pairwise very non-disjoint translations, but does not allow a perfect set of such translations.
In this paper we are interested in the following notions of smallness: a subset $A$ of an abelian Polish group $X$ is called Haar-countable/Haar-finite/Haar-$n$ if there are a Borel hull $B\supseteq A$ and a copy $C$ of $2^\omega$ such that…
We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff…