何だかんだと結構な時間まで起きていてしまう。で寝床に入っても中々目をつぶろうとしない。で起きたらもう12時過ぎ。ぎゃ!急いで出掛ける。名神の集中工事はまだ終わってないし、祝日だし、混んでないといいが、と。で幸い混んでなかった。12時45分くらいには職場に着いた。祝日なので駐車場はすいてる。後で考えれば、もっとウェストウィングの近くに停められたな。まあいいです。で唐揚げ弁当が一個残っていたので、買って食して。
祝日だが出席している学生は結構いる。今月だけで月曜日の祝日授業は2回目。もう1回生でも慣れているのだろう。今日の線形代数は、核がどうしたとか像がどうしたとかそういう話。単射なのと核が自明なのが同値とか、次元定理とか。で次元定理を使って、次元が同じ有限次元ベクトル空間の間の線形写像は単射であることと全射であることが同値(従って同型写像であることとも同値)とか、同型なのと次元が等しいのが同値とか。去年テストである二つのベクトル空間が同型でないことを示せという問題を出したが、多くの学生が「次元が等しくないから同型でない」と書いてて感心した。今年も出してみようかな。今日は思ったより進まなかった。難しい所だから多少ゆっくりやったのと、思いの外脳味噌が動いてなくて、何度か30秒くらいの pause があったのが原因。来週はちゃんとやろう。そろそろ表現行列だとか基底の変換行列とか出てくる。難しくなってくるぞ。
で毎週の通りすぐゼミ。今日は今回順番だった学生が熱で来ないとメールを寄越していたので、やるの?と思って部屋に行ったらちゃんと始まった。今朝急遽予習したらしい。まあユークリッド整域とか P.I.D. とか、ユークリッド整域 ⇒ P.I.D. ⇒ U.F.D. とかだから、3回生の時の講義でやったよね、ということかな。今日は完全な代数だったのであまり面白くなかった。来週は Z[√-d] が P.I.D. の時(即ち d=1 か d=2 の時)に素数がどう素元分解するかをルジャンドル記号で調べるという話。フェルマーの2平方和定理とか出てくるのだろう。来週は整数論が出来る。5時くらいには終了。
その後事務仕事を二つばかりやって、講義の後始末をして、で適当に帰ってきた。もう帰宅ラッシュは終わってる、と思ったら今日は三連休の最終日だから、レジャー帰りの皆さんで混んでいた。ちょっと失敗。
明日は第4火曜ということで資源ゴミ回収の日。これから分別する。それと、使わなくなったパソコンを引き取ってもらおうと、箱に入れたまま随分放っておいたので、その手続きもした。こちらは明後日来てもらう。多少金を払わないといけない。職場で回収してもらえば無料だが、半年に一回しかないので、次を待っていられない。職場も住処も収拾が付かなくなっている。ちょっとずつでもどうにかしないと。会議資料が紙で配られなくなってよくなった。裏の白い紙はつい勿体なくなって取っておいてしまう。昔の会議資料が奥から奥から出てくる出てくる。それと学生に配って余った演習問題とかも。今はどちらも web で配布すればいいからね。論文のコピーもしなくなった。バリバリ計算して、どんどん資源ゴミにしましょう。