2025-11-10T02:31:10.760735

A Non-Constructive Proof of Cantor's Theorem

Salehi

We offer a new proof (and review some known proofs) of Cantor's Powerset Theorem (1891), which concerns the non-existence of a surjective function from a set onto its powerset.

academic

カントールの定理の非構成的証明

基本情報

論文ID: 2510.14534
タイトル: A Non-Constructive Proof of Cantor's Theorem
著者: Saeed Salehi (Plaksha University)
分類: math.LO (数学論理)
発表日: 2025年10月16日 (arXiv プレプリント)
論文リンク: https://arxiv.org/abs/2510.14534

要約

本論文は、カントールの冪集合定理（1891年）の新しい証明を提供し、既知の証明方法をいくつか検討している。この定理は、集合からその冪集合への全射関数の非存在性に関するものである。

研究背景と動機

問題の重要性

カントールの定理は集合論および数学基礎における中核的定理であり、無限の階層的構造を明らかにしている。この定理は異なる大きさの無限集合が存在することを示しており、無限の概念を哲学的領域から厳密な数学的枠組みへもたらした。

既存方法の検討

著者は既知の複数の証明方法を検討している：

カントール原始証明：著名な対角線論法を使用し、反対角集合 $D_0 = \{a \in A | a \notin f(a)\}$ を構成する
構成的証明：二項関係 $R \subseteq A^2$ を定義することにより、集合 $D_n$ と $D_∞$ を構成する
非構成的証明：単射 $h : P(A) → A$ が存在しないことを証明するが、選択公理が必要である

研究動機

複数の証明方法が既に存在するにもかかわらず、著者は提案する新しい非構成的証明方法が既知の「様々な証明」のリストに未だ現れていないと考え、補完的価値があると主張している。

核心的貢献

新しい非構成的証明方法の提案：集合を有限部分集合に分割することによってカントールの定理を証明する
選択公理の使用箇所の明確化：分割過程および部分集合選択過程における具体的応用
カントール原始証明との関連性の確立：部分集合が単点集合である場合に古典的対角線論法へいかに退化するかを説明する
完全な理論分析の提供：有限集合と無限集合の両方の場合を網羅する

方法の詳細

課題の定義

カントールの定理を証明する：任意の集合 $A$ に対して、 $A$ からその冪集合 $P(A)$ への全射は存在しない。

証明の構造

有限集合の場合

有限集合に対して鳩の巣原理を使用する：

$A$ が $n$ 個の要素を持つ場合、 $P(A)$ は $2^n$ 個の要素を持つ
帰納法により $2^n > n$ が常に成立することを証明する

無限集合の場合

これが本論文の中核的革新部分である：

集合の分割： $A$ を有限部分集合に分割する： $A = \bigcup_{i \in I} A_i$ 、ただし $A_i$ は非空で互いに素である
局所関数の構成：各 $i \in I$ に対して、 $f_i : A_i → P(A_i)$ を $f_i(x) = f(x) ∩ A_i$ として定義する
局所反例の構成：各 $A_i$ が有限であるため、 $f_i$ の値域に含まれない部分集合 $B_i ⊆ A_i$ が存在する
大域的反例の構成： $B = \bigcup_{i \in I} B_i$ とする
矛盾論法：ある $α ∈ A$ に対して $B = f(α)$ が成立すると仮定すると、唯一の $κ ∈ I$ が存在して $α ∈ A_κ$ となる。この場合： $B_κ = B ∩ A_κ = f(α) ∩ A_κ = f_κ(α)$ これは $B_κ$ が $f_κ$ の値域に含まれないという選択に矛盾する。

技術的革新点

分割統治戦略：無限集合の問題を有限集合の問題に分解する
選択公理の明確な使用：
- 第一の使用： $A$ を有限部分集合族 $\{A_i\}_{i \in I}$ に分割する
- 第二の使用：各 $i$ に対して部分集合 $B_i$ を選択する
古典的証明との統一： $A_i$ が単点集合である場合、 $D_0 = \bigcup_{a \in A}[\{a\} \setminus f(a)]$ を得、これはカントールの反対角集合である