Charles Explorer logo
🇬🇧

Upper integral and its geometric meaning

Publication at Faculty of Medicine in Hradec Králové |
2007

Abstract

The Hahn definition of the integral is recalled, the requirement of measurability of the integrand omitted. Both the upper anl lower integrals comply with this definition and so does any measurable function between them.

The outer product measure of the hypograph of a nonnegative bounded nonmeasurable function is equal to the upper integral which is equal to one of the Fan integrals. The outer measure of the graph of a bounded nonmeasurable function is equal to the difference between the upper andd lower integrals.

A norm for not necessarily measurable functions is defined with the upper integral. The linear space with this norm is complete.

The convergence in this space implies the convergence in outer measure. The distance as an outer measure of the symmetric difference of two sets gives us a complete metric space of classes of subsets.