ガリレオの無限のパラドックス
ガリレオは自然数それぞれをその平方と組にし、1と1、2と4、3と9のように、どちらの列も先に尽きないことに気づきました。上限を10000までで選ぶと、その対応を一つずつすべて書き出します。ブラウザで無料で使えます。
- 無料
- ブラウザで動作
- 登録不要
- データは端末の外に出ません
無料で実行
計算例
- 上限
- 5
- 数量
- 5
ガリレオの無限のパラドックスは、無限集合に関する最も初期の厳密な考察の一つであり、1638年のガリレオの著書『新科学論議』に記されています。完全平方数は自然数の中でますます希少になっていきますが、ガリレオは各自然数にちょうど一つの平方を対応させました。すなわち1には1、2には4、3には9という具合に、永遠に続きます。どちらの集合も先に尽きることがないため、無限の場合には一方が他方の真部分集合であっても、二つの集合は同じ大きさを持つのです。このツールは、1からユーザー様が選択した正の整数の上限までのすべての自然数について、その対応関係を明示的に一覧表示いたしますので、対応を直接に検査し、引用し、検証していただけます。
ガリレオが実際に観察したこと
ガリレオ・ガリレイは最後の著書の中で、登場人物サルヴィアーティの口を通じて、心をかき乱す議論を展開いたしました。一方で、完全平方数は自然数の中のごく少数派です。最初の百の自然数の中で平方数は十個にすぎず、最初の一万の中では百個にすぎないため、その割合はゼロに向かって下がり続けます。
他方で、すべての自然数には平方があり、すべての平方数にはちょうど一つの正の平方根がありますので、自然数と平方数の間には完全な一対一の対応が成立します。二つの集まりの要素を、どちらの側にも余りが出ないように一つずつ対応させることができるならば、どちらの集まりも正直に「大きい」とは言えない、とガリレオは述べました。
彼は「より多い」「より少ない」「等しい」という通常の言葉は、有限の集まりに適用されるようには無限の集まりには適用されないと結論づけ、その問題を真のパラドックスとして残しました。このツールが生成する有限の部分列は、その議論の具体的で検証可能な影そのものです。
どのような正の上限に対しても、対のリストは各数をその平方と並べて示し、どちらの側にも重複も欠落もございません。
一対一対応を有限で可視化する
一対一対応、すなわち全単射とは、最初の集まりのすべての要素が二番目の集まりのちょうど一つの要素と対応づけられ、どちらの集まりにも未対応の要素や二重に対応した要素がないような対応のことです。各自然数nをその平方n²に送る写像は、まさにこのような対応です。異なる出発数は常に異なる平方を与え、各平方は一つの正の平方根から生じます。
このケイパビリティに上限をお送りいただくと、応答には1からその上限までの自然数ごとに一つのレコードが含まれ、各レコードにはその数とその平方が保持されます。対を順に見ることで、二つの決定的な性質を検査によって確認できます。第一に、nの列は範囲内のすべての自然数をちょうど一度ずつ訪れるため、対応は全域的かつ一価です。
第二に、平方の列には重複がありません。二乗する関数が正の整数上で狭義単調増加だからです。一万までの任意の上限が受け付けられ、出力は全体を読み通せるほど小さく保たれながら、密度の議論を鮮やかに示します。
最大の上限では、平方数は範囲のわずか一パーセントを占めるにすぎません。
ガリレオのパラドックスからカントールの無限集合論へ
ガリレオはこのパラドックスを、無限が日常的な比較を拒むという警告として扱い、数学は約二百五十年間この問題をそのままにしていました。1870年代にゲオルク・カントールはこの観察を逆転させ、それを定義へと変えました。有限であれ無限であれ、二つの集合の間に一対一対応が存在するとき、かつそのときに限り、両者は同じ濃度を持つという定義です。
この定義の下では、自然数と完全平方数は実際に同じ大きさであり、偶数と整数も同様です。これはガリレオが受け入れるには奇妙すぎると感じた事実そのものです。カントールはさらに、すべての無限集合が自然数と対応づけられるわけではないこと、実数は有名な反例であることを証明しました。
したがって無限には結局のところ異なる大きさがあり、数え上げではなく対応づけによって測られるのです。このツールが生成するような明示的な有限の対応づけを実際に行うことは、その理論への標準的な教育上の入口です。1-1、2-4、3-9というパターンは目に見える全単射であり、それをどんな限界を超えても心的に拡張することこそ、カントールが形式化した操作そのものです。
エラーの動作も単純で決定的です。
活用例
集合論と無限の授業
全単射やカントールの濃度の概念を導入する教師の方々は、黒板に手で描く代わりに、選択した上限に対する明示的な数と平方の対応づけを提示できます。
数学史の読書会
ガリレオの『新科学論議』を読み進めるグループは、サルヴィアーティが述べる対応関係を正確に再現し、任意の有限範囲内での平方数の密度を確認できます。
平方表のプログラムによる生成
1からある境界までのnについてnとn²を並べた信頼できる表を必要とするノートブック、デモ、テストフィクスチャは、一回の決定的な呼び出しでそれを取得できます。
よくある質問
ガリレオの無限のパラドックスとは何ですか?
ガリレオは1638年に、完全平方数が自然数の中でますます希少になるにもかかわらず、各自然数nはその平方n²と正確に対応するため、二つの無限の集まりを一対一に対応させられることを観察しました。これは「より多い」「より少ない」という日常的な考えにとって矛盾です。
なぜこれは二つの集合が同じ大きさであることを示すのですか?
この対応づけは全単射だからです。すべての自然数がnの列にちょうど一度ずつ現れ、一覧にあるすべての平方が平方の列にちょうど一度ずつ現れます。どちらの側にも未対応や重複がない以上、どちらの集まりも他方を数で上回ることはできません。
ガリレオのパラドックスはいつ、誰が書き残したのですか？
ガリレオ・ガリレイ本人が、1638年の最後の著書『新科学対話』で述べました。登場人物サルヴィアティに議論を語らせ、本物のパラドックスとして結論を出さずに残しています。
最初の100個の数のうち平方数はいくつありますか？
10個だけです。最初の10000個まで広げても100個しかなく、割合はゼロに向かって下がり続けます。それでも、どの自然数にも必ず自分の平方があります。
一対一の対応とは何ですか？
一方の集まりのどの要素も、もう一方のちょうど一つの要素と組になり、余りも重複もない対応のことです。自然数をそれぞれの平方に対応させると、まさにこの形になります。
関連ツール
開発者向け — APIアクセス
このページの機能はすべてAPIからも利用できます。自社システムに組み込みたいチーム向けのセクションです。それ以外の方は上のツールをそのままお使いください。
エンドポイント
Bearerトークンで認証し、POST1回でタスクをキューに登録します。結果はWebhookまたは署名付きリンクで受け取れます。
お使いのスタックから呼び出す
curl -X POST https://api.kit.forhosting.com/math/galileos-paradox-of-infinity \
-H "Authorization: Bearer $KIT_KEY" \
-H "Content-Type: application/json" \
-d '{"limit":10}'const res = await fetch("https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", {
method: "POST",
headers: {
"Authorization": `Bearer ${process.env.KIT_KEY}`,
"Content-Type": "application/json"
},
body: JSON.stringify({
"limit": 10
})
});
const { task_id } = await res.json();import os, requests
res = requests.post(
"https://api.kit.forhosting.com/math/galileos-paradox-of-infinity",
headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
json={
"limit": 10
},
)
task_id = res.json()["task_id"]<?php
$res = file_get_contents("https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", false, stream_context_create([
"http" => [
"method" => "POST",
"header" => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
"content" => '{"limit":10}',
],
]));
$task = json_decode($res, true);body := bytes.NewBufferString(`{"limit":10}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/math/galileos-paradox-of-infinity", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)リクエスト例
{
"limit": 10
}レスポンス例
{
"task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
"type": "math.galileos_paradox_of_infinity",
"status": "queued",
"_links": {
"result": "/tasks/tsk_…/result"
}
}非同期APIです。task_idは即時に返ります。ポーリングは1秒あたり1リクエストまでです。
料金
単価はすべて公開しています。トークン換算や独自クレジットはありません。失敗したタスクは課金されません。
制限
max_limit | 10000 |
エラー
| HTTP | コード | 意味 |
|---|---|---|
401 | unauthorized | APIキーが無効か、指定されていません。Authorizationヘッダーを確認してください。 |
402 | insufficient_balance | 残高が不足しています。チャージ後に再度お試しください。 |
404 | unknown_type | 指定されたタスクタイプは存在しません。タイプ名を確認してください。 |
429 | rate_limited | リクエストが多すぎます。しばらく待ってから再度お試しください。 |
技術的な注記
ガリレオのパラドックスからカントールの無限集合論へ
正の整数でない上限、あるいは一万を超える上限は、問題のフィールド名を示すinvalid_inputエラーで拒否されます。
技術的な質問
このAPIで対応づけを取得するにはどうすればよいですか?
正の整数のフィールド'limit'を含むJSONボディをmath.galileos_paradox_of_infinityにお送りください。応答には、1からlimitまでの各nについてその平方を含む一つのレコードからなる対の一覧と、対の個数が含まれます。
どのような入力値が受け付けられますか?
1から10000までの正の整数のみです。ゼロ、負の値、非整数、および最大値を超える値は、フィールド'limit'の名前を示すinvalid_inputエラーで拒否されます。
各呼び出しの料金はいくらですか?
このケイパビリティは1件あたり$0.002で、解析ティアAの解析系ケイパビリティのカタログ最低価格です。同じ対応づけロジックはブラウザのウィジェットでも無料で動作いたします。