publication . Article . Other literature type . 2016

Quasi-uniform Space

Coghetto, Roland;
Open Access
  • Published: 01 Sep 2016 Journal: Formalized Mathematics, volume 24, pages 205-214 (eissn: 1898-9934, Copyright policy)
  • 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: Mathematics, Mathematical analysis, Uniform space, 54E15, 03B35, quasi-uniform space, quasi-uniformity, Pervin space, Csaszar-Pervin quasi-uniformity, identifier: UNIFORM2, version: 8.1.05 5.37.1275, QA1-939
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Article . Other literature type . 2016

Quasi-uniform Space

Coghetto, Roland;