Decomposition of topologies which characterize the upper and lower semicontinuous limits of functions (Q642735)

This paper deals with a decomposition of the topology of pointwise convergence and the sticking topology, characterizing the upper and lower semicontinuity of the limit function of a sequence of functions and offers a clear visualization of their hidden and opposite roles with respect to the upper and lower semicontinuity and consequently the continuity of the limit. Actually, the author decomposes the uniformity giving the topology of pointwise convergence on \(\mathbb R^X\) (\(X\) being a metric space) into two halves (upper and lower) and each half being a quasi-uniformity induces a topology on \(\mathbb R^X\), termed as the upper pointwise topology and lower pointwise topology on \(\mathbb R^X\). The author defines the cofinally upper and lower weakly exhaustiveness of a sequence of functions in \(\mathbb R^X\) and also introduces another concept that says when a sequence of functions in \(\mathbb R^X\) is cofinally almost below (resp. above) \(f\in\mathbb R^X\) around a point \(x_0\in X\). All these concepts are then modified by replacing the ``cofinality'' by ``statistical density'' to enlighten the theory from a statistical point of view. Using these concepts the author finds necessary and sufficient conditions for the limit of the pointwise convergence of a sequence of functions in \(\mathbb R^X\) to be upper semicontinuous. She also proves that the limit of statistically pointwise convergence of a sequence of functions in \(\mathbb R^X\) is continuous iff the sequence is cofinally weakly exhaustive. The author makes a decomposition of the sticking topology in \(C(X)\) just by decomposing the uniformity generating the sticking topology into two quasi-uniformities. Using the concept of statistical density the author defines statistically Alexandroff convergence and statistically Arzela convergence of a sequence of functions in \(C(X,Y)\) and ultimately establishes a set of necessary and sufficient conditions for the limit of the statistically pointwise convergence of a sequence of continuous functions to be continuous. In the entire discussion, the asymmetric role of the upper and lower decomposition of the pointwise convergence (from the statistical point of view) with respect to the upper and lower decomposition of the sticking convergence and the semicontinuity of the limit function is revealed nicely.