Related papers: Formalized Haar Measure

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

The Haar measure on some locally compact quantum groups is constructed. The main example we treat is the az+b-group of Woronowicz. We also briefly consider some other examples (like the ax+b-group). We get the first examples of a locally…

In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general…

This article addresses the overlooked but crucial role of the Haar measure in solid mechanics, a concept well-established in mathematical literature but frequently misunderstood by mechanicians. The aim is to provide practical insights and…

Haar measure is a fundamental structure in harmonic analysis on locally compact groups. Its existence reflects the compatibility between topology and the associative algebraic structure of groups. In this paper we propose a framework for…

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…

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…

Let P -> M be a principal G-bundle. Using techniques from the loop representation of gauge theory, we construct well-defined substitutes for ``Lebesgue measure'' on the space A of connections on P and for ``Haar measure'' on the group Ga of…

We provide a general expression of the Haar measure $-$ that is, the essentially unique translation-invariant measure $-$ on a $p$-adic Lie group. We then argue that this measure can be regarded as the measure naturally induced by the…

We prove that every profinite $n$-ary group $(G, f)=\Gf$ has a unique Haar measure $m_p$ and further for every measurable subset $A\subseteq G$, we have $$ m_p(A)=m(A)=(n-1)m^{\ast}(A) $$ where $m$ and $m^{\ast}$ are the normalized Haar…

This paper studies the measure-preserving homeomorphisms on compact groups and proposes new methods for constructing measure-preserving homeomorphisms on direct products of compact groups and non-commutative compact groups. On the direct…

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…

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…

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…

In this paper we present a new criterion to determine when the normalized Haar measure on a compact topological group is a Pietsch measure for nonlinear summing mappings. As a consequence, we provide a partial answer to a problem raised by…

We give a probabilistic proof of the Weyl integration formula on U(n), the unitary group with dimension $n$. This relies on a suitable definition of Haar measures conditioned to the existence of a stable subspace with any given dimension…

We show that, as in the linear case, the normalized Haar measure on a compact topological group $G$ is a Pietsch measure for nonlinear summing mappings on closed translation invariant subspaces of $C(G)$. This answers a question posed to…

We study the structure of invariant measures for continuous automorphisms of compact metrizable abelian groups satisfying the descending chain condition. We show that the finitely supported invariant measures are weak-* dense in the space…

In [6], given a metrizable profinite group $G$, a cardinal invariant of the continuum $\mathfrak{fm}(G)$ was introduced, and a positive solution to the Haar Measure Problem for $G$ was given under the assumption that…

In this paper we present a fixed point property for amenable hypergroups which is analogous to Rickert's fixed point theorem for semigroups. It equates the existence of a left invariant mean on the space of weakly right uniformly continuous…