On reprend ici les définitions et les notations de l’épisode 1.
On établit des propriétés usuelles des matrices bistochastiques ou de permutation.
-
-
Soit \sigma et s dans {{\mathcal S}_{n}}.
Préciser {P_{\,\text{Id}}}, {P_{s}\,P_{\sigma}}, {{P_{\sigma}}^{-1}}, {{(P_{\sigma})}^{\top}} et {P_{\sigma}^{\,m}} pour tout {m} de {\mathbb{Z}}.
-
Soit {A} dans {\mathcal{M}_{n}(\mathbb{R})}, et soit {P_{\sigma}} une matrice de permutation d’ordre {n}.
Décrire le passage de {A} à chacune des matrices {P_{\sigma}^{-1}A}, {AP_{\sigma}}, et {P_{\sigma}^{-1}AP_{\sigma}}.
-
-
Montrer que {\mathcal{B}_{n}(\mathbb{R})} est compact et stable pour le produit des matrices.
-
Soit {A,B} dans {\mathcal{B}_{n}(\mathbb{R})}, et {\lambda} dans {[0,1]}.
Montrer que {C=\lambda A+(1\!-\!\lambda)B} est dans {\mathcal{B}_{n}(\mathbb{R})}.
L’ensemble {\mathcal{B}_{n}(\mathbb{R})} est donc convexe.
-
Soit {A}, {B} distinctes dans {\mathcal{B}_{n}(\mathbb{R})}, et soit {P_{\sigma}\in\mathcal{M}_{n}(\mathbb{R})}.
On suppose que {P_{\sigma}} est élément du segment [A\,;B].
Montrer que nécessairement {P=A} ou {P=B}.
Ainsi {]A\,;B[} ne contient aucune matrice de permutation.
On dit que les matrices de permutation sont extrémales dans {\mathcal{B}_{n}(\mathbb{R})}.
|
Cliquer ici pour voir (ou cacher) le corrigé
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :