函数

连续

如果对 $\forall \epsilon > 0$，$\exists \delta$ 满足

\begin{align} y \in \operatorname{dom} f, \quad\|y-x\| _{2} \leqslant \delta \Longrightarrow\|f(y)-f(x)\| _{2} \leqslant \epsilon \end{align}

则称函数 $f: \mathbf{R}^n \rightarrow \mathbf{R}^m$ 在 $x \in \operatorname{dom} f$ 处连续。

可以用极限来描述函数的连续性：

\begin{align} \lim _{i \rightarrow \infty} f\left(x _{i}\right)=f\left(\lim _{i \rightarrow \infty} x _{i}\right) \end{align}

函数连续是指它在定义域上每个点都连续。

闭函数

对于函数 $f: \mathbf{R}^n \rightarrow \mathbf{R}$，如果对 $\forall \alpha \in \mathbf{R}$，集合 $\{x \in \operatorname{dom} f \mid f(x) \leqslant \alpha\}$ 是闭集，则称函数 $f$ 是闭函数。

对于连续函数 $f: \mathbf{R}^n \rightarrow \mathbf{R}$，如果 $\operatorname{dom} f$ 是闭集，那么 $f$ 是闭函数；如果 $\operatorname{dom} f$ 是开集，那么 $f$ 是闭函数的充要条件是 $f$ 将沿着任何收敛于 $\operatorname{dom} f$ 的边界点的序列趋于 $\infty$。

来看 $\mathbf{R} \rightarrow \mathbf{R}$ 上的一些简单例子：

• $f = x \log{x}$，$\operatorname{dom}f = (0, +\infty)$

而

\begin{align} \lim _{x \rightarrow 0^{+}} x \log{x} = 0 \neq \infty \end{align}

因此不是闭函数。

• $f = \log{x}$，$\operatorname{dom}f = (0, +\infty)$

而

\begin{align} \lim _{x \rightarrow 0^{+}} \log{x} = -\infty \end{align}

且

\begin{align} \lim _{x \rightarrow +\infty} \log{x} = +\infty \end{align}

因此是闭函数。