---
title: "代数数的可数性"
created: 2026-06-07
updated: 2026-06-07
type: concept
tags: [代数, 集合论, 无穷, 数学史]
---

# 代数数的可数性

代数数集合是可数的——即代数数与自然数之间存在一一对应。这一结论最初由 [[richard-dedekind|狄德金]] 在1873年证明，但在 [[georg-cantor|康托尔]] 1874年的著名论文中，这一证明被康托尔以自己名义发表而未给出处。

## 什么是代数数

**代数数**（algebraic number）是整系数多项式方程的根。即存在整数 $a_0, a_1, \ldots, a_n$（不全为零），使得：

$$a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0 = 0$$

例如：
- 所有有理数都是代数数（一次方程的根）
- $\sqrt{2}$ 是代数数（$x^2 - 2 = 0$ 的根）
- 黄金比例 $\phi$ 是代数数（$x^2 - x - 1 = 0$ 的根）

## 狄德金的证明（1873年）

核心思路：
1. 每个代数数对应一个整系数多项式
2. 每个多项式可以用其系数（整数元组）唯一标识
3. 所有整数的有限元组是可数的
4. 因此所有代数数也是可数的

狄德金在1873年11月30日写给康托尔的信中详细给出了这个证明（这封信失踪150年后于2025年被重新发现）。

## 康托尔的署名争议

康托尔1874年发表于《克雷勒杂志》的论文将代数数的可数性作为"特洛伊木马"——放在论文前半部分以避开反无穷派 [[leopold-kronecker|克罗内克尔]] 的警觉。论文后半部分则是康托尔独立证明的实数不可数性。

康托尔刻意抹去了狄德金贡献的痕迹，二人友谊此后中断。详见 [[cantor-stole-infinity|窃取无穷的数学家]]。

## 为何这一结果重要

代数数包含大量"复杂"的数，直觉上似乎比整数"多得多"。但狄德金的证明表明，从集合大小的角度看，代数数和整数一样"少"（都是可数的）。这一反直觉的结果是 [[infinity-hierarchy|无穷层级体系]] 的第一个关键组件，与实数不可数性结合，才完整证明了"存在不同大小的无穷"。

## 相关条目

- [[infinity-hierarchy|无穷层级体系]]
- [[countable-uncountable-infinity|可数与不可数无穷]]
- [[richard-dedekind|里夏德·狄德金]]
- [[georg-cantor|格奥尔格·康托尔]]
- [[cantor-stole-infinity|窃取无穷的数学家]]
