[4/3] 终于完成了 HOL 新旧 Gauge 积分的等价性证明，太不容易了。所谓 gauge 就是积分时对被积函数区间的垂直细分，旧定义要求每个被积的点上存在一个比当前分割宽度略大的值，新定义要求每个点上存在一个包含当前分割的拓扑开集。从旧到新很容易，只需用那个值构造一个对称的开区间，直接符合开集的定义；从新到旧就难了，因为一个开集可能是不连续和多孔的，甚至是无界的，所以第一步要根据开集的定义在被积点周围找到一个连续的闭球状邻域，然后用这个邻域的半径作为旧定义所需的分割宽度。这个证明的规模相当于整个旧版积分形式化的一半，证明过程完全是我自己想出来的。

#没谈过恋爱的我#
听到沈老师对文婷说了这句话，虽然与我无关，但我完全没hol住，瞬间大破防哭了出来。

我是一个最初拥有很多糖最富有的小孩，慢慢变成了最贫乏最缺糖的小孩。我非常不自信非常渴望被关注渴望被爱。这一路我常常觉得自己不配被爱不配拥有世间所有美好的东西。反正我什么也得不到，那我还努力个什么奔头呢。这是我心底长期堕落的借口。

我非常之需要被人肯定，仿佛得不到肯定我的人生就失去了意义。我已经严重偏离了原来的轨道，每当想起都觉得十分荒谬不可思议，怎会如此。这不该是属于我的人生。我的人生不该是这个样子。

所以一旦有人会对我说出这句“你值得非常幸福”，我一定会比下午那次更加破防，我一定会痛哭流涕哈哈哈。没有什么比说我值得更让我惶恐和感动。

说回文婷，文婷听到这句话并没有很大的波动，没有像我一样破防，而是欣然接受，并说了一句沈老师也是。她的内心足够富足，她很自信，她不会像我一样反复怀疑自己配不配，她相信且知道自己就是真的值得。

我就在想，我到底要怎样做要多久才能成为这样的人，一个有底气毫无疑问肯定自己就是值得拥有美好的人

#ob11[超话]# 【出】一个总价1200r的娃衣包 ob11 gsc
1 饭团团 和服 莺时（set出不拆）
2 饭团团 和服 日升（set出不拆）
3 胖豆 奶橘兔
4 胖豆 手套熊 奶茶色
5 胖豆 手套熊 冰蓝色
6 胖豆 手套熊 紫色
本质清捆不要问1和2拆不拆 出不去就自留了
都有穿着痕迹 状态挺好 疫情期间暂时无法发货 可以hold
交易走
#ob11回血#