顶

好像知道了，在Kelley, J. L. (1991), General topology上有这个定理的最一般形式，只要求从正则局部紧空间到Hausdorff一致空间就行。局部紧Hausdorff空间正则，K^n是Hausdorff一致的，所以成立。