Bounded complete models of topological spaces (Q1877616)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bounded complete models of topological spaces
scientific article

    Statements

    Bounded complete models of topological spaces (English)
    0 references
    0 references
    0 references
    0 references
    19 August 2004
    0 references
    This paper provides a positive solution to a question of the reviewer and generalizes earlier related results by establishing that a metrizable space is completely metrizable if and only if it can be embedded as the set of maximal points of a bounded complete continuous domain (equipped with the relative Scott topology). The proof establishes and then exploits a generalization of the fact that a completely metrizable space \((X,\tau)\) admits a compact \(T_1\)-topology \(\tau^*\subseteq \tau\) such that the bitopological space \((X,\tau,\tau^*)\) is completely regular.
    0 references
    domain theory
    0 references
    bounded complete domain
    0 references
    metric space
    0 references
    dcpo
    0 references
    quasiuniformity
    0 references
    quasiproximity
    0 references
    bitopological space
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references