Matrices dont les colonnes sont orthonormées
Bonjour,
On considère l'ensemble $\mathcal E$ des matrices $A\in \mathcal M_{n,\, m}(\R)$ dont les colonnes forment une famille orthonormée pour le produit scalaire usuel, avec $m\leqslant n$..
Si on se donne des réels $a_1,\, \dots,\, a_n$ strictement positifs, peut-on trouver une matrice $A$ de $\mathcal E$ telle que $\Vert L_i \Vert=a_i$ pour tout $i$ ? (j'ai noté $L_i$ les lignes de la matrice $A$).
Le réponse est clairement non dans le cas général puisque tous les coefficients de la matrice sont plus petits que 1 en valeur absolue, donc on a $\Vert L_i \Vert\leqslant \sqrt m$.
Merci d'avance pour vos réponses, Michal
On considère l'ensemble $\mathcal E$ des matrices $A\in \mathcal M_{n,\, m}(\R)$ dont les colonnes forment une famille orthonormée pour le produit scalaire usuel, avec $m\leqslant n$..
Si on se donne des réels $a_1,\, \dots,\, a_n$ strictement positifs, peut-on trouver une matrice $A$ de $\mathcal E$ telle que $\Vert L_i \Vert=a_i$ pour tout $i$ ? (j'ai noté $L_i$ les lignes de la matrice $A$).
Le réponse est clairement non dans le cas général puisque tous les coefficients de la matrice sont plus petits que 1 en valeur absolue, donc on a $\Vert L_i \Vert\leqslant \sqrt m$.
Merci d'avance pour vos réponses, Michal
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Reste à savoir, si cette condition est respectée, si on peut trouver une matrice $A$...
On a $\| L_i \| \leq 1$ pour tout $i$, car on peut compléter les colonnes en une base orthonormée. Donc, il faut rajouter la condition $a_i \leq 1$ pour tout $i$. En effet, sinon, c'est faux par exemple, pour $n=m$, on a forcément $\|L_i\|=1$ pour tout $i$, mais sans la condition $a_i \leq 1$, $\sum_{i=1}^n a_i^2=m=n$ n'implique pas $a_i=1$.
J'ai essayé de passer par la réduction d'une matrice orthogonale, mais sans succès
Personne ?
Pour ceux que ça intéresse, j'ai réussi à trouver la réponse à ma question... Ça se prouve par récurrence sur $n$ et c'est fait dans le livre de Prasolov (Problèmes en algèbre linéaire) p. 63 (théorème 9.5).