江田勝哉 著「数理論理学 使い方と考え方:超準解析の入口まで」 感想
読みました。本書は著者が「はじめに」で述べているように、記述に重きを置いたモデル理論の本。より厳密には一階述語論理の入門書。
論理式の定義から丁寧に説明があり、具体例も多いので良い意味で訓練になる。そこから定義可能性という楽しい話題にも触れる。証明に用いる推論体系はGentzenのLKで、章末には否定について、特に直観主義論理における否定について注意がある。悲しいことにAmazonレビューで色々言われてるが、同レビューで反論、更に著者サイトでも本人による反論があるので気になるなら併せて読むと良い。因みに本書は例に漏れず誤植や誤記がそこそこあるので、訂正PDFはしっかりダウンロードしておこう。なぜなら去年付けで最終講義とあり、いつページが消えるとも分からない。個人的には他にも訂正箇所はありそうだけど。ともかく完全性定理をやってから本書のメインである超準解析に移る。*1
超フィルターを使って超積を作り、それが初等拡大になるようなものを考える。超準解析はそのモデル上で実行され、これがいわゆる無限小や無限大といった昔ながらの解析の手法を数学的に基礎付けるものになっている。最後の章では最近(出版時)の話題としてAsymptotic Coneという構造に触れている。これは先駆者のM.Gromov曰く
定点を選び,ここから一定速度で離れていくとき定点からの距離が一定であるように距離感を調整しながら風景をながめる.この場合,その風景はどのようなものであろうか?
だそうだ。「お前は何を言ってるんだ?」と言いたくなるけど、実際そんな感じなのでまあ良く表現出来ているなぁと感動した。電車で遠くの山に焦点を合わせつつ移り変わる近場の風景をぼんやり眺めてる感じ。Asymptotic Coneを考えると何が嬉しいかと言うと、積の構造を上手く定義できるようになる。つまり体として、その上の解析学を考えることが出来る。例えば微分と差分の繋がりが理論的な枠組みとして捉えることが出来るようになる。これを利用して、定数係数の線型微分方程式がAsymptotic Cone上で満たす差分方程式(これは同一の特性方程式を満たす差分方程式とは異なる)を考え、その解から元の微分方程式の解を構成することができる。これは非常に面白いと思ったけど非線形や偏微分に単純に応用ができるかは不明。差分の初期値問題は簡単なので、そうでない微分の世界との対応は著者も良く分かっていないらしい。Asymptotic Coneは超フィルターや距離の取り方で色々形を変えるのだけれど、一番離れていく動きをするのが多分超離散とかトロピカル化だったりする。この辺の話はちょっと駆け足気味で、出来ればもっとしっかりした内容があると良かった。最後に著者による他書の書評があって、大いに参考になる。
本書の特色として、単に命題と証明を繰り返すのではなく、随所に著者の気持ちが挿入されているので味わいのある文章になっている。その結果「良く分からなさ」が良く分かる文章になっている。これは否定的な意味ではなく、数理論理学が原理的に持つ「良く分からなさ」を明瞭にするという意味で肯定的である。これについても著者は
この本を読めばわかるようになるというわけでもないが,この本を読むなかで,このような状態を受け入れることのできる考え方がどのようなものかがわかるように配慮した
と述べている。読み終えた今となっては確かにそうだと納得する反面、上記が示すように本書の記述は決して簡単ではない。つまり一言一句を何度も繰り返して読み下せば、という枕詞が付く。私にとっては、だが。
著者が読者層をある程度数学の素養を持つ者に想定しているので、ほんとの入門者にはお勧めできないし、もっと簡単な言葉で書かれた本があると思う。個人的には楽しめたし、内容が珍しくて興味深いので良書だと思う。
これで本棚の肥やしが一冊崩れた。基礎論系は知らない間に増えるから困る。
*1:完全性定理までの教科書として元々は書かれていたらしいが。
平均値の定理とその応用
最近やってるゲームのイベ消化に勤しんでたら投稿がおろそかになってしまった。お船のゲームです。といってもリアルな方(WoWs)ですが、かれこれ2年近く遊んでます。一試合が長いのと様々なツリーに手を付けていることもあり、未だに最高Tierが9という。でもあと少しで大和なので気合いを入れているところ。
さて今回の元ネタはこのポストです。書いてある平均値の定理が違う(とかで反例)ので計算しなおしてみたという趣旨。なんかこういうの久しぶりで正しくないかもしれないので参考程度に。
平均値の定理
を満たすが存在する。に平均値の定理を再度適用すると、
を満たすが存在する。そこでとすると、
を得る。ここでかつ
より、分子を展開してで割れば
を得る。からまで積分すると
となる。更に整理しなおすと
が従う。
のチェザロ和の漸近挙動
応用としてとしたときのチェザロ和を調べてみよう。と置く。まず
を得る。ここで閉区間に対して先の議論を適用すると
となる。ただしより有界である。
なので、からまでの積分はとなる。故に
が従う。で割り、とすれば
が分かる。
結論から言えば元のポストと同じ。多分ミスタイプか何かでしょうね。一応Scilabでまで計算してみると下記のようになる。
黒が和の方で、赤が右の漸近曲線です。
チェザロ極限が存在しないこと
上の漸近挙動はのチェザロ極限が存在しないことを示しているが、このこと自体はより簡単に言える。このポストの証明がすごい。
と置く。このときなので、までのチェザロ和を考えると、に対してが言える。これが全体のであることを考慮すると、残りは少なくとも以上なので、
を得る。各による部分列を取れば、チェザロ極限が存在するなら以上でなければならない。同様にとすれば以下であることが言える。故にチェザロ和は収束せず、極限は存在しない。かしこい。