泛函分析基础9-2-投影定理1：凸集【若M是X的子集，对M中的任意两点x,y，必有[x,y]⊂M，则称M为X中的凸集】【{z=αx+(1−α)y:0⩽α⩽1}为X中联结点x和y的线段，记为[x,y]】

设 $X$ 是 度量空间， $M$ 是 $X$ 的 非空子集， $x$ 是 $X$ 中 一点，称

$$\underset{y\in M}{\inf }d(x,y)$$

为点 $x$ 到 $M$ 的 距离，记为 $d(x,M).$

在赋范线性空间中，

$$d(x,M)=\underset{y\in M}{\inf }\Vert x-y\Vert .(1)$$

在许多数学问题中（例如函数逼近论）常常会提出这样的问题：是否存在$y\in M,$ 使

$$d(x,M)=\Vert x-y\Vert ,(2)$$

如果存在这样的 $y,$ 是否唯一？

容易明白，如果不对 $M$ 加上一些限制，即使在有限维欧氏空间中，对这个问题的回答也是不肯定的。

但当 $M$是内积空间中的完备凸子集时，对这个问题可以得到肯定的回答，为此，先介绍凸集的概念.

设 $X$ 是 线性空间， $x,y$ 是 $X$ 中 两点，称集合

{ z = α x + ( 1 − α ) y : 0 ⩽ α ⩽ 1 } \{ z = \alpha x + ( 1 - \alpha ) y : 0 \leqslant \alpha \leqslant 1 \} {z=αx+(1−α)y:0⩽α⩽1}

为 $X$ 中 联结点 $x$ 和 $y$ 的线段，记为 $[x,y].$

如果 $M$ 是 $X$的 子集，对 $M$ 中 的任意两点 $x,y,$必有 $[x,y]\subset M,$ 则称 $M$ 为 $X$ 中 的凸集。