Spaces between $L^{1}$ and $L^{∞}$ and the theorem of Marcinkiewicz

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 note on Lusin's condition (N)

James Foran (1976)

Fundamenta Mathematicae

Similarity:

On upper and lower limits in measure

C. Goffman, D. Waterman (1960)

Fundamenta Mathematicae

Similarity:

Some properties of measurable sets

S. Tarkowski (1970)

Colloquium Mathematicae

Similarity:

On the average of inner and outer measures

D. Fremlin (1991)

Fundamenta Mathematicae

Similarity:

Displaying similar documents to “Spaces between L 1 and L ∞ and the theorem of Marcinkiewicz”

Displaying similar documents to “Spaces between $L^{1}$ and $L^{\infty}$ and the theorem of Marcinkiewicz”