Naturality of f-separation axioms
We provide new proofs for the classical insertion theorems of Dowker and Michael. The proofs are geometric in nature and highlight the connection with the preservation of normality in products. Both proofs follow directly from the Katětov-Tong insertion theorem and we also discuss a proof of this.
J. Terasawa in " are non-normal for non-discrete spaces " (2007) and the author in “On non-normality points and metrizable crowded spaces” (2007), independently showed for any metrizable crowded space that each point of its Čech–Stone remainder is a non-normality point of . We introduce a new class of spaces, named nice spaces, which contains both of Sorgenfrey line and every metrizable crowded space. We obtain the result above for every nice space.
Let λ be an ordinal number. It is shown that normality, collectionwise normality and shrinking are equivalent for all subspaces of .