Se asume que $S_0(t)=\exp(\int_0^t r(s) ds)$. Entonces $\mathbb{Q}\sim \mathbb P$ es una martingala medida $\ffi$ cada precio de los activos de proceso de $S_i$ ha la dinámica de precios de menos de $\mathbb Q$ de la forma
$dS_i(t)=r(t)S_i(t)dt+dM_i(t)$,
donde $M_i$ es $\mathbb Q$ - martingala.
Leí la siguiente prueba de este teorema:
Deje que $\tilde{S}_i(t)=\dfrac{S_i(t)}{S_0(t)}$.
$\dfrac{1}{S_0(t)}=\exp(-\int_0^t r(s) ds)$
Por lo tanto
$d\left(\dfrac{1}{S_0(t)}\right)=-r(t)\dfrac{1}{S_0(t)}dt.$
Por Itó del producto regla
$d\left(\dfrac{S_i(t)}{S_0(t)}\right)=-r(t)S_i(t)\dfrac{1}{S_0(t)}dt+\dfrac{1}{S_0(t)}dS_i(t)+d\langle S_i,\dfrac{1}{S_0}\rangle_t= -r(t)\tilde{S}_i(t)dt+\dfrac{1}{S_0(t)}dS_i(t).$
Entiendo que todos los matemáticos paso de la prueba pero, ¿por qué hace esto prueba el teorema? ¿Alguien puede explicar?