一个九元素集合 的子集族 要满足:不同成员总有公共元素,但没有元素出现在全族每个成员中。求 的最大值,并给出达到它的子集族。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
每个子集与其补集不能同时被选;奇数全集的大半子集族自然两两相交。
把全部 个子集按 配成 对,每对至多选一个,故 。取F为S的所有至少5元素子集:任意两成员大小和至少10>9,所以必相交;每个元素都能被一个5元素子集避开,故全族没有共同元素。又每对互补子集恰一个大小至少5,因此此族恰有256个成员。最大值为 。
空集和全集构成一对,也不能同时选;构造不包含空集。对任何s∈S,从S{s的8元素中选5个即可给出避开s的成员,真正满足新增条件。
上界构造必须满足全部额外约束;补集对称在奇数基数下提供自然的无公共点极值族。
补集配对给上界;额外空公共交集条件排除了固定点星族,须换成大子集构造。
已记下,谢谢!