关于陶哲轩《Additive Combinatorics》中引理5.14证明的两个Hahn-Banach定理相关问题

我最近在研读陶哲轩与Vu合著的《Additive Combinatorics》（2006版，第5章第212页）中的引理5.14，卡在了证明开头的两个关键问题上。先把引理内容和证明的起始部分整理出来，方便大家理解上下文：

引理5.14
设$A, B$是有限维向量空间$V$中的加法集合，且$A, B$都包含$0$，同时$0$是$A \cup B$凸包的一个顶点。令$A' := A \setminus {0}$，$B' := B \setminus {0}$，$C := (A' \cup B') \setminus (A' + B')$。那么$A + B = {a+b : a \in A, b \in B}$包含在$C$张成的子空间中。

证明起始部分
不失一般性，我们可以取$V = \mathbb{R}^n$。根据Hahn–Banach定理，存在线性泛函$\varphi : V \to \mathbb{R}$，使得对所有$x \in (A \cup B) \setminus {0}$，有$\varphi(x) > 0$。我们需要证明$A + B$中的每个元素都在$C$张成的子空间中，将通过对$\varphi(x)$做归纳来证明，其中$\varphi(x)$是非负整数。

接下来是我的两个疑问：

问题1：为什么可以假设$\varphi(x)$是整数？ #

我自己的初步思路是：$\varphi:\mathbb{R}^n \to \mathbb{R}$的形式应该是$\varphi(x_1,\ldots, x_n)=\sum_{j=1}^n \alpha_jx_j$，其中$\alpha_j \in \mathbb{R}$。我猜测可以通过对$\alpha_j$做合适的变换让它变成整数，但具体操作细节完全没头绪。

问题2：这里怎么应用Hahn-Banach定理？ #

这是我最困惑的核心问题。我记得Hahn-Banach定理的表述是：如果有一个线性泛函$g:M \to \mathbb{R}$被半范数$\psi:V \to \mathbb{R}$控制，那么可以把$g$延拓成整个空间$V$上的线性泛函$f:V \to \mathbb{R}$，满足$f|_M = g$，且对所有$x \in V$有$f(x) \leq \psi(x)$。但我完全不知道这里应该选哪个子空间$M$，以及如何对应到定理的条件上。

问题1的解答 #

其实这里的关键不是真的把原泛函改成取值为整数的形式，而是我们可以通过缩放或者选取合适的泛函，让$\varphi$在$A \cup B$上的取值变为非负有理数（进而可以通过乘以一个公倍数转化为整数），而且这种操作完全不影响后续的归纳逻辑。

具体来说：不管$A,B$是有限还是无限集合，$0$作为$A \cup B$凸包的顶点，意味着存在一个超平面能把$0$和$A \cup B \setminus {0}$严格分开，我们先找到满足$\varphi(x) > 0$对所有$x \in (A \cup B)\setminus{0}$的线性泛函。

接下来，考虑$\varphi$在$A \cup B$上的取值集合$S = {\varphi(x) | x \in A \cup B}$，这是一个包含0和若干正实数的集合。我们可以找到一个正实数$k$，使得$k \cdot s$对所有$s \in S$都是整数（比如把$S$中的正实数都写成既约分数，取所有分母的公倍数作为$k$）。然后定义新的泛函$\varphi'(x) = k \cdot \varphi(x)$，这个新泛函同样满足$\varphi'(x) > 0$对所有$x \in (A \cup B)\setminus{0}$，而且$\varphi'(x)$在$A+B$上的取值都是非负整数——因为$A+B$中的元素是$a+b$，$\varphi'(a+b)=\varphi'(a)+\varphi'(b)$，整数相加自然还是整数。

归纳过程中我们只关心$\varphi(x)$的大小顺序，缩放后的泛函和原泛函的顺序完全一致，所以不会影响归纳的有效性。书里说“$\varphi(x)$是一个非负整数”其实是一种简化表述，本质是告诉我们可以选取这样的泛函来简化归纳步骤。

问题2的解答 #

这里用到的是Hahn-Banach定理的分离超平面推论，而不是你记忆中的泛函延拓版本，不过两者本质是等价的。

具体来说，设$K = \text{conv}(A \cup B)$（即$A \cup B$的凸包），$0$是$K$的顶点，这意味着$0$不能表示成$K$中其他点的凸组合（不存在$x_1,...,x_m \in K \setminus {0}$，$t_1,...,t_m > 0$，$\sum t_i=1$，使得$0 = \sum t_i x_i$）。根据有限维空间中的凸集分离定理（这是Hahn-Banach定理在有限维场景下的直接应用），存在线性泛函$\varphi: \mathbb{R}^n \to \mathbb{R}$，使得$\varphi(0) = 0$，且$\varphi(x) > 0$对所有$x \in K \setminus {0}$。而$A \cup B \setminus {0}$完全包含在$K \setminus {0}$中，自然满足$\varphi(x) > 0$对所有$x \in (A \cup B)\setminus{0}$。

如果一定要对应到你回忆的泛函延拓版本：我们可以取子空间$M = \text{span}{0}$（即零空间），定义$g(0) = 0$。然后考虑凸集$S = \text{conv}(A \cup B)\setminus{0}$，$0 \notin S$，我们可以在任意一条过$0$且与$S$相交的直线（子空间$\mathbb{R} \cdot x$，$x \in S$）上定义泛函$g(tx) = t$，再通过Hahn-Banach定理将其延拓到整个$\mathbb{R}^n$上，使得延拓后的泛函在$S$上的取值都大于0。不过在有限维空间里，直接用分离定理会更直观，书里提到Hahn-Banach定理，其实指的就是这个分离推论。

备注：内容来源于stack exchange，提问作者Brien Navarro