登入
发表新帖子
鬼使神差副赛道选了概率与组合……明明应该选分析的,看到题目就后悔了
看来是有种无形的力量想让我学概率。
第一题目测跟停时有关,可惜我不会…… $\def\R{\mathbb{R}}$
Suppose $B_t$ is a bidirectional Brownian motion, i.e. $(B_t)_{t\ge 0}$ and $(B_{-t})_{t\ge 0}$ are two independent 1-dimensional standard Brownian motion and $B_0 = 0$. For $t \in \R$, write $X_t = B_t - |t|$. Denote $\tau$ the (almost always) unique time s.t. $X_{\tau} = \max_{t\in \R} X_t$.
Prove that $(X_{\tau + t})_{t \ge 0}$ and $(X_{\tau - t})_{t \ge 0}$ are of the same distribution.
找到了相关文章 Formalising Real Numbers in Homotopy Type Theory,让我来看一看。
怎么用类型系统表述戴德金分割呢?
textbf{} extbf{}
我现在懂了,就是戴德金分割
不成立。现在的语法也有这样的歧义
他怎么错误了
虎哥居然还在回复,神奇
还活着!!
间歇性活着
👀👀👀👀👀👀👀👀👀👀👀👀
发表新帖子