Quantifying completion.
Lowen, Robert, Windels, Bart (2000)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Lowen, Robert, Windels, Bart (2000)
International Journal of Mathematics and Mathematical Sciences
Similarity:
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...
E. Alfsen, O. Njastad (1963)
Fundamenta Mathematicae
Similarity:
Tashjian, Gloria
Similarity:
Adámek, Jiří, Reiterman, Jan
Similarity:
Lowen, Robert, Windels, Bart (1998)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Robert Lowen, Bart Windels (1997)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Approach spaces ([4], [5]) turned out to be a natural setting for the quantification of topological properties. Thus a measure of compactness for approach spaces generalizing the well-known Kuratowski measure of non-compactness for metric spaces was defined ([3]). This article shows that approach uniformities (introduced in [6]) have the same advantage with respect to uniform concepts: they allow a nice quantification of uniform properties, such as total boundedness and completeness. ...
Lowen, Robert, Windels, Bart (1997)
Commentationes Mathematicae Universitatis Carolinae
Similarity: