Matrices semblables
Réponses
-
Je ne pense pas qu'il en soit ainsi:
$$ A=\begin{bmatrix}
1&1& 0&0\cr
0 &1& 0& 0\cr
0& 0&1&0\cr
0&0&0&1
\end{bmatrix} \quad \text{ et } \quad
B=\begin{bmatrix}
1&1& 0&0\cr
0 &1& 0& 0\cr
0& 0&1&1\cr
0&0&0&1
\end{bmatrix}
$$
me semblent avoir même rang et même polynôme minimal ($X^2-1$), mais ne sont pas semblables.
Je pense que tu as peut-être oublié "nilpotent" dans ton énoncé.
Via le théorème de Jordan, ça devient un exercice de combinatoire pénible mais pas dur de voir que si un tableau de Young a moins de 7 cases et qu'on donne le nombre de cases sur la première colonne et le nombres de colonnes, alors il est complètement déterminé. Et que pour $n=7$, il y en a deux: $(3,3,1)$ et $(3,2,2)$. -
$$\begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 2\end{pmatrix}\quad\text{ et }\quad \begin{pmatrix} 1 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 2\end{pmatrix} $$ ne sont pas semblables.Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
-
J'avais oublié d'écrire que les matrices sont aussi nilpotentes.
C'est corrigé. -
Peut-on trouver une solution sans utiliser les tableaux de Young?
-
Je pense que ça va être un peu bancal vu que le phénomène n'est pas vrai en général, mais juste pour $n\leq 6$.
Bien sûr, tu peux toujours "déplier" ce qui est implicite dans la réduction de Jordan: considérer la suite des dimensions successives des noyaux itérés $\ker A^i$ et regarder la combinatoire possible.
Mais il te faudra à un moment disposer du fait que 2 matrices nilpotentes qui ont les mêmes suites sont semblables, qui est un corollaire de la démonstration de la réduction de Jordan... -
Bonjour
La question revient aussi à montrer qu'en dimension $n\le 6$, pour une matrice $A$ nilpotente de rang $r$ (forcément $<n$) et de polynôme minimal ( $X^d$) donnés, sa décomposition en blocs de Jordan (diagonale forcément nulle) est entièrement déterminée (à l'ordre près)
Il y a $n-r$ blocs
tous les blocs ont une dimension $\le d$, l'un au moins étant de dimension $d$
Si $n=1$ ou $d=1$ , $A$ est nulle
Si $d=n$ ou $r=n-1$ la décomposition de $A$ est constituée d'un seul bloc
si $n=2$ alors $d=1$ ou $2$ et on est dans un des cas ci-dessus
Pour les autres cas ,
$3\le n \le 6, 2\le d \le n-1, r \le n-2$
il faut chercher les dimensions $d_i$ des $n-r-1$ autres blocs que le bloc "obligé" de dimension $d$ : la somme de ces $d_i$ doit faire $n-d$ avec $1\le d_i \le d$
pour chacun des 4 cas $n-d=1,2,3,4$ on envisage les valeurs possibles de $n-r-1$ ( de $1$ à $n-d$)
et en ordonnant de façon croissante les $d_i$, à chaque fois il n'y a qu'une possibilité pour le $(n-r-1$)_uplet $(d_1,d_2,...,d_{n-r-1})$.
C'est facile, mais effectivement un peu longuet à écrire.
Avec $n=7$ on peut retrouver le contre exemple donné par oblomov :
on prend $d=3, r=4$
donc il y a $n-r=3$ blocs dont au moins un bloc de dimension $d=3$
Pour les deux autres leurs dimensions doivent vérifier
$d_1+d_2=n-d=4$ avec $1\le d_1 \le d_2 \le 3$ , ce qui donne 2 possibilités
soit $(1,3)$ donc 3 blocs de Jordan de dimensions respectives 1,3,3
soit $(2,2)$ donc 3 blocs de Jordan de dimensions respectives 2,2,3
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres