凸集内点线性组合归属证明的归纳法求解疑问

嘿，我来帮你搞定这个归纳法卡壳的问题～你遇到的核心难点其实是没找到拆分k+1个系数的正确方式，咱们一步步来梳理：

先明确完整命题 #

首先要补充一个关键前提（原问题可能漏提了）：这里的系数$a_j$必须是非负实数，也就是凸组合的定义（系数非负且和为1），不然命题不成立哦（比如取凸集为单位圆，$x_1=(1,0),x_2=(-1,0)$，$a_1=2,a_2=-1$，和为1，但组合$(3,0)$不在圆内）。

完整命题：设$K$为凸集，若$x_1,x_2,...,x_n \in K$，且非负实数$a_1,a_2,...,a_n$满足$\sum_{j=1}^n a_j=1$，则$x=\sum_{j=1}^n a_jx_j \in K$。

归纳法证明的正确步骤 #

1. 基例（n=2）

这就是凸集的定义呀：如果$x_1,x_2 \in K$，且$a_1+a_2=1$、$a_1,a_2\geq0$，那么$a_1x_1+a_2x_2 \in K$，直接成立，没毛病。

2. 归纳假设

假设当$n=k$时命题成立：任意$k$个$K$内的点$x_1,...,x_k$，只要系数$a_1,...,a_k$非负且和为1，它们的组合$\sum_{j=1}^k a_jx_j$就属于$K$。

3. 归纳步骤（n=k+1）

这就是你卡壳的地方，核心技巧是把前k个点的组合打包成一个点，具体操作：

• 先看系数$a_{k+1}$：如果$a_{k+1}=1$，那剩下的$a_1$到$a_k$都是0，组合结果就是$x_{k+1}$，显然在$K$里，直接成立。
• 如果$a_{k+1}<1$，那前k个系数的和$s=\sum_{j=1}^k a_j=1-a_{k+1}>0$。我们把前k个系数归一化，令$b_j=\frac{a_j}{s}$，这样$\sum_{j=1}^k b_j=\frac{1}{s}\sum_{j=1}^k a_j=1$，而且每个$b_j\geq0$。
• 根据归纳假设，这k个点的归一化组合$\hat{x}=\sum_{j=1}^k b_jx_j$属于$K$。
• 现在把原k+1个点的组合改写一下：
  $$
  \sum_{j=1}^{k+1}a_jx_j = s\cdot\hat{x} + a_{k+1}x_{k+1}
  $$
  你看，这里$s + a_{k+1}=1$，而且$s,a_{k+1}$都是非负的，这不就是n=2时的凸组合嘛！根据凸集的定义，这个组合肯定属于$K$。

这样就完美完成了归纳步骤的证明啦～

内容的提问来源于stack exchange，提问作者A Slow Learner