Some ultrabornological normed function spaces (Q1383707): Difference between revisions

Let \(X\) denote a compact Hausdorff space. For \(u\in C(X)\), \(\Omega_u\) denots the union of all open subsets of \(X\) on which \(u\) is constant; note that \(u\) is locally constant, but not necessarily constant, on \(\Omega_u\). \(E_0(X)\) is the selfadjoint subalgebra of all functions \(u\in C(X)\) for which \(\Omega_u\) is dense in \(X\). In their main theorem, the authors prove that \(E_0(X)\), endowed with the sup-norm, is ultrabornological. They also show that various similar uniformly normed, but not (in general) complete, spaces of continuous functions are ultrabornological. For \(X= [a,b]\), the main result follows from \textit{A. Gilioli} [Arch. Math. 61, No. 5, 465-477 (1993; Zbl 0783.46003)], who used a projection method. A similar method was developed by \textit{S. Díaz}, \textit{A. Fernández}, \textit{M. Florencio} and \textit{P. J. Paúl} [J. Math. Anal. Appl. 190, No. 3, 697-713 (1995; Zbl 0877.46002)] to treat rather general spaces of integrable functions. The method of the present authors is different; we assume in the sequel that \(X\) is metrizable. Let \(S\) be a family of nonempty open subsets of \(X\) with \(\bigcup\{U; U\in S\}\) dense in \(X\), and let \({\mathcal S}\) denote the set of all such families. For \(S\in{\mathcal S}\), put \(E_S:= \{u\in C(X)\); \(u\) is constant on each \(U\in S\}\), a uniformly closed subalgebra of \(C(X)\). The authors show by contradiction, using some sort of sliding hump type argument, that \(E_0(X)\) is the locally convex inductive limit of the spaces \(E_S\), \(S\in{\mathcal S}\).