O-segments on topological measure spaces

Abstract: Let

X

be a topological space and

m u

be a nonatomic finite measure on a

s i g m a

-algebra

S i g m a

containing the Borel

s i g m a

-algebra of

X

. We say

m u

is weakly outer regular, if for every

A i n S i g m a

and

e p s i l o n > 0

, there exists an open set

O

such that

and

. The main result of this paper is to show that if

f, g i n L^{1} (X, S i g m a, m u)

with

i n t_{X} f d m u = i n t_{X} g d m u = 1

, then there exists an increasing family of open sets

u (t)

,

t i n [0, 1]

, such that

u (0) = e m p t y s e t

,

u (1) = X

, and

i n t_{u (t)} f d m u = i n t_{u (t)} g d m u = t

for all

t i n [0, 1]

. We also study a similar problem for a finite collection of integrable functions on general finite and

s i g m a

-finite nonatomic measure spaces.

This page was built for publication: O-segments on topological measure spaces