European Journal of Combinatorics ( IF 1.0 ) Pub Date : 2020-12-10 , DOI: 10.1016/j.ejc.2020.103279 Peter Frankl
Let be integers and an -element set. A family consisting of subsets of is called -Sperner if it has no distinct members such that . A family is called -union if the union of any two of its members has size at most . A classical result of Milner determines the maximum size of a family that is both 1-Sperner and -union. The present paper is dealing with the case . If then the natural construction is to take all subsets with . Theorem 4.1 shows that this is optimal for . The case of is more complex. We believe that Example 1.9 provides the maximum. Theorem 1.12 confirms this for and .
Two families and are called cross-intersecting if for all , . What is the maximum of if in addition is -Sperner, is -Sperner? The exact answer is given by Theorem 1.4.
In Section 3 we prove the analogue of Milner’s Theorem for vector spaces.
中文翻译:
没有长链和向量空间的家庭的米尔纳定理的类比
让 是整数和 一个 -元素集。一个家庭 由...的子集组成 叫做 -如果没有独立成员,则为Sperner 这样 。一个家庭被称为-工会,如果其任何两个成员的工会的规模最大为 。Milner的经典结果决定了1-Sperner和-联盟。本文件正在处理此案。如果 那么自然的构造就是取所有子集 与 。定理4.1表明这对于。的情况下更复杂。我们相信,示例1.9提供了最大的限制。定理1.12证实了 和 。
两个家庭 和 称为交叉相交 对所有人 , 。最大值是多少 如果另外 是 -Sperner, 是 -Sperner?确切的答案由定理1.4给出。
在第3节中,我们证明了向量空间的米尔纳定理的类似物。