論文

査読有り
2002年7月

Representations of complete uniform spaces via uniform domains

Electronic Notes in Theoretical Computer Science
  • Hideki Tsuiki

66
開始ページ
183
終了ページ
195
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1016/S1571-0661(04)80388-8

In this paper, we show that complete uniform spaces can be represented domain-theoretically. We introduce the notion of a uniform domain, which is an ω-algebraic domain with some uniform structure on the set K(D) of finite elements of D. It is proved that when (X,μ) is a complete uniform space of countable weight, there is a uniform domain D such that X is the retract of the set L(D) of limit elements of D. On the other hand, in every uniform domain D, there exists a minimal subspace M(D) of L(D) on which K(D) induces a uniformity structure. Thus, a uniform domain can be considered as a set with a particular kind of base of a uniformity. Since every infinite increasing sequences in K(D) identifies one element of M(D), through a labelling of edges of K(D), we obtain an admissible representation of a uniform space in a uniform domain. We also show that such a representation is a proper representation. ©2002 Published by Elsevier Science B.V.

リンク情報
DOI
https://doi.org/10.1016/S1571-0661(04)80388-8
ID情報
  • DOI : 10.1016/S1571-0661(04)80388-8
  • ISSN : 1571-0661
  • SCOPUS ID : 10144221686

エクスポート
BibTeX RIS