今日で火曜日の講義は終わり。ということで気合を入れて出発、の予定が、昨晩遅くまで起きていたので、目が覚めたら2時過ぎ。講義は2時55分から。やば、ということで急いで出掛ける。幸い職場で車を停めたのが2時45分くらいで、間に合った。当然飲まず食わずなので、カレーパンを一個買って齧ってから講義開始。
今日は院生向けの講義の最終回。p 進体の有限次拡大体が Qp の p 進付値の unique な拡張に関して完備、ということを証明したい。が、何度か書いたと思うが、これの証明をちゃんと書いた物が見付からない。何か「位相が同じだから」とか、「有限次元ベクトル空間のノルムはどれも本質的に同じだから」と書いてあるだけ。で仕方ないので頑張って証明を付けた。まあ一箇所証明を端折らないといけなく成りそうだなと事前に思っていたが、その通りに成った。端折った所は、l-1 次元ベクトル空間に l 個の1次独立なベクトルが取れて矛盾、ということを示すところなのだが、この時に極限値の一意性という、1回生の時に教わっても有難味が全くわからないことが重要になってきて面白い。位相の入れ方によっては、点列の極限値が unique でないということが起きるそうだが、距離空間なら心配無いので。三角不等式が効く。でまあ一応終わったので、Qp の代数的閉包が完備でないこと、なのでそれを改めて完備化すると、ちゃんと完備な代数的閉体が得られる、ということを言ったら時間に成った。「レポート出してな。締め切り過ぎたら受け取らんで」と言って皆さんとはお別れ。いやー疲れた。
4時50分から教授会。今日は大事な議題があるので、一定数以上出席してないと会議が進まないので、他の形式的な報告事項を学部長、副学部長が話されて、それから大事な件。無事進んでよかった。4月から来る人はどんな人だろうか?でそんなこんなで教授会はそんなに時間が掛からず終了した。
それから講義の資料を編集して web に上げて、それから来週の線形代数の準備。正射影がよく分かってないぞということに気付いてしまった。この辺が分からないとグラム・シュミットの直交化を説明出来ない。でグダグダやって分かるように成ったが、3次元以上だと直交化を説明する絵が描けない。小生昔から絵が下手で、小学生の時に絵の教室に通わされたが全く上手に成らず、中学の時は5段階評価で2が普通だった。神奈川の高校入試には、中3の時に受ける「ア・テスト」というのが重要なのだが、それの美術の点数も悪く、結局兄者の通ってた高校には行けなかった。まあ生まれて初めて「加川の弟」から解放されたので、その方がよかったと言えばよかったが。えーと、テキストに上手な絵が描いてあるので、それに頼ろうということにした。木田さん本と大抵の本の直交化の方法には大きな違いがある。大抵の本はベクトルが得られるたびに長さを1にするので、平方根の入った計算を何度もやらねばならず計算ミス必至だが、木田さんの本は最後にまとめて長さ1にするので、楽。慣れるべく色々計算しよう。幸い数値例は三宅敏恒「入門線形代数」などに沢山出ているので、やっておこう。
で8時半くらいには帰るつもりでいたんだが、時計を見たらもう9時近かった。いかんな。晩飯ははま寿司のつもりだったが。まあ南草津のはま寿司は朝5時から深夜3時までの22時間営業なので、行っても平気だな、と行くことにした。正月は蟹と数の子を必ず食べていたが、お袋が元気が無くなってから食べられなくなっていた。が、はま寿司に両方共あった。嬉しい。で何だかんだと2200円以上食べてしまった。まあいいです。お疲れ様ということで。
今晩は寒い。職場を出る時に見たら、外気温4度。暫く走ったら3度に成り2度に成りと、凍結注意のインジケーターが点いてる。下道で帰っても平気だろうか?とちょっと怖かったが、幸い何事も無く帰ってくることが出来た。逢坂山の入り口の温度計は2度の表示だったが、0度を割り込んだのが何度かあり、その時も大丈夫だったから平気でしょう。雨の後だったりすると危険かもしれないが、今日はいい天気だったので。で久し振りに空を見上げたが、オリオン座の三ツ星がよく見えた。兄者が天体望遠鏡少年だったので、小学生の頃はよく覗かしてもらったし、一緒にプラネタリウムに行ったりもした。山科の夜の街で知り合った人が天体望遠鏡少年だったそうで、「天文ガイド」とか藤井旭とか盛り上がったことがあった。昔やってたことがひょんなことで思い出されるといいね。
明日も職場に行かないといけない。4時50分まで行けばいいので、今日よりも寝坊出来る。勿論しないに越したことはないが。さっき報道ステーションでウルフアロンのプレレスデビューのことをやってたが、何とデビュー戦で EVIL に勝って、チャンピオンベルトを巻いたそうだ。録画してあるので見よう。見てから寝ても大丈夫なのでね。棚橋の引退試合もあるし、見ないと。今「相席食堂」がやってるが、「ロンドンハーツ」と「テレビ千鳥」が終わったらプロレスだ。そしたら寝よう。