Note on metrization of quasi-uniform spaces
P. Fletcher (1971)
Colloquium Mathematicae
Similarity:
P. Fletcher (1971)
Colloquium Mathematicae
Similarity:
Romaguera, Salvador (2000)
Mathematica Pannonica
Similarity:
P. Fletcher (1971)
Colloquium Mathematicae
Similarity:
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.
Elena Alemany, Salvador Romaguera (1996)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We characterize the quasi-metric spaces which have a quasi-metric half-completion and deduce that each paracompact co-stable quasi-metric space having a quasi-metric half-completion is metrizable. We also characterize the quasi-metric spaces whose bicompletion is quasi-metric and it is shown that the bicompletion of each quasi-metric compatible with a quasi-metrizable space is quasi-metric if and only if is finite.
Jesús Rodríguez-López, Salvador Romaguera (2002)
Extracta Mathematicae
Similarity:
John W. Carlson (1976)
Colloquium Mathematicae
Similarity:
Fletcher, P., Lindgren, W.F. (1976)
Portugaliae mathematica
Similarity:
Salvador Romaguera, Sergio Salbany (1992)
Extracta Mathematicae
Similarity: