文献

J-GLOBAL ID：201702225400426891   整理番号：17A1382227

位相空間と準連続領域の一貫したSmythべき領域【Powered by NICT】

Consistent Smyth powerdomains of topological spaces and quasicontinuous domains

著者 (3件)： He Qingyu (School of Mathematics Science, Yangzhou University, Yangzhou 225002, China) ,  Xu Luoshan (School of Mathematics Science, Yangzhou University, Yangzhou 225002, China) ,  Xi Xiaoyong (School of Mathematics and Statistics, Jiangsu Normal University, Xuzhou 221116, China)
資料名： Topology and its Applications  (Topology and its Applications)
巻： 228  ページ： 327-340  発行年： 2017年 
JST資料番号： A1254A  ISSN： 0166-8641  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 位相空間Xの一致Smythべき領域R Q C(X)はXの全空比較的コンパクトな連結された飽和サブセット,逆包接による秩序化と上部Vietorisトポロジーを持つのファミリーを意味する。本論文では,トポロジー的,理論的およびカテゴリー的側面からある位相空間(特に,Scottトポロジーを備えた準連続ドメイン)の一貫したSmythべき領域の性質を調べた。主な結果は以下の通りである:(i)位相空間XはしらふときR Q C(X)はしらふ;(ii)Xは局所コンパクト連結,ろ過とコヒーレントならば,R Q C(X)であるコヒーレント;(iii)Scottトポロジーを備えた各dcpoは局所的に接続され,dcpo Lが有限最大ジェネレイテッド(one-generated),局所コンパクト,ろ過とコヒーレントならば,R Q C(L)はLawsonコンパクトなドメインである(iv)Lは準連続ドメイン(それぞれ,Lawsonコンパクト準連続ドメイン,quasialgebraicドメイン)であれば,R Q C(L)を連続dcpo-∧↑-半束(それぞれ,Lawsonコンパクトドメイン,代数dcpo-∧↑-半束)である(v)R Q C(L)は準連続領域上の自由連続dcpo-∧↑-半束であることを証明した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 位相幾何学 ,  コヒーレンス ,  *位相空間 ,  代数学 ,  部分集合

著者キーワード (7件)： 準連続領域 ,  Scottトポロジー ,  上部Vietorisトポロジー ,  Sober ,  局所連結 ,  局所コンパクト ,  一貫したSmythべき領域

分類 (1件)： システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (1件)： 位相空間