bonsoir tout le monde
DOnc je trouve du mal evec lexo suivant:
soit A et B des matrices de Mn(K).
Soit f lendomorphisme de Mn(K) dans Mn(K) tel que f(M)=AM
Calculer le rang, la trace et le determinant de cet endomorphisme
Meme questions losque f(M)=AMB
MErci
Bonsoir c-jay7 ;
Soit et deux matrices données de ,
et ( est clairement un endomorphisme de ).
Trace de :
Si est la base canonique de alors :
Rang de :
(pour la preuve je ferai un autre post) (sauf erreur bien entendu)
bonjour Mr elhor_abdelali
Merci pour les reponses.
Mais je voudrais bien avoir la preuve du rang et du determinant, car je ne trouve pas. Merci
Lemme :
Soit un -espace vectoriel de dimension finie ,
et deux sous-espaces de .
alors
l'ensemble des endomorphismes de tel que est un sous-espace vectoriel de
de dimension .
Preuve du lemme :
Notons et soit un supplémentaire de dans .
L'application est un isomorphisme d'espaces vectoriels. (fin de la preuve du lemme)
Rang :
(théorème du rang)}
comme on voit que si est l'endomorphisme de canoniquement associé à ,
(où a et b sont les endomorphismes de canoniquement associés à A et B)
d'où (d'aprés le lemme)
Pour établir que je propose d'abord de montrer le résultat suivant:
lemme:
Soit et telle que
où est la matrice unité de .
Prouver que (sauf erreur bien entendu)
Bonsoir,
je n'ai pas réussi à démontrer le dernier résultat, et je ne vois pas comment il peut donner la réponse pour le déterminant :
le déterminant de f:M->AM, c'est bien : Det (A*E11,A*E12,.....A*E1n,A*E2n,........A*Enn) ??
Ca ne me redonne pas le M fourni en question précédente.
Merci d'avance pour vos réponses.
Bonjour
A partir de la formule de M fournie par elhor_abdelali dans son dernier post, on trouve bien det(M)=det(A)n après des permutations de lignes et colonnes. Regarde en détail pour n=2!
Merci pour cette partie, je pensais bien à une permutation mais en dimension n ça paraissait pas si évident.
Ce que je ne comprends toujours pas, c'est pourquoi la matrice de l'endomorphisme serait cette matrice M (d'ailleurs quelle est la base choisie? Les Eij?).
D'abord il me manque un "-" devant la deuxième matrice, une transposition de lignes ou colonnes changeant le signe du determinant.
La base choisie est bien celle des Ei,j
ordonnés par ordre lexicographique.
pour achever la réponse :
En notant la base canonique de ordonée comme suit
il n'est pas difficile de voir que qui s'écrit aussi :
étant diagonale par blocs on a clairement
étant la matrice dans de l'endomorphisme ,
il n'est pas difficile , en notant , de voir que ,
et donc que sauf erreur bien entendu
Bonjour Camélia
j'ai donné cet exercice en TD de spé TSI comme exemple de calcul de trace , rang et déterminant d'un endomorphisme en dimension finie
et comme en général on n'a pas le temps de corriger tous les exercices de TD il fallait achever ma réponse sur l'île pour une consultation éventuelle de la part des élèves
à propos : as tu une méthode plus simple que la mienne pour montrer que
> elhor Pour les rangs je n'ai pas trop réfléchi...mais ta méthode parait assez rapide! Si j'ai une illumination, je te dirai...
Bonjour elhor
Voilà une solution différente de la tienne, pas forcément plus simple, mais peut-être plus naturelle.
Je note a et b les endos associés à A et B, q=rg(A) et p=rg(B). On sait (enfin, toi et moi nous savons) qu'il existe des bases et telles que pour et pour et aussi des bases et telles que pour et pour
Pour et soit l'endomorphisme défini par et soit défini par .
La famille des et celle des sont évidemment libres, chacune a éléments donc elles sont des bases de l'espace des endomorphismes. Si je ne me suis pas mélangée dans mes indices, si et et si ou .
Ceci prouve que est une base de Im(f).
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :