Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 412796, 10 pages http://dx.doi.org/10.1155/2013/412796 Research Article Strong Proximal Continuity and Convergence Agata Caserta,1 Roberto Lucchetti,2 and Som Naimpally3 1 Department of Mathematics, Seconda UniversitaΜ degli Studi di Napoli, 81100 Caserta, Italy Department of Mathematics, Politecnico di Milano, 20133 Milano, Italy 3 96 Dewson Street, Toronto, ON, Canada M3J 1P3 2 Correspondence should be addressed to Roberto Lucchetti; roberto.lucchetti@polimi.it Received 16 October 2012; Accepted 9 January 2013 Academic Editor: Yuriy Rogovchenko Copyright © 2013 Agata Caserta et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. 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. 1. Introduction In topology and analysis the concepts of uniform continuity and uniform convergence on compacta play a central role. It is well known that a continuous function restricted to a compact set is uniformly continuous on that set. In the setting of metric spaces, Beer and Levi [1] observed that a continuous function is actually uniformly continuous on a sufficiently small enlargement of every compact set. This led them to introduce the concept of strong uniform continuity on a set that is not necessarily compact. The concepts of uniform continuity and strong uniform continuity agree on the whole space, but they may differ on a subset. This phenomenon is interesting since it is rare; generally one comes across concepts which differ globally and agree locally. It is also known that uniform convergence preserves uniform continuity but on the other hand this may fail for strong uniform continuity. Thus in Beer and Levi [1] and Caserta et al. [2] a definition of strong uniform convergence is considered, enjoying the property of preserving strong uniform continuity. This concept is related to the sticking convergence defined by Bouleau [3] (see also [4]). In Beer [5], the author extends the concept of strong uniform continuity to the more general setting of Hausdorff uniform spaces and develops the rudiments of the theory. Since in any uniform space a natural proximity is associated to the uniformity, it is then useful to consider notions of continuity and convergence directly connected to the proximity structure. Thus a notion of proximal continuity has been proposed, with the property of preserving the nearness of two sets. This is a stronger notion than simple continuity, which preserves nearness of a point and a set. The equality of the two properties provides a powerful tool in studying the problem of extension of continuous functions from dense subspaces; see Gagrat and Naimpally [6]. In analogy with the uniform case, a natural concept of convergence is defined in this setting. It is called proximal convergence, or also Leader convergence, since it was defined by Leader [7]. In his investigation Leader in particular showed that uniform convergence implies proximal convergence and that the converse in general does not hold. However, when considering functions acting between the two proximity spaces (π, πΌ) and (π, π½), it is known that two convergence modes are equal in the following three cases: (a) π is totally bounded, (b) the converging net is a sequence or the directed set of the net is linearly ordered, and (c) π is compact (see [7–10]). Furthermore, proximal convergence 2 preserves continuity as well as proximal continuity. Then Beer and Levi [1] introduced some new concepts of local-type proximal continuity and local-type proximal convergence, in the setting of metric spaces, and provided some characterizations of strong uniform continuity and strong uniform convergence in terms of the analogous proximal properties. These characterizations rely on convergence of various types on bornologies. Some extensions are also provided in Beer [5]. In this paper, after revising the various concepts of continuity in uniform and proximal spaces, we introduce several forms of strong proximal convergences, and we investigate their connections in the setting of Tychonoff spaces with compatible uniformities and proximities. We also compare them with uniform convergences, and we study them on bornologies. Then we connect uniform and proximal continuity and convergences of functions with the behavior of a natural functor in the hyperspace associated to a given function π, that is, the functor π∧ (π΄) = π(π΄). In the hyperspace we consider the proximal topology and the Hausdorff-Bourbaki uniformity. Our results generalize similar ones in Beer and Levi [1] and Di Maio et al. [11–13]. 2. Preliminaries Given a topological space (π, π), we will denote by π(π) (πΆπΏ(π)) the set of all subsets (closed subsets) of π, and by π0 (π) (πΆπΏ 0 (π)) the set of all nonempty (nonempty closed) subsets. A central role in the paper will be played by the notion of bornology. Thus, let us start with the following definition. Definition 1. Given a set π, a bornology B on π is a family of subsets of π which is a covering, closed under finite union, and hereditary. By a base B0 for a bornology B one means a subfamily of B that is cofinal with respect to inclusion. There is the smallest bornology on π, denoted by Bπ , containing (only) the finite subsets of π. Of course π0 (π) is the greatest bornology on π. Another important bornology is the bornology K of the relatively compact subsets of π. In the sequel we shall constantly assume that bornologies have a closed base. We introduce now some relevant properties of bornologies, introduced and studied in [5, 14, 15]. Definition 2. A bornology B on a Hausdorff uniform space (π, U) is said to be stable under small enlargements if it contains an enlargement π(π΄) of each of its members π΄; B is said to be shielded from closed sets if for every π΄ ∈ B there is π΅ ∈ B such that π΄ ⊂ π΅ and each neighborhood of π΅ contains an enlargement of π΄. Clearly each bornology B that is stable under small enlargements is shielded from closed sets, but the converse does not hold: Bπ is always shielded but stable under small enlargements if and only if all points are isolated, and K is stable under small enlargement if and only if π is locally compact. Abstract and Applied Analysis In the paper we focus only on Tychonoff topological spaces with associated EfremovicΜ symmetric uniformities. For a complete reference on proximity spaces see Naimpally and Warrack [16]. It is well known that to any uniformity W on a uniform space π a natural proximity π is associated: π΄ππ΅ if there is no a symmetric π ∈ W such that π(π΄) ∩ π΅ = 0. In the other way around the situation is different: given a proximity space (π, πΌ), there are in general several, not equivalent uniformities on π, having πΌ as a natural proximity. Thus, we shall consider (π, U), (π, V) uniform spaces when we deal with uniform structures, and the associated proximity spaces (π, πΌ), (π, π½), when we speak about proximal properties. We shall use indifferently the notation π΄πΌπ΅ and π΄βͺπΌ π΅π to indicate that π΄πΌπ΅ is false. We now introduce some continuity notions we shall use throughout the paper. Definition 3. Let (π, U), (π, V) be uniform spaces, and B a bornology on π. One says that a function π : π → π is uniformly continuous if for every π ⊂ V there exists π ⊂ U such that for every π₯, π¦ ∈ π: π¦ ∈ π (π₯) σ³¨⇒ π (π¦) ∈ π (π (π₯)) . (1) Given a nonempty subset π΄ of π, π is uniformly continuous on π΄ if its restriction π|π΄ : (π΄, U) → (π, V) is uniformly continuous. Finally, we say that π is uniformly continuous on B if π is uniformly continuous on π΄, for every π΄ ∈ B. Remark 4. Uniform continuity can be expressed in the following equivalent form: πΈ ⊂ π΄ σ³¨⇒ π (π (πΈ) ∩ π΄) ⊂ π (π (πΈ)) . (2) This last remark suggests the following enforcement of uniform continuity. Definition 5. Let (π, U), (π, V) be uniform spaces, and B a bornology on π. let π΄ be a nonempty subset of π. One says that the function π : π → π is strongly uniformly continuous on π΄ if for every π ∈ V there exists π ∈ U such that πΈ ⊂ π΄ σ³¨⇒ π (π (πΈ)) ⊂ π (π (πΈ)) . (3) We say that π is strongly uniformly continuous on B if it is strongly uniformly continuous on π΄, for every π΄ ∈ B. Definition 6. Let (π, πΌ) and (π, π½) be proximity spaces, and B a bornology on π. We say that the function π : π → π is proximally continuous on π if ∀πΈ, π ⊂ π, πΈπΌπ σ³¨⇒ π (πΈ) π½π (π) . (4) Given a nonempty subset π΄ of π, π is proximally continuous on π΄ if its restriction π|π΄ : (π΄, πΌ) → (π, π½) is proximally continuous. Finally, we say that π is proximally continuous on B if π is proximally continuous on π΄, for every π΄ ∈ B. Definition 7. Let (π, πΌ) and (π, π½) be proximity spaces; let π΄ be a nonempty subset of π and B a bornology on π. One says Abstract and Applied Analysis 3 that the function π : (π, πΌ) → (π, π½) is strongly proximally continuous on π΄ if ∀πΈ ⊂ π΄, ∀π ⊂ π, πΈπΌπ σ³¨⇒ π (πΈ) π½π (π) . (5) Finally, one says that π is strongly proximally continuous on B if π is strongly proximally continuous on π΄, for every π΄ ∈ B. sp We shall use the notation πΆB (π, π) to denote the family of the functions from π to π which are strongly proximally continuous on the bornology B. Remark 8. Proximal and strong proximal continuity on a set can be equivalently expressed in the following way: π is proximally continuous on π΄ if ∀πΈ ⊂ π΄, ∀π ⊂ π (π΄) , −1 π (πΈ) βͺπ½ π σ³¨⇒ πΈβͺπΌ π (π) . (6) π is strongly proximally continuous on π΄ if ∀πΈ ⊂ π΄, ∀π ⊂ π, −1 π (πΈ) βͺπ½ π σ³¨⇒ πΈβͺπΌ π (π) . The next Lemma is useful to prove when proximal continuity and strong proximal continuity coincide on a bornology. Lemma 10. Let (π, πΌ) and (π, π½) be proximity spaces. Let π΄, πΆ ⊂ π such that π΄βͺπΌ πΆ. Suppose that for each πΉ ⊂ πΆ such that π΄πΌπΉ it holds π(π΄)π½π(πΉ). Then π is strongly proximally continuous on π΄. Proof. Take πΊ ⊂ π such that π΄πΌπΊ. Let πΉ = πΆ ∩ πΊ. We claim that π΄πΌπΉ. Otherwise, setting π» = πΊ ∩ πΆπ , it is π΄πΌπ», but then πΊ = πΉ ∪ π» is such that π΄πΌπΊ, against the assumption. Thus π΄πΌπΉ and then by assumption π(π΄)π½π(πΉ). Since πΉ ⊂ πΊ, it follows that π(π΄)π½π(πΊ). Proposition 11. Let (π, πΌ) and (π, π½) be two proximity spaces. Let B be a bornology on π stable under small enlargements. Then the following are equivalent: (1) π is proximally continuous on B; (7) We now recall some connections among the introduced continuity notions. Strong uniform continuity on a set implies uniform continuity on that set. The converse does not hold in general; for a complete characterization of equivalence among the two continuities in uniform spaces, see Beer [5]; strong proximal continuity implies proximal continuity, and in general the two notions do not coincide; furthermore (strong) uniform continuity implies (strong) proximal continuity, for the natural proximity associated to the uniformity. On the contrary a proximally continuous function needs not to be uniformly continuous for the uniformities compatible with the proximity. As an example, take a proximity space (π, πΌ) and uniformities U2 and U1 on π such that U1 is strictly finer than U2 . The identity map Id : (π, U2 ) → (π, U1 ) is not uniformly continuous, but the associated map from the proximal space (π, πΌ) into itself is so. However, if π, π are metric spaces and π is proximally continuous with respect to the induced proximities, then it is also uniformly continuous with respect to their underlying uniformities (see [17, Corollary 4.4.2]). More generally, it is clear that on the whole bornology Bπ the two notions of strong continuity do coincide and are equivalent to continuity of π. For the coincidence of the two notions of uniform continuity and strong uniform continuity on a bornology, let us recall the result proved in Beer [5, Theorem 3.5] that a continuous function acting between two uniform spaces, if it is uniformly continuous on a bornology shielded from closed sets, is automatically strongly uniformly continuous on the bornology. To provide a similar result in the proximity setting, we rephrase the notion of bornology stable under small enlargements, given in Beer [5, Definition 3.2] in a uniform setting, in order to have the analogous property in proximal spaces. Definition 9. Given a proximity space (π, πΌ) and a bornology B on it, one says that B is stable under small enlargements if for every π΄ in B there is B in B such that π΄βͺπΌ π΅. (2) π is strongly proximally continuous on B. Proof. We only need to prove that (1) implies (2). Fix π΄ ∈ B and let πΆ ∈ B be such that π΄βͺπΌ πΆ. From Lemma 10 it is enough to prove that if πΉ ⊂ πΆ is such that π΄πΌπΉ, then π(π΄)π½π(πΉ). But this is an immediate consequence of the fact that π is proximally continuous on πΆ. Since the bornology Bπ is not stable under small enlargements, but it is shielded from closed sets, it is easily seen that in the above proposition the assumption on the bornology of being stable under small enlargements cannot be weakened, since any function is proximally continuous on Bπ , but only the continuous functions are strongly proximally continuous on Bπ . In Beer [5, Theorem 3.5] a result similar to Proposition 11 in uniform setting is proved. 3. Convergences In this section we recall some notions of uniform and proximal convergence, and related properties. Some of the definitions are classical; some other are new. We also make several comparisons among them. We first recall the well-known definition of uniform convergence between uniform spaces. Definition 12. Let (π, U), (π, V) be uniform spaces, and let B be a bornology on π. Let π· be a directed set and ππ , π ∈ ππ , π ∈ π·. One says that the net {ππ } uniformly converges to π on π΄ ∈ B if ∀π ∈ V ∃π : ∀π > π π₯ ∈ π΄ σ³¨⇒ ππ (π₯) ∈ π (π (π₯)) . (8) {ππ } uniformly converges to π on B if it converges uniformly on every π΄ ∈ B. Definition 13 (see Beer [5]). Let (π, U), (π, V) be uniform spaces, and let B be a bornology on π. Let π· be a directed 4 Abstract and Applied Analysis set and ππ , π ∈ ππ , π ∈ π·. One says that the net {ππ } strongly uniformly converges to π on π΄ if ∀π ∈ V ∃π : ∀π > π, ∃ππ ∈ U : π₯ ∈ ππ (π΄) σ³¨⇒ ππ (π₯) ∈ π (π (π₯)) . (9) {ππ } strongly uniformly converges to π on B if it converges strongly uniformly on every π΄ ∈ B. Definition 18. Let (π, πΌ) and (π, π½) be proximity spaces, and let B be a bornology on π. Let π· be a directed set and let π, ππ ∈ ππ , π ∈ π·. One says that ({ππ }, π) satisfies property (♣) on π΄ ⊂ π if ∀πΆ ⊂ π΄, ∀π ⊂ π : ∃π΅ : πΆβͺπΌ π΅ ∧ π (π΅) βͺπ½ π, ∃π : ∀π > π ∃π΅π : πΆβͺπΌ π΅π ⊂ π΅ ∧ ππ (π΅π ) βͺπ½ π. (14) Remark 14. Strong uniform convergence on π΄ can be equivalently expressed in the following way: One says that ({ππ }, π) satisfies property (♣) on B if it satisfies property (♣) on every π΄ ∈ B. ∀π ∈ V ∃π : ∀π > π, We observe at first that there is an equivalent way, often used in the sequel, to express the above definitions. For instance, outer proximal convergence of {ππ } to π on B can be equivalently expressed in the following way: let (π, πΌ) and (π, π½) be proximity spaces, and B a bornology on π. Let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. The net {ππ } outer proximally converges to π on B if ∃ππ ∈ U : ∀πΆ ⊂ π΄, (10) ππ (ππ (πΆ)) ⊂ π (π (πΆ)) . Evidently for each Hausdorff uniform codomain the strong uniform convergence is finer than the uniform convergence on ππ ; they collapse on ππ if and only if the bornology B is stable under small enlargements, Beer [5, Theorem 3.1]; moreover they coincide on πΆ(π, π) if and only if the bornology B is shielded from closed sets, Beer [5, Theorem 3.4]. Definition 15 (see Leader [7]). Let (π, πΌ) and (π, π½) be proximity spaces, and B a bornology on π. Let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. The net {ππ } proximally converges to π on π΄ ∈ B if ∀πΆ ⊂ π΄, ∀π ⊂ π : π (πΆ) βͺπ½ π, ∃π : ∀π > π ππ (πΆ) βͺπ½ π. (11) The net {ππ } proximally converges on B if it proximally converges on π΄ for every π΄ ∈ B. We introduce now the following definitions, in order to investigate strong proximal convergence on bornology. Definition 16. Let (π, πΌ) and (π, π½) be proximity spaces, and B a bornology on π. Let π· be a directed set and let π, ππ ∈ ππ , π ∈ π·. The net {ππ } outer proximally converges to π on π΄ ∈ B if ∀πΆ ⊂ π΄, ∀π ⊂ π : ∃π΅ ∈ ππ : πΆ ⊂ π΅ ∧ π (π΅) βͺπ½ π, ∃π : ∀π > π ∃π΅π ∈ ππ : πΆ ⊂ π΅π ⊂ π΅ ∧ ππ (π΅π ) βͺπ½ π. (12) The net {ππ } outer proximally converges on B if it outer proximally converges to π on π΄, for every π΄ ∈ B. Definition 17. Let (π, π) be a topological space, let (π, π½) be a proximity space, and let B be a bornology on π. Let π· be a directed set and let π, ππ ∈ ππ , π ∈ π·. One says that ({ππ }, π) satisfies property (β‘) on π΄ ∈ B if ∀πΆ ⊂ π΄, ∀π ⊂ π : π (πΆ) βͺπ½ π, ∃π : ∀π > π ∃π΅π ∈ ππ : πΆ ⊂ π΅π ∧ ππ (π΅π ) βͺπ½ π. (13) One says that ({ππ }, π) satisfies property (β‘) on B if it satisfies property (β‘) on every π΄ ∈ B. ∀π΄ ∈ B, ∀π ⊂ π : ∃π΅ ∈ ππ : π΄ ⊂ π΅ ∧ π (π΅) βͺπ½ π, ∃π : ∀π > π ∃π΅π ∈ ππ : π΄ ⊂ π΅π ⊂ π΅ ∧ ππ (π΅π ) βͺπ½ π. (15) Remark 19. In the case the bornology B is the bornology of the finite subsets of π, proximal convergence coincides with pointwise convergence. This is no longer true for outer proximal convergence, as Example 23 shows. However it is clearly true in the case the limit function π is continuous, but in such a case a more general result holds (see Proposition 25). Remark 20. Property (β‘) usually does not define topological convergence, at least on the whole space ππ . For instance, it can happen that ({ππ := π}, π) does not fulfill property (β‘). Moreover, the next Example 21 shows that on the whole space ππ the (♣) limit of a net does not need to be unique. However both conditions are interesting and natural properties to consider and become topological convergences on important subsets of ππ . In particular, (β‘) is a sticking convergence type, as defined in Bouleau [3] and Bouleau [4], while (♣) looks like a natural type of proximal convergence, since it directly appeals to proximity properties and not to topological properties of the two proximity spaces. In the sequel, when dealing with metric spaces, we always intend that the proximity is the natural proximity associated with the metric. Example 21. In this example we see some pathological phenomenon associated to properties ♣ and β‘, from the point of view of convergence of nets. Let π = R2 , π = R, and B the bornology of the bounded sets. Let 0 if π¦ = 0 π (π₯, π¦) = { 1 otherwise. (16) Then ({ππ = π}, π) does not satisfy property (β‘). Let π = R, π = [0, +∞]. Let ππ : π → R be the zero function, for every π. Then observe that ({ππ }, π) satisfies (♣) for any π valued zero on a dense subset of R. Abstract and Applied Analysis 5 Coming back to the relations between the above properties/convergences, we immediately have the following. Proposition 22. Let (π, πΌ) and (π, π½) be proximity spaces, and B a bornology on π. Let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. (1) If ({ππ }, π) satisfies (β‘) on a set π΄, then ππ outer proximally converges on the set π΄, whence the same holds on a bornology. (2) If ({ππ }, π) satisfies (β‘) on a set π΄, then ππ proximally converges on the set π΄, whence the same holds on a bornology. Example 23. In this example we show that implication (1) in Proposition 22 is not an equivalence. Let π = π = R and B = Bπ . Define 0 { { π (π₯) = { {1 {π₯ if π₯ = 0 π { { ππ (π₯) = { {1 {π₯ if π₯ = 0 otherwise, (17) otherwise. π On the other hand, on π proximal and outer convergence are independent, as the following example shows. Example 24. In light of Example 23, we only need to produce a sequence proximally converging, but not outer proximally converging on B. Let π = π = R let B = Bπ and π the zero function. Let πΌ1 , πΌ2 , . . . , πΌπ , . . . be an enumeration of the rational numbers and set if π₯ = πΌπ (3) If ππ ∈ πΆ(π, π) and if ππ → π proximally on π΄ ∈ B, then ππ → π outer proximally on π΄ ∈ B, whence the same holds on B. Proof. (1) Let π΄ ∈ B and let π ⊂ π be such that π(π΄)βͺπ½ π. There is πΈ ∈ ππ such that π(π΄)βͺπ½ πΈβͺπ½ π. Let ππ ∋ π΅ := π−1 (πΈ). Thus π(π΅)βͺπ½ π. By assumption there is π such that there are π΅π ∈ ππ such that π΄ ⊂ π΅π ⊂ π΅ and ππ (π΅π )βͺπ½ π, and thus for all π ≥ πππ (π΄)βͺπ½ π. (2) Suppose π(π΄)βͺπ½ π. Then there is π ∈ ππ such that π(π΄)βͺπ½ πβͺπ½ π. We conclude by applying the definition of outer proximal convergence to π΅ := π−1 (π). (3) Let π΄ ∈ B and let π ⊂ π be such that there is π΅ ∈ ππ with π΄ ⊂ π΅ and π(π΅)βͺπ½ π. By assumption there is π such that for all π ≥ π, ππ (π΅)βͺπ½ π. Thus there are for all π open sets ππ such that ππ (π΅)βͺπ½ ππ βͺπ½ π. Let ππ ∋ π΅π := π−1 (ππ ) ∩ π΅. Hence π΄ ⊂ π΅π ⊂ π΅ and ππ (π΅π )βͺπ½ π. The following Corollary is immediate. Corollary 26. Let (π, πΌ) and (π, π½) be proximity spaces. Then in the space πΆ(π, π) the following are equivalent: Then {ππ } outer proximal converges to π, but does not proximal converge on Bπ ; thus in particular β‘ does not hold. π { { ππ (π₯) = { π { {1 (2) If π ∈ πΆ(π, π) and ππ → π outer proximally on π΄ ∈ B, then ({ππ }, π) satisfies (β‘) on π΄ ∈ B, whence the same holds on B; (18) otherwise. Taking any open set π΅ the set π = [−π, π] fulfills π(π΅)βͺπ½ π, while for any π΅ supπ₯∈π΅ ππ (π΅) = +∞, and thus there is no outer proximal convergence. Observe that the limit function π is continuous, while the approximating functions are not. With some (weak) assumptions on the functions ππ , π further relations hold. Proposition 25. Let (π, πΌ) and (π, π½) be proximity spaces, and B a bornology on π. Let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. (1) If π ∈ πΆ(π, π) and ππ → π outer proximally on π΄ ∈ B, then ππ → π proximally on π΄ ∈ B, whence the same holds on B; (1) ππ → π for the proximal convergence; (2) ππ → π for the outer proximal convergence; (3) property (β‘) holds for ({ππ }, π). Thus in the class of continuous functions proximal convergence is a sticking type convergence described also by means of property (β‘). The next Lemma is useful to characterize outer proximal convergence. Lemma 27. Let (π, πΌ), (π, π½) be two proximity spaces, B a bornology on π let π ∈ ππ and π΄ ∈ B. Then the following are equivalent: (1) π is strongly proximally continuous on π΄; (2) for every π ⊂ π such that π(π΄)βͺπ½ π, ∃π΅ : π΄βͺπΌ π΅ ∧ π (π΅) βͺπ½ π. (19) Proof. Let π be such that π(π΄)βͺπ½ π. Then by (2) there is π΅ such that π΄βͺπΌ π΅ and π(π΅)βͺπ½ π. Thus π΄βͺπΌ π΅ ⊂ π−1 (π) and so (2) implies (1). Conversely, let π be such that π(π΄)βͺπ½ π. Then there is π such that π(π΄)βͺπ½ πβͺπ½ π. Then by (1) π΄βͺπΌ π−1 (π), and there is π΅ such that π΄βͺπΌ π΅βͺπΌ π−1 (π); it follows that π(π΅) ⊂ πβͺπ½ π. Observe that in the above condition the set π΅ can be equivalently supposed to be open. From Lemma 27 we immediately get the following corollary. 6 Abstract and Applied Analysis Corollary 28. Let (π, πΌ) and (π, π½) be proximity spaces and sp B a bornology on π. Then in the class πΆB (π, π) a net {ππ } proximally converges if and only if property (♣) holds. ∀π΄ ∈ B ∀π ⊂ π : π (π΄) βͺπ½ π, Proof. This is an immediate consequence of Lemma 27. We now introduce two new properties on a pair ({ππ }, π), where as usual π ∈ π·, with π· a directed set. Similar to the case of property (β‘), they do not define a topological convergence on ππ , but on important subclasses of ππ they do. Definition 29. Let (π, πΌ) and (π, π½) be proximity spaces. Let π : π → π and B be a bornology on π. One says that ({ππ }, π) satisfies property (β’) on π΄ ∈ B if ∀π ⊂ π : π (π΄) βͺπ½ π ∃π΅ ⊂ π : π΄βͺπΌ π΅ ∧ ∃π : ∀π > πππ (π΅) βͺπ½ π. (20) One says that ({ππ }, π) satisfies property (β’) on B if it satisfies property (β’) on each π΄ ∈ B. The next example shows that a constant net does not need to fulfill the property (β’). Thus the same considerations made for property (β‘) in Remark 20 apply to (β’) as well. Naturally, we shall call property (β’) equiproximal convergence, when it is a topological convergence. Example 30. Let π be an infinite dimensional separable Hilbert space with orthonormal basis {ππ : π ∈ N} (e.g., π2 with ππ = (0, 0, . . . , 1, . . . , . . .)). Let π : π → [0, +∞) be the following function: ∞ 2π π (π₯) = ∑ (π₯, ππ ) . directed set and let π, ππ ∈ ππ , π ∈ π·. One says that ({ππ }, π) satisfies property (♠) on B if (21) π=0 Setting π΄ = π΅(0; 1), the unit ball in the Hilbert space, happens that π(π΄) = [0, 1], while for any enlargement π» of π΄π(π») = [0, ∞). Thus one more time the constant net {ππ = π} does not converge to π. The second property is meaningful instead only when a bornology is specified. For this reason we do not make comparisons of this property with the other ones with specific examples on sets. To prove our results, we start by giving a new definition, in the context of proximity spaces: it is the natural adaptation in this setting of the definition given by Beer in [5] in the uniform case. Definition 31. Let (π, πΌ) be a proximity space and B a bornology on it. One says that B is shielded from closed sets if for each π΄ ∈ B there is π΅ ∈ B such that each open set π containing π΅ is such that π΄πΌππ . In the sequel we shall naturally say, for sets π΄ and π΅ as above, that π΅ is a shield for π΄. Definition 32. Let (π, π) be a topological space, let (π, π½) be a proximity space, and let B be a bornology on π. Let π· be a ∃πΆ ∈ B : πΆ shields π΄ ∧ ∃π : ∀π > π ππ (πΆ) βͺπ½ π. (22) Property (β’) is a stronger notion than both property (♣) and proximal convergence. However in the next propositions we see that on bornologies with particular features the new properties coincide with previous convergences. Theorem 33. Let (π, πΌ) and (π, π½) be two proximity spaces; let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. Let B be a bornology on π and stable under small enlargements; let π be strongly proximally continuous on B. Then the following are equivalent: (1) ({ππ }, π) satisfies property (♠) on B; (2) {ππ } proximally converges to π on B; (3) ({ππ }, π) satisfies property (β’) on B. On the other hand, if for every π ∈ Rπ which is strongly proximally continuous on B, (2) and (3) are equivalent on B, then B is stable under small enlargements. Proof. It is enough to prove that (2) and (3) are equivalent. Let π΄ ∈ B and let us prove that if ππ → π proximally on π΄ then {ππ } satisfies property (β’) on B. Thus, suppose π is such that π(π΄)βͺπ½ π. Since π is strongly proximally continuous on π΄ and B is stable under small enlargements, from Lemma 27 we know that there is π΅ ∈ B such that π(π΅)βͺπ½ π. Since ππ → π on π΅, then eventually ππ (π΅)βͺπ½ π, and this concludes the proof of the first part. Let us now prove the second statement. Suppose B is not stable under small enlargements. We shall produce a net {ππ } proximally converging to a strongly proximally continuous limit function π on B, but on the other hand ({ππ }, π) does not satisfy property (β’) on B. There is π΄ ∈ B such that for every π΅ ∈ B it is not the case that π΄βͺπΌ π΅. Let π· = {π΅ ∈ B : π΄ ⊂ π΅}, directed by inclusion. Observe that, for every πΉ ⊂ π such that π΄βͺπΌ πΉ, for every π΅ ∈ π· there is π₯π΅πΉ ∈ πΉ \ π΅. Now define 1 πB (π₯) = { 0 if π₯ = π₯π΅πΉ for some πΉ otherwise. (23) We now prove that ππ΅ proximally converges on B to the function π valued zero everywhere, but on the other hand ({ππ΅ }, π) does not satisfy property (β’) on π΄ ∈ B. The first statement is clear, since for all πΆ ∈ π· such that π΅ ⊂ πΆ, it is ππΆ(π₯) = 0 on πΆ, whence on π΄. About the second setting π = [−1/2, 1/2], it is π(π΄) βͺ π, but for any πΉ ⊂ π such that π΄βͺπΌ πΉ, for every π΅ ∈ π·, 1 ∈ ππ΅ (πΉ), and this ends the proof. Abstract and Applied Analysis 7 Theorem 34. Let (π, πΌ) and (π, π½) be two proximity spaces let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. Let B be a bornology on π shielded from closed sets; let π be strongly proximally continuous on B. Then the following are equivalent: Corollary 36. Let (π, πΌ) and (π, π½) be two proximity spaces let B be a bornology on π stable under small enlargements. Then π π in the space πΆB (π, π) the following are equivalent: (1) ππ → π for the proximal convergence; (1) ({ππ }, π) satisfies property (♠); (2) ππ → π for the outer proximal convergence; (2) {ππ } proximally converges to π on B. (3) property (β‘) holds for ({ππ }, π) (sticking convergence); On the other hand, if π is a normal space, if for every π ∈ Rπ which is strongly proximally continuous on B, (1) and (2) are equivalent on B, then B is shielded from closed sets. Proof. Obviously we only need to prove that (2) implying (1), since (1) implies (2) is always true, with no assumptions on π and B. Let {ππ } be a net proximally converging to π on B, let π be strongly proximally continuous on B, let π΄ ∈ B, and suppose π(π΄)βͺπ½ π. Then there is π ⊂ π such that π(π΄)βͺπ½ πβͺπ½ π. Since π is strongly proximally continuous on B, it is π΄βͺπΌ π−1 (π). Take π΅ ∈ B such that π΅ shields π΄. It is easy to see then that B ∋ πΆ := π΅ ∩ π−1 (π) shields π΄. Moreover π(πΆ) ⊂ πβͺπ½ π. Since ππ → π proximally on πΆ ∈ B, then eventually ππ (πΆ)βͺπ½ π, and this concludes the proof of the first part. Suppose now B is not shielded from closed sets. We shall produce a net {ππ } proximally converging to a strongly proximally continuous limit function π on B, but on the other hand ({ππ }, π) does not satisfy property (♠) on B. Thus, there is π΄ ∈ B such that for every π΅ ∈ B there exists a closed set πΉπ΅ with πΉπ΅ ∩ π΅ = 0 and π΄πΌπΉπ΅ . Let π· = {π΅ ∈ B : π΄ ⊂ π΅ ∧ π΅ is closed}, directed by inclusion. Now, for every π΅ ∈ π· find a continuous function ππ΅ which is valued 0 on π΅ and 1 on πΉ. Mimicking the proof of Theorem 34, it is easy to see that ππ΅ proximally converges to π on B (since B has a closed base), but ({ππ΅ }, π) does not satisfy property (♠) on π΄ ∈ B. As a conclusion, observe that on πΆ(π, π) convergences proximal, outer proximal and property (β‘) coincide, and sp in the subset πΆB (π, π) of πΆ(π, π) of the strongly proximal continuous functions also (♣) is equivalent to proximal convergence. In the next example we see that (♣) can be in general different from other convergences in πΆ(π, π) \ sp πΆB (π, π). Example 35. Let π be the following subset of R2 : π = {(π₯, π¦) : π₯ ≥ 1, π¦ ≥ 0} . (24) Let π΄ = {(π₯, π¦) ∈ π : π¦ = 0}. Consider the bornology B of the sets of the form π ∪ {π₯1 } ∪ ⋅ ⋅ ⋅ ∪ {π₯π }, with π ∈ N and π ⊂ π΄. Finally, consider ππ (π₯, π¦) = (1/π)π₯π¦, π(π₯, π¦) = 0. Then ππ → π proximally, but ({ππ }, π) does not satisfy property (♣). If instead we take π(π₯, π¦) = π₯π¦, ππ (π₯, π¦) = π₯π¦ + (1/π)π₯2 , we see that ππ does not proximally converge on π΄, while (♣) holds on B. From the previous considerations the following corollary is immediate. (4) property (β’) holds for ({ππ }, π) (equiproximal convergence); (5) property (♣) holds for ({ππ }, π); (6) property (♠) holds for ({ππ }, π). We end the section showing some connections among strong uniform convergence and the proximal convergences introduced before. Proposition 37. Let (π, U), (π, V) be uniform spaces, with associated proximities πΌ, π½; let B be a bornology on π. Let {ππ }, π ∈ π·, π· a directed set, be a net strongly uniformly converging to π on B. Then ({ππ }, π) satisfies property (♣) on B. Proof. Fix π΄ ∈ B and let π ⊂ π be such that there is π΅ such that π΅βͺπΌ π΄ and π(π΄)βͺπ½ π; hence there is π such that π(π(π΄)) ⊂ π. Let π be such that π2 ⊂ π. Since ππ strongly uniformly converges to π on π΄, there exists π such that for all π > π there are ππ such that for all π₯ ∈ ππ (π΄), ππ (π₯) ⊂ π(π(π₯)). Let π1 such that π1 (π΄) ⊂ π΅. There is Μ π be such that π Μ 2 ⊂ πσΈ . Thus ππσΈ ⊂ π1 ∩ ππ and there is π π π Μ π (π΄) ⊂ π Μ 2 (π΄) ⊂ π΅π , it follows π΄ ⊂ ππσΈ (π΄) = π΅π ⊂ π΅. Since π π that π΄βͺπΌ π΅π ⊂ π΅. Moreover, for all π₯ ∈ Bπ , π(ππ (π₯)) ⊂ π2 (π(π₯)) ⊂ π(π(π₯)) ⊂ π, that is, ππ (π΅π )βͺπ½ π. The next proposition provides a similar, yet independent, result. Proposition 38. Let (π, U), (π, V) be uniform spaces, with associated proximities πΌ, π½ let B be a bornology on π. Let {ππ } be a net strongly uniformly converging to π on B. Then {ππ } outer proximal converges to π on B. Proof. Fix π΅ ∈ B and let π ⊂ π be such that there is π΄ ∈ ππ with π΅ ⊂ π΄ and π(π΄)βͺπ½ π; thus there is π such that π(π(π΄)) ⊂ π. Let π be such that π2 ⊂ π. Since ππ strongly uniformly converges to π on π΅, there exists π such that for all π > π there are ππ such that for all π₯ ∈ ππ (π΅), ππ (π₯) ∈ π(π(π₯)). Let π΅ ⊂ (ππ (π΅) ∩ π΄) = ππ ⊂ π΄. Then all ππ are open in π and for all π₯ ∈ ππ , π(ππ (π₯)) ⊂ π2 (π(π₯)) ⊂ π(π(π₯)) ⊂ π, that is, π(ππ )βͺπ½ π. 4. Convergence on Hyperspaces In this section we show that the notions of strong uniform continuity (convergence) and strong proximal continuity (convergence) restricted to a bornology are equivalent to continuity (convergences) on hyperspaces with suitable topologies. 8 Abstract and Applied Analysis Given a function π : (π, π) → (π, π) acting from a topological space to another topological space, it is natural to consider the two following functors associated to π and acting on hyperspaces: π∧ : π0 (π) σ³¨→ π0 (π) , π∗ : πΆπΏ (π) σ³¨→ πΆπΏ (π) , (25) defined as π∧ (π΄) = π (π΄) , π∗ (π΄) = π(π΄). (26) We remember that by hyperspace the set π0 (π) (or a subset of it, like πΆπΏ(π)) is intended, endowed with some topology making continuous the embedding π₯ → {π₯} of π in π0 (π). In particular, in this section we shall deal with a net of functions {ππ }, ππ : (π, πΌ) → (π, π½) and a function π, and we want to connect convergence on a bornology, in various senses, of ππ to π, with convergence of the associated nets {ππ∧ } and {ππ∗ }. Our focus will be on the proximal topology in the hyperspace of a proximal space, and on the Hausdorff Bourbaki uniform topology when considering uniform spaces. As it is well known, these topologies are the join of two topologies, a so-called upper topology and a socalled lower topology. A basic upper neighborhood of πΆ ∈ π0 (π), where (π, π½) is a proximity space, is I := {π» ⊂ π : π»βͺπ½ π} , (27) for some π ⊂ π with πΆβͺπ½ π, and π is from a given fixed family of subsets of π. Equivalently, a basic neighborhood of πΆ ⊂ π is I := {π ∈ π0 (π) : ππ½πΉ} , (28) where πΉ ⊂ π and πΆπ½πΉ and πΉ is from a given fixed family of subsets of π. The natural lower topology associated with the former upper one is the lower Vietoris topology (depending only from the topology on π, and indicated by ππ½− ) whose join with the upper Hausdorff topology gives rise to the wellknown proximal topology, indicated from now on by ππ½ . We remember that a subbase for the lower Vietoris topology is given by π− , where π is an open set in π and π− indicates the family of all sets πΉ ∈ π0 (π) such that πΉ ∩ π =ΜΈ 0. Instead, if (π, U) is a uniform space, in the hyperspace it is possible to consider the so-called Hausdorff-Bourbaki uniformity. As usual, it consists of a lower and an upper part. A typical neighborhood of a set π΄ in the upper uniform topology is the following family of sets: {π΅ ∈ π0 (π) : π΅ ⊂ π (π΄)} , (29) where π ∈ U. Similarly, a typical neighborhood of a set π΄ in the lower uniform topology is the following family of sets: {π΅ ∈ π0 (π) : π΄ ⊂ π (π΅)} , (30) where π ∈ U. It is known that, when considering the proximity naturally associated with the uniformity U, the upper proximal Hausdorff topology agrees with the upper uniform topology (see [18], page 50). Our first intent is to show that we can limit our analysis to one of the two functors. Our choice will be on π∧ . Definition 39. Given a topological space (π, π), let π be a topology on the set π0 (π) of the nonempty subsets of π. One shall say that π is a compatible topology on π if for each πΉ ∈ π0 (π) and π ∈ π, π is a neighborhood of πΉ if and only if it is a neighborhood of any set π΄ such that πΉ ⊂ π΄ ⊂ cl πΉ. Proposition 40. Let (π, πΌ) and (π, π½) be two proximity spaces, let π : π → π be a function and let π, π be compatible topologies on π0 (π) and π0 (π), respectively. Let B be a bornology on π and denote by B the set B = {π΅ : π΅ ∈ B}. Then the following are equivalent: (1) π∧ : B → π0 (π) is (π, π)-continuous; (2) π∗ : B → πΆπΏ(π) is (π, π)-continuous. It is clear that the hyperspace topologies introduced above are compatible topologies. Here is our first result. Proposition 41. Let (π, πΌ), (π, π½) be proximity spaces, and let π : (π, πΌ) → (π, π½) be a given function. The following are equivalent: (1) π is proximally continuous on π΅; (2) π∧ : (π0 (π΅), π»πΌ+ ) → (π0 (π), π»π½+ ) is continuous; (3) π∧ : (π0 (π΅), ππΌ ) → (π0 (π), ππ½ ) is continuous. Proof. (1) ⇒ (2) Without loss of generality, we can assume π΅ = π. Let us prove that, given π΄ ∈ π0 (π), for every neighborhood πΏ of π∧ (π΄) there is a neighborhood π of π΄ such that π∧ (π) ⊂ πΏ. We can assume πΏ = {π : πβͺπ½ π}, for some π such that π(π΄)βͺπ½ π. Thus there is π» such that π(π΄)βͺπ½ π»βͺπ½ π. Then π΄βͺπΌ π−1 (π»). Take π = {πΆ : πΆβͺπΌ π−1 (π»)}. Then for all πΆ ∈ π it is π(πΆ) ⊂ π»βͺπ½ π; thus π∧ (π) ⊂ πΏ. (2) ⇒ (1) By contradiction, there are π΄, π such that π΄πΌπ and π(π΄)π½π(π). Let πΏ be the following neighborhood of π∧ (π΄): πΏ = {π΅ : π΅π½π(π)}. Let π be a neighborhood of π΄: we can suppose π = {π : ππΌπ }, with π΄πΌπ . Since π΄πΌπ there exists π₯π ∈ π \ π. Thus {π₯π} ∈ π but π({π₯π}) ∉ πΏ, so that for no π neighborhood of π΄ in π0 (π) it happens that π∧ (π) ⊂ πΏ, and as a result π∧ is not continuous at π΄. (3) ⇔ (1) It is enough to prove that π proximally continuous implies π∧ (π0 (π΅), ππΌ− ) → (π0 (π), ππ½− ) is continuous. But actually continuity of π on π is enough to get it. For, let π be an open set such that π(π΄) ∩ π =ΜΈ 0. Take π₯ ∈ π΄ such that π(π₯) ∈ π. Since π is continuous at π₯, there is an open set πΌ in π such that for all π§ ∈ πΌ π(π§) ∈ π. Thus πΌ− is a neighborhood of π΄ such that, for all π΅ ∈ πΌ− , π(π΅) ∈ π− . The next result instead deals with the same issue, but when the function π is supposed to be strongly proximal continuous, rather than merely proximally continuous. We do not provide the proof, since it mimics that one of Proposition 41. Compare the result of Proposition 42 with Theorem 3.3 in Beer and Levi [1]. Abstract and Applied Analysis 9 Proposition 42. Let (π, πΌ), (π, π½) be proximity spaces, and let π : (π, πΌ) → (π, π½) be a given function. The following are equivalent: (1) π is strongly proximally continuous at every π΅ ∈ π0 (π΄); (2) π∧ : (π0 (π), π»πΌ+ ) → (π0 (π), π»π½+ ) is continuous at every π΅ ∈ π0 (π΄); ∧ (3) π : (π0 (π), ππΌ ) → (π0 (π), ππ½ ) is continuous at every π΅ ∈ π0 (π΄). We now provide analogous results, in uniform spaces. We shall prove only the second result; the proof of the first one is similar. Proposition 43. Let (π, U), (π, V) be uniform spaces, and let π : (π, U) → (π, V) be a given function. The following are equivalent: (1) π is uniformly continuous on π΄; + + ) → (π0 (π), π»V ) is continuous; (3) π∧ : (π0 (π), π»U (4) π∧ : (π0 (π), π»U ) → (π0 (π), π»V ) is continuous. The next results instead deal with convergences on a bornology. Proposition 46. Let (π, πΌ) and (π, π½) be two proximity spaces; let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. Let B be a bornology on π. Then the following are equivalent: (1) {ππ } proximally converges to π on B; (2) {ππ∧ } pointwise converges to π∧ at every π΄ ∈ B. Proof. Suppose {ππ } proximally converges to π on π΄ ∈ B, and let I be a neighborhood of π∧ (π΄). We suppose I = {π΅ ⊂ π : π΅π½πΉ}, for some πΉ ⊂ π, such that π(π΄)π½πΉ. Then ππ (π΄)π½πΉ eventually, so that ππ∧ (π΄) ∈ I eventually. The opposite implication follows the same pattern. In the sequel we shall use the following definition of convergence, that we shall call topological convergence. + + ) → (π0 (π), π»V ) is continuous; (2) π∧ : (π0 (π΄), π»U (3) π∧ : (π0 (π΄), π»U ) → (π0 (π), π»V ) is continuous. Proposition 44. Let (π, U), (π, V) be uniform spaces, and let π : (π, U) → (π, V) be a given function. The following are equivalent: (1) π is strongly uniformly continuous on π΄; + + (2) π∧ : (π0 (π), π»U ) → (π0 (π), π»V ) is continuous at every π΅ ∈ π0 (π΄); (3) π∧ : (π0 (π), π»U ) → (π0 (π), π»V ) is continuous at every π΅ ∈ π0 (π΄). Proof. (2) ⇒ (1) Suppose by contradiction that (1) is not true. Then there is π ∈ V such that for all π ∈ U there exist πΈπ ⊂ π΄ and points π₯π, π¦π, with Definition 47. Let (π, π) and (π, π) be topological spaces. A net {ππ }, π ∈ π·, π· a directed set, topologically converges to π if for every π’ ∈ π, for every neighborhood N of π(π’) there is a neighborhood M of π’ and π such that for every π > π ππ (M) ⊂ N. Proposition 48. Let (π, πΌ)) and (π, π½) be two proximity spaces; let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. Let B be a bornology on π. Then the following are equivalent: (1) {ππ } equiproximally converges to π on B; (2) {ππ∧ } : (π0 (π), π»πΌ+ ) → (π0 (π), π»π½+ ) topologically converges to π∧ at the members of B; (31) (3) {ππ∧ } : (π0 (π), ππΌ ) → (π0 (π), ππ½ ) topologically converges to π∧ at the members of B. Since π∧ is by assumption continuous with respect to the upper Hausdorff uniformities, given π ∈ V as above, there is π ∈ U such that π(π(πΈ) ⊂ π(π(πΈ)) for all subsets πΈ of π΄. But this contradicts (1), for πΈ = {π₯π}. (1) ⇒ (3) By contradiction, suppose there is πΉ ⊂ π΄ such that there is π ∈ V such that there exists πΊπ with πΉ ⊂ π(πΊπ) and π(πΉ) β« π(π(πΊπ)); that is, there are π₯π ∈ πΉ and π¦π ∈ π(π₯π) with (π(π₯π, π(π¦π)) ∉ π. But this contradicts strong uniform continuity of π at π΄. Proof. To show that (1) implies (2), we take π΄ ∈ B and a neighborhood I of π∧ (π΄) in π0 (π). Without loss of generality there exists π ⊂ π such that I = {π» ⊂ π : π»βͺπ½ π}, with π(π΄)βͺπ½ π. Then there exist π and π΅(∈ ππ ) such that for all π > π ππ (π΅)βͺπ½ π. Thus B =: {πΆ ⊂ π : πΆβͺπΌ π΅} is a neighborhood of π΄ such that ππ∧ (B) ⊂ I, and this shows the claim. For the converse relation, let π΄ ∈ B and let π be such that π(π΄)βͺπ½ π. Consider the following neighborhood I of π∧ (π΄): The following corollary generalizes Theorem 2.2. in Di Maio et al. [11], which establishes the same result in metric spaces. I = {π» ⊂ π : π»βͺπ½ π} . π₯π ∈ πΈπ, (π₯π, π¦π) ∈ π (π (π₯π) , π (π¦π)) ∉ π. Corollary 45. Let (π, U), (π, V) be uniform spaces, and let π : (π, U) → (π, V) be a given function. The following are equivalent: (1) π is strongly uniformly continuous on π0 (π); (2) π is uniformly continuous on π; (32) From (2) there are π and an open set π such that for all π > π ππ∧ (π) ∈ I. Since π is open in π0 (π) and contains π΄ there is πΏ ⊂ π such that π ⊃ {π : π βͺπΌ πΏ}. There is π΅ ∈ ππ such that π΄βͺπΌ π΅βͺπΌ πΏ. Thus ππ (π΅) ⊂ ππ (π) ⊂ I and so ππ (π΅)βͺπ½ π. To conclude the proof, it is enough to show that equiproximal convergence implies convergence of {ππ∧ ) for the lower Vietoris topology, on π0 (π) and π0 (π). Thus, take an open set π such that π(π΄) ∈ π− . Then there is π₯ ∈ π΄ 10 Abstract and Applied Analysis such that π(π₯) ∈ π. Thus π({π₯})βͺπ½ π, and there exists π΅, that without loss of generality we can suppose to be open, such that ππ (π΅)βͺπ½ π. This implies that for all πΆ ∈ π΅− , ππ (πΆ) ∈ π− , and this ends the proof. Specializing the above results to the bornology π0 (π) and collecting some previous statements we can establish the following interesting corollary. Corollary 49. Let (π, πΌ) and (π, π½) be two proximity spaces; let π· be a directed set and π, ππ ∈ ππ , π ∈ π·. Then the following are equivalent: (1) {ππ } proximally converges to π on π0 (π); (2) {ππ } equiproximally converges to π on π0 (π); (3) {ππ∧ } : (π0 (π), π»πΌ+ ) → (π0 (π), π»π½+ ) topologically converges to π∧ ; (4) {ππ∧ } : (π0 (π), ππΌ ) → (π0 (π), ππ½ ) topologically converges to π∧ ; (5) {ππ∧ } pointwise converges to π∧ at every π΄ ∈ π0 (π). Proof. We remind of that, as shown in Naimpally [19], continuity with respect to upper Vietoris topology on graphs automatically implies pointwise convergence, and this implies continuity with respect to the lower Vietoris topology: exactly the same proof applies when considering upper proximal topology instead of upper Vietoris topology. References [1] G. Beer and S. Levi, “Strong uniform continuity,” Journal of Mathematical Analysis and Applications, vol. 350, no. 2, pp. 568– 589, 2009. [2] A. Caserta, G. Di Maio, and L. HolaΜ, “ArzelaΜ’s Theorem and strong uniform convergence on bornologies,” Journal of Mathematical Analysis and Applications, vol. 371, no. 1, pp. 384–392, 2010. [3] N. Bouleau, “Une structure uniforme sur un espace F(E; F),” Cahiers de Topologie et GeΜomeΜtrie DiffeΜrentielle CateΜgoriques, vol. 11, no. 2, pp. 207–214, 1969. [4] N. Bouleau, “On the coarsest topology preservingcontinuity,” http://arxiv.org/abs/math/0610373. [5] G. Beer, “The Alexandroff property and the preservation of strong uniform continuity,” Applied General Topology, vol. 11, no. 2, pp. 117–133, 2010. [6] M. S. Gagrat and S. A. Naimpally, “Proximity approach to extension problems,” Fundamenta Mathematicae, vol. 71, no. 1, pp. 63–76, 1971. [7] S. Leader, “On the completion of proximity spaces by local clusters,” Fundamenta Mathematicae, vol. 48, pp. 201–215, 1960. [8] O. Njastad, “Some properties of proximity and generalized uniformity,” Mathematica Scandinavica, vol. 12, pp. 47–56, 1963. [9] A. Di Concilio and S. A. Naimpally, “Proximal convergence,” Monatshefte fuΜr Mathematik, vol. 103, no. 2, pp. 93–102, 1987. [10] A. Di Concilio and S. Naimpally, “Proximal set-open topologies,” Bollettino della Unione Matematica Italiana B, vol. 3, no. 1, pp. 173–191, 2000. [11] G. Di Maio, E. Meccariello, and S. Naimpally, “Hypercontinuous convergence in function spaces,” Questions and Answers in General Topology, vol. 22, no. 2, pp. 157–162, 2004. [12] G. Di Maio, E. Meccariello, and S. Naimpally, “Hypercontinuous convergence in function spaces. II,” Ricerche di Matematica, vol. 54, no. 1, pp. 245–254, 2005. [13] G. Di Maio, E. Meccariello, and S. A. Naimpally, “A natural functor for hyperspaces,” Topology Proceedings, vol. 29, no. 2, pp. 385–410, 2005. [14] G. Beer and S. Levi, “Pseudometrizable bornological convergence is Attouch-Wets convergence,” Journal of Convex Analysis, vol. 15, no. 2, pp. 439–453, 2008. [15] G. Beer, C. Costantini, and S. Levi, “Bornological convergence and shields,” Mediterranean Journal of Mathematics, pp. 1–32, 2011. [16] S. Naimpally and B. D. Warrack:, Proximity Spaces, Cambridge University Press, London, UK, 2008. [17] A. Di Concilio, “Proximity: a powerful tool in extension theory, function spaces, hyperspaces, boolean algebras and point-free geometry,” in Beyond Topology, F. Mynard and E. Elliott, Eds., vol. 486 of Contemporary Mathematics, pp. 89–112, American Mathematical Society, Providence, RI, USA, 2009. [18] S. Naimpally, Proximity Approach to Problems in Topology and Analysis, Oldenbourg, MuΜnchen, Germany, 2009. [19] S. A. Naimpally, “Graph topology for function spaces,” Transactions of the American Mathematical Society, vol. 123, pp. 267– 272, 1966. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014