Loading [MathJax]/jax/output/HTML-CSS/jax.js

2017年5月25日木曜日

Basic Analysis (Jiri Lebl) 五日目 数列の極限と部分列の関係

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|kn},bn=inf{xk|kn}
とすると,明らかにanは講義単調減少し,有界. bnは講義単調増加し,有界.よって極限が存在する.
limsupxn=limnanliminfxn=limnbn
とする.非有界な数列についても,±を許せばlimsup,liminfが定義される.収束列ではlim suplim infは一致する(Th 2.3.5).

Proposition 2.3.2

{xn}は有界でan=sup{xk|kn},bn=inf{xk|kn}とする.
(i) {an}は有界で単調減少し, {bn}は有界で単調増加する.
(ii) limsupxn=inf{an|nN},liminfxn=sup{bn|nN}
(iii) lim infxnlim supxn

proof.

(i) {an}のみ示す. ansup{xn}だから上に有界. 下に非有界とすると, M>0 N s.t. sup{xn|nN}<M このときnN  xn<Mこれは{xn}の有界性に反する.また, 一般にABsupAsupBだから,{an}は単調減少する. {bn}も同様に示せる.
(ii) 有界で単調増加/減少する列はその上限/下限に収束するから成立
(iii) an,bn=sup,inf{xk|kn}
から, anbnが常に成立.よってlimanlimbnlim sup{xn}lim inf{xn}

Theorem 2.3.4

{xn}が有界列とすると, 部分列{xnk}があって,
limkxnk=lim supxn
同様に部分列{xmk}があって,
limxmk=lim infxn
が成立する.

proof.

limkxmk=lim supxnのみ論じる.
an=sup{xk|kn}とする. x=lim supxn=liman.
xnの部分列xnkを帰納的に定義する.
1. n1=1とする.
2. nkが決まっているとき, ank+1xm<1k+1を満たす最小のmk+1nk+1とする.
ここで,ank1+1ankかつankxnkより, 任意のk>1
|ankxnk|=ankxnkank1+1xnk<1/k
が成立する.(k=1のときは最左辺は0だから結局成立する)
{xnk}{an}と同じ極限x=lim sup{xn}に収束することを示す. {an}xに収束するから,その部分列{xnk}xに収束する.よって,
ϵ  M1  s.t.  kM1|ankx|<ϵ/2
さらに, 1/M2ϵ/2なるM2も存在する.M=max{M1,M2}とすると,
kM|xxnk||ankxnk|+|xank|<1k+ϵ21M2+ϵ/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 infxnlim infxnklim supxnklim supxn
proof. 略

Theorem 2.3.7

有界列{xn}xに収束する任意の部分列がxに収束する
proof.

()
{xn}それ自体やK-tailも{xn}の部分列だから,成立
()
仮定 ϵ  N  s.t.  nN|xnx|<ϵ
部分列の定義を思い出せば, n(k)は単調増加する自然数から自然数への写像だから,n(N)Nであって, kN|xnkx||xnx|<ϵ. よって成立

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>0N  .s.t  [nNxn>M]
負の無限大への発散も同様.

Example 2.3.10

xn={0   (n:odd)n   (n:even)
これは無限大に発散しないが, lim supxn=.

0 件のコメント:

コメントを投稿