引理与弧连通完全分配格

摘要

称一个完全分配格Ｌ满足Ｕｒｙｓｏｈｎ条件，如果对任一正规空间Ｘ及Ｘ的任意两个不交闭子集Ａ，Ｂ都有连续映射ｆ：Ｘ→Ｌ，使得ｆ［Ａ］＝｛０｝，ｆ［Ｂ］＝｛１｝，这里Ｌ赋予区间拓扑．本文证明了完全分配格Ｌ满足Ｕｒｙｓｏｈｎ条件当且仅当Ｌ弧连通，而Ｌ弧连通又等价于Ｌ有同构于单位区间Ｉ的极大链．