第1章 序与拓扑预备
1.1 集与序
1.2 偏序集上的内蕴拓扑
1.3 性质M
1.4 逼近关系与连续性
1.5 连续性与分配律
1.6 完全分配拓扑
1.7 超连续偏序集
第2章 Z-拟连续domain
2.1 拟连续domain
2.2 Rudin性质及其映射式刻画
2.3 Rudin空间
2.4 拟Z-连续domain
2.5 Z-交连续domain
第3章 Sober空间与Hofmann-Mislove定理
3.1 分配格与素滤子
3.2 拓扑函子与紧饱和集
3.3 可表示的拓扑滤子
3.4 Sober空间与拓扑滤子的可表示性
3.5 C-局部紧与C-well-filtered拓扑
3.6 拓扑函子与sober空间
3.7 拓扑函子与Hofmann-Mislove定理
第4章 超连续拓扑
4.1 超连续拓扑
4.2 分配超连续格的拓扑表示
4.3 超连续拓扑的Hoare空间与Smyth空间
4.4 超连续的sober拓扑
4.5 超连续拓扑与严格完全正则性
第5章 Z-拟连续domain
5.1 Z-拟连续domain
5.2 拟超连续偏序集
5.3 Z-Scott拓扑和Z-Lawson拓扑
5.4 连续性与滤子分配律
5.5 拟连续格和拟超连续格的同态像
第6章 关系与序
6.1 关系与格序结构的表示
6.2 完全分配格与Raney偏序集的正则表示
6.3 强代数格与强Raney偏序集的强正则表示
6.4 超连续格的有限正则表示
6.5 超代数格的有限强正则表示
6.6 广义完全分配格与超连续格的对偶
6.7 偏序集上区间拓扑的分离性
6.8 Hausdorff区间拓扑的广义有限正则表示
6.9 Priestley区间拓扑的广义有限强正则表示
6.1 0k-超连续格及其关系表示
第7章 格序结构到方体的嵌入
7.1 完全分配格到[0,1]基本同态的构造
7.2 Z-连续domain和拟Z-连续domain到方体的嵌入
7.3 偏序集到完全分配格的并稠嵌入
第8章 关系与拓扑
8.1 正则关系与单调正规序空间
8.2 强正则关系与极单调正规序空间
8.3 正则关系与严格完全正则序空间
8.4 Tychonoff单调嵌入定理
8.5 强正则关系与零维空间
第9章 稳定紧空间与紧pospace
9.1 Groot对偶拓扑
9.2 性质DINT和性质R
9.3 几个基本引理
9.4 Scott拓扑的sober性
9.5 Lawson拓扑的紧pospace性
9.6 下拓扑与对偶拓扑
9.7 区间拓扑的紧pospace性
第10章 Lawson拓扑和区间拓扑的Priestley性
10.1 Lawson拓扑的Priestley性
10.2 区间拓扑的Priestley性
参考文献
索引
后记
展开