數(shù)學(xué)分析理論基礎(chǔ)6:收斂數(shù)列的性質(zhì)

收斂數(shù)列的性質(zhì)

唯一性

定理:若數(shù)列\{a_n\}收斂,則它只有一個(gè)極限

證明:

設(shè)a是\{a_n\}的一個(gè)極限

下證\forall b\neq a,b不是\{a_n\}的極限

取\varepsilon_0={1\over 2}|b-a|

在U(a;\varepsilon_0)之外至多只有\(zhòng){a_n\}中有限項(xiàng)

\therefore 在U(b;\varepsilon_0)內(nèi)至多只有\(zhòng){a_n\}中有限項(xiàng)

\therefore b不是\{a_n\}的極限

即證收斂數(shù)列只能有一個(gè)極限\qquad\mathcal{Q.E.D}

有界性

定理:若數(shù)列\{a_n\}收斂,則\{a_n\}為有界數(shù)列,即\exists M\gt 0,使\forall n\in Z_+|a_n|\le M

證明:

設(shè)\lim\limits_{n\to \infty}a_n=a

取\varepsilon=1,\exists N\in Z_+,\forall n\gt N有

|a_n-a|\lt 1

即a-1\lt a_n\lt a+1

記M=max\{|a_1|,|a_2|,\cdots,|a_N|,|a-1|,|a+1|\}

\forall n\in Z_+有|a_n|\lt M\qquad\mathcal{Q.E.D}

保號性

定理:若\lim\limits_{n\to \infty}a_n=a\gt 0(或\lt 0),則\forall a'\in(0,a)(或a'\in (a,0)),\exists N\gt 0,使得當(dāng)n\gt N時(shí)有a_n\gt a'(或a_n\lt a')

證明:

不妨設(shè)a\gt 0

取\varepsilon=a-a'\gt 0,則

\exists N\gt 0,使得當(dāng)n\gt N時(shí)

有a_n\gt a-\varepsilon=a'

結(jié)論得證

a\lt 0類似可證\qquad\mathcal{Q.E.D}

注:應(yīng)用保號性時(shí)常取a'={a\over 2}

推論:設(shè)\lim\limits_{n\to \infty}a_n=a,\lim\limits_{n\to \infty}b_n=b,a\lt b,則\exists N,使得當(dāng)n\gt N時(shí)有a_n\lt b_n

證明:

\lim\limits_{n\to \infty}a_n=a,\lim\limits_{n\to \infty}b_n=b,a\lt {a+b\over 2}\lt b

由保號性知

\exists N_1,當(dāng)n\gt N_1時(shí)

有a_n\lt {a+b\over 2}

\exists N_2,當(dāng)n\gt N_2時(shí)

有b_n\gt {a+b\over 2}

取N=max\{N_1,N_2\}

則當(dāng)n\gt N時(shí)有a_n\lt b_n\qquad \mathcal{Q.E.D}

保不等式性

定理:設(shè)\{a_n\}\{b_n\}均為收斂數(shù)列,若\exists N_0\gt 0,使得當(dāng)n\gt N_0時(shí)有a_n\le b_n,則\lim\limits_{n\to \infty}a_n\le \lim\limits_{n\to \infty}b_n

證明:

設(shè)\lim\limits_{n\to \infty}a_n=a,\lim\limits_{n\to \infty}b_n=b

\forall \varepsilon\gt 0,\exists N_1,N_2\gt 0使得

當(dāng)n\gt N_1時(shí)有a-\varepsilon\lt a_n

當(dāng)n\gt N_2時(shí)有b_n\lt b+\varepsilon

取N=max\{N_0,N_1,N_2\}

則當(dāng)n\gt N時(shí)有

a-\varepsilon\lt a_n\le b_n\lt b+\varepsilon

\therefore a\lt b+2\varepsilon

由\varepsilon的任意性可知

a\le b

即\lim\limits_{n\to \infty}a_n\le \lim\limits_{n\to \infty}b_n\qquad\mathcal{Q.E.D}

例:設(shè)a_n\ge 0(n=1,2,\cdots),證明:若\lim\limits_{n\to \infty}a_n=a,則\lim\limits_{n\to \infty}\sqrt{a_n}=\sqrt{a}

證:

由保不等式性可知a\ge 0

若a=0,則\lim\limits_{n\to \infty}a_n=0

\forall \varepsilon\gt 0,\exists N\gt 0,使得

當(dāng)n\gt N時(shí)有a_n\lt \varepsilon^2

\therefore \sqrt{a_n}\lt \varepsilon

即|\sqrt{a_n}-0|\lt \varepsilon

\therefore \lim\limits_{n\to \infty}\sqrt{a_n}=0

若a\gt 0,則

|\sqrt{a_n}-\sqrt{a}|={|a_n-a|\over \sqrt{a_n}+\sqrt{a}}\le {|a_n-a|\over \sqrt{a}}

\because \lim\limits_{n\to \infty}a_n=a

\therefore \forall \varepsilon\gt 0,\exists N\gt 0,使得

當(dāng)n\gt N時(shí)有|a_n-a|\lt \sqrt{a}\varepsilon

\therefore |\sqrt{a_n}-\sqrt{a}|\lt \varepsilon\qquad\mathcal{Q.E.D}

迫斂性

定理:設(shè)收斂數(shù)列\{a_n\},\{b_n\}都以a為極限,數(shù)列\{c_n\}滿足:\exists N_0\gt 0,當(dāng)n\gt N_0時(shí)有a_n\le c_n\le b_n,則數(shù)列\{c_n\}收斂,且\lim\limits_{n\to \infty}c_n=a

證明:

\forall \varepsilon\gt 0

\because \lim\limits_{n\to \infty}a_n=\lim\limits_{n\to \infty}b_n=a

\therefore \exists N_1,N_2\gt 0,使得

n\gt N_1時(shí)有a-\varepsilon\lt a_n

n\gt N_2時(shí)有b_n\lt a+\varepsilon

取N=max\{N_0,N_1,N_2\}

則當(dāng)n\gt N時(shí)有

a-\varepsilon\lt a_n\le c_n\le b_n\lt a+\varepsilon

\therefore |c_n-a|\lt \varepsilon\qquad\mathcal{Q.E.D}

例:求數(shù)列\{\sqrt[n]{n}\}的極限

解:

記a_n=\sqrt[n]{n}=1+h_n(n\gt 1),其中h_n\gt 0

則n=(1+h_n)^n\gt {n(n-1)\over 2}h^2_n

\therefore 0\lt h_n\lt \sqrt{2\over n-1}(n\gt 1)

\therefore 1\le a_n=1+h_n\le 1+\sqrt{2\over n-1}

\therefore \forall \varepsilon\gt 0,取N=1+{2\over \varepsilon^2},則

n\gt N時(shí)有|1+\sqrt{2\over n-1}-1|\lt \varepsilon

\therefore \lim\limits_{n\to \infty}(1+\sqrt{2\over n-1})=1

\therefore 由迫斂性可知

\lim\limits_{n\to \infty}\sqrt[n]{n}=1

例:證明\lim\limits_{n\to \infty}{1\over \sqrt[n]{n!}}=0

證:

\forall \varepsilon\gt 0,要證|{1\over \sqrt[n]{n!}}-0|\lt \varepsilon

只需證{1\over \varepsilon^n n!}\lt 1

\because \lim\limits_{n\to \infty}{1\over \varepsilon^n n!}=0

\therefore 由極限的保號性可知

\exists N,當(dāng)n\gt N時(shí)有{1\over \varepsilon^n n!}\lt 1

\therefore \lim\limits_{n\to \infty}{1\over \sqrt[n]{n!}}=0

四則運(yùn)算法則

定理:

\{a_n\}\{b_n\}為收斂數(shù)列,則\{a_n+b_n\},\{a_n-b_n\},\{a_nb_n\}都是收斂數(shù)列,且有

\lim\limits_{n\to \infty}(a_n\pm b_n)=\lim\limits_{n\to \infty}a_n\pm \lim\limits_{n\to \infty}b_n

\lim\limits_{n\to \infty}(a_nb_n)=\lim\limits_{n\to \infty}a_n\lim\limits_{n\to \infty}b_n

假設(shè)b_n\neq 0,\lim\limits_{n\to \infty}b_n\neq 0,則\{{a_n\over b_n}\}也是收斂數(shù)列,且有

\lim\limits_{n\to \infty}{a_n\over b_n}=\lim\limits_{n\to \infty}a_n/\lim\limits_{n\to \infty}b_n

證明:

\because a_n-b_n=a_n+(-1)b_n,{a_n\over b_n}=a_n{1\over b_n}

\therefore 只需證明關(guān)于和、積與倒數(shù)運(yùn)算

設(shè)\lim\limits_{n\to \infty}a_n=a,\lim\limits_{n\to \infty}b_n=b

則\forall \varepsilon\gt 0,\exists N_1,N_2\gt 0

n\gt N_1時(shí),|a_n-a|\lt \varepsilon

n\gt N_2時(shí),|b_n-b|\lt \varepsilon

取N=max\{N_1,N_2\}

則當(dāng)n\gt N時(shí)

|(a_n+b_n)-(a+b)|\le |a_n-a|+|b_n-b|\lt 2\varepsilon

\Rightarrow \lim\limits_{n\to \infty}(a_n+b_n)=a+b

|a_nb_n-ab|=|(a_n-a)b_n+a(b_n-b)|\le |a_n-a||b_n|+|a||b_n-b|

由收斂數(shù)列的有界性可知

\exists M\gt 0,\forall n有|b_n|\lt M

\therefore n\gt N時(shí)|a_nb_n-ab|\lt (M+|a|)\varepsilon

由\varepsilon的任意性可知\lim\limits_{n\to \infty}a_nb_n=ab

\because \lim\limits_{n\to \infty}b_n=b\neq 0

由收斂數(shù)列的保號性可知

\exists N_3\gt 0,當(dāng)n\gt N_3時(shí)

|b_n|\gt {1\over 2}|b|

取N'=max\{N_2,N_3\}

則n\gt N'時(shí)有

|{1\over b_n}-{1\over b}|={|b_n-b|\over |b_nb|}

\lt {2|b_n-b|\over b^2}\lt {2\varepsilon\over b^2}

由\varepsilon的任意性可知\lim\limits_{n\to \infty}{1\over b_n}={1\over b}\qquad\mathcal{Q.E.D}

例:求\lim\limits_{n\to \infty}{a_mn^m+a_{m-1}n^{m-1}+\cdots+a_1n+a_0\over b_kn^k+b_{k-1}n^{k-1}+\cdots+b_1n+b_0},其中m\le k,a_m\neq 0,b_k\neq 0

解:

分子分母同乘n^{-k},所求極限化為

\lim\limits_{n\to \infty}{a_mn^{m-k}+a_{m-1}n^{m-1-k}+\cdots+a_1n^{1-k}+a_0n^{-k}\over b_k+b_{-1}n^{k-1}+\cdots+b_1n^{1-k}+b_0n^{-k}}

m=k時(shí),所求極限等于{a_m\over b_m}

m\lt k時(shí),所求極限等于0

綜上所述,可得

\lim\limits_{n\to \infty}{a_mn^m+a_{m-1}n^{m-1}+\cdots+a_1n+a_0\over b_kn^k+b_{k-1}n^{k-1}+\cdots+b_1n+b_0}=\begin{cases}{a_m\over b_m}\qquad k=m\\ 0\qquad k\gt m\end{cases}

子列

定義:設(shè)\{a_n\}為數(shù)列,\{n_k\}為正整數(shù)集N_+的無限子集,且n_1\lt n_2\lt \cdots\lt n_k\lt \cdots,則數(shù)列a_{n_1},a_{n_2},\cdots,a_{n_k},\cdots稱為數(shù)列\{a_n\}的一個(gè)子列,記作\{a_{n_k}\}

注:

1.\{a_{n_k}\}中的第k項(xiàng)是\{a_n\}中的第n_k項(xiàng),故總有n_k\gt k

2.\{n_k\}本身也是正整數(shù)列{n}的子列

3.\{a_n\}本身也是\{a_n\}的一個(gè)子列,此時(shí)n_k=k,k=1,2,\cdots

定理:數(shù)列\{a_n\}收斂\Leftrightarrow$$\{a_n\}的任何子列都收斂

證明:

充分性

\because \{a_n\}也是自身的一個(gè)子列

\therefore 結(jié)論顯然成立

必要性

設(shè)\lim\limits_{n\to \infty}a_n=a,\{a_{n_k}\}是\{a_n\}的任一子列

\forall \varepsilon\gt 0,\exists N\gt 0,當(dāng)k\gt N時(shí)有

|a_k-a|\lt \varepsilon

\because n_k\ge k

\therefore 當(dāng)n\gt N時(shí)有

|a_{n_k}-a|\lt \varepsilon

即\{a_{n_k}\}收斂,且與\{a_n\}有相同的極限\qquad\mathcal{Q.E.D}

注:上述定理是判斷數(shù)列發(fā)散的有力工具

例:數(shù)列\{sin{n\pi\over 2}\}的奇子列\{sin{2k-1\over 2}\pi\}=\{(-1)^{k-1}\}發(fā)散,故數(shù)列\{sin{n\pi\over 2}\}發(fā)散

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末,一起剝皮案震驚了整個(gè)濱河市辫樱,隨后出現(xiàn)的幾起案子戒努,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 221,548評論 6 515
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場離奇詭異,居然都是意外死亡沮稚,警方通過查閱死者的電腦和手機(jī),發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 94,497評論 3 399
  • 文/潘曉璐 我一進(jìn)店門册舞,熙熙樓的掌柜王于貴愁眉苦臉地迎上來蕴掏,“玉大人,你說我怎么就攤上這事调鲸∏羲疲” “怎么了?”我有些...
    開封第一講書人閱讀 167,990評論 0 360
  • 文/不壞的土叔 我叫張陵线得,是天一觀的道長饶唤。 經(jīng)常有香客問我,道長贯钩,這世上最難降的妖魔是什么募狂? 我笑而不...
    開封第一講書人閱讀 59,618評論 1 296
  • 正文 為了忘掉前任,我火速辦了婚禮角雷,結(jié)果婚禮上祸穷,老公的妹妹穿的比我還像新娘。我一直安慰自己勺三,他們只是感情好雷滚,可當(dāng)我...
    茶點(diǎn)故事閱讀 68,618評論 6 397
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著吗坚,像睡著了一般祈远。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上商源,一...
    開封第一講書人閱讀 52,246評論 1 308
  • 那天车份,我揣著相機(jī)與錄音,去河邊找鬼牡彻。 笑死扫沼,一個(gè)胖子當(dāng)著我的面吹牛,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播缎除,決...
    沈念sama閱讀 40,819評論 3 421
  • 文/蒼蘭香墨 我猛地睜開眼严就,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了器罐?” 一聲冷哼從身側(cè)響起盈蛮,我...
    開封第一講書人閱讀 39,725評論 0 276
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎技矮,沒想到半個(gè)月后,有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體殊轴,經(jīng)...
    沈念sama閱讀 46,268評論 1 320
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡衰倦,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 38,356評論 3 340
  • 正文 我和宋清朗相戀三年,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了旁理。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片樊零。...
    茶點(diǎn)故事閱讀 40,488評論 1 352
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡,死狀恐怖孽文,靈堂內(nèi)的尸體忽然破棺而出驻襟,到底是詐尸還是另有隱情,我是刑警寧澤芋哭,帶...
    沈念sama閱讀 36,181評論 5 350
  • 正文 年R本政府宣布沉衣,位于F島的核電站,受9級特大地震影響减牺,放射性物質(zhì)發(fā)生泄漏豌习。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 41,862評論 3 333
  • 文/蒙蒙 一拔疚、第九天 我趴在偏房一處隱蔽的房頂上張望肥隆。 院中可真熱鬧,春花似錦稚失、人聲如沸栋艳。這莊子的主人今日做“春日...
    開封第一講書人閱讀 32,331評論 0 24
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽吸占。三九已至,卻和暖如春凿宾,著一層夾襖步出監(jiān)牢的瞬間旬昭,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 33,445評論 1 272
  • 我被黑心中介騙來泰國打工菌湃, 沒想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留问拘,地道東北人。 一個(gè)月前我還...
    沈念sama閱讀 48,897評論 3 376
  • 正文 我出身青樓,卻偏偏與公主長得像骤坐,于是被迫代替她去往敵國和親绪杏。 傳聞我的和親對象是個(gè)殘疾皇子,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 45,500評論 2 359

推薦閱讀更多精彩內(nèi)容

  • 數(shù)列極限概念 數(shù)列 定義:若函數(shù)f的定義域?yàn)?則稱或?yàn)閿?shù)列 數(shù)列f(n)可寫作,簡寫作,其中為通項(xiàng) 收斂數(shù)列及其極...
    溺于恐閱讀 1,490評論 0 4
  • 一纽绍、數(shù)值級數(shù)性質(zhì) 1蕾久、收斂級數(shù)滿足結(jié)合律,但一個(gè)級數(shù)的項(xiàng)經(jīng)過結(jié)合后的新級數(shù)收斂拌夏,去掉括號后僧著,級數(shù)不一定收斂。2障簿、同...
    北山學(xué)者閱讀 3,991評論 0 6
  • 原文:WHAT IS GOOD MATHEMATICS站故?作者:Terence Tao(陶哲軒)譯文:什么是好的數(shù)學(xué)...
    汏懿笆崀閱讀 1,239評論 1 13
  • 我走在家鄉(xiāng)的山川險(xiǎn)要上皆怕,遙望著祖國的山河,仰望著信仰的星空西篓,呼吸著新鮮空氣愈腾,躺著菩提樹下,感悟青春年華岂津。...
    落落輕言閱讀 329評論 0 5
  • 每次都在同樣的情境中驚醒虱黄,視野內(nèi)一片虛無,心情好似籠中的獸壓抑的抬不起頭吮成,又像深夜茫媒嘎常荒漠里的孤狼失去了同伴。一個(gè)...
    亦Tenderness閱讀 211評論 0 2