高校应用数学学报A辑
高校應用數學學報A輯
고교응용수학학보A집
APPLIED MATHEMATICS A JOURNAL OF CHINESE UNIVERSITIES
2014年
3期
369-374
,共6页
拟C-连续性%C-代数格%性质M%Scott拓扑%Sober空间
擬C-連續性%C-代數格%性質M%Scott拓撲%Sober空間
의C-련속성%C-대수격%성질M%Scott탁복%Sober공간
quasi C-continuity%C-algebraic lattice%property M%Scott topology%Sober space
引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件.
引入瞭擬C-連續偏序集的概唸,利用擬C-連續性證明瞭dcpo L是擬連續的噹且僅噹L上的Scott閉集格是擬連續格.證明瞭滿足性質M的dcpo上的Scott閉集格都是C-代數格,從而給齣瞭具有同構Scott閉集格的兩dcpo同構的新的充分條件.
인입료의C-련속편서집적개념,이용의C-련속성증명료dcpo L시의련속적당차부당L상적Scott폐집격시의련속격.증명료만족성질M적dcpo상적Scott폐집격도시C-대수격,종이급출료구유동구Scott폐집격적량dcpo동구적신적충분조건.