Displaying similar documents to “Note on metrization of quasi-uniform spaces”

Quasi-uniform Space

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

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.

On some questions in quasi-uniform topological spaces.

Jesús Ferrer Llopis, Valentín Gregori Gregori, Carmen Alegre Gil (1992)

Stochastica

Similarity:

Partial solution is given here respect to one open problem posed by P. Fletcher and W. F. Lindgren in their monography Quasi-uniform spaces.

A Note on Totally Bounded Quasi-Uniformities

Fletcher, P., Hunsaker, W. (1998)

Serdica Mathematical Journal

Similarity:

We present the original proof, based on the Doitchinov completion, that a totally bounded quiet quasi-uniformity is a uniformity. The proof was obtained about ten years ago, but never published. In the mean-time several stronger results have been obtained by more direct arguments [8, 9, 10]. In particular it follows from Künzi’s [8] proofs that each totally bounded locally quiet quasi-uniform space is uniform, and recently Déak [10] observed that even each totally bounded Cauchy...