WIIS

数列

カントールの縮小区間定理

目次

前のページ:

区間列

次のページ:

区間列と実数の連続性

Mailで保存
Xで共有

入れ子構造の閉区間列

以下の3つの性質を満たす実数空間\(\mathbb{R} \)上の区間列\(\left\{ I_{n}\right\} \)について考えます。1つ目の性質は、この区間列のすべての項が有界な閉区間であるということです。つまり、この区間列の一般項\(I_{n}\)は、\(a_{n}<b_{n}\)を満たす実数\(a_{n},b_{n}\in \mathbb{R} \)を用いて、\begin{eqnarray*}I_{n} &=&\left[ a_{n},b_{n}\right] \\
&=&\left\{ x\in \mathbb{R} \ |\ a_{n}\leq x\leq b_{n}\right\}
\end{eqnarray*}と定義されます。2つ目の性質は、この区間列\(\left\{ I_{n}\right\} \)が単調減少列であることです。つまり、\begin{equation*}\forall n\in \mathbb{N} :I_{n}\supset I_{n+1}
\end{equation*}すなわち、\begin{equation*}
I_{1}\supset I_{2}\supset I_{3}\supset \cdots
\end{equation*}が成り立つということです。3つ目の性質は、この区間列\(\left\{I_{n}\right\} \)を構成する区間の長さに関するものです。この区間列の一般項は、\begin{equation*}I_{n}=\left[ a_{n},b_{n}\right] \end{equation*}ですが、この区間\(I_{n}\)の長さは端点どうしの差\begin{equation*}b_{n}-a_{n}
\end{equation*}として定義されます。以上を踏まえた上で、区間列\(\left\{ I_{n}\right\} \)を構成する個々の区間の長さが、\(n\)が限りなく大きくなるにつれて\(0\)へ収束する場合を想定します。つまり、\begin{equation*}\lim_{n\rightarrow \infty }\left( b_{n}-a_{n}\right) =0
\end{equation*}を満たす区間列\(\left\{I_{n}\right\} \)を考察対象とするということです。以上の3つの性質を満たす区間列を入れ子構造の閉区間列(nested sequence of closed intervals)と呼ぶこととしましょう。

例(入れ子構造の閉区間列)
区間列\(\left\{ I_{n}\right\} \)の一般項が、\begin{equation*}I_{n}=\left[ -\frac{1}{n},\frac{1}{n}\right] \end{equation*}として与えられているものとします。任意の\(n\in \mathbb{N} \)について、\(I_{n}\)は明らかに有界な閉区間です。また、番号\(n\in \mathbb{N} \)を任意に選んだとき、\begin{eqnarray*}I_{n} &=&\left[ -\frac{1}{n},\frac{1}{n}\right] \quad \because \left\{
I_{n}\right\} \text{の定義} \\
&\supset &\left[ -\frac{1}{n+1},\frac{1}{n+1}\right] \\
&=&I_{n+1}\quad \because \left\{ I_{n}\right\} \text{の定義}
\end{eqnarray*}が成り立つため、この区間列は単調減少列です。さらに、\begin{eqnarray*}
\lim_{n\rightarrow \infty }\left[ \frac{1}{n}-\left( -\frac{1}{n}\right) \right] &=&\lim_{n\rightarrow \infty }\left( \frac{2}{n}\right) \\
&=&0
\end{eqnarray*}が成り立ちます。したがって、この区間列は入れ子構造の閉区間列です。

例(入れ子構造の閉区間列)
区間列\(\left\{ I_{n}\right\} \)の一般項が、\begin{equation*}I_{n}=\left[ 0,\frac{1}{2n^{2}}\right] \end{equation*}として与えられているものとします。任意の\(n\in \mathbb{N} \)について、\(I_{n}\)は明らかに有界な閉区間です。また、番号\(n\in \mathbb{N} \)を任意に選んだとき、\begin{eqnarray*}I_{n} &=&\left[ 0,\frac{1}{2n^{2}}\right] \quad \because \left\{
I_{n}\right\} \text{の定義} \\
&\supset &\left[ 0,\frac{1}{2\left( n+1\right) ^{2}}\right] \\
&=&I_{n+1}\quad \because \left\{ I_{n}\right\} \text{の定義}
\end{eqnarray*}が成り立つため、この区間列は単調減少列です。さらに、\begin{eqnarray*}
\lim_{n\rightarrow \infty }\left( \frac{1}{2n^{2}}-0\right)
&=&\lim_{n\rightarrow \infty }\left( \frac{1}{2n^{2}}\right) \\
&=&0
\end{eqnarray*}が成り立ちます。したがって、この区間列は入れ子構造の閉区間列です。

 

カントールの縮小区間定理

カントールの縮小区間定理(Cantor’s nested interval theorem)とは、入れ子構造の閉区間列\(\left\{ I_{n}\right\} \)が与えられたとき、その共通部分は空集合ではないという命題、すなわち、\begin{equation*}\bigcap\limits_{n=1}^{\infty }I_{n}\not=\phi
\end{equation*}が成り立つという命題です。つまり、入れ子構造の閉区間列\(\left\{ I_{n}\right\} \)に対しては、その要素であるすべての区間\(I_{1},I_{2},\cdots \)に属する実数が必ず存在します。しかも、そのような実数は常に1つだけ存在するとともに、その実数を具体的に求めることもできます。カントールの縮小区間定理はカントールの共通部分定理(Cantor’s intersection theorem)やカントールの区間縮小法の原理などと呼ばれることもあります。証明には実数の連続性が必要です。

命題(カントールの縮小区間定理)
実数空間\(\mathbb{R} \)における区間列\(\left\{I_{n}\right\} \)が入れ子構造の閉区間列であるものとする。つまり、その一般項\(I_{n}\)は\(a_{n}<b_{n}\)を満たす実数\(a_{n},b_{n}\in \mathbb{R} \)を用いて、\begin{equation*}I_{n}=\left[ a_{n},b_{n}\right] \end{equation*}と表されるとともに、\begin{equation*}
I_{1}\supset I_{2}\supset I_{3}\supset \cdots
\end{equation*}が成り立ち、さらに、\begin{equation*}
\lim_{n\rightarrow \infty }\left( b_{n}-a_{n}\right) =0
\end{equation*}が成り立つものとする。以上の性質を満たす区間列\(\left\{ I_{n}\right\} \)について、\begin{equation*}\bigcap\limits_{n=1}^{\infty }I_{n}\not=\phi
\end{equation*}が成り立つ。しかも、この共通部分は1点集合であり、その唯一の要素は、\begin{equation*}
\lim\limits_{n\rightarrow \infty }a_{n}\ \left( =\lim\limits_{n\rightarrow
\infty }b_{n}\right)
\end{equation*}と一致する。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(カントールの縮小区間定理)
区間列\(\left\{ I_{n}\right\} \)の一般項が、\begin{equation*}I_{n}=\left[ -\frac{1}{n},\frac{1}{n}\right] \end{equation*}として与えられているものとします。先ほど、この区間列は入れ子構造の閉区間列であることを確認しました。したがって、カントールの縮小区間定理より、この区間列の共通部分は1点集合であるとともに、その唯一の要素は、\begin{equation*}
\lim_{n\rightarrow \infty }\left( -\frac{1}{n}\right) =\lim_{n\rightarrow
\infty }\left( \frac{1}{n}\right) =0
\end{equation*}と一致します。つまり、\begin{equation*}
\bigcap\limits_{n=1}^{\infty }I_{n}=\left\{ 0\right\}
\end{equation*}が成り立つということです。

例(カントールの縮小区間定理)
区間列\(\left\{ I_{n}\right\} \)の一般項が、\begin{equation*}I_{n}=\left[ 0,\frac{1}{2n^{2}}\right] \end{equation*}として与えられているものとします。先ほど、この区間列は入れ子構造の閉区間列であることを確認しました。したがって、カントールの縮小区間定理より、この区間列の共通部分は1点集合であるとともに、その唯一の要素は、\begin{equation*}
\lim_{n\rightarrow \infty }0=\lim_{n\rightarrow \infty }\left( \frac{1}{2n^{2}}\right) =0
\end{equation*}と一致します。つまり、\begin{equation*}
\bigcap\limits_{n=1}^{\infty }I_{n}=\left\{ 0\right\}
\end{equation*}が成り立つということです。

 

カントールの縮小区間定理が要求する条件の吟味

カントール縮小区間定理は区間列に対して3つの条件を要求しています。1つ目はその区間列が有界な閉区間列であること、2つ目は単調減少列であること、そして3つ目は区間の長さが\(0\)へ収束することです。これらの条件はいずれも必須なのでしょうか。

以下の例が示唆するように、区間列の共通部分が1点集合になることを保証する際には、それが閉区間列であるという条件を外すことはできません。つまり、区間列が閉区間列でない場合、その共通部分は1点集合になるとは限らないということです。

例(開区間列)
区間列\(\left\{ I_{n}\right\} \)の一般項が、\begin{equation*}I_{n}=\left( 0,\frac{1}{n}\right)
\end{equation*}として与えられているものとします。任意の\(n\in \mathbb{N} \)について、\(I_{n}\)は有界な開区間であり、閉区間ではありません。したがって、この区間列は入れ子構造の閉区間列ではありません。ちなみに、番号\(n\in \mathbb{N} \)を任意に選んだとき、\begin{eqnarray*}I_{n} &=&\left( 0,\frac{1}{n}\right) \quad \because \left\{ I_{n}\right\}
\text{の定義} \\
&\supset &\left( 0,\frac{1}{n+1}\right) \\
&=&I_{n+1}\quad \because \left\{ I_{n}\right\} \text{の定義}
\end{eqnarray*}が成り立つため、この区間列は単調減少列であるとともに、\begin{eqnarray*}
\lim_{n\rightarrow \infty }\left( \frac{1}{n}-0\right)
&=&\lim_{n\rightarrow \infty }\left( \frac{1}{n}\right) \\
&=&0
\end{eqnarray*}が成り立ちます。したがって、この区間列はカントールの縮小区間定理が要求する条件のうち、閉区間列であるという条件だけを満たしていません。さらに、この区間列の共通部分は、\begin{equation*}
\bigcap\limits_{n=1}^{\infty }I_{n}=\phi
\end{equation*}となり(演習問題にします)、これは1点集合ではありません。

ちなみに、任意の開区間列の共通部分が1点集合にならないわけではありません。単調減少であるとともに、区間の長さが\(0\)へ収束する開区間列の中には、その共通部分が1点集合になるものも存在します(演習問題にします)。

以下の例が示唆するように、区間列の共通部分が1点集合になることを保証する際には、区間の長さが\(0\)に収束するという条件を外すことはできません。

例(閉区間列)
区間列\(\left\{ I_{n}\right\} \)の一般項が、\begin{equation*}I_{n}=\left[ -1-\frac{1}{n},1+\frac{1}{n}\right] \end{equation*}として与えられているものとします。任意の\(n\in \mathbb{N} \)について、\(I_{n}\)は明らかに有界な閉区間です。また、番号\(n\in \mathbb{N} \)を任意に選んだとき、\begin{eqnarray*}I_{n} &=&\left[ -1-\frac{1}{n},1+\frac{1}{n}\right] \quad \because \left\{
I_{n}\right\} \text{の定義} \\
&\supset &\left[ -1-\frac{1}{n+1},1+\frac{1}{n+1}\right] \\
&=&I_{n+1}\quad \because \left\{ I_{n}\right\} \text{の定義}
\end{eqnarray*}が成り立つため、この区間列は単調減少列です。一方、\begin{eqnarray*}
\lim_{n\rightarrow \infty }\left[ \left( 1+\frac{1}{n}\right) -\left( -1-\frac{1}{n}\right) \right] &=&\lim_{n\rightarrow \infty }\left( 2+\frac{2}{n}\right) \\
&=&\lim_{n\rightarrow \infty }2+\lim_{n\rightarrow \infty }\left( \frac{2}{n}\right) \\
&=&2+0 \\
&=&2
\end{eqnarray*}となります。したがって、この区間列はカントールの縮小区間定理が要求する条件のうち、区間の長さが\(0\)に収束するいう条件だけを満たしていません。さらに、この区間列の共通部分は、\begin{equation*}\bigcap\limits_{n=1}^{\infty }I_{n}=\left[ -1,1\right] \end{equation*}となりますが、これは1点集合ではありません。

 

演習問題

問題(カントールの縮小区間定理)
区間列\(\left\{ I_{n}\right\} \)の一般項が、\begin{equation*}I_{n}=\left[ 0,\frac{1}{n}\right] \end{equation*}として与えられているものとします。この区間列の共通部分と和集合をそれぞれ求めてください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(区間列の共通部分)
区間列\(\left\{ I_{n}\right\} \)の一般項が、\begin{equation*}I_{n}=\left( 0,\frac{1}{n}\right)
\end{equation*}として与えられているものとします。このとき、\begin{equation*}
\bigcap\limits_{n=1}^{\infty }I_{n}=\phi
\end{equation*}が成り立つことを証明してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(開区間列)
単調減少であるとともに、区間の長さが\(0\)へ収束し、なおかつその共通部分が1点集合になるような開区間列は存在するでしょうか。議論してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

前のページ:

区間列

次のページ:

区間列と実数の連続性

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録