Separate approximate continuity implies measurability
Published online by Cambridge University Press: 24 October 2008
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.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 73 , Issue 3 , May 1973 , pp. 461 - 465
- Copyright
- Copyright © Cambridge Philosophical Society 1973
References
REFERENCES
- 9
- Cited by