Displaying similar documents to “Graph topologies and uniform convergence in 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.