Some results concerning the generic continuity of set-valued mappings (Q413601): Difference between revisions

A theorem of \textit{M. K. Fort }[Publ. Math., Debrecen 2, 100--102 (1951; Zbl 0044.05703)] states that if \(F:X\rightarrow 2^Y\) is an upper (lower) semicontinuous set-valued map from a Baire space \((X,\tau)\) into the non-empty compact subsets of a metric space \((Y,d)\) then \(F\) is both upper and lower semicontinuous at the points of a dense residual subset of \(X\), (i.e. the intersection of at most countably many dense open sets of \(X\)). In this paper different aspects of the theorem of Fort are considered. First, it is proved that the theorem can not be extended in terms of measure theory; to this end an example of an upper semicontinuous compact-valued map \(F:X\rightarrow 2^X\) where \(X=[0,1]\subset \mathbb{R}\) such that the points at which \(F\) is lower semicontinuous is a zero-measure set is given. Secondly, the following result is proved (Theorems 3.1 and 3.2): ``Let \(X\) be a Hausdorff topological space and let \(Y\) be a metric space (with at least one non-isolated point). Then for each lower (upper) semicontinuous compact-valued map \(F:X\rightarrow 2^Y\) the points at which \(F\) is continuous form a dense residual subset of \(X\) if and only if \(X\) is a Baire space.'' The last section shows that Fort's theorem fails if the map \(F\) does not have compact values, to this end an example of \textit{J. P. Aubin} and \textit{H. Frankowska} [Set-Valued Analysis. Systems and Control: Foundations and Applications, 2. Boston etc.: Birkhäuser.(1990; Zbl 0713.49021)] is used. Finally, using the notions of \textit{metric} upper (lower) semicontinuous the following result, in which the values of \(F\) are not necessarily compact subsets, is proved (Theorems 4.2 and 4.4): ``Let \(X\) be a complete metric space, \(Y\) be a metric space and \(F:X\rightarrow 2^Y\) be a metric upper (lower) semicontinuous map. Then there exists a dense residual set \(Q\subset X\) such that \(F\) is metric lower (upper) semicontinuous at each \(x\in Q\).''