Riesz spaces of normal semicontinuous functions (Q892118)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Riesz spaces of normal semicontinuous functions |
scientific article |
Statements
Riesz spaces of normal semicontinuous functions (English)
0 references
18 November 2015
0 references
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\).
0 references
Riesz spaces
0 references
vector lattices
0 references
Dedekind order completion
0 references
semicontinuous functions
0 references
0 references