publication . Other literature type . Article . 2016

Quasi-uniform Space

Roland Coghetto;
  • Published: 01 Sep 2016
  • Publisher: Walter de Gruyter GmbH
Abstract
<jats:title>Abstract</jats:title> <jats:p> In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space.</jats:p> <jats:p>We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X \ Ω) × X) ∪ (X × Ω), the Csaszar-Pervin quasi-uniform space induced by a topological space.</jats:p>
Subjects
free text keywords: 54E15, 03B35, quasi-uniform space, quasi-uniformity, Pervin space, Csaszar-Pervin quasi-uniformity, identifier: UNIFORM2, version: 8.1.05 5.37.1275, Mathematics, QA1-939, Mathematical analysis, Uniform space
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue