线性格中t-交反链的LYM-型不等式.pdfVIP

中国科学 数学 年 第 卷 第 期 线性格中 交反链的 型不等式 献给徐利治教授 华诞 ∗ 陈北方 王军 香港科技大学数学系 香港 上海师范大学数学系 上海 收稿日期 接受日期 通信作者 批准号 和国家自然科学基金 批准号 和 资助 项目 摘要 线性格L q 是q 元域上n 维线性空间的所有子空间组成的格 两个子空间称为t 交的 如果 它们交空间的维数不小于t 已知线性格的 交反链满足 型不 等式 本文讨论线性格中t 交反链的 型不等式 并在一些特殊情形下证明该不等式 关键词 线性格 交族 型不等式 主题分类 引言 ( ) 设X 是有限集 用 表示X 的所有子集的集合 表示X 的所有k 元子集的集合 子集的 ( ) ( ) 集合也称为子集族 的势即熟知的二项式系数 这里n |X | 对于整数m n 用 m, n 来表 示集合 {m, m , . . . , n} , n 则简记为 n 用B 表示 n 的所有子集的集合 即 ( ) B ∪ n . k () 有时也记作 B 给定一个正整数 t 以及一个子集族A 称 A 为一个 t 交族 如果对任意的 A, B ∈ A 均有 |A ∩ B | t 成立 交族简称为交族 著名的 定理 是说 ( ) 如果A 是 B 中的交族 其中 k 则 |A| − 给出了这个定理一个简单的证明 − 利用 的方法将 定理拓展为 如果A 是一个交反链 即A 中的子集之间没有 包含关系 则 ⌊ ⌋ ∑ |A | ( ) − , − 其中A {A ∈ A |A | k} 这个不等式称为 型不等式 因为 和 曾独立地研究过这种类型的不等式 英文引用格式 陈北方等 线性格中 交反链的 型不等式 有限集上的组合问题通常会有一个有限线性空间的模拟 设q 是一个素数的方幂 表示q 元域 V 表示 上n 维向量空间 L q 表示 V 的所有子空间的集合 给定 V 的一个子空间W [ ] [ ] [ ] 用