极限算术运算命题的构造性证明

$设函数\{\begin{array}{l}f:E\to \mathbb{R}\\ g:E\to \mathbb{R}\end{array}具有公共定义域$

$若\{\begin{array}{l}\underset{E\ni x\to x_0}{\lim }f(x)=A\\ \underset{E\ni x\to x_0}{\lim }f(x)=B\end{array}$

$则\{\begin{array}{l}\text{a.}\underset{E\ni x\to x_0}{\lim }(f+g)(x)=A+B\\ \text{b.}\underset{E\ni x\to x_0}{\lim }(f\cdot g)(x)=AB\\ \text{c.}\underset{E\ni x\to x_0}{\lim }\frac{1}{g(x)}=\frac{1}{B}(Bg(x)\ne 0)\\ \text{d.}\underset{E\ni x\to x_0}{\lim }\frac{f(x)}{g(x)}=\frac{A}{B}(Bg(x)\ne 0)\end{array}$

  \text{ }  

$◀$

  \text{ }  

$记\{\begin{array}{l}\pi (f)=f(x)-A\\ \pi (g)=g(x)-B\\ \Delta (f)=|f(x)-A|\\ \Delta (g)=|g(x)-B|\end{array}$

$\text{a.}$

$\forall \epsilon >0\{\begin{array}{l}\exists {\delta }^{\prime }\forall {\mathring{U}}_E^{{\delta }^{\prime }}(x_0)\Delta (f)<\frac{\epsilon }{2}\\ \exists {\delta }^{\prime \prime }\forall {\mathring{U}}_E^{{\delta }^{\prime \prime }}(x_0)\Delta (g)<\frac{\epsilon }{2}\end{array}\Rightarrow$

∀ ε > 0   ∃ δ < min ⁡ { δ ′ , δ ′ ′ }    ∀ U ˚ E δ ( x 0 )   \forall \varepsilon>0 \text{ } \exist \delta < \min \{ \delta',\delta'' \} \text{ } \text{ }\forall \mathring{U}_{E}^{\delta} (x_0) \text{ } ∀ε>0 ∃δ<min{δ′,δ′′}  ∀U˚Eδ​(x0​) 
$|(f+g)(x)-(A+B)|$
$=|\pi (f)+\pi (g)|\le \Delta (f)+\Delta (g)<\epsilon$

  \text{ }  

$\text{b.}$

$法一$
∀ ε > 0 { ∃ δ ′    ∀ U ˚ E δ ′ ( x 0 )   Δ ( f ) < min ⁡ { 1 , ε 3 , ε 3 ( 1 + ∣ B ∣ ) } ∃ δ ′ ′   ∀ U ˚ E δ ′ ′ ( x 0 )   Δ ( g ) < min ⁡ { 1 , ε 3 ( 1 + ∣ A ∣ ) } ⇒ \forall \varepsilon>0 \begin{cases} \exist \delta' \text{ } \text{ }\forall \mathring{U}_{E}^{\delta'} (x_0) \text{ } \Delta(f)< \min \{ 1,\frac{\varepsilon}{3},\frac{\varepsilon}{3(1+ \vert B \vert)} \}\\ \exist \delta'' \text{ }\forall \mathring{U}_{E}^{\delta''} (x_0) \text{ } \Delta(g)< \min \{ 1,\frac{\varepsilon}{3(1+ \vert A \vert)} \}\\ \end{cases}\Rightarrow ∀ε>0{∃δ′  ∀U˚Eδ′​(x0​) Δ(f)<min{1,3ε​,3(1+∣B∣)ε​}∃δ′′ ∀U˚Eδ′′​(x0​) Δ(g)<min{1,3(1+∣A∣)ε​}​⇒

∀ ε > 0   ∃ δ < min ⁡ { δ ′ , δ ′ ′ }   ∀ U ˚ E δ ( x 0 )   \forall \varepsilon>0 \text{ } \exist \delta < \min \{ \delta',\delta'' \} \text{ }\forall \mathring{U}_{E}^{\delta} (x_0) \text{ } ∀ε>0 ∃δ<min{δ′,δ′′} ∀U˚Eδ​(x0​) 

$|(f\cdot g)(x)-AB|$
$=|[\pi (f)+A][\pi (g)+B]-AB|$
$=|\pi (f)\pi (g)+\pi (f)B+\pi (g)A|$
$\le \Delta (f)\Delta (g)+\Delta (f)|B|+\Delta (g)|A|$
$<\frac{\epsilon }{3}\cdot 1+\frac{\epsilon }{3(1+|B|)}\cdot |B|+\frac{\epsilon }{3(1+|A|)}\cdot |A|$
$<\frac{\epsilon }{3}+\frac{\epsilon }{3}+\frac{\epsilon }{3}=\epsilon$
  \text{ }  

$法二$
∀ ε > 0 { ∃ δ ′    ∀ U ˚ E δ ′ ( x 0 )   Δ ( f ) < min ⁡ { 1 , ε 2 ( 1 + ∣ B ∣ ) } ∃ δ ′ ′   ∀ U ˚ E δ ′ ′ ( x 0 )   Δ ( g ) < min ⁡ { 1 , ε 2 ( 1 + ∣ A ∣ ) } ⇒ \forall \varepsilon>0 \begin{cases} \exist \delta' \text{ } \text{ }\forall \mathring{U}_{E}^{\delta'} (x_0) \text{ } \Delta(f)< \min \{ 1,\frac{\varepsilon}{2(1+ \vert B \vert)} \}\\ \exist \delta'' \text{ }\forall \mathring{U}_{E}^{\delta''} (x_0) \text{ } \Delta(g)< \min \{ 1,\frac{\varepsilon}{2(1+ \vert A \vert)} \}\\ \end{cases}\Rightarrow ∀ε>0{∃δ′  ∀U˚Eδ′​(x0​) Δ(f)<min{1,2(1+∣B∣)ε​}∃δ′′ ∀U˚Eδ′′​(x0​) Δ(g)<min{1,2(1+∣A∣)ε​}​⇒

∀ ε > 0   ∃ δ < min ⁡ { δ ′ , δ ′ ′ }   ∀ U ˚ E δ ( x 0 ) \forall \varepsilon>0 \text{ } \exist \delta < \min \{ \delta',\delta'' \} \text{ }\forall \mathring{U}_{E}^{\delta} (x_0) ∀ε>0 ∃δ<min{δ′,δ′′} ∀U˚Eδ​(x0​)

$|f(x)|=|\pi (f)+A|\le \Delta (f)+|A|<1+|A|$

$|(f\cdot g)(x)-AB|$
$=|(f\cdot g)(x)-f(x)B+f(x)B-AB|$
$=|f(x)\pi (g)+\pi (f)B|$
$\le |f(x)|\Delta (g)+\Delta (f)|B|$
$<(1+|A|)\cdot \frac{\epsilon }{2(1+|A|)}+\frac{\epsilon }{2(1+|B|)}\cdot |B|$
$<\frac{\epsilon }{2}+\frac{\epsilon }{2}=\epsilon$

  \text{ }  

$法三$
∀ ε > 0 { ∃ δ ′    ∀ U ˚ E δ ′ ( x 0 )   Δ ( f ) < min ⁡ { 1 , ε 3 , ε 3 ( 1 + ∣ B ∣ ) } ∃ δ ′ ′   ∀ U ˚ E δ ′ ′ ( x 0 )   Δ ( g ) < min ⁡ { 1 , ε 3 ( 1 + ∣ A ∣ ) } ⇒ \forall \varepsilon>0 \begin{cases} \exist \delta' \text{ } \text{ }\forall \mathring{U}_{E}^{\delta'} (x_0) \text{ } \Delta(f)< \min \{ 1,\frac{\varepsilon}{3},\frac{\varepsilon}{3(1+ \vert B \vert)} \}\\ \exist \delta'' \text{ }\forall \mathring{U}_{E}^{\delta''} (x_0) \text{ } \Delta(g)< \min \{ 1,\frac{\varepsilon}{3(1+ \vert A \vert)} \}\\ \end{cases}\Rightarrow ∀ε>0{∃δ′  ∀U˚Eδ′​(x0​) Δ(f)<min{1,3ε​,3(1+∣B∣)ε​}∃δ′′ ∀U˚Eδ′′​(x0​) Δ(g)<min{1,3(1+∣A∣)ε​}​⇒

∀ ε > 0   ∃ δ < min ⁡ { δ ′ , δ ′ ′ }   ∀ U ˚ E δ ( x 0 )   \forall \varepsilon>0 \text{ } \exist \delta < \min \{ \delta',\delta'' \} \text{ }\forall \mathring{U}_{E}^{\delta} (x_0) \text{ } ∀ε>0 ∃δ<min{δ′,δ′′} ∀U˚Eδ​(x0​) 

$|f(x)|=|\pi (f)+A|\le \Delta (f)+|A|<1+|A|$
$|g(x)|=|\pi (f)+B|\le \Delta (g)+|B|<1+|B|$

$|(f\cdot g)(x)-AB|$
$=|(f\cdot g)(x)-[\pi (f)-f(x)][\pi (g)-g(x)]|$
$=|-\pi (f)\pi (g)+\pi (f)g(x)+\pi (g)f(x)|$
$\le \Delta (f)\Delta (g)+\Delta (f)|g(x)|+\Delta (g)|f(x)|$
$<\frac{\epsilon }{3}\cdot 1+\frac{\epsilon }{3(1+|B|)}(1+|B|)+\frac{\epsilon }{3(1+|A|)}(1+|A|)$
$<\frac{\epsilon }{3}+\frac{\epsilon }{3}+\frac{\epsilon }{3}=\epsilon$

  \text{ }  

$\text{c.}$

$\forall \epsilon >0\exists \delta \forall {\mathring{U}}_E^{\delta }(x_0)$

{ ∣ B ∣ − Δ ( g ) ≥ ∣ g ( x ) ∣ Δ ( g ) < min ⁡ { ∣ B ∣ 2 , ∣ B ∣ 2 ε 2 } ⇒ \begin{cases} \vert B \vert - \Delta(g) \ge \vert g(x) \vert\\ \Delta(g)< \min \{ \frac{\vert B \vert}{2},\frac{\vert B \vert^2\varepsilon}{2} \} \end{cases} \Rightarrow {∣B∣−Δ(g)≥∣g(x)∣Δ(g)<min{2∣B∣​,2∣B∣2ε​}​⇒

$|\frac{1}{g(x)}-\frac{1}{B}|=\frac{\Delta (g)}{|g(x)|\cdot |B|}\le \frac{\Delta (g)}{||B|-\Delta (g)|\cdot |B|}<\frac{\frac{|B{|}^2\epsilon }{2}}{\frac{|B|}{2}|B|}=\epsilon$

  \text{ }  

$\text{d.}$

  \text{ }  

$▶$

  \text{ }  

几点发现：
一、在以上的每一个证明过程中，都运用了三角不等式. 从此可见三角不等式在一定程度上体现了实数结构的某种本质性特征.
二、注意到以上命题中，用$\epsilon$-$\delta$语言表达的已知以及欲证极限的不等式中，都含有近似值算术运算误差估计的结构，每一个部分的证明过程也都紧紧围绕着这些误差估计，描绘出了一根鲜明的主线.
三、下面详细探讨技巧性问题，也即在证明中根据三角不等式以及误差估计的结构进行构造性的取值和证明的方式方法. 核心问题在于已知极限的$\epsilon$-$\delta$语言表达中的$\epsilon$的取值，或者说是命名，此命名的作用是为了引出欲证极限的$\epsilon$-$\delta$语言表达中的$\epsilon$简洁形式，即单单一个$\epsilon$. 取值，具体表现为对任意常数$c$以及任意正常数$k$与$\epsilon$的积取最小值，此最小值在形式上异于$\epsilon$，但本质上等同于$\epsilon$，因为数$\epsilon$的本质就是一个任意的给定的正实数；取最小值的另一个也是不可忽视的好处是，它可以同时利用不同形式的$\epsilon$以便于运算过程以及结果形式的简洁. 核心问题由关键问题引出，关键问题为如何把由三角不等式推导出的多项式整理汇合成简洁的一个$\epsilon$. 这样，我们就必须关注到多项式的每一项中的元素.利用误差估计这个形式的好处是，我们可以把这些元素分为以下仅有的几类，并且以下几类的元素都十分有助于接下来的推导以及运算,因为它们都是有上界或有下界的.$\{\begin{array}{l}|A|\\ \Delta (f)<\epsilon \\ |f(x)|=|A+\pi (f)|\ge ||A|-\Delta (f)|>||A|-\epsilon |\\ |f(x)|=|A+\pi (f)|\le |A|+\Delta (f)<|A|+\epsilon \end{array}$

然后，我们具体来看多项式的结构，以及，在多项式的结构中各元素是如何镶嵌其中的.
$\text{a.}$ 两项皆为$\Delta (f)$的形式，在书写已知极限的$\epsilon$-$\delta$语言表达时，选取合适的$\epsilon$前的常数$k$即可. 以上证明中取值方法更一般的形式为，取$\{\begin{array}{l}\Delta (f)<k_1\epsilon \\ \Delta (g)<k_2\epsilon \\ k_1+k_2=1\end{array}$.
$\text{b.}$ 在不同的方法中，多项式有不同的项数及具体组合. 但是我们仍能发现，各种变形方法都使得这些多项式的项都有形如$\Delta (f)$的结构，这保证了每一项都可以放大为一个含因子$\epsilon$的因式，然后利用类似$\text{a.}$中的方法将各因式的积调整为简洁的一个$\epsilon$.
$\text{c.}$ 此处为单项式，是分式. 由于分子上已经含有形如$\Delta (f)$的结构，接下来我们把分母处理为常数则是最为方便的. 按照这种思路，以上证明中取值方法更一般的形式为，取 Δ ( g ) < min ⁡ { c ( 0 < c ≠ ∣ B ∣ ) , ∣ ∣ B ∣ − c ∣ ⋅ ∣ B ∣ ε } \Delta(g)< \min \{ c(0<c\neq \vert B \vert),\vert \vert B \vert - c \vert \cdot \vert B \vert \varepsilon \} Δ(g)<min{c(0<c​=∣B∣),∣∣B∣−c∣⋅∣B∣ε}
$\text{d.}$ 可以由$\text{b.}$与$\text{c.}$的结论直接推得. 在上述方法中…待更(改集合表示、补充检查)