Berge's maximum theorem for noncompact image sets

This note generalizes Berge's maximum theorem to noncompact image sets. It also clarifies the results from Feinberg, Kasyanov and Zadoianchuk (2013) [7] on the extension to noncompact image sets of another Berge's theorem, that states semi-continuity of value functions. Here we explain that the notion of a K-inf-compact function introduced there is applicable to metrizable topological spaces and to more general compactly generated topological spaces. For Hausdorff topological spaces we introduce the notion of a KN-inf-compact function (N stands for "nets" in K-inf-compactness), which coincides with K-inf-compactness for compactly generated and, in particular, for metrizable topological spaces.