\(A\)-realcompact spaces (Q1128200): Difference between revisions

For the authors, a function algebra \(A\) on (a completely regular Hausdorff space) \(X\) is a family of (continuous) real-valued functions on \(X\) which is a unital algebra under pointwise operations, separates points of \(X\) and which is ``closed under bounded inversion''; i.e., \(f\in A\) and \(f\geq 1\) implies \(1/f\in A\). The set of all multiplicative linear functionals \(\neq 0\) on \(A\) is denoted by \(\text{Hom}(A)\). Now \(X\) is said to be \(A\)-realcompact if every \(\varphi\in \text{Hom}(A)\) is a point evaluation. Thus the classical notion of realcompactness (that is, the special case \(A= C(X)\)) is generalized to include e.g. algebras \(A\) of differentiable or real analytic functions. As the authors say, the present ``paper is devoted to elaborate a general theory'' of \(A\)-realcompactness and related notions. The authors also characterize when \(A\) is ``sequentially evaluating''; i.e., for every \(\varphi\in\text{Hom}(A)\) and each sequence \((f_n)\) in \(A\) there is \(x\in X\) such that \(\varphi(f_n)= f_n(x)\) for all \(n\). -- There are some obvious misprints.