LYM不等式的一个简单证明

【摘要】 <正> 命f是x={1,2,…,n}上的一个反链,Sperner证明有下列结论成立。后来Lubell、Yamamoto、Meshalkin推广为为X的反链 (1) 这就是LYM不等式。对此不等式,最近Frankl给出了一个概率证明。本文将给出一个更为简单的证明。用数学归纳法证明 1.当n=1时,(1)式显然成立。更多还原