數(shù)學(xué)分析理論基礎(chǔ)8:函數(shù)極限概念

函數(shù)極限概念

x趨于\infty時(shí)函數(shù)的極限

定義:設(shè)f為定義在[a,+\infty)上的函數(shù),A為定數(shù),若\forall \varepsilon\gt 0,\exists 正數(shù)M(\ge a),使得當(dāng)x\gt M時(shí)有|f(x)-A|\lt \varepsilon,則稱函數(shù)f當(dāng)x趨于+\infty時(shí)以A為極限,記作\lim\limits_{x\to +\infty}f(x)=Af(x)\to A(x\to +\infty)

注:A的任意小鄰域內(nèi)含有f在+\infty的某鄰域上的全部函數(shù)值

幾何意義:\forall \varepsilon\gt 0,在坐標(biāo)平面上平行于x軸的兩條直線y=A+\varepsilony=A-\varepsilon圍成以y=A為中心線,寬為2\varepsilon的帶形區(qū)域,在直線x=M,的右方,曲線y=f(x)全部落在這個(gè)帶形區(qū)域之內(nèi)

設(shè)f為定義在U(-\infty)U(\infty)上的函數(shù),當(dāng)x\to -\inftyx\to \infty時(shí),若函數(shù)值f(x)能無限地接近某定數(shù)A,則稱f當(dāng)x\to -\inftyx\to \infty時(shí)以A為極限,分別記作

\lim\limits_{x\to -\infty}f(x)=A或f(x)\to A(x\to -\infty)

\lim\limits_{x\to \infty}f(x)=A或f(x)\to A(x\to \infty)

若f為定義在U(\infty)上的函數(shù),則\lim\limits_{x\to +\infty}f(x)=A\Leftrightarrow \lim\limits_{x\to +\infty}f(x)=\lim\limits_{x\to -\infty}f(x)=A

例:證明\lim\limits_{x\to -\infty}arctanx=-{\pi\over 2}

證:

\forall \varepsilon,要證|arctanx-(-{\pi\over 2})|\lt \varepsilon

只需證-\varepsilon-{\pi\over 2}\lt arctanx\lt \varepsilon-{\pi\over 2}

不等式左端顯然成立

限制\varepsilon\lt {\pi\over 2},則有

x\lt tan(\varepsilon-{\pi\over 2})=-tan({\pi\over 2}-\varepsilon)

\forall \varepsilon\gt 0,取M=tan({\pi\over 2}-\varepsilon)

則x\lt -M時(shí)有|arctanx-(-{\pi\over 2})|\lt \varepsilon

\therefore \lim\limits_{x\to -\infty}arctanx=-{\pi\over 2}

x趨于x_0時(shí)函數(shù)的極限

定義(函數(shù)極限的\varepsilon-\delta定義):設(shè)函數(shù)f在點(diǎn)x_0的某個(gè)空心鄰域U^\circ(x_0;\delta')內(nèi)有定義,A為定數(shù),\forall \varepsilon\gt 0,\exists 正數(shù)\delta(\lt \delta'),使得0\lt |x-x_0|\lt \delta時(shí)有|f(x)-A|\lt \varepsilon,則稱函數(shù)f當(dāng)x趨于x_0時(shí)以A為極限,記作\lim\limits_{x\to x_0}f(x)=Af(x)\to A(x\to x_0)

例:證明\lim\limits_{x\to x_0}sinx=sinx_0

證:

0\lt x\lt {\pi\over 2}時(shí)有

sinx\lt x\lt tanx

x\ge {\pi\over 2}時(shí)有

sinx\le 1\lt x

\therefore \forall x\gt 0,sinx\lt x

x\lt 0時(shí)sin(-x)\lt -x\Rightarrow -sinx\lt -x

\therefore |sinx|\le |x|,x\in R

當(dāng)且僅當(dāng)x=0時(shí)等號(hào)成立

|sinx-sinx_0|=2|cos{x+x_0\over 2}||sin{x-x_0\over 2}|

\le |x-x_0|

\forall \varepsilon\gt 0,取\delta=\varepsilon,則

當(dāng)0\lt |x-x_0|\lt \delta時(shí)有

|sinx-sinx_0|\lt \varepsilon

\therefore \lim\limits_{x\to x_0}sinx=sinx_0

例:證明\lim\limits_{x\to 1}{x^2-1\over 2x^2-x-1}={2\over 3}

證:

x\neq 1時(shí)有

|{x^2-1\over 2x^2-x-1}-{2\over 3}|

=|{x+1\over 2x+1}-{2\over 3}|

={|x-1|\over 3|2x+1|}

限制0\lt |x-1|\lt 1(此時(shí)x\gt 0)

則|2x+1|\gt 1

\therefore \forall \varepsilon\gt 0,取\delta=min\{3\varepsilon,1\}

則當(dāng)0\lt |x-1|\lt \delta時(shí)有

|{x^2-1\over 2x^2-x-1}-{2\over 3}|\lt {|x-1|\over 3}\lt \varepsilon

\therefore \lim\limits_{x\to 1}{x^2-1\over 2x^2-x-1}={2\over 3}

例:證明\lim\limits_{x\to x_0}\sqrt{1-x^2}=\sqrt{1-x^2_0}(|x_0|\lt 1)

證:

\because |x|\le 1,|x_0|\lt 1

\therefore |\sqrt{1-x^2}-\sqrt{1-x_0^2}|

={|x_0^2-x^2|\over \sqrt{1-x^2}+\sqrt{1-x_0^2}}

\le {|x+x_0||x-x_0|\over \sqrt{1-x_0^2}}

\le {2|x-x_0|\over \sqrt{1-x_0^2}}

\therefore \forall \varepsilon\gt 0,不妨設(shè)0\lt \varepsilon\lt 1

取\delta={\sqrt{1-x_0^2}\over 2}\varepsilon

當(dāng)0\lt |x-x_0|\lt \delta時(shí)有

|\sqrt{1-x^2}-\sqrt{1-x_0^2}|\lt \varepsilon

\therefore \lim\limits_{x\to x_0}\sqrt{1-x^2}=\sqrt{1-x^2_0}(|x_0|\lt 1)

\varepsilon-\delta定義的另一種刻畫

定義:\forall \varepsilon\gt 0,\exists \delta\gt 0,\forall x\in U^\circ(x_0;\delta),有f(x)\in U(A;\varepsilon)

另:\forall \varepsilon\gt 0,\exists\delta\gt 0,使得f(U^\circ(x_0;\delta))\subset U(A;\varepsilon)

幾何意義:\forall \varepsilon\gt 0,在坐標(biāo)平面上畫一條以直線y=A為中心線,寬為2\varepsilon的橫帶,則必存在以直線x=x_0為中心線,寬為2\delta的豎帶,使函數(shù)y=f(x)的圖像在該豎帶中的部分全部落在橫帶內(nèi),但點(diǎn)(x_0,f(x_0))可能例外

單側(cè)極限

定義:設(shè)函數(shù)f在U_+^\circ(x_0;\delta')(或U_-^\circ(x_0;\delta'))上有定義,A為定數(shù),\forall \varepsilon\gt 0,\exists 正數(shù)\delta(\lt \delta'),使得當(dāng)x_0\lt x\lt x_0+\delta(或x_0-\delta\lt x\lt x_0)時(shí)有|f(x)-A|\lt \varepsilon,則稱數(shù)A為函數(shù)f當(dāng)x趨于x_0^+(或x_0^-)時(shí)的右(左)極限,記作\lim\limits_{x\to x_0^+}f(x)=A(\lim\limits_{x\to x_0^+}f(x)=A),或f(x)\to A(x\to x_0^+)(f(x)\to A(x\to x_0^-))

右極限與左極限統(tǒng)稱為單側(cè)極限,f在點(diǎn)x_0的右極限與左極限又分別記為:

f(x_0+0)=\lim\limits_{x\to x_0^+}f(x),f(x_0-0)=\lim\limits_{x\to x_0^-}f(x)

例:討論函數(shù)\sqrt{1-x^2}在定義區(qū)間端點(diǎn)\pm 1處的單側(cè)極限

解:

\because |x|\le 1

\therefore 1-x^2=(1+x)(1-x)\le 2(1-x)

\forall \varepsilon\gt 0,當(dāng)2(1-x)\lt \varepsilon^2時(shí)有

\sqrt{1-x^2}\lt \varepsilon

\therefore 取\delta={\varepsilon^2\over 2}則

當(dāng)0\lt 1-x\lt \delta即1-\delta\lt x\lt 1時(shí)有

\sqrt{1-x^2}\lt \varepsilon

\therefore \lim\limits_{x\to 1^-}\sqrt{1-x^2}=0

類似可得\lim\limits_{x\to (-1)^+}\sqrt{1-x^2}=0

定理:\lim\limits_{x\to x_0}f(x)=A\Leftrightarrow \lim\limits_{x\to x_0^+}f(x)=\lim\limits_{x\to x_0^-}f(x)=A

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容