Bernsteinの定理のTarskiの不動点定理による簡潔な証明
Bernstein(ベルンシュタイン、ベアンシュタイン)の定理という集合論の基本定理があります。
定理(Bernstein)任意の集合 について、単射 があるならば、全単射 が存在する。
一見単純そうですが、馬鹿でかい無限集合も考えないといけないので少々証明は厄介なようです。僕が数学書で見かけた中では 1.集合の無限列を作っていってそれらの和集合を取るもの*1、2.ジグザグジグザグ選択公理を行使して更にジグザグジグザグ*2 の2つの証明がありますが、1.はなんだかゴチャゴチャしていて、2.は直感的にわかりやすいけどきちんと証明を書こうとすると難しそう、という印象です。*3
そんな定理も忘れかけていた最近『型システム入門 (TaPL)』をきっかけにTarski(タルスキ)の不動点定理に出会って、ちょっと調べていたらTarsikiの不動点定理からBernsteinの定理を簡単に(選択公理も使わずに)証明できるということを知って、ちょっと感動しました。あまり有名でないようなので、ここで詳しく紹介しようと思います。なお、以下の内容は Tarski's Fixed Point Theorem, Wolfram MathWorld と型システム入門 p.222 の証明を簡単にまとめたものです。
まず、 の部分集合 を の部分集合に対応付ける関数 を考えます。*4
そして2つの補題を作ります。
補題1(単調性)任意の について、 ならば である。
では証明していきましょう。
(補題1の証明) 。ゆえに 。ゆえに 。ゆえに 。ゆえに 。(証明終わり)
(補題2の証明) 「補題1ならば補題2である」というのはTarskiの不動点定理の系なのですが、ここでは集合の場合に限って証明しておきます。*5 とし、 とします。補題1より、 です。さらに補題1より であるので、 であり、 となります。 かつ より であるので、これが探していた不動点です。 *6 (証明終わり)
(定理の証明) 補題2より なので、 です。よって の制限 はどちらも全単射になるので、全単射 を として作ることができます。 *7 (証明終わり)
*1:教科書で普通採用されているのはこちらです
*2:Proofs from THE BOOK で知りました。König (1906) によるものであるとのことです。
*3:なお、Bernsteinの定理は選択公理を使わなくても証明できますが、ZFの直観主義論理版では証明できないということが知られています。
*4: は の による像、 は差集合を表します。
*5:以下の証明を束論における議論に修正するのは容易です。
*6:ただちに が の最大不動点であると分かります。同様にして最小不動点も作れます。
*7:Bernsteinの定理の証明にはいろいろありますが、この記事で紹介している証明はいずれも結局は なる (すなわち の不動点)を構築している、ということに注意してください。