首都师范大学学报(自然科学版)
首都師範大學學報(自然科學版)
수도사범대학학보(자연과학판)
JOURNAL OF CAPITAL NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2007年
5期
14-16,21
,共4页
(R)-偏序集%Scott拓扑%Alexander拓扑%拓扑的比较.
(R)-偏序集%Scott拓撲%Alexander拓撲%拓撲的比較.
(R)-편서집%Scott탁복%Alexander탁복%탁복적비교.
设(A,(E))是偏序集,ω是自然数集,若对任意n∈ω,(E)n是A上的偏序,(E)n+1(∪)(E)n,∩n∈ω(E)n=(E),则称(A,(E))是带有偏序逼近族(R)={(E)n|n∈ω}的偏序集,简称为(R)-偏序集,记为(A,(E);R).若(A)n∈ω,An=(A,(E)n)是cpo,且对n∈ω,令Fn表示关于(E)n的Scott拓扑,本文给出了(F)n弱于(F)n+1的一个充分条件,以及它的简单应用.
設(A,(E))是偏序集,ω是自然數集,若對任意n∈ω,(E)n是A上的偏序,(E)n+1(∪)(E)n,∩n∈ω(E)n=(E),則稱(A,(E))是帶有偏序逼近族(R)={(E)n|n∈ω}的偏序集,簡稱為(R)-偏序集,記為(A,(E);R).若(A)n∈ω,An=(A,(E)n)是cpo,且對n∈ω,令Fn錶示關于(E)n的Scott拓撲,本文給齣瞭(F)n弱于(F)n+1的一箇充分條件,以及它的簡單應用.
설(A,(E))시편서집,ω시자연수집,약대임의n∈ω,(E)n시A상적편서,(E)n+1(∪)(E)n,∩n∈ω(E)n=(E),칙칭(A,(E))시대유편서핍근족(R)={(E)n|n∈ω}적편서집,간칭위(R)-편서집,기위(A,(E);R).약(A)n∈ω,An=(A,(E)n)시cpo,차대n∈ω,령Fn표시관우(E)n적Scott탁복,본문급출료(F)n약우(F)n+1적일개충분조건,이급타적간단응용.