ラドン測度
以下、m はハウスドルフ空間 X 上のボレル集合の成す完全加法族上の測度とする。
測度 m が内部正則 (inner regular) 若しくは緊密 (tight) であるとは、任意の集合 B の測度 m(B) が B に含まれるコンパクト集合 K の測度 m(K) の上限として得られるときに言う。
測度 m が外部正則 (outer regular) であるとは、任意のボレル集合 B の測度 m(B) が B を含む開集合 U の測度 m(U) の下限として得られるときに言う。
測度 m が局所有限 (locally finite) であるとは、各点が測度有限なる近傍を持つときに言う。
内部正則かつ局所有限であるような測度 m をラドン測度と呼ぶ。