Supongo estocástico de la independencia.
El uso de determinantes, se ve fácilmente que si los vectores son dependientes sobre $\mathbb{R}$, entonces ellos (de hecho, sus proyecciones) también son dependientes de más de $\mathbb{F_2}=\mathbb{Z}/2\mathbb{Z}$. Pero la probabilidad de que 10 independiente elegido al azar (con uniforme de probabilidad) vectores de $(\mathbb{F}_2)^{100}$ son dependientes sobre $\mathbb{F_2}$ es
$$
1 - \frac{(2^{100}-1)(2^{100} - 2)\veces(2^{100}-2^9)}{(2^{100})^{10}}= 1 - \prod_{i=91}^{100} (1-2^{-i}) \leq 1 - (1-2^{-91})^{10} \leq 10\times 2^{-91}
$$
(donde hemos utilizado la desigualdad de Bernoulli $(1-p)^n \geq 1 - np$).
Tenga en cuenta que esta enlazado es muy crudo.
El pasaje de $\mathbb{R}$ $\mathbb{F}_2$es un caso especial de la siguiente lema:
Deje $A$ $n\times m$ matriz con coeficientes en $\mathbb{Z}$, e $p$ ser un número primo.
Nota: $\overline{A}$ $n\times m$ matriz con coeficientes en $\mathbb{F}_p$$\overline{A}_{i,j} = A_{i,j} \bmod p$. Tenemos, $\mathrm{rank}_\mathbb{R}\,A \geq \mathrm{rank}_{\mathbb{F}_p}\,\overline{A}$.
Prueba. Recuerde que el rango de una matriz es el tamaño de la mayor fuga de menor importancia. Además, observe que para cada matriz cuadrada $B$ con coeficientes en $\mathbb{Z}$, $\det_\mathbb{R} B \in \mathbb{Z}$ $$ \det_{\mathbb{F_p}} (\overline{B}) = \det_{\mathbb{R}} (B) \bmod p$$
desde el determinante es un polinomio de la función de los coeficientes.