どうも,本日,助教の先輩の勧めからオンラインの学会発表の場に参加した,かそうです.テンソル積の復習をしなければと思わされました.近々テンソル積についての記事を投稿するかもしれません.お楽しみに.
今日は,自主ゼミにて話題になった上極限・下極限の性質を紹介します.この記事を読み終わったら,今までよりも上極限・下極限の「気持ち」がわかるようになるかもしれません.
数列
上極限・下極限を扱う上で最も恥ずかしいのは定義を無意識の内にすりかえて理解してしまうことである.高木貞治「解析概論」による,実数の性質(有界単調数列の収束定理)と関連付けた理解が飲み込めれば,そんなことはなくなるはず.
一般の数列
とすると
が成り立つ.数列
数列
上極限も同様に定義できる.
また,上極限・下極限について,以下の関係の成立が知られている:
上記の記法に従うと,
これより
数列
この証明のポイントは,「無限に存在する」をどう読むか,である.ある自然数をとり,それに対してとある自然数で条件の成立をいうという流れで示す.
実はこの命題の証明は友人から教えてもらったものです.
ここで自戒の念を込めて教訓めいたことを一つ.上の命題を複数人で話し合いながら考えていたのですが,そういう時に気の利いたことが言えない!なんてこと,よくあると思います.そういう時は集合と位相でしっかりと足腰を鍛えているかが物を言うことがあるかもしれません.
事項の定義を正しく理解しているか(条件など含む),ある程度問題を解いているか,何か気になった点があったとき「またいつかやればいいや」と読み飛ばしすぎるのではなく,ある程度は「前に習った内容ではあるし,たぶんできるはず」と自分を信じて本の行間を自分の力で埋めているか,そうした積み重ねが大事だと思います.
よく数学者などで状況を上手に図示してお気持ちの理解を容易に行う人がいます(いますよね・・・?).確かにそのような考え方も有効ではあると思いますが,それは地道な鍛錬の先にあるべきであって,授業で習った時のやり方・考え方を忘れない謙虚さを持った方が良いと思うのです.上手に言語化している気がしないので読者の皆様に僕の考えが伝わっているか不安ですが,ともかく,集合と位相で足腰を鍛えた方が良いということです.
その場で正答を導き出した友人から,解法はもちろん数学に対する姿勢を学んだ気がしました.