Semifixed sets of maps in hyperspaces with application to set differential equations (Q2432659): Difference between revisions

Let \(\mathcal{A}\) and \(\mathcal{B}\) be two families of nonempty subsets of a Banach space \(E\), \(\mathcal{P}(\mathcal{B})\) be the family of all nonempty subsets of \(\mathcal{B}\), and \(\Phi :\mathcal{A}\rightarrow \mathcal{P}(\mathcal{B})\) be a multifunction. A set \(A\in \mathcal{A}\) is called a semifixed set for \(\Phi\) if there exists \(F\in \Phi(A)\) such that one of the following relations \(A\subset F\), \(A\supset F\), \(A\cap F\neq \emptyset\) holds. A family \(\mathcal{A}\) is called convex if \(A,B\in \mathcal{A}\) and \(t\in [0,1]\) imply \((1-t)A+tB\in \mathcal{A}\). Let \(\mathcal{X}=\{ X\subset E: X \;\text{is nonempty compact convex}\}\) and \(\mathcal{D}=\{ X\subset E: X\; \text{is nonempty compact}\}\). Obviously, \(\mathcal{X}\) and \(\mathcal{D}\) endowed with the Hausdorff distance are complete metric spaces. The spaces \(\mathcal{C}(\mathcal{X})=\{ \mathcal{A}\subset \mathcal{X}:\mathcal{A}\;\text{is nonempty compact convex}\}\) and \(\mathcal{K}(\mathcal{D})=\{ \mathcal{A}\subset \mathcal{D}:\mathcal{A} \;\text{is nonempty compact}\}\) can be also equipped with a Haudorff metric. The author obtains several semifixed set theorems for upper semicontinuous multifunctions \(\phi:\mathcal{A}\rightarrow \mathcal{C}(\mathcal{X})\) or \(\phi:\mathcal{A}\rightarrow \mathcal{K}(\mathcal{D})\) with compact (or compact convex) values. The following theorem of this type can be illustrative: Let \(\mathcal{A} \in \mathcal{X}\) and \(\phi:\mathcal{A}\rightarrow \mathcal{C}(\mathcal{X})\) be an upper semicontinuous multifunction. If for each \(X\in \mathcal{A}\), there exists a set \(F\in \Phi(X)\) such that \(F\cap(\bigcup_{Z\in \mathcal{A}}Z)\neq \emptyset\), then there exists a set \(A\in \mathcal{A}\) such that \(A\cap F\neq \emptyset\) for some \(A\in \mathcal{A}\).