grandes-ecoles 2016 QII.B

grandes-ecoles · France · centrale-maths1__mp 3x3 Matrices Matrix Algebraic Properties and Abstract Reasoning
Let $A \geqslant 0$ in $\mathcal{M}_n(\mathbb{R})$. Let $i, j$ be in $\llbracket 1, n \rrbracket$. Let $m \geqslant 1$. Show the equivalence of the propositions:
  • there exists in $A$ a path with origin $i$, endpoint $j$, of length $m$;
  • the entry with indices $i, j$ of $A^m$ (denoted $a_{i,j}^{(m)}$) is strictly positive.
You may proceed by induction on the integer $m \geqslant 1$.
Let $A \geqslant 0$ in $\mathcal{M}_n(\mathbb{R})$. Let $i, j$ be in $\llbracket 1, n \rrbracket$. Let $m \geqslant 1$. Show the equivalence of the propositions:
\begin{itemize}
  \item there exists in $A$ a path with origin $i$, endpoint $j$, of length $m$;
  \item the entry with indices $i, j$ of $A^m$ (denoted $a_{i,j}^{(m)}$) is strictly positive.
\end{itemize}
You may proceed by induction on the integer $m \geqslant 1$.