Calculs matriciels

On trouvera ici les exercices corrigés de mathprepa.fr issus du chapitre « Compléments d’algèbre linéaire », dans la catégorie « Calculs matriciels »

Matrices par blocs et semblables

(Oral Mines-Ponts)
Soit {N_{1}\in{\mathcal M}_{p_{1}}(\mathbb{K})}, {N_{2}\in{\mathcal M}_{p_{2}}(\mathbb{K})}, nilpotentes.
Soit {U_{1}\in\text{GL}_{q_{1}}(\mathbb{K})}, {U_{2}\in\text{GL}_{q_{2}}(\mathbb{K})}.
On pose {A=\begin{pmatrix}N_{1}&0\\ 0&U_{1}\end{pmatrix}} et {B=\begin{pmatrix}N_{2}&0\\ 0&U_{2}\end{pmatrix}}.
Montrer que {A\sim B\Leftrightarrow\begin{cases}p_{1}=p_{2}\\q_{1}=q_{2}\end{cases}} et {\begin{cases}N_{1}\sim N_{2}\\U_{1}\sim U_{2}\end{cases}}

Matrices bistochastiques, épisode 6

Pour les notations et les résultats précédents : Ep1, Ep2, Ep3, Ep4, Ep5.
Soit {A} une matrice positive magique de somme {\mu>0}.
On sait que {A=\displaystyle\sum_{k=1}^{m}\alpha_{k}P_{k}}, (avec {\alpha_k>0}, {\displaystyle\sum_{k=1}^{m}\alpha_k=\mu}, les {P_k} matrices de permutations).
On montre ici que {m} peut être rendu inférieur ou égal à {(n\!-\!1)^2\!+\!1}.

Matrices bistochastiques, épisode 4

On reprend les définitions et les notations de l’épisode 1.
Pour {A\in\mathcal{M}_{n}(\mathbb{R})}, et pour {\sigma\in\mathcal{S}_{n}}, on note {\sigma(A)=\displaystyle\prod_{j=1}^{n}a_{\sigma(j),j}}.
On dit que {A} est traversable s’il existe {\sigma\in\mathcal{S}_{n}} telle que {\sigma(A)\ne0}.
On montre ici que toute matrice magique de somme {\mu>0} (et en particulier toute matrice bistochastique) est traversable

Matrices bistochastiques, épisode 1

Soit {A=(a_{i,j})_{0\le i,j\le n-1}} dans {\mathcal{M}_{n}(\mathbb{R})}.
On dit que A est {\mu}magique si la somme de chaque ligne et de chaque colonne vaut {\mu}.
On dit que {A} est bistochastique si A est {1}-magique et si les {a_{i,j}} sont positifs ou nuls.
On note {\mathcal{B}_n(\mathbb{R})} l’ensemble des matrices bistochastiques d’ordre n.
On note {\mathcal{P}_n(\mathbb{R})\subset\,\mathcal{B}_n(\mathbb{R})} l’ensemble des matrices de permutations {P_{\sigma}} d’ordre n.
On illustre ici ces notions avec Python.