谢邀。这种问题一般都可以通过在中间插入有理数使得两个分量被隔离开来考虑。具体的:
当且仅当存在有理数 使得 ,所以可以得到:
因为 可测函数,所以 是可测的,于是可以知道上面的 是可数个可测集的并,因而可测。于是 也可测