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

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

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

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

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

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

Displaying similar documents to “Archimedean uniform spaces and their natural boundedness”

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.