Symmetric Bombay topology

Abstract

The subject of hyperspace topologies on closed or closed and compact subsets of a topological space X began in the early part of the last century with the discoveries of Hausdorff metric and Vietoris hit-and-miss topology. In course of time, several hyperspace topologies were discovered either for solving some problems in Applied or Pure Mathematics or as natural generalizations of the existing ones. Each hyperspace topology can be split into a lower and an upper part. In the upper part the original set inclusion of Vietoris was generalized to proximal set inclusion. Then the topologization of the Wijsman topology led to the upper Bombay topology which involves two proximities. In all these developments the lower topology, involving intersection of finitely many open sets, was generalized to locally finite families but intersection was left unchanged. Recently the authors studied symmetric proximal topology in which proximity was used for the first time in the lower part replacing intersection with its generalization: nearness. In this paper we use two proximities also in the lower part and we obtain the lower Bombay hypertopology. Consequently, a new hypertopology arises in a natural way: the symmetric Bombay topology which is the join of a lower and an upper Bombay topology.