Open mapping theorem for spaces of weakly additive homogeneous functionals (Q650331)

Let \(X\) be a compact metric space and \(OH(X)\) the space of all increasing, positively homogeneous functionals \(\mu:C(X)\rightarrow\mathbb{R}\) satisfying \(\mu(\varphi+c\cdot 1_X)=\mu(\varphi)+c\) for \(\varphi\in C(X)\) and \(c\in\mathbb{R}\). Let \(f:X\rightarrow Y\) be a continuous map onto a compact metric space \(Y\) and \(OH(f):OH(X)\rightarrow OH(Y)\) defined by \((OH(f)(\mu))(\varphi)=\mu(\varphi\circ f)\) where \(\mu\in OH(X)\) and \(\varphi\in C(Y)\). It is shown that \(f\) is open if and only if \(OH(f)\) is open where \(OH(X)\) and \(OH(Y)\) are endowed with the topology of pointwise convergence.