No label defined (Q4672175)

If \(X\) is a completely regular Hausdorff space and \(E\) is a nontrivial Hausdorff topological vector space, let \(C(X,E)\) denote the space of continuous functions from \(X\) into \(E\). If \(V\) is a `directed upward set of nonnegative upper semicontinuous functions' on \(X\), and if for each \(x\) in \(X\) there is a vector \(v\) in \(V\) for which \(v(x)> 0\), then \(V\) is said to be a system of weights on \(X\). The subspaces \(CV_b(X,E)\), \(CV_b(X,E)\) of \(C(X,E)\) are defined by \(CV_b(X,E)= \{f\in C(X,E) :vf\) is bounded for \(v\in V\}\), \(CV_b(X,E)= \{f\in C(X,E):vf\) vanishes at \(\infty\) for \(v\in V\}\). If \(\psi: X\to E\), then the multiplication operator \(M_\psi\) is defined by \(M_\psi(f)(x)= \psi(x)f(x)\). In one of the main results of this paper, it is shown that if \(X\) is also a `\(\kappa_R\)-space' and \(E\) is also a hypo-continuous algebra with unit element \(e\), then \(M_\psi\) is invertible on \(CV_b(X,E)\) if and only if (i) \(\psi(x)\) has a reciprocal in \(E\) for each \(x\), and (ii) for each \(v\in V\) and \(G\) in a neighbourhood of \(0\) in \(E\), there is a \(u\in V\) and \(H\) in the base of neighbourhoods of \(0\) in \(E\) such that \(v(x)\psi(x)y\in H\) implies that \(v(x)y\in G\) for \(x\in X\) and \(y\in E\). Further results of the paper relate to the compactness of \(M_\pi\) on \(CV_b(X,E)\), where \(\pi: X\to B(E)\) is continuous in the topology of bounded subsets \(B(E)\) of \(E\). The introduction of the paper contains references to papers in which similar results have been derived in \(L^p\)-spaces, spaces of analytic functions and spaces of continuous functions.