不分明拓扑空间与双拓扑空间的正规性

Huttom 1975年在中首次引进不分明单位区间。他的工作成为一系列重要的不分明拓扑学工作的开端,(见,等)这个被称为无点化流派的工作“是不分明拓扑手中最引人注目的两个方面結果之一”。本文阐明文中主要定理——Urysohn引理,是此文发表十二年前,1963年Kelly J.C.的文中双拓扑空间Urysohn引理的直接推论。