陶哲轩实分析 习题6.6.5
先證明a→ba\rightarrow ba→b:
令n0=0n_0=0n0?=0;
- 設k=1k=1k=1,因為LLL是(an)n=0∞(a_n)_{n=0}^\infty(an?)n=0∞?的極限點,則可以找到某個n1>n0n_1>n_0n1?>n0?使得an1a_{n_1}an1??是1?1-1?接近于LLL的;
- 設k=2k=2k=2,因為LLL是(an)n=0∞(a_n)_{n=0}^\infty(an?)n=0∞?的極限點,則可以找到某個n2>n1n_2>n_1n2?>n1?使得an2a_{n_2}an2??是12?\frac{1}{2}-21??接近于LLL的;
依次重復以上步驟我們得到一個序列
(ank)k=0∞=(an0,an1,an2,an3......)(a_{n_k})_{k=0}^\infty=(a_{n_0},a_{n_1},a_{n_2},a_{n_3}......)(ank??)k=0∞?=(an0??,an1??,an2??,an3??......)
滿足該序列的第k(k>0)k(k>0)k(k>0)項anka_{n_k}ank??是1k?\frac{1}{k}-k1??接近于LLL的;
現設ε>0\varepsilon >0ε>0是任意實數,只要k′?1εk'\geqslant \frac{1}{\varepsilon}k′?ε1?,就有ank′a_{n_{k'}}ank′??是ε?\varepsilon-ε?接近于LLL的。因此子序列
(bk)k=0∞=(ank)k=0∞(b_k)_{k=0}^\infty=(a_{n_k})_{k=0}^\infty(bk?)k=0∞?=(ank??)k=0∞?
收斂到實數LLL。
再證明b→ab\rightarrow ab→a:
設(ank)k=0∞(a_{n_k})_{k=0}^\infty(ank??)k=0∞?是收斂到LLL的子序列。
那么對于任意的ε>0\varepsilon >0ε>0,存在M?0M\geqslant 0M?0,使得當nk?Mn_k\geqslant Mnk??M時anka_{n_k}ank??是ε?\varepsilon -ε?接近于LLL的。
對于每個N?0N\geqslant 0N?0,令m=max(M,N)m=max(M,N)m=max(M,N),則存在n′=nk′?mn'=n_{k'}\geqslant mn′=nk′??m,使得an′=ank′a_{n'}=a_{n_{k'}}an′?=ank′??是ε?\varepsilon -ε?接近于LLL的,因此序列(an)n=0∞(a_n)_{n=0}^\infty(an?)n=0∞?是持續ε?\varepsilon -ε?附著于LLL的,也就證明了LLL是(an)n=0∞(a_n)_{n=0}^\infty(an?)n=0∞?的極限點。
總結
以上是生活随笔為你收集整理的陶哲轩实分析 习题6.6.5的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: Allegro PCB 将静态铜皮转化为
- 下一篇: MindManager2021下载及安装