Proximity and generalized uniformity
E. Alfsen, O. Njastad (1963)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “On completions of proximity and uniform spaces”
Proximity and generalized uniformity
Mappings of proximity structures
Dowker, C. H.
Similarity:
On a generalization of uniformities
W. Kulpa (1972)
Colloquium Mathematicae
Similarity:
On uniform Dini derivatives
N. C. Manna (1970)
Colloquium Mathematicae
Similarity:
Uniform boundedness of a family of exhaustive set functions
E. Pap (1976)
Matematički Vesnik
Similarity:
The inner structure of real extensors in uniform spaces
Vilímovský, J.
Similarity:
𝓤-filters and uniform compactification
Tomi Alaste (2012)
Studia Mathematica
Similarity:
We show that the uniform compactification of a uniform space (X,𝓤) can be considered as a space of filters on X. We apply these filters to study the ℒ𝓤𝓒-compactification of a topological group.
Product proximities
Fredrick Stevenson (1972)
Fundamenta Mathematicae
Similarity:
Uniform quotients of metrizable spaces
J. Vilímovský (1987)
Fundamenta Mathematicae
Similarity:
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...