中型的交集难以避免.PDFVIP

中型的交集难 以避免 冯上伦 欧阳宁谦 年 月 日 一个组合数学延伸出来的分支，极值集合理论，研究下述类型的问题。 假定 是一个具有个元 的集合的子集所构成的系统，假定有一种简 明描 述的集合结构不在 中出现。那么 中最大可能的集合数量是多少？ 这里有一些著名的例子。 引理 ：如果有两个不同的集合 且 謬则有 定理謺如果 謬每个 都有个元 ，而且 謽 对于每 两个， 謬则有 謱 謱 理论：如果每个 有奇数个元 且 是偶数的那么 对于每两个， 謬则有 謮 这样 的一组理论可 以扩展到许多页，线性代数方法构成了证 明它们的 主要工具。 这里我们提供这类 问题 的一个强大且令人惊 叹的的一个结果。它有一 个很漂亮的几何应用，我们将在下一篇文章中解释。 定理 ： 是一个 数， 是一个由具有个元 的集合 的具有謲 謱个 元 的子集构成的系统，而且譆 中的任意两个集合之交都不为 謱个元 。 则系统 中集合的数量最多有 謫 謫 謫 謰 謱 謱 这里共计有 个子集从属于一个具有个元 的集合。这个 謲 謱 定理告诉我们如果我们仅仅禁止任两个 中的集合的交集 中具有 謱个元 謱 謲 的情况，我们就会得到少很多的集合。下面就是一个表示謢少很多謢 的一 个可能的数量级。 必然结果：若 是定理所指的系统，当 謽 謴 是，则有 謴 謲 謱 謱謱 结 果 的证 明：首先 謽 而且对 于 謴謬我们 謱 有 那么我们有 謱 謴 謫 謴 謫 謫 謴 謴 謱 謫 謱 謫 謱 謫 謱 謴 謱 謲 謰 謳 謳 謳 謲 进而 謴 謴 謲 謱 謲 謱 謨謳 謩謨謳 謱謩 謨謲 謫 謲謩 謳 謳 謲 謽 謲