A theorem of Nachbin--Shirota type for algebras (Q689819)

Let \(X\) be a Hausdorff completely regular space and \({\mathcal P}\) a family of bounding subsets of \(\upsilon X\) [in the sense of \textit{J. Schmets}, Espaces de fonctions continues, Lect. Notes Math. 519 (1976; Zbl 0334.46022)]. We consider the algebra \(C_{\mathcal P}(X)\) of continuous functions on \(X\), with the topology of uniform convergence on the members of \({\mathcal P}\) and show that \(C_{\mathcal P}(X)\) is \(A\)-bornological if and only if it is bornological as a locally convex space. We then give the \(A\)-bornological and \(m\)-bornological algebras associated to \(C_{\mathcal P}(X)\). If \({\mathcal P}= {\mathcal K}(X)\) (the family of all compact subsets of \(\upsilon X\)), we get that the following are equivalent: 1) \(C_{\mathcal P}(X)\) is \(m\)-bornological, 2) \(C_{\mathcal P}(X)\) is \(A\)-bornological, 3) \(C_{\mathcal P}(X)\) is ultra-\(m\)-bornological and 4) \(X\) is realcompact. Similar questions, in connection with barrelledness, are studied. According to the kind of barrels in consideration and to the bornivorousness property they are assumed to verify, we introduce plenty barrelledness notions, and show that, in the case of \(C_{\mathcal P}(X)\), they all reduce to the two classical ones, namely barrelledness and quasi-barrelledness.