Bicompletion and Samuel bicompactification (Q1610287): Difference between revisions

Let \(T:\mathbf{QU}_0 \to\text\textbf{TOP}_0\) be the forgetful functor, where \(\mathbf{QU}_0\) is the category of quasi-uniform \(T_0\)-spaces and \(\mathbf{TOP}_0\) is the category of topological \(T_0\)-spaces. A functor \(F:\mathbf{TOP}_0\to\text\textbf{QU}_0\) is called a \(T\)-section if \(T\circ F: \mathbf{TOP}_0 \to\text\textbf{TOP}_0\) is the identity functor on \(\mathbf{TOP}_0\). Following G. C. L. Brümmer, a \(T\)-section \(F:\mathbf{TOP}_0 \to \text\textbf{QU}_0\) is called lower (upper) \(K\)-true if \(K\circ F(X)\) is coarser (finer) than \(F\circ T\circ K\circ F(X)\) for each \(X\in\mathbf{TOP}_0\), where \(K: \mathbf{QU}_0\to \text\textbf{QU}_0\) is the bicompletion functor. The main results are: Theorem 1: A \(T\)-section \(F:\mathbf{TOP}_0 \to\text\textbf{QU}_0\) is upper \(K\)-true if and only if, for every sober space \(X\), \(F(X)\) is bicomplete. Theorem 2: The locally finite covering quasi-uniformity functor \(L:\mathbf{TOP}_0\to \text\textbf{QU}_0\) (which is a \(T\)-section) is neither lower nor upper \(K\)-true. Theorem 3: The point finite covering quasi-uniformity functor \(PF:\mathbf{TOP}_0\to\text\textbf{QU}_0\) (which is a \(T\)-section) is lower but not upper \(K\)-true. Additionally it is proved that the quasi-proximity space induced by the bicompletion of a quasi-uniform \(T_0\)-space \(X\) is a subspace of the quasi-proximity space induced by the Samuel bicompactification of \(X\).