Seminormed \(\ast\)-subalgebras of \(\ell^{\infty}(X)\) (Q2013071)

Let \(A\) be a commutative \(^\ast\)-algebra over \({\mathcal F}\). For any set \(X\), let \(\rho\) be a submultiplicative quasi-norm on \({\mathcal F}^X\) such that for the constant function \(1\), \(\rho(1) \geq 1\). Let \(X_{\rho}\) denote the set of \(\rho\)-continuous evaluations on \({\mathcal F}^X\). Let \(B_{\rho}({\mathcal F}^X)=\{f \in {\mathcal F}^X: \rho(f)< \infty\}\). Let \(\tau: A \rightarrow B_{\rho}({\mathcal F}^X)\) be a \(^\ast\)-algebra homomorphism. For the induced map \(\tau_{\ast}\), the authors show that \(\tau_{\ast}(X_{\rho})\) is dense in \(\mathbf{sp} _{\rho \circ \tau}(A)\), if and only if there is a \(D>0\) such that \(\rho(\tau(a)) \leq D \sup\{|e_x(\tau(a))| : x \in X_{\rho}\}\), for all \(a \in A\), where \(e_x\) denotes the evaluation map.