关于拓扑空间开集格的ΣF—core紧性

所谓一个格是ΣＦ－ｃｏｒｅ紧的，是指在赋以Ｓｃｏｔｔ开滤子拓扑之事，这个格作为拓扑空间是ｃｏｒｅ紧的，证明了一个拓扑空间的开集格是ΣＦ－ｃｏｒｅ紧的当且仅当该空间是ｃｏｒｅ紧的。