Exercise :
We consider a market of one period $(\Omega, \mathcal{F}, \mathbb P, S^0, S^1)$, where the sample space $\Omega$ has a finite number of elements and the $\sigma-$algebra $\mathcal{F} = 2^\Omega$. Furthermore, with $S^0$ we symbolize the zero risk asset with initial value $S_0^0=1$ at the time $t=0$ and interest rate $r>-1$ (which means $S_1^0 = 1+r$). With $S^1$ we symbolize an asset with risk with initial value $S_0^1 >0$ at the time $t=0$ and with value $S_1^1$ at the time $t=1$ which is a random variable.
Let $\mathbb{P}[\{\omega\}]>0$ for all $\omega \in \Omega$. We define : $$a:=\min S_1^1(\omega) \quad \text{and} \quad b:=\max S_1^1(\omega)$$ and we assume that $0<a<b$. Show that the market is arbitrage-free if and only if it is : $$a<S_0^1(1+r)<b$$
A value process is defined as :
$$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\}$$
where $\xi = (\xi^0, \xi) \in \mathbb R^{d+1}$ is an investment strategy where the number $\xi^i$ is equal to the number of pieces from the security $S^i$ which are contained in the portfolio at the time period $[0,1], i \in \{0,1,\dots,d\}$.
If a market has arbitrage, then the following hold. In case they do not, the market is arbitrage free.
$$V_0 \leq 0, \quad \mathbb P(V1 \geq 0) = 1, \quad \mathbb P(V_1 > 0) > 0$$
Question : How would one proceed to proving this using the mathematical definition of arbitrage by constructing a certain strategy ?
In your answer you proved the contrapositive and, hence, the forward implication that no arbitrage implies $a < S_0^1(1+r) < b$.
To prove the converse we assume that $a < S_0^1(1+r) < b$ and show that there can be no possible arbitrage. A potential arbitrage opportunity arises either from a portfolio that is short the risk-free asset and long the risky asset (with weights appropriately scaled) where
$$\tag{1}V_0 = \xi S_0^0 + S_0^1 \leqslant 0, \\ \implies \xi \leqslant - \frac{S_0^1}{S_0^0},$$
or a portfolio that long the risk-free asset and short the risky asset where
$$\tag{2}V_0 = S_0^0 + \xi S_0^1 \leqslant 0, \\ \implies \xi \leqslant - \frac{S_0^0}{S_0^1}$$
It then follows that there can be no arbitrage if in either case there exists at least one future state $\omega$ with non-zero probability such that $V_1(\omega) < 0$. Under the given assumptions the risky asset attains nonnegative minimum and maximum values $a = S_1^1(\omega_{min})$ and $b= S_1^1(\omega_{max})$, respectively, where $\mathbb{P}(\{\omega_{min}\}) > 0 $ and $\mathbb{P}(\{\omega_{max}\}) > 0 $.
Thus, in case (1)
$$\min V_1(\omega) = \xi S_0^0(1+r) + S_1^1(\omega_{min}) = \xi S_0^0(1+r) + a \\\leqslant -\frac{S_0^1}{S_0^0} S_0^0(1+r)+a = -S_0^1(1+r) + a < 0,$$
and in case (2)
$$\min V_1(\omega) = S_0^0(1+r) + \xi S_1^1(\omega_{min}) = S_0^0(1+r) + \xi b \\\leqslant S_0^0(1+r) - \frac{S_0^0}{S_0^1}b = \frac{S_0^0}{S_0^1}\left(S_0^1(1+r) - b\right) < 0$$
Therefore, it is impossible to construct a portfolio such that $V_0 \leqslant 0$ and $\mathbb{P}(V_1 \geqslant 0) = 1$.