S3数列极限存在的条件第六讲致密性定理与柯西准则数学分析第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ আҹઔ Њ㮰ࣲؔۅإਚ ӕө
s3数列极限存在的条件例1设S是有界数集.证明：若supS=aS,则存在严格单调增数列(x,}cS,使得limx，=a.n8证因a是S的上界，故对Vε>0,xeS,使得x>a一ε.又因a史S，故xa-& ≥a-(a-x)=xi数学分析第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ ՟1 䆒 S SaS ᰃ᳝⬠᭄䲚. : sup , 䆕ᯢ 㢹 ߭ᄬ { } , lim . n n n x S xa of ϹḐऩ䇗᭄߫ Փᕫ 䆕 a S ᰃ ⱘϞ⬠ a xa H . 1 ߭ x S,Փᕫ 1 1 a xa H . 2 1 1 min{ , }, 2 ݡপ H a x x ! a H . জa S , x S,Փᕫ 1 2 a xa H , 2 2 11 Ϩ᳝ x a a ax x ! t H ( ). ᬙᇍ ! H 0, ᬙx a , Ң㗠᳝ 1 ⦄প H 1, 2 ߭ x S,Փᕫ
s3数列极限存在的条件一般地,按上述步骤得到x，1之后，取8, =min二,a-x,1n则存在xES,使得a-8na-8n≥a-(a-xn-1)=xn-1于是得到数列(x,}S，它是严格单调增的，满足a-8<x<a,因此，|xn-a<8n≤=,n=1,2,n这就证明了limx, =a.n-数学分析第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ 1 , n x ϔ㠀ഄ ᣝϞ䗄ℹ偸ᕫࠄ Пৢপ 1 1 min{ , }, n n a x n H , n ߭ᄬ x S Փᕫ , n n a xa H 1 1 ( ). n n nn x a a ax x H Ϩ᳝ ! t {} , n Ѣᰃᕫࠄ᭄߫ x S , n n a xa H lim . n n x a of 䖭ህ䆕ᯢњ d 1 , 1,2, . n n xa n n ℸ H ᅗᰃϹḐऩ䇗ⱘ⒵䎇
S3数列极限存在的条件例2任何数列都存在单调子列证设数列为{a,}，下面分两种情行讨论：1.若对任何正整数k，数列(ak+)有最大项.设(a,}的最大项为an·因为(antn)亦有最大项，设其最大项为am·显然有n2>n,且因为an+n)是(ai+n)的一个子列，故an ≤an;同理存在n>n,使得≤a:a.Wn这样得到了一个单调递减的子列a,数学分析第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ ՟2 ӏԩ᭄߫䛑ᄬऩ䇗ᄤ߫. , n 䆕䆒᭄߫Ў^a ` 2 1 ᰒ✊᳝n n ! , 2 1 ; n n a a d 3 2 ৠ⧚ᄬn n ! ,Փᕫ 3 2 ; n n a a d ^ `. nk 䖭ḋᕫࠄњϔϾऩ䇗䗦ޣⱘᄤ߫ a 1. , 㢹ᇍӏԩℷᭈ᭄k 䆒{a1n }ⱘ᳔ 1 . n 乍Ўa 1 { } n n a Ў Ѻ᳔᳝乍 ϟ䴶ߚϸ⾡ᚙ㸠䅼䆎˖ {} . k n a ᭄߫ ᳔᳝乍 2 . n 䆒᳔݊乍Ўa ^ ` ^ ` 1nn n 1 a a ϨЎ ᰃ ⱘϔϾᄤ߫ˈᬙ
S3数列极限存在的条件2.至少存在某个正整数k，数列(aktn)没有最大项先取n=k+l,因为(ak+n)没有最大项，故an后面总存在an(n2>n),使得a>a.n,W同理存在an后面的项a（n>n),使得a..>a.n这样得到了一个单调递增的子列数学分析第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ 2.㟇ᇥᄬᶤϾℷᭈ᭄kˈ 1 ܜপn k 1, 2 2 1 , n ᘏᄬan n ! Փᕫ 2 1 ; n n a a ! 2 3 3 1 , n n ৠ⧚ᄬa an n ৢ䴶ⱘ乍 ˄ ! ˅Փᕫ 3 2 ; n n a a ! ^ `. nk 䖭ḋᕫࠄњϔϾऩ䇗䗦ⱘᄤ߫ a n1 ᬙa ৢ䴶 ^ ` k n+ ᭄߫ a ≵᳔᳝乍 ^ ` , k n a Ў ≵᳔᳝乍
S3数列极限存在的条件定理2.10（致密性定理任何有界数列必有收敛子列证设数列a，有界，由例5可得有一个单调子列显然}an是有界的,再由单调有界定理推得（收敛数学分析第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ eࣂؓ㓬ؤ৩ͣࣂؓ ӏԩ᳝⬠᭄߫ᖙ᳝ᬊᬯᄤ߫ ^ ` , n 䆒᭄߫ a ᳝⬠ ^ ` , nk ᰒ✊ a ᰃ᳝⬠ⱘ 5 ^ `. nk 䆕 ⬅՟ ৃᕫ᳝ϔϾऩ䇗ᄤ߫ a ^ ` nk ݡ⬅ऩ䇗᳝⬠ᅮ⧚ᕫ a ᬊᬯ
s3数列极限存在的条件定理2.11（柯西收敛准则）数列a，收敛的充要条件是：对于任意正数ε，存在 N>0，当 n,m>N时,有[an-am/0,N>0,当 n>N时,对任意 pN+,均有Ian-an+p/ <8.满足上述条件的数列称为柯西列数学分析 第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ ᇍѢӏᛣℷ᭄H ˈ . n m a a H ᷃㽓ޚ߭ⱘܙ㽕ᴵӊৃ⫼ϔ⾡ᔶᓣ㸼䖒Ў˖ ⒵䎇Ϟ䗄ᴵӊⱘ᭄߫⿄Ў᷃㽓߫ | |. n np a a H H ! 0, ᇍӏᛣ N , + p ഛ᳝ eӔӨݠݗੋ㮞ͣࣂؓ { } ᭄߫ an ᬊᬯⱘܙ㽕ᴵӊᰃ: ᄬ N ! 0ˈᔧ nm N , , ! ᯊ ᳝ N ! 0,ᔧ n N ! ᯊˈ
s3数列极限存在的条件证（充分性）先证明数列有界.取ε。=1，因为(a是柯西列，所以存在No,n>N,时有[an -aNa+i0,存在N，当n，m>N时 有an-amlN，令k→o0数学分析第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ 䆕˄ߚܙᗻ˅ ᷃㽓߫ˈ 0 1 1. n N a a ^ ` 0 0 1 1 max , , , , 1 ҸM a aa N N 0 ⬅㟈ᆚᗻᅮ⧚ˈ ӏᛣH ! 0, , m nk ϞᓣЁপa a ܜ䆕ᯢ᭄᳝߫⬠ 0 পH 1, ^ `n Ў a ᰃ 0 0 ᠔ҹᄬNn N , ! ᯊ᳝ , . ߭ᇍ d naM ᳝ n ^ ` lim . n nk k a a ᳝ᬊᬯᄤ߫ [ of ⬅ᴵӊᇍ ᄬN nm N ˈᔧ ˈ ! ᯊ . n m ᳝ a a H , k k nN ߚܙ ! ˈᯊҸk o f
S3数列极限存在的条件8S0,n->N>0,当n,m>N（或n,m≥N)时，有88lan-AI<,ATam-22由此推得8C[an-am≤| a,-A|+| am-A|<+82数学分析第二章数列极限?高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ | |, 2 n a A H | |. 2 ma A H nm n m aa aA a A d ᖙ㽕ᗻ ⬅ℸᕫ N ! 0, ^ ` . n े᭄߫ a ᬊᬯ 2 . n a H d [ H lim . n n a A of 䆒 ⬅ᵕ䰤ᅮНˈH ! 0 , ᔧ nm N nm N , (, ) ! t ᯊˈ᳝ . 2 2 H H H
s3数列极限存在的条件例3设00,En=N,mo=2N,使得2111Xmono(2N)+N+1111>2N80N+1N+2由柯西收敛准则的否定陈述，{x}发散数学分析第二章数列极限高等教育出版社
ୡ߃Ӧݤ ्зॕ߅Ӣݤ ॑࣍ਃӟݾঈ hݤӦ߃ୡ֧ࣩѝ 0 0 11 1 122 n m x x NN N D D D ⬅᷃㽓ᬊᬯޚ߭ⱘ৺ᅮ䰜䗄, { }n x থᬷ. থᬷ. 1 1 0< 1, 1 , 1, 2, . 2 n x n n D D D d 䆒 D 䆕ᯢ { }n x ՟ 11 1 NN N 122 t 䆕 0 1 2 পH ˈ N ! 0, n Nm N 0 0 , 2, Փᕫ 0 t H .