Displaying similar documents to “On Common Fixed Points In Uniform 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...

Metric-fine uniform frames

Joanne L. Walters-Wayland (1998)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A locallic version of Hager’s metric-fine spaces is presented. A general definition of 𝒜 -fineness is given and various special cases are considered, notably 𝒜 = all metric frames, 𝒜 = complete metric frames. Their interactions with each other, quotients, separability, completion and other topological properties are discussed.