Displaying similar documents to “Invariant extension of Haar measure”

The uniqueness of Haar measure and set theory

Piotr Zakrzewski (1997)

Colloquium Mathematicae

Similarity:

Let G be a group of homeomorphisms of a nondiscrete, locally compact, σ-compact topological space X and suppose that a Haar measure on X exists: a regular Borel measure μ, positive on nonempty open sets, finite on compact sets and invariant under the homeomorphisms from G. Under some mild assumptions on G and X we prove that the measure completion of μ is the unique, up to a constant factor, nonzero, σ-finite, G-invariant measure defined on its domain iff μ is ergodic and the G-orbits...

On the generalized Avez method

Antoni Leon Dawidowicz (1992)

Annales Polonici Mathematici

Similarity:

A generalization of the Avez method of construction of an invariant measure is presented.

Fubini’s Theorem on Measure

Noboru Endou (2017)

Formalized Mathematics

Similarity:

The purpose of this article is to show Fubini’s theorem on measure [16], [4], [7], [15], [18]. Some theorems have the possibility of slight generalization, but we have priority to avoid the complexity of the description. First of all, for the product measure constructed in [14], we show some theorems. Then we introduce the section which plays an important role in Fubini’s theorem, and prove the relevant proposition. Finally we show Fubini’s theorem on measure.

Construction of Measure from Semialgebra of Sets1

Noboru Endou (2015)

Formalized Mathematics

Similarity:

In our previous article [22], we showed complete additivity as a condition for extension of a measure. However, this condition premised the existence of a σ-field and the measure on it. In general, the existence of the measure on σ-field is not obvious. On the other hand, the proof of existence of a measure on a semialgebra is easier than in the case of a σ-field. Therefore, in this article we define a measure (pre-measure) on a semialgebra and extend it to a measure on a σ-field. Furthermore,...

Invariant measure for some differential operators and unitarizing measure for the representation of a Lie group. Examples in finite dimension

Hélène Airault, Habib Ouerdiane (2011)

Banach Center Publications

Similarity:

Consider a Lie group with a unitary representation into a space of holomorphic functions defined on a domain 𝓓 of ℂ and in L²(μ), the measure μ being the unitarizing measure of the representation. On finite-dimensional examples, we show that this unitarizing measure is also the invariant measure for some differential operators on 𝓓. We calculate these operators and we develop the concepts of unitarizing measure and invariant measure for an OU operator (differential operator...