Semicontinuous limits of nets of continuous functions (Q353143)

In this paper, the author presents a topology on the space of real-valued functions defined on a Hausdorff space \(X\) that is finer than the topology of pointwise convergence \(\mathcal T_p\). In fact, this topology (\(\mathcal T_u\)) is the induced topology on \(\mathbb R^X\) by the quasi-uniformity on \(\mathbb R^X\) whose base consists of all sets of the form \[ \begin{aligned} [F,\epsilon]^u:=&\big\{(g,h):\forall\,x\in F, |g(x)-h(x)|<\epsilon\text{ and }\exists\text{ a neighbourhood }V\text{ of }F \\ &\text{ such that }\forall\,x\in V,g(x)<h(x)+\epsilon\big\},\end{aligned} \] where \(F\) is any nonempty finite subset of \(X\) and \(\epsilon>0\). The author proves that ``whenever \(X\) is a functionally Hausdorff space, then the \(\mathcal T_u\)-closure of the set of continuous functions \(C(X)\) in \(\mathbb R^X\) is the set \(\mathcal U(X)\) of upper semicontinuous functions on \(X\).'' (A space \(X\) is called functionally Hausdorff if whenever \(x_1\neq x_2\) (in \(X\)), \(\exists\,f\in C(X)\) such that \(f(x_1)\neq f(x_2)\).) He also proves that, for a Hausdorff space \(X\), if \(\langle f_\lambda\rangle_{\lambda\in\Lambda}\) is a net in \(C(X)\) that is \(\mathcal T_p\)-convergent to \(g\in\mathcal U(X)\), then the net is \(\mathcal T_u\)-convergent to \(g\). He has defined a property of a net and using it he establishes that ``\(\mathcal T_u\)-convergence of a net \(\langle f_\lambda\rangle_{\lambda\in\Lambda}\) in \(C(X)\) to a function \(g\in\mathbb R^X\) implies \(\mathcal T_p\)-convergence of the net to \(g\) and \(g\in\mathcal U(X)\).'' Then the author has defined a topology \(\mathcal T_\square\), called the sticking topology or the topology of strong pointwise convergence, induced by an uniformity having as a base all entourages of the form \[ [F,\epsilon]^\square:=\big\{(g,h):\exists\text{ a neighbourhood }V\text{ of }F \text{ such that }\forall\,x\in V |g(x)-h(x)|<\epsilon\big\}, \] for any nonempty finite set \(F\) and \(\epsilon>0\). Finally he shows that, for a Hausdorff space \(X\), if \(\langle f_\lambda\rangle_{\lambda\in\Lambda}\) is a net in \(C(X)\) which is pointwise convergent to \(g\in\mathbb R^X\) then \(g\) is continuous iff \(\langle f_\lambda\rangle_{\lambda\in\Lambda}\) is \(\mathcal T_\square\)-convergent to \(g\) iff the Bartle property is satisfied on some neighbourhood of every nonempty compact subset of \(X\).