Upper and lower Lebesgue classes of multivalued functions of two variables (Q2417336)

The possibility of replacing the topology by the (only countably additive) family of cozero sets in the domain and range of multifunctions defined on product spaces is investigated. Multifunctions $F:X\times Y\to Z$ with compact values, whose $X$-sections belong to the $\alpha$ lower (resp. upper) functional Borel class, and whose $Y$-sections fulfil some condition similar to Vietoris continuity, are proved to be jointly in the $(\alpha+1)$ upper (resp. lower) functional Borel class. A similar theorem (4.2) is formulated for usual (= not functional) Borel classification provided $Z$ is a perfectly normal space, and $Y$ a perfect space. An example of a separately continuous and jointly lower semicontinuous multifunction with non-closed values, which is not (functionally) upper Borel measurable, is also constructed. The results remove the condition of metrisability from [\textit{G. Kwiecińska}, in: Proceedings of the 9th Prague topological symposium, Prague, Czech Republic, August 19--25, 2001. Toronto: Topology Atlas. 181--189 (2002; Zbl 1002.26019)] and form a generalisation to the case of functional (= cozero) classification (applicable e.g. to approximate continuity, although the density topology is only $T_{3\frac{1}{2}}$ but not perfectly normal).