Displaying similar documents to “Nondifferentiable functions, Haar null sets and Wiener 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.

Negligible sets and good functions on polydiscs

Kohur Gowrisankaran (1979)

Annales de l'institut Fourier

Similarity:

A notion of negligible sets for polydiscs is introduced. Some properties of non-negligible sets are proved. These results are used to construct good and good inner functions on polydiscs.