さんすうのーと(4) ―上極限・下極限
前回:上限・下限
前回は上限・下限についてまとめたのですが,せっかくなので,今回は前回の続きとして上極限・下極限についてもまとめてみます.
上限・下限がよく分かってない方は,前回の記事と合わせて読んで頂けるとよいのではないかと思います↓
「数列の上極限と下極限が一致したら,その数列は収束していて極限が上極限(下極限)に等しい」ということを知ってる人は少なくないと思います.
これを利用して数列の収束判定をするのが常套手段ですよね.
とりあえず,上極限・下極限の定義を思い出してみましょう.*1
Def. (上極限・下極限) 実数列 の上極限 ,下極限 を次のように定義する:ここで, はそれぞれ について単調減少,単調増加な数列なので, 極限として の値をとることも許せば,必ず上極限・下極限は存在する.
ここで,一つ気になることがあります.
この定義を見て上極限・下極限それ自体が一体どういうものなのか,イメージがつく人はどれほどいるのでしょうか?
特に,「上極限=下極限」となる状況というのは具体的にどういう状況なのか,気になったことはありませんか?
今回はこの疑問に答える形で上極限・下極限の持つ性質についてまとめてみたいと思います.
ここで,説明を簡潔にするため,用語の定義を確認しておきます.
Def. (集積値) が実数列 のある部分列の極限となっているとき, は数列 の集積値という.
集積値のイメージをざっくり説明すると,数直線上に数列の点を打った時に,「究極的に」数列の点が密集している点がその数列の集積値となります.
もちろん,数列に含まれる点が集積値となる可能性もあります.
ここで,位相空間における「集積点」とは違うこと注意しましょう.
例えば, で定まる定数列 を考えると, は数列 の集積値になっています.
しかし,この数列を集合としてみなすと1点集合 になっているが, はこの1点集合の集積点ではないからです.
ここで,上極限の特徴づけをしましょう.
Prop. 1 実数列 と について,次の(1)~(3)は同値である: (1) (2) (a) (b) (3) は の最大の集積値である
(2)(b)は次のように言い換えると分かりやすいかもしれません:
Proof
記法を簡潔にするために, とおく.
(1) ⇒ (2)
のときは, をみたすような が存在しないので,(a)は自明であることに注意する.
のときに(b)が自明であることも同様である.
仮定と が減少列であることから .
(a): なる を任意にとる.
すると,任意の に対して .
上限の性質より,
これはまさしく を意味するので,(a)が示された.
(b): なる を任意にとる.
すると, であるから下限の性質よりある が存在して が成り立つ.
よって,
であるから,(b)が示された.
(1) ⇐ (2)
まず, であることを示す.
のときは明らかに成り立つので, と仮定する.
であるとすると,ある が存在して となる.
仮定より,ある が存在して となるので, が成り立つ.
しかし, であったので,これは矛盾である.
よって, が示された.
ここで とすると,ある が存在して となる.
仮定より なる が無限に存在する.
もし ならば,(1) ⇒ (2)より十分大きい 全てに対して が成り立つので, を満たす は有限個のみになってしまう.
よって, であるが,これは であることに反する.
これより, が示された.
(2) ⇒ (3)
のときに示す.
(a),(b)より,任意の に対して を満たす が無限に存在する.
これより, に収束する の部分列が存在するので, は集積値である.
ここで, なる を任意にとると, なる が存在し,(b)より有限個 を除いて となる.
よって, に収束する部分列は存在しないことが分かり, が最大の集積値であることが示された.
のときは,上の証明を若干修正するだけでよいので省略する.
(2) ⇐ (3)
のときは,(1) ⇒ (2)の証明の冒頭と同様のことに注意する.
(a):仮定より に収束する部分列 が存在する.
よって,次が成り立つ:
これは を意味するので,(a)が示された.
(b): なる を任意にとる.
を満たす が無限個存在するとする.
このとき, を満たすような部分列 が存在する.
この部分列は必ず 上で収束するような,さらなる部分列を含む.
(これはBolzano–Weierstrassの定理を利用すれば分かる.)
しかし,その収束点を とすると が成り立つので, の最大性と矛盾する.
以上より, を満たす が有限個しか存在しないことが分かり,(b)が示された.
この命題により,「 は の最大の集積値」であることが分かりました.
また, であることを利用して,「 は の最小の集積値」であることも上の命題の系として分かります.
最後に,上極限・下極限と数列の収束条件との関係を命題の形にまとめてみましょう.
証明はProp. 1を知っていれば,さほど難しくはありません.
Prop. 2 実数列 について,次は同値である: (1) なる が存在する (2)
Proof
(1) ⇒ (2)
仮定より,任意の部分列は に収束する.
つまり, の集積点は ただ一つなので,Prop. 1と合わせて となる.
(1) ⇐ (2)
とおく.
このとき,任意の に対して が成り立つので,はさみうちの定理より が成り立つ.
上の証明より,Prop. 2の(1),(2)のどちらかが成り立つと,極限は上極限と下極限に一致することが分かります.
結局,上極限・下極限とは最大・最小の集積値であり,「上極限=下極限」となる状況というのは集積値がただ一つだけ存在するという状況であることが分かりました.
ただ概念の定義だけを知っていても,証明をするときにうまいこと使いこなせないかもしれません.
証明のアイデアが直感やイメージから湧いてくることが多々あると思うので,イメージをつかむという作業はとても大事だと思います.
僕もそういうところをサボらずやっていきたいですね.