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

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

Displaying similar documents to “Variations of uniform completeness related to realcompactness”

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...