定理 3.11 (柯西准则)
设函数 f f f 在 U ∘ ( x 0 ; δ ′ ) U^{\circ}\left(x_{0} ; \delta^{\prime}\right) U∘(x0;δ′) 上有定义. lim x → x 0 f ( x ) \lim \limits_{x \rightarrow x_{0}} f(x) x→x0limf(x) 存在的充要条件是: 任给 ε > 0 \varepsilon>0 ε>0, 存在正数 δ ( < δ ′ ) \delta\left(<\delta^{\prime}\right) δ(<δ′),使得对任何 x ′ , x ′ ′ ∈ U ∘ ( x 0 ; δ ) x^{\prime}, x^{\prime \prime} \in U^{\circ}\left(x_{0} ; \delta\right) x′,x′′∈U∘(x0;δ),有 ∣ f ( x ′ ) − f ( x ′ ′ ) ∣ < ε \left|f\left(x^{\prime}\right)-f\left(x^{\prime \prime}\right)\right|<\varepsilon ∣f(x′)−f(x′′)∣<ε.
证
必要性
设 lim x → x 0 f ( x ) = A \lim \limits_{x \rightarrow x_{0}} f(x)=A x→x0limf(x)=A, 则对任给的 ε > 0 \varepsilon>0 ε>0, 存在正数 δ ( < δ ′ ) \delta\left(<\delta^{\prime}\right) δ(<δ′),使得对任何 x ∈ U ∘ ( x 0 ; δ ) x \in U^{\circ}\left(x_{0} ; \delta\right) x∈U∘(x0;δ), 有 ∣ f ( x ) − A ∣ < ε 2 |f(x)-A|<\cfrac{\varepsilon}{2} ∣f(x)−A∣