请求赋范向量空间里斯引理相关命题的求解提示

嘿，这个问题确实和**里斯引理（Riesz's Lemma）**高度关联，咱们直接从引理出发拆解证明思路：

先明确核心定义与引理回顾 #

• 首先，点到子空间的距离定义：对于任意$x \in X$，$d(x,Y) = \inf\left{ |x - y| \mid y \in Y \right}$，这是后续推导的基础。
• 里斯引理的准确表述：

  设$X$为赋范向量空间，$Y$是$X$的闭线性子空间且$Y \neq X$，$\alpha \in \mathbb{R}$满足$0 < \alpha < 1$，则存在$x_\alpha \in X$使得$|x_\alpha| = 1$且对所有$y \in Y$，$|x_\alpha - y| > \alpha$。

对应题目要求的推导步骤 #

给定任意$\varepsilon > 0$，我们分两种情况处理：

1. 当$\varepsilon \geq 1$时：
   此时$1 - \varepsilon \leq 0$，而对于任意单位向量$x \in X$，$d(x,Y) = \inf|x-y| \geq 0$，显然满足$d(x,Y) \geq 1 - \varepsilon$，这种情况无需额外构造，直接取任意单位向量即可。

2. 当$0 < \varepsilon < 1$时：

   • 令$\alpha = 1 - \varepsilon$，此时$0 < \alpha < 1$，完全符合里斯引理的$\alpha$取值范围。
   • 因为$Y$是$X$的闭真子空间，满足里斯引理的全部前提条件，所以根据引理，存在$x \in X$使得$|x| = 1$，且对所有$y \in Y$，$|x - y| > \alpha = 1 - \varepsilon$。
   • 结合距离的定义：$d(x,Y)$是所有$|x - y|$的下确界，既然所有$|x - y|$都大于$1 - \varepsilon$，那么下确界必然满足$d(x,Y) \geq 1 - \varepsilon$，这就正好完成了题目要求的证明。

关键逻辑梳理 #

本质上，题目要求的结论是里斯引理的一个直接推论——我们只需要把里斯引理中的$\alpha$设定为$1 - \varepsilon$，就可以将引理中的严格大于关系转化为距离下确界的下界关系。

内容的提问来源于stack exchange，提问作者Jeremy Jeffrey James