区間の集合族

測度を導入する場としての部分集合族

数直線\(\mathbb{R} \)における区間の長さ、平面\(\mathbb{R} ^{2}\)における長方形の面積、空間\(\mathbb{R} ^{3}\)における直方体の体積などはいずれも同一種類の小さい量を加え合わせることでより大きな量を作り出すことができるという意味において外延的な量です。例えば、数直線\(\mathbb{R} \)上の区間を複数の小さい区間に分割した上で、得られた小区間の長さを足し合わせればもとの区間の長さが得られます。したがって、区間の長さは外延量を表す概念です。平面\(\mathbb{R} ^{2}\)における長方形の面積や、空間\(\mathbb{R} ^{3}\)における直方体の体積などについても同様です。

では、一般に、外延量という概念をどのような数学的対象として表現できるでしょうか。数直線\(\mathbb{R} \)における区間の長さに話を戻すと、個々の区間は\(\mathbb{R} \)の部分集合であるため、ある区間の長さと、その区間を分割して得られる小区間の長さの関係は、\(\mathbb{R} \)の部分集合どうしの外延量の関係として捉えることができます。つまり、「区間の長さ」という外延量は\(\mathbb{R} \)の部分集合族上に導入される概念であるということです。同様に、「長方形の体積」は\(\mathbb{R} ^{2}\)の部分集合族上に、「立方体の体積」は\(\mathbb{R} ^{3}\)の部分集合族上にそれぞれ導入されます。

以上の議論を一般化すると、私たちが外延量を測定しようとする対象は常に何らかの集合の部分集合であり、そのような部分集合を集めてできる集合族において外延量は導入されるということです。一般に、外延量は測度（measure）と呼ばれる概念として定式化されます。本稿の目的は測度について解説することですが、まずは、測度を導入し得る最も基本的な場である\(\mathbb{R} \)の部分集合族について考えます。

区間および区間の集合族

数直線\(\mathbb{R} \)の部分集合、すなわち点集合には様々な種類のものがありますが、当面はその中でも区間（interval）だけを外延量の測定対象とします。さらに、区間にも様々な種類がありますが、ここでは有界な右半開区間（bounded right half open interval）だけを外延量の測定対象とします（理由は後述します）。具体的には、\(a\leq b\)を満たす実数\(a,b\in \mathbb{R} \)を任意に選んだ上で、\begin{equation*}\lbrack a,b)=\left\{ x\in \mathbb{R} \ |\ a\leq x<b\right\}
\end{equation*}と定義される\(\mathbb{R} \)の部分集合を考察対象にするということです。以降において区間や半開区間などと言うとき、特に断りのない場合、それは上のような有界な右半開区間を指すものとします。

繰り返しになりますが、当面の間、考察対象である右半開区間\([a,b)\)は有界なものに限定されます。つまり、この区間の端点\(a,b\)は、\begin{equation*}-\infty <a\leq b<+\infty
\end{equation*}を満たす実数です。言い換えると、\(a\)は負の無限大ではない有限な実数であり、\(b\)は正の無限大\(+\infty \)ではない有限な実数であり、両者の間には\(a\leq b\)という関係が成り立ちます。

数直線\(\mathbb{R} \)上の有界な右半開区間をすべて集めてできる\(\mathbb{R} \)の部分集合族を、\begin{equation*}\mathfrak{S}=\left\{ [a,b)\subset \mathbb{R} \ |\ -\infty <a\leq b<+\infty \right\}
\end{equation*}で表記し、\(\mathfrak{S}\)に属する個々の区間を、\begin{equation*}I,\quad I_{k}\ \left( k=1,2,\cdots \right)
\end{equation*}などで表記するものとします。この集合族\(\mathfrak{S}\)に属するそれぞれの区間に対して外延量を与えることが当面の目標ですが、まずは\(\mathfrak{S}\)の性質を確認します。

空集合は区間

区間の集合族\(\mathfrak{S}\)が満たす1つ目の性質は、\begin{equation*}\phi \in \mathfrak{S}
\end{equation*}というものです。つまり、空集合は区間です。空集合もまた外延量の測定対象になります。

区間どうしの共通部分は区間

区間集合族\(\mathfrak{S}\)が満たす2つ目の性質は、2つの区間\(I,I^{\prime }\in \mathfrak{S}\)を任意に選んだときに、\begin{equation*}I\cap I^{\prime }\in \mathfrak{S}
\end{equation*}が成り立つというものです。つまり、\(\mathfrak{S}\)は共通部分について閉じています。外延量の測定対象である2つの区間が任意に与えられたとき、それらの共通部分もまた外延量の測定対象になるということです。

有限個の区間\(I_{1},\cdots ,I_{n}\in \mathfrak{S}\)を任意に選んだとき、先の命題を繰り返し適用することにより、\begin{equation*}\bigcap\limits_{k=1}^{n}I_{k}\in \mathfrak{S}
\end{equation*}もまた成り立つことが示されます。つまり、有限個の区間の共通部分もまた区間になるということです。この性質を指して、\(\mathfrak{S}\)は有限交叉について閉じている（closed with respect to finite intersections）と言います。逆に、\(\mathfrak{S}\)が有限交叉について閉じているとき、\(\mathfrak{S}\)は明らかに2つの区間の交叉についても閉じています。つまり、\(\mathfrak{S}\)は共通部分について閉じているということです。したがって以下の命題を得ます。

ちなみに、区間の集合族\(\mathfrak{S}\)は可算交叉については閉じていません。つまり、可算個の区間\(I_{1},I_{2},\cdots ,I_{k},\cdots\in \mathfrak{S}\)に対して、\begin{equation*}\bigcap_{k=1}^{\infty }I_{k}\in \mathfrak{S}
\end{equation*}は成り立つとは限らないということです。以下の例より明らかです。

区間どうしの差集合は区間の有限非交和として表される

区間集合族\(\mathfrak{S}\)が満たす3つ目の性質は、2つの区間\(I,I^{\prime }\in \mathfrak{S}\)を任意に選んだとき、それに対して有限個の互いに素な区間\(I_{1},\cdots ,I_{n}\in \mathfrak{S}\)が存在して、\begin{equation*}I\backslash I^{\prime }=\bigcup\limits_{k=1}^{n}I_{k}
\end{equation*}が成り立つというものです。つまり、集合族\(\mathfrak{S}\)に属する2つの区間を任意に選んだとき、それらの差集合は、同じく\(\mathfrak{S}\)に属する互いに素な有限個の区間の和集合として表せるということです。

一般に、有限個の互いに素な集合どうしの和集合を直和（direct sum）や有限非交和（finite disjoint unions）などと呼びます。したがって、上の性質は、任意の2つの区間の差集合が区間の有限非交和として表現可能であることと端的に表現できます。ちなみに、区間そのものは1個の区間の非交和とみなされます。

以上の命題を用いると、\(\mathfrak{S}\)の要素である区間そのものもまた区間の有限非交和として表現可能であることが示されます。実際、区間\(I\in \mathfrak{S}\)を任意に選んだとき、\begin{equation*}I=I\backslash \phi
\end{equation*}という関係が成り立ちますが、\(\phi \)もまた区間であることから\(I\backslash \phi \)は区間の差集合であるため、先の命題より、これは区間の有限非交和として表すことができます。したがって、\(I\backslash \phi \)に等しい\(I\)もまた区間の有限非交和として表されることが明らかになりました。

区間\(I,I_{1}\in \mathfrak{S}\)を任意に選んだとき、それらの間に\(I_{1}\subset I\)が成り立つものとします。2つの区間の差集合は区間の有限非交和として表現可能であることから、このとき、\begin{equation*}I/I_{1}=\bigcup\limits_{k=2}^{n}I_{k}
\end{equation*}を満たす有限個の互いに素な区間\(I_{2},\cdots ,I_{n}\in \mathfrak{S}\)が存在します。\(I_{1}\)は\(I_{2},\cdots ,I_{n}\)の中のいずれとも互いに素であるため、このとき、\begin{equation*}I=\bigcup\limits_{k=1}^{n}I_{k}
\end{equation*}が成り立ちます。つまり、区間\(I\)が自身の部分集合であるような区間\(I_{1}\)を持つとき、\(I\)は\(I_{1}\)を含む有限個の区間の非交和として表現できるということです。以上の主張の逆も成立するため、区間どうしの差集合が区間の有限非交和として表されるという性質は以下の形に言い換え可能です。

区間の集合族は集合半環

一般に、集合\(X\)の部分集合族\(\mathfrak{A}\)が空集合を要素として持ち、共通部分について閉じており、さらに、\(\mathfrak{A}\)の任意の2つの要素の差集合が\(\mathfrak{A}\)の要素の有限非交和として表すことができるとき、そのような\(\mathfrak{A}\)を集合半環（semiring of sets）と呼びます。先に示したように、\(\mathbb{R} \)の部分集合族である区間の集合族\(\mathfrak{S}\)は以上の3つの性質を満たしますが、これは\(\mathfrak{S}\)が集合半環であることを意味します。

外延量を測定する対象を有界な右半開区間に限定する理由は以下の通りです。例えば、有界な開区間からなる集合族を議論の対象にする場合、その集合族は集合半環になりません。実際、\begin{equation*}
a<b<c<d
\end{equation*}を満たす実数\(a,b,c,d\in \mathbb{R} \)から有界な開区間\(\left(a,d\right) ,\left( b,c\right) \)を構成し、これらの差集合をとると、\begin{equation*}\left( a,d\right) \backslash \left( b,c\right) =(a,b]\cup \lbrack c,d)
\end{equation*}となりますが、これは有界な開区間の非交和ではありません。有界な閉区間からなる集合族を議論の対象にする場合にも同様の問題が発生します（演習問題にします）。一方、議論の対象を有界な右半開区間に限定すれば、先に示したように、区間の集合族\(\mathfrak{S}\)が集合半環であることを保証できます。

区間の集合族は集合環ではない

一般に、集合\(X\)の部分集合族\(\mathfrak{A}\)が差集合と和集合の双方について閉じているとき、そのような\(\mathfrak{A}\)を集合環（ring of sets）と呼びます。先ほど、区間の集合族\(\mathfrak{S}\)が集合半環であることを示しましたが、その一方で\(\mathfrak{S}\)は集合環ではありません。以下の例から明らかです。

区間の集合族\(\mathfrak{S}\)は和集合についても閉じていません。

演習問題