■

今日は正月だけど朝５時に帰ってきて寝てた。特に何もしない。

最近cptのグラフを作っているのだが、手元に数学辞典３版があったので見てたら、おもっくそ嘘が書いてあった。
帰って４版見てみたら完全に書き直されてた。２版には無かったので、完全に３版書いた人がやばい。

で、グラフを作るのは論文とか本で仮定している分離公理がそれぞれ違ってうざい。
大体、最初にすべての空間にはT_?を仮定するとか書いてあると、定義にその分離公理を仮定しているのかよくわからなくなってやばい。
Lindelofの定義はregularを含めるか悩みどころ。
何も仮定しないと、グラフが連結にならないので何となく嫌だ。
最悪の場合何も仮定しないのとT_1だけとT_4仮定したグラフをそれぞれ作るか。
cptのグラフにどの分離公理を仮定するか代案募集中。
あと、Lindelofの定義にregularを入れるか等の意見募集中。