区間塊は有限個の互いに素な区間の和集合として表される点集合ですが、それらの区間の総和として区間塊の長さを定義します。区間塊の長さはσ-加法測度としての性質を満たします。
< 前のページ

区間塊の長さ

私たちの目標は数直線\(\mathbb{R} \)の部分集合、すなわち点集合の外延量を測定することですが、まずは\(\mathbb{R} \)上の有界な右半開区間だけを外延量の測定対象とし、そのような区間をすべて集めてできる\(\mathbb{R} \)の部分集合族を\(\mathfrak{S}_{m}\)で表しました。さらに、区間の外延量を表す概念として区間の長さ\(m:\mathfrak{S}_{m}\rightarrow \mathbb{R}_{+}\)を導入した上で、これが\(\sigma \)-加法測度としての性質を満たすことを示しました。つまり、\(\mathfrak{S}_{m}\)は集合半環であるとともに、\(m\)は非負性と\(\sigma \)-加法性を満たします。ただ、数直線\(\mathbb{R} \)上には有界な区間というクラスには属さない点集合が存在します。そこで、区間の集合族\(\mathfrak{S}_{m}\)に属する互いに素な有限個の区間の和集合を区間塊と呼び、区間塊をすべて集めてできる\(\mathbb{R} \)の部分集合族を\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)で表しました。\(\mathfrak{S}_{m}\)は集合半環ですが、そこから生成された\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)は集合環であり、両者の間には、\begin{equation*}
\mathfrak{S}_{m}\subset \mathfrak{R}\left( \mathfrak{S}_{m}\right)
\end{equation*}が成り立つことを確認しました。しかも、\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)は\(\mathfrak{S}_{m}\)を部分集合として持つ最小環です。区間の長さ\(m\)はそれぞれの区間\(I\in \mathfrak{S}_{m}\)に対してその測度\(m\left( I\right) \)を定めますが、上の包含関係より、区間塊の中には区間でないものが存在し得るため、区間の長さ\(m\)では区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)の測度を測定できるとは限りません。そこで、\(m\)を拡張する形で、任意の区間塊の測度を測定できるような測度概念を構成したいところです。そこで、以下の手続きを考えます。

区間の長さ\(m:\mathfrak{S}_{m}\rightarrow \mathbb{R}_{+}\)が与えられているものとします。区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)を任意に選ぶと、区間塊の定義より、有限個の互いに素な区間\(I_{1},\cdots ,I_{n}\in \mathfrak{S}_{m}\)が存在して、\begin{equation*}
A=\bigcup_{k=1}^{n}I_{k}
\end{equation*}という形で表すことができます。区間の集合族\(\mathfrak{S}_{m}\)上には区間の長さ\(m\)が定義されているため、上のそれぞれの区間\(I_{1},\cdots ,I_{n}\)に対してその長さ\(m\left( I_{1}\right) ,\cdots ,m\left( I_{n}\right) \)が定まります。そこで、これらの長さの総和を区間塊\(A\)の長さ(length)と定め、それを、\begin{equation*}
\hat{m}\left( A\right) =\sum_{k=1}^{n}m\left( I_{k}\right)
\end{equation*}で表記します。以上を踏まえた上で、それぞれの区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)に対して、その長さ\(\hat{m}\left( A\right) \)を定める関数\(\hat{m}\)を定義し、これを長さ関数(length function)と呼びます。

区間\(I\in \mathfrak{S}_{m}\)を任意に選びます。区間\(I\)は\(I\)自身によって有限展開可能な区間塊であることを踏まえると、区間塊の長さの定義より、\begin{equation*}
\hat{m}\left( I\right) =m\left( I\right)
\end{equation*}という関係が成り立ちます。同様の関係が任意の区間について成立することから、区間塊の長さ\(\hat{m}\)は区間の長さ\(m\)の拡張(extension of a measure \(m\))になっていることを確認できます。

例(区間塊の長さ)
区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)が、\begin{equation*}
A=(0,1]\cup (1,2]\cup (2,3] \end{equation*}で与えられているとき、その長さは、\begin{eqnarray*}
\hat{m}\left( A\right) &=&m\left( (0,1]\right) +m\left( (1,2]\right)
+m\left( (2,3]\right) \quad \because \hat{m}\text{の定義}
\\
&=&\left( 1-0\right) +\left( 2-1\right) +\left( 3-2\right) \quad \because m\text{の定義} \\
&=&3
\end{eqnarray*}となります。区間塊\(B\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)が、\begin{equation*}
B=(-2,-1]\cup \phi \cup (1,2] \end{equation*}で与えられているとき、その長さは、\begin{eqnarray*}
\hat{m}\left( B\right) &=&m\left( (-2,-1]\right) +m\left( \phi \right)
+m\left( (1,2]\right) \quad \because \hat{m}\text{の定義}
\\
&=&\left( \left( -1\right) -\left( -2\right) \right) +0+\left( 2-1\right)
\quad \because m\text{の定義} \\
&=&2
\end{eqnarray*}となります。

 

区間塊の長さは\(\sigma \)-加法測度

区間塊の長さの性質を確認します。繰り返しになりますが、区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)を任意に選ぶと、有限個の互いに素な区間\(I_{1},\cdots ,I_{n}\in \mathfrak{S}_{m}\)が存在して、\begin{equation*}
A=\bigcup_{k=1}^{n}I_{k}
\end{equation*}という関係が成り立ちます。さらに、この区間塊\(A\)の長さは、\begin{equation*}
\hat{m}\left( A\right) =\sum_{k=1}^{n}m\left( I_{k}\right)
\end{equation*}と定義されます。区間の長さ\(m\)がそれぞれの区間\(I_{k}\in \mathfrak{S}_{m}\)に対して定める長さ\(m\left( I_{k}\right) \)は有限な非負の実数です。したがって、区間塊の長さ\(\hat{m}\)がそれぞれの区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)に対して定める長さは有限個の有限な非負の実数の和であるため、それもまた有限な非負の実数です。言い換えると、長さ関数\(\hat{m}\)は区間塊の集合族\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)を定義域とし、非負の実数からなる集合\(\mathbb{R} _{+}\)を終集合とする関数\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)であるということです。このような性質を指して、\(\hat{m}\)は有限(finite)であるとか完全有限(totally finite)であるなどと言います。

命題(区間塊の長さは有限)
区間塊の長さは有限である。すなわち、区間塊の長さ関数は\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)と表現される。
証明を見る(プレミアム会員限定)

区間塊の集合系\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)の中から可算個の互いに素な区間塊を任意に選び、それらからなる集合列を\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)で表記します。つまり、\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)は互いに素な区間塊からなる可算集合列です。その上で、これら可算個の区間塊の和集合\begin{equation*}
\bigcup\limits_{k=1}^{\infty }A_{k}
\end{equation*}をとります。\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)は集合環であるため有限合併ついて閉じている一方、可算合併については閉じていません(演習問題にします)。したがって、上の和集合は\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)の要素であるとは限りません。互いに素な可算個の区間塊の和集合は区間塊になるとは限らないということです。その一方で、\begin{equation}
\bigcup\limits_{k=1}^{\infty }A_{k}\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \tag{1}
\end{equation}を満たすような集合列\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)が存在する可能性もあります。長さ関数は\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)は区間塊の集合系\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)に属する任意の区間塊に対して長さを1つずつ定めるため、\(\left( 1\right) \)が成り立つ場合には、集合列\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)の和集合に相当する区間塊の長さ\begin{equation*}
\hat{m}\left( \bigcup\limits_{k=1}^{\infty }A_{k}\right) \in \mathbb{R}_{+}
\end{equation*}が定まります。しかも、\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)の和集合に相当する区間塊の長さと、\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)の要素である個々の区間塊の長さの間には、\begin{equation}
\hat{m}\left( \bigcup\limits_{k=1}^{\infty }A_{k}\right) =\sum_{k=1}^{\infty
}\hat{m}\left( A_{k}\right) \tag{2}
\end{equation}という関係が成り立つことが示されます。ただし、右辺は可算個の区間塊の長さから構成される無限級数の和であり、これは部分和\begin{equation*}
S_{n}=\sum_{k=1}^{n}\hat{m}\left( A_{k}\right)
\end{equation*}を項とする数列\(\left\{ S_{n}\right\} \)の極限\(\lim\limits_{n\rightarrow \infty }S_{n}\)として定義されます。つまり、\(\left( 2\right) \)を正確に表現すると、\begin{equation*}
\hat{m}\left( \bigcup\limits_{k=1}^{\infty }A_{k}\right) =\lim_{n\rightarrow
\infty }\left[ \sum_{k=1}^{n}\hat{m}\left( A_{k}\right) \right] \end{equation*}となります(証明は長くなるため「命題の証明」ページへ掲載します)。このような性質を指して、\(\hat{m}\)は\(\sigma \)-加法性(\(\sigma \)-additivity)を満たすと言います。

命題(区間塊の長さはσ-加法性を満たす)
区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)は\(\sigma \)-加法性を満たす。すなわち、互いに素な区間塊からなる可算集合列\(\left\{ A_{k}\right\} _{k=1}^{\infty }\subset \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)が、\begin{equation*}
\bigcup\limits_{k=1}^{\infty }A_{k}\in \mathfrak{R}\left( \mathfrak{S}_{m}\right)
\end{equation*}を満たす場合には、\begin{equation*}
\hat{m}\left( \bigcup\limits_{k=1}^{\infty }A_{k}\right) =\sum_{k=1}^{\infty
}\hat{m}\left( A_{k}\right)
\end{equation*}という関係が成り立つ。
証明を見る(プレミアム会員限定)

繰り返しになりますが、上の命題は、\begin{equation*}
\bigcup\limits_{k=1}^{\infty }A_{k}\in \mathfrak{R}\left( \mathfrak{S}_{m}\right)
\end{equation*}を満たすような可算集合列\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)に関する主張です。言い換えると、\begin{equation*}
\bigcup\limits_{k=1}^{\infty }A_{k}\not\in \mathfrak{R}\left( \mathfrak{S}_{m}\right)
\end{equation*}であるような\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)に対して、上の命題は何も言っていません。

一般に、集合\(X\)の部分集合族\(\mathfrak{A}\)上に関数\(\hat{m}:\mathfrak{A}\rightarrow \mathbb{R}\)が定義されており、この関数\(\hat{m}\)がそれぞれの要素\(A\in \mathfrak{A}\)に対して定める値\(\hat{m}\left( A\right) \)が非負の実数もしくは正の無限大である場合には、すなわち、\begin{equation*}
\forall A\in \mathfrak{A}:0\leq \hat{m}\left( A\right) \leq +\infty
\end{equation*}を満たす場合には、この関数\(\hat{m}\)は非負性(non-negativity)を満たすと言います。また、関数\(\hat{m}:\mathfrak{A}\rightarrow \mathbb{R}\)が非負性と\(\sigma \)-加法性をともに満たす場合、\(\hat{m}\)を\(\sigma \)-加法測度(\(\sigma \)-additive measure)や可算測度(countable measure)などと呼び、\(\hat{m}\)がそれぞれの集合\(A\in \mathfrak{A}\)に対して定める値\(\hat{m}\left( A\right) \)を\(A\)の測度(measure)と呼びます。

これまでの議論から明らかになったように、区間塊の集合族\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)は集合環であり、区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)は有限性と\(\sigma \)-加法性を満たします。有限性は明らかに非負性を含意するため、結局、区間塊の長さ\(\hat{m}\)は\(\sigma \)-加法測度であるということになります。

命題(区間塊の長さはσ-加法測度)
区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)は\(\sigma \)-加法測度である。すなわち、区間塊の集合族\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)は集合環であるとともに、\(\hat{m}\)は非負性と\(\sigma \)-加法性を満たす。
証明を見る(プレミアム会員限定)

以上の命題を踏まえた上で、以降では、区間塊の長さを区間塊の測度と呼びます。

 

区間塊の長さの有限加法性

区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)が\(\sigma \)-加法測度であることを示す際には区間塊や区間の定義、また区間の長さ\(m\)の性質などを用いましたが、\(\hat{m}\)が\(\sigma \)-加法測度であることが明らかになれば、\(\hat{m}\)が満たすその他の性質はいずれも\(\hat{m}\)が\(\sigma \)-加法測度であるという事実から導出可能です。以下ではそのような性質をいくつか提示します。

区間塊の集合族\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)の中から有限個の互いに素な区間塊を任意に選び、それらからなる集合列を\(\left\{ A_{k}\right\} _{k=1}^{n}\)で表記します。つまり、\(\left\{ A_{k}\right\} _{k=1}^{n}\)は互いに素な区間塊からなる有限集合列です。\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)は集合環であり、有限交叉について閉じているため、このとき、\begin{equation*}
\bigcup\limits_{k=1}^{n}A_{k}\in \mathfrak{R}\left( \mathfrak{S}_{m}\right)
\end{equation*}が必ず成り立ちます。さらに、\(\left\{ A_{k}\right\} _{k=1}^{n}\)の和集合に相当する区間塊の長さと、\(\left\{ A_{k}\right\} _{k=1}^{n}\)の要素である個々の区間塊の長さの間には、\begin{equation*}
\hat{m}\left( \bigcup\limits_{k=1}^{n}A_{k}\right) =\sum_{k=1}^{n}\hat{m}\left( A_{k}\right)
\end{equation*}という関係が成り立つことが、区間塊の長さ\(\hat{m}\)が\(\sigma \)-加法測度であることから導かれます。つまり、互いに素な有限個の区間塊の和集合が区間塊であるとき、その和集合に相当する区間塊の長さは、個々の区間塊の長さの総和と一致するということです。このような性質を指して、\(\hat{m}\)は有限加法性(finite additivity)を満たすと言います。証明は以下の通りです。

互いに素な区間塊からなる有限集合列\(\left\{ A_{k}\right\} _{k=1}^{n}\)を任意に選ぶと、\begin{equation*}
\bigcup\limits_{k=1}^{n}A_{k}\in \mathfrak{R}\left( \mathfrak{S}_{m}\right)
\end{equation*}が成り立ちます。空集合\(\phi \)は区間塊であるため、空集合だけから構成される可算個の区間塊の列\(\left\{ A_{k}\right\} _{k=n+1}^{\infty }\)をとることができます。すなわち、\begin{equation}
A_{k}=\phi \quad \left( k=n+1,n+2,\cdots \right) \tag{1}
\end{equation}です。以上の2つの集合列を合わせてできる可算集合列\(\left\{ A_{k}\right\} _{k=1}^{\infty }\)の和集合は、\begin{equation}
\bigcup\limits_{k=1}^{\infty }A_{k}=\bigcup\limits_{k=1}^{n}A_{k} \tag{2}
\end{equation}を満たします。このとき、\begin{eqnarray*}
\hat{m}\left( \bigcup\limits_{k=1}^{n}A_{k}\right) &=&\hat{m}\left(
\bigcup\limits_{k=1}^{\infty }A_{k}\right) \quad \because \left( 2\right) \\
&=&\sum_{k=1}^{\infty }\hat{m}\left( A_{k}\right) \quad \because \hat{m}\text{の}\sigma \text{-加法性} \\
&=&\sum_{k=1}^{n}\hat{m}\left( A_{k}\right) \quad \because \left( 1\right)
\text{と}\hat{m}\left( \phi \right) =0
\end{eqnarray*}となるため証明が完了しました。

命題(区間塊の長さの有限加法性)
区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)は有限加法性を満たす。
証明を見る(プレミアム会員限定)

 

区間塊の長さの一意性

区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)を任意に選んだとき、区間塊の定義より、互いに素な有限個の区間\(I_{1},\cdots ,I_{n}\in \mathfrak{S}_{m}\)が存在して、\begin{equation*}
A=\bigcup\limits_{k=1}^{n}I_{k}
\end{equation*}と表すことができます。区間が区間塊であることと区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)の有限加法性より、この区間塊\(A\)の長さは、\begin{equation}
\hat{m}\left( A\right) =\sum\limits_{k=1}^{n}\hat{m}\left( I_{k}\right)
\tag{1}
\end{equation}を満たします。ただ、区間塊を有限展開する方法は一意的であるとは限りません。つまり、先の区間塊\(A\)に対して、先ほどとは異なる互いに素な有限個の区間\(J_{1},\cdots ,J_{m}\in \mathfrak{S}_{m}\)が存在し、これらの間にも、\begin{equation*}
A=\bigcup\limits_{l=1}^{m}J_{l}
\end{equation*}という関係が成立し得るということです。このとき、やはり\(\hat{m}\)の有限加法性より、\begin{equation}
\hat{m}\left( A\right) =\sum\limits_{l=1}^{m}\hat{m}\left( J_{l}\right)
\tag{2}
\end{equation}が成り立ちます。つまり、区間塊を異なる方法で有限展開したとき、その区間塊の長さは\(\left( 1\right) \)と\(\left( 2\right) \)のように異なる形で表されますが、実は、両者の値は常に一致することが、区間塊の長さ\(\hat{m}\)が\(\sigma \)-加法測度であることから導かれます。つまり、それぞれの区間塊の長さは有限展開の仕方によらず一定であるということです。言い換えると、区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)は写像であるということです。証明は以下の通りです。

区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)が以下のように異なる形で互いに素な区間の和集合として有限展開されるものとします。すなわち、\begin{equation}
A=\bigcup\limits_{k=1}^{n}I_{k}=\bigcup\limits_{l=1}^{m}J_{l} \tag{3}
\end{equation}です。まず、\begin{align*}
\bigcup\limits_{k=1}^{n}I_{k}& =\left( \bigcup\limits_{k=1}^{n}I_{k}\right)
\cap \left( \bigcup\limits_{l=1}^{m}J_{l}\right) \quad \because \left(
3\right) \\
& =\bigcup\limits_{k=1}^{n}\bigcup\limits_{l=1}^{m}\left( I_{k}\cap
J_{l}\right)
\end{align*}となりますが、区間は区間塊であるとともに集合環である\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)は共通部分について閉じているため、任意の\(k,l\)について、\begin{equation*}
I_{k}\cap J_{l}\in \mathfrak{R}\left( \mathfrak{S}_{m}\right)
\end{equation*}が成り立ちます。さらに、異なる\(k,l\)の組に対する\(I_{k}\cap J_{l}\)は互いに素であることから、区間塊の長さ\(\hat{m}\)の有限加法性より、\begin{equation*}
\hat{m}\left( \bigcup\limits_{k=1}^{n}I_{k}\right) =\sum\limits_{k=1}^{n}\hat{m}\left( I_{k}\right) =\sum\limits_{k=1}^{n}\sum\limits_{l=1}^{m}\hat{m}\left( I_{k}\cap J_{l}\right)
\end{equation*}を得ます。同様に考えると、\begin{equation*}
\hat{m}\left( \bigcup\limits_{l=1}^{m}J_{l}\right) =\sum\limits_{l=1}^{m}\hat{m}\left( J_{k}\right) =\sum\limits_{k=1}^{n}\sum\limits_{l=1}^{m}\hat{m}\left( I_{k}\cap J_{l}\right)
\end{equation*}となるため、\begin{equation*}
\sum\limits_{k=1}^{n}\hat{m}\left( I_{k}\right) =\sum\limits_{l=1}^{m}\hat{m}\left( J_{k}\right)
\end{equation*}すなわち、\begin{equation*}
\hat{m}\left( \bigcup\limits_{k=1}^{n}I_{k}\right) =\hat{m}\left(
\bigcup\limits_{l=1}^{m}J_{l}\right)
\end{equation*}であることが示されました。

命題(区間塊の長さの一意性)
区間の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)がそれぞれの区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)に対して定める長さ\(\hat{m}\left( A\right) \in \mathbb{R}_{+}\)は、\(A\)の有限展開の方法によらず一意的に定まる。
証明を見る(プレミアム会員限定)

 

区間塊の長さは区間の長さの一意的な拡張

先に確認したように、区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)は区間の長さ\(m:\mathfrak{S}_{m}\rightarrow \mathbb{R}_{+}\)の拡張であり、両者の間には、\begin{equation*}
\forall I\in \mathfrak{S}_{m}:\hat{m}\left( I\right) =m\left( I\right)
\end{equation*}という関係が成り立ちます。つまり、区間は区間塊でもありますが、任意の区間\(I\)に対して、区間塊の長さ\(\hat{m}\)が与える測度\(\hat{m}\left( I\right) \)は区間の長さ\(m\)が与える測度\(m\left( I\right) \)と一致します。しかも、\(\hat{m}\)は\(m\)の一意的な拡張です。証明は以下の通りです。

区間の長さ\(m\)から区間塊の長さ\(\hat{m}\)が定義されているものとします。つまり、区間塊\(A\in \mathfrak{R}\left( \mathfrak{S}_{m}\right) \)が有限個の互いに素な区間\(I_{1},\cdots ,I_{n}\in \mathfrak{S}_{m}\)を用いて、\begin{equation*}
A=\bigcup_{k=1}^{n}I_{k}
\end{equation*}として表されるとき、\begin{equation*}
\hat{m}\left( A\right) =\sum_{k=1}^{n}m\left( I_{k}\right)
\end{equation*}を満たすものとして\(\hat{m}\)が定義されているということです。先に確認したように\(\hat{m}\)は\(m\)の拡張ですが、\(m\)が\(\hat{m}\)とは異なる拡張\(\widetilde{m}\)を持っているものと仮定します。このとき、上のそれぞれの区間\(I_{k}\in \mathfrak{S}_{m}\ \left( k=1,\cdots ,n\right) \)について、\begin{equation}
m\left( I_{k}\right) =\hat{m}\left( I_{k}\right) =\widetilde{m}\left(
I_{k}\right) \tag{1}
\end{equation}が成り立つため、先の区間塊\(A\)について、\begin{align*}
\hat{m}\left( A\right) & =\sum_{k=1}^{n}m\left( I_{k}\right) \quad \because
\hat{m}\text{の定義} \\
& =\sum_{k=1}^{n}\widetilde{m}\left( I_{k}\right) \quad \because \left(
1\right) \\
& =\widetilde{m}\left( A\right) \quad \because \widetilde{m}\text{の有限加法性}
\end{align*}すなわち、\begin{equation*}
\hat{m}\left( A\right) =\widetilde{m}\left( A\right)
\end{equation*}となります。同様の議論は\(\mathfrak{R}\left( \mathfrak{S}_{m}\right) \)に属する任意の区間塊に関して成立するため、\(\hat{m}=\widetilde{m}\)であることが示されました。

命題(区間塊の長さは区間の長さの一意的な拡張)
区間塊の長さ\(\hat{m}:\mathfrak{R}\left( \mathfrak{S}_{m}\right) \rightarrow \mathbb{R}_{+}\)は区間の長さ\(m:\mathfrak{S}_{m}\rightarrow \mathbb{R}_{+}\)の一意的な拡張である。
証明を見る(プレミアム会員限定)

次回は外測度について学びます。

次へ進む 質問・コメント(プレミアム会員限定) 演習問題(プレミアム会員限定)
Share on facebook
Share on twitter
Share on email
< 前のページ

プレミアム会員サービス

ユーザー名とメールアドレスを入力して有料(500円/月)のプレミアム会員へアップグレードすることにより、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題、解答など)へのアクセスが可能に。
会員サービス
ログイン

プレミアム会員だけが質問やコメントを投稿・閲覧できます。

アカウント
ログイン