The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “An example of a conservative exact endomorphism which is not lim sup full.”

Which Bernoulli measures are good measures?

Ethan Akin, Randall Dougherty, R. Daniel Mauldin, Andrew Yingst (2008)

Colloquium Mathematicae

Similarity:

For measures on a Cantor space, the demand that the measure be "good" is a useful homogeneity condition. We examine the question of when a Bernoulli measure on the sequence space for an alphabet of size n is good. Complete answers are given for the n = 2 cases and the rational cases. Partial results are obtained for the general cases.

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.

Product Pre-Measure

Noboru Endou (2016)

Formalized Mathematics

Similarity:

In this article we formalize in Mizar [5] product pre-measure on product sets of measurable sets. Although there are some approaches to construct product measure [22], [6], [9], [21], [25], we start it from σ-measure because existence of σ-measure on any semialgebras has been proved in [15]. In this approach, we use some theorems for integrals.

A characterization of the invertible measures

A. Ülger (2007)

Studia Mathematica

Similarity:

Let G be a locally compact abelian group and M(G) its measure algebra. Two measures μ and λ are said to be equivalent if there exists an invertible measure ϖ such that ϖ*μ = λ. The main result of this note is the following: A measure μ is invertible iff |μ̂| ≥ ε on Ĝ for some ε > 0 and μ is equivalent to a measure λ of the form λ = a + θ, where a ∈ L¹(G) and θ ∈ M(G) is an idempotent 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...