归结原则也可简述为:
lim x → x 0 f ( x ) = A ⇔ 对任何 x n → x 0 ( n → ∞ ) 有 lim n → ∞ f ( x n ) = A . \lim \limits_{x \rightarrow x_{0}} f(x)=A \Leftrightarrow \text { 对任何 } x_{n} \rightarrow x_{0}(n \rightarrow \infty) \text { 有 } \lim \limits_{n \rightarrow \infty} f\left(x_{n}\right)=A . x→x0limf(x)=A⇔ 对任何 xn→x0(n→∞) 有 n→∞limf(xn)=A.
对于 x → x 0 + , x → x 0 − , x → + ∞ x \rightarrow x_{0}^{+}, x \rightarrow x_{0}^{-}, x \rightarrow+\infty x→x0+,x→x0−,x→+∞和 x → − ∞ x \rightarrow-\infty x→−∞ 这四种类型的单侧极限,相应的归结原则可表示为更强的形式. 现以 x → x 0 + x \rightarrow x_{0}^{+} x→x0+这种类型为例阐述如下:
定理 3.9
设函数 f f f 在点