論文メモ
— ティーチェ・ウリゾーン？ —

本棚を整理したいので， 溜まっている論文のメモを書いて未来への手紙とすることにする．

論文 [2] では空間 $X$がfunctionally Hausdorff であるための必要十分条件が $X$の 任意の可算部分集合$X_0$ について連続関数 $f:X\to [0,1]$ であって $f|X_0$ が単射になるものが存在することだということを 証明している． 他にも正規性と${\mathrm{\aleph }}_0$-collectionwise normality が同値であることを主張しているように見える．

論文 [1] では距離空間の上のティーチェの拡張定理の具体的な やり方が紹介されてて面白い． 読むといいと思う． 本題としては拡張定理の同時化である．