カテゴリー: ルベーグ測度

区間の長さ

区間の外延量を表現する集合関数を定義します。この集合関数はσ-加法測度としての性質を満たすことを示します。

区間の集合族

区間の長さと、その区間を分割して得られる小区間の長さの関係は、数直線の部分集合どうしの外延量の関係として捉えることができます。つまり、「区間の長さ」という外延量は数直線の部分集合族に導入されるということです。この集合族は集合半環としての性質を満たします。