🔢 mathematics

Totalities of Infinite Sets

この論文は、カントールの無限集合の濃度概念を維持しつつ、任意の無限集合間の新たな比較を可能にする「総体（totality）」と呼ばれる 3 つの構成と、外測度を用いた 1 つの構成を含む 4 つの構築法を提示し、それによって任意の距離空間の部分集合とべき集合の部分集合との比較を実現するものである。

原著者： William Johnston

公開日 2026-04-24

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： William Johnston

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、数学の「無限」の世界における新しいものさし（「総量：トータリティ」）を提案する面白いアイデアを扱っています。

一言で言うと、**「無限の大きさを測るのに、カントールの『1 つの定規』だけでなく、もっと細かく、多角的な『ものさし』を何本も作ろう」**という提案です。

以下に、専門用語を避け、日常の例えを使ってわかりやすく解説します。

1. 従来の考え方：「カントールの定規」

昔から数学者たちは、無限の集合（数字の集まりなど）の大きさを比べるために、**「カントールの定規」**を使っていました。

仕組み: 2 つの集まりの要素を、1 対 1 でぴったり対応させられる（bijection）なら、それらは「同じ大きさ」とみなします。
結果: この定規では、無限の大きさは大きく分けて 2 つしかありません。
1. 自然数などの「小さい無限」（ $\aleph_0$ ）
2. 実数（直線上の点）のような「大きい無限」（ $\aleph_1$ ）
問題点: この定規では、「実数の集合」の中に含まれる「有理数（分数）」と「無理数」は、どちらも「大きい無限」なので、**「同じ大きさ」**になってしまいます。でも、直感的には「無理数の方が圧倒的に多いはずだ」と感じませんか？

2. 新しいアイデア：「総量（トータリティ）」という新しいものさし

著者のウィリアム・ジョンストンは、カントールの定規を捨て去るのではなく、**「その上に、もっと細かい目盛りを刻んだ新しいものさし」を重ねて使うことを提案しています。これを「総量（Totality）」**と呼んでいます。

① 最初の試み：「余り」で測る

まず、集合そのものの大きさだけでなく、**「その集合の『残り（補集合）』がどれだけ小さいか」**も考慮します。

例え: 大きなケーキ（実数全体）から、少しだけ切り取ったスライス（有理数）と、ほとんど全部残った大きなかけら（無理数）を比べます。
カントールの定規では「どちらも無限だから同じ」と言いますが、新しいものさしでは**「残りのケーキの量」**で区別します。
- 有理数：「ケーキのほとんどが余っている」→ 比較的小さい総量。
- 無理数：「余っているのはごくわずか」→ 比較的大きい総量。
これにより、「同じ無限でも、実は微妙に大きさが違う」という新しい比較が可能になります。

② 2 つ目の試み：「ステップ式」の拡大

次に、**「階段を一段ずつ登るように」**細かく分類する方法です。

仕組み: 最初は「有限」「無限」くらいしか分けませんが、ステップを踏むごとに、無限の中をさらに細かく分割していきます。
例え: 砂漠の砂粒を数えるとき、最初は「砂漠全体」と「砂粒の山」くらいしか見ませんが、ステップを進めるごとに「砂粒の山の中の特定のエリア」「そのエリアの中の小さな集まり」といったように、**「どこまで細かく区別するか」**を段階的に増やしていきます。
これにより、同じ「無限」でも、**「どの段階の細かさで区別するか」**によって、無数の異なる「総量」が生まれます。

③ 3 つ目の試み：「距離」を使った魔法の鏡

最も面白いのが、**「外側からの距離（外測度）」**を使って、異なる種類の集合を比べる方法です。

仕組み: 集合を「点の集まり」として見るのではなく、**「空間上の形」**として捉え、その形が占める「広がり」や「距離」で大きさを測ります。
驚きの発見: 通常、数学の定理（カントールの定理）では、「集合 A の部分集合の集まり（べき集合）」は、元の集合 A よりも**「絶対に大きい」**とされています。
しかし、この新しい「総量」の定規を使ってみると、「実数直線（R）」と「その部分集合の集まり（P(R)）」は、実は「同じ総量（同じ広がり）」を持つことが示されます。
例え: 普通の定規では「大きな箱」は「小さな箱」より大きいですが、この新しい定規では、「箱の中身がどう配置されているか（距離の広がり）」で測ると、「箱そのもの」と「箱の中身全部のリスト」が同じ重さに見える、という不思議な現象が起きます。

④ 最終形：「無限のステップ」の極限

最後に、この「ステップを無限に繰り返す」プロセスを考えます。

無限に細かく分割していくと、最終的に「無限の総量」が連続的な値として定義されます。
これにより、無限の大きさの間に「隙間」がなくなり、より滑らかな比較が可能になります。

3. この研究が意味すること

この論文の結論は、**「数学の定義を、システム自体を変えることなく、少しずつ『微調整（リファインメント）』していくことで、解決できない問題（決定不能問題）を、そのレベルでは解決できる」**という可能性を示唆しています。

例え話: 数学のルール（公理系）は「ゲームのルール」そのものです。ルールを変えずに「ゲームの勝敗の判定基準（定義）」を少しだけ細かく変えるだけで、以前は「どちらが勝ったか分からない」状態だったものが、「この細かさで見れば、A の勝ち」と明確に判断できるようになる、という考え方です。

まとめ

この論文は、「無限」という巨大な山を、1 つの視点（カントール）だけでなく、何千もの異なる角度と拡大鏡（総量）から眺めることで、これまで見えなかった「無限の多様性」を発見しようとする挑戦です。

カントールの定規: 「無限は 2 種類（小さい無限と大きい無限）」
新しい総量: 「無限は、無限の細かさで、無数の種類に分かれる」

数学の楽しさとは、既存のルールを壊さずに、新しい視点を見つけることにある、というメッセージが込められています。

論文「Totalities of Infinite Sets」の技術的サマリー

著者: William Johnston
概要: 本論文は、カントールの無限集合の濃度（cardinality）概念を補完・拡張する新しい枠組み「集合の総量（totality）」を提案するものです。カントールの濃度定義（全単射の存在による同値）を維持しつつ、任意の無限集合間のより詳細な比較を可能にする 4 つの構成法を提示しています。特に、補集合の性質や位相的・測度的な性質を用いて、同じ濃度を持つ集合をさらに細分化し、異なる種類の集合（例えば空間 $X$ とその冪集合 $P(X)$ ）間の比較を可能にする「戦略的総量対（strategic totality pair）」の概念を導入しています。

1. 問題提起 (Problem)

カントール濃度の限界: 従来のカントール濃度（ $\aleph_0, \aleph_1$ など）は、2 つの集合間に全単射が存在するか否かで定義されます。このため、実数直線上の「非可算無限集合」はすべて同じ濃度 $\aleph_1$ として扱われ、その集合の「大きさ」や「構造」の違い（例：補集合が可算か非可算か、測度がどうなるか）を区別できません。
連続体仮説の未解決性: ゼルメロ・フレンケル（ZF）公理系において、連続体仮説（CH）は独立（決定不能）です。これにより、 $\aleph_0$ と $\aleph_1$ の間に存在する濃度の有無は公理系に依存します。
異なる種類の集合の比較: 通常、集合 $X$ とその冪集合 $P(X)$ はカントールの定理により濃度が異なります（ $|P(X)| > |X|$ ）。しかし、位相的・測度的な観点から「大きさ」を再定義し、これらを比較する新しいパラダイムが必要です。

2. 方法論 (Methodology)

著者は、カントールの濃度定義を置き換えるのではなく、それを基盤としつつ、集合の「総量（totality）」という新しい指標を導入する 4 つの構成法を提案しています。

定義 1: 補集合に基づく濃度の拡張

実数集合 $A$ について、その補集合 $R \setminus A$ の性質に基づいて記号を拡張します。

有限集合： $|A| = n$
可算無限： $|A| = \aleph_0$
非可算無限（補集合も非可算）： $|A| = \aleph_1 \setminus \aleph_1$
非可算無限（補集合が可算）： $|A| = \aleph_1 \setminus \aleph_0$
非可算無限（補集合が有限 $n$ ）： $|A| = \aleph_1 \setminus n$
これにより、 $\aleph_1 \setminus \aleph_1 < \aleph_1 \setminus \aleph_0 < \aleph_1 \setminus n$ といった厳密な順序関係が定義されます。

定義 2: ステップバイステップ・パラダイムによる「総量（Totality）」

全単射の存在だけでなく、位相的性質に基づいて集合を段階的に分割するアプローチです。

ステップ 1: 集合が可算か、非可算で補集合が可算か、非可算で補集合も非可算かで $\Omega_0, \Omega_{1/2}, \Omega_1$ に分類。
ステップ 2: さらに、集合を含む閉区間とその補集合の性質（可算か非可算か）に基づき、 $\Omega_{1/3}, \Omega_{2/3}$ などに細分化。
このプロセスは無限に続けられ、各ステップで同じ濃度の集合がさらに細分化された「総量」に分割されます。

戦略的総量対（Strategic Totality Pair）と外測度

異なる種類の集合（ $X$ と $P(X)$ ）を比較するための枠組みです。

メトリック空間 $(X, d)$ におけるメトリック外測度 $m$ を定義します（開球の直径を測度とする）。
ハウスドルフ距離を用いて、冪集合 $P(X)$ 上に同様の外測度 $\mu$ を定義します。
これら 2 つの外測度を用いて、 $X$ の部分集合と $P(X)$ の部分集合の「総量」を $\Omega_m(A)$ や $\Omega_\mu(P)$ として定義し、比較可能にします。
目標: $X$ と $P(X)$ の全空間の総量が等しくなるように設計し、異なる種類の集合間でも意味のあるサイズ比較を可能にします。

定義 3: 無限ステップ・プロセスによる実数値総量

集合を、開区間の可算和で覆う際の「長さの和」に基づいて段階的に分類します。

ステップ $n$ : 集合 $A$ が長さの和が $[k/2^n, (k+1)/2^n)$ に入る開区間の和集合に含まれる場合、総量 $\Omega_{k/2^n}$ を割り当てます。
補集合の分類: 補集合 $A^c$ の長さの和に基づき、 $\Omega_{M-k/2^n}$ などを定義します（ $M$ は「中間」の無限総量）。
極限としての総量: ステップ $n \to \infty$ の極限 $\Omega_{s_\infty}$ を定義します。これにより、ルベーグ外測度と関連付けられつつ、連続体仮説の決定不能性を回避した微細な分類が可能になります。

3. 主要な貢献 (Key Contributions)

濃度の微細化: カントールの濃度（ $\aleph$ ）を維持しつつ、補集合の性質や測度的性質に基づいて無限集合をさらに細分化する「総量（Totality）」の概念を確立しました。
異なる空間間の比較: 集合 $X$ $X$ とその冪集合 $P(X)$ $P (X)$ という、通常は濃度が異なる 2 つの空間を、メトリック外測度とハウスドルフ距離を用いて「戦略的総量対」として比較可能にしました。
- 例: 区間 $A=(-1, 1)$ とその冪集合 $P(A)$ は、カントール濃度は異なりますが、この定義では両方とも総量 $\Omega_2$ を持ち、等しくなります。
決定不能性の回避: 連続体仮説の決定不能性は公理系レベルでは残りますが、定義の「微細化（refinement）」レベルでは、集合の具体的な構造（測度や補集合の性質）に基づいて順序関係を決定できることを示しました。
5 つの構成法の提示: 補集合ベース、ステップバイステップ、外測度ベース、無限ステップ・極限ベースなど、多角的なアプローチで無限集合の「大きさ」を再定義する手法を提示しました。

4. 結果 (Results)

順序関係の確立: 有限数、 $\aleph_0$ 、そして様々な $\Omega_s$ 値（例： $\Omega_0 < \Omega_{1/2} < \Omega_1 < \Omega_M < \Omega_{M-1}$ など）の間で厳密な順序関係が定義されました。
定理 1: メトリック空間 $X$ とその冪集合 $P(X)$ に対して、メトリック外測度とハウスドルフ外測度を用いることで、両者の部分集合間で一貫した総量比較が可能であることが証明されました。
定理 2: 極限としての総量において、 $\Omega_{-1}$ （可算無限）と $\Omega_0$ の間に総量は存在せず、任意の 2 つの非可算無限総量の間には常に別の総量が存在することが示されました（濃密性）。
具体例:
- 正規数（Normal numbers）の集合 $N$ は、非可算ですが、その補集合も非可算であるため、総量は $\aleph_1 \setminus \aleph_1$ （または $\Omega$ 値）となり、無理数全体の集合とは区別されます。
- カントール集合は総量 $\Omega_0$ （ステップ 1 基準）、有界区間は $\Omega_{2/3}$ などに分類されます。

5. 意義 (Significance)

数学的直感の拡張: カントールの濃度だけでは捉えきれない「無限の大きさ」のニュアンス（例：「どのくらい稠密か」「補集合がどのくらい小さいか」）を定量的に評価する新しい言語を提供します。
公理系と定義の分離: 集合論の公理系（ZF）における決定不能問題（連続体仮説など）を解決するのではなく、定義の微細化によって、特定の文脈や構造において決定不能性を回避し、より具体的な比較を可能にするアプローチを示唆しています。
応用可能性: ヒルベルト空間やバナッハ空間（例： $L^2(\mathbb{R})$ ）とその冪集合など、より高次元の関数空間における集合の比較にも応用可能であり、解析学や位相幾何学における新しい視点を提供します。
教育的・概念的価値: 「無限」を単一の数値（ $\aleph$ ）ではなく、多層的な構造（総量）として捉えることで、数学的直感を豊かにし、無限集合の理解を深めることを目的としています。

結論:
本論文は、カントールの古典的な濃度理論を否定するものではなく、それを土台としつつ、集合の位相的・測度的性質を統合した「総量（Totality）」という概念を提案することで、無限集合の比較をより豊かで多層的なものにすることを目指しています。特に、異なる種類の集合（空間とその冪集合）を同じ尺度で比較できる点は、集合論と測度論の境界領域における重要な発展です。