regularly monocompact (measure)

Definition

• Let (X,S,m) be a measure space. Then m is said to be regularly monocompact, if there exist a monocompact subfamily of S with respect to which m is inner regular. A family of sets K is said to be monocompact, if every decreasing sequence of nonempty subsets of K has nonempty intersection.

Reference

• Piotr Borodulin-Nadzieja and Grzegorz Plebanek, On compactness of mesures on Polish spaces, Illinois J. Math. Volume 49, Number 2 (2005), 531-545. http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ijm/1258138033