Déterminant et trace
dans Algèbre
Énoncé : E est un espace vectoriel de dimension n ; B une base de E.
Soit u un endomorphisme de E.
f(x1, ..., xn) = somme de (k=1 à k=n) de det(x1, ..., u(xk), ..., xn) dans la base B.
Montrer que f(x1, ..., xn) = trace(u). det (x1, ..., xn) dans la base B.
Je ne comprends pas pourquoi la trace de u intervient. Si quelqu'un veut bien m'éclairer, merci d'avance.
Pour moi, la trace d'un endomorphisme (= application linéaire d'un espace vectoriel dans le même) est la trace de sa matrice carrée canoniquement associée. (somme des aii pour i allant de 1 à n)
Ou bien encore la somme de ses valeurs propres.
J'ai écrit : f(x1, ..., xn) = det (u(x1), x2, ... , xn) + det (x1, u(x2), ..., xn) + ... + det(x1, ..., u(xn))
Mais ai-je le droit d'écrire que det ( u(x1), x2, ... , xn) = k1 * det (x1, ..., xn) ? (si c'est vrai, j'aurais fait pareil avec chacun des éléments xi ).
Merci d'avance pour votre éventuelle aide.
Soit u un endomorphisme de E.
f(x1, ..., xn) = somme de (k=1 à k=n) de det(x1, ..., u(xk), ..., xn) dans la base B.
Montrer que f(x1, ..., xn) = trace(u). det (x1, ..., xn) dans la base B.
Je ne comprends pas pourquoi la trace de u intervient. Si quelqu'un veut bien m'éclairer, merci d'avance.
Pour moi, la trace d'un endomorphisme (= application linéaire d'un espace vectoriel dans le même) est la trace de sa matrice carrée canoniquement associée. (somme des aii pour i allant de 1 à n)
Ou bien encore la somme de ses valeurs propres.
J'ai écrit : f(x1, ..., xn) = det (u(x1), x2, ... , xn) + det (x1, u(x2), ..., xn) + ... + det(x1, ..., u(xn))
Mais ai-je le droit d'écrire que det ( u(x1), x2, ... , xn) = k1 * det (x1, ..., xn) ? (si c'est vrai, j'aurais fait pareil avec chacun des éléments xi ).
Merci d'avance pour votre éventuelle aide.
Réponses
-
Bonjour.
Tu écris $u(x_k) = \sum\limits_{i=1}^n a_{ik}e_i$ et tu développes comme un brave bourrin.
La trace viendra toute seule.
e.v.Personne n'a raison contre un enfant qui pleure. -
Autre solution : en prenant deux coordonnées égales on remarque que l'expression est nulle.
Étant donné qu'elle est clairement n-linéaire, elle est donc proportionnelle au déterminant.
De là il n'y a plus qu'à déterminer la constante en suivant sa trace...
(Oui, j'ai passé deux minutes pour trouver comment placer deux misérables mots dans ma dernière phrase) -
En combinant vos deux idées, la solution me semble proche.
De plus, on sait que le déterminant de B=(e1, ..., en) dans la base B = 1. La trace va être suivie et cernée. -
J'aurais dit déterminée.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 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