A Riesz type representation for lower semi-continuous, monotone, local functionals on \(C_c(X)^+\) (Q388484)

In this paper \((X, d)\) is a locally compact, separable metric space, \(C_{c}(X)\) the space of all real-valued continuous functions with compact supports and with usual topology, and \(C_{c}(X)^{+}\) the positive cone of \(C_{c}(X)\). \(\varphi: C_{c}(X)^{+} \to [0, \infty]\) a is functional, \(D(\varphi)= \{ u \in C_{c}(X)^{+}: \varphi(u) < \infty \}\) and \(\operatorname{supp}(\varphi)= X \setminus \{ x \in X: \exists\) a nbd. \(U\) of \(x\) such that for every \(u \in D(\varphi)\) with \(\operatorname{supp}(u) \subset U\), one has \(\varphi(u)=0\}\). The authors extend some known results about the local functionals from \(C_{c}(X)\) to \(\mathbb{R}\). The main result is that the statements I and II are equivalent:NEWLINENEWLINEI. The functional \(\varphi\) is lower semi-continuous, monotone, local and \(\forall u, v \in D(\varphi)\), one has \(u \wedge v, \; u \vee v \in D(\varphi)\) and \(\varphi(u \wedge v) +\varphi(u \vee v) \leq \varphi(u) +\varphi(v)\).NEWLINENEWLINEII. There exists a finite regular Borel measure \(\mu\) on \(X\) with \(\operatorname{supp}(\mu) \subset \operatorname{supp}(\varphi)\), and a function \(B: X \times \mathbb{R} \to [0, \infty]\) such that: {\parindent=8mm \begin{itemize}\item[(i)] \(B(., s)\) is measurable for each \(s\). \item[(ii)] \(B(x, 0)=0 \) and \(B(x, .)\) is monotone and lower semi-continuous \(\mu\text{-a.e. } x \in X \). \item[(iii)] \(\varphi(u)= \int B(x, u(x)) \; d \mu\) for every \(u \in D(\varphi)\).NEWLINENEWLINE\end{itemize}}