| Smyth幂半格及其连续domain表示 |
| |
| 引用本文： | 寇辉,刘应明.Smyth幂半格及其连续domain表示[J].数学学报,2002,45(2):209-214. |
| |
| 作者姓名： | 寇辉 刘应明 |
| |
| 作者单位： | 四川大学数学学院,四川,成都,610064 |
| |
| 基金项目： | 国家重点基金，国家自然科学基金，数学青年天元基金（TY10125022）资助项目 |
| |
| 摘 要： | 本文证明了每个Ｓｍｙｔｈ幂半格同构于一连续ｄｃｐｏ的Ｓｍｙｔｈ幂ｄｏｍａｉｎ，而每个连续ｄｃｐｏ同构于其 Ｓｍｙｔｈ幂 ｄｏｍａｉｎ的 ｗａｙ ｂｅｌｏｗ素谱．通过上幂函子建立了连续ｄｏｍａｉｎ与Ｓｍｙｔｈ幂半格之间的范畴等价性，从而揭示了上、下幂ｄｏｍａｉｎ结构之间的联系．
|
| 关 键 词： | 连续dcpo Smyth幂半格 上(下)幂domain |
| 文章编号： | 0583-1431(2002)02-0209-06 |
| 修稿时间： | 2000年6月5日 |
Smyth Power Semilattices and Their Continuous Domain Representations |
| |
| KOU Hui LIU Ying Ming.Smyth Power Semilattices and Their Continuous Domain Representations[J].Acta Mathematica Sinica,2002,45(2):209-214. |
| |
| Authors: | KOU Hui LIU Ying Ming |
| |
| Institution: | KOU Hui LIU Ying Ming (Department of Mathematics, Sichuan University, Chengdu 610064, P. R. China) |
| |
| Abstract: | In this paper, we prove that every Smyth power semilattice is isomorphic to the Smyth power domain of a continuous dcpo, each continuous dcpo is isomorphic to the way below spetrum of its Smyth power domain, and these two categories are equivalent through the upper power functor, which shows the close connection between upper and lower power domain constructions. |
| |
| Keywords: | Continuous dcpo Smyth power semilattice Upper (lower) power domain |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
