Lower-Vietoris-type topologies on hyperspaces (Q517120)

In [Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 33, No. 1, 43--70 (1998; Zbl 0904.03038)], \textit{G. Dimov} and \textit{D. Vakarelov} introduced the notion of Tychonoff-type topology as a generalization of the upper Vietoris (or upper semi-finite) topology. In this paper, the author introduces the notion of lower Vietoris-type topology, which is a generalization of the lower Vietoris (or lower semi-finite) topology, in a way similar to the Tychonoff-type topology, and generalizes results due to \textit{E. Cuchillo-Ibáñez} et al. [Topol. Proc. 17, 29--39 (1992; Zbl 0790.54006)] on the lower Vietoris topology. Let \(X\) be a set and \(\mathcal{M}\) a family of non-empty subsets of \(X\). A topology \(\mathcal{O}\) on \(\mathcal{M}\) is called a lower Vietoris-type topology on \(\mathcal{M}\) if \(\mathcal{O} \cap \{A^-_\mathcal{M} : A \subseteq X \}\) is a subbase for \(\mathcal{O}\), where \(A^-_\mathcal{M} =\{ M \in \mathcal{M} : M \cap A \neq \emptyset\}\). One of the results of this paper is the following: Let \((X, \mathcal{T})\) be a topological space, \(\mathcal{P}\) a subbase for \(\mathcal{T}\) and \(\mathcal{M}\) a subfamily of \(\{X \setminus U : U \in \mathcal{P} \}\) such that \(\emptyset \not\in \mathcal{M}\) and \(X \in \mathcal{M}\). If \(\mathcal{O}\) is the lower Vietoris-type topology on \(\mathcal{M}\) generated by \(\mathcal{P}\) and \(\mathcal{M}\) is closed under intersections of decreasing subfamilies, then \((\mathcal{M},\mathcal{O})\) has the fixed-point property. As a corollary, it is proved that for every continuum \(X\) and for every continuous map \(f : X \to X\) there exists a subcontinuum \(K\) of \(X\) such that \(f(K)=K\).