On realcompactifications defined by bornologies (Q663090): Difference between revisions

A bornology \(B\) for a set \(X\) is a subset of \(2^X\) which is both a cover and an ideal; a bornological universe \((X, B)\) consists of a topological space \(X\) and a bornology \(B\). A Tychonoff space is called real compact iff it is isomorphic to a closed subspace of a product of real lines, and a real compactification of a Tychonoff space \(X\) is a real compact extension in which \(X\) is dense. It is shown that a real-compactification \(Y\) of \(X\) is defined by a bornology on \(X\) iff for each sequence of neighbourhoods \((V_n)_n\) of an element \(y\in Y\), there is a subset \(B\) of \(X\) that is relatively compact in \(Y\) such that \(B\cap V_n\neq \emptyset\) for all \(n \in \mathbb N\). A subspace \(B\) of a topological space \(X\) is called relatively pseudocompact iff each \(f\in C(X)\) is bounded on \(B\); a subset \(X\) of a Tychonoff space \(Y\) is called \(CB\)-embedded iff each real valued, continuous map \(f\) on \(X\) that is bounded on all subsets that are relatively pseudocompact in \(Y\), can be extended to \(Y\). It is shown that a real compactification \(Y\) of \(X\) is bornological iff \(X\) is \(CB\)-embedded in \(Y\). A filter \(F\) on a space \(X\) is called completely regular iff for each \(A \in F\) there is a \(B \in F\) such that \(B\) and \(X\setminus A\) are completely separated. It is shown that \(X\) is \(CB\)-embedded in a realcompactification \(Y\) iff each maximal completely regular filter on \(X\) is the trace of a maximal completely regular filter on \(Y\) that does not meet any zero-sets that are far from \(X\).