この記事はhydrogen Advent Calender 2024の13日目の記事です。
本題
有限集合における要素の個数の概念を拡張したものとして、集合の濃度というものが定義される。これは、集合の要素の「数え方」という点に着目して拡張したものである。
以下において、X,Yを集合とする。
濃度の比較の定義
∣X∣=∣Y∣∣X∣≤∣Y∣⇔∃f:X→Y,fは全単射⇔∃f:X→Y,fは単射
このようにして、濃度が実際にどのような集合であるかを気にすることなく、濃度の比較を行うことができる。∣X∣=∣Y∣で1つの記号とみなすことで∣X∣自体を気にする必要がなくなる。
ただ、濃度に演算を導入したりしたいときにはこれでは不十分であり、直接∣X∣が何者であるかを論ずる必要がある。
有限集合においては、濃度は自然数で表現される。では、無限集合においては自然数の拡張である順序数を用いて濃度を定義するのがよさそうである。
濃度の定義
集合Xの濃度を∣X∣と書く。
∣X∣:=min{α:順序数∣∃f:α→X,fは全単射}
このようにすると、濃度は順序数で表現される。また、濃度の比較も順序数の比較に帰着される。
例えば、可算濃度ℵ0はωで表現される。また、最小の非可算順序数ω1の濃度はℵ1で表現される。
ωとは、自然数全体の集合であったから∣N∣=ℵ0である。また、簡単に∣Z∣=∣Q∣=ℵ0である。
では、∣R∣はどうであろうか。対角線論法から∣R∣>ℵ0であることと、∣R∣=∣P(N)∣はわかっているが、具体的に∣R∣=ℵαとなるαは何であろうか。
実は、これはZFCからは決定できない問題である。
しかし、ZFC上でもαとしてあり得ないものは存在する。
これを解説するために、次回以降の記事で共終という概念を扱っていきたい。