Images of connected sets by semicontinuous multifunctions (Q1066501)

The aim of this paper is to prove the following two theorems (T: \(X\to Y\) is a multifunction): (1) The image of a compact set \(K\subset X\) by an upper semicontinuous (u.s.c.) compact-valued multifunction T is compact and the graph \(T_ K\) is also compact. (2) The image of a connected set \(K\subset X\) by an u.s.c. (or l.s.c.) multifunction T whose values are non-empty connected sets is connected. If T is either l.s.c. or u.s.c. and compact-valued, then the graph \(T_ K\) is also connected. As some applications, the mean-value theorem for locally Lipschitzian functions, an existence theorem for the Lagrange problem in the calculus of variations, the compactness and connectedness of the reachable set for a general nonlinear differential inclusion and for a differential equation without uniqueness and connectedness of the set of non-dominated outcomes in multicriteria optimization are presented.