Displaying similar documents to “New topological measures on the torus”

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.

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.

Simple topological measures and a lifting problem

Finn F. Knudsen (2008)

Fundamenta Mathematicae

Similarity:

We state a certain lifting conjecture and prove it in the case of a torus. From this result we are able to construct a connected dense subset of the space of intrinsic simple topological measures on the torus, consisting of push forwards of compactly supported generalized point-measures on the universal covering space. Combining this result with an observation of Johansen and Rustad, we conclude that the space of simple topological measures on a torus is connected.

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.