I(L)型诱导空间与良紧性

诱导空间在不分明拓扑中是十分重要的。众所周知,任一拓扑空间(X,Y)上取值于I=0,1]的下半连续函数全体对任意上确界与有限下确界关闭,因此这些下半连续函数构成X上的一个不分明拓扑,记为ω(Y)。(I~x,ω(Y))称为由拓扑空间(X,Y)诱导的不分明拓扑空间。Lowen在文献2]中提出,把通常拓扑空间中某一性质(如紧性、分离性、连通性等等)推广到不分明拓扑空间中时,应当遵循“好的推广”这一原则,即诱导空间(I~x,