Ejercicio :
Consideramos un mercado de un periodo $(\Omega, \mathcal{F}, \mathbb P, S^0, S^1)$ donde el espacio muestral $\Omega$ tiene un número finito de elementos y el $\sigma-$ álgebra $\mathcal{F} = 2^\Omega$ . Además, con $S^0$ simbolizamos el activo de riesgo cero con valor inicial $S_0^0=1$ en el momento $t=0$ y el tipo de interés $r>-1$ (que significa $S_1^0 = 1+r$ ). Con $S^1$ simbolizamos un activo con riesgo con valor inicial $S_0^1 >0$ en el momento $t=0$ y con valor $S_1^1$ en el momento $t=1$ que es una variable aleatoria.
Dejemos que $\mathbb{P}[\{\omega\}]>0$ para todos $\omega \in \Omega$ . Definimos : $$a:=\min S_1^1(\omega) \quad \text{and} \quad b:=\max S_1^1(\omega)$$ y suponemos que $0<a<b$ . Demuestre que el mercado está libre de arbitraje si y sólo si es : $$a<S_0^1(1+r)<b$$
Un proceso de valor se define como :
$$V_t = V_t^\bar{\xi} = \bar{\xi}\cdot \bar{S}_t = \sum_{i=0}^d \xi_t^i\cdot \bar{S}_t^i, \quad t \in \{0,1\}$$
donde $\xi = (\xi^0, \xi) \in \mathbb R^{d+1}$ es una estrategia de inversión en la que el número $\xi^i$ es igual al número de piezas de la seguridad $S^i$ que están contenidas en la cartera en el periodo de tiempo $[0,1], i \in \{0,1,\dots,d\}$ .
Si un mercado tiene arbitraje, entonces se cumple lo siguiente. En caso contrario, el mercado está libre de arbitraje.
$$V_0 \leq 0, \quad \mathbb P(V1 \geq 0) = 1, \quad \mathbb P(V_1 > 0) > 0$$
Pregunta : ¿Cómo se procedería a demostrar esto utilizando la definición matemática de arbitraje mediante la construcción de una determinada estrategia?