Ivan Shishkin, Rye (1878)

Discussions

Propriétés de la transposée

0 messages

Solution

Solution by darktoaster · FR

Question 1

\newline
Soient i∈[ ⁣[1,m] ⁣]i \in [\![1,m]\!] et j∈[ ⁣[1,n] ⁣]j\in [\![1,n]\!]
\newline
[(λA+μB)T]i,j=[λA+μB]j,i=λ[A]j,i+μ[B]j,i=λ[AT]i,j+μ[BT]i,j=[λAT+μBT]i,j[(\lambda A + \mu B)^{T}]_{i,j} = [\lambda A + \mu B]_{j,i} = \lambda [A]_{j,i} + \mu [B]_{j,i} = \lambda [A^{T}]_{i,j} + \mu [B^{T}]_{i,j} = [\lambda A^{T} + \mu B^{T}]_{i,j}
\newline
Par égalité des coefficients, on déduit que : (λA+μB)T=λAT+μBT(\lambda A + \mu B)^{T} = \lambda A^{T}+ \mu B^{T}
\newline

Question 2

\newline
En une phrase : On inverse les lignes et colonnes de AA, puis on réinverse les lignes et les colonnes de la transposée, on retombe sur nos pattes.
\newline
Soient i∈[ ⁣[1,m] ⁣]i \in [\![1,m]\!] et j∈[ ⁣[1,n] ⁣]j\in [\![1,n]\!]
\newline
[(AT)T]i,j=[AT]j,i=[A]i,j[(A^{T})^{T}]_{i,j} = [A^{T}]_{j,i} = [A]_{i,j}
\newline
Par égalité des coefficients, on déduit que : (AT)T=A(A^{T})^{T} = A

Question 3

Soient i∈[ ⁣[1,m] ⁣]i \in [\![1,m]\!] et j∈[ ⁣[1,n] ⁣]j\in [\![1,n]\!]
\newline
[(AB)T]i,j=[AB]j,i=∑k=1n[A]j,k[B]k,i=∑k=1n[AT]k,j[BT]i,k=∑k=1n[BT]i,k[AT]k,j=[BTAT]i,j[(AB)^{T}]_{i,j} = [AB]_{j,i} = \sum\limits_{k = 1}^n [A]_{j,k} [B]_{k,i} = \sum\limits_{k = 1}^n [A^{T}]_{k,j} [B ^{T}]_{i,k} = \sum\limits_{k = 1}^n [B ^{T}]_{i,k} [A^{T}]_{k,j} = [B^T A^T]_{i,j}
\newline
Par égalité des coefficients, on déduit que : (AB)T=BTAT(AB)^{T} = B^{T} A^{T}

Question 4

Comme AA est inversible, en notant A−1A^{-1} son inverse : AA−1=A−1A=InA A^{-1} = A^{-1}A= I_{n}

En passant à la transposée, en se servant de la propriété précédente sur les produits et en utilisant le fait que InT=InI_{n}^{T} = I_{n} car la matrice identité est diagonale.
: (A−1)TAT=AT(A−1)T=(In)T=In(A^{-1})^{T} A^{T} = A^{T} (A^{-1})^T = (I_{n})^T = I_{n}

ATA^{T} est également inversible d’inverse (A−1)T(A^{-1})^{T}. On écrit alors (AT)−1=(A−1)T(A^{T})^{-1} = (A^{-1})^T

Question 5

En une phrase : on ne change pas la diagonale d’une matrice en la transposant, donc le calcul de la trace reste le même.
\newline
Soit i∈[ ⁣[1,n] ⁣]i \in [\![1,n]\!]
[AT]i,i=[A]i,i[A^{T}]_{i,i} = [A]_{i,i}
Les coefficients AA et ATA^{T} ont les mêmes coefficients diagonaux.
\newline
D’où tr(A)=tr(AT)\mathrm{tr}(A) = \mathrm{tr}(A^{T})

No messages yet.