Dilworth定理证明

以下证明摘自网上相关资料，本人为了理解方便作了部分修改：

设偏序集S。S能划分成的最少的全序集的个数为K，S的最大反链的元素个数为M。

1. 先证明K>=M。设反链A={a1,a2,...,aM}。假设K<M，那么由抽屉原理，必然有两个元素ai,aj在同一个全序集中。那么ai,aj可比。与ai,aj不可比矛盾。

2. 再证明K=M。用第二数学归纳法。

　　设全序集S中有m个元素。

　　(1)当m=0和m=1时，对于命题结论显然成立。

　　(2)假设m<n(n∈N+)时命题成立，现在证m=n时，命题也成立。

　　设x为S中的一个极大元。考虑S'=S-{x}这个偏序集。由于|S'|<n，由归纳假设，S'满足命题。设 S' 能划分成的最小的全序集个数为k，最大反链的元素个数也为k。那么我们设S'被划分成了k个链分别为C1,C2,...,Ck。设所有长度为k的反链分别为A1,A2,...,Ar。（假设有r条长度为k的反链）

　　那么对于任意一个Ai，Ai的元素必定是k条链上，每条链取一个元素。设为ai1,ai2,...,aik。

　　那么我们考虑集合B= {b1,b2,...,bk}={ max(ai1), max(ai2), max(ai3), ... , max(aik) }。 这个集合一定也是一条反链。（用反证法很容易证明：假设存在两个元素bi,bj(i<j)可比，不妨设bi<=bj，其中bi和bj分别位于链Ci和Cj上。那么bi所在链的每个aix都与bj可比，与Ci上存在一个aix与bj不可比矛盾。）（加粗