grandes-ecoles 2023 QV.2
Decomposition and Basis Construction
Let $r$ and $m$ be strictly positive integers with $r \leq m$. We consider a subspace $V$ of the $\mathbf { C }$-vector space $M _ { m } ( \mathbf { C } )$ such that every element of $V$ is a matrix of rank at most $r$, and we assume $V$ contains the block matrix $A = \left( \begin{array} { c c } I _ { r } & 0 \\ 0 & 0 \end{array} \right)$. a) Let $B$ be an element of $V$, which we write in the form of a block matrix: $$B = \left( \begin{array} { l l }
B _ { 11 } & B _ { 12 } \\
B _ { 21 } & B _ { 22 }
\end{array} \right)$$ where the four matrices $B _ { 11 } , B _ { 12 } , B _ { 21 } , B _ { 22 }$ are respectively in $M _ { r } ( \mathbf { C } )$, $M _ { r , m - r } ( \mathbf { C } ) , M _ { m - r , r } ( \mathbf { C } )$ and $M _ { m - r } ( \mathbf { C } )$. Show that $B _ { 22 } = 0$ and $B _ { 21 } B _ { 12 } = 0$ (one may consider the minors of size $r + 1$ of the matrix $t A + B$ for $t \in \mathbf { C }$). b) Let $B$ and $C$ be two matrices of $V$, which we write in block matrix form as above: $$B = \left( \begin{array} { c c }
B _ { 11 } & B _ { 12 } \\
B _ { 21 } & 0
\end{array} \right) ; \quad C = \left( \begin{array} { c c }
C _ { 11 } & C _ { 12 } \\
C _ { 21 } & 0
\end{array} \right)$$ Show that $B _ { 21 } C _ { 12 } + C _ { 21 } B _ { 12 } = 0$.