田春冰河
2020-01-15 17:03:38 发布
[1/3] 我干了好几年的概率论（测度论）形式化工作的首篇论文还差最后一个定理（实数集上勒贝格测度的存在和唯一性）就可以开始写了，但就卡在这个定理上。这个证明的第一部分很巧妙，需要用到有限开覆盖定理，所以书上详细介绍；第二部分 “it is not hard to see...” 是不难，但深究起来极其麻烦。