Displaying similar documents to “The maximal function of a complex measure”

The Picard-Lindelöf Theorem and continuation of solutions for measure differential equations

Gastón Beltritti, Stefania Demaria, Graciela Giubergia, Fernando Mazzone (2025)

Czechoslovak Mathematical Journal

Similarity:

We obtain, by means of Banach's Fixed Point Theorem, convergence for the Picard iterations associated to a general nonlinear system of measure differential equations. We study the existence of left-continuous solutions defined on maximal intervals and we establish some properties of these maximal solutions.

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.

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.