Continuity of  multifunctions with respect to local sieves and quasi-uniform convergence

I. Domnik

Displaying similar documents to “Continuity of multifunctions with respect to local sieves and quasi-uniform convergence”

Note on metrization of quasi-uniform spaces

P. Fletcher (1971)

Colloquium Mathematicae

Similarity:

Note on quasi-uniform spaces and representable spaces

P. Fletcher (1971)

Colloquium Mathematicae

Similarity:

On the quasi-uniform convergence of transfinite sequences of functions.

Ewert, J. (1993)

Acta Mathematica Universitatis Comenianae. New Series

Similarity:

A new class of quasi-uniform spaces.

Romaguera, Salvador (2000)

Mathematica Pannonica

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.