《实变函数简明教程》，P78，第2题（判断函数可测性）

引理：P59，定义3.1

  设$E\subset {\mathbb{R}}^n$可测，$f$是定义于$E$上的广义实值函数。若对于任意实数$a$，点集 { x ∣ x ∈ E ,   f ( x ) > a } \left\{ x|x\in E,\text{ }f\left( x \right)>a \right\} { x∣x∈E, f(x)>a}是${\mathbb{R}}^n$内的可测集，则$f$称为$E$上的Lebesgue可测函数，简称$f$是$E$上的可测函数，或$f$在$E$上可测。

引理：P49，定理2.2（i）

  若$E_1\in \mathcal{M}$，$E_2\in \mathcal{M}$，则$E_1\cup E_2$，$E_1\cap E_2$，$E_1\backslash E_2$皆属于$\mathcal{M}$，其中$\mathcal{M}$是全体可测集组成的集合。

题目：P78，2

  若函数$f\left(x\right)$在$E_1$，$E_2\subset {\mathbb{R}}^n$上可测，又若$f$分别作为$E_1$与$E_2$上的函数，在$x\in E_1\cap E_2$的值相同，则$f$在$E_1\cup E_2$，$E_1\backslash E_2$，$E_1\cap E_2$可测。

解答

记$E_{1,2}$上的函数$f$为$f_{E_{1,2}}$。
首先，$f\left(x\right)$在$E_1$，$E_2$上可测蕴涵
$$E_1,E_2\in \mathcal{M}.\text{\hspace{1em}(P78-2-1)}$$
其次，$f\left(x\right)$在$E_1$，$E_2$上可测蕴涵
$$\forall a\in \mathbb{R},V_{1,2}:=\left\{x\in E_{1,2}:f_{E_{1,2}}\left(x\right)>a\right\}\in \mathcal{M}.\text{\hspace{1em}(P78-2-2)}$$
由课本P49的定理2.2，得到
$$V_1\cup V_2,V_1\cap V_2,V_1\backslash V_2\in \mathcal{M}.\text{\hspace{1em}(P78-2-3)}$$
最后，由题意知
$$\forall x\in E_1\cap E_2,f_{E_1}\left(x\right)=f_{E_2}\left(x\right)=f\left(x\right).$$