ベクトル空間の定義

が岩堀長慶『ベクトル解析』（裳華房）にはないことに今やっと気がついた。実は「ベクトル空間の公理的定義がどうだったかな」と思って、佐武一郎『行列と行列式』（裳華房）より前に本棚から手に取って調べた。ところがこれにはベクトル空間の定義はなかった。

それで、あわてて『行列と行列式』を参照したら、こちらにはちゃんとベクトル空間の定義があった。

どうして、ベクトル空間の定義を調べる気になったかというと、多元環と関係している。

多元環の定義を先日、遠山啓編の『現代数学教育事典』（明治図書）で調べて、それを書きとった。それをlatex入力しようかなと考えていたのだが、そのことでベクトル空間の定義をもう一度復習しておこうという気になった。

岩堀さんのベクトル解析の本は難しいと思っていたので、あまり読んだことがない。だが、ベクトル空間の定義はベクトル解析の書には不要と考えたのであろう。載っていなかったという次第である。

今日は体育の日

だが、ちょっと曇りぽい。数年前まで１０月１０日が体育の日と固定されていたが、最近では土日と接続して連休が少しでも増えるようになっている。

それでいわば、３連休の最終日ということになる。私は日曜以外は休まないことにしているので今日は仕事場に出てきた。

それでも昨日の日曜日は一日大いに休んだ。それでもときどきは数学の本を読んだりはした。