On some questions in quasi-uniform topological spaces.

Jesús Ferrer Llopis; Valentín Gregori Gregori; Carmen Alegre Gil

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

The search session has expired. Please query the service again.

Displaying similar documents to “On some questions in quasi-uniform topological spaces.”

Topological spaces which admit a compatible complete quasi-uniformity

Fletcher, P., Lindgren, W. F.

Similarity:

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.