| $f ( x ) A$ | $f ( x ) \infty$ | $f ( x ) + \infty$ | $f ( x ) - \infty$ |
| $\forall \varepsilon > 0 , \exists \delta > 0$ 使得当 $0 < \vert x - x _ { 0 } \vert < \delta$ 时,有|f(x)-A<ε | $\forall M > 0 , \exists \delta > 0$ 使得当 $0 < \vert x - x _ { 0 } \vert < \delta$ 时,有|f(x)|>M | $\forall M > 0 , \exists \delta > 0$ 使得当 $0 < | x - x _ { 0 } | < \delta$ 时,有f(x)>M | $\forall M > 0 , \exists \delta > 0$ 使得当 $0 < | x - x _ { 0 } | < \delta$ 时,有f(x)<-M-∞为核L无限靠近“-∞” |
| $\forall \varepsilon > 0 , \exists \delta > 0$ 使得当 $0 < x - x _ { 0 } < \delta$ 时,有 $\left| f ( x ) - A \right| < \varepsilon$ | $\forall M > 0 , \exists \delta > 0$ 使得当 $0 < x - x _ { 0 } < \delta$ 时,有|f(x)|>M | $\forall M > 0 , \exists \delta > 0$ 使得当 $0 < x - x _ { 0 } < \delta$ 时,有f(x)>M | $\forall M > 0 , \exists \delta > 0$ 使得当 $0 < x - x _ { 0 } < \delta$ 时,有f(x)<-M |
| $\forall \varepsilon > 0 , \exists \delta > 0$ 使得当 $0 < x _ { 0 } - x < \delta$ 时,有 $\left| f ( x ) - A \right| < \varepsilon$ | $\forall M > 0 , \exists \delta > 0$ 使得当 $0 < x _ { 0 } - x < \delta$ 时,有|f(x)|>M | $\forall M > 0 , \exists \delta > 0$ 使得当 $0 < x _ { 0 } - x < \delta$ 时,有f(x)>M | $\forall M > 0 , \exists \delta > 0 ,$ 使得当 $0 < x _ { 0 } - x < \delta$ 时,有f(x)<-M |
核(自带光环) (((()) 8
## 核(自带光环)不是实数轴上了,是超实数轴
| $x \to \infty$ $x + \infty$ x→-8 | | | | |
| f(x)→A | $f ( x ) \infty$ | $f ( x ) + \infty$ | $f ( x ) - \infty$ |
| $\forall \varepsilon > 0 , \exists X > 0$ 使得当|x>X时,有 $\left| f ( x ) - A \right| < \varepsilon$ | $\forall M > 0 , \exists X > 0$ 使得当|x>X时,有|f(x)|>M | $\forall M > 0 , \exists X > 0$ 使得当|x>X时,有f(x)>M | $\forall M > 0 , \exists X > 0$ 使得当|x|>X时,有f(x)<-M |
| $\forall \varepsilon > 0 , \exists X > 0$ 使得当x>X时,有|f(x)-A<ε | $\forall M > 0 , \exists X > 0$ 使得当x>X时,有|f(x)>M | $\forall M > 0 , \exists X > 0$ 使得当x>X时,有f(x)>M | $\forall M > 0 , \exists X > 0 ~ ,$ 使得当x>X时,有f(x)<-M |
| ∀>0,3x>0,使得当x<-X时,有 $\left| f ( x ) - A \right| < \varepsilon$ | $\forall M > 0 , \exists X > 0$ 使得当x<-X时,有 $\left| f ( x ) \right| > M$ | $\forall M > 0 , \exists X > 0$ 使得当x<-X时,有f(x)>M | ∀m>0,3X>0,使得当x<-X时,有f(x)<-M |
24种情况,好好写一遍
例1.14 已知 $\operatorname* { l i m } _ { x \to 0 } { \frac { f ( x ) } { x ^ { 2 } } }$ 存在,且函数
$$
f ( x ) = { \frac { x - \sin x } { x } } + x ^ { 2 } \operatorname* { l i m } _ { x \to 0 } { \frac { f ( x ) } { 1 - \cos x } } ,
$$
则 $\operatorname* { l i m } _ { x \to 0 } { \frac { f ( x ) } { x ^ { 2 } } } =$ ( ).(A) $- { \frac { 1 } { 3 } }$ (B) $\frac 1 3$ (C) $\frac { 1 } { 6 }$ (D) $- { \frac { 1 } { 6 } }$
分析 令 $\operatorname* { l i m } _ { x \to 0 } { \frac { f ( x ) } { x ^ { 2 } } } = A$ ,建立方程,
解 应选(D).
记 $\operatorname* { l i m } _ { x \to 0 } { \frac { f ( x ) } { x ^ { 2 } } } = A$ ,且当x→0时,

$$
{ \frac { f ( x ) } { x ^ { 2 } } } = { \frac { x - \sin x } { x ^ { 3 } } } + \operatorname* { l i m } _ { x \to 0 } { \frac { f ( x ) } { 1 - \cos x } } , \eqno { \begin{array} { l } { \mathrm { l i m } } \\ { \Bigl | } \end{array} } \quad \operatorname* { l i m } _ { x ^ { 2 } } { \sqrt { \frac { x ^ { 2 } } { 1 - \cos x } } } { \Biggl \} } \to 2
$$
则 $A = \operatorname* { l i m } _ { x 0 } { \frac { x - \sin { x } } { x ^ { 3 } } } + 2 A$ ,故 $A = \frac { 1 } { 6 } + 2 A$ ,得 $A = - { \frac { 1 } { 6 } }$
## ③超实数及其在极限中的应用
下面讲一个极为重要的概念及其应用,帮助考生进一步深刻理解“极限”.
实数系R中有如下公理:
若对任意大的自然数n,均有 $\left| x \right| < { \frac { 1 } { n } }$ ,则 $x = 0$ .这使得实数系R中不存在非零无穷小量及其倒数-无穷大量.
(1)定义.
①非零无穷小量与无穷大量.
若对任意大的自然数n,均有 $\left| x ^ { * } \right| < { \frac { 1 } { n } }$ 且 $x ^ { * } \neq 0$ ,则 $x ^ { \bullet }$ 为非零无穷小量,其倒数 $\frac { 1 } { x ^ { * } }$ 为无穷大量.
②超实数.
设 $x _ { 0 }$ 为任一实数,则 $x _ { 0 } + x ^ { * }$ 为有限超实数, $x _ { 0 } + { \frac { 1 } { x ^ { * } } }$ 为无穷超实数(无穷大量).
③超实数系 $\mathbf { R } ^ { * }$
实数系R,非零无穷小量 $x ^ { * }$ ,无穷大量 $\frac { 1 } { x ^ { * } }$ 构成超实数系 $\mathbf { R } ^ { \ast }$ $x _ { 0 } + x ^ { * }$ $x _ { 0 } + { \frac { 1 } { x ^ { * } } }$ 不在实数系R中.
(2)实数与超实数的关系(见图1-24).

图1-24
在实数轴上任取一点 $x _ { 0 }$ ,称为核.
$x _ { 0 } + x ^ { * }$ 是以 $x _ { 0 }$ 为核的有限超实数,称为核 $x _ { 0 }$ 的光环,由于 $x ^ { * }$ 是任意一个非零无穷小,故 $x _ { 0 }$ 的光环有无穷多个.
为方便,记 $X ^ { ^ { * } } = x _ { 0 } + x ^ { ^ { * } } = \operatorname { s t d } ( X ^ { ^ { * } } ) + [ X ^ { ^ { * } } - \operatorname { s t d } ( X ^ { ^ { * } } ) ]$ $x _ { 0 } = \operatorname { s t d } ( X ^ { ^ { \ast } } )$ 也称为超实数 $\chi ^ { * }$ 的标准实数部分,$\boldsymbol { x } ^ { * } = \boldsymbol { X } ^ { * } - \mathrm { s t d } ( \boldsymbol { X } ^ { * } )$ 即为非零无穷小量.
如 $x _ { 0 } = 0 , x _ { 1 } ^ { * } = \sin { x ( x 0 ) }$ ,则 $X _ { 1 } ^ { * } = x _ { 0 } + x _ { 1 } ^ { * } = \sin { x ( x 0 ) }$ 是以0为核,以sinx为无穷小量的超实数.

如 $x _ { 0 } = 0 \ , x _ { 2 } ^ { * } = 2 x ( x 0 )$ ,则 $X _ { 2 } ^ { * } = x _ { 0 } + x _ { 2 } ^ { * } = 2 x ( x 0 )$ 是以0为核,以2x为无穷小量的超实数.
如 $x _ { 0 } = 0 , x _ { 3 } ^ { * } = \frac { 1 } { x } ( x 0 )$ ,则 $\stackrel { \triangledown } { X _ { 3 } ^ { \bullet } } = x _ { 0 } + \stackrel { \bullet } { x _ { 3 } ^ { \bullet } } = \frac { 1 } { x } ( x 0 )$ 是以0为核,以 $\frac { 1 } { x }$ 为无穷大量的超实数.
如 $x _ { 0 } = 0 \ , x _ { 4 } ^ { * } = { \frac { 1 } { x ^ { 2 } } } ( x 0 )$ ,则 $X _ { 4 } ^ { \bullet } = x _ { 0 } + x _ { 4 } ^ { \bullet } = { \frac { 1 } { { x } ^ { 2 } } } ( x 0 )$ 是以0为核,以 $\frac { 1 } { x ^ { 2 } }$ 为无穷大量的超实数.
显然,上述4个超实数到它们的核的距离|sinx|,|2x|, $\left| { \frac { 1 } { x } } \right| , \ \left| { \frac { 1 } { x ^ { 2 } } } \right| ( x \to 0 )$ 均不是实数,lsin x|,$\left| 2 x \right| ( x \to 0 )$ 是比任何正实数都小的量, $\left| { \frac { 1 } { x } } \right| , \ \left| { \frac { 1 } { x ^ { 2 } } } \right| ( x \to 0 )$ 是比任何正实数都大的量.
(3)超实数与极限的关系与运算.
先举个例子.如
$$
\operatorname * { l i m } _ { x 0 } { \frac { \sin x } { x } } = 1 \ ,
$$

其中,① $\frac { \sin x } { x }$ 在未作极限运算时,为实数运算.
② $\operatorname* { l i m } _ { x \to 0 } { \frac { \sin x } { x } }$ 称为趋核运算,此时的 $\frac { \sin x } { x }$ 称为超实数, $\operatorname* { l i m } _ { x \to 0 } { \frac { \sin x } { x } }$ 的结果为其核值1.于是
★设 $\operatorname* { l i m } _ { x \to x _ { 0 } } f ( x ) = A$ ,其运算(及其运算顺序)为
a.f(x)为实数运算.
b. $\operatorname* { l i m } _ { x \to x _ { 0 } } f ( x )$ 为趋核运算,A为核值,当A唯一时,称趋核运算存在, $\operatorname* { l i m } _ { x \to x _ { 0 } } f ( x )$ 存在;否则称趋核运算不存在, $\operatorname* { l i m } _ { x \to x _ { 0 } } f ( x )$ 不存在.
如 $\operatorname* { l i m } _ { x \to 0 } ( { \underline { { x - x } } } ) = \operatorname* { l i m } _ { x \to 0 } 0 = 0$ 实数运算 趋核运算=核值0
再如, $\operatorname* { l i m } _ { x \to 0 } ( x - \sin x ) \div \operatorname* { l i m } _ { x \to 0 } ( x - x ) = 0$ ,当然不等, $\operatorname* { l i m } _ { x \to 0 } ( x - \sin x )$ 首先要作实数运算.由于 $\sin x \neq x$ $x - \sin x \neq x - x$ ,故趋核运算便无从谈起了.
实数运算错误
又如,计算 $\operatorname* { l i m } _ { x \to \infty } { \frac { \left( 1 + { \frac { 1 } { x } } \right) ^ { x ^ { 2 } } } { \operatorname* { e } ^ { x } } }$ ,若写 $\operatorname* { l i m } _ { x \to \infty } { \frac { \left( 1 + { \frac { 1 } { x } } \right) ^ { x ^ { 2 } } } { \operatorname* { e } ^ { x } } } = \operatorname* { l i m } _ { x \to \infty } { \frac { \left[ \left( 1 + { \frac { 1 } { x } } \right) ^ { x } \right] ^ { x } } { \operatorname* { e } ^ { x } } } = \operatorname* { l i m } _ { x \to \infty } { \frac { \operatorname { e } ^ { x } } { \operatorname* { e } ^ { x } } } = 1$ ,显然也是错误的.因为, $\operatorname* { l i m } _ { x \to \infty } { \frac { \left( 1 + { \frac { 1 } { x } } \right) ^ { x ^ { 2 } } } { \operatorname* { e } ^ { x } } }$ 的第一步,要作 $\frac { \left( 1 + { \frac { 1 } { x } } \right) ^ { x ^ { 2 } } } { \mathbf { e } ^ { x } }$ 的实数运算,即
$$
{ \frac { \left( 1 + { \frac { 1 } { x } } \right) ^ { x ^ { 2 } } } { \mathbf { e } ^ { x } } } = { \frac { \mathbf { e } ^ { x ^ { 2 } \ln \left( 1 + { \frac { 1 } { x } } \right) } } { \mathbf { e } ^ { x } } } = \mathbf { e } ^ { x ^ { 2 } \ln \left( 1 + { \frac { 1 } { x } } \right) - x } \ .
$$
第二步,再作 $\operatorname* { l i m } _ { x \to \infty } \mathrm { e } ^ { x ^ { 2 } \ln \left( 1 + { \frac { 1 } { x } } \right) - x }$ 的趋核运算.
上述错误是将 $\frac { \left[ \left( 1 + { \frac { 1 } { x } } \right) ^ { x } \right] ^ { x } } { \mathbf { e } ^ { x } }$ 中的 $\left( 1 + { \frac { 1 } { x } } \right) ^ { x }$ 换成了e,而在实数运算中, $\left( 1 + \frac { 1 } { x } \right) ^ { x } \neq \mathtt { e }$
注有考生会问,等价无穷小替换的方法是否违背上述规则呢?举例来说,
$$
\operatorname* { l i m } _ { x \to 0 } { \frac { \sqrt { 1 - \cos x } } { x ^ { 2 } } } \frac { \ddagger \{ \} \cdot \mathcal { \bar { Z } } \mathcal { \bar { H } } \mathcal { Z } \} { \ddagger } } \operatorname* { l i m } _ { x \to 0 } { \frac { 1 } { x ^ { 2 } } } = { \frac { 1 } { 2 } } ,
$$
这里是不是在实数运算中将1-cosx写成 $3 \frac { 1 } { 2 } x ^ { 2 } ?$ 是否犯了错误?
请注意,如果认为 $\operatorname* { l i m } _ { x \to 0 } { \frac { \sqrt { 1 - \cos x } } { x ^ { 2 } } } = \operatorname* { l i m } _ { x \to 0 } { \frac { \frac { 1 } { 2 } x ^ { 2 } } { x ^ { 2 } } }$ 是在实数运算中进行的,显然是错误的
这与 $\operatorname* { l i m } _ { x \to 0 } ( x - \boxed { \sin x } ) = \operatorname* { l i m } _ { x \to 0 } ( x - \boxed { x } )$ $\operatorname* { l i m } _ { x \to \infty } { \frac { \left[ \left( 1 + { \frac { 1 } { x } } \right) ^ { x } \right] ^ { x } } { \mathrm { e } ^ { x } } } = \operatorname* { l i m } _ { x \to \infty } { \frac { \mathrm { e } ^ { x } } { \mathrm { e } ^ { x } } }$ 的错误是一样的.
事实上, $\operatorname* { l i m } _ { x \to 0 } { \frac { 1 - \cos x } { x ^ { 2 } } }$ 是这样算的:
实数运算,
$\frac { 1 - \cos x } { x ^ { 2 } } = \frac { A } { x ^ { 2 } } \frac { 1 - \cos x } { A } = \frac { \frac { 1 } { 2 } x ^ { 2 } } { x ^ { 2 } } \frac { 1 - \cos x } { \frac { 1 } { 2 } x ^ { 2 } } \left( \begin{array} { l l l } { = \frac { 1 } { 2 } \bullet \frac { 1 - \cos x } { \frac { 1 } { 2 } x ^ { 2 } } } & { } \end{array} \right)$ ,进一步是可以这样写的)
趋核运算,
$$
\operatorname* { l i m } _ { x \to 0 } { \frac { 1 - \cos x } { x ^ { 2 } } } = \operatorname* { l i m } _ { x \to 0 } { \frac { { \frac { 1 } { 2 } } x ^ { 2 } } { x ^ { 2 } } } \bullet \operatorname* { l i m } _ { x \to 0 } { \frac { 1 - \cos x } { { \frac { 1 } { 2 } } x ^ { 2 } } } ,
$$
由于当 $x \to 0$ 时,1-cosx与 ${ \frac { 1 } { 2 } } x ^ { 2 }$ 是等价无穷小量,即它们趋核速度相同,用趋核运算来刻画,即
$| \operatorname* { l i m } _ { x 0 } { \frac { 1 - \cos x } { { \frac { 1 } { 2 } } x ^ { 2 } } } | = 1$ $\operatorname* { l i m } _ { x \to 0 } { \frac { 1 - \cos x } { x ^ { 2 } } } = \operatorname* { l i m } _ { x \to 0 } { \frac { { \frac { 1 } { 2 } } x ^ { 2 } } { x ^ { 2 } } } \cdot 1$ 这是此问题的正确来由.
$1 - \cos x \leq \frac { 1 } { 2 } x ^ { 2 }$ 趋核速度相同显然,上述 $\operatorname* { l i m } _ { x \to 0 } { \frac { 1 - \cos x } { \frac { 1 } { 2 } { x } ^ { 2 } } } = 1$ 涉及“趋核速度”,需要详细说一说.
(4)趋核速度.
既然一个核值 $x _ { 0 }$ 周围有无数个光环,这些光环的本质区别是什么呢?这就要提出“趋核速度”的问题了.
比如,如图1-25所示.

图1-25
$\sin x ( x \to 0 )$ 与 $x ( x \to 0 )$ 均以0为核值,且趋核速度相同,则用下式来刻画这种关系:
$$
\scriptstyle { \begin{array} { l } { \displaystyle { \overbrace { \operatorname* { l i m } _ { x \to 0 } { \frac { \sin x } { x } } } } = 1 } \\ { \displaystyle \sin x ( x \to 0 ) \operatorname { l i m } _ { \hat { \zeta } } x ( x \to 0 ) { \frac { 3 \delta } { 4 \hat { \phi } } } + { \hat { \phi } } \dots { \hat { \phi } } } \end{array} }
$$
于是,有下面的结论:
若 $f ( x ) ( x \to x _ { 0 } )$ 与 $g ( x ) ( x \to x _ { 0 } )$ 均以0为核值,则 $\operatorname* { l i m } _ { x \to x _ { 0 } } { \frac { f ( x ) } { g ( x ) } } = a \neq 0 \Leftrightarrow f ( x ) ( x \to x _ { 0 } )$ 与 $g ( x ) ( x \to x _ { 0 } )$ 趋核速度相同.
$\operatorname* { l i m } _ { x \to x _ { 0 } } { \frac { f ( x ) } { g ( x ) } } = 0 \Leftrightarrow f ( x ) ( x \to x _ { 0 } )$ 比 $g ( x ) ( x \to x _ { 0 } )$ 趋核速度快.
$\operatorname* { l i m } _ { x \to x _ { 0 } } { \frac { f ( x ) } { g ( x ) } } = \infty \Leftrightarrow f ( x ) ( x \to x _ { 0 } )$ 比 $g ( x ) ( x \to x _ { 0 } )$ 趋核速度慢.
(5)极限四则运算规则.
这也称为超实数趋核四则运算规则.
设 $\operatorname* { l i m } _ { x \to x _ { 0 } } f ( x ) = A$ $\operatorname* { l i m } _ { x \to x _ { 0 } } g ( x ) = B$ ,则有
1 $\operatorname* { l i m } _ { x \to x _ { 0 } } [ f ( x ) \pm g ( x ) ] { = } A \pm B$
② $\operatorname* { l i m } _ { x x _ { 0 } } f ( x ) g ( x ) = A B$
③ $\operatorname* { l i m } _ { x \to x _ { 0 } } { \frac { f ( x ) } { g ( x ) } } = { \frac { A } { B } } ( B \neq 0 )$
事实上,由于f(x),g(x)的趋核运算值均为其实数核值,故如
$$
\operatorname * { l i m } _ { x \to x _ { 0 } } [ f ( x ) + g ( x ) ] = \operatorname * { l i m } _ { x \to x _ { 0 } } f ( x ) + \operatorname * { l i m } _ { x \to x _ { 0 } } g ( x ) = A + B ,
$$
显然成立,比如
$$
\operatorname * { l i m } _ { x \to 0 } ( x + \sin x ) = \operatorname * { l i m } _ { x \to 0 } x + \operatorname * { l i m } _ { x \to 0 } \sin x = 0 + 0 = 0 \ ,
$$
$$
\operatorname* { l i m } _ { x \to 1 } { \frac { \sin x } { x } } = { \frac { \operatorname* { l i m } _ { x \to 1 } \sin x } { \operatorname* { l i m } _ { x \to 1 } x } } = { \frac { \sin 1 } { 1 } } = \sin 1 ~ .
$$
下面说明两种情况.
①f(x),g(x)中恰有一个不存在核值.
设 $\operatorname* { l i m } _ { x \to x _ { 0 } } f ( x ) = A$ $\operatorname* { l i m } _ { x \to x _ { 0 } } g ( x )$ 不存在或为无穷大量,则
a.lim[f(x)±g(x)]=A±(不存在或α)=不存在或∞.x→x实数运算为平 不存在或∞作有限平移,依然为移运算 不存在或8.
如 $\operatorname* { l i m } _ { x \to 0 } \left( { \frac { \sin x } { x } } + \sin { \frac { 1 } { x } } \right)$ ,其中 $\operatorname* { l i m } _ { x \to 0 } { \frac { \sin x } { x } } = 1 , \operatorname* { l i m } _ { x \to 0 } \sin { \frac { 1 } { x } }$ 不存在(在-1到1之间振荡),则 $\operatorname* { l i m } _ { x \to 0 } \left( { \frac { \sin x } { x } } + \sin { \frac { 1 } { x } } \right) =$ 1+不存在=不存在.仅供理解,不要写出来.
b. $\operatorname* { l i m } _ { x \to x _ { 0 } } \frac { f ( x ) g ( x ) = A \cdot ( \frac { x } { \# } \# \# \# \# \# \infty ) } { \enclose{circle} { 1 } \# \# \# } \frac { \cdot } { \emptyset }$
这里的趋核运算有多种情况.
i如 $\operatorname* { l i m } _ { x \to 0 } x \sin { \frac { 1 } { x } }$ ,其中 $\operatorname* { l i m } _ { x \to 0 } x = 0$ $\operatorname* { l i m } _ { x \to 0 } \sin { \frac { 1 } { x } }$ 不存在.
此时A=0,可以将“-1到1之间振荡”的情形压缩成0,故 $\operatorname* { l i m } _ { x \to 0 } x \sin { \frac { 1 } { x } } = \underline { { 0 } } .$ 有界振荡=0.压缩为0此时极限存在,即趋核运算值为0.
(ii)如 $\operatorname* { l i m } _ { x \to \infty } \sin { \frac { 1 } { x ^ { 2 } } } \bullet x$ ,其中 $\operatorname * { l i m } _ { x \infty } \sin { \frac { \dot { 1 } } { x ^ { 2 } } } = 0$ $\operatorname* { l i m } _ { x \to \infty } x = \infty$ ,理由同(i), $\operatorname* { l i m } _ { x \to \infty } \sin { \frac { 1 } { x ^ { 2 } } } \bullet x = 0$
(i)如 $\operatorname* { l i m } _ { x \to 0 } \cos x \bullet \sin { \frac { 1 } { x } }$ ,其中 $\operatorname* { l i m } _ { x \to 0 } { \cos { x } } = 1$ $\operatorname* { l i m } _ { x \to 0 } \sin { \frac { 1 } { x } }$ 不存在.此时A=1,放缩结果不变,故$\operatorname* { l i m } _ { x \to 0 } { \cos x } \sin { \frac { 1 } { x } }$ 不存在.
$\operatorname* { l i m } _ { x \to x _ { 0 } } { \frac { f ( x ) } { g ( x ) } } = \operatorname* { l i m } _ { x \to x _ { 0 } } f ( x ) \bullet { \frac { 1 } { g ( x ) } }$ ,讨论与b.类似.
②f(x),g(x)均不存在核值.
设 $\operatorname* { l i m } _ { x \to x _ { 0 } } f ( x )$ 不存在或为∞, $\operatorname* { l i m } _ { x \to x _ { 0 } } g ( x )$ 不存在或为∞,则
a. $\operatorname* { l i m } _ { x \to x _ { 0 } } { \frac { [ f ( x ) \pm g ( x ) ] { = } } { \enclose{circle} { \cdot } { \operatorname* { m } } { \operatorname* { m } } } }$
这里的趋核运算有多种情况.
i如 $\operatorname* { l i m } _ { x \to 0 } \underbrace { \left( { \frac { 1 } { x } } - { \frac { 1 } { x } } \right) } _ { \enclose{circle} { 1 } } = \operatorname* { l i m } _ { x \to 0 } 0 = 0$ ,其中 $\operatorname* { l i m } _ { x \to 0 } { \frac { 1 } { x } } = \infty$
此时要明白,应先算实数运算,且因不符合拆开的条件,不能拆开算.
(ii)如 $\operatorname* { l i m } _ { x \to 0 } \underbrace { \left( { \frac { 1 } { x } } - { \frac { 2 } { x } } \right) } _ { \enclose{circle} { 1 } } = - \operatorname* { l i m } _ { x \to 0 } { \frac { 1 } { x } } = \infty$ .易知,趋核运算可能存在,亦可能不存在.
b.limf(x)g(x)=(不存在或α)·(不存在或∞). x→x0① ②
这里的趋核运算有多种情况.
(i)若取 $f ( x ) = { \binom { 1 , } { - 1 } }$ ,x为无理数, x为有理数, $g ( x ) = \left\{ { 1 , } \atop { - 1 } \right.$ ,x为无理数, x为有理数, 则 $\operatorname* { l i m } _ { x \to 0 } f ( x )$ 不存在, $\operatorname* { l i m } _ { x \to 0 } g ( x )$ 不存在,而 $f ( x ) \cdot g ( x ) \equiv 1$ 实数运算 ,故 $\operatorname* { l i m } _ { x \to 0 } f ( x ) \cdot g ( x ) = 1$
(ii)若取 $f ( x ) = \sin { \frac { 1 } { x } } , g ( x ) = \cos { \frac { 1 } { x } }$ ,则 $\operatorname* { l i m } _ { x \to 0 } f ( x )$ 不存在, $\operatorname* { l i m } _ { x \to 0 } g ( x )$ 不存在.而 $\frac { f ( x ) g ( x ) } { \not { k } \equiv \not { k } \equiv \not { k } } = \sin \frac { 1 } { x } \cos \frac { 1 } { x } =$ ${ \frac { 1 } { 2 } } \sin { \frac { 2 } { x } }$ ,故 $\operatorname* { l i m } _ { x \to 0 } f ( x ) g ( x )$ 不存在.超据运算
(i)若取 $f ( x ) = \sin \frac { 1 } { x } , g ( x ) = \frac { 1 } { x }$ ,则 $\operatorname* { l i m } _ { x \to 0 } f ( x )$ 不存在(在-1到1之间振荡), $\operatorname* { l i m } _ { x 0 } g ( x ) = \infty$ ,而$\operatorname* { l i m } _ { x \to 0 } f ( x ) g ( x ) = \operatorname* { l i m } _ { x \to 0 } { \frac { 1 } { x } } \sin { \frac { 1 } { x } }$ 实数运算
若 $x = { \frac { 1 } { n \pi } } , n = 1 , 2 , \cdots$ ,则实数运算 ${ \frac { 1 } { x } } \sin { \frac { 1 } { x } } { \bigg | } _ { x = { \frac { 1 } { n \pi } } } = n \pi \sin n \pi = 0 , \operatorname* { l i m } _ { x \to 0 } f ( x ) g ( x ) = 0$
若 $x = \frac { 1 } { 2 n \pi + \displaystyle \frac { \pi } { 2 } } , n = 1 , 2 , \cdots$ ,则实数运算
$$
\frac { 1 } { x } \sin \frac { 1 } { x } \bigg | _ { \displaystyle x = \displaystyle \frac { 1 } { 2 \pi + \frac { \pi } { 2 } } } = \left( 2 n \pi + \frac { \pi } { 2 } \right) \sin \left( 2 n \pi + \frac { \pi } { 2 } \right) = 2 n \pi + \frac { \pi } { 2 } \ : , ~ \operatorname* { l i m } _ { x \to 0 } f ( x ) g ( x ) = \operatorname* { l i m } _ { n \to \infty } \left( 2 n \pi + \frac { \pi } { 2 } \right) = \infty \ : .
$$
此处,趋核运算的结果既有实数0,也有无穷大量,称为“无界变量”.
(iv)显然, $\infty \bullet \infty = \infty$
c. $\operatorname* { l i m } _ { x \to x _ { 0 } } { \frac { f ( x ) } { g ( x ) } } = \operatorname* { l i m } _ { x \to x _ { 0 } } f ( x ) \bullet { \frac { 1 } { g ( x ) } }$
讨论与b.类似.
综上所述,可列表如下: