ベルンシュタインの定理

ベルンシュタインの定理（ベルンシュタインのていり、カントール＝ベルンシュタイン＝シュレーダーの定理、シュレーダー＝ベルンシュタインの定理、カントール＝ベルンシュタインの定理とも、テンプレート:Lang-en-short）とは、集合 A から集合 B に単射 があり、集合 B から集合 A へも単射があれば、集合 A から集合 B への全単射があるというものである。濃度においては、これは |A| ≤ |B| かつ |B| ≤ |A| ならば |A| = |B| である、ということを言っているわけで、非常に基本的な要請がこの定理によって満たされることになる。

歴史

数学ではよくあることだが、この定理は歴史的に込み入った事情を経て成立しており、歴史的経緯を正確に反映した名前を決めるのは難しい。伝統的によく用いられていた「シュレーダー＝ベルンシュタイン」は1898年に独立に公刊された2つの証明の著者を反映している。一方、歴史的に最初（1895年）にこの定理の主張を初めて発表したカントールの名前が加えられたり、シュレーダーの証明には誤りが含まれていたためシュレーダーの名前は加えられなかったり、という事情がある。さらに、歴史的にこの定理を初めて証明したデデキントの名前は普通加えられていない。

時系列をまとめると次のようになる。

• 1887年 リヒャルト・デデキントがこの定理を証明するが発表せず
• 1895年 ゲオルク・カントールの最初の集合論と超限数の論文に基数の比較可能性の帰結としてこの定理の主張が述べられる
• 1896年 エルンスト・シュレーダーが証明を発表する
• 1897年 カントールのセミナーに参加していた学生だったフェリックス・ベルンシュタインが証明を付ける
• 1897年 ベルンシュタインの訪問を受けた後でデデキントが独立に2つ目の証明を見つける
• 1898年 エミール・ボレルの著書の中で（1897年にチューリッヒでカントールから教わった）ベルンシュタインの証明が述べられる

デデキントの2つの証明はどちらも、自身によるモノグラフ中で示された、

$A\subset B\subset C,|A|=|C|\Rightarrow |A|=|B|=|C|$

に相当する命題に基づくものだった。カントールはこの定理に相当する現象を1882年か83年ごろには集合論と超限数の研究の過程で（選択公理の仮定の下で、ということになるが）発見していたとされる。

証明

集合 A と B との間に単射写像

$f:A\to B,g:B\to A$

が与えられたとする。 集合族 $\{C_n{\}}_{n\in \mathbb{N}}$ を、次のように帰納的に定義する。

$C_0:=A\setminus g(B),$

$C_{n+1}:=g(f(C_n))$

これらの和集合を

$C=\bigcup _{n\in \mathbb{N}}{C}_n$

とすると、C の補集合は g の像に含まれる。ここで、g の単射性によって式

$h(x)=\{\begin{array}{cc}f(x)& \text{if }x\in C\\ g^{-1}(x)& \text{if }x\notin C\end{array}$

は写像を定めているが、このh は全単射になっている。実際、x ∈ C_i, y ∈ Aで $g^{-1}(y)=f(x)$ が成り立つならば y ∈ C_{i + 1}となることから h の単射性が従う。一方、

$g^{-1}(A\setminus C)=g^{-1}(A)\setminus g^{-1}(C)$

であり、g^-1(A) = B と

$g^{-1}(C)=g^{-1}(C\setminus C_0)=\underset{i=1}{\overset{\mathrm{\infty }}{\cup }}{g}^{-1}(C_i)=\underset{i=1}{\overset{\mathrm{\infty }}{\cup }}{g}^{-1}(g(f(C_{i-1})))=\underset{i=0}{\overset{\mathrm{\infty }}{\cup }}f(C_i)=f(C)$

から、$g^{-1}(A\setminus C)=B\setminus f(C)$であるが、これは h が全射であることを示している。

例

ベルンシュタインの定理を用いて、 $[0,\mathrm{\infty })$ から $(0,\mathrm{\infty })$ への全単射を構成する。
関数 $f:[0,\mathrm{\infty })\to (0,\mathrm{\infty })$, $g:(0,\mathrm{\infty })\to [0,\mathrm{\infty })$ を $f(x)=x+1$, $g(x)=x$ と定めると、どちらも単射である。
このとき、$g\circ f(x)=x+1$, $(g\circ f{)}^n(x)=x+n$ であるから、

$\bigcup _{n\in \mathbb{N}}(g\circ f{)}^n([0,\mathrm{\infty })\setminus g((0,\mathrm{\infty })))=\bigcup _{n\in \mathbb{N}}(g\circ f{)}^n([0,\mathrm{\infty })\setminus (0,\mathrm{\infty }))=\bigcup _{n\in \mathbb{N}}(g\circ f{)}^n(\{0\})=\bigcup _{n\in \mathbb{N}}\{n\}=\mathbb{N}$

となる。
したがって、 $g^{-1}(x)=x$ に注意して、関数 $h:[0,\mathrm{\infty })\to (0,\mathrm{\infty })$ を

$h(x)=\{\begin{array}{cc}x+1& \text{if }x\in \mathbb{N}\\ x& \text{if }x\notin \mathbb{N}\end{array}$

と定めると、$h$ は $[0,\mathrm{\infty })$ から $(0,\mathrm{\infty })$ への全単射になる。

参考文献

• テンプレート:Cite book - 原タイトル：Proofs from The Book。
• テンプレート:Citation

関連項目

• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク

外部リンク

• テンプレート:Kotobank
• テンプレート:MathWorld
• テンプレート:Nlab