[論文レビュー] Wetzel's Problem, Paul Erdos, and the Continuum Hypothesis: a mathematical mystery

Stephan Ramon Garcia, Amy L. Shoemaker|arXiv (Cornell University)|Jun 19, 2014

Quantum Mechanics and Applications参考文献 2被引用数 3

ひとこと要約

この論文は、可算な点毎の値を持つ解析関数族が自身で可算でなければならないかどうかという Wetzel の問題の歴史的・数学的起源を調査している。その結果、パール・エルデシュがこの問題の答えが連続体仮説の否定と同値であることを証明したことが明らかになった。研究は、スタンフォード大学でジョン・E・ウェーツェルの学位論文に始まり、イリノイ大学のボニヤード・ブックに至る問題の伝達経路をたどり、リー・A・ルーベルがおそらくその記録を行った。最終的にエルデシュが深いつながりを持つ集合論的技法を用いて問題を解決し、ZFCにおいて問題が独立であることが示された。

ABSTRACT

This is a short historical note concerning the evolution of Wetzel's problem and Erdos' solution.

研究の動機と目的

• ジョン・E・ウェーツェルの調和関数に関する学位論文に始まるWetzelの問題の歴史的ルーツを再構築すること。
• パール・エルデシュが1963年の論文で引用した「アーバン・プロブレムブック」の問題の出典を特定し、実際にはイリノイ大学のボニヤード・ブックに記録されていたこととの矛盾を解明すること。
• エルデシュの解決が、Wetzelの問題への肯定的答えが連続体仮説の否定と同値であることを示しており、これは最初にリー・A・ルーベルによってボニヤード・ブックに記録された問題に基づいていることを確立すること。
• エルデシュがどのように問題に出会ったかを解明し、ウルバナ＝シャンペンからアーバンに問題を伝えた最も可能性の高い記録者・伝達者としてリー・A・ルーベルを特定すること。
• Wetzelの問題がZFCにおいて決定不能であることを示すこと。これは連続体仮説の否定と論理的に同値であるためである。

提案手法

• ミシガン大学ベントリー歴史図書館の大学図書館資料、個人の手紙、デジタル化された記録を用いた歴史的アーカイブ調査。
• リー・A・ルーベルの手書きとボニヤード・ブックの記録を比較する手書き文字分析により、最初のWetzel問題記録の筆者を特定する。
• 出版日、会議記録、訪問記録の照合により、1963年9月にエルデシュがアーバンを訪問した際のタイムラインを再構築する。
• ボブ・ブレイクレーとボブ・ディクソンの貢献を含むボニヤード・ブックの内容と構造の分析により、問題の定式化の進化をたどる。
• 数学的論理を用いてエルデシュの証明を解釈し、点毎の可算性の下での関数族の可算性が連続体仮説の否定と論理的に同値であることを示す。
• ピーター・デューレン、ジョン・P・ダングェロ、およびウェーツェル自身の証言を照合し、再構築された物語の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ジョン・E・ウェーツェルが1961年にスタンフォードで提示したリーマン面上の調和関数に関する元々の質問が、解析関数に関する問題へとどのように進化したか。
• RQ2 エルデシュが「アーバン・プロブレムブック」として引用した問題の実際のルーツは何か。
• RQ3 イリノイ大学のボニヤード・ブックにWetzelの問題を記録した人物は誰か。
• RQ4 パール・エルデシュはどのように問題を解決したのか。ボニヤード・ブックは彼の発見においてどのような役割を果たしたか。
• RQ5 問題が実際にはUIUCのボニヤード・ブックに記録されていたのにもかかわらず、なぜエルデシュは「アーバン・プロブレムブック」と引用したのか。

主な発見

• ジョン・E・ウェーツェルが当初提起した問題は、解析関数ではなくリーマン面上の調和関数に関するものであり、1961年にスタンフォード大学での学位論文作成中に提起された。
• 手書き文字分析と歴史的文脈に基づき、リー・A・ルーベルがイリノイ大学のボニヤード・ブックにWetzelの問題の最初の記録を行った可能性が最も高いと特定された。
• パール・エルデシュは1963年9月にアーバンを訪問した際、おそらくボニヤード・ブックからコピーされた問題のコピーを手に入れたものとされ、失われた数学クラブの本からは得てはいなかった。
• エルデシュは、Wetzelの問題への肯定的答えが連続体仮説の否定と論理的に同値であることを証明し、問題がZFCにおいて独立であることを示した。
• ボブ・ディクソンは連続体仮説を仮定して部分的な結果を得ており、後にエルデシュの完全な解決によって上書きされた。
• エルデシュの論文の最終版は1963年9月18日にミシガン数学ジャーナルに提出された。これはアーバン訪問の直後であり、問題が彼の滞在中にすでに知られていた可能性を示唆している。