Displaying similar documents to “Equicontinuity, shadowing and distality in general topological spaces”

Uniform Space

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

In this article, we formalize in Mizar [1] the notion of uniform space introduced by André Weil using the concepts of entourages [2]. We present some results between uniform space and pseudo metric space. We introduce the concepts of left-uniformity and right-uniformity of a topological group. Next, we define the concept of the partition topology. Following the Vlach’s works [11, 10], we define the semi-uniform space induced by a tolerance and the uniform space induced by an equivalence...

Variations of uniform completeness related to realcompactness

Miroslav Hušek (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Various characterizations of realcompactness are transferred to uniform spaces giving non-equivalent concepts. Their properties, relations and characterizations are described in this paper. A Shirota-like characterization of certain uniform realcompactness proved by Garrido and Meroño for metrizable spaces is generalized to uniform spaces. The paper may be considered as a unifying survey of known results with some new results added.