基于布尔矩阵的Scott拓扑子基

摘要

Scott拓扑是domain理论的基础之一,是domain结构的核心部分.本文首先探讨有限Scott拓扑空间的矩阵表示.由于通过基可获得Scott拓扑的结构及其性质,因此通过矩阵判断开集族为基或极小基是一个有意义的研究问题.于是,在该矩阵框架下,进一步通过基探讨Scott拓扑空间与其子空间之间的联系.随后设计极小基和极小子基的矩阵算法.最后通过数值实验验证所提算法的有效性.