关于(T_1)型拓扑Boole格若干定理及其证明的修改

本文对[2]中的几个定理及其证明作了修订.[2]P.146定理5如下:为了拓扑Boole代数B是(T_1)型,必须且只须其中每元是一些闭元的结,或必须且只须每元是它的一切开邻域的交.先看一个例子.例.设仅由最大元1与最小元0组成的二元Boole格.这个Boole格按最粗的拓扑结构构成的拓扑Boole格B是(T_1)型的,这只要直接验证就可以了.但1是闭元,而不是开