無限集合の単射の証明方法：自然数からの単射の存在証明

無限集合に対して、自然数全体Nからの単射が存在することを証明する方法について解説します。特に、ある集合Aに対して、NからAへの単射がどのように構成されるのかについて具体的に説明します。

無限集合Aとその性質

まず、無限集合Aの定義を明確にしましょう。Aが無限集合であるとは、Aに含まれる要素の数が無限であり、任意の有限集合{0, 1, …, n}がAの部分集合として存在しないということです。このような集合Aに対して、自然数NからAへの単射がどのように存在するのかを示します。

この証明では帰納法を使用します。帰納法の基本的な考え方は、まず最初の値（基底の場合）に対して単射を定義し、その後、次々に自然数nに対する単射を定義していく方法です。

最初に、f(0)はAの任意の要素とし、f(1)はf(0)とは異なる別の要素を選びます。次に、f(2)をf(0)やf(1)と異なる要素として選び、これを繰り返していきます。帰納法により、このように任意のnに対してf(n)がAの異なる要素であることを証明できます。

f(n)まで定義できたとき、次にf(n+1)はAから{f(0), f(1), …, f(n)}を除いた要素を選びます。これにより、任意の自然数nに対してf(n)が定義され、f(n) ≠ f(m)（m ≠ n）であることから、fは単射になります。

このようにして、無限集合Aに対して、自然数全体NからAへの単射が存在することが示されました。無限集合の性質を利用し、帰納法を使うことで、自然数からの単射の構成が可能であることが証明されました。