On statistical exhaustiveness (Q452957)

The authors study statistical versions of several types of convergence of sequences of functions between two metric spaces. They introduce the notion of statistical exhaustiveness of a sequence of functions between two metric spaces and establish a characterisation of this notion using statistical density. The authors define statistical \(\alpha\)-convergence of a sequence of functions in \(Y^X\) (\(X,Y\) being two metric spaces) and establish its equivalence with other notions of convergence (under some additional hypothesis) viz. statistical point-wise convergence, statistical uniform convergence on compacta and statistical strong uniform convergence on the bornology \(\mathcal K_r\) (the collection of all nonempty relatively compact subsets of \(X\) i.e. subsets of \(X\) with compact closure); a bornology on \(X\) is a family \(\mathcal B\) of nonempty subsets of \(X\) which is closed under finite unions, is hereditary (i.e. closed under taking nonempty subsets) and forms a cover of \(X\). The authors introduce the notion of statistical weak exhaustiveness of a sequence of functions in \(Y^X\) and show that for a sequence \((f_n)_{n\in\mathbb N}\) \big[in \(C(X,Y)\)\big] which is statistically point-wise convergent to \(f\in Y^X\), the statistical weak exhaustiveness of \((f_n)\) is equivalent to statistical strong uniform convergence of \((f_n)\) to \(f\) on the bornology \(\mathcal F\) (the family of all nonempty finite subsets of \(X\)) and is also equivalent to the continuity of \(f\). Finally the authors prove that if a sequence \((f_n)_{n\in\mathbb N}\) in \(C(X,Y)\) is statistically Alexandroff convergent to \(f\in Y^X\) then \(f\) is continuous.