2002年7月
Representations of complete uniform spaces via uniform domains
Electronic Notes in Theoretical Computer Science
- 巻
- 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.
- ID情報
-
- DOI : 10.1016/S1571-0661(04)80388-8
- ISSN : 1571-0661
- SCOPUS ID : 10144221686