grandes-ecoles 2022 Q28
Event Expression and Partition
We recall that $m _ { i , j } ( 1 \leqslant i , j \leqslant n )$ are $n ^ { 2 }$ real random variables that are mutually independent, all following the distribution $\mathcal { R }$, that $M _ { n } = \left( m _ { i , j } \right) _ { 1 \leqslant i , j \leqslant n }$ is the random matrix taking values in $\mathcal { V } _ { n , n }$ and we denote $$C _ { 1 } = \left( \begin{array} { c }
m _ { 11 } \\
\vdots \\
m _ { n 1 }
\end{array} \right) , \ldots , C _ { n } = \left( \begin{array} { c }
m _ { 1 n } \\
\vdots \\
m _ { n n }
\end{array} \right)$$ the random variables taking values in $\mathcal { V } _ { n , 1 }$ constituted by the columns of the matrix $M _ { n }$.
For all $j \in \llbracket 1 , n - 1 \rrbracket$, we denote by $R _ { j }$ the event $$\left( C _ { 1 } , \ldots , C _ { j } \right) \text { is linearly independent and } C _ { j + 1 } \in \operatorname { Vect } \left( C _ { 1 } , \ldots , C _ { j } \right)$$ and $R _ { n }$ the event $$\left( C _ { 1 } , \ldots , C _ { n } \right) \text { is linearly independent.}$$
Show that $( R _ { 1 } , \ldots , R _ { n } )$ is a complete system of events.