オフィスアワー２

遅々として進まない片付けだが，今日は再びごみ処理場へ搬入することから始まった。
燃えるごみは引き取ってもらえたが，燃えないごみは処理場がお休み。
年を越すことになってしまった。

いよいよ本格的に蔵書の整理に取り掛かる。
いやその前に，トイレと風呂場の掃除をする順番だった。
洗車は夕方だな。

昨日は夕食を食べ過ぎて動けず，結局何もしなかった。

今朝から2階の片づけを始める。
午前中で要らなくなった雑誌などを選別。
リサイクルステーションに出してきた。
それでもやっと4分の1。
押入れを入れれば5分の1か。
今年中には終わりそうもないな。

実際，本は売ろうと思っているが，古本屋の今年の営業はそろそろ終わり。
年明け，新学期が始まるまでにやり終えればよしとしよう。
まずは不要なものを選別することに専念。

今朝から要らないものを次々と選び出し，捨て始めた。
午前中かかって，下の部屋の押入れとタンス，
壁際に置いたままにしている箱の中身を全部チェックした。

「ガラクタ捨てれば自分が見える―風水整理術入門 (小学館文庫)」に影響されているのは認める。
去年の12月のはじめに今のところへ引っ越したのだが，
その際にできなかったことを今やっているともいえる。
まぁ理由は何でもよい。とにかく要らないものを捨てるのだ。
今日一日で，燃えるごみだけで10袋，燃えないごみは5袋にもなった。
あまりにも多いので，2回に分けて ごみ処理場 へ持ち込んだ。
それでもやっと一部屋の半分。

当然のことながら，本をかなり処分しようと決心せざるを得なかった。
こう書くと，未練があるように取れてしまうな。
必要，あるいは何度も読む気の本以外はすべて処分してしまおうと決意した。
専門書は去年もだいぶん売っているが，そのときに未練が残った多くの本がある。
これらも今回は売ってしまおうと思っている。
一度読んだだけで，本棚や床に積み重なっている小説の類も捨てよう。

明日は上の部屋に取り掛かろう。年内に終わるかなぁ。

結局，森田先生の本の定理29.4 は fibrewise の場合はだめなようだ。
normal space という仮定と，fibrewise normal space という仮定の状況の違いからうまくいかない。

しかし系29.5 の
「paracompact Hausdorff ならば任意の開被覆は正規被覆になる」
は fibrewise の場合でも成立する。
ここに先輩の論文で証明されている定理がうまく使える。
これによって
「paracompact Hausdorff space の開被覆全体は covering uniformity の base になる」
という定理の fibrewise 版が証明できた。
まずは目標の第一段階が終了。
次は完備化だ。

やはりこういった場所での講演で直接話を聞けるのはありがたいことだ。
論文の要点はもちろん，書かれなかったところ，書けなかったこと，
残っている問題，他のテーマとの関係など，講演者の考えていることが聞けるからだ。

今回全部で15くらいの講演があった。
今の私のレベルで面白いと感じられたのは2つくらいだったが，
どの講演からも研究の仕方，考え方を教えていただいたように感じる。

昨日も書いたが，多くの先生方とお目にかかれることができたのも大きな収穫。
講演の合間や，懇親会でいろいろなお話を聞かせていただいたり，励ましてもいただいた。

今度はこういったところで講演できるような結果を用意したいと思ったものだ。
もちろん先生は私のそう思わせることを狙って，私を連れて行ったのだろうから。

20日から今日まで，静岡大学で催された上記のシンポジウムに行ってきた。
先生のお供。

大学時代にお世話になった先生にも久しぶりにお目にかかれた。
またいく人かの先生と知己を得たのはうれしかった。
院入試のときに勉強させていただいた本を書いた Y 先生にお目にかかれるとは思わなかった。
便利に使わせていただいたことをお伝えすると，大変に喜んでおられた。

天候が荒れて，帰りはだいぶん困った。
行きは6時間ほどで行けたのに，帰りは10時間ほどかかった。
帰ってニュースで知ったが，新潟は停電で大変なようだ。
それに比べれば，私の困ったことなどは小さなことだ。

洗濯機が壊れたので，コインランドリーを使った。
洗濯が300円，乾燥が200円，合計500円。
時間にして1時間ちょっと。
昼前に洗濯をはじめ，簡単な食事をして戻ってみると洗濯が終わりかけていた。

本を持っていっていたので，乾燥機をかけながら読んで時間つぶし。
きれいに乾いた。

先週電気屋に行ってみたが，これまで使ってきたのと同じ大きさのものが安くて2万くらい。
リサイクル法が関係するので，処分に4000円ちょっと。
運送費が3000円くらい。
あわせて3万弱。

先月 DVD プレーヤを買ってしまったのと，今月末一つ研究会に出かける予定があるのでそっち優先。
洗濯機の購入は来月だな。

私の考えた paracompact 性と先輩の考えたものは若干異なる。
それらの関係を今日考えてみた。
すると先輩の定義から私の性質が出てくることが判明。
逆はどうも成り立ちそうにないので，私のもののほうが少し一般的なようだ。
すると私の定義と Hausdorff 性から normality が出てくるとありがたい。
次のそれを考えてみることにした。