|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
ベルンシュタインの定理（カントール＝ベルンシュタイン＝シュレーダーの定理、シュレーダー＝ベルンシュタインの定理、カントール＝ベルンシュタインの定理とも）とは、集合 ''A'' から集合 ''B'' に単射 があり、集合 ''B'' から集合 ''A'' へも単射があれば、集合 ''A'' から集合 ''B'' への全単射があるというものである。濃度においては、これは |''A''| ≤ |''B''| かつ |''B''| ≤ |''A''| ならば |''A''| = |''B''| である、ということを言っているわけで、非常に基本的な要請がこの定理によって満たされることになる。 == 歴史 == 数学ではよくあることだが、この定理は歴史的に込み入った事情を経て成立しており、歴史的経緯を正確に反映した名前を決めるのは難しい。伝統的によく用いられていた「シュレーダー＝ベルンシュタイン」は1898年に独立に公刊された2つの証明の著者を反映している。一方、歴史的に最初（1895年）にこの定理の主張を初めて発表したカントールの名前が加えられたり、シュレーダーの証明には誤りが含まれていた〔 〕ためシュレーダーの名前は加えられなかったり、という事情がある。さらに、歴史的にこの定理を初めて証明したデデキントの名前は普通加えられていない。 時系列をまとめると次のようになる。 * 1887年 リヒャルト・デデキントがこの定理を証明するが発表せず * 1895年 ゲオルク・カントールの最初の集合論と超限数の論文に基数の比較可能性の帰結としてこの定理の主張が述べられる * 1896年 エルンスト・シュレーダーが証明を発表する * 1897年 カントールのセミナーに参加していた学生だったフェリックス・ベルンシュタインが証明を付ける * 1897年 ベルンシュタインの訪問を受けた後でデデキントが独立に2つ目の証明を見つける * 1898年 エミール・ボレルの著書〔の中で（1897年にチューリッヒでカントールから教わった）ベルンシュタインの証明が述べられる デデキントの2つの証明はどちらも、自身によるモノグラフ中で示された、 : に相当する命題に基づくものだった。カントールはこの定理に相当する現象を1882年か83年ごろには集合論と超限数の研究の過程で（選択公理の仮定の下で、ということになるが）発見していたとされる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ベルンシュタインの定理」の詳細全文を読む スポンサード リンク
|