無限集合
有限集合ではない集合を無限集合（infinite set）と呼びます。有限集合は有限濃度を持つ集合として定義されるため、無限集合は有限濃度を持たない集合として定義されます。有限濃度は集合に含まれる要素の個数と実質的に等しい概念であり、なおかつ有限濃度は有限な自然数として定まることを踏まえると、無限集合とは要素の個数が有限な自然数ではない集合ということになります。さらに、集合\(A\)が有限濃度を持つこととは、何らかの自然数\(n\in \mathbb{N} \)に関して全単射\(f:\mathbb{N} _{n}\rightarrow A\)が存在することを意味します。ただし、\begin{equation*}\mathbb{N} _{n}=\left\{ 1,\cdots ,n\right\}\end{equation*}です。したがって、集合\(A\)が無限集合であることとは、任意の自然数\(n\in \mathbb{N} \)に対して全単射\(f:\mathbb{N} _{n}\rightarrow A\)が存在しないことを意味します。ただ、以上のことを証明するのは面倒です。より扱いやすい無限集合の判定条件はないでしょうか。
無限集合であることの判定
空集合は有限集合であるため、集合\(A\)が空集合である場合には\(A\)は無限集合ではありません。集合\(A\)が空集合でない場合、その真部分集合\(B\)をとることができます。\(A\)が非空な有限集合である場合、その真部分集合\(B\)を任意に選ぶと、\(B \)もまた有限集合であるとともに、\begin{equation*}\left\vert B\right\vert <\left\vert A\right\vert
\end{equation*}が成り立ちます。つまり、\(A\)と\(B\)の濃度は異なるため全単射\(f:A\rightarrow B\)が存在しません。対偶より、非空な集合\(A\)が与えられたとき、何らかの真部分集合\(B\)に対して全単射\(f:A\rightarrow B\)が存在するならば、\(A\)は有限集合ではありません。したがって\(A\)は無限集合です。
命題（無限集合であることの判定）
非空な集合\(A\)について、その何らかの真部分集合\(B\)に対して全単射\(f:A\rightarrow B\)が存在するならば、\(A\)は無限集合である。
例（自然数集合は無限集合）
すべての自然数からなる集合\begin{equation*}\mathbb{N} =\left\{ 1,2,\cdots \right\}
\end{equation*}とすべての正の偶数からなる集合\begin{equation*}
E=\left\{ 2,4,\cdots \right\}
\end{equation*}について考えます。\(E\)は\(\mathbb{N} \)の真部分集合です。写像\(f:\mathbb{N} \rightarrow E\)はそれぞれの\(n\in \mathbb{N} \)に対して、\begin{equation*}f\left( n\right) =2n\in E
\end{equation*}を定めるものとします。この\(f\)は全単射です。実際、異なる自然数\(n,n^{\prime }\in \mathbb{N} \)を任意に選んだとき、\begin{eqnarray*}f\left( n\right) &=&2n\quad \because f\text{の定義} \\
&\not=&2n^{\prime }\quad \because n\not=n^{\prime } \\
&=&f\left( n^{\prime }\right) \quad \because f\text{の定義}
\end{eqnarray*}となるため\(f\)は単射です。また、正の偶数\(e\in E\)を任意に選ぶと、正の偶数の定義より\(\frac{e}{2}\in \mathbb{N} \)であるとともに、\begin{eqnarray*}f\left( \frac{e}{2}\right) &=&2\cdot \frac{e}{2}\quad \because f\text{の定義} \\
&=&e \\
&\in &E
\end{eqnarray*}となるため\(f\)は全射です。したがって先の命題より、\(\mathbb{N} \)が無限集合であることが明らかになりました。
\end{equation*}とすべての正の偶数からなる集合\begin{equation*}
E=\left\{ 2,4,\cdots \right\}
\end{equation*}について考えます。\(E\)は\(\mathbb{N} \)の真部分集合です。写像\(f:\mathbb{N} \rightarrow E\)はそれぞれの\(n\in \mathbb{N} \)に対して、\begin{equation*}f\left( n\right) =2n\in E
\end{equation*}を定めるものとします。この\(f\)は全単射です。実際、異なる自然数\(n,n^{\prime }\in \mathbb{N} \)を任意に選んだとき、\begin{eqnarray*}f\left( n\right) &=&2n\quad \because f\text{の定義} \\
&\not=&2n^{\prime }\quad \because n\not=n^{\prime } \\
&=&f\left( n^{\prime }\right) \quad \because f\text{の定義}
\end{eqnarray*}となるため\(f\)は単射です。また、正の偶数\(e\in E\)を任意に選ぶと、正の偶数の定義より\(\frac{e}{2}\in \mathbb{N} \)であるとともに、\begin{eqnarray*}f\left( \frac{e}{2}\right) &=&2\cdot \frac{e}{2}\quad \because f\text{の定義} \\
&=&e \\
&\in &E
\end{eqnarray*}となるため\(f\)は全射です。したがって先の命題より、\(\mathbb{N} \)が無限集合であることが明らかになりました。
例（有界開区間は無限集合）
実数空間\(\mathbb{R} \)上の有界な開区間\begin{eqnarray*}\left( 0,1\right) &=&\left\{ x\in \mathbb{R} \ |\ 0<x<1\right\} \\
\left( 0,\frac{1}{2}\right) &=&\left\{ x\in \mathbb{R} \ |\ 0<x<\frac{1}{2}\right\}
\end{eqnarray*}について考えます。\(\left( 0,\frac{1}{2}\right) \)は\(\left( 0,1\right) \)の真部分集合です。写像\(f:\left( 0,1\right) \rightarrow \left( 0,\frac{1}{2}\right) \)はそれぞれの\(x\in \left( 0,1\right) \)に対して、\begin{equation*}f\left( x\right) =\frac{x}{2}
\end{equation*}を定めるものとします。この\(f\)は全単射です。実際、\(x\not=x^{\prime }\)を満たす\(x,x^{\prime }\in \left( 0,1\right) \)を任意に選んだとき、\begin{eqnarray*}f\left( x\right) &=&\frac{x}{2}\quad \because f\text{の定義} \\
&\not=&\frac{x^{\prime }}{2}\quad \because x\not=x^{\prime } \\
&=&f\left( x^{\prime }\right) \quad \because f\text{の定義}
\end{eqnarray*}となるため\(f\)は単射です。また、終集合の要素\(y\in \left( 0,\frac{1}{2}\right) \)を任意に選んだとき、\(2y\in \left(0,1\right) \)が成り立つとともに、\begin{eqnarray*}f\left( 2y\right) &=&\frac{2y}{2}\quad \because f\text{の定義} \\
&=&y \\
&\in &\left( 0,\frac{1}{2}\right)
\end{eqnarray*}となるため\(f\)は全射です。したがって先の命題より、\(\left( 0,1\right) \)が無限集合であることが明らかになりました。
\left( 0,\frac{1}{2}\right) &=&\left\{ x\in \mathbb{R} \ |\ 0<x<\frac{1}{2}\right\}
\end{eqnarray*}について考えます。\(\left( 0,\frac{1}{2}\right) \)は\(\left( 0,1\right) \)の真部分集合です。写像\(f:\left( 0,1\right) \rightarrow \left( 0,\frac{1}{2}\right) \)はそれぞれの\(x\in \left( 0,1\right) \)に対して、\begin{equation*}f\left( x\right) =\frac{x}{2}
\end{equation*}を定めるものとします。この\(f\)は全単射です。実際、\(x\not=x^{\prime }\)を満たす\(x,x^{\prime }\in \left( 0,1\right) \)を任意に選んだとき、\begin{eqnarray*}f\left( x\right) &=&\frac{x}{2}\quad \because f\text{の定義} \\
&\not=&\frac{x^{\prime }}{2}\quad \because x\not=x^{\prime } \\
&=&f\left( x^{\prime }\right) \quad \because f\text{の定義}
\end{eqnarray*}となるため\(f\)は単射です。また、終集合の要素\(y\in \left( 0,\frac{1}{2}\right) \)を任意に選んだとき、\(2y\in \left(0,1\right) \)が成り立つとともに、\begin{eqnarray*}f\left( 2y\right) &=&\frac{2y}{2}\quad \because f\text{の定義} \\
&=&y \\
&\in &\left( 0,\frac{1}{2}\right)
\end{eqnarray*}となるため\(f\)は全射です。したがって先の命題より、\(\left( 0,1\right) \)が無限集合であることが明らかになりました。
無限集合が与えられたとき、それと等しい濃度を持つ集合もまた無限集合であることが保証されます。
命題（無限集合であることの判定）
無限集合\(A\)が与えられたとき、それに対して、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}を満たす任意の集合\(B\)もまた無限集合である。
\end{equation*}を満たす任意の集合\(B\)もまた無限集合である。
例（偶数集合は無限集合）
すべての自然数からなる集合\begin{equation*}\mathbb{N} =\left\{ 1,2,\cdots \right\}
\end{equation*}とすべての正の偶数からなる集合\begin{equation*}
E=\left\{ 2,4,\cdots \right\}
\end{equation*}について考えます。\(E\)は\(\mathbb{N} \)の真部分集合です。先に全単射\(f:\mathbb{N} \rightarrow E\)を構成することにより\(\mathbb{N} \)が無限集合であることを示しましたが、このような全単射\(f\)が存在することは\(\left\vert \mathbb{N} \right\vert =\left\vert E\right\vert \)が成り立つことも意味するため、先の命題より\(E\)もまた無限集合です。
\end{equation*}とすべての正の偶数からなる集合\begin{equation*}
E=\left\{ 2,4,\cdots \right\}
\end{equation*}について考えます。\(E\)は\(\mathbb{N} \)の真部分集合です。先に全単射\(f:\mathbb{N} \rightarrow E\)を構成することにより\(\mathbb{N} \)が無限集合であることを示しましたが、このような全単射\(f\)が存在することは\(\left\vert \mathbb{N} \right\vert =\left\vert E\right\vert \)が成り立つことも意味するため、先の命題より\(E\)もまた無限集合です。
例（有界開区間は無限集合）
実数空間\(\mathbb{R} \)上の有界な開区間\begin{eqnarray*}\left( 0,1\right) &=&\left\{ x\in \mathbb{R} \ |\ 0<x<1\right\} \\
\left( 0,\frac{1}{2}\right) &=&\left\{ x\in \mathbb{R} \ |\ 0<x<\frac{1}{2}\right\}
\end{eqnarray*}について考えます。\(\left( 0,\frac{1}{2}\right) \)は\(\left( 0,1\right) \)の真部分集合です。先に全単射\(f:\left( 0,1\right) \rightarrow \left( 0,\frac{1}{2}\right) \)を構成することにより\(\left( 0,1\right) \)が無限集合であることを示しましたが、このような全単射\(f\)が存在することは\(\left\vert \left( 0,1\right) \right\vert =\left\vert \left(0,\frac{1}{2}\right) \right\vert \)が成り立つことも意味するため、先の命題より\(\left( 0,\frac{1}{2}\right) \)もまた無限集合です。
\left( 0,\frac{1}{2}\right) &=&\left\{ x\in \mathbb{R} \ |\ 0<x<\frac{1}{2}\right\}
\end{eqnarray*}について考えます。\(\left( 0,\frac{1}{2}\right) \)は\(\left( 0,1\right) \)の真部分集合です。先に全単射\(f:\left( 0,1\right) \rightarrow \left( 0,\frac{1}{2}\right) \)を構成することにより\(\left( 0,1\right) \)が無限集合であることを示しましたが、このような全単射\(f\)が存在することは\(\left\vert \left( 0,1\right) \right\vert =\left\vert \left(0,\frac{1}{2}\right) \right\vert \)が成り立つことも意味するため、先の命題より\(\left( 0,\frac{1}{2}\right) \)もまた無限集合です。
無限集合が与えられたとき、それを部分集合として含む集合もまた無限集合であることが保証されます。
命題（無限集合であることの判定）
無限集合\(A\)が与えられたとき、それに対して、\begin{equation*}A\subset B
\end{equation*}を満たす任意の集合\(B\)もまた無限集合である。
\end{equation*}を満たす任意の集合\(B\)もまた無限集合である。
例（自然数集合は無限集合）
すべての自然数からなる集合\(\mathbb{N} \)が無限集合であることは先に示した通りです。すべての整数からなる集合\(\mathbb{Z} \)やすべて有理数からなる集合\(\mathbb{Q} \)およびすべての実数からなる集合\(\mathbb{R} \)は、\begin{equation*}\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \end{equation*}を満たすため、先の命題より\(\mathbb{Z} ,\mathbb{Q} ,\mathbb{R} \)はいずれも無限集合です。
例（有界開区間は無限集合）
実数空間\(\mathbb{R} \)上の有界な開区間\begin{equation*}\left( 0,1\right) =\left\{ x\in \mathbb{R} \ |\ 0<x<1\right\}
\end{equation*}が無限集合であることは先に示した通りです。以下の区間\begin{eqnarray*}
\left[ 0,1\right] &=&\left\{ x\in \mathbb{R} \ |\ 0\leq x\leq 1\right\} \\
\lbrack 0,1) &=&\left\{ x\in \mathbb{R} \ |\ 0\leq x<1\right\} \\
(0,1] &=&\left\{ x\in \mathbb{R} \ |\ 0<x\leq 1\right\}
\end{eqnarray*}はいずれも\(\left( 0,1\right) \)を部分集合として持つため、先の命題よりこれらはいずれも無限集合です。また、以下の区間\begin{equation*}\left( -1,1\right) =\left\{ x\in \mathbb{R} \ |\ -1<x<1\right\}
\end{equation*}もまた\(\left( 0,1\right) \)を部分集合として持つため、先の命題よりこれもまた無限集合です。
\end{equation*}が無限集合であることは先に示した通りです。以下の区間\begin{eqnarray*}
\left[ 0,1\right] &=&\left\{ x\in \mathbb{R} \ |\ 0\leq x\leq 1\right\} \\
\lbrack 0,1) &=&\left\{ x\in \mathbb{R} \ |\ 0\leq x<1\right\} \\
(0,1] &=&\left\{ x\in \mathbb{R} \ |\ 0<x\leq 1\right\}
\end{eqnarray*}はいずれも\(\left( 0,1\right) \)を部分集合として持つため、先の命題よりこれらはいずれも無限集合です。また、以下の区間\begin{equation*}\left( -1,1\right) =\left\{ x\in \mathbb{R} \ |\ -1<x<1\right\}
\end{equation*}もまた\(\left( 0,1\right) \)を部分集合として持つため、先の命題よりこれもまた無限集合です。
無限集合どうしの濃度の相等判定
有限集合に話を限定すると、集合の濃度はその集合に含まれる要素の個数と実質的に等しい概念です。また、有限集合に含まれる要素の個数をすべて数え上げることは原理上可能であるため、有限集合の濃度は必ず1つの自然数として定まります。無限集合についても同様の議論は成り立つでしょうか。
無限集合には無限個の要素が含まれるため、要素をすべてを数え上げることはできません。したがって、無限集合の濃度を1つの自然数として表すことはできません。ただ、2つの無限集合\(A,B\)が与えられたとき、\(A\)と\(B\)の間に全単射が存在するかどうかを調べることはできます。言い換えると、\begin{equation*}\left\vert A\right\vert =\left\vert B\right\vert
\end{equation*}が成り立つか検証することはできます。複数の無限集合が与えられたとき、それらの濃度が同じであるかどうかを判定することはできるというわけです。
例（無限集合の濃度）
すべての自然数からなる集合\begin{equation*}\mathbb{N} =\left\{ 1,2,\cdots \right\}
\end{equation*}とすべての正の偶数からなる集合\begin{equation*}
E=\left\{ 2,4,\cdots \right\}
\end{equation*}に対して、全単射\(f:\mathbb{N} \rightarrow E\)が存在することは先に示しました。したがって、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert E\right\vert
\end{equation*}という関係が成り立ちます。つまり、\(\mathbb{N} \)と\(E\)は等しい濃度を持ちます。集合の濃度をその集合に含まれる要素の個数と解釈するのであれば、この事実は、\(\mathbb{N} \)に含まれる要素の個数が\(E\)に含まれる要素の個数と等しいことを示唆します。\(E\)は\(\mathbb{N} \)の真部分集合であるため、これらが同じ個数の要素を持つと言われると奇妙に感じますが、無限集合を対象にするとこのような結論になります。
\end{equation*}とすべての正の偶数からなる集合\begin{equation*}
E=\left\{ 2,4,\cdots \right\}
\end{equation*}に対して、全単射\(f:\mathbb{N} \rightarrow E\)が存在することは先に示しました。したがって、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert E\right\vert
\end{equation*}という関係が成り立ちます。つまり、\(\mathbb{N} \)と\(E\)は等しい濃度を持ちます。集合の濃度をその集合に含まれる要素の個数と解釈するのであれば、この事実は、\(\mathbb{N} \)に含まれる要素の個数が\(E\)に含まれる要素の個数と等しいことを示唆します。\(E\)は\(\mathbb{N} \)の真部分集合であるため、これらが同じ個数の要素を持つと言われると奇妙に感じますが、無限集合を対象にするとこのような結論になります。
上の例では濃度が等しい2つの無限集合について考えましたが、一般には、無限集合どうしの濃度は等しくなるとは限りません。以下の例より明らかです。
例（無限集合の濃度）
実数空間\(\mathbb{R} \)上の有界な開区間\begin{equation*}\left( 0,1\right) =\left\{ x\in \mathbb{R} \ |\ 0<x<1\right\}
\end{equation*}と、すべての自然数からなる集合\begin{equation*}\mathbb{N} =\left\{ 1,2,\cdots \right\}
\end{equation*}について考えます。先に例を通じて示したようにこれらはともに無限集合です。しかし、全単射\(f:\mathbb{N} \rightarrow (0,1)\)は存在しません。このことを示すために、全単射\(f:\mathbb{N} \rightarrow (0,1)\)が存在するものと仮定して矛盾を導きます。仮定より、任意の自然数\(n\in \mathbb{N} \)に対して\(f\left( n\right) \in \mathbb{R} \)は実数であるため、これは有限小数か無限小数のどちらか一方です。ただし、有限小数の後ろに\(0\)を無限に並べれば有限小数を無限小数と同一視できます。したがって、それぞれの自然数\(n\)に対して\(f\left( n\right) \)は無限小数になるため、それらを、\begin{align*}f(1)& =0.a_{11}a_{12}\cdots a_{1m}\cdots \\
f(2)& =0.a_{21}a_{22}\cdots a_{2m}\cdots \\
& \vdots \\
f(n)& =0.a_{n1}a_{n2}\cdots a_{nm}\cdots \\
& \vdots
\end{align*}と表現します。ただし、\(a_{nm}\)は無限小数\(f\left(n\right) \)の小数第\(m\)位の数を表しており、これは\(0\)から\(9\)までの整数を値としてとり得ます。以上を踏まえた上で、以下のような無限小数\begin{equation*}b=0.b_{1}b_{2}\cdots b_{n}\cdots
\end{equation*}を考えます。ただし、\(b\)の小数点以下の数\(b_{1},b_{2},\cdots ,b_{n},\cdots \)を、\begin{equation*}b_{n}=\left\{
\begin{array}{cc}
1 & (if\ a_{nn}=0) \\
0 & (if\ a_{nn}\not=0)\end{array}\right.
\end{equation*}と定めます。定義より\(b_{1}\not=a_{11}\)であるため\(b\not=f\left( 1\right) \)です。また、\(b_{2}\not=a_{22}\)であるため\(b\not=f\left(2\right) \)です。一般に、\(b_{n}\not=a_{nn}\)であるため\(b\not=f\left(n\right) \)であるため、\(b=f\left(n\right) \)を満たす\(n\in \mathbb{N} \)は存在しません。一方、定義より\(b\in \left( 0,1\right) \)であるため\(f\)は全射ではありません。これは\(f\)が全単射であることと矛盾します。したがって、\(\left\vert \left( 0,1\right)\right\vert =\left\vert \mathbb{N} \right\vert \)が成り立たないことが示されました。ちなみに、ここで利用した証明方法をカントールの対角線論法（Cantor’s diagonal argument）と呼びます。
\end{equation*}と、すべての自然数からなる集合\begin{equation*}\mathbb{N} =\left\{ 1,2,\cdots \right\}
\end{equation*}について考えます。先に例を通じて示したようにこれらはともに無限集合です。しかし、全単射\(f:\mathbb{N} \rightarrow (0,1)\)は存在しません。このことを示すために、全単射\(f:\mathbb{N} \rightarrow (0,1)\)が存在するものと仮定して矛盾を導きます。仮定より、任意の自然数\(n\in \mathbb{N} \)に対して\(f\left( n\right) \in \mathbb{R} \)は実数であるため、これは有限小数か無限小数のどちらか一方です。ただし、有限小数の後ろに\(0\)を無限に並べれば有限小数を無限小数と同一視できます。したがって、それぞれの自然数\(n\)に対して\(f\left( n\right) \)は無限小数になるため、それらを、\begin{align*}f(1)& =0.a_{11}a_{12}\cdots a_{1m}\cdots \\
f(2)& =0.a_{21}a_{22}\cdots a_{2m}\cdots \\
& \vdots \\
f(n)& =0.a_{n1}a_{n2}\cdots a_{nm}\cdots \\
& \vdots
\end{align*}と表現します。ただし、\(a_{nm}\)は無限小数\(f\left(n\right) \)の小数第\(m\)位の数を表しており、これは\(0\)から\(9\)までの整数を値としてとり得ます。以上を踏まえた上で、以下のような無限小数\begin{equation*}b=0.b_{1}b_{2}\cdots b_{n}\cdots
\end{equation*}を考えます。ただし、\(b\)の小数点以下の数\(b_{1},b_{2},\cdots ,b_{n},\cdots \)を、\begin{equation*}b_{n}=\left\{
\begin{array}{cc}
1 & (if\ a_{nn}=0) \\
0 & (if\ a_{nn}\not=0)\end{array}\right.
\end{equation*}と定めます。定義より\(b_{1}\not=a_{11}\)であるため\(b\not=f\left( 1\right) \)です。また、\(b_{2}\not=a_{22}\)であるため\(b\not=f\left(2\right) \)です。一般に、\(b_{n}\not=a_{nn}\)であるため\(b\not=f\left(n\right) \)であるため、\(b=f\left(n\right) \)を満たす\(n\in \mathbb{N} \)は存在しません。一方、定義より\(b\in \left( 0,1\right) \)であるため\(f\)は全射ではありません。これは\(f\)が全単射であることと矛盾します。したがって、\(\left\vert \left( 0,1\right)\right\vert =\left\vert \mathbb{N} \right\vert \)が成り立たないことが示されました。ちなみに、ここで利用した証明方法をカントールの対角線論法（Cantor’s diagonal argument）と呼びます。
演習問題
問題（無限集合）
本文中で明らかになったように、すべての自然数からなる集合\(\mathbb{N} \)とすべての整数からなる集合\(\mathbb{Z} \)はともに無限集合です。さらに、これらの濃度が一致すること、すなわち、\begin{equation*}\left\vert \mathbb{N} \right\vert =\left\vert \mathbb{Z} \right\vert
\end{equation*}が成り立つことを示してください。
\end{equation*}が成り立つことを示してください。
問題（無限集合の濃度）
本文中で明らかになったように、すべての実数からなる集合\(\mathbb{R} \)と\(\mathbb{R} \)上の開区間\(\left( -1,1\right) \)はともに無限集合です。さらに、これらの濃度が一致すること、すなわち、\begin{equation*}\left\vert \mathbb{R} \right\vert =\left\vert \left( -1,1\right) \right\vert
\end{equation*}が成り立つことを示してください。
\end{equation*}が成り立つことを示してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】