Semicontinuous limits of nets of continuous functions

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Real-valued functions in general topology (54C30) Function spaces in general topology (54C35)

Review text

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\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Semicontinuous limits of nets of continuous functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q353143)