Strongly proximal continuity \& strong connectedness (Q272841): Difference between revisions

This paper deals with the fundamental notion of a strong proximity, a binary relation on the power set of a set \(X\). If for example, one takes the strong proximity related to non-empty intersections of interiors for a topological space \(X\), then \(A\) is strongly near \(B\) iff the intersection of \(\text{int} A\) and \(\text{int} B\) is not empty or either \(A\) or \(B\) is equal to \(X\), provided \(A\) and \(B\) are not singletons. It turns out that if \(A\subset X\) is an open set, then each point belonging to \(A\) is strongly near \(A\). Then a new kind of hit-and-miss hypertopology is defined which extends recent work on hypertopologies. Thus it should be noticed that this composition has a foundation in geometry. A main result consists in the statement that if the topological spaces \(X,Y\) are endowed with compatible strong proximities and \(f: X \to Y\) is a bijective strongly proximal equivalence then its extension on the hyperspace of all closed subsets of \(X\) and \(Y\), respectively, endowed with the related strongly hit-and-miss hypertopologies, is a homeomorphism. Then for a topological space endowed with a strongly near proximity, strongly proximal connectedness implies connectedness but not necessary the converse. Applications of strongly proximal connectedness are given in terms of strongly proximal descriptive proximity.