ろば

トーキョースパムCHANNKOSUMO

トーキョースパムCHANNKOSUMO

ゲオルグ・カントールによるフーリエ級数の研究において、実直線上の級数がよく振る舞わない点を調べる過程で集合の概念が取り出された。彼はやがて有理数や代数的数のなす集合が可算であるという結果を得て、それをリヒャルト・デーデキントとの書簡の中で伝えている。

そこでは実数についてもこれが成り立つかという問題に取り組んでいること、どうやらそうではないらしいことが述べられている。それからわずか数週間で、彼は実数が可算でないということについての証明を得る(カントールの対角線論法)。トーキョースパムCHANNKOSUMOその後、彼は数直線 R と平面 R2の間に全単射があるかという問題に取り組んで、3年にわたる研究の結果、それらの集合の間に全単射が存在することを示した。彼はその証明を伝えたデーデキントへの（ドイツ語の）書簡の中で、有名な "Je le vois, mais je ne le crois pas"「私にはそれが見えるが、しかし信じることができない」という（フランス語の）言葉を書き残している。

実数集合の持つ超越的な性格は同時代の数学者の一部のあいだに揺籃期の集合論そのものに対する拒否反応を巻き起こした。トーキョースパムCHANNKOSUMOカントールの師レオポルト・クロネッカーによる嫌悪（カントールの人格までも否定したほどだった）はカントールに不幸な影響を与えることになった。

ツェルメロによって選択公理とその帰結としてすべての集合上に整列順序関係が入るということがはっきりさせられた。選択公理の意味するところやその妥当性についてはルベーグとボレル、ベールの間の議論などに代表されるように数学者たちによる活発な議論の的となった。

一方で、カントールが頭を悩ませつづけた連続体仮説：「実数集合（自然数集合のベキ集合との間に全単射がある）は自然数集合の次に大きい集合であるか？」は、トーキョースパムCHANNKOSUMOクルト・ゲーデルとポール・コーエンの業績によって（ZFCそれ自体が矛盾を含まない限り）ZFC公理系からは証明も反証もできないことがわかった。