Separate approximate continuity implies measurability

Extract

It is known that a real-valued function f of two real variables which is continuous in each variable separately need not be continuous in (x, y), but must be in the first Baire class (1). Moreover if f is continuous in x for each y and merely measurable in y for each x then it must be Lebesgue-measurable (7), and this result can be extended to more general product spaces (2). However, the continuum hypothesis implies that this result fails if continuity is replaced by approximate continuity, as can be seen from the proof of Theorem 2 of (2). This makes Mišik's question (5) very natural: is a function which is separately approximately continuous in both variables necessarily Lebesgue-measurable? Our main aim is to establish an affirmative answer. It will be shown that such a function must in fact be in the second Baire class, although not necessarily in the first Baire class (unlike approximately continuous functions of one variable (3)). Finally, we show that the existence of a measurable cardinal would imply that a separately continuous real function on a product of two topological finite complete measure spaces need not be product-measurable.