Riesz spaces of normal semicontinuous functions (Q892118)

Let \(X\) be a completely regular topological space. For any bounded function \(f\) on \(X\) denote by \(l(f)\) the supremum of all bounded continuous functions \(g\) such that \(g\leq f\). Similarly, \(u(f)\) is the infimum of all bounded continuous functions such that \(g\geq f\). A bounded upper semi-continuous function \(f\) on \(X\) is called normal upper-semicontinuous if \(f= u(l(f))\). Similarly, normal lower-semicontinuous functions are characterized by the equality \(f= l(u(f))\). The space \(X\) can be endowed with an algebraic structure such that it becomes a Dedekind complete Riesz space, completion of the space of all bounded continuous functions on \(X\).