BL代数中极大滤子的拓扑性质

Topological properties of maximal filters in BL algebras

在BL代数L的全体极大滤子之集MF(L)上构造两种拓扑■与■*,证明了(MF(L),■)是紧致的Hausdorff空间,(MF(L),■*)是T1空间。并且得出了当相关论域取为有限集或全序的无限集时,■=■*。

Two types of topologies J and J＊are established on the set MF（ L） of all maximal filters in a BL algebra L. It is proved that （ MF（ L） , J） is a compact Hausdorff space, and （ MF（ L） , J＊） is a T1 space.Also, we show that J and J＊ are the same topology if the related universe is either finite or infinite linearly ordered.