定理2
可测集 E ⊂ R n E \subset \mathbf { R } ^ { n } E⊂Rn 上的连续函数是可测函数。
证明
设 x ∈ E [ f > a ^ ] , x \in E [ f > \hat { a } ] , x∈E[f>a^], 则 由连续性假设,存在 x x x 的某邻域 U ( x ) , U ( x ) , U(x), 使
U ( x ) ∩ E ⊂ E [ f > a ] . U ( x ) \cap E \subset E [ f > a ] . U(x)