Ordered sets as uniformities

DOI10.1515/TAA-2018-0007MaRDI QIDQ1748100zbMATH OpenOpenAlexFDO

Authors M. Hušek

Publication date 2 May 2018

Published in Topological Algebra and its Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1515/taa-2018-0007

zbMATH Keywords

compactification ordered set proximal completeness proximally fine space uniform space

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Proximity structures and generalizations (54E05) Uniform structures and generalizations (54E15)

Review text

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?

Recommendations

Cites work

Cited in

(19)

This page was built for publication: Ordered sets as uniformities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1748100)