第二章 极限和连续
2022-06-05 12:29:02 1 举报
AI智能生成
数学分析极限与连续
作者其他创作
大纲/内容
函数的极限
函数在一点的极限
设函数<span class="equation-text" contenteditable="false" data-index="0" data-equation="f(x)"><span></span><span></span></span>在点<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_0"><span></span><span></span></span>的附近(但可能除掉点<span class="equation-text" contenteditable="false" data-index="2" data-equation="x_0"><span></span><span></span></span>本身)有定义,又设A是一个定数,如果对任意给定的ε>0,一定存在δ>0,使得当0<<span class="equation-text" contenteditable="false" data-index="3" data-equation="|x-x_0|"><span></span><span></span></span><δ时,总有<span class="equation-text" contenteditable="false" data-index="4" data-equation="|f(x)-A|>ε"><span></span><span></span></span>,我们就称A是函数<span class="equation-text" contenteditable="false" data-index="5" data-equation="f(x)"><span></span><span></span></span>在点<span class="equation-text" contenteditable="false" data-index="6" data-equation="x_0"><span></span><span></span></span>的极限,记为<span class="equation-text" contenteditable="false" data-index="7" data-equation="\lim_{x \to x_0}f(x)=A"><span></span><span></span></span>,或者记为<span class="equation-text" contenteditable="false" data-index="8" data-equation="f(x)\to A(x\to x_0)"><span></span><span></span></span>。这时也称函数<span class="equation-text" contenteditable="false" data-index="9" data-equation="f(x)"><span></span><span></span></span>在点<span class="equation-text" contenteditable="false" data-index="10" data-equation="x_0"><span></span><span></span></span>极限存在,其极限值是A。
对A的<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forallε的领域O(A,ε),\exists x_0的领域O(x_0,δ),当x\in O(x_0,δ)-\left\{x_0 \right\}时,有f(x)\in O(A,ε)"><span></span><span></span></span>
函数极限的性质和运算
性质1:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=A,\lim_{x\to x_0}g(x)=B"><span></span><span></span></span>,且A>B,则<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists δ>0"><span></span><span></span></span>,当<span class="equation-text" contenteditable="false" data-index="2" data-equation="0<|x-x_0|<δ"><span></span><span></span></span>时,f(x)>g(x)
性质2:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=A,\lim_{x\to x_0}g(x)=B"><span></span><span></span></span>,且<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists δ>0"><span></span><span></span></span>,当<span class="equation-text" contenteditable="false" data-index="2" data-equation="0<|x-x_0|<δ"><span></span><span></span></span>时,f(x)<span class="equation-text" contenteditable="false" data-index="3" data-equation="\leq"><span></span><span></span></span>g(x),则<span class="equation-text" contenteditable="false" data-index="4" data-equation="A\leq B"><span></span><span></span></span>
性质3:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=A"><span></span><span></span></span>而A>B(或A<B),则<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists δ>0"><span></span><span></span></span>,当<span class="equation-text" contenteditable="false" data-index="2" data-equation="0<|x-x_0|<δ"><span></span><span></span></span>时,f(x)>B(或f(x)<B)
性质4:若<span class="equation-text" data-index="0" data-equation="\lim_{x \to x_0}f(x)=A,\lim_{x\to x_0}f(x)=B" contenteditable="false"><span></span><span></span></span>,则A=B<font color="#d32f2f">(说明了极限的唯一性)</font>
性质5(夹逼性):若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\exists δ>0"><span></span><span></span></span>,使当<span class="equation-text" contenteditable="false" data-index="1" data-equation="0<|x-x_0|<δ"><span></span><span></span></span>时,<span class="equation-text" contenteditable="false" data-index="2" data-equation="f(x)\leq g(x)\leq h(x)"><span></span><span></span></span>,并且<span class="equation-text" contenteditable="false" data-index="3" data-equation="\lim_{x \to x_0}f(x)=A,\lim_{x \to x_0}h(x)=A"><span></span><span></span></span>,则<span class="equation-text" contenteditable="false" data-index="4" data-equation="\lim_{x \to x_0}g(x)=A"><span></span><span></span></span>
函数有界的定义:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\exists"><span></span><span></span></span>两个数A和B,在区间X有<span class="equation-text" contenteditable="false" data-index="1" data-equation="A\leq f(x)\leq B"><span></span><span></span></span>则称f(x)是有界的;或<span class="equation-text" contenteditable="false" data-index="2" data-equation="\exists M>0,"><span></span><span></span></span>在区间X上有<span class="equation-text" contenteditable="false" data-index="3" data-equation="|f(x)|\leq M"><span></span><span></span></span>
性质6:若<span class="equation-text" data-index="0" data-equation="\lim_{x \to x_0}f(x)=A" contenteditable="false"><span></span><span></span></span>,则存在δ>0,使得f(x)在区间<span class="equation-text" data-index="1" data-equation="(x_0-δ,x_0)\cup(δ,x_0+δ)" contenteditable="false"><span></span><span></span></span><font color="#f44336">(去心领域)</font>内有界,亦即在不等式<span class="equation-text" contenteditable="false" data-index="2" data-equation="0<|x-x_0|<δ"><span></span><span></span></span>所表示的区间内有界。
性质7(Heine定理):<span class="equation-text" data-index="0" data-equation="\lim_{x \to x_0}f(x)=A的充分必要条件为对任何以x_0为极限的数列\left\{x_n\right\}(x_n\neq x_0),都有f(x_n)\to A(n\to\infty)" contenteditable="false"><span></span><span></span></span> <font color="#f44336">(证明某些函数不存在,判断函数在某些值是收敛的)</font>
运算法则1:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=A"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="1" data-equation="\lim_{x \to x_0}g(x)=B"><span></span><span></span></span>,则<span class="equation-text" contenteditable="false" data-index="2" data-equation="\lim_{x \to x_0}[f(x)\pm g(x)]=A\pm B"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="3" data-equation="\lim_{x \to x_0}f(x)g(x)=AB"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="4" data-equation="\lim_{x \to x_0}{f(x)\over g(x)}={A\over B}"><span></span><span></span></span>,在商的情况下,要求<span class="equation-text" contenteditable="false" data-index="5" data-equation="B\neq0"><span></span><span></span></span>。
运算法则2:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=0,g(x)在某区间(x_0-δ,δ)\cup(δ,x_0+δ)有界,那么\lim_{x \to x_0}f(x)g(x)=0"><span></span><span></span></span>
单侧极限
右极限的定义:设函数在点<span class="equation-text" contenteditable="false" data-index="0" data-equation="x_0"><span></span><span></span></span>的右领域(可能出去点<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_0"><span></span><span></span></span>本身)有定义,这里右领域是指<span class="equation-text" contenteditable="false" data-index="2" data-equation="(x_0,x_0+η)或[x_0,x_0+η)"><span></span><span></span></span>,η是一个确定的正数.又设A是一个定数,如果对<span class="equation-text" contenteditable="false" data-index="3" data-equation="\forallε>0,总\existsδ>0"><span></span><span></span></span>,当<span class="equation-text" contenteditable="false" data-index="4" data-equation="0<x-x_0<δ"><span></span><span></span></span>时,有<span class="equation-text" contenteditable="false" data-index="5" data-equation="|f(x)-A|<ε"><span></span><span></span></span>,就称A是函数f(x)在点<span class="equation-text" contenteditable="false" data-index="6" data-equation="x_0"><span></span><span></span></span>的右极限,记为<span class="equation-text" contenteditable="false" data-index="7" data-equation="\begin{matrix} \ lim_{x \to x_0}f(x) \end{matrix}=A"><span></span><span></span></span>或<span class="equation-text" contenteditable="false" data-index="8" data-equation="f(x_0+0)=A"><span></span><span></span></span>,或<span class="equation-text" contenteditable="false" data-index="9" data-equation="f(x)\to A(x\to x_0+0)"><span></span><span></span></span>,这时也称函数f(x)在<span class="equation-text" contenteditable="false" data-index="10" data-equation="x_0"><span></span><span></span></span>点右极限存在。
<span class="equation-text" contenteditable="false" data-index="0" data-equation="如果对A点的\forallε领域O(A,ε),总\exists x_0点的右领域(x_0,x_0+ε),当x\in(x_0,x_0+ε)时f(x)\in (A,ε)"><span></span><span></span></span>
左极限的定义:设函数在点<span class="equation-text" contenteditable="false" data-index="0" data-equation="x_0"><span></span><span></span></span>的左领域(可能出去点<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_0"><span></span><span></span></span>本身)有定义,这里左领域是指<span class="equation-text" contenteditable="false" data-index="2" data-equation="(x_0-η,x_0)或[x_0-η,x_0)"><span></span><span></span></span>,η是一个确定的正数.又设A是一个定数,如果对<span class="equation-text" contenteditable="false" data-index="3" data-equation="\forallε>0,总\existsδ>0"><span></span><span></span></span>,当<span class="equation-text" contenteditable="false" data-index="4" data-equation="0<x_0-x<δ"><span></span><span></span></span>时,有<span class="equation-text" contenteditable="false" data-index="5" data-equation="|f(x)-A|<ε"><span></span><span></span></span>,就称A是函数f(x)在点<span class="equation-text" contenteditable="false" data-index="6" data-equation="x_0"><span></span><span></span></span>的左极限,记为<span class="equation-text" contenteditable="false" data-index="7" data-equation="\begin{matrix} \ lim_{x \to x_0-0}f(x) \end{matrix}=A"><span></span><span></span></span>或<span class="equation-text" contenteditable="false" data-index="8" data-equation="f(x_0-0)=A"><span></span><span></span></span>,或<span class="equation-text" contenteditable="false" data-index="9" data-equation="f(x)\to A(x\to x_0-0)"><span></span><span></span></span>,这时也称函数f(x)在<span class="equation-text" contenteditable="false" data-index="10" data-equation="x_0"><span></span><span></span></span>点左极限存在。
<span class="equation-text" contenteditable="false" data-index="0" data-equation="如果对A点的\forallε领域O(A,ε),总\exists x_0点的左领域(x_0-ε,x_0),当x\in(x_0-ε,x_0)时,f(x)\in (A,ε)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="极限存在的充要条件:\lim_{x \to x_0}f(x)=A\Leftrightarrow\lim_{x \to x_0+0}f(x)=\lim_{x \to x_0-0}f(x)=A"><span></span><span></span></span>
函数在无限远处的极限
函数在正无限远处的极限的定义:若对<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forallε>0"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists X>0"><span></span><span></span></span>,当x>X时,总有<span class="equation-text" contenteditable="false" data-index="2" data-equation="|f(x)-A|<ε"><span></span><span></span></span>,就称A为f(x)在正无限远处的极限,或者称A是当<span class="equation-text" contenteditable="false" data-index="3" data-equation="x\to +\infty"><span></span><span></span></span>时f(x)的极限,记为<span class="equation-text" contenteditable="false" data-index="4" data-equation="\lim_{x \to +\infty}f(x)=A"><span></span><span></span></span>或<span class="equation-text" contenteditable="false" data-index="5" data-equation="f(+\infty)=A"><span></span><span></span></span> 或<span class="equation-text" contenteditable="false" data-index="6" data-equation="f(x)\to A(x\to+\infty)"><span></span><span></span></span>,这时也称函数f(x)在正无限远处的极限存在。
函数在负无限远处的极限的定义:若对<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forallε>0"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists X>0"><span></span><span></span></span>,当x<-X时,总有<span class="equation-text" contenteditable="false" data-index="2" data-equation="|f(x)-A|<ε"><span></span><span></span></span>,就称A为f(x)在负无限远处的极限,或者称A是当<span class="equation-text" contenteditable="false" data-index="3" data-equation="x\to -\infty"><span></span><span></span></span>时f(x)的极限,记为<span class="equation-text" contenteditable="false" data-index="4" data-equation="\lim_{x \to -\infty}f(x)=A"><span></span><span></span></span>或<span class="equation-text" contenteditable="false" data-index="5" data-equation="f(-\infty)=A"><span></span><span></span></span> 或<span class="equation-text" contenteditable="false" data-index="6" data-equation="f(x)\to A(x\to-\infty)"><span></span><span></span></span>,这时也称函数f(x)在负无限远处的极限存在。
函数在无限远处的极限的定义:若对<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forallε>0"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists X>0"><span></span><span></span></span>,当|x|>X时,总有<span class="equation-text" contenteditable="false" data-index="2" data-equation="|f(x)-A|<ε"><span></span><span></span></span>,就称A为f(x)在无限远处的极限,或者称A是当<span class="equation-text" contenteditable="false" data-index="3" data-equation="x\to \infty"><span></span><span></span></span>时f(x)的极限,记为<span class="equation-text" contenteditable="false" data-index="4" data-equation="\lim_{x \to \infty}f(x)=A"><span></span><span></span></span>或<span class="equation-text" contenteditable="false" data-index="5" data-equation="f(\infty)=A"><span></span><span></span></span> 或<span class="equation-text" contenteditable="false" data-index="6" data-equation="f(x)\to A(x\to+\infty)"><span></span><span></span></span>,这时也称函数f(x)在无限远处的极限存在。
<span class="equation-text" contenteditable="false" data-index="0" data-equation="极限存在的充要条件:\lim_{x \to \infty}f(x)=A\Leftrightarrow\lim_{x \to +\infty}f(x)=\lim_{x \to -\infty}f(x)=A"><span></span><span></span></span>
函数值趋于无穷大的情形
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=\infty的定义:如果对\forall G>0,\existsδ>0,当0<|x-x_0|<δ时,有|f(x)|>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0趋于无穷大(或发散到无穷大),记为\lim_{x \to x_0}f(x)=\infty或f(x)\to\infty(x\to x_0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=-\infty的定义:如果对\forall G>0,\existsδ>0,当0<|x-x_0|<δ时,有f(x)<-G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0趋于负无穷大(或发散到负无穷大),记为\lim_{x \to x_0}f(x)=-\infty或f(x)\to-\infty(x\to x_0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=+\infty的定义:如果对\forall G>0,\existsδ>0,当0<|x-x_0|<δ时,有f(x)>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0趋于正无穷大(或发散到正无穷大),记为\lim_{x \to x_0}f(x)=+\infty或f(x)\to+\infty(x\to x_0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0+0}f(x)=\infty的定义:如果对\forall G>0,\existsδ>0,当0<x-x_0<δ时,有|f(x)|>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0右侧趋于无穷大(或发散到无穷大),记为\lim_{x \to x_0+0}f(x)=\infty或f(x)\to\infty(x\to x_0+0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0+0}f(x)=+\infty的定义:如果对\forall G>0,\existsδ>0,当0<x-x_0<δ时,有f(x)>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0右侧趋于正无穷大(或发散到正无穷大),记为\lim_{x \to x_0+0}f(x)=+\infty或f(x)\to+\infty(x\to x_0+0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0+0}f(x)=-\infty的定义:如果对\forall G>0,\existsδ>0,当0<x-x_0<δ时,有f(x)<-G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0右侧趋于负无穷大(或发散到负无穷大),记为\lim_{x \to x_0+0}f(x)=-\infty或f(x)\to-\infty(x\to x_0+0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0-0}f(x)=\infty的定义:如果对\forall G>0,\existsδ>0,当0<x_0-x<δ时,有|f(x)|>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0左侧趋于无穷大(或发散到无穷大),记为\lim_{x \to x_0-0}f(x)=\infty或f(x)\to\infty(x\to x_0-0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0-0}f(x)=+\infty的定义:如果对\forall G>0,\existsδ>0,当0<x_0-x<δ时,有f(x)>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0左侧趋于正无穷大(或发散到正无穷大),记为\lim_{x \to x_0-0}f(x)=+\infty或f(x)\to+\infty(x\to x_0-0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0-0}f(x)=-\infty的定义:如果对\forall G>0,\existsδ>0,当0<x_0-x<δ时,有f(x)<-G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在点x_0左侧趋于负无穷大(或发散到负无穷大),记为\lim_{x \to x_0-0}f(x)=-\infty或f(x)\to-\infty(x\to x_0-0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to \infty}f(x)=\infty的定义:如果对\forall G>0,\exists X>0,当|x|>X时,有|f(x)|>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在无穷远处趋于无穷大(或发散到无穷大),记为\lim_{x \to \infty}f(x)=\infty或f(x)\to\infty(x\to \infty)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to \infty}f(x)=+\infty的定义:如果对\forall G>0,\exists X>0,当|x|>X时,有f(x)>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在无穷远处趋于正无穷大(或发散到正无穷大),记为\lim_{x \to \infty}f(x)=+\infty或f(x)\to+\infty(x\to \infty)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to \infty}f(x)=-\infty的定义:如果对\forall G>0,\existsδ>0,当|x|>X时,有f(x)<-G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在无穷远处趋于负无穷大(或发散到负无穷大),记为\lim_{x \to \infty}f(x)=-\infty或f(x)\to-\infty(x\to \infty)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to +\infty}f(x)=\infty的定义:如果对\forall G>0,\exists X>0,当x>X时,有|f(x)|>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在正无穷远处趋于无穷大(或发散到无穷大),记为\lim_{x \to +\infty}f(x)=\infty或f(x)\to\infty(x\to +\infty)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to +\infty}f(x)=+\infty的定义:如果对\forall G>0,\exists X>0,当x>X时,有f(x)>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在正无穷远处趋于正无穷大(或发散到正无穷大),记为\lim_{x \to +\infty}f(x)=+\infty或f(x)\to+\infty(x\to+\infty)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to +\infty}f(x)=-\infty的定义:如果对\forall G>0,\exists X>0,当x>X时,有f(x)<-G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在正无穷远处趋于负无穷大(或发散到负无穷大),记为\lim_{x \to +\infty}f(x)=-\infty或f(x)\to-\infty(x\to+\infty)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to -\infty}f(x)=\infty的定义:如果对\forall G>0,\exists X>0,当x<-X时,有|f(x)|>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在负无穷远处趋于无穷大(或发散到无穷大),记为\lim_{x \to -\infty}f(x)=\infty或f(x)\to\infty(x\to -\infty)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to \infty}f(x)=\infty的定义:如果对\forall G>0,\exists X>0,当|x|>X时,有|f(x)|>G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在负无穷远处趋于正无穷大(或发散到正无穷大),记为\lim_{x\to-\infty}f(x)=+\infty或f(x)\to+\infty(x\to-\infty)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to -\infty}f(x)=-\infty的定义:如果对\forall G>0,\exists X>0,当x<-X时,有f(x)<-G,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="就说函数f(x)在负无穷远处趋于负无穷大(或发散到负无穷大),记为\lim_{x\to-\infty}f(x)=-\infty或f(x)\to-\infty(x\to-\infty)"><span></span><span></span></span>
性质8:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=\infty"><span></span><span></span></span>,那么<span class="equation-text" contenteditable="false" data-index="1" data-equation="\lim_{x \to x_0}{1\over f(x)}=0"><span></span><span></span></span>;反过来,如果在<span class="equation-text" contenteditable="false" data-index="2" data-equation="x_0"><span></span><span></span></span>的某一领域内(<span class="equation-text" contenteditable="false" data-index="3" data-equation="x_0"><span></span><span></span></span>本身除外)f(x)无零点,并且<span class="equation-text" contenteditable="false" data-index="4" data-equation="\lim_{x \to x_0}f(x)=0"><span></span><span></span></span>,那么<span class="equation-text" contenteditable="false" data-index="5" data-equation="\lim_{x \to x_0}{1\over f(x)}=\infty"><span></span><span></span></span>
性质9:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}f(x)=\infty"><span></span><span></span></span>,而g(x)满足当<span class="equation-text" contenteditable="false" data-index="1" data-equation="0<|x-x_0|<δ"><span></span><span></span></span>时,<span class="equation-text" contenteditable="false" data-index="2" data-equation="|g(x)|\geq C>0"><span></span><span></span></span>,那么<span class="equation-text" contenteditable="false" data-index="3" data-equation="\lim_{x \to x_0}f(x)g(x)=\infty"><span></span><span></span></span>。
两个常用的不等式和两个重要的极限
对任何x,有<span class="equation-text" contenteditable="false" data-index="0" data-equation="|sin x|\leq|x|"><span></span><span></span></span>;当<span class="equation-text" contenteditable="false" data-index="1" data-equation="-{π\over2}<x<{π\over2}"><span></span><span></span></span>时,有<span class="equation-text" contenteditable="false" data-index="2" data-equation="|x|\leq|tan x|"><span></span><span></span></span>,当且仅当x=0时,"="成立
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to 0}{sin x\over x}=1,\lim_{x \to \infty}{sin x\over x}=0,\lim_{x \to \infty}{sin {1\over x}\over {1\over x}}=\infty,\lim_{x \to 0}{sin 2x\over x}=2"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to \infty}(1+{1\over x})^x=e"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="1" data-equation="\lim_{x \to \infty}(1+x)^{1\over x}=e"><span></span><span></span></span>
极限不存在的几种典例
趋于<span class="equation-text" contenteditable="false" data-index="0" data-equation="\infty"><span></span><span></span></span>,如:<span class="equation-text" contenteditable="false" data-index="1" data-equation="\lim_{x \to \infty}x^2,\lim_{x \to \infty}x,\lim_{x \to 1}{1\over {x-1}}"><span></span><span></span></span>
振荡,如:<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to \infty}sinx,\lim_{x \to 1}sin {1\over {x-1}}"><span></span><span></span></span>
左右极限不相等,单侧极限不相等。
无穷小量与无穷大量的阶
利用两个无穷小量的比值的极限来衡量谁趋近零的速度快
<span class="equation-text" data-index="0" data-equation="{u(x)\over v(x)}\to0(x\to x_0),u(x)\to0,v(x)\to0,x\to x_0" contenteditable="false"><span></span><span></span></span> <font color="#f44336">(证明<span class="equation-text" data-index="1" data-equation="u(x)\to0的速度快于v(x)" contenteditable="false"><span></span><span></span></span>)</font><font color="#212121">当<span class="equation-text" data-index="2" data-equation="x\to x_0" contenteditable="false"><span></span><span></span></span>时,称u(x)是v(x)的高阶无穷小量,记作<span class="equation-text" data-index="3" data-equation="u(x)=o(v(x))(x\to x_0)" contenteditable="false"><span class="katex"></span></span></font>,<span class="equation-text" data-index="4" data-equation="\lim_{x \to x_0}{u(x)\over v(x)}=0" contenteditable="false"><span></span><span></span></span>
<font color="#212121">当<span class="equation-text" data-index="0" data-equation="x\to x_0" contenteditable="false"><span></span><span></span></span>时,称v(x)是u(x)的低阶无穷小量,记作同上</font>
假如<span class="equation-text" contenteditable="false" data-index="0" data-equation="\exists A>0"><span></span><span></span></span>,当<span class="equation-text" contenteditable="false" data-index="1" data-equation="x\in o^o(x_0,δ)"><span></span><span></span></span>时,即<span class="equation-text" contenteditable="false" data-index="2" data-equation="\forall x,0<|x-x_0|<δ"><span></span><span></span></span>,总有<span class="equation-text" contenteditable="false" data-index="3" data-equation="|{u(x)\over v(x)}|\leq A"><span></span><span></span></span>,则<span class="equation-text" contenteditable="false" data-index="4" data-equation="x\to x_0"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="5" data-equation="{u(x)\over v(x)}"><span></span><span></span></span>是一个有界量。记作:<span class="equation-text" contenteditable="false" data-index="6" data-equation="u(x)=O(v(x))"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="0<a<b<+\infty"><span></span><span></span></span>,在<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_0"><span></span><span></span></span>某去心邻域内,<span class="equation-text" contenteditable="false" data-index="2" data-equation="\forall x"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="3" data-equation="0<|x-x_0|<δ"><span></span><span></span></span>,总有<span class="equation-text" contenteditable="false" data-index="4" data-equation="a\leq|{u(x)\over v(x)}|\leq b"><span></span><span></span></span>,则称当<span class="equation-text" contenteditable="false" data-index="5" data-equation="x\to x_0"><span></span><span></span></span>时,u(x)是v(x)的同阶无穷小量
<span class="equation-text" contenteditable="false" data-index="0" data-equation="x\to x_0,\lim_{x \to x_0}{u(x)\over v(x)}=1"><span></span><span></span></span>,称u(x)与v(x)是等价无穷小量,记作:<span class="equation-text" contenteditable="false" data-index="1" data-equation="u(x)~v(x)(x\to x_o)"><span></span><span></span></span>
注:v(x)一般采用<span class="equation-text" contenteditable="false" data-index="0" data-equation="(x-x_0)^k"><span></span><span></span></span>来判定u(x)是n阶无穷小量。
两个无穷大量的比值的极限的比较。
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x\to x_0}f(x)=\infty"><span></span><span></span></span>u(x),v(x)均为无穷大量
<span class="equation-text" contenteditable="false" data-index="0" data-equation="x\to x_0,\lim_{x \to x_0}{u(x)\over v(x)}=\infty"><span></span><span></span></span>,称u(x)是v(x)的高阶无穷大量,v(x)是u(x)的低阶无穷大量
<span class="equation-text" contenteditable="false" data-index="0" data-equation="n^n\gg n!\gg a^n\gg n^α\gg (log_xn)^β(n>1,α>0,β>0)"><span></span><span></span></span>
假如<span class="equation-text" contenteditable="false" data-index="0" data-equation="\exists A>0,\forall x,0<|x-x_0|<δ,|{u(x)\over v(x)}|\leq A"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="1" data-equation="x\to x_0,{u(x)\over v(x)}"><span></span><span></span></span>是有界量,记作:<span class="equation-text" contenteditable="false" data-index="2" data-equation="O(v(x))=u(x),0<a<b<+\infty,\forall x,0<|x-x_0|<δ,a\leq|{u(x)\over v(x)}\leq b"><span></span><span></span></span>,u(x)与v(x)是同阶无穷大量<span class="equation-text" contenteditable="false" data-index="3" data-equation="(x\to x_0)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{x \to x_0}{u(x)\over v(x)}=1,u(x)~v(x)(x\to x_0)"><span></span><span></span></span>
同阶<span class="equation-text" contenteditable="false" data-index="0" data-equation="x\to0"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="x~sinx~tanx~arcsinx~arctanx~e^x-1~ln(x+1)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="1-cosx~{1\over2}x^2"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="(1+x)^α-1~αx"><span></span><span></span></span>
数列的极限和无穷大量
数列极限的定义
无穷多个数<span class="equation-text" contenteditable="false" data-index="0" data-equation="x_1,x_2,…,x_n,…"><span></span><span></span></span> 按次序一个接一个地排练下去,就构成一个数列,通项<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_n"><span></span><span></span></span> ,记为:<span class="equation-text" contenteditable="false" data-index="2" data-equation="\left\{x_n \right\}"><span></span><span></span></span>
设<span class="equation-text" data-index="0" data-equation="\left\{x_n \right\}" contenteditable="false"><span></span><span></span></span>是一个数列,a是实数。如果对任意给定的<span class="equation-text" data-index="1" data-equation="\epsilon" contenteditable="false"><span></span><span></span></span>,总存在一个正整数N,当n>N时,都有<span class="equation-text" data-index="2" data-equation="|x_n-a|<\epsilon" contenteditable="false"><span></span><span></span></span>,就称a是数列<span class="equation-text" data-index="3" data-equation="\left\{x_n \right\}" contenteditable="false"><span></span><span></span></span>的极限,或者称数列<span class="equation-text" data-index="4" data-equation="\left\{x_n \right\}" contenteditable="false"><span></span><span></span></span>收敛,且收敛于a,记为<span class="equation-text" data-index="5" data-equation="\lim_{n \to \infty}x_n=a" contenteditable="false"><span></span><span></span></span>或<span class="equation-text" data-index="6" data-equation="x_n\to a(n\to \infty)" contenteditable="false"><span></span><span></span></span>,这时也称数列<span class="equation-text" contenteditable="false" data-index="7" data-equation="\left\{x_n\right\}"><span></span><span></span></span>极限存在。
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forallε>0,\exists N,当n>N时,使得|x_n-a|<ε"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forallε>0,\exists N,当n>N时,使得|x_n-a|<Mε(M为正常数)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forall O(a,ε),\exists N,当n>N时,x_n\in O(a,ε)"><span></span><span></span></span>
当a等于0时,也就是<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\}"><span></span><span></span></span>以零为极限时,称为无穷小量
无穷小量是极限为0,很小的量是数值
数列是否存在极限值与他从某项后的所有项有关,而与其前有限项无关,在讨论极限时可以添加或去掉或改变有限项的值。
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forallε>0,\exists N,当N>n时,使得|x_n|<ε"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\existsε>0,\forall N,当n>N时,使得|x_n-a|\geqε(发散)"><span></span><span></span></span>
数列极限的性质
定理1(保号性):若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{n \to \infty}x_n=a"><span></span><span></span></span>,<span class="equation-text" contenteditable="false" data-index="1" data-equation="\lim_{n \to \infty}y_n=b"><span></span><span></span></span>,且a>b,则总<span class="equation-text" contenteditable="false" data-index="2" data-equation="\exists"><span></span><span></span></span>正整数N,当n>N时,不等式<span class="equation-text" contenteditable="false" data-index="3" data-equation="x_n>y_n"><span></span><span></span></span>成立
推论1:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{n \to \infty}x_n=a,\lim_{n \to \infty}y_n=b,"><span></span><span></span></span> 且存在正整数N,当n>N时,不等式<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_n>y_n"><span></span><span></span></span>都成立,则<span class="equation-text" contenteditable="false" data-index="2" data-equation="a\geq b"><span></span><span></span></span>;特别地,若<span class="equation-text" contenteditable="false" data-index="3" data-equation="\lim_{n \to \infty}x_n=a"><span></span><span></span></span>,且存在正整数N,当n>N时,有<span class="equation-text" contenteditable="false" data-index="4" data-equation="x_n>b"><span></span><span></span></span>,则<span class="equation-text" contenteditable="false" data-index="5" data-equation="a\geq b"><span></span><span></span></span>
推论2:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{n \to \infty}x_n=a"><span></span><span></span></span>,且a>b(b为常数),则存在正整数N,当n>N时,有<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_n>b"><span></span><span></span></span>;特别地,若<span class="equation-text" contenteditable="false" data-index="2" data-equation="\lim_{n \to \infty}x_n=a"><span></span><span></span></span>,且a>0,<span class="equation-text" contenteditable="false" data-index="3" data-equation="\exist N"><span></span><span></span></span>,当n>N时,有<span class="equation-text" contenteditable="false" data-index="4" data-equation="x_n>0"><span></span><span></span></span>
推论3:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{n \to \infty}x_n=a"><span></span><span></span></span>,且a<c(c为常数),则<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists N"><span></span><span></span></span>,当n>N时,有<span class="equation-text" contenteditable="false" data-index="2" data-equation="x_n<c"><span></span><span></span></span>;特别地,若<span class="equation-text" contenteditable="false" data-index="3" data-equation="\lim_{n \to \infty}x_n=a"><span></span><span></span></span>,且a<0,则<span class="equation-text" contenteditable="false" data-index="4" data-equation="\exists N"><span></span><span></span></span>,当n>N时,有<span class="equation-text" contenteditable="false" data-index="5" data-equation="x_n<0"><span></span><span></span></span>
定理2(唯一性):若数列<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\}"><span></span><span></span></span>收敛,则它的极限是唯一的
定理3(夹逼性):若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\exists N,当n>N时,有x_n\leq y_n\leq z_n,且\lim_{n \to \infty}x_n=\lim_{n \to \infty}z_n=a,则\lim_{n \to \infty}y_n=a"><span></span><span></span></span>
推论:<span class="equation-text" contenteditable="false" data-index="0" data-equation="若\exists正整数N,当n>N时,有a\leq y_n\leq z_n(或z_n\leq y_n\leq a),且\lim_{n \to \infty}z_n=a,则\lim_{n \to \infty}y_n=a"><span></span><span></span></span>
定理4:有极限的数列是有界的<font color="#f44336">(逆定理不成立)</font>
有界数列
若两个数A,B(设A<B),数列<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\}"><span></span><span></span></span>中的每一项均在闭区间<span class="equation-text" contenteditable="false" data-index="1" data-equation="[A,B]"><span></span><span></span></span>内,亦即<span class="equation-text" contenteditable="false" data-index="2" data-equation="A\leq x_n\leq B(n=1,2,3,…)"><span></span><span></span></span>,则称<span class="equation-text" contenteditable="false" data-index="3" data-equation="\left\{x_n\right\}"><span></span><span></span></span>为有界数列。A为上界,B为下界
上界,下界不唯一
<span class="equation-text" contenteditable="false" data-index="0" data-equation="x_n的所有项都有界"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\Leftrightarrow \exists 正数M,使得|x_n|\leq M"><span></span><span></span></span>;<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists O(O,M),使得\forall x_n\in(O,M)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\lim_{n \to \infty}(1+{1\over n})^n=e"><span></span><span></span></span>
数列极限的运算
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\},\left\{y_n\right\}都收敛,则\left\{x_n\pm y_n \right\}也收敛,且\lim_{n \to \infty}(x_n\pm y_n)=\lim_{n \to \infty}x_n\pm \lim_{n \to \infty}y_n"><span></span><span></span></span>
特别地, 两个无穷小量的代数和认为无穷小量
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\},\left\{y_n\right\}都收敛,则\left\{x_n \cdot y_n \right\}也收敛,且\lim_{n \to \infty}(x_n\cdot y_n)=\lim_{n \to \infty}x_n\cdot \lim_{n \to \infty}y_n"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\}为有界数列,\left\{y_n\right\}为无穷小量,则它们的积\left\{x_n \cdot y_n \right\}为无穷小量"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\},\left\{y_n\right\}都收敛,且\lim_{n \to \infty}y_n\neq0则\left\{{x_n \over y_n} \right\}也收敛,且\lim_{n \to \infty}{x_n\over y_n}={\lim_{n \to \infty}x_n\over \lim_{n \to \infty}y_n}"><span></span><span></span></span>
单调有界数列
设{<span class="equation-text" contenteditable="false" data-index="0" data-equation="x_n"><span></span><span></span></span>}是一个数列,如果<span class="equation-text" data-index="1" data-equation="x_1\leq x_2\leq x_3\leq…\leq x_n\leq x_{n+1}\leq…,就说这个数列是单调增加(上升)的;如果x_1\geq x_2\geq x_3\geq…\geq x_n\geq x_{n+1}\leq…,就说这个数列是单调下降(减少)的" contenteditable="false"><span></span><span></span></span> <font color="#f44336">无等号为严格单调增加(减少)</font>
单调有界数列必有极限
无穷大量的定义
<span class="equation-text" contenteditable="false" data-index="0" data-equation="若\left\{x_n\right\}是一个数列,如果对\forall G>0,总\exists正整数N,当n>N时,必有|x_n|>G,就有\left\{x_n\right\}是一个无穷大量。记为:\lim_{n \to \infty}x_n=∞或x_n\to∞(n\to∞)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forall G>0,\exists N,当n>N时,有|x_n|>G,\left\{x_n\right\}是一个无穷大量"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forall G>0,\exists N,当n>N时,必有x_n>G,就有\left\{x_n\right\}是一个正无穷大量。记为:\lim_{n \to \infty}x_n=+∞或x_n\to+∞(n\to∞)"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forall G>0,\exists N,当n>N时,必有x_n<-G,就有\left\{x_n\right\}是一个负无穷大量。记为:\lim_{n \to \infty}x_n=-∞或x_n\to-∞(n\to∞)"><span></span><span></span></span>
无穷大量是一个变量,随n变化
无穷大量的性质和运算
无穷大量和无穷小量的关系
定理六:若<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n \right\}"><span></span><span></span></span>为无穷大量,则<span class="equation-text" contenteditable="false" data-index="1" data-equation="\left\{\frac{1}{x_n} \right\}"><span></span><span></span></span>为无穷小量;若<span class="equation-text" contenteditable="false" data-index="2" data-equation="\left\{x_n \right\}"><span></span><span></span></span>为无穷小量,则<span class="equation-text" contenteditable="false" data-index="3" data-equation="\left\{\frac{1}{x_n} \right\}"><span></span><span></span></span>为无穷大量
无穷大量的运算法则
<span class="equation-text" data-index="0" data-equation="\left\{x_n\right\},\left\{y_n\right\}都为正(负)无穷大量,则\left\{x_n\pm y_n \right\}也是正(负)无穷大量" contenteditable="false"><span></span><span></span></span> <font color="#d32f2f">(非同号时不成立)</font>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\}为有界数列,\left\{y_n\right\}为无穷大量,则它们的和\left\{x_n + y_n \right\}为无穷大量"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="设\left\{x_n \right\}为无穷大量,\left\{y_n \right\}:\exists N,当n>N时,有|y_n|\geq δ>0,\left\{x_n\cdot y_n \right\}为无穷大量"><span></span><span></span></span>
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\left\{x_n\right\}为无穷大量,\left\{y_n\right\}收敛于a,则\left\{x_n \cdot y_n \right\}为无穷大量"><span></span><span></span></span>
连续函数
连续的定义
函数在<span class="equation-text" data-index="0" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 点连续的定义<font color="#f44336">(局部性质)</font>:若函数f(x)在点<span class="equation-text" data-index="1" data-equation="x_0" contenteditable="false"><span></span><span></span></span>的附近包括<span class="equation-text" data-index="2" data-equation="x_0" contenteditable="false"><span></span><span></span></span>本身有定义,并且<span class="equation-text" data-index="3" data-equation="\lim_{x \to x_0}f(x)=f(x_0)" contenteditable="false"><span></span><span></span></span>,就称f(x)在<span class="equation-text" data-index="4" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 点连续,此时称点<span class="equation-text" data-index="5" data-equation="x_0" contenteditable="false"><span></span><span></span></span>是f(x)的连续点
<span class="equation-text" contenteditable="false" data-index="0" data-equation="\forallε>0,\existsδ>0,当|x-x_0|<δ时,有|f(x)-f(x_0)|<ε"><span></span><span></span></span>
对f(x)任意ε领域<span class="equation-text" contenteditable="false" data-index="0" data-equation="O(f(x_0),ε),"><span></span><span></span></span>总<span class="equation-text" contenteditable="false" data-index="1" data-equation="\exists x_0的δ领域O(x_0,δ),"><span></span><span></span></span>当<span class="equation-text" contenteditable="false" data-index="2" data-equation="x\in O(x_0,δ)"><span></span><span></span></span>时,有<span class="equation-text" contenteditable="false" data-index="3" data-equation="f(x)\in O(f(x_0),ε)"><span></span><span></span></span>
<font color="#f44336">(缺一不可)</font>不再要求<span class="equation-text" data-index="0" data-equation="0<|x-x_0|," contenteditable="false"><span></span><span></span></span>函数f(x)在点<span class="equation-text" data-index="1" data-equation="x_0" contenteditable="false"><span></span><span></span></span>连续必须同时满足:f(x)在点<span class="equation-text" data-index="2" data-equation="x_0" contenteditable="false"><span></span><span></span></span>有定义;f(x)在点<span class="equation-text" data-index="3" data-equation="x_0" contenteditable="false"><span></span><span></span></span>的极限<span class="equation-text" data-index="4" data-equation="\lim_{x\to x_0}f(x)" contenteditable="false"><span></span><span></span></span>存在;<span class="equation-text" data-index="5" data-equation="\lim_{x \to x_0}f(x)=f(x_0)" contenteditable="false"><span></span><span></span></span>
若一个函数f(x)在点<span class="equation-text" data-index="0" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 满足<span class="equation-text" data-index="1" data-equation="f(x_0-0)=f(x_0)" contenteditable="false"><span></span><span></span></span>,就称f(x)在<span class="equation-text" data-index="2" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 点左连续
若一个函数f(x)在点<span class="equation-text" data-index="0" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 满足<span class="equation-text" data-index="1" data-equation="f(x_0+0)=f(x_0)" contenteditable="false"><span></span><span></span></span>,就称f(x)在<span class="equation-text" data-index="2" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 点右连续
函数f(x)在点<span class="equation-text" contenteditable="false" data-index="0" data-equation="x_0"><span></span><span></span></span>连续的充要条件为函数在此点既是左连续也是右连续。
若函数f(x)在开区间(a,b)内每一点连续,也就是说,对(a,b)内任何一点<span class="equation-text" contenteditable="false" data-index="0" data-equation="x_0"><span></span><span></span></span>都成立,<span class="equation-text" contenteditable="false" data-index="1" data-equation="\lim_{x \to x_0}f(x)=f(x_0)都成立,"><span></span><span></span></span>则称函数f(x)在(a,b)内连续。对闭区间[a,b]来说,f(x)在[a,b]上连续的定义是指f(x)在(a,b)内连续,同时在左端点右连续,而在右端点左连续,即:<span class="equation-text" contenteditable="false" data-index="2" data-equation="f(a+0)=f(a),f(b-0)=f(b)"><span></span><span></span></span>
不连续点的类型
设函数f(x)在点<span class="equation-text" data-index="0" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 的某处去心领域内定义,则下列情形,f(x)在点<span class="equation-text" contenteditable="false" data-index="1" data-equation="x_0"><span></span><span></span></span> 不连续:(1)f(x)在点<span class="equation-text" data-index="2" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 无定义;(2)f(x)在点<span class="equation-text" data-index="3" data-equation="x_0" contenteditable="false"><span></span><span></span></span> 有定义但2极限<span class="equation-text" data-index="4" data-equation="\lim_{x\to x_0}f(x)" contenteditable="false"><span></span><span></span></span> 不存在;上述均成立<span class="equation-text" data-index="5" data-equation="\lim_{x \to x_0}f(x)\neq f(x_0)" contenteditable="false"><span></span><span></span></span> 这样的点称为间断点
第一类间断点:<span class="equation-text" contenteditable="false" data-index="0" data-equation="f(x_0-0)及f(x_0+0)均存在,若f(x_0-0)=f(x_0+0),称x_0为可去间断点,若f(x_0-0)\neq f(x_0+0),称x_0为跳跃间断点"><span></span><span></span></span>
第二类间断点:<span class="equation-text" contenteditable="false" data-index="0" data-equation="f(x_0-0)及f(x_0+0)中至少一个不存在,若其中有一个为\infty,称x_0为无穷间断点,若其中有一个为振荡,"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="1" data-equation="称x"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="2" data-equation="_0为振"><span></span><span></span></span><span class="equation-text" contenteditable="false" data-index="3" data-equation="荡间断点"><span></span><span></span></span>
连续函数的性质和运算
定理1:在某点连续的有限个函数经有限次和差积商(分母不为零)运算结果仍是一个在该点连续的函数。
定理2:连续单调递增(递减)函数的反函数也连续单调递增(递减)。<font color="#f44336">(严格单调函数才具有反函数)</font>
定理3:连续函数的复合函数是连续的。<font color="#f44336">(极限号和函数符号可以互换位置)</font>
初等函数的连续性
基本初等函数在定义区间内连续,函数经四则运算仍连续。连续的复合函数连续。<font color="#f44336">一切初等函数在定义区间内连续。</font>
闭区间上连续函数的性质
最值定理
定理1:在:闭区间上连续的函数,在该区间上一定有最大值和最小值。<font color="#f44336">(若函数在开区间上连续,在闭区间内有间断点,结论不一定成立。)</font>
推论:在闭区间上连续的函数在该区间上有界。<font color="#f44336">(有界性)</font>
介值定理
定理2(零点存在定理):<span class="equation-text" contenteditable="false" data-index="0" data-equation="f(x)\in C[a,b]"><span></span><span></span></span>,且<span class="equation-text" contenteditable="false" data-index="1" data-equation="f(a)f(b)<0\Rightarrow"><span></span><span></span></span>至少有一个<span class="equation-text" contenteditable="false" data-index="2" data-equation="ξ\in C(a,b)"><span></span><span></span></span>,使<span class="equation-text" contenteditable="false" data-index="3" data-equation="f(ξ)=0"><span></span><span></span></span>
定理3(介值定理):设<span class="equation-text" contenteditable="false" data-index="0" data-equation="f(x)\in C[a,b]"><span></span><span></span></span>,且<span class="equation-text" contenteditable="false" data-index="1" data-equation="f(a)=A,f(b)=B,A\neq B"><span></span><span></span></span>,则对A与B之间的任意数c,至少有一点<span class="equation-text" contenteditable="false" data-index="2" data-equation="ξ\in(a,b)"><span></span><span></span></span>,使<span class="equation-text" contenteditable="false" data-index="3" data-equation="f(ξ)=c"><span></span><span></span></span>
推论:在闭区间上的连续函数必取得介于最大值与最小值之间的任何值。
一致连续性<font color="#f44336">(整体性质)</font>
对<span class="equation-text" data-index="0" data-equation="f(x),x\in I" contenteditable="false"><span></span><span></span></span>,若<span class="equation-text" data-index="1" data-equation="\forallε>0" contenteditable="false"><span></span><span></span></span>,若δ>0,对<span class="equation-text" data-index="2" data-equation="\exists x_1,x_2\in I" contenteditable="false"><span></span><span></span></span>,当<span class="equation-text" data-index="3" data-equation="|x_1-x_2|<δ" contenteditable="false"><span></span><span></span></span>时,有<span class="equation-text" data-index="4" data-equation="|f(x_1)-f(x-2)|<ε" contenteditable="false"><span></span><span></span></span>,则f(x)在区间I上一致连续<font color="#f44336">(找到只与ε有关而与点x无关的δ)</font>
康托尔(Cantor)定理:闭区间[a,b]上的连续函数f(x)(若<span class="equation-text" contenteditable="false" data-index="0" data-equation="f(x)\in C[a,b]"><span></span><span></span></span>),一定在[a,b]上一致连续
0 条评论
下一页