The finest Nachbin topology is a mixed topology (Q801246)

For a completely regular Hausdorff space T, C(T) (resp., \(C^ b(T))\) denotes the space of all real valued continuous (resp., continuous and bounded) functions on T. A subset B of T is called ''bounded'' (or bounding) if the restriction of each \(f\in C(T)\) to B is bounded. A Nachbin family V on T is a set of weights on T (i.e., of nonnegative upper semicontinuous [u.s.c.] functions on T) that is directed upward in the sense that, for u,v\(\in V\) and \(\lambda\geq 0\), there is \(w\in V\) such that \(\lambda\) \(u\leq w\) and \(\lambda\) \(v\leq w\). For such a Nachbin family V on T, the corresponding weighted space is \(CV_ 0(T)=\{f\in C(T);vf\quad vanishesat\quad \inf inityfor\quad each\quad v\in V\},\) endowed with the locally convex (l.c.) topology given by the seminorms \(f\to \| vf\|\), \(v\in V\). (In his Lemma 8, the author points out that no generality is obtained in assuming that weights are not u.s.c.) It is a well-known result that the strongest weighted topology on \(C^ b(T)\), i.e., the topology of \(CV_ 0(T)\), where V is the set of all weights on T that vanish at infinity, coincides with the substrict topology \(\beta_ 0\) of \textit{F. D. Sentilles} [Trans. Am. Math. Soc. 168, 311-336 (1972; Zbl 0244.46027)] (and hence with the strict topology \(\beta\) of R. C. Buck whenever T is locally compact). Thus, it is the finest l.c. topology on \(C^ b(T)\) agreeing with the compact-open topology \(t_ c\) on norm bounded subsets; for a survey, see \textit{H. S. Collins} [Adv. Math. 19, 207-237 (1976; Zbl 0347.46023)]. The author of the present article considers the strongest weighted topology on C(T); i.e., the topology of \(CV_ 0(T)\), where \(V={\mathcal S}_ 0(T)\) denotes the set of all weights on T that vanish at infinity and have bounded support. He proves that it coincides with the finest l.c. topology \(m(t_ c,B_ 0)\) on C(T) that agrees with \(t_ c\) on order bounded intervals (i.e. on all sets \(\{g\in C(T);| g(t)| \leq f(t)for\quad all\quad t\in T\},\) \(f\in C(T)\) with \(f\geq 0)\). In the proof, the dual space \(M_{\beta}(T)\) of \(C_ m(T)=(C(T),m(t_ c,B_ o))\) is identified with the space of all finite Radon measures on T with bounded support, and then the equicontinuous subsets of (C(T))' are just the ''bounded Prohorov sets''; i.e.; the uniformly tight subsets H of \(M_{\beta}(T)\) with \(S(H)=\overline{\cup}_{\mu \in H}\overline{\sup p \mu}\) bounded; they coincide with the subsets of polars of sets of the form \(V_ v=\{f\in C(T)/\| vf\| \leq 1\},\) \(v\in {\mathcal S}_ 0(T).\)