Quantifying completion.
Quasi-equivalence of compacta and spaces of components.
Let X, Y be two compacta with Sh(X) = Sh (Y). Then, the spaces of components of X, Y are homeomorphic. This does not happen, in general, when X, Y are quasi-equivalent. In this paper we give a sufficient condition for the existence of a homeomorphism between the spaces of components of two quasi-equivalent compacta X, Y which maps each component in a quasi-equivalent component.
Quasi-homogeneous associative functions.
Quasi-metrizable spaces with a bicomplete structure.
Quasi-metrization and completion for Pervin's quasi-uniformity.
R. Stoltenberg characterized in [2] those quasi-uniformities which are quasi-pseudometrizable, as well as those quasi-metric spaces which have a quasi-metric completion. In this paper we follow Stoltenberg's work by giving characterizations for quasi-metrizability and quasi-metric completion for a particular type of quasi-uniform spaces, the Pervin's quasi-uniform space.
Quasi-metrization and hereditary normality of compact bitopological spaces
Quasi-proximities and bitopological spaces
Quasi-proximities for topological spaces.
Quasi-pseudometrizability of the point open ordered spaces and the compact open ordered spaces.
Quasi-uniform completions of partially ordered spaces
Quasi-uniform Space
In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space. We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X Ω) × X) ∪ (X × Ω), the Csaszar-Pervin quasi-uniform space induced by a topological space.
Quasi-uniformisation of closure spaces
Quasi-Uniformization of Topological Spaces.
Quelques aspects de la dualité en analyse fonctionnelle
Quelques propriétés des espaces -favorables et applications aux convexes compacts
Soit un espace topologique régulier et fortement -favorable : si est image continue d’un espace métrisable séparable alors est lusinien; ceci répond à une question de R. Haydon. Si est seulement de Lindelöf et à diagonale alors l’espace mesurable est standard; on en déduit que si l’ensemble des points extrêmaux d’un convexe compact est de Lindelöf et à diagonale , alors est métrisable.
Questions
Quotient structures for quasi-uniform spaces
QUOTIENTS OF UNIFORM SEMIGROUPS.