关于凸体覆盖的Hadwiger猜想的两个等价形式.pdf

中国科学：数学 2014年 第44卷 第3期：275～285 《中国科学》杂志社 SCIENCE CHINA PRESS 关于凸体覆盖的Hadwiger猜想的两个等价形式 吴森 ② ①哈尔滨理工大学应用数学系，哈尔滨 150080 ②北京大学数学科学学院，北京 100871 E—maihwusenlin@outlook．com 收稿 日期：2013—09—20；接受日期：2014—0l一03 国家重点基础研究发展计划 (973计划)(批准号：2013CB834201)、国家 自然科学基金 (批准号、中国博士后科学基 金 (批准号：2012M520097和 2013T60019)、黑龙江省教育厅海外学人 (批准号：1251H013)和教育部留学回国人员启动基金资助 项 目 摘要 令 是一个内部 (记作 intK)包含原点 。的凸体，bd 为其边界，m 为覆盖 所需的int 的平移的最小个数．本文证明，存在正实数 叩和含于卵(bdK)的m元点集 c1使得C1+int 覆盖 ； 存在正实数 叩、实数 7∈(0，1)和含于 叩(bd )的m 元点集 c2『使得 + 覆盖 ．基于这两个 事实 本文得到关于凸体覆盖的Hadwiger猜想的两个等价形式．本文还引入一个可以替代宗传明提 出的攻克Hadwiger猜想的数量方案 中的 ()的新泛函． 关键词 凸体 凸体覆盖 Hadwiger猜想 MSC (2010)主题分类 52C17，52A45，52A20 1 引言 对任意整数m1，我们用 fm]表示集合 f1，2，… ，m)．集合Ac n的内部、边界和闭包分别记 作 intA dA和 clA．若对任意的X，Y∈A和任意实数 ∈f0，1]， +(1～入) ∈A总成立，则A称为 一 个凸集．对任意正实数 和任意点X∈ n，集合 X+ ：= x+ ：Y∈ }称为 的一个位似集； 若 入∈(0，1)，+ A称为 A的一个小位似集；X+A称为 的一个平移．令 ．．， 为 n的若干 子集．若 lu… u ，则我们称 可 由上述集合覆盖．我们将 瓜n中所有凸体 (内部非空的紧 凸集)构成的集合记作 I|Cn．设CCRn，K ∈．ICn．若 C+int ，则我们称 C为 的一个 一构图； 若存在正实数 使得 C+ 成立，则我们称 C为 的一个 一构图． 的 一构图所含元素 的最小个数 c()称为 的覆盖数．关于 c(K)的上界，源于文献 f1，21的关于凸体覆盖的Hadwiger 猜想指出： 猜想 1 若K ∈ n，则礼+1≤c(K)≤2n且c(K)=2n当且仅当 是一个仿立方体． 猜想 1仅在 礼=2完全解决，它在 n=3时就 已是很困难的公开 问题．文献 3『，4]包含 了关于这 个猜想的两项重要进展．文献 [3】证明了c(K)≤8对 0中任意中心对称的凸体成立．文献 4『]给出 了c(K)现有的最佳一般上界．关于这一猜想及相关问题的其他重要工作和文献可参见专著 f571和 综述文章 8『—101．文献 f11161包含了关于这一猜想的若干新近进展． 吴森林：关于凸体覆盖的 Hadwiger猜想的两个等价形式 用 凸体 内部的平移去覆盖凸体这一问题与关于凸体表面结构的若干 问题密切相关，猜想 1也因此 具有多种等价形式． 令 为凸体 K ∈C／n的一个边界点，札为 n中异于原点O的一个向量 (称为一个方 向1，P为 K 的一个外点．若存在正实数 A使得 X+Au∈intK，则我们称 可被方向 照亮；若从P出发且过 X 的射线与 int 相交且这两点之间的线段与 int 不相交，则我们称 X可被外点P照亮．令 为若干 方向构成的集合，P为 的若干外点构成的集合．若bd 中的每一点均可被 f或 _P)中的某个元 素照亮，则我们称 f或 P)可 以照亮bd ． 由文献 f5，定理 34．31和当K ∈7Cn是一个仿立方体时c(K)=2n，下述命题均等价于猜想 1： 任意非仿立方体的K ∈ n可被 2n一1个 的小位似集覆盖： 任意非仿立方体的K ∈ n的边界 bd 可被 2n一1个方向照亮； 任意非仿立方体的K ∈．ICn的边界bd 可被 2n一1个 的外