対角線論法
集合 のべき集合は
と表されるので、その濃度を
と表します。
べき集合はイメージ的には元の集合よりも非常に大きいです。
実際、有限集合の場合には、集合 の濃度が
のとき、集合
の濃度は
になります。
実は無限集合の場合でもイメージ通りのことが言えます。一般に、次の事実が成り立ちます。証明には対角線論法というものを使います。
◆Prop.SetTop.2.18.1.
を集合とすると、
■Prf.
まず、 から
への単射
を
によって構成することができるので、
次に、等号が成立しないことを示す。すなわち、 から
への全射は存在しないことを示す。
を任意の写像とし、
の部分集合
を
(ここで、 は
の元であるから、
の部分集合である)
によって定めると、 となる
は存在しないこと、したがって
は全射とはならないことを示す。
もし となる
が存在したとすると、
のとき、
の定義より
となるから矛盾。
のとき、
の定義より
となるから矛盾。
したがって、 となる
は存在しないため、
は全射ではない。よって、示された。 □
Rem.1. 対角線論法という理由ですが、 を対角線集合と言います。あたかも
を
平面のようなものだと思うと、直線
を引いたように見えることからこのように言います。
また、 とすると、
となります。
さらに、射影 を
で定めると、
となるため、 と対角線集合を用いて表すことができます。これが対角線論法と言われる由縁です。
可算濃度と連続体濃度の関係
連続体濃度が可算濃度よりも真に大きいこと、したがって連続体濃度を持つ集合の元をすべて具体的に書き表すことはできないことを示します。
実は、連続体濃度は、可算濃度を持つ集合のべき集合の濃度と等しくなります。
◆Prop.SetTop.2.18.2.
すなわち、
■Prf.
まず、 であるから、
である。
( 全単射 が存在するので、全単射
を
で定めればよい)
写像 を
で定めると、 は単射となる。したがって、
一方で、写像 を
で定めると、 は単射となる。したがって、
よって、 が示された。 □
連続体濃度を持つ集合
可算濃度を持つ集合に関する結果を用いて、連続体濃度を持つ集合についても、次のような一般的事実が成り立ちます。
◆Prop.SetTop.2.18.3.
(ⅰ) を高々連続体濃度を持つ集合とするとき、
は高々連続体濃度を持つ集合である。
(ⅱ) を高々連続体濃度を持つ集合とし、
を高々連続体濃度を持つ集合の族とすると、
は高々連続体濃度を持つ集合である。
この命題は「高々連続体濃度を持つ集合」を「連続体濃度を持つ集合」に言い換えても成立する。
■Prf.
「連続体濃度を持つ集合」の場合もまったく同様に示せるので、ここでは「高々連続体濃度を持つ集合」の場合を示す。
(ⅰ)
数学的帰納法より、 の場合に示せば十分である。
(一般の場合は、 と見て、
の場合の結果を適用すれば示せる)
高々連続体濃度を持つ集合の定義より、 から
への単射
が存在する。
そこで、次の写像
は単射である。
したがって、 であるから、
が連続体濃度を持つ集合であることを示せばよい。
ここで、
かつ、 より、
であるから、
を示せばよい。
さらに、べき集合と写像の集合の同一視により、
と
との間に全単射が存在することを示せばよい。
ここでは、一般の集合 について、
と
との間に全単射が存在することを示すことで、上を示そう。
とする。ここで、
を一つ固定して、
を
で定める。各 に対して
は一つ定まるから、写像
を定めることができる。
は各
について一つ定まるものであるため、写像
が定まる。
が全単射であることを示す。
が全射であることから示す。任意の
をとる。
であることに注意して、写像
を
によって定める。 であることを示し、
の全射性を示そう。
であり、
とは
を満たす写像であり、
とは
を満たす写像である。
ここで、 より、
となり、写像の相等の定義から
である。
再び、写像の相等の定義より、 が成り立つ。よって、全射性は示された。
の単射性を示す。すなわち、
のとき、
を示す。
より、
ここで、 とは
を満たす写像であり、
とは
を満たす写像である。
より、任意の
に対して
より、任意の
に対して
したがって、任意の に対して
であるから、
が成り立つ。よって、
の単射性も示され、
は全単射である。
以上から、一般的結果の帰結として が成り立ち、ゆえに
が成り立つ。
よって、(ⅰ)が示された。
(ⅱ)
(ⅰ) の結果より、 は高々連続体濃度を持つ集合である。ここで、各
は高々連続体濃度を持つ集合であるから、全射
が存在する。
写像 を
と定めると、各
が全射であることから、
は全射である。
したがって、 となるから、示された。 □
◆Prop.SetTop.2.18.3.(ⅰ) からの直接の帰結として、特に次が成り立ちます。
◆Cor.SetTop.2.18.4.
を正の自然数とするとき、
特に、
すなわち、単純に集合として考えるならば、濃度という面で見て、平面や空間、 次元空間と直線を区別することはできないということです。同じくらい点の数が多いというような意味合いになります。
この事実はカントールという数学者によって初めて見い出され、素朴な直観に反する事実に当初は驚きをもって迎えられました。
また、次の事実も成り立ちます。
◆Prop.SetTop.2.18.5.
は集合とする。
かつ
ならば、
■Prf.
としても一般性を失わない。
であり、 および
が成り立っている。
ここで、写像 を
で定めると、 は全単射である。
そこで、写像 を
で定めると、 は全単射となる。
よって、 である。 □
特に、有理数全体の集合および代数的数全体の集合は可算集合でしたので、次の系が導かれます。
◆Cor.SetTop.2.18.6.
無理数全体の集合および超越数全体の集合は連続体濃度を持つ。
この記事へのコメントはありません。