Bourbaki

Remarque 2

Étiquette 0DFZ, permanente. À citer comme [Bourbaki, Tag 0DFZ].

Algebra, chapter II, § 10. Matrices

Soient EE et FF deux AA-modules à gauche ayant des bases (ei)i∈I(e_i)_{i \in I} et (fk)k∈K(f_k)_{k \in K} respectivement. Pour toute application AA-linéaire u:E→Fu : E \to F, on a, d’après (14 G), u(ei)=∑kukifku(e_i) = \sum_k u_{ki} f_k; ces relations peuvent encore s’interpréter en disant que la matrice colonne (u(ei))i∈I(u(e_i))_{i \in I} à éléments dans FF est égale au produit tM(u).(fk){}^tM(u).(f_k), où (fk)k∈K(f_k)_{k \in K} est considéré comme une matrice colonne à éléments dans FF, et le produit est calculé pour l’application A×F→FA \times F \to F définissant la loi d’action du AA-module FF (II, p. 140).

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.