1. 引言
令
为
的所有子集按包含关系构成的偏序集。一个集合
称为Sperner集族,如果对
有
,且
。Sperner的一个著名结果是
中最大的Sperner集族的密度为
[1]。Sperner 定理是极值组合理论的核心结果之一,并且它有很多一般化的结果和延伸(详
见 [2] [3] )。
定义1.1
,对于
,若
则
,则称
是凸集。
定义1.2
,对于
,若
则
,则称
是理想。
很明显理想一定是凸集。由Sperner定理出发,有Frankl猜想如下,
猜想1.3 [4] 对集合
上每一个凸集族
,均存在一个Sperner集族
,有
.
这个猜想已经存在将近40年的时间了,并且到目前为止仍未被证明。很自然的人们开始考虑在理想这个特殊的凸集上猜想是否成立。牟丽丽和王毅给出
中压缩理想
的最大Sperner集族的密度至少为
[5]。Dwight Duffus等人给出
中所有非空二进制理想
的最大Sperner集族的密度至少为
[6]。
定义1.4
,若
,则一定有
,那么
称为滤子。
因为滤子也是特殊的凸集,基于这个事实,本文考虑
中压缩滤子的最大Sperner集族的密度情况。
定义1.5 序
的定义为,对
,
当且仅当
或
。
如
,
;
在序
下的形式如图1。
定义1.6
,
是
在序°下的前
个元素,这里C记为压缩算子。其中
代
表
的所有k-子集构成的集合,
代表
的所有k-子集构成的集合。
那么对
,
,
。如在
中,若
,则
。
定义1.7 对滤子
,若有
,
,则称
为压缩滤子。很明显
是压缩滤子。
在本文中将证明结论如下。
定理1.8 令
为
中的一个压缩滤子,
中存在最大Sperner集族
使
(1)
2. 定理证明
为了证明定理1.8,还需要知道以下定义及引理。
定义2.1
的上阴
:
,则
,其中
。
定义2.2
的下阴
:
,则
,其中
。
引理2.3 [2] 令
,当
时,
;
时,
。
引理2.4 [7] 令
,那么存在一个
使
且
;同样它的对偶情况也成立,即存在一个
使
且
。
通常
其中
。
为了方便证明,令
容易计算得
,因此有下式成立
用归纳假设法来证明定理1.8。
当
时显然成立。假设
时(1)式也成立,现来看n时的情况。令
为
中的一个压缩滤子,
,
,
,
为
的所有集合,其中
。由定义知
,且均为
中的压缩滤子。因此由归纳假设在
中,存在最大Sperner集族
和
有
(2)
令
,那么
为
中最大反链,有
(3)
其中
代表
在
中的所有元素集合,
代表
在
中的所有元素集合,
。取
,
。则由压缩滤子的定义有
。所以
可写成如下形式:
(4)
现来证
。由已知
,如果则
由引理2.3有
用
代替
,可在
中的到一个比
更大的Sperner 集族,与已知矛盾,所以
。
下面分两种情况证明
中存在最大Sperner 集族
使(1)成立。
情况1:n为偶数时,令
。则
,现来证
。假设
,令
其中
由(4)知
并且
在
中仍是一个Sperner集族,由引理2.3有
即
,这与
为
中最大的Sperner 集族矛盾,所以
。因此
在
中仍是一个Sperner集族。由(2)和(3)有
因此
是
中最大的Sperner集族。
情况2:n为奇数时,令
,则
。如果
,由(4)知与情况1类似可得到
,且
是
中最大的Sperner集族。如果
,
其中
,但这时
不是一个Sperner 集族。令
其中
是
在
中的上阴。在
中
仍是一个Sperner 集族,那么
在
中仍是一个Sperner 集族。下证
(5)
这里
,即证
整理有
因为
,所以可转化为证
逐步整理如下
这里由
我们有
因此证(5)式转化为证
(6)
由
,假设
其中
,那么由引理2.4有
那么
由此(6)式得证,综上定理1.8证毕。 □
3. 结论
中压缩滤子
的Sperner集族的密度至少为
。
参考文献