測度による被覆と分割

Xが可測空間で、(Ai | i∈I) = λi(Ai) がXの可測集合の族とする。各Ai上に測度μiが載っていて、

  1. λi(Ai) が被覆のとき、λi(Ai, μi) を測度被覆と呼ぶ。
  2. 測度被覆であって、各 i, j∈I に対して Ai∩Aj は μi でも μj でもゼロ集合のとき測度分割〈measure partitioning〉と呼ぶ。

測度を確率測度にするとか、1の分解を考えるとか。被覆系〈coverage〉を考えるとか、色々ある。