评论已经说了连续点的集合是 ,由 集天然为勒贝格可测集即可得出结论,那我稍稍说一下的证明思路吧
构造 ,可以注意到
为开集(随便取一点 的开球,其中任意点均为内点即可证明)
而连续点的集合即为 ,即得证。