In several situations the notion of uniform continuity can be strengthened to strong uniform continuity to produce interesting properties, especially in constrained problems. The same happens in the setting of proximity spaces. While a parallel theory for uniform and strong uniform convergence was recently developed, and a notion of proximal convergence is present in the literature, the notion of strong proximal convergence was never considered. In this paper, we propose several possible convergence notions, and we provide complete comparisons among these concepts and the notion of strong uniform convergence in uniform spaces. It is also shown that in particularly meaningful classes of functions these notions are equivalent and can be considered as natural definitions of strong proximal convergence. Finally we consider a function acting between two proximity spaces and we connect its continuity/strong continuity to convergence in the respective hyperspaces of a natural functor associated to the function itself.
Complete metrizability of topologies of strong uniform convergence on bornologies
