关于Ramsey类数的几个新上界.docx

2005上海人学硕士学位论文 种。(但完争可能有一种色没有被S的任一兀所用．所以更详细地应说成“S的 至多^．染色”，今后都用简称。) (2)s的k一分拆，或s分拆成k个子集，意思是把S表示成它的k个子集 的亓： S=s1Us2U Us 其中当i≠J时，Sfqs，=a。(这里1个子集S，S：， ，＆中可能有的是空 集。这与f11中可能有的颜色没用上相符，但与大部分文献中定义集合的分拆 (partition)要求各子集S都非空不一致。 }As到集{1，2，3， ，k}的一个映射 f：S斗{1，2，3， ，k) Ij述三种不同的表述所说的实际一L是同一件事，它们显然有下而的关系： (1)中的i色冗的集=(2)巾的子集置=(3)中的i在映射f下的原象，。1(i)。我们在 后文巾将在不同场合采用某一种表述，也会混用这几种表述，例如在用(3)时． 可以把映射f叫做集S的一个k一染色等，其义自明。特别在采用染色的说法(1) 时，如粜S的某个予集r的每个元素都染成同一色，则把丁叫做单色的，而若71 的每个元素都是i色的，则简称子集丁是i色的。 没r是正整数，畦号一‘’表示集s的所有r元子集的集。 所有ll二整数的集记为Z+。对n，b∈Z+，asb，6一a-I-1个相继整数的集 {以a+l， ，b)简记为bb】。对”∈Z+，把集【1，”】简记成【n】。如不另有说明，“数” 都指“正整数”。 ,fiIjEY4s的元素个数记成蚓a存不涉及元素特性时，”元素通常用【】来表 jF。 对实数a，l“J表示≤d的最大整数；『n]表示≥口的最小整数。 2005上海人学硕士学何论文 1．3早期的结果 1916年，Schur在一篇研究有限域上费尔马大定理的论文中证明了下面的 schur定理ill。 Sehur定理：给定r，存在一正整数N=N(r)，将【Ⅳ】进行任意r染色， 方挫x+Y=z一定存在同色解。 这个后来被称为是Schur定理的定理被认为是第一个Ramsey类的定理，它是Ramsey理论的源头之 。 1927年B．L van der Waerden证明了另一个主要的Ramsey类定理，被称之 为vail der Waerden定理1 2]。 vail der Waerden定理(有限形式)：对任意给定的，，k∈Z+，存在 W=w(1，k)e z+，使得把【Ⅳ】仟意分拆成R部分后，其中必有一部分含有f项等 差数列。 1930年，Frank Ramsey证明了一个后来以他的名字命名的定理——Ramsey 定弹o”。 Ramaey定理(通式)：对任意给定的r，k∈Z+以及数ql，q2， ，q，≥，， 存扫：lqo eZ+，使得对任一数”≥‰以及【”】(，)的任一t一染色，一定有fe陋】和相 应的q，元集S∈【”】，使S(rl是f色的。 这个定理集叶1体现了这个数学分支的精神，并且是一个非常优美的结果， 引起了许多数学家关注，并将他们中许多人的兴趣吸引到组合数学这‘领域。 然而，当时Ramsey定理并没有得到广泛公开，以至于五年后当ErdSs和Szekeres 各自独立地发现Ramsey定理的等价形式㈩时，才知道这个优美的结果早已被 Ramsey发现。因此，这数学分支被ErdSs命名为Ramsey理论。但是，在此 后的二十多年中，Ramsey理论没有太大的进展，直到1955年Greenwood和 Gleason㈨发现非平凡的Ramsey数，而这时已经是Ramsey定理公开后的第二 2005上海人学硕士学位论文 卜斤个年头r。然而，在最近四十年里，由于许多著名的数学家对这一理论的 芙注，特别是Paul Erdjs自己的工作和对它的传播，使得Ramsey理论得到了很 大的发展。今天，Ramsey理论已经发展成为一个内容丰富、生动，结果优美， 旺叫极具有技巧性和创造性的数学分支。 1．4 Ramsey理论的最近进展 尽管1996年Paul Erdjs的去世是对Ramsey理论发展的一个巨大损失，同 时也标志着个叫代的结束。但他给后人留下了许多值得探讨的数学难题，这 是一笔宝贵的精神财富，其中许多就是关于Ramsey理论方面的(他的 本很好 的公开问题集可以在文献”1中找到)，它将k期激励着数学家们从事这一领域的 研究。最近几年Ramsey理论越发充满若生机，一方而，经典的Ramsey理论领 域的研究方兴末艾；例如，1995年J．H．Kim证明了Ramsey数R(3，月1的阶数是 2／log()㈩。在这一领域完成另一个突破性进展是B．Mckay和 s．Radziszowski㈣，他们使用许多台计算机计算出R(4，5)=25。另一方血，数学 家们将绎鲍Ramsey理论中的概念和结果推广到其他数学分支，例如：数论、 集合沦、逻辑学、几何学、分析学等一些领域，使得Ram