エルンスト・ツェルメロとは？
えるんすとつぇるめろ
エルンスト・ツェルメロは、20世紀初頭に活躍したドイツの数学者で、集合論の公理化に決定的な貢献をした人物です。
エルンスト・ツェルメロ（Ernst Zermelo、1871〜1953）はドイツ出身の数学者で、現代集合論の基礎を築いた人物として広く知られています。
ツェルメロが最も重要な功績を残したのは集合論の公理化です。1908年に発表した「ツェルメロの公理系」は、カントールの素朴集合論に潜むパラドックスを回避するために設計されたもので、後にフレンケルらによって補強され「ZF公理系」（ツェルメロ＝フレンケル集合論）として現代数学の標準的な基礎となりました。
また、1904年には「選択公理」を明示的に定式化し、それを用いて「整列定理（すべての集合は整列可能である）」を証明しました。選択公理はその後、数学界で長年にわたる論争を巻き起こし、数学基礎論における重要な議題となりました。
ツェルメロの業績を一言でまとめると次の通りです。
- 集合論の公理化（ZF集合論の土台）
- 選択公理の明示的な定式化
- 整列定理の証明
- ゲーム理論への貢献（チェスの有限性定理）
数学基礎論が激しく議論された時代に、厳密な公理的方法を推し進めた先駆者として、現代数学に不可欠な遺産を残した人物です。
使い方・例文
「ZF公理系」という言葉を聞いたとき、その「Z」がツェルメロの頭文字であることを知ると、集合論の歴史的背景をより深く理解できます。
この用語をシェア
最終更新: