Sperner理论是建立在偏序集上的极值理论,在运筹学、计算机、超图理论等领域有很多的应用。然而原始的Sperner定理对集合限制颇大。本文的主要工作是借助于数论的方法,给出Sperner定理在自然数域上推广的一个可选择的证明。将Sperner中集合与不定方程的解对应起来,把复杂的集合结构简化为解的结构,得到了良好的性质。推广中还运用对称链分解辅助说明,凭借架构对称链数量上的一一对应,证明了推广的部分。 Sperner theory is one of the most marvelous branches in extremal set theory. It has many applica-tions in the field of operation research, computer science, hypergraph theory and so on. The original Sperner theorem is brilliant; however, there are quite a few constraints. Using number theory method, an alternative proof of Sperner theorem was obtained. As an application, we correspond subsets of Sperner to the roots of indefinite equations, simplifying the complex conformation of the set of solutions and getting nicer properties. The utilization of symmetric chain decomposition plays a great role in promotion, by establishing numerical correspondence between symmetric chain structure and integer collection. The symmetric chain decomposition method also supports the promotion. We build a connection between chains and collections.
张泰滺1,晁福刚1,任韩1,2
1华东师范大学数学系,上海
2上海市核心数学与实践重点实验室,上海
收稿日期:2015年10月28日;录用日期:2015年11月13日;发布日期:2015年11月19日
Sperner理论是建立在偏序集上的极值理论,在运筹学、计算机、超图理论等领域有很多的应用。然而原始的Sperner定理对集合限制颇大。本文的主要工作是借助于数论的方法,给出Sperner定理在自然数域上推广的一个可选择的证明。将Sperner中集合与不定方程的解对应起来,把复杂的集合结构简化为解的结构,得到了良好的性质。推广中还运用对称链分解辅助说明,凭借架构对称链数量上的一一对应,证明了推广的部分。
关键词 :Sperner定理,生成函数,对称链
Sperner理论在极值组合论的众多领域中占有一席之地,是组合数学中的一个有深远影响的研究方向,这一理论偏向于研究建立在偏序集、偏序关系上的极值可能性以及范围。由于偏序集的包容性使其延伸广泛,很有深度,因此在许多领域都被广泛地应用。从二十世纪二十年代左右开始渐渐发展成为一个独立课题。大约三十年代以来,由于同超图理论相互映证,得到了快速的的发展。
谈到此理论的发源,就要从上个世纪Sperner做出的一个看似朴素但又是前所未有的成果,即对于子集格来说,基数最大的反链是由秩最大的集合组成的。按集合论观点来说就是研究离散数学中在偏序集上中相互不存在比较关系的元素的最大集合。
Sperner理论[
除代数方法之外,对这些问题的研究过程中引入了几何、概率、线性规划等数学分支进来,产生了很多独特的想法和技巧,从而形成Sperner理论。这门学科在不断地推广下渐渐形成一门独立的分支学科,同时该理论体系不仅同许多数学领域关系密切,诸如概率论、数论、超图理论等等,其在计算机领域的应用也十分广泛,在计算机理论、编码纠错原理,以及概率论等等方面具有很大的价值。
在众多关于偏序集研究的成果中,比较有价值或者说较为深刻的是对包含关系下的n元子集格的研究。超图领域与该理论体系的关联是一个重要发现,这一点直接导致大量前者的术语经常被用来描述以子集格为研究对象的极值结果。除此之外大量漂亮的结论推广到了以整除关系为偏序关系的整数分拆格上,本文中主要讲述的就是建立在整除关系上,关于整数质因子分解的极值问题。
本文的研究对象是建立在整数的质因子分解的因子集合,主要分析集合与集合之间的关系并构建数学联系,在这研究过程中需要运用一系列集合尤其是偏序集的概念诸如偏序关系、阶、比较、覆盖等等概念,定义如下:
对于非空有限集合
1) 对于任意的
2) 对于任意的
3) 对于任意的
如果
有限集合
设
对于一个偏序集
1)
2)
则称偏序集
偏序集合,即配备了偏序关系的集合。序关系直观地说明了集合概念,表示出集合上元素之间的联系,诸如排序或排列等。使用交反链、对称链等一类关于链的概念在解决Sperner理论中的问题上往往有独到之处。
当谈到链一般有提到Dilworth定理,一个非常著名的定理:一个偏序集里,最小的链划分个数即是此中最长反链的长度。这个定理在组合极值体系中起到了不可或缺的作用。与此同时偏序结构在数学各分支中的应用广泛,这直接导致了链分解性质在拓扑、大数据等学科的研究中常扮演着重要的角色。下面对本文中涉及的链进行简要说明:
假如
序集
1)
2)
在对于
1)
2)
则称
Sperner在1928年得到的结果被视作是这一理论体系的源头:
定理3.1 如果
先作出如下定义,如果有一个n元排列中前
在这里假设
故有
作为Sperner定理结论的补充,
Sperner定理在集合论上具有极其深刻的影响力,在这里首先不妨将集合视作元素,包含关系视作偏序集,在这样认知下该定理对于其他形式的偏序集上也有很大的价值。通过转化几个偏序的概念,可以得到以下的推论:
推论 3.2 设
将数的整除关系看做原定理中集合的包含关系,一个个正因子对应到子集簇中的子集,而自然数N按作用则可等价看做Sperner定理中的S。从这些概念等价推导过来,结论是成立的。
N的任何一个因数都可以像这样表示成
的下标对应于
在以上推论的描述中知道N的局限性很大,只有在满足N等于质数一次幂的乘积的时候,才能对上界进行限制,对于诸如“4”这样平凡的自然数却无能为力。本文接下来的工作就是设法把N的值域扩展到整个自然数域,换句话来说就是研究自然数N中两两无整除关系的因子所构成集合中元素最多能有多少?
为突破这个局限,首先尝试使用了生成函数法:在研究离散数列的性质时,把其中一部分特性同化到幂级数里,借助幂级数这类运算的种种良好的性质确定离散数列的结构。在这里生成函数非常巧妙地把正因子的次数和方程组的解相联系,凭此找到了可能的突破口。
设
取N中任意一个因数
定义
上面的不定方程描述了N每个因子的特点,然而还不够清楚明了,还可以通过进一步的演化来抓住因子的主要特点。对于N的k次因数的个数可以借助生成函数法的思想,观察下式中k次幂系数:
依次从括号中提取出一个质因子的幂次,合并得到不定方程:
到目前为止,已经把原问题:求N中相互没有整除关系的因子集合的规模,转变成考虑不定方程解的个数。虽然从上面的推导已知一个因子可以转化成一个不定方程的解,还是要对这种方法的合理性进行验证,不定方程的解是否严格与N中因子一一对应。
引理4.1 上述方程任意两个解
由于
完成了因子与不定方程的解一一对应的证明,现在可以得到:
定理4.2 N所有k次两两无整除关系的正因子的集合的最大规模等于不定方程
的非负整数解
如记N的次数是k的所有因数的集合为
从这个定理开始,就可以通过分析这个不定方程解的结构来描述N的互不整除的因子数。不得不说,这个不定方程解的结构还是有非常漂亮性质的:
性质4.3 N所有k次两两无整除关系的正因子的集合的最大规模等于N所有
方程组解的个数具有等距离对称的性质:第一个等式等于k和等于
很明显两边方程的解的个数相等,通过等价关系于是两个正因子集合的元素数目一致。
通过这个性质把需要考虑情况减去一半,接下来只要研究剩下一半中解的情况。该解的结构具有单峰性。
在展开对称链方法之前,首先重述一遍推广的意图以理清思路:Sperner定理在质因子分解上的应用存在较大的局限,它无法作用于任意自然数而是仅仅作用于可以由互异单个质因子乘积得到的自然数。为了较清晰地展示对称链法,先对以下符号做出说明:
这里引入任意的自然数的标准分解式
同样
记
在确定了符号标记后,便可以展开对称链法。对称链法的大体思路是把集合中的对称链与集合中元素构建数学关系,从而通过对称链的数量限制集合中元素的数量,当然这种方法是有前提的。
引理4.4 (自然数因数集的对称链分解定理)自然数
证明:使用递推的方法进行验证。当n=1时,
当n = k时,设
对于
构造法中t的作用是使每个序列都构成对称链。
显然上面的序列成功将一条对称链构造成n = k + 1时的对称链,从形状上来看构造的非常成功,两两之间不相交。但还需要进一步的分析来应证来确定该构造法的确达到了期望的地步,需要解决两个合理性问题:两条不同的对称链是否会构造出相同重复的一条新对称链;是否每一个因子都可以在某一条新构造出的对称链中找到。
定理4.5 任意两条
从
已知自然数的标准分解式为:
其中e代表
那么这两条对称链中的元素的阶函数满足:
任意分别在对称链中取出两个元素,并通过上文关于对称链的构造法,变成新对称链中元素,形如
用反证法:如果要求这两个元素相等,等价于原来取出的元素相等且关于
由于
定理4.6
任意一个
综上,完成了对于构造法合理的验证,从而得到了自然数因数集的对称链分解定理。这个定理说明自然数因数集拥有对称链分解的性质,从而可以用这个性质引出Sperner定理的推广:
定理4.7 对于任意自然数
把
在完成了定理的纯理论的解释和证明之后,下面补充了应用定理的一个简单例子,在这个例子可以发现生成函数的优越性。设有自然数
按照定理,所要求的数目就是
只需计算式子中
其中
综上所述,
本文得到国家自然科学基金(数学基地科研训练及能力提高)项目资助和上海市科学技术委员会的资助,资助课题编号为13dz2260400。
张泰滺,晁福刚,任韩. Sperner理论的质因子分解问题 Prime Factorization of Sperner Theory[J]. 应用数学进展, 2015, 04(04): 357-364. http://dx.doi.org/10.12677/AAM.2015.44044