ガリレオのパラドックス計算機の使い方
このガリレオのパラドックス計算機では、有限集合と無限集合の比較にある不思議さを確認できます。「ガリレオのパラドックス」「ガリレオの逆説」「自然数 平方数 一対一対応」「無限集合 濃度」を学ぶ際に役立ちます。
- 上限Nを入力する — 1〜10,000の整数を入力し、調べる有限範囲を決めます。
- 個数を確認する — 自然数はN個、N以下の平方数は
⌊√N⌋個と表示されます。 - 比率を見る — 平方数／自然数の比率を確認します。Nが大きいほど、この有限範囲での比率は0%へ近づきます。
- 対応表を確認する —
n ↔ n²の表から、無限の場合に成り立つ一対一対応を見ます。
計算式と考え方
ガリレオは1638年に、自然数と平方数の関係を観察しました。
有限範囲 [1, N]
自然数の個数 = N
平方数の個数 = ⌊√N⌋
比率 = ⌊√N⌋ / N → N→∞で0
無限集合での全単射
f: ℕ → S, f(n) = n²
→ |ℕ| = |S|（どちらも可算無限）有限の範囲では平方数は自然数の真部分集合であり、個数も少なくなります。しかし無限集合では、要素を余りなく一対一に対応させられるかどうかで濃度を比較します。カントールはこの考え方を濃度として定式化し、全単射があれば2つの集合は同じ大きさとしました。
活用例
- 集合論の入門 — 無限集合で直感的な大小比較が成り立たない理由を学びます。
- 可算無限と全単射 — 自然数と平方数の対応を具体例として確認します。
- 数学コンテスト・授業 — 平方数の性質と対応の議論を練習します。
- 数学基礎論・計算機科学 — 可算性や列挙可能性の概念へつなげます。
このツールは表示のために1〜10,000の整数を扱いますが、数学的な結論は上限のないすべての正の整数へ一般化されます。