[目次]
■可算集合と非可算集合

今回は、カントールの対角線論法を紹介しました。
また、
  1. 集合は、有限集合と無限集合の2種類にわかれること。
  2. A が無限集合であるならば、必ず |A|≧0 であること
  3. 従って、無限集合はさらに
    • |A|=0のもの、つまり可算集合
    • |A|>0のもの、つまり非可算無限集合
    の2種類にわけられること
を学びました。 有限集合と可算集合をあわせて、高々可算な集合と呼ぶこともあります。


演習