Quasi-uniform Space

被引：0

作者：

Coghetto, Roland ^{[1
]}

机构：

[1] Rue Brasserie 5, B-7100 La Louviere, Belgium

来源：

FORMALIZED MATHEMATICS | 2016年 / 24卷 / 03期

关键词：

quasi-uniform space; quasi-uniformity; Pervin space; Csaszar-Pervin quasi-uniformity;

D O I：

10.1515/forma-2016-0017

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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 quasi-uniform space, semi-uniform space and locally uniform space. We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X backslash Omega) x X) boolean OR (X x Omega), the Csaszar-Pervin quasi-uniform space induced by a topological space.

引用

页码：205 / 214

页数：10

共 50 条

[31] Compactifications of quasi-uniform hyperspaces
Romaguera, S
Sànchez-Granero, MA
TOPOLOGY AND ITS APPLICATIONS, 2003, 127 (03) : 409 - 423
[32] Hausdorff completions of quasi-uniform spaces
Render, H
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1996, 46 (02) : 309 - 316
[33] The congruence biframe as a quasi-uniform bicompletion
Manuell, Graham
TOPOLOGY AND ITS APPLICATIONS, 2020, 273
[34] On a Problem of Simultaneous Quasi-Uniform Extension
Á. Császár
Acta Mathematica Hungarica, 1999, 82 : 173 - 186
[35] SOME REMARKS ON QUASI-UNIFORM SPACES
KUNZI, HPA
GLASGOW MATHEMATICAL JOURNAL, 1989, 31 : 309 - 320
[36] Iterations of quasi-uniform hyperspace constructions
Kuenzi, H. -P. A.
ACTA MATHEMATICA HUNGARICA, 2006, 113 (03) : 213 - 225
[37] The Samuel compactification for quasi-uniform biframes
Frith, John
Schauerte, Anneliese
TOPOLOGY AND ITS APPLICATIONS, 2009, 156 (12) : 2116 - 2122
[38] FUNCTION SPACES OF QUASI-UNIFORM SPACES
NAIMPALL.SA
KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETESCHAPPEN-PROCEEDINGS SERIES A-MATHEMATICAL SCIENCES, 1965, 68 (05): : 768 - &
[39] On optimization problems in quasi-uniform spaces
Chen, Shao-Ai
Li, Wen
Zou, Du
Chen, Shaobai
ICNC 2007: THIRD INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 1, PROCEEDINGS, 2007, : 417 - +
[40] COMPLETENESS OF QUASI-UNIFORM AND SYNTOPOLOGICAL SPACES
SMYTH, MB
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1994, 49 : 385 - 400

← 1 2 3 4 5 →