世界中の猫の集合は有限集合？無限集合？集合論の考え方からわかりやすく解説

数学の集合論では、「世界中の猫をすべて集めた集合は有限集合か無限集合か」という問題は、有限集合と無限集合の違いを理解するための良い例です。一見すると猫はたくさんいるため無限に思えるかもしれませんが、数学では『実際に要素の数が有限かどうか』で判断します。

有限集合と無限集合の定義

有限集合とは、要素の個数を自然数で数え切ることができる集合です。

例えば、教室の生徒の集合、日本の都道府県の集合、トランプ52枚の集合などが有限集合です。

一方、自然数全体の集合や実数全体の集合のように、どれだけ数えても終わらないものを無限集合と呼びます。

現在生きている猫の数は非常に多いものの、地球上の猫の数は有限です。

どの時点を切り取っても、猫一匹一匹を数えることが理論上可能であり、その個数はある有限の整数になります。

つまり、『世界中の現在生きている猫の集合』は有限集合です。

『数がとても多い』ことと『無限である』ことは別の概念です。

例えば世界人口が80億人以上いても、人間の集合は有限集合です。同じように猫が数億匹いたとしても有限集合になります。

問題の解釈によっては、『これまで存在した猫とこれから存在する猫をすべて含む集合』を考えることもできます。

しかし未来の猫はまだ存在しておらず、その総数も確定していないため、通常の高校数学や集合論の文脈では対象として扱いません。

一般的には『現在存在する猫』を指すと解釈するため、有限集合と考えるのが自然です。

集合とは、ある条件を満たす対象の集まりです。

『猫である』という条件は明確なので、世界中の猫は立派な集合です。

そしてその要素数が有限であるため、有限集合に分類されます。

世界中の猫をすべて集めた集合は、数学的には有限集合です。猫の数は非常に多いものの、無限ではありません。数学では『たくさんある』ことと『無限である』ことを区別し、実際に個数が有限の整数で表せるなら有限集合と判断します。そのため、世界中の猫の集合は有限集合が正解です。