Bornological convergence and shields

Let TeX be an ideal of subsets of a metric space TeX , and for TeX , let TeX denote the TeX -enlargement of E. A net of subsets TeX of X is called TeX -convergent (resp. TeX -convergent) to a subset A of X if for each TeX and each TeX , we have eventually TeX (resp TeX . The purpose of this article is to give simple necessary and sufficient conditions for the lower and upper TeX -convergences to be topological on the power set of X and on the closed subsets of X. In the first environment, the condition for upper convergence is stronger than that for lower convergence, while in the second more restrictive environment, it is stronger if and only if TeX is an open subset of X. In our analysis there arises a pregnant new idea – that of one set serving to shield a fixed subset from closed sets – that we study in detail, and which plays an interesting role in the upper semicontinuity of multifunctions.

Let be an ideal of subsets of a metric space , and for , let denote the -enlargement of E. A net of subsets of X is called -convergent (resp. -convergent) to a subset A of X if for each and each , we have eventually (resp . The purpose of this article is to give simple necessary and sufficient conditions for the lower and upper -convergences to be topological on the power set of X and on the closed subsets of X. In the first environment, the condition for upper convergence is stronger than that for lower convergence, while in the second more restrictive environment, it is stronger if and only if is an open subset of X. In our analysis there arises a pregnant new idea - that of one set serving to shield a fixed subset from closed sets - that we study in detail, and which plays an interesting role in the upper semicontinuity of multifunctions.