ボレル測度
通常の位相を備える実数直線 R は局所コンパクトなハウスドルフ空間であるため、その上でボレル測度を定義することが出来る。そのような場合、 B ( R ) {\displaystyle {\mathfrak {B}}({\textbf {R}})} は R の開区間を含む最小のσ-代数となる。そのようなボレル測度 μ は多く存在するが、すべての区間 [ a , b ] {\displaystyle [a,b]} に対して μ ( [ a , b ] ) = b − a {\displaystyle \mu ([a,b])=b-a} であるようなボレル測度 μ は、しばしば、R 上の代表的なボレル測度("the" Borel measure)と呼ばれる。実際には、そのような代表的なボレル測度でさえも、ボレル集合のσ-代数上定義される測度の中で最も便利なものであると言う訳ではない。実際、ボレル測度では必要とされない完備性という重要な性質を備えたルベーグ測度 λ {\displaystyle \lambda } が、そのような代表的なボレル測度の拡張として存在している。ここで、ルベーグ測度 λ {\displaystyle \lambda } がボレル測度 μ {\displaystyle \mu } の拡張であるとは、すべてのボレル可測集合 E がルベーグ可測であり、さらにその集合上ではボレル測度とルベーグ測度が一致する(すなわち、 λ ( E ) = μ ( E ) {\displaystyle \lambda (E)=\mu (E)} がすべてのボレル可測集合に対して成立する)ということを意味する。