今朝も起きたら11時過ぎ。中々起きられない。まあそれでも、シャワーを浴びて、弁当を買って個研室でゆっくり食べるくらいの時間はあった。
1時から一回生向け「数学IV（線形代数）」。先週ベクトル空間の例を挙げたが、今日はベクトル空間の例を更に幾つか。テキストには無限次元ベクトル空間（まだ次元という言葉は出してないが）の例が出てないので、多項式環とか閉区間上定義された Cn 級の空間とか出しておく。で部分空間の節に入って、連立方程式の解空間とか。で今書いてて気付いた。自明な部分空間のことを言うのを忘れていた。まずったな。まあいいや、来週やろう。で有限個のベクトルで張られる空間を定義して、さて部分空間であることを証明、と思ったが、ちょっと時間足りなさそうなので、R2 の二個のベクトルで張られる空間の例を幾つかやって、二つでギリギリの場合と足りない場合を出したりして、ちょっと基底をやる時に分かるようにしようと。で数分早く終了。
ちょっとお偉いさんに用事があったので、講義後出向く。大事件かと思ったら、大したことではなかった。すぐ済む話。よかった。で外国人にメールを書いて、講義の後始末をちょっと。その時は自明な部分空間のことには気付いてなかった。色々講義資料を直してからアップロードして、もうあっと言う間に4時。4時20分からゼミなので、後片付けを少々して、飲み物を買って、ゼミへ向かう。
今日は Rabinovich の定理の証明の残りから。が、色々詰めてない所があって、突っ込みまくって、ちょっとだけの筈が遥かに1時間を超えていた。先週突っ込んだ時に使った定理をまた突っ込んだり。今日も色々言うが、ボーっとしているだけでメモしようとしない。それでまた同じミスをするのだから、いい加減言っておいた。メモとらんなくていいの？と。すると黒板をスマホで写し出した。写真を撮るのはいいが、うちに帰って見るだろうか？見ないなら何しても意味無いが。まあいいです。で選手交代。狭義イデアル類群の 2-part を調べる話だが、久々にコホモロジー群が出てきた。復習を軽くやってから、狭義イデアル類群の定義から。で有限次ガロア拡大の時に共役なイデアルを全部掛けると、イデアルのノルム（剰余環の元の個数と定義したやつ）が生成する単項イデアルに成る、という所で予習が破綻したそうだ。分かってるのと分かっていないのを区別出来るのが大事なので、分かっていないのは問題無い。で一緒に考え始めるも、何かうまくいかない。で大体見当が付いたところで7時半に成ってしまった。来週までに詰めておいてね、と言って退散。
その後個研室でちょっと福岡で話した話の直し。沢山時間があると思ってたが、気付けばもう締め切りまで二十日を切っていた。Kraus の定理を有理数体に特殊化した時の証明を理解して書こうかと思っていたが、やめることにした。もう本質的な部分は出来ているが、細部の日本語をちゃんと書けなくてトラブっている。理系に進む人間は作文は苦手としたもんだ。英語で何本も論文を書いたりしてるので、そういう言い訳は出来ないが。これからチマチマ直す。もう9時近かったので、印刷して帰ることにした。
大分涼しく成ってきた。土曜日は長袖で三条京阪に繰り出したし、今日も長袖で講義した。が、部屋は冷房が掛かっていて、講義後「外気温が30度を超えています」と放送があったが、本当か？涼しいぞ。講義終了後は雨は降っていなかったが、帰りは降ってた。ちょっと蒸しっとするかな。まあラーメンを食べようという気に成るくらいの陽気。関東は暑かったようだが、明日は一気に最高気温20度くらいに成る、と言ってた。関西はまだ25度を超えるようだが、25度なら大分涼しい。明日は大学院生向けの講義をやる。雨が降るようだし、蒸し暑くなければいいが。
昨日書こうと思って大事なことを忘れていた。Baystars の二軍が Hawks を破って日本一に成った。素晴らしい。関根が大活躍したり、オースティンが故障した時に一軍でちょっとだけ出たフォードが2ホームラン、育成の庄司が6回無失点（MVPに成った）。が、忘れちゃいけないのが、もう退団が決まっている大田、楠本、西浦がいい働きをしたらしい。最後まで頑張ってくれて嬉しいね。楠本はまだ29歳だし、雇ってくれるチームがあるだろう。大田と西浦はもうそこそこの歳だしな。どうなるか分かりませんが、ご苦労様でした。もう一回大田の「横浜サイコー！」を聞きたかったな。
