Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: partition topology

Sortuj według:

Ogranicz wyniki do:

Uniform Space

100%

Coghetto R.

Formalized Mathematics

2016

tom 24

nr 3

215-226

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 relation. Finally, using mostly Gehrke, Grigorieff and Pin [4] works, a Pervin uniform space defined from the sets of the form ((X\A) × (X\A)) ∪ (A×A) is presented.

Ograniczanie wyników

1 Formalized Mathematics

1 Coghetto R.

1 2016

Wyniki wyszukiwania

Uniform Space