CC BY-NC-SA 3.0
Limit superior, limit inferior, and Bolzano-Weierstrass
有界かつ発散する数列にもある種の極限を定義する.
2.3.1 Upper and lower limits
有界な数列から単調な部分列を取り出し,その極限をもとの列のある種の極限とする方法.
Definition 2.3.1
{xn} を有界列とする.
an=sup{xk|k≥n},bn=inf{xk|k≥n}
とすると,明らかにanは講義単調減少し,有界. bnは講義単調増加し,有界.よって極限が存在する.
limsupxn=limn→∞anliminfxn=limn→∞bn
とする.非有界な数列についても,±∞を許せばlimsup,liminfが定義される.収束列ではlim supとlim infは一致する(Th 2.3.5).
Proposition 2.3.2
{xn}は有界でan=sup{xk|k≥n},bn=inf{xk|k≥n}とする.
(i) {an}は有界で単調減少し, {bn}は有界で単調増加する.
(ii) limsupxn=inf{an|n∈N},liminfxn=sup{bn|n∈N}
(iii) lim infxn≤lim supxn
proof.
(i) {an}のみ示す. an≤sup{xn}だから上に有界. 下に非有界とすると, ∀M>0 ∃N s.t. sup{xn|n≥N}<−M このとき∀n≥N xn<−Mこれは{xn}の有界性に反する.また, 一般にA⊂B⇒supA≤supBだから,{an}は単調減少する. {bn}も同様に示せる.
(ii) 有界で単調増加/減少する列はその上限/下限に収束するから成立
(iii) an,bn=sup,inf{xk|k≥n}
から, an≥bnが常に成立.よってliman≥limbn⇔lim sup{xn}≥lim inf{xn}
Theorem 2.3.4
{xn}が有界列とすると, 部分列{xnk}があって,
limk→∞xnk=lim supxn
同様に部分列{xmk}があって,
limxmk=lim infxn
が成立する.
proof.
limk→∞xmk=lim supxnのみ論じる.
an=sup{xk|k≥n}とする. x=lim supxn=liman.
xnの部分列xnkを帰納的に定義する.
1. n1=1とする.
2. nkが決まっているとき, ank+1−xm<1k+1を満たす最小のm≥k+1をnk+1とする.
ここで,ank−1+1≥ankかつank≥xnkより, 任意のk>1に
|ank−xnk|=ank−xnk≤ank−1+1−xnk<1/k
が成立する.(k=1のときは最左辺は0だから結局成立する)
{xnk}が{an}と同じ極限x=lim sup{xn}に収束することを示す. {an}はxに収束するから,その部分列{xnk}もxに収束する.よって,
∀ϵ ∃M1 s.t. k≥M1⇒|ank−x|<ϵ/2
さらに, 1/M2≤ϵ/2なるM2も存在する.M=max{M1,M2}とすると,
k≥M⇒|x−xnk|≤|ank−xnk|+|x−ank|<1k+ϵ2≤1M2+ϵ/2≤ϵ
以上により示せた.
2.3.2 Using limit inferior and limit superior
Theorem 2.3.5
{xn}を有界列とする. {xn}が収束する ⇔ lim supxn=lim infxn.
またこのときlim supxn=lim infxn=limxnが成立.
proof. 略
Proposition 2.3.6
{xnk}を{xn}の部分列とすると,
lim infxn≤lim infxnk≤lim supxnk≤lim supxn
proof. 略
Theorem 2.3.7
有界列{xn}がxに収束する⇔任意の部分列がxに収束する
proof.
(⇐)
{xn}それ自体やK-tailも{xn}の部分列だから,成立
(⇒)
仮定 ⇔∀ϵ ∃N s.t. n≥N⇒|xn−x|<ϵ
部分列の定義を思い出せば, n(k)は単調増加する自然数から自然数への写像だから,n(N)≥Nであって, k≥N⇒|xnk−x|≤|xn−x|<ϵ. よって成立
2.3.3 Bolzano-Weierstrass theorem
Theorem 2.3.8 (Bolzano-Weierstrass)
{xn}が有界列であれば, 適当な部分列{xnk}は収束する.
proof.
({xn}が1次元の実数列であるとき)Th.2.3.4より成立 (区間縮小法を使わない証明!)
しかしこの証明は{xn}が二次元以上の点列のときは使えないので,区間縮小法の証明もある.(略)
2.3.4 Infinite limits
非有界な列にもlim sup,lim infを認めると,発散する数列にある種の極限を定義できる.
Definition 2.3.9
{xn}が正の無限大に発散する⇔∀M>0∃N .s.t [n≥N⇒xn>M]
負の無限大への発散も同様.
Example 2.3.10
xn={0 (n:odd)n (n:even)
これは無限大に発散しないが, lim supxn=∞.
0 件のコメント:
コメントを投稿