凸集两种定义的等价性证明及n个向量扩展推导问题

阿华AIGC实验室

2026-4-20

嗨，我来帮你理清这个凸集定义等价性的问题～你之前用平方方式扩展时只能得到2、4、8这类2的幂次情况，是因为选了一种特殊的归纳路径，换用标准数学归纳法就能覆盖所有正整数n啦！下面我们一步步来证明两种定义的等价性：

一、从两点凸组合定义推导n点凸组合定义

首先明确两个核心定义：

基础定义（两点版）：集合$C$是凸集，当且仅当对任意$0 \leq t \leq 1$，有$tC + (1-t)C \subset C$（也就是任意两点的凸组合都在$C$内）。
扩展定义（n点版）：集合$C$是凸集，当且仅当对任意正整数$n$，任意非负实数$a_1,a_2,...,a_n$满足$\sum_{i=1}^n a_i = 1$，都有$\sum_{i=1}^n a_i C \subset C$（也就是任意n个点的凸组合都在$C$内）。

我们用数学归纳法证明基础定义可以推导出扩展定义：

基例（n=2）：这就是基础定义本身，显然成立。
归纳假设：假设当$n=k$时扩展定义成立，即对于任意$k$个非负系数$a_1,...,a_k$且$\sum_{i=1}^k a_i=1$，任意$c_1,...,c_k \in C$，都有$\sum_{i=1}^k a_i c_i \in C$。
归纳步骤（n=k+1）：
取任意$k+1$个非负系数$b_1,...,b_{k+1}$满足$\sum_{i=1}^{k+1} b_i=1$，任意$c_1,...,c_{k+1} \in C$。
- 如果某个$b_i=1$，那么其余系数都是0，此时$\sum_{i=1}^{k+1} b_i c_i = c_i \in C$，显然成立。
- 否则，至少有两个系数大于0。令$s = \sum_{i=1}^k b_i$，则$s > 0$，且$b_{k+1} = 1 - s > 0$。
  我们可以把凸组合拆成：
  $$\sum_{i=1}^{k+1} b_i c_i = s \cdot \left( \sum_{i=1}^k \frac{b_i}{s} c_i \right) + (1-s) \cdot c_{k+1}$$
  其中$\sum_{i=1}^k \frac{b_i}{s} = \frac{1}{s} \sum_{i=1}^k b_i = 1$，且$\frac{b_i}{s} \geq 0$，根据归纳假设，$\sum_{i=1}^k \frac{b_i}{s} c_i \in C$。再结合基础定义，两个点的凸组合$s \cdot x + (1-s) \cdot c_{k+1}$（这里$x = \sum_{i=1}^k \frac{b_i}{s} c_i$）必然属于$C$。
  因此$n=k+1$时扩展定义也成立。

通过归纳法，我们就证明了所有正整数n的情况，而不只是2的幂次～比如n=3时，你可以把三个点的凸组合拆成「前两个点的凸组合」和第三个点的凸组合，直接套用基础定义就能证明它在C内。