首页 >
康托尔定理
✍ dations ◷ 2025-06-28 03:43:27 #康托尔定理
康托尔定理指的是在ZFC集合论中,声称任何集合A的幂集(所有子集的集合)的势严格大于A的势。康托尔定理对于有限集合是明显的,但是令人惊奇的是它对于无限集合也成立。特别是,可数无限集合的幂集是不可数无限的。要展示康托尔定理的对于无限集合的有效性,只需要测试一下下面证明中无限集合。设f是从A到A的幂集的任何函数。必须证明这个f必定不是满射的。要如此,展示一个A的子集不在f的像中就足够了。这个子集是要证明B不在f的像中,假设B在f的像中。那么对于某个y ∈ A,我们有f(y) = B。现在考虑y ∈ B还是y
∉
{displaystyle notin }
B。如果y ∈ B,则y ∈ f(y),但是通过B的定义,这蕴涵了y
∉
{displaystyle notin }
B。在另一方面,如果y
∉
{displaystyle notin }
B,则y
∉
{displaystyle notin }
f(y)并因此y ∈ B。任何方式下都是矛盾。要掌握这个证明,让我们检查X是可数无限时的特殊情况。不失去一般性,我们采用自然数集合,X = N = {1, 2, 3,...}。假设N 双射于它的幂集P(N)。让我们看一个样例P(N):P
(
N
)
=
{
∅
,
{
1
,
2
}
,
{
1
,
2
,
3
}
,
{
4
}
,
{
1
,
5
}
,
{
3
,
4
,
6
}
,
{
2
,
4
,
6
,
.
.
.
}
,
.
.
.
}
{displaystyle P(mathbb {N} )={varnothing ,{1,2},{1,2,3},{4},{1,5},{3,4,6},{2,4,6,...},...}}P(N)包含无限的N的子集,比如所有偶数的集合{2, 4, 6,...},还有空集。现在让我们看一下P(N)的元素的样子,我们尝试给每个N的元素配对上每个P(N)的元素来证实这些无限集合是双射的。换句话说,我们将尝试对N的每个元素配对上来无限集合P(N)的元素,使得这两个集合中没有元素是未配对的。配对元素的尝试将是如下样子的:X
{
1
⟺
{
4
,
5
}
2
⟺
{
1
,
2
,
3
}
3
⟺
{
4
,
5
,
6
}
4
⟺
{
1
,
3
,
5
}
⋮
⋮
⋮
}
P
(
N
)
{displaystyle X{begin{Bmatrix}1&Longleftrightarrow &{4,5}\2&Longleftrightarrow &{1,2,3}\3&Longleftrightarrow &{4,5,6}\4&Longleftrightarrow &{1,3,5}\vdots &vdots &vdots end{Bmatrix}}P(mathbb {N} )}某些自然数被配对上不包含它们的子集。例如,在我们的例子中,数1被配对上子集{4, 5}。其他自然被配对上包含它们的子集。比如数2被配对上子集{1, 2, 3}。譬如说,1被配对给{4,5} ,但1不在{4,5}里。我们说,1不是自私的。同样地, 3 和4 也同样不是自私的。使用这个想法,让我们建造一个自然数的特殊集合。这个集合将提供我们所求索的矛盾。设D所有不自私的自然数的集合。通过定义,我们的幂集P(N)必定包含这个集合D作为元素。所以,D必定被配对上某个自然数。但是这导致了一个问题 -- 哪个自然数和D配对呢?它不能是D的成员,代表它不是自私的。因为D被特殊构造为只包含那些不自私的自然数。在另一方面,如果配对于D的自然数不包含在D中,则再次通过D的定义,它必定包含在D。这是矛盾因为这个自然数不能同时在D的内部和外部。所以,没有自然数可以配对于D,而我们的最初假定在N和P(N)之间有双射是有矛盾的。通过这个反证法我们证明了N的势和P(N)的势不能相等。我们还知道了P(N)的势不能小于N的势,因为根据定义P(N)包含所有单元素集合,而这些单元素集合形成在P(N)内的N的复制品。所以只剩下一个可能,就是P(N)的势严格大于N的势,这就证明了康托尔定理。康托尔在1891年发表的论文《Über eine elementare Frage der Mannigfaltigkeitslehre》中本质上给出了这个证明,实数不可数的对角论证法也首次在这里出现。在这个论文中给出的这个论证的版本使用的是在集合上的指示函数而不是集合子集。他证明了如果f是定义在X上的函数,它的值是在X上的二值函数,则二值函数G(x) = 1 − f(x)(x)不在f的值域中。罗素在《数学原理》(1903, section 348)中给出了一个非常类似的证明,在这里他证明了命题函数要比对象多。“假设所有对象和所有和它们相关的命题函数之间有一种对应,并令phi-x为x所对应的命题函数。则'非-phi-x(x)',也即"phi-x对于x不成立",是一个在这个对应中没有出现的命题函数;因为它在phi-x假的时候为真,在phi-x真的时候为假,因此它和任何一个x所对应的phi-x不同”。他在康托尔之后贡献了这个想法。恩斯特·策梅洛在他1908年发表的成为现代集合论基础的论文《Untersuchungen über die Grundlagen der Mengenlehre I》中有一个定理(他称之为康托尔定理)同于上面的论证形式。康托尔定理的一个推论请参见beth数。
相关
- 聚合酶链式反应聚合酶链式反应(英文:Polymerase chain reaction,缩写:PCR,又称多聚酶链式反应),是一项利用DNA双链复制的原理,在生物体外复制特定DNA片段的核酸合成技术。通过这一技术,可在短时间内
- 心跳加剧心跳过速(tachycardia、tachyarrhythmia),也称心动过速、心跳过快。是指心跳速度超出了正常范围,达到每分钟一百次以上的现象。剧烈的体育运动、紧张、焦虑或服用某些药物等可能
- 原罪原罪,或称原罪论,是部分基督教具基本教义派的神学家提倡的神学理论,其他的亚伯拉罕宗教如犹太教与回教则无原罪一说。原罪的定义上一般而言是指希伯来圣经记载的第一个男人亚当
- 厌恶疗法厌恶疗法(Aversion therapy)是以古典制约理论为基础的心理治疗疗法。治疗者利用某些非制约刺激(如反胃、呕吐),以古典制约的原理使某些中性刺激(如性行为)转变为制约刺激,使被治疗者
- 盲点视网膜的后方称为眼底,在正对视神经起始处,有一呈白色的圆形隆起,称为视神经盘(又称视神经乳头)。此处是神经纤维进出的地方,没有感光细胞,不能感应到光线,故称为盲点。影像能够在盲
- 脓疱病脓痂疹(Impetigo)是涉及表层皮肤的细菌感染,常见脸、手臂或是脚上出现淡黄色痂皮,发生在腹股沟和腋窝的大型水泡较少见。病灶可能有疼痛或是搔痒感,不常引起发烧。脓痂疹通常由金
- 妊娠期妊娠期是指雌性哺乳动物从受精至分娩的这段时间。 不同的动物的妊娠期是不同的。大多数物种妊娠期的长短取决于胎儿出生时的体型。小型动物的妊娠期通常比大型动物短。 例
- 十二指肠球部十二指肠(拉丁语:Duodenum)是多数高等脊椎动物小肠的始段。哺乳动物、爬行动物和鸟拥有十二指肠。鱼的十二指肠不明显,有时用前肠或近侧小肠称呼。哺乳动物的小肠可能是吸收铁的
- 急性上呼吸道感染普通感冒(common cold),俗称伤风,医学上还称为急性上呼吸道感染或急性鼻咽炎,是一种上呼吸道的病毒性感染,主要原发于鼻腔,但也可能进犯喉咙以及鼻窦。症状一般于暴露病原后两天内
- 叹词感叹词是用于表达各种感情的词。它与后面句子的其余成分无语法联系。现代汉语的感叹词有“啊”、“哎呀”、“天呀”等。例:古代汉语中常见的感叹词有“呜呼”、“嗟夫”、“