定义 下确界

自然语言

序列下确界

给定序列 $\{x_n\} \subset \mathbb{R}$
若 $\exists M \in \mathbb{R}$ 使得 $\forall n \in \mathbb{N}$ 成立

$$ \bbox[5pt]{ x_n \geqslant M } $$

即 $M$为序列 $\{x_n\}$ 的下界
且 $\forall \varepsilon > 0 , \exists n_0 \in \mathbb{N}$ 成立

$$ \bbox[5pt]{ x_{n_0} < M-\varepsilon } $$

则称 $M$ 为序列 $\{x_n\}$ 的下确界，记作

$$ \bbox[5pt]{ \inf_{n\in\mathbb{N}}{x_n} \triangleq M } $$

函数下确界

给定函数 $f : \mathbb{R}^n \to \mathbb{R}$
若 $\exists M \in \mathbb{R}$ 使得 $\forall x \in \mathbb{R}^n$ 成立

$$ \bbox[5pt]{ f(x) \geqslant M } $$

即 $M$ 为函数 $f : \mathbb{R}^n \to \mathbb{R}$ 的下界
且 $\forall \varepsilon > 0 , \exists x_0 \in \mathbb{R}^n$ 成立

$$ \bbox[5pt]{ f(x_0) < M-\varepsilon } $$

则称 $M$ 为函数 $f : \mathbb{R}^n \to \mathbb{R}$ 的下确界，记作

$$ \bbox[5pt]{ \inf_{x\in\mathbb{R}^n}{f(x)} \triangleq M } $$