Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Result R5544 on
D5946: Real matrix trace
Subresult of
R5545: Trace of conjugate transpose equals conjugate of trace
Real matrix trace is preserved by transposing
Formulation 0
Let
A
∈
R
N
×
N
be a
D6160: Real square matrix
such that
(i)
A
T
is a
D5841: Real matrix transpose
for
A
Then
Trace
A
T
=
Trace
A
Also known as
Real matrix trace is invariant under transposing
Proofs
Proof 0
Let
A
∈
R
N
×
N
be a
D6160: Real square matrix
such that
(i)
A
T
is a
D5841: Real matrix transpose
for
A
Clear.
◻