Completion of pre-quasi-uniform spaces (Q2400888)

The focus of this paper lies on the concept of so-called pre-quasi-uniform spaces. A filter \(\mathcal U\) on \(X\times X\) whose elements are connectors it is called a pre-quasi-uniformity on \(X\) provided that the following condition is fulfilled: for any \(U\in \mathcal U\) there exists \(V\in \mathcal U\) such that \(V(x)\subseteq \text{int} U(x)\) for all \(x\in X\). Here the topology \(\tau_{\mathcal U}\) induced by \(\mathcal U\) is defined by setting: \(\tau_{\mathcal U}\) is the set of all \(V\subseteq X\) such that for all \(x\in V\) there exists \(U\in\mathcal U\) with \(U(x)\subset V\). Then it is clear that every quasi-uniformity forms a pre-quasi-uniformity, but in general the converse does not hold. Now the authors study the main properties of this extended class of quasi-uniform spaces. Fundamental notions such as uniform continuity, \(\mathcal U\)-Cauchy filter, round and weakly round filter, local symmetry, pre-compactness and compactness are introduced and related to each other in a wise sense. The central theorem of this work proves the existence of a canonical pre-quasi-uniform extension of a pre-quasi-uniform space. Here two terms of completeness play an important role, namely those of adherence complete and convergence complete, respectively. In addition it is shown under which supposition the constructed extension transfers the Hausdorff-separation property. The paper closes with some facts concerning the compactification of precompact quasi-uniform spaces.