compact (measure)

Last-modified: 2010-10-30 (土) 06:50:58

Definition

  • Let (X,S,m) be a measure space. Then m is said to be compact, if there exist a compact subfamily of S with respect to which m is inner regular. A family of sets K is said to be compact, if every subfamily of K with the finite intersection property has nonempty intersection.

Reference