关于Morter布朗运动著作中定理2.11证明的两处疑问：B(a₂)<m₂的推导及区间调整逻辑

嘿，我来帮你拆解这两个困惑点，咱们一步步来：

1. 为什么马尔可夫性+定理2.8能推出$B(a_2) < m_2$几乎必然成立？ #

先回忆下定理2.8的核心结论：从0出发的线性布朗运动，几乎必然会立即触碰正数（$\tau=0$的概率为1），也几乎必然会立即回到0。

这里我们用马尔可夫性把时间$a_2$当成新的“起点”：布朗运动在$a_2$之后的部分，也就是${B(a_2 + t) - B(a_2) : t \geq 0}$，是一个独立于过去、从0出发的新布朗运动。

根据定理2.8，这个新布朗运动几乎必然会在任意小的时间内跑到正数区域——也就是说，随便找个很小的$\epsilon>0$，总能在$(0,\epsilon)$里找到某个$t$，让$B(a_2 + t) > B(a_2)$。而$m_2$是布朗运动在$[a_2, b_2]$上的最大值，既然$a_2$之后存在比$B(a_2)$更大的取值，那显然$m_2 > B(a_2)$是几乎必然的。

2. 为什么要把第二个区间调整为$[a_2 - 1/n, b_2]$，而不是往右扩？ #

原问题里的两个区间是内部不相交，也就是允许$b_1 = a_2$（两个区间在端点处“贴在一起”），但后面的证明需要两个区间严格分开（也就是$b_1 < a_2$，中间有间隙），这样才能顺利用马尔可夫性拆分独立的增量。

那为什么往左扩？因为我们已经知道$m_2$是在$(a_2, b_2]$里取到的（毕竟$B(a_2) < m_2$几乎必然），所以把第二个区间往左延伸到$a_2 - 1/n$，这个区间的最大值还是原来的$m_2$——毕竟在$[a_2 - 1/n, a_2]$上的布朗运动值都不会超过$m_2$，真正的最大值点还是在$(a_2, b_2]$里。

这样调整之后，只要选足够大的$n$，就能让$[a_2 - 1/n, b_2]$和$[a_1, b_1]$严格分开（比如当$b_1 = a_2$时，$a_2 - 1/n = b_1 - 1/n < b_1$，两个区间就彻底不碰了）。既然调整后的区间最大值和原$m_2$完全一样，那只要证明调整后的区间最大值和$m_1$几乎必然不同，就等价于原命题的结论。所以我们可以在证明里直接假设$b_1 < a_2$，简化后续推导。

备注：内容来源于stack exchange，提问作者Tanishq Kumar