On realcompactifications defined by bornologies
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\).
- \(\mathcal S\)-topologies and bounded convergences
- Arzelà's theorem and strong uniform convergence on bornologies
- Bornological convergences
- Boundedness in a topological space
- Filter characterizations of z-, C*-, and C-embeddings
- Gap, excess and bornological convergence
- scientific article; zbMATH DE number 3152563 (Why is no real title available?)
- Pointwise bornological vector spaces
- Pseudometrizable bornological convergence is Attouch-Wets convergence
- Strong uniform continuity
- Total boundedness and bornologies
- Uniform continuity, uniform convergence, and shields
- Uniformizable and realcompact bornological universes
- Well-posedness, bornologies, and the structure of metric spaces
This page was built for publication: On realcompactifications defined by bornologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q663090)
