斯科特信息系统, 信息系统和, scott, 领域, 编辑给定一个信息系统, displaystyle, vdash, nbsp, 我们可以建造斯科特域如下, 定义, displaystyle, subseteq, nbsp, 是一个点当且仅当, 如果, displaystyle, subseteq, nbsp, displaystyle, nbsp, 如果, displaystyle, vdash, nbsp, 并且, displaystyle, subseteq, nbsp, displaystyle, nbs. 信息系统和 Scott 领域 编辑给定一个信息系统 A T Con displaystyle A T Con vdash nbsp 我们可以建造斯科特域如下 定义 x T displaystyle x subseteq T nbsp 是一个点当且仅当 如果 X fx displaystyle X subseteq f x nbsp 则 X Con displaystyle X in Con nbsp 如果 X a displaystyle X vdash a nbsp 并且 X fx displaystyle X subseteq f x nbsp 则 a x displaystyle a in x nbsp 设 D A displaystyle mathcal D A nbsp 指示 A 的点的集合并按子集排序 在 T 是可数的时候 D A displaystyle mathcal D A nbsp 将是可数 Scott 域 一般的说 对于任何 Scott 域 D 和信息系统 A D I D D displaystyle mathcal D mathcal I D cong D nbsp I D A A displaystyle mathcal I mathcal D A cong A nbsp 这里的第二个全等给出自逼近映射 参见 编辑斯科特域 域理论 取自 https zh wikipedia org w index php title 斯科特信息系统 amp oldid 56031316, 维基百科,wiki,书籍,书籍,图书馆,