Displaying similar documents to “On quasi-uniform space valued semi-continuous functions”

Totally bounded frame quasi-uniformities

Peter Fletcher, Worthen N. Hunsaker, William F. Lindgren (1993)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

This paper considers totally bounded quasi-uniformities and quasi-proximities for frames and shows that for a given quasi-proximity on a frame L there is a totally bounded quasi-uniformity on L that is the coarsest quasi-uniformity, and the only totally bounded quasi-uniformity, that determines . The constructions due to B. Banaschewski and A. Pultr of the Cauchy spectrum ψ L and the compactification L of a uniform frame ( L , 𝐔 ) are meaningful for quasi-uniform frames. If 𝐔 is a totally bounded...

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.

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 quasi-compactness of operator nets on Banach spaces

Eduard Yu. Emel'yanov (2011)

Studia Mathematica

Similarity:

The paper introduces a notion of quasi-compact operator net on a Banach space. It is proved that quasi-compactness of a uniform Lotz-Räbiger net ( T λ ) λ is equivalent to quasi-compactness of some operator T λ . We prove that strong convergence of a quasi-compact uniform Lotz-Räbiger net implies uniform convergence to a finite-rank projection. Precompactness of operator nets is also investigated.