セミナーノート

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