凸集沿特定方向的距离函数连续性问题

问题描述 #

考虑一个紧致凸集 $X \subseteq \mathbb{R}^n$，令 $e = (1, 0, \dots, 0) \in \mathbb{R}^n$ 是某个方向上的单位向量。定义函数 $d: X \rightarrow \mathbb{R}$，其中：
$$d(x) = \max{\alpha \ge 0 \mid x+\alpha\cdot e \in X}$$
这个函数 $d(x)$ 衡量的是点 $x$ 沿方向 $e$ 到 $X$ 边界的距离。

提问：函数 $d$ 是否在所有点 $x\in X$ 处都连续？

提问者思路：我认为答案是肯定的，而且需要用到 $X$ 的凸性，但我没法完成证明。注意这并不直接来自“到凸集的距离函数是连续函数”这个标准结论……

解答：是的，$d(x)$ 在 $X$ 上处处连续 #

我们可以利用 $X$ 的紧致性和凸性来完成连续性的证明，下面给出具体思路和过程：

1. 核心证明：序列收敛角度的连续性验证 #

任取 $X$ 中的收敛点列 $x_n \to x_0$，我们需要证明 $d(x_n) \to d(x_0)$。

步骤1：证明 $\limsup_{n\to\infty} d(x_n) \le d(x_0)$

根据 $d(x_n)$ 的定义，$x_n + d(x_n)e \in X$。因为 $X$ 是紧致集，所以点列 ${x_n + d(x_n)e}$ 必有收敛子列，不妨设 $x_{n_k} + d(x_{n_k})e \to y \in X$。
由于 $x_{n_k} \to x_0$，显然有 $d(x_{n_k}) \to \alpha$，其中 $y = x_0 + \alpha e$。
根据 $d(x_0)$ 的定义（沿 $e$ 方向能走到的最大距离），$y \in X$ 意味着 $\alpha \le d(x_0)$，因此 $\limsup_{n\to\infty} d(x_n) \le d(x_0)$。

步骤2：证明 $\liminf_{n\to\infty} d(x_n) \ge d(x_0)$

已知 $x_0 + d(x_0)e \in X$，根据 $X$ 的凸性，对于任意 $n$，线段 $\overline{x_n \quad x_0 + d(x_0)e}$ 上的所有点都属于 $X$。
我们可以把线段上的点表示为：$(1-t)x_n + t(x_0 + d(x_0)e)$，其中 $t \in [0,1]$。将其整理为沿 $e$ 方向的形式：
$$x_n + t\left(d(x_0)e + x_0 - x_n\right)$$
这个点的 $e$ 方向分量为 $x_n \cdot e + t\left(d(x_0) + (x_0 - x_n)\cdot e\right)$。当 $t=1$ 时，这个点就是 $x_0 + d(x_0)e$；当 $t$ 取合适值时，我们能得到 $x_n + \alpha e \in X$，其中 $\alpha \ge d(x_0) - |x_n - x_0|$（这里利用了内积的性质：$(x_0 - x_n)\cdot e \ge -|x_n - x_0|$）。
根据 $d(x_n)$ 的最大性，$d(x_n) \ge d(x_0) - |x_n - x_0|$。当 $n\to\infty$ 时，$|x_n - x_0| \to 0$，因此 $\liminf_{n\to\infty} d(x_n) \ge d(x_0)$。

步骤3：结合上下极限得出结论

由 $\limsup d(x_n) \le d(x_0)$ 和 $\liminf d(x_n) \ge d(x_0)$，必然有 $\lim_{n\to\infty} d(x_n) = d(x_0)$，即 $d(x)$ 在 $x_0$ 处连续。由于 $x_0$ 是 $X$ 中任意一点，因此 $d(x)$ 在 $X$ 上处处连续。

2. 补充：为什么不能直接套用“凸集距离函数连续”的结论？ #

这里的 $d(x)$ 是定向距离：它只衡量沿 $e$ 方向到边界的最大移动距离，和普通的“点到凸集的欧氏距离”定义完全不同——普通距离是点到集合所有点的最小欧氏距离，而这里是单一方向上的最大可行移动距离，因此无法直接套用标准结论，必须结合凸性和紧致性单独证明。

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