On realcompactifications defined by bornologies (Q663090)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On realcompactifications defined by bornologies
scientific article

    Statements

    On realcompactifications defined by bornologies (English)
    0 references
    13 February 2012
    0 references
    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\).
    0 references
    bornology
    0 references
    bornological universe
    0 references
    \(C\)-embedding
    0 references
    \(C^*\)-embedding
    0 references
    realcompact
    0 references
    realcompactification
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references