Measure theory MOC

Regular measure

Let be a topological space and a measure space . Let denote the set of all compact subsets of . A measurable set is said to be inner regular iff

and outer regular iff

A measure is called inner regular iff every measurable set is inner regular, and likewise a measure is called outer regular iff every measurable set is outer regular. A measure which is both inner regular and outer regular is called regular. #m/def/measure Thus a measure is regular iff

for every .

#state/tidy | #lang/en | #SemBr