Ordered sets as uniformities (Q1748100)

Any ordered set \(R=(R, \leq)\) is regarded as a uniform space with the uniformity \(u_r\) which has as a base of uniform covers the collection \(\{U_r: r\in R\}\) where \(U_r=\{\{q\}: q\in R\}\cup\{\uparrow r\}\) and \(\uparrow r:=\{s\in R: r\leq s\}\) for each \(r\in R\). The proximity relation \(\rho\) corresponding to \(u_r\) is described as follows: for each pair \(A,B\) of subsets of \(R\), \(A\rho B\) if and only if either \(A\cap B\neq\emptyset\) or both \(A,B\) are cofinal in \(R\). It is shown in ZFC that, for every ordered set \(R\), the following conditions are equivalent: (1) \(R\) is proximally fine, (2) \(R\) is not proximally complete, (3) there does not exist a uniformity strictly finer than \(u_R\) which is proximally equivalent with \(u_R\). The author gives a detailed proof in ZFC of the theorem stating that ordered products of finitely many linearly ordered sets are proximally fine and he shows a gap in the previous proof to this theorem published in [\textit{M. Hušek}, Topology Appl. 221, 121--132 (2017; Zbl 1421.54009)]. The results obtained are applied to a proof in ZFC of the following theorem: If \(h: bX\to bY\) is a homeomorphism between Hausdorff compactifications \(bX\) and \(bY\) of Tychonoff spaces \(X\) and \(Y\), resp., such that the proximities of \(X\) and \(Y\) inherited from \(bX\) and \(bY\), resp., are proximally complete, while filters of neighbourhoods in \(X\) and \(Y\) are not proximally complete, then \(h(X)=Y\). Several remarks on products of infinitely many uniform spaces are made. Finally, the following question is posed: Is the ordered product \(\omega^{\omega}\) proximally fine?