Ramsey理论
在任意给定的6个人当中必定存在有一组3个人,这3个人要么相互认识,要么相互之间不认识。如果对有穷顶点集 的完全图的边进行红-兰染色,则一定存在一些有穷集 使得所有与 中的顶点相关联的边都具有相同的颜色。上面的这两个结论都是Ramsey于1930年发表的定理中的特例。Ramsey定理的原始形式已经在许多方向上得到了延伸,并最终形成了Ramsey理论:一个揭示深层数学原理的理论,它从很大程度上推广了鸽笼原理,并告诉我们无论以什么方式将一个庞大的体系分解成一些小的部分,其中必定存在一个小的子体系。尽管Dirichlet的鸽笼原理已经保证了无论物体之间的关系如何,我们都能够得到许多类型相同的物体,然而我们在Ramsey理论中寻找的是相同类型的子结构:我们不仅想要得到无穷多的红边,而且我们还想得到与这个红的无穷集相关联的点双方组成的结构。或者说,在第一个例子里,我们不仅想要得到三对认识的关系,还要得到这三对关系能够 “组成一个三角形”,使得三对认识的关系是属于三个人的。
将Ramsey理论结论中的精华用于解决除了图论以外更广泛的数学结构问题的是van der Waerden定理,它比Ramsey定理出现得要早,并表明对给定的 和 ,如果 是一个足够大的整数,我们将 连续的自然数集合进行 种类型的划分,则一定有一种类型当中包含一个有 个元素的等差数列。
Ramsey理论是组合数学中一个庞大而又丰富的领域,其中采用了数学各个分支上的许多技术,并且它的结论不仅在图论与组合数学中相当重要,在集合论、逻辑学、分析、代数以及集合上都具有相当重要的意义。为了向大家介绍这些结果,我们引入一些超越图论范围以外的深层结论,其中包括:Erdős-Rado规范定理,它将Ramsey定理的原始表现形式拓展到无穷色;Shelah定理,拓展了Hales-Jewett定理(该定理拓展了van der Waerden定理);以及Galvin,Prikry和Hindman的关于Ramsey无穷序列的性质的一些定理。然而不论怎样,我们都只能向读者介绍皮毛而无法窥视现代Ramsey理论深层内容。
1 Ramsey定理的基础
我们考虑将一般简单图和超图的边进行划分。为了简单起见,我们称划分为着色,但是要谨记的是这里所讲的着色与平常所讲的边着色是不同的。这里相临的边可以着相同的颜色,实际上,我们的目的是为了显示有的子图它的所有边的颜色是相同的。比如在2-染色当中,我们通常选择红-兰两中颜色,一个子图被称为是红(兰)色的当且仅当它所有的边的颜色都是红(兰)色的。
正如我们将看到的,对于给定的自然数 ,存在一个整数 ,使得如果 ,则对 的边作任意红-兰边染色,必定存在一个红的 或者一个兰的 。这个说法应用到上面六个人的例子当中,则用 就可以完成了。为了将 的表达更一般化,对于任意整数 和 ,我们定义Ramsey数 为对应 的最小整数,使得对 进行任意红-兰边染色时能产生一个红 或者一个兰 。特别地,如果不存在这样的 能使得对 进行任意红-兰边染色时能产生一个红 或者一个兰 ,则令 。显然当 时有:
以及:
因为在对 进行红-兰染色的时候一定有要么出现一条红边,要么出现一条兰边的情况。下面的结果由Erdős和Szekeres得到,描述的是 对于任意的 和 都是有穷的,同时他们还给出了 的上界。尽管这个定理从性质上讲只是Ramsey定理的一个特例,但是这个上界比Ramsey所提供的上界要好得多。
【定理1】 对于所有的 和 都是有穷的。如果 且 ,则:
(1)
且有:
(2)
【证明】证明了(1)(2)的成立就自然证明了 的有穷性。
(i)证明(1)时先假定 和 是有穷的。令 ,假定对 的边进行红-兰染色。我们需要证明的是在这种染色下要么出现一个红 ,要么出现一个 。先令 是 当中的一个顶点。由于 ,要么至少存在 条红边与 相连,要么至少有 条兰边与 相连。由于这两者关系对称,我们先考虑第一种情况成立。考虑在 中与 通过红边相连的 个顶点所张成的子图 。如果 包含 则题设得证,反之由 的定义我们知道 包含一个红 ,这个红 与 一起构成红 。
(ii)首先不等式(2)在 或者 的时候成立(实际上我们可以得到相等关系,因为 )。现在假设 ,且对于任意序组 在满足 的时候(2)都成立。由(1)我们有:
□
一般我们区分对角Ramsey数(即 )和非对角Ramsey数(即 , )。如果我们说对角Ramsey数更能引起大家的研究兴趣请不要感到奇怪,因为这个领域的难度是相当大的。我们称一个图是平凡的是指这个图是空的或者是完全图,而对角Ramsey数 是指最小的整数 使得对 阶图进行红-兰染色后一定会出现一个单色的 阶子图。
我们可以由定理1得出:
(3)
尽管上面(3)式的证明是相当的简单,但是对(3)式所提出的上界在过去的50年里几乎没有改进。目前最好的改进由Thomason在1988年作出:当 足够大的时候有
(4)
尽管这个改进对于(3)而言是相当的小,但是它已经十分接近了,我们很难再改进它了。在后面的章节里我们会发现 是呈现指数增长的: 。现在广泛地相信存在一个常数 ,可能是 ,使得:
但是这个结论的证明是相当困难的。
这个结论是很容易扩展到用任意多种颜色进行染色的情况的:对给定的 和 如果 足够大的话,则对 用 种颜色进行任意染色之后,对于某些 , ,存在有染着第 种颜色的 。(通常使得上面成立的最小的整数 用 表示。)实际上,如果我们已经知道了染 种颜色的Ramsey数,那么在对 进行 种颜色染色的时候我们将头两种颜色用一种新颜色代替。如果 (由 决定)足够大的话,则要么存在 染了第 种颜色(对某些 , ),要么存在 ( )是染的新颜色。换而言之,即对原来的颜色来说, 是用头两种颜色进行染色的。对第一种情况我们容易得证,对第二种情况,当 或者 的时候我们可以在 中找到染着第 中颜色的 。这表明:
实际上,定理1还能够扩展到超图上,即对有穷集 ( 为任意 元序组)进行 染色的情况。这个定理已由Ramsey证明。下面我们将注意力转移到这上面来。
用 表示最小的整数 使得在 的条件下,对 进行红-兰染色能够产生一个红 集或者一个兰 集。当然,一个集 被称为是红(兰)的是指 当中的所有元素都是红(兰)的。注意到 。在定理1中,第二个结果不仅保证了 对所有参数都是有穷值(这个在一开始的时候表现得并不是很明显),同时也给出了 上界。这个的证明与定理1的证明几乎完全一样。注意到如果 则 ,并且如果 则 。
【定理2】 令 ,则 是有穷的并且有:
【证明】如果我们证明了对于所有的参数 都有 是有穷的,且 和 也是有穷的,则题设的两个结论就可以得证了。
令 是一个具有 个元素的集合。对 进行任意红-兰染色 ,任意元素 ,对 的 集定义一种红-兰染色 ,染色 使得 。由函数 的定义我们可以推断 有一个具有 个元素的红子集 (对于 而言)。
现在我们来看看 对 的约束。如果它有一个兰 子集,则得证,因为 ,所以 当中的兰 子集也必定是 当中的兰 子集。另一方面,如果 当中没有兰 子集则一定有红 子集。这个红 子集与 的并构成了 当中的红 子集,所以 对于所有 都是红的。
□
通过定理2和对定理1之后颜色分类的讨论,我们不难得出下面的推论。给定 和 ,则对足够大的 而言,利用 种颜色对 进行染色时,对某些 , ,存在有一个集合 , ,该集合当中的所有 集合具有颜色 。满足上面条件的最小的 表示为 ;那么 并且 。 的上界隐含在定理2中,但是结果并不理想。有人借助定理1的证明方法得到了更好的上界:
目前已知的非平凡Ramsey数极少,甚至在 的情况下也是这样。对于 这个不难得到,并且如果有人进一步做工作的话还可以得到 , , , ,以及 。然而想要证明 以及 其难度目前还无法估计。后来McKay和Radziszowski在1995年证明了 。那么上面这些就是目前我们知道的全部2-色Ramsey数了。对于其他情况,我们就只能知道它们的界了(参见表1-1)。这些界的证明颇具独创性,同时也需要花费大量的工作和计算时间。
1 k |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
3 |
6 |
9 |
14 |
18 |
23 |
28 |
36 |
40 43 |
46 51 |
51 60 |
59 69 |
66 78 |
73 89 |
4 |
|
18 |
25 |
35 41 |
49 61 |
53 84 |
69 115 |
80 149 |
96 191 |
106 238 |
118 291 |
129 349 |
134 417 |
5 |
|
|
43 49 |
58 87 |
80 143 |
95 216 |
114 316 |
442 |
|
|
|
|
|
6 |
|
|
|
102 165 |
298 |
495 |
780 |
1171 |
|
|
|
|
|
7 |
|
|
|
|
205 540 |
1031 |
1713 |
2826 |
|
|
|
|
|
8 |
|
|
|
|
|
1870 |
282 3583 |
6090 |
|
|
|
|
|
9 |
|
|
|
|
|
|
6625 |
565 12715 |
|
|
|
|
|
10 |
|
|
|
|
|
|
|
23854 |
798 |
|
|
|
|
(表1-1 2-色Ramsey数的值与界)
一眼看上去,只有如此少的Ramsey数被确切地知道的确有点令人吃惊。然而有许多原因导致了大Ramsey数是无法最后被确定的,比如 。对 进行2-染色而其中没有单色的完全子图则是无序的:这样它们好像是随机选取的。这种无序正好也说明想要得到 的上界并不是靠简单的证明就可以的。另一方面,计算机的计算瓶颈也是前进中的一大问题,比如计算 。例如,如果我们想证明48是 的上界,那么我们就需要对阶数为48的 个图进行验证:这项工程远远超出了计算机的工作能力。
同样,想得到Ramsey数的一般下界也不是一件容易的事情。正如前面所讲的,如果染色中不存在大的单色完全子图就说明是“无序的”,那么就不难想出如果使用随机的方法将有助于我们得到Ramsey数的下界。
由于想在 时较好的估计 的界限是一件极困难的事情,所以我们对只有极少的快增长性Ramsey函数被确定下来不要感到惊讶。实际上,Edrős和Szekeres已经证明了(2)的右边部分只比实际Ramsey函数值小1。为了再现这个结果,我们先引入一些术语。称 为非退化的是指 当中的任两个点都没有相同的 坐标。 杯,或者称凸 集是指有 个顶点的非退化集满足形式 ,其中的 是一个凸函数。记 为通过 和 两点之间直线的斜率。如果 , , ,则 是一个 杯的充分必要条件是 。 盖,或者称凹 集的定义与上面相类似。
下面是Edrős和Szekeres做的关于 杯和 盖漂亮的结果,其中第一部分是于1935年完成,第二部分于1960年完成。
【定理3】 对于 ,任意包含有
个点的非退化集都包含有一个 杯或者 盖。同样,对于所有的 ,存在一个包含有
个顶点的非退化集 既不包含 杯,也不包含 盖。
【证明】我们用 来代替参数
(i)我们对 用归纳法证明每一个包含有 个顶点的非退化集都包含有一个 杯或者 盖。由于具有2个顶点的非退化集既是 杯也是 盖,对于所有的 都有 ,所以显然有 。则下面假设 且结论在 比较小的时候是成立的。令 是一个有 个顶点的非退化集,并且用反证法,假设 既不包含一个 杯也不包含 盖。令 是由 杯当中后面部分的点组成的集合,则 既不包含 杯不包含 盖,则由归纳假设可知, 。所以有 ,同样由归纳假设可知, 包含一个 杯,也就是说 中的第一点 包含在 中。由于 , 杯 中的最后一点 恰好就是 。现在如果 ,则 是一个 杯。否则,由于 ,所以 是一个 盖。这些都与前面的假设不符,所以归纳是正确的,题设得证。
(ii)我们构造一个 并对 用归纳法。实际上我们可以把 构造成下面的形式: 。
如果 则 ,且我们可得 。假设 ,我们在 取值小的时候构造 。令 , , , ,所以有 既不包含 杯,也不包含 盖,并且 既不包含 杯也不包含 盖。
对于 ,令 , ,如果 足够小的话,则每一条连接 集当中两点的线都在 集全体元素的下面,且每一条连接 集当中两点的线都在 集全体元素的上面。所以在这种情况下,每一个杯都会包含 集当中的两点,每一个盖都会包含 集当中的两点。可是如果 则和 一样了,因为它当中既不包含 杯也不包含 盖。
□
正如从定理3当中得出结论,我们发现有
个点的集合在平面当中布置的话,一定存在有些点能构成 度角的凸集。在1935年,Erdős和Szekeres就猜想,实际上是不是每一个具有 个点的集合都会包含一个 度角的凸集。这个猜想看起来在近几年是不可能证明出来的,但是大家公认的是,这个猜想是很有可能成立的。
在这个短暂的插入语之后,让我们回到超图领域上面来。定理2暗示了对自然数进行的 元组红-兰染色当中的每一组都包含着任意大小的单色子集;一个子集被称为是单色的是指它的 元组具有相同的颜色。Ramsey证明了实际上我们可以找到一个无穷单色集。
【定理4】 令 , 表示对无穷集 进行 元组红-兰染色当中的一种染色情况。则 当中包含一个单色的无穷集。
【证明】我们对 用归纳法。注意到如果 的结果是一个平凡的结果,所以我们假设 并且定理在 值小的时候成立。
令 ,在 当中选取一个元素 。仿照定理2当中的证明,我们对 以 , 的方式定义一种 元组的染色 。通过假设归纳, 包含一个无穷集 其所有的 元组具有相同的颜色,用 表示。现在令 , ,然后以 , 的方式定义 。则 当中包含一个无穷集 其所有的 元组具有相同的颜色,用 来表示。继续上面的过程我们可以得到一个由无穷个元素组成的序列: ,一个由无穷种颜色组成的序列: ,以及一个有无穷个的集合组成包含套序列: ,其中 , ,所有的 元组只有一个元素 落在 之外且它们具有相同的颜色 。无穷序列 一定取了 这 个值当中的一个无穷多次,比如说是 。则由构造的情况,无穷集 当中的每一个 元组都具有相同的颜色 。 □
在某些情况下使用定理4的下面这种形式会比较方便一点。一般我们记自然数集为 。
【定理5】 对每一个 ,用 种颜色对 的 元组 集合进行染色,其中 。则存在一个无穷集 ,使得对每一个 , 当中的任2个 元组,如果它们的最小元不比 当中第 个元素小的话,则它们具有相同的颜色。
【证明】令 。如定理4的证明,选择出无穷集 ,令 是无穷集 的一个子集使得 当中所有的 元组都具有相同的颜色。这样我们得到一个无穷嵌套的无穷集 。取 , , ,等等。显然, 具有需要的属性。
□
需要指出的是Ramsey定理对于无穷集,比如说定理3,能够很容易地推导出相应有穷集的结果,尽管它不能给出 的界。为了得到这样的结果,我们仅需要一个简短的证明,Tychonov定理的关于“紧空间的积是紧的”当中的一个特例,就可以了。
我们已经规划出这个结论,但是还是把它用方便的形式表示一下。
【定理6】 设 是自然数,对所有 ,令 表示一个 的 染色的非空集合,使得如果 且 则 到 的约束 属于 。则存在一个染色 使得对于每一个 ,由 到 的约束 属于 。
【证明】对于 ,用 表示 的染色集,即 的染色约束。则 ,且因为每一个 都是有穷的,所以对每一个 有 。令 ,取 , ,依次类推,则每一个都是其前面一个的原象: 。最后定义 ,对 ,当 时, 。这个染色 即为所求。
□
我们可以发现定理5暗示了 的存在。另外,对于每一个 都存在一个染色 使得对每一个 都不存在 集其 集有颜色 。记 为所有满足这样染色条件的集合,我们可以发现对所有 都有 且 ,其中的 已经在定理5当中证明过了。但是这样就存在一个染色 使得对每一个单色集都包含有少于 个的元素,这样就和定理4的结论相反了。
为了解释这种情况,我们指出一种十分神奇的现象。首先让我们来看一下 的客观存在性。
【定理7】令 。如果 足够大的话,则对 的每一个 染色都存在一个单色集 使得 。
【证明】假设不存在这样的 ,也就是说,对多有的 都有一种染色 当中没有我们需要的单色集。令 表示所有满足这些条件的染色的集合。则 ,且由前面的证明可知对所有的 有 。但是这样就存在一种染色 使得其 到 的约束属于 。现在由定理4,存在一个无穷单色集 。令 , ,且令 包含 当中的前 个元素。则由 ,染色 中存在有我们需要的单色集,成为 ,与 相违背。
□
这是一个很好的结论,也是一个意想不到的结论。它的神奇与深奥之处在于,正如Pairs和Harrington在1977年里证明的那样,尽管定理8以很简单的形式表达了有穷集的有关结论,但是它不能由Peano公理多得出,也就是说,它不能够用有穷集的定理来证明得到。换句话说,我们需要注意定理7的证明有穷集的方式。Pairs和Harrington的开创了组合学与逻辑学两个领域有机结合的起点。
由于本书是关于图论的,所以我们不能拓展到逻辑学上面去,所以我们还是回到图论上面来。令 表示最小的整数 使得对 进行2染色,都会存在单色集 使得 。这个 表示的是 的最小值,满足每一个具有顶点集 的图都存在一个集合 ,其中 ,使得 是平凡的,也就是说,要么是完全图,要么是空图。我们从定理7当中知道 是存在的。显然 ,且 比 大几个量级:已经证明了存在正常数 使得 。
2 规范Ramsey理论
我们该如何来谈论对 用无穷种颜色进行染色的重要性?我们该如何来保证对无穷集 的 染色是恰到好处的?1950年Erdős和Raso在无意之中解决并证明了这个问题。
下面我们用 表示可数无穷集,用 表示自然数。
我们称两种染色 , 是等价的,是指存在一个从 到 的一一对应的映射 使得对于 ,我们能得到 的充要条件是 。
在理想状况下,对 的每一种染色(以任意多种颜色)都会存在一个无穷集 其染色与有穷多种染色当中的一种是等价的。无论种类多少都成立。
称染色 是不可约分的是指:对 当中的任一无穷子集 ,对 的约束 与 等价。同样,称 的染色集 是不可避免的是指:对 的每一种染色 都存在一个无穷集 使得对 的约束 与 的成员等价。Erdős和Raso证明了对于每一个 都存在一个有穷不可避免的不可约分染色族。
该如何举 的不可约分染色的例子呢?脑子里面可能有两种思路:一种是单色染色,即所有的 集都具有相同的颜色,一种是全不同的染色,即没有两个集合具有相同的颜色。在思考过一阵之后我们能构造出更好的不可约分染色。设 , , , , ,令 。通过令 我们来定义 规范染色 。这样我们就在对 的元素用 集来染色了,并且两个 集具有相同的颜色的充要条件是它们的第 个元素对当 时是一致的,而当 的时候是不一致的。容易看出 对每一个 来说都是一个不可约分染色,同时,这些染色里包含了上述我们提到的两种不可约分染色: 是单色染色, 是全不同色的染色。
显然当 时对 的染色 和 是不相同的,所以 至少有 个不可约分染色,称为 规范染色。正如我们所见,这里不会有别的不可约分染色了。现在我们的第一印象是,对 的规范染色取决于 的大小,这看起来很奇怪。为了解决这个“矛盾”,我们注意到如果 当中有两个很大的子序列 和 ,则存在子序列 和 ,其中 , ,使得对所有的 都满足 。
在我们得出结论以前,让我们先引入一个与等价染色类似的概念,但是注意到后面的集合的阶数有所不同。令 ,对某些 有 。且令 为 到 的唯一的同阶映射。集合 和 在满足条件:如果当 时可推出 的充要条件是 ,的时候,我们称它们具有相同的模式(在 的条件下)。注意到 集模式数目就是
个可分物体的划分的数目。显然,
就是这个数目的一个上界。
在完成这些准备工作之后,让我们开始Edrős-Rado的关于图的规范定理,也就是当 时的结论。注意到每一个无穷集 都有4个 规范染色。在 的 规范染色中,所有的边具有相同的颜色,在 规范颜色中所有的边都具有不同的颜色,在 规范染色中第一个顶点相同的两条边具有相同的颜色,在 规范染色中第二个顶点相同的两条边具有相同的颜色。
【定理8】 对所有的染色 中,都有 当中的一个子集 满足对 的 的约束是规范的。
【证明】由于 的染色只有有限多种模式,我们需要应用关于无穷集的Ramsey定理,来得到无穷集 使得 当中所有的 集都具有相同的模式 。下面来证明这个 就是我们要求的集合。
令 ,其中 。由于所有的 集都具有相同的模式,所以对任意两边 和 ,其染色 和 要么相同,要么不同,这个是由 和 的在 当中的相对位置来决定。例如,25与57和36与67具有相同的相对位置,同样,38与46和29与78也是这样。
通过上面的观察,让我们证明 的 的约束是规范的。在过多的声明之后,我们从现在开始记 为 的 的约束。我们假设 ,也就是说, 没有两条边具有相同的颜色: ,其中 。注意到我们不能假设 或者 。而现在我们得到 ,所以 有两条边具有相同的颜色。让我们来区分以下这些相邻边位置的3种不同情况,然后来看看可以得到什么结论。
(1)首先假设对某些 有 。则考虑 集当中的 ,我们看到在模式 当中边12和13具有相同的颜色。但是由于任意两条具有公共第一点的边具有相同的颜色,所以如果 则 的约束 就会呈现 。这就意味着存在一个染色 使得对 时能得到 。
(2)假设对某些 满足下一个等式 。则类似地存在一个映射 使得如果 有 。
(3)最后假设对某些 满足 。则对所有的 都有 。所以 ,就是说存在共享第二点且颜色相同的边。所以存在映射 以及 使得如果 则 。但是 当中的任两条边都具有相同的颜色,所以 。
我们发现如果(3)成立的话我们的证明就完成了。实际上,想证明当(3)不成立时用反证法就可以很容易地完成证明。如果(1)成立而(3)不成立,则对所有 有 ,所以 ,如果(2)成立而(3)不成立,则对所有 有 ,即 。□
完整的Edrős-Rado规范定理其证明要比上面我们的证明要复杂得多。
【定理9】 令 是一个正整数, 是一个染色。则存在一个 当中的无穷子集 满足 的染色 的约束是规范的。
【证明】我们对 用归纳法。对 没有什么需要证明的,所以从 开始并且定理在 取值小的时候是成立的。给定 ,以对 的染色 的约束的模式对每一个 进行染色。由于只有有限种模式,所以存在一个无穷集 是使得 当中的所有 子集都具有相同的模式 。为了简化符号,我们用 :这样对后面来说就比较好确认了。
如果 当中没有两个 子集具有相同的染色则证明就成立了: 。因此我们假设对某些 且 有 ;也就是说 和 ,其中的 , 。由于 ,存在一个元素 。注意到所有的集合 , 以及 都具有相同的颜色。实际上 ,也就是说存在集合 使得 是 的前 个元素组成的集合, 是 的前 个元素组成的集合。由于 具有模式 ,所以我们有 , 具有模式 ,所以我们有 。
现在,由于 具有相同的颜色,所以 当中。任意两个 子集如果仅仅在第 个位置上不同的话也一样具有相同的颜色:如果对于 , 且 ,则 ,也就是说, 的颜色仅仅取决于 。这使得我们可以用如下的方式定义另一种染色 :对于 ,如果对于某些 有 ,则令 ,否则 。
由归纳假设,存在一个无穷集合 使得 在 上是规范的。则当 时 ,且 是 上的一个规范颜色。
□
从证明的角度看,定理9比定理4明显结论要强,因为对于一个无穷集合 , 的使用有限多种颜色进行染色当中唯一的规范染色就是 ,这种染色只使用了一种颜色。
3 关于图的Ramsey理论
设 和 为任意的两个图。给定 ,当对 的边进行红-兰任意染色时是不是一定会出现一个红 或者一个兰 ?由于 是 的一个子集,其中 ,如果 则上面的答案是肯定的。用 表示保证上面答案为肯定的最小的 ,且对使用 种颜色进行染色时类似地定义 。注意到这个符号与前面我们介绍的符号类似,实际上 。除了进行红-兰染色,研究人员还经常需要讨论图以及它的补的情况:显然, 是最多具有 个点的图 其中 同时 。
被称为是一般Ramsey数,或者图的Ramsey数,这个领域的研究已经得到广泛的开展,并且有大量的研究结果。然而这里还是有很长的一段路要走,因为一般Ramsey数当中包括经典Ramsey数 。这里我们将展现一些关于一般Ramsey数的基本结论。
为了避免平凡,我们假定在后面的讨论中 当中不包含孤立点。我们从 为稀疏图的情况开始,也就是说 当中包含 条独立边,则 应该是比较小的。实际上,如果 当中包含 条独立边,而 是一个完全图的话,我们是可以准确地得到 的。
【定理10】 对于 以及 ,我们有 。
【证明】图 不包含 条独立边,以及它的补: ,当中不包含 阶完全图。所以 。
另一方面,令图 的阶数为 ,包含有大小最多为 条独立边的集合。则这个集合中 个不在这些边上的点生成一个阶数至少为 完全图。所以 。
□
注意到如果 是任意一个阶数为 的图,则由定理10, 。
下面我们观察一下 的下界,这个下界对任意 组合都有效。对于一个图 ,我们用 表示图 当中最大分支的阶数,用 表示图 的色冗余数:对 进行正常 染色时,所有情况中一个色类当中所包含的最少的顶点个数。也就是 。例如 , 。
【定理11】 对所有非空图 和 我们有 。特别地,如果 是连通的,则 。
【证明】令 , , 。平凡地, 。因此如果 则 。另一方面,如果 则图 当中不包含 为子图,其补图也不包含 为子图。所以 。
□
尽管定理9当中的不等式形式很简单,但是它们在一些情况下却是最好的界。下面我们来两个这样的例子:Chvátal的第一个漂亮的结果。
【定理12】令 ,则对所有阶数为 的树 我们有 。
【证明】从定理10中我们知道 。下面令图 的阶数为 ,则其补图不包含 。则 ,而且包含一个临界子图 其最小度至少为 。容易发现 当中包含 。现在我们假设 ,其中 ( 是 的一个末点,与 当中的 相邻)。由于 在 当中至少有 个邻点,则其邻点中的一个,比如说 ,不属于 。则 当中由 和 所张成的子图包含 。
□
第二个等式的例子是定理8应用到扇图上的情况。对 ,图 被称作为具有 个扇片的扇图。这里 , 是由 个具有一个公共顶点的三角形所构成。1996年,Li和Rousseau展现了下面的结论。
【定理13】对于 我们有 。
【证明】我们从定理11中可以知道 。为了证明前面的反关系,我们先假设反关系为错误,也就是说,存在一个无三角形图 其阶数为 ,其补图不包含 。
对于 ,令 。则 是一个独立点的集合,且由于 不包含 ,我们可以得到 。另一方面, 在 中的度数为多少?令 。则 不包含 条独立边,且其补图 当中不包含三角形。所以有定理10, 。
这表明了 ,也就是说, 是一个无三角形的阶数为 的 正则图。然而我们知道这个是不可能的。所以前面的假设不成立。
□
如果我们定义图 为 好的,是指如果定理11当中的等号能成立,则前面我们的结论中,当 时每一个树是 好的,当 时 是 好的。实际上,Li和Rousseau也证明了,对于每一个固定的 ,如果 足够大的话, 也是 好的。甚至如果 和 为固定图, 足够大,则 是 好的。
由于我们只对 了解的少之又少,所以现在只能期望于 的值在当 和 中至少有一个是稀疏图时的绝大多数情况能够确切地计算出来,比如定理12和定理13的形式。下面我们将看到,有关于 和 为固定图, 为大数时 的一些可喜结果。下面介绍的一个简单的引理表明,当 和 固定时,函数 最多达到 ,其中的 依赖于 和 而不是 和 。
【引理14】对所有图 ,我们有 。特别地, 。
【证明】令 ,且假设我们得到一种对 的红-兰染色使其当中没有红的 。则 意味着其中一定包含一个兰的 。将其删除。剩下的部分由于 一定包含一个兰的 。所以 包含一个兰的 。
□
这个简单的引理可以用来确定当 为 或者 时的 的值。
【定理15】如果 则 。
【证明】图 不包含 条独立边,并且 也不包含 条独立边。所以 。
平凡地(或者由定理10), ,所以为了完成定理的证明,就必须证明下面的情况: 。为了证明这个情况,我们令 为一个阶数是 。如果 则 ,且如果 则 。否则的话,就会存在3个顶点,比如记为 使得 , 。现在,要么 包含 中的 条独立边,然后在 中加入边 后就构成了 的 条独立边;要么就是 包含 条独立边,然后加入 构成 中的 条独立边。
【定理16】如果 且 ,则 。
【证明】令 。则 不包含 个独立的三角形,同时 不包含 个独立的三角形。所以 。
我们不难得到 , 。所以不断地应用引理14可得 。为了完成证明我们必须得到,当 的时候我们可以推导出 。
为了得到这个结果,令 ,考虑对 的红-兰染色。在 选择一个单色的(比如说红色)三角形 。如果 包括一个红的 则得证。否则 包含一个兰色的三角形 (它也包含一个兰色的 )。我们可以假设 的9条边中至少有5条是红的。而其中又至少有2条边与 中的一点相连,于是与 当中的一条边构成了一个与 相邻的红三角形 。由于 有 个点,所以它要么包含一个红 要么包含一个兰 。这些都是与 和 不相邻的,所以 要么包含一个红 ,要么包含一个兰 。
□
通过吸取前面两个定理的证明过程中的思想,我们能够在 比 大得多的情况下得到 的较好的界。令 固定,选择 满足 。令 。
【定理17】如果 则 。
【证明】图 首先满足第一个不等式。在上一个定理的证明当中,我们固定了 且对 使用了归纳法。由引理14我们能得到 ,前提是 。现在假设 且第二个不等式对 成立。
令 是一个阶数为 的图,它满足 ,而且也满足 。我们说 当中的一部分 与 当中的一部分 共享了一个顶点。假设事实不是这样的。如果需要的话调整 ,假设 , 。用 表示 中 子图的点集,令 , , 。由我们的假设, , 。在 中,点 最多与 中的 个顶点相邻。同样,在 中每一个点 最多与 中的 个顶点相邻。所以通过计算 在 和 中的边数,我们发现:
然而这是不可能的,由于 , ,所以 , 。所以我们能找到 中的一个 和 中的一个 共享一个顶点。当我们忽略掉这两个子图中的 个顶点后,我们发现剩下的图 满足 , 。然而 ,所以这是成立的。
□
通过上面的结果,我们有 ,其中 仅依赖于 和 中的最大度数。这个漂亮而又有深度的结论是于1983年由Chvátal,Rödl,Szemerédi和Trotter证明的。
【定理18】对所有的 都存在一个常数 使得如果 则 。
□
实际上,这个结论是很有可能成立的。Burr和Edrős于1975年猜测,最大度何以由子图的最小度的最大数代替,正如第一部分中的定理表示的:对所有的 都存在一个常数 使得如果 的每一个子图的度数最大为 ,则 。
Chen和Schelp为这个猜想的成立提供了一些依据:他们证明了对于一些绝对常数 和所有的平面图 有 。扩展这个结果,Rödl和Thomas在1995年证明了对所有的 都存在一个常数 满足如果 不能转换成 则 。
许多Ramsey定理对无限图条件同样适用,这种情况并不是没有道理的,因为我们进行边染色的图是 ,而不是其他只有几条边的稀疏图。例如,有人会认为,如果一个图 不论对它的边如何进行 染色都会产生一个单色的 ,那么这个图 一定很密。实际上,情况并不完全是这样。对任意团数为 的图 ,以及对任意 都存在一个团数为 的图 ,满足对图 的每一个 染色都包含一个单色的 。这个漂亮的结果是由Nešetřil和Rödl通过下面强条件证明出来的,它拓展了早先由Graham和Folkman所得到的结果。
【定理19】对每一个图 以及整数 ,都存在一个图 ,其 ,满足对图 的边进行的任意 染色时,能得到一个与图 同构的单色导出子图。
□
为了总结本节,让我们留意极图理论中的与Ramsey理论问题相近的化装舞会问题,这个问题与对边的划分有一点相关。例如, 代表什么?它是满足下面条件的最小的 ,即每一个有 个顶点、最小度至少为 的图 包含一个 为子图。再举一个例子,如果
则对 进行的任意 染色中都会有一个色类具有至少 条边,所以这个色类自动包括一个 为子图。
再如,若
则对于 我们有
所以, 。Graham和Chung证明了这个界是与真实值十分接近的界:当 为质数幂时, 。
4.关于整数的Ramsey理论
如果告诉你说Ramsey理论的第一个结果是关于整数的单色子结构的,而不是关于图的,你一定会觉得奇怪;然而实际上,图论还是一个很年轻的学科,所以也没有什么奇怪的。在这一部分里我们将介绍3个经典结论,同时展现最近研究的主要发展方向与结果。
也许Ramsey理论的第一个结果应该是Hilbert的关于自然数集“立方体”的定理。尽管这个结论很简单,而它的证明却比直接运用鸽笼原理要困难得多。
我们称集合 是 中的一个 立方体是指,如果存在自然数 ,对 时有 ,则
那么 中的一个 立方体就是一个对 原子立方体的仿射,且这个仿射具有 个顶点。1892年Hilbert证明了下面的结论。
【定理20】如果 被有限的颜色染色,则对所有的 ,在染色的色类当中存在一个色类,它包含了对同一个 立方体的无穷多种平移。
【证明】首先证明定理中有穷的结论是比较显然的。
存在这样一个函数 满足如果 ,则 的每一个 染色都包含一个单色的 立方体。由于 中的 立方体是一个整数二元组, 在符合上面的结论。因此如果我们能证明 则 就能够成立。
为了证明这个,令 为一个 染色,划分 为 个区间,区间 的长度为:
其中 , 。则每一个 都包含一个单色的 立方体。但是考虑到平移上,在这些区间中最多有 个立方体。由于总共有 个区间,其中的某两个,比如说是 和 ,包含的是同一个 立方体 在相同染色中的平移。把这两个平移合在一起构成了单色的 立方体。
□
上面的结论对Ramsey理论的发展并没有起到多么大的作用,但是Schur于1916年证明的下面这个定理成为了一个研究领域的起点,并且直到今天依然十分活跃。
【定理21】对于所有 ,存在一个整数 使得对 的任意 染色都包含有染着相同颜色整数 满足 。
【证明】我们先声明 时结论成立,其中 是对 染色以及三角形的图Ramsey数,即是最小的 使得对 的边进行任意 染色时都包含一个单色的三角形。
下面则令 , 为 染色。对 ,点集为 的完全图的边集,中的一个 染色进行如下的定义:对 ,令 。由 的定义,存在一个单色的三角形,比如说其点集为 ,满足 ,以及对于某些 有 。但是这样就有 , , ,所以 并且 。
□
记 为满足定理20的最小整数 ,我们能得到 。由于我们也不难得到 ,所以有 。
第三个也是最经典的一个结论,出现在Ramsey定理诞生之前,于1927年由van der Waerden证明得到。在下面的概念中,长度是指一组数字序列的长度值。
【定理22】给定 ,如果 足够大的话,对 的每一个 染色都包含一个单色的长度为 的等差数列。
对于定理22,我们定义van der Waerden函数 和 。这里的 ,而且 是满足定理22的最小的 :也就是说 是最小的 以满足如果 则存在 以及 使得 。 的 染色函数是现在研究得最多的,可是现在已知的函数值只有 以及 。现在我们对 和 的增长情况了解的非常少。
要直接证明an der Waerden的定理结论,我们更宁愿把它变为于1963年由Hales和Jewett证明的广义定理。为了介绍这个定理,我们得先介绍一些概念。
对于一个有限集 和一个整数 ,在字母集 上的 维立方体是这样的集合: 。定义在 上的组合线,或者简单地说“线”是指这样的一个集合 : ,其中 是 的一个非空子集, 是当 时 当中的一个固定的元素。注意到 当中的每一条线都具有 个元素。正如我们常用的手法,令 ,线上的点 以下面的方式重新标号 以满足
显然,每一条线都有 个元素,且在 中存在
条线。例如, 维立方体 有 条线: 条“垂直”线, 条“水平”线,1条对角线,记为 。
【定理23】对每一个 ,存在一个整数 使得,如果 是一个有 个字母的字母集,则每一个 染色 都包含一个单色线。
Hales-Jewett函数 的定义与van der Waerden函数十分类似: 就是满足定理23的最小整数 。
为了展现Hales-Jewett定理隐含了van der Waerden定理,我们只需要建立一个映射 把所有的组合线映射到一个长度为 的等差数列当中。例如,我们可以通过 或者 的方式建立映射 。则对 的任意 染色 都可以通过 的方式得到对立方体 的一个 染色 。现在染色 当中的一条单色线已经被映射到 的染色 的长度为 的单色等差数列当中了。所以 。
定理21和22的原始证明是采用了双归纳(对 和 )的方法,甚至他们对象 这样的函数也提出了一个简单递归上界,所以可想而知这个界增长得是很快的。实际上, 的上界的增长的方式有点像Ackerman函数 。要定义 ,首先定义 ,其中 ,且
特殊情况下, , , ,以此类推,所以 ;然后 ,
以此类推。Ackerman函数就是 。从前面可以发现, 就是著名的“塔”函数。
van der Waerden函数的上界问题在诞生60年后才在Shelah很技巧性的证明中得到了突破,他对Hales-Jewett函数给出了一个原始递归上界,也就是给van der Waerden函数提供了一个上界。下面的主要任务是介绍Shelah的漂亮的结果。
我们从一个技术引理,即著名的Shelah鸽笼原理。
【引理24】给定整数 和 ,如果 足够大的话则下面的结论成立。令 , ,为 染色。则存在整数 满足对每一个 , ,有
【证明】让我们对 使用归纳法。对 我们取 即可。现在假设 能够对 和 满足题目要求,现在让我们证明对任意的 能够对 和 满足要求。
给定染色 , ,导出一个染色 ,令 以及 , 。由我们选择的 过程,存在 满足 ;即对所有 时:
现在对 ,定义 , 。用归纳假设法,存在当 时 使得对每一个 都满足
数字 , ,满足我们需要的性质。
□
记 为满足引理的最小的 ,上面的证明表明 ,以及在 时有 。我们称 为Shelah函数。
在我们介绍Shelah定理之前,我们先把引理24转换成方便使用的形式。给定正常数 和 ,定义 以及 。我们称 和 为 的Shelah子集。同时,对于 ,以及 ,存在下面2个集合:
有了这些结论,通过引理24的证明就能得到下面的定理。
【定理25】给定 ,如果 则下面的结论成立。令 和 为 的Shelah子集,令 。则存在一个点 满足对 当中的每一个 都有 。
□
在具备所有这些准备工作之后,我们就可以开始介绍Shelah定理,这个大大增强Hales-Jewett定理的定理了。
【定理26】给定整数 ,存在一个最小的整数 满足对所有的 的 染色都包含一个单色线。此外如果 则 。
【证明】显然 。让我们假设 存在以及 。令 为一个 染色。我们必须证明这个 染色包含一个单色线。
划分 为 个区间,每一个的长度为:
。同时令 和 为 的Shelah子集。对于 , ,以及 。令
我们称 为 的 延拓。显然对于所有 ,映射 是一个一一对应将 上的一条线映射成 上的一条线。
我们利用 得到染色 , ,其中当 时 。由于 ,由引理25,存在一个 满足对所有的 都有:
我们固定这个点 ,考虑由 给定的 染色 。由于 ,立方体 包含一条单色线。这就意味着如果我们将这些点重新编号,则存在点 ,以及一个区间 ,使得对 有:
其中 。
现在定义 也具有上面的特性:
则 是 中的一条线,所以 是 当中的一条线。为了完成证明,我们需要做的工作只是检查一下这条线是否为单色的,也就是:
(5)
我们通过一个简短的讨论在证明(5)。对于 ,定义 ,其中 为:
所以 , 。
注意到对所有的 , , 。所以 。类似地,我们可以得到: ,所以 。于是(5)成立,所以定理得证。
□
定理26说明了Hales-Jewett函数并没有像Ackerman函数那样增长得那么快,实际上对某些常数 我们有 ,其中 是在Ackerman层上的第四阶函数,是塔函数 的下一阶函数。Van der Waerden函数 的界通过定理26可知,实际上,此刻 的最佳上界已经得到了。
Hales-Jewett定理和Shelah定理在抽象与组合的方向上拓展了van der Waerden定理。Van der Waerden定理在整数环方面也具有十分漂亮以及深刻的拓展:这些拓展的起点就是Rado的关于线性方程系统的定理。令 为一个 的整数矩阵。如果 在对 进行的任意有限色染色中都有一个单色的解,则将此称作 的正则划分。换而言之, 为正则划分是指对 的任意划分,其中的一个类 包含整数 ,当 时满足:
注意到并不是每一个矩阵都是正则划分的,比如说一个矩阵有一些正元素和一些非负元素组成就不是正则划分,因为 , 同样也不是正则划分。另外,定理21即Schur定理表明 是一个正则划分,而且我们也将看到,van der Waerden定理在涉及到矩阵的正则划分时要求是比较弱的。1933年Rado给出了一个矩阵正则划分的显著特性。
我们记 为 的列向量,则 。我们称 是满足列条件的是指,如果我们重新将列向量的元素编号的话,存在指标 满足当 时,向量 为 ,而且当 时向量 为一个关于向量 的有理线性组合,即 为 空间中由集合 张成的线性子空间。例如如果 ,其中对于所有的 有 ,则 满足列条件的充要条件是有部分 之和为 。
下面就是Rado的正则划分定理。
【定理27】一个整数矩阵为正则划分的充要条件是它满足列条件。
□
这个漂亮的定理使得我们在讨论正则划分时可以减少大量的时间和精力。值得指出的是没有第二个定理可以具有如此简单的方案。同样与大多数Ramsey结论一样,在我们的证明过程也遇到过多次的,对无穷情况的结论蕴涵着有穷情况的结论。例如如果 是正则划分,则对每一个 都存在一个自然数 使得 在对 的每一个 染色中都有一个单色解。
为了从Rado定理中演义出Schur定理,我们只需要注意到 是一个正则划分,因为它满足列条件。此外,一个矩阵如果满足下面的形式:
满足列条件,Rado定理指出,对整数 和 ,存在一个整数 是的对 的每一个 染色都包含一个长度为 的等差数列,其差落在同一个色类当中:这个比van der Waerden定理推导出的结论要多一些。
Rado定理的另一个直接推论就是,给定整数 和 ,就存在 使得如果 是被 染色的,则存在一个有 自然数的集合 ,满足 ,所有的和 ( )都具有相同的颜色。在下一节的最后我们将讨论一下这个结论拓展到无穷集合时的情况。
在总结中,我们来说一下Szemerédi定理。在20世纪30年代,Erdős和Turán对van der Waerden定理进行了更深远的猜想:存在一个最大的色类满足定理要求,这个比我们知道的划分中的集合还要大。为了表明得更精确,他们猜想:每一个自然数集合在达到一个正的密度上界后都包含一个任意长度的等差数列:如果 满足 ,则 包含一个任意长度的等差数列,这就表明如果 且 ,则存在一个 满足每一个具有 个元素的 的子集都包含一个长度为 的等差数列。
Erdős和Turán猜想的第一个正确的例子被Roth于1953年证明,他证明猜想在 这个特殊情况下的正确性。整个猜想于1975年被Szemerédi证明,其组合性的证明过程既深奥有复杂。在这个证明过程中Szemerédi使用了他的正则引理,这个是极图理论中的一个革命性结论。实际上Szemerédi定理也大大地影响了遍历理论:1977年Fürstenberg给出了关于这个定理的一个新的遍历证明,这因此也使遍历理论有得到了新生。但是这个问题超出了我们的讨论范围。
5.子系列
令 为 空间中的一系列函数。则我们可以找到一个无穷子系列 使下面两个结论中的一个成立:
(1)如果 是 中的任意1个子系列,则对所有 都有 ;
(2)如果 是 中的任意1个子系列,则对所有 都有 。
这个关于系列函数的推测是极难证明的,然而,对于Ramsey关于无穷集合的结论来说这不过是一个简单的推论。
和往常一样,对给定的集合 ,我们记 为集合 的子集, 为集合 的 元序组的集合,以及 为集合 的可数无穷集。回忆一下定理4,一般情况下我们会问是不是对 的任意红-兰染色都会包含一个无穷单色集。这个我们不难证明。由这个想法我们可以得到启发,称族 为具有Ramsey属性的是指,如果存在一个 使得要么 ,或 。换而言之,如果 的一个红-兰染色包含一个无穷单色集,则我们说 的红元素的集合 是具有Ramsey属性的。
当然 可以由笛卡尔乘积 获得,其中对所有的 有 。我们为 赋予一个离散的拓扑结构,并且乘积 为拓扑乘积:在这个拓扑中 是一个紧缩的Hausdorff空间。Galvin和Prikry的一个定理的弱条件下的情况表明 的开子集是具有Ramsey属性的。为了证明这个结论最好我们还是使用Galvin和Prikry的术语和符号会比较方便一些。我们用 表示 的无穷子集, 为 的有穷子集。如果对所有的 都有 则我们记 ; 是指对所有的 都有 。 的 延拓是一个具有 形式的集合,其中 , 。让我们固定一个族 。我们称 接受 是指如果对 的 延拓属于 ;称 拒绝 是指没有 能接受 。
【引理28】如果 拒绝 ,则存在一个 拒绝所有的 。
【证明】首先注意到有一个 使得每一个 要么被 接受,要么被 拒绝。令 , 。我们假设 , , 。取 。如果 拒绝 则令 ;否则令 为 的一个可以接受 无穷子集。则 即可满足。
假设 拒绝 。假设我们选择出 使得 拒绝所有 。则 拒绝一切具有 形式的集合,其中 ,因为否则的话 会接受 。所以 拒绝所有(但只有有限个)具有 形式的集合。由于对于 来说只有 种可能的选择,则存在一个 满足 拒绝所有 。这样我们构造出来的 具有我们需要的性质。
□
有引理28作为有力的工具,我们能很容易地证明前面所讲的Galvin-Prikry定理。
【定理29】 的所有开子集都具有Ramsey属性。
【证明】令 是开的,并假设所有的 都有 ,即 拒绝 。令 为满足引理28的集合。如果 ,则 。由于 是开的,它包含 的一个邻元,所以存在一个整数 满足如果 则 。但是这就意味着 接受 ,与我们选择 的初衷相违背。所以 ,证明了 是具有Ramsey属性的。
□
大致来说,定理29告诉我们 “对微小的变化不敏感的” 集合是具有Ramsey属性的;同时“对微小的变化敏感的”集合不会是具有Ramsey属性的。
我们现在开始展现定理29对定理4的一个拓展。用 代表一族 的有穷子集。一族 被称为是紧的是指对所有 都有 ,称其为稀的是指 中没有一个元素是其它集合的初始段(即如果 则暗示着 或者 )。例如对每一个 族 都是稀的。
【推论30】令 是紧的。则存在一个 满足所有 都包含一个 的初始段。
【证明】令 。则 是开的,所以存在一个 使得要么 ,这个我们已经完成了;要么 。而第二个选择是不可能的因为这样就意味着 。
□
这个推论使我们能够为原始的Ramsey定理(定理3)向无穷集上做出重要的拓展。
【推论31】令 为一个稀族, 。则对 的任意 染色都存在一个无穷集 满足 当中所有 的元素都具有相同的颜色。
【证明】 时结论的充分性是显然的。我们考虑 的一个红-兰染色: 。如果 是紧的则令 为满足推论30的集合。对于所有 都存在一个无穷集 其中包含 的初始段。由于 是稀的, 是 的唯一初始段。所以 , 中所有 的元素都是红色的。
令一方面,如果 不是紧的,则对某些无穷集合 来说 。所以 。
□
好了,让我们回到上一节中所讲关于单色和的结果上来。这个由Graham和Rothchile猜想、后由Hindman证明出来的漂亮的结果与本节中所讨论的结果没有什么关联,但是Glazer的漂亮的证明显示了大量的方法可以在无穷Ramsey理论的证明当中使用。
【定理32】对 的任意 染色都存在一个无穷集 满足所有的和 都具有相同的颜色,其中的 。
【证明】我们在这里不详细地证明这个定理,而是对熟悉 超滤子以及了解所有超滤子的 集合为紧拓扑空间(Stone-Čech的离散空间 下的紧化空间)的人提供一个简要地证明。这个由Glazer完成的证明和这个定理一样,是那么的漂亮而又令人惊奇。让我们回忆 中的滤子 为一个非空的 的子集的集合,它满足(1)如果 则 ;(2)如果 且 则 ;(3) ,即 。Zorn的引理表明,所有的滤子都被一个极大滤子所包含,这个极大滤子被称为超滤子。如 是一个超滤子,则对所有的 ,要么 ,要么 。这就意味着每一个超滤子 都在 上定义了一个有限的加法 测度 :
反之,显然每一个 上的有限加法 测度都定义了一个超滤子。如果存在一个测度为 的有限集,则其中的一个元素,比如说是 也具有测度 ,而且 。这些超滤子被称为是基本的。并不是所有的超滤子都是基本的:比如包含有滤子 就不是基本的。
这些超滤子在证明Ramsey定理的时候是十分有用的,我们可以从下面用 时的情况来证明定理3的过程就能看出来。固定一个非基本超滤子 。令 。对于 令 。则在 有一个集合属于 ,比如说是 。现在对于 我们有 所以这里也是只有一个集合属于 ,比如说是 。最后,取 , , ,依次类推。对于 我们有 。
让我们回到Glazer的证明中来。我们在 中定义一种加法:
其中 , 。
大家不用废多少力气就可以得到: 实际上是一个超滤子,它与定义在 上的加法构成了一个半群。此外,这个半群上的操作还是右连续的,即对于一个固定的 ,由 给定的映射 是连续的。通过拓扑上的简短而又标准化的讨论,我们能发现上面映射的性质暗示着 有一个等幂元,即元素 有 。这个 是非基本的,因为如果 则 而 。
现在令 。则由加法的定义,集合 属于 。那么如果说 ,则 。(我们也可以用 代替 ,因为 是非基本的。)因此所有 都存在 , 满足 以及 。
当然,超滤子与 的任何染色都无关。然而就和所有非基本超滤子能让我们以直接的方式找到单色无穷集一样,这个等幂元 也让我们能找到一个合适的无穷集。令 为 的色类分解。在这些色类当中只有一个,比如说为 属于 。令 ,选择 , , 使得 ,选择 , , 使得 ,依次类推。则集合 显然具有我们需要的性质:每一个无穷和 具有颜色 ,其中 。
□
最后我们需要强调的是,我们在这里所展现关于无穷性质的Ramsey定理不过是Ramsey理论冰山上的一角:无穷集的Ramsey理论被称作是划分算子,是集合论单中的一个十分重要、且最具研究潜力的分支,它的研究领域具有相当的广度和深度。