Related papers: From Haar to Lebesgue via Domain Theory, Revised v…

The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the…

A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exists a set $X \subset…

This article provides a concise introduction to the theory of Haar measures on locally compact Hausdorff groups. We cover the necessary preliminaries on topological groups and measure theory, the Haar correspondence, unimodularity and Haar…

An old problem asks whether every compact group has a Haar-nonmeasurable subgroup. A series of earlier results reduce the problem to infinite metrizable profinite groups. We provide a positive answer, assuming a weak, potentially provable,…

Let us denote $\lambda$ the Lebesgue measure on $[0,1]$, put$$ C(\lambda)=\{f\in C([0,1]);\ \forall~A\subset [0,1], A~\text{Borel}:\ \lambda(A)=\lambda(f^{-1}(A))\}.$$ We endow the set $C(\lambda)$ by the uniform metric $\rho$ and…

It is well known due to Hahn and Mazurkiewicz that every Peano continuum is a continuous image of the unit interval. We prove that an assignment, which takes as an input a Peano continuum and produces as an output a continuous mapping whose…

We consider a unitary representation of the Dihedral group $D_{2n}% =\mathbb{Z}_{n}\rtimes\mathbb{Z}_{2}$ obtained by inducing the trivial character from the co-normal subgroup $\left\{0\right\}\rtimes\mathbb{Z}_{2}.$ This representation is…

We prove that a homomorphism $h:X\to Y$ from a (locally compact) Cech-complete topological group $X$ to a topological group $Y$ is continuous if and only if $h$ is Borel-measurable if and only if $h$ is universally measurable (if and only…

The main aim of the paper is to introduce a new class of (semigroup-valued) measures that are ultrahomogeneous on the Boolean algebra of all clopen subsets of the Cantor space and to study their automorphism groups. A characterisation, in…

We prove that the boundary of every multigeometric Cantorval is a null set, and extend this result to a larger class of standard achievable Cantorvals. In addition, we discuss the sets of uniqueness of achievement sets and show that they…

It is known that a topological correspondence \((X,\lambda)\) from a locally compact groupoid with a Haar system \((G,\alpha)\) to another one, \((H,\beta)\), produces a \(\textrm{C}^*\)-correspondence \(\mathcal{H}(X,\lambda)\) from…

A measure independence property of Lebesgue measurable convex cones of $\mathbb{C}^2$, for $SU(2)$ transformations invariant continuous probability joint distributions over $\mathbb{C}^2$, will be proved using the existence of the Haar…

Given a locally compact group bundle, we show that the system of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar sytem of a continuous Haar system of a locally compact…

We show that Haar measures of connected semisimple groups, embedded via a representation into a matrix space, have a homogeneous asymptotic limit when viewed from far away and appropriately rescaled. This is still true if the Haar measure…

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

According to Haar's Theorem, every compact group $G$ admits a unique (regular, right and) left-invariant Borel probability measure $\mu_G$. Let the Haar integral (of $G$) denote the functional $\int_G:\mathcal{C}(G)\ni f\mapsto \int…

Analytic properties of right topological groups have been extensively studied in the compact admissible case (i.e when the group has a dense topological center). This was inspired by the existence of a Haar measure on such groups. In this…

Many symmetric orthogonal polynomials $(P_n(x))_{n\in\mathbb{N}_0}$ induce a hypergroup structure on $\mathbb{N}_0$. The Haar measure is the counting measure weighted with $h(n):=1/\int_\mathbb{R}\!P_n^2(x)\,\mathrm{d}\mu(x)\geq1$, where…

We investigate the prevalence of Li-Yorke pairs for $C^2$ and $C^3$ multimodal maps $f$ with non-flat critical points. We show that every measurable scrambled set has zero Lebesgue measure and that all strongly wandering sets have zero…

One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space…