Posts Issued on January 18, 2023

背理法の証明例 (2)

posted by sakurai on January 18, 2023 #580

再び有名な証明問題です。「実数全体$\mathbb{R}$は非可算無限集合である」

  1. 区間$[0, 1)$の実数を加算有限集合と仮定する。
  2. 無限桁の2進数によりそれらの実数を表す。
  3. それらの実数を任意の順で並べる。
  4. n番目の数値の小数点以下の桁を0なら1、1なら0に変えていき、変えた数値を各桁に持つ新しい実数を1つ生成する。
  5. その新しい実数は表のいずれの実数ともn桁目が異なり、それゆえこの表には含まれないため、1.の仮定に反する。
  6. よって$[0, 1)$の実数は非可算無限集合である。

左矢前のブログ 次のブログ右矢