Trace of a Matrix: Properties & Identities

Definition

For an

n \times n

matrix

A

, the trace is the sum of the entries on the main diagonal:

Trace Definition

\text{tr}(A) = \sum_{i=1}^{n} a_{ii} = a_{11} + a_{22} + \cdots + a_{nn}

Trace definition →

The trace is defined only for square matrices — a rectangular matrix has no trace.

For example, if

A = \begin{pmatrix} 3 & 1 & 4 \\ 1 & 5 & 9 \\ 2 & 6 & 5 \end{pmatrix}

, then

\text{tr}(A) = 3 + 5 + 5 = 13

. The off-diagonal entries play no role.

The trace of the

n \times n

identity matrix is

\text{tr}(I_n) = n

, since there are

n

ones on the diagonal. The trace of the zero matrix is

0

.

Sweeping the main diagonal

Only the entries on the main diagonal are picked up; everything off it is passed over untouched. That is the entire definition, and it is why the trace is defined for square matrices alone — a non-square matrix has no full diagonal to sweep. Run the sweep on your own matrix on the trace visualizer.

Everything that follows — linearity, the cyclic property, the link to eigenvalues — is a consequence of the trace being this simple a sum.

Trace Notation

Notation

Trace Notation

A three-letter operator that looks like a function and behaves like one, wrapped around a matrix and returning a scalar. The marks worth fixing are its competing spellings, the repeated subscript that picks out the diagonal, and the rearrangement rule that permits exactly one kind of reordering. All of them are catalogued among the linear algebra symbols.

The bracket-and-subscript anatomy

[a_{ij}]

and the transpose

A^{T}

come from matrix operation notation;

\det

and its bars from determinant notation;

\lambda

from eigenvalue notation;

\Sigma

and its running index from sequence notation.

\operatorname{tr}(A)

the trace of A

An operator name, set upright like

\det

and

\operatorname{rank}

— the roman type is what marks it as a name rather than a product of three variables

t\cdot r

. It consumes a matrix and returns a scalar, and it is defined only for square matrices, as Definition above states: a rectangular matrix has no diagonal to sum.

Also writtenCapitalised

\operatorname{Tr}(A)

throughout physics — in quantum mechanics the partial trace

\operatorname{Tr}_B

carries a subscript naming the subsystem traced out. German and older Russian texts write

\operatorname{sp}(A)

or

\operatorname{Sp}(A)

, from Spur, the same word English borrowed as "trace". Brackets

\operatorname{tr} A

without parentheses are common once the argument is a single letter.

Do not confuseThe determinant. Both wrap a square matrix and return one number, and both appear in the characteristic polynomial — but

\operatorname{tr}

is additive and not multiplicative while

\det

is multiplicative and not additive, the contrast Linearity below draws out. Neither has a bar notation in common with the other:

|A|

always means the determinant.

\operatorname{tr}(A) = \sum_{i=1}^{n} a_{ii}

sum of a-sub-i-i — the entries whose two indices agree

The repeated subscript is the whole definition: in

[a_{ij}]

the first index is the row and the second the column, so forcing

i = j

selects exactly the main diagonal. One running letter appears twice in a single symbol, which is a different job from the usual row-and-column pair of matrix notation.

CasesThe same doubled-index device names diagonal entries wherever they matter —

a_{ii}

for the diagonal of a product,

\delta_{ij}

for the identity's entries — and physics compresses the summation sign away entirely under the Einstein convention, where a twice-repeated index is summed by default and

a_{ii}

alone means the trace.

Do not confuse

a_{i}

or

a_{i1}

. A single subscript indexes a vector's component, not a matrix entry; the diagonal needs both slots filled with the same letter, and dropping one silently changes which object is being summed.

\operatorname{tr}(AB) = \operatorname{tr}(BA)

the trace is unchanged when the factors are rotated, not merely swapped

The permission this notation grants is narrower than it looks. Factors may be rotated —

\operatorname{tr}(ABC) = \operatorname{tr}(BCA) = \operatorname{tr}(CAB)

— because each rotation moves the front factor to the back. The Cyclic Property below works through why.

CasesThe rule is what makes the trace blind to similarity:

\operatorname{tr}(P^{-1}AP) = \operatorname{tr}(APP^{-1}) = \operatorname{tr}(A)

, one rotation and the change of basis cancels — which is why the trace can equal the sum of the eigenvalues at all, a basis-independent quantity read off a basis-dependent array.

Do not confuseFull commutativity.

\operatorname{tr}(ABC) = \operatorname{tr}(BAC)

is false in general — that is a swap of two adjacent factors, not a rotation. The two look almost identical on the page, and the cyclic rule is routinely over-applied into the wrong one.

\langle A, B\rangle_F = \operatorname{tr}(A^{T}B)

the Frobenius inner product of A and B

The trace borrows the inner-product brackets and the subscript

F

names which one:

\operatorname{tr}(A^{T}B)

multiplies the two matrices entry by entry and adds, exactly as if each were flattened into a vector of

n^2

components — Frobenius Inner Product below.

CasesIts norm follows the same pattern one bar-count up,

\|A\|_F = \sqrt{\operatorname{tr}(A^{T}A)}

— the double-bar norm with a subscript, since a matrix here is being measured as a long vector rather than as a transformation.

Do not confuseThe matrix product itself.

\operatorname{tr}(A^{T}B)

is a single number;

A^{T}B

is a matrix — the trace is what collapses it, and dropping the operator turns a scalar quantity into an array without any visible error.

All linear algebra symbols →↑ Matrices

Linearity

The trace is a linear function from the space of

n \times n

matrices to the real numbers. It satisfies additivity:

\text{tr}(A + B) = \text{tr}(A) + \text{tr}(B)

and scalar homogeneity:

\text{tr}(cA) = c \cdot \text{tr}(A)

Combined, these give the linearity identity:

Trace Linearity

\text{tr}(cA + dB) = c \cdot \text{tr}(A) + d \cdot \text{tr}(B)

Trace linearity →

for any scalars

c, d

and any

n \times n

matrices

A, B

. Both component properties follow immediately from the definition — the sum of the diagonals of

A + B

is the sum of the individual diagonal sums, and scaling every entry by

c

scales each diagonal entry by

c

.

The transpose does not affect the trace, since transposition does not move the diagonal entries:

Trace of Transpose

\text{tr}(A^T) = \text{tr}(A)

Trace of transpose →

It is worth contrasting the trace with the determinant. The determinant is multiplicative (

\det(AB) = \det(A)\det(B)

) but not additive (

\det(A + B) \neq \det(A) + \det(B)

in general). The trace is additive but not multiplicative —

\text{tr}(AB)

generally has no relation to

\text{tr}(A) \cdot \text{tr}(B)

. Each captures different structural information about the matrix.

Property	Trace	Determinant
Additivity	tr(A + B) = tr(A) + tr(B)	det(A + B) ≠ det(A) + det(B) in general
Multiplicativity	tr(AB) has no simple relation to tr(A)·tr(B)	det(AB) = det(A) · det(B)
Transpose	tr(Aᵀ) = tr(A)	det(Aᵀ) = det(A)
Eigenvalue link	sum: λ₁ + λ₂ + ⋯ + λₙ	product: λ₁ · λ₂ · ⋯ · λₙ
Similarity invariance	tr(P⁻¹AP) = tr(A)	det(P⁻¹AP) = det(A)

Trace of Special Matrices

For a diagonal matrix

D = \text{diag}(d_1, \dots, d_n)

, the trace is simply

d_1 + d_2 + \cdots + d_n

— the entire matrix reduces to its diagonal, and the trace reads off everything. A scalar matrix

cI

has trace

cn

.

A skew-symmetric matrix has all diagonal entries equal to zero (since

a_{ii} = -a_{ii}

forces

a_{ii} = 0

), so

\text{tr}(A) = 0

for every real skew-symmetric matrix.

An idempotent matrix — one satisfying

A^2 = A

— has a striking property:

\text{tr}(A) = \text{rank}(A)

. The eigenvalues of an idempotent matrix are restricted to

0

and

1

, the trace counts the number of eigenvalues equal to

1

, and this count equals the dimension of the column space.

A nilpotent matrix has all eigenvalues equal to zero, so

\text{tr}(A) = 0

. More generally,

\text{tr}(A^k) = 0

for every positive integer

k

, since the eigenvalues of

A^k

are the

k

-th powers of the eigenvalues of

A

, and

0^k = 0

.

Matrix type	Defining condition	Trace
Diagonal D = diag(d₁,…,dₙ)	nonzero entries only on the diagonal	d₁ + d₂ + ⋯ + dₙ
Scalar cI	every diagonal entry equals c	cn
Identity Iₙ	diagonal with every diagonal entry equal to 1	n
Skew-symmetric	Aᵀ = −A (forces zero diagonal)	0
Idempotent	A² = A	rank(A)
Nilpotent	Aᵏ = O for some k ≥ 1	0

The Cyclic Property

The most distinctive algebraic property of the trace is its invariance under cyclic permutations of a product. For any two matrices

A

and

B

where both products

AB

and

BA

are defined:

Trace Cyclic Property

\text{tr}(AB) = \text{tr}(BA)

Trace cyclic property →

Note that

AB

and

BA

need not even have the same dimensions — if

A

is

m \times n

and

B

is

n \times m

, then

AB

is

m \times m

and

BA

is

n \times n

. The traces of these differently-sized matrices are nevertheless equal.

The proof is a direct computation. The

(i,i)

entry of

AB

is

\sum_k a_{ik} b_{ki}

, so

\text{tr}(AB) = \sum_i \sum_k a_{ik} b_{ki}

. The

(k,k)

entry of

BA

is

\sum_i b_{ki} a_{ik}

, so

\text{tr}(BA) = \sum_k \sum_i b_{ki} a_{ik}

. Both double sums range over the same index pairs and contain the same terms.

For three matrices, the cyclic property extends to

\text{tr}(ABC) = \text{tr}(BCA) = \text{tr}(CAB)

Only cyclic reorderings are permitted. The rearrangement

\text{tr}(ABC) = \text{tr}(ACB)

is false in general — swapping two adjacent factors is not a cyclic permutation.

Trace and Eigenvalues

The trace of a matrix equals the sum of its eigenvalues, counted with algebraic multiplicity:

Trace Sum of Eigenvalues

\text{tr}(A) = \lambda_1 + \lambda_2 + \cdots + \lambda_n

Trace sum of eigenvalues →

This identity connects a trivially computable quantity (add the diagonal entries) to eigenvalue information that ordinarily requires solving a degree-

n

polynomial.

The proof comes from the characteristic polynomial

p(\lambda) = \det(A - \lambda I)

. Expanding this determinant produces a polynomial of degree

n

whose leading term is

(-\lambda)^n

and whose

\lambda^{n-1}

coefficient is

(-1)^{n-1} \text{tr}(A)

. By Vieta's formulas, the sum of the roots of

p

equals

\text{tr}(A)

.

A companion identity links the determinant to the product of eigenvalues:

\det(A) = \lambda_1 \lambda_2 \cdots \lambda_n

. Together, the trace and the determinant capture the two simplest symmetric functions of the eigenvalue spectrum — their sum and their product.

For a

3 \times 3

matrix with eigenvalues

2, -1, 4

, the trace is

5

and the determinant is

-8

. Neither the trace nor the determinant individually determines the eigenvalues, but together they constrain them heavily. For a

2 \times 2

matrix, the trace and determinant determine the eigenvalues completely via the quadratic formula.

Trace and Similarity

Two matrices

A

and

B

are similar if

B = P^{-1}AP

for some invertible matrix

P

. Similar matrices represent the same linear transformation in different coordinate systems —

P

encodes the change of basis.

The trace is invariant under similarity:

Trace Similarity Invariance

\text{tr}(P^{-1}AP) = \text{tr}(A)

Trace similarity invariance →

This follows in one step from the cyclic property:

\text{tr}(P^{-1}AP) = \text{tr}(APP^{-1}) = \text{tr}(A)

.

Invariance under similarity means the trace is a property of the transformation itself, not of any particular matrix representation. No matter which basis is chosen, the trace comes out the same. The eigenvalues share this invariance (similar matrices have the same eigenvalues), and indeed

\text{tr}(A) = \sum \lambda_i

is an eigenvalue identity, so trace invariance and eigenvalue invariance are two sides of the same coin.

The determinant is also a similarity invariant:

\det(P^{-1}AP) = \det(A)

. Together with the trace, it forms the beginning of a sequence of similarity invariants — the coefficients of the characteristic polynomial — that collectively determine the eigenvalue structure of the transformation.

The Frobenius Inner Product

The trace provides a natural inner product on the space of

n \times n

matrices. For two matrices

A

and

B

, the Frobenius inner product is

Frobenius Inner Product

\langle A, B \rangle_F = \text{tr}(A^T B) = \sum_{i=1}^{n} \sum_{j=1}^{n} a_{ij} b_{ij}

Frobenius inner product →

This is the dot product of

A

and

B

viewed as vectors of

n^2

entries. It is symmetric (

\langle A, B \rangle_F = \langle B, A \rangle_F

), linear in each argument, and positive definite (

\langle A, A \rangle_F > 0

whenever

A \neq O

).

The associated norm is the Frobenius norm:

Frobenius Norm

\|A\|_F = \sqrt{\text{tr}(A^T A)} = \sqrt{\sum_{i,j} a_{ij}^2}

Frobenius norm →

This measures the "total size" of a matrix as the square root of the sum of squares of all entries — the matrix analogue of the Euclidean length of a vector.

The Frobenius inner product turns the space of

n \times n

matrices into an inner product space, bringing geometric concepts — angles, orthogonality, projections, distances — to bear on matrices themselves, not just on the vectors they act upon.

Trace of Commutators

The commutator of two

n \times n

matrices is the matrix

[A, B] = AB - BA

The commutator measures how far

A

and

B

are from commuting — it is zero if and only if

AB = BA

.

Regardless of what

A

and

B

are, the commutator always has trace zero:

Trace of Commutator

\text{tr}(AB - BA) = 0

Trace of commutator →

The cancellation follows from the cyclic property:

\text{tr}(AB - BA) = \text{tr}(AB) - \text{tr}(BA) = 0

. This means the identity matrix

I

can never be a commutator, since

\text{tr}(I) = n \neq 0

. In particular, there exist no

n \times n

matrices

A, B

satisfying

AB - BA = I

when working over the real or complex numbers with finite-dimensional matrices.

The converse does not hold in general: a traceless matrix is not necessarily a commutator, though in the space of

n \times n

matrices over a field, every traceless matrix can in fact be written as a commutator — a result that requires proof beyond the trace identity itself.

Trace Identities

Several identities involving the trace appear frequently enough to be worth collecting.

If

S

is symmetric and

K

is skew-symmetric, then their product has trace zero:

Trace Symmetric Skew Zero

S = S^T,\ K = -K^T \implies \text{tr}(SK) = 0

Trace symmetric skew zero →

The proof:

\text{tr}(SK) = \text{tr}((SK)^T) = \text{tr}(K^T S^T) = \text{tr}(-KS) = -\text{tr}(KS) = -\text{tr}(SK)

, where the last step uses the cyclic property. The only number equal to its own negative is zero.

The trace can be written as a sum of quadratic forms against the standard basis:

\text{tr}(A) = \sum_{i=1}^{n} \mathbf{e}_i^T A \mathbf{e}_i

. Each term

\mathbf{e}_i^T A \mathbf{e}_i = a_{ii}

extracts one diagonal entry. This formula generalizes to any orthonormal basis

\{\mathbf{q}_1, \dots, \mathbf{q}_n\}

:

Trace Orthonormal Basis

\text{tr}(A) = \sum_{i=1}^{n} \mathbf{q}_i^T A \mathbf{q}_i

Trace orthonormal basis →

The result is independent of which orthonormal basis is used — another manifestation of the trace's invariance under orthogonal change of coordinates.

Trace in Differentiation

Many objective functions in optimization and statistics are expressed as traces of matrix products, and computing their gradients requires differentiating with respect to a matrix variable.

The simplest case is the linear function

f(X) = \text{tr}(AX)

, where

A

is a fixed matrix and

X

is the variable. The derivative with respect to

X

is

\frac{\partial}{\partial X} \text{tr}(AX) = A^T

For the quadratic form

f(X) = \text{tr}(X^T A X)

, the derivative is

\frac{\partial}{\partial X} \text{tr}(X^T A X) = (A + A^T)X

When

A

is symmetric, this simplifies to

2AX

.

These formulas are the matrix analogues of the scalar rules

\frac{d}{dx}(ax) = a

and

\frac{d}{dx}(ax^2) = 2ax

. They appear in deriving the normal equations for least squares, in the gradient descent updates for matrix factorization problems, and in the analysis of covariance estimators. The trace's linearity and cyclic property make these derivatives clean and systematic — full matrix calculus extends these patterns to products of arbitrary length and composition.

Trace Properties at a Glance

The properties developed across the preceding sections can be collected for quick reference. Each row pairs the defining identity with the structural fact it carries — the trace owes its usefulness to this short list of algebraic guarantees.

Download

PNGRaster · 2×PDFPrint quality

Matrix · trace

Trace properties at a glance

Seven identities, each linked to the section that proves it. What holds them together is that the trace sees only the diagonal — every entry below either exploits that or is limited by it.

07properties

Unconditional3

i

Linearity§ 2

\operatorname{tr}(cA + dB) = c\operatorname{tr}(A) + d\operatorname{tr}(B)

The trace is a linear functional on the space of n × n matrices — it maps matrices to scalars…

Unconditional

Requires: $A, B$ both $n \times n$

The trace is a linear functional on the space of $n \times n$ matrices — it maps matrices to scalars while respecting addition and scaling. That is a stronger statement than the formula alone: it means the trace lives in the dual space, which is what makes the Frobenius inner product possible.

ii

Transpose invariance§ 9

\operatorname{tr}(A^{\mathsf{T}}) = \operatorname{tr}(A)

Transposition reflects entries across the main diagonal, and the diagonal entries are exactly…

Unconditional

Requires: $A$ square

Transposition reflects entries across the main diagonal, and the diagonal entries are exactly the ones fixed by that reflection. Since the trace reads only those, it cannot notice.

vi

Commutator trace§ 8

\operatorname{tr}(AB - BA) = 0

Immediate from the cyclic property and linearity.

Unconditional

Requires: $A, B$ both $n \times n$

Immediate from the cyclic property and linearity. The consequence is sharper than it looks: since $\operatorname{tr}(I_n) = n \neq 0$ , the identity matrix is never a commutator. No pair of matrices satisfies $AB - BA = I$ in finite dimensions — which is exactly why the canonical commutation relation of quantum mechanics needs infinite-dimensional operators.

Conditional4

iii

Cyclic property§ 4

\operatorname{tr}(AB) = \operatorname{tr}(BA)

Rotating the factors is allowed; permuting them arbitrarily is not.

Conditional

Holds when: both products defined — $A$ and $B$ need not be square
Common error: reading it as full commutativity: $\operatorname{tr}(ABC) = \operatorname{tr}(BCA)$ but not $\operatorname{tr}(BAC)$

Rotating the factors is allowed; permuting them arbitrarily is not. For three matrices the cyclic rotations $ABC \to BCA \to CAB$ all share a trace, while $BAC$ generally does not. This is the identity everything below is derived from — it is the reason the trace survives a change of basis at all.

Where it breaksA = [[1, 0], [0, 0]], B = [[0, 1], [0, 0]], C = [[0, 0], [1, 0]]
tr(ABC) = 1 but tr(BAC) = 0

iv

Similarity invariance§ 6

\operatorname{tr}(P^{-1}AP) = \operatorname{tr}(A)

A direct consequence of the cyclic property: rotate P^-1 to the back and it meets P.

Conditional

Holds when: $P$ invertible

A direct consequence of the cyclic property: rotate $P^{-1}$ to the back and it meets $P$ . The consequence is what matters — the trace is a property of the underlying linear transformation, not of the basis chosen to write it down. Two matrices with different traces cannot represent the same map.

v

Eigenvalue sum§ 5

\operatorname{tr}(A) = \lambda_1 + \lambda_2 + \cdots + \lambda_n

Spectral information read straight off the diagonal, with no characteristic polynomial to solve.

Conditional

Holds when: eigenvalues counted with algebraic multiplicity, over $\mathbb{C}$

Spectral information read straight off the diagonal, with no characteristic polynomial to solve. Over $\mathbb{R}$ the statement can fail because some eigenvalues may not exist there — a rotation matrix has trace $2\cos\theta$ and no real eigenvalues at all. The sum is still correct once the complex pair is counted.

vii

Frobenius inner product§ 7

\langle A, B \rangle_F = \operatorname{tr}(A^{\mathsf{T}}B)

Gives the space of matrices a geometry — angles, lengths and projections, exactly as the dot…

Conditional

Holds when: real entries; use $A^*$ for the complex case

Gives the space of matrices a geometry — angles, lengths and projections, exactly as the dot product does for vectors. Positive definiteness holds because $\langle A, A \rangle_F$ is the sum of every entry squared, so the induced norm is the Frobenius norm.

Unconditional

Conditional

Linearity§ 2Unconditional

\operatorname{tr}(cA + dB) = c\operatorname{tr}(A) + d\operatorname{tr}(B)

Requires: $A, B$ both $n \times n$

The trace is a linear functional on the space of

n \times n

matrices — it maps matrices to scalars while respecting addition and scaling. That is a stronger statement than the formula alone: it means the trace lives in the dual space, which is what makes the Frobenius inner product possible.

Read the full section

Transpose invariance§ 9Unconditional

\operatorname{tr}(A^{\mathsf{T}}) = \operatorname{tr}(A)

Requires: $A$ square

Transposition reflects entries across the main diagonal, and the diagonal entries are exactly the ones fixed by that reflection. Since the trace reads only those, it cannot notice.

Read the full section

Cyclic property§ 4Conditional

\operatorname{tr}(AB) = \operatorname{tr}(BA)

Holds when: both products defined — $A$ and $B$ need not be square
Common error: reading it as full commutativity: $\operatorname{tr}(ABC) = \operatorname{tr}(BCA)$ but not $\operatorname{tr}(BAC)$

Rotating the factors is allowed; permuting them arbitrarily is not. For three matrices the cyclic rotations

ABC \to BCA \to CAB

all share a trace, while

BAC

generally does not. This is the identity everything below is derived from — it is the reason the trace survives a change of basis at all.

Where it breaksA = [[1, 0], [0, 0]], B = [[0, 1], [0, 0]], C = [[0, 0], [1, 0]]
tr(ABC) = 1 but tr(BAC) = 0

Read the full section

Similarity invariance§ 6Conditional

\operatorname{tr}(P^{-1}AP) = \operatorname{tr}(A)

Holds when: $P$ invertible

A direct consequence of the cyclic property: rotate

P^{-1}

to the back and it meets

P

. The consequence is what matters — the trace is a property of the underlying linear transformation, not of the basis chosen to write it down. Two matrices with different traces cannot represent the same map.

Read the full section

Eigenvalue sum§ 5Conditional

\operatorname{tr}(A) = \lambda_1 + \lambda_2 + \cdots + \lambda_n

Holds when: eigenvalues counted with algebraic multiplicity, over $\mathbb{C}$

Spectral information read straight off the diagonal, with no characteristic polynomial to solve. Over

\mathbb{R}

the statement can fail because some eigenvalues may not exist there — a rotation matrix has trace

2\cos\theta

and no real eigenvalues at all. The sum is still correct once the complex pair is counted.

Read the full section

Commutator trace§ 8Unconditional

\operatorname{tr}(AB - BA) = 0

Requires: $A, B$ both $n \times n$

Immediate from the cyclic property and linearity. The consequence is sharper than it looks: since

\operatorname{tr}(I_n) = n \neq 0

, the identity matrix is never a commutator. No pair of matrices satisfies

AB - BA = I

in finite dimensions — which is exactly why the canonical commutation relation of quantum mechanics needs infinite-dimensional operators.

Read the full section

Frobenius inner product§ 7Conditional

\langle A, B \rangle_F = \operatorname{tr}(A^{\mathsf{T}}B)

Holds when: real entries; use $A^*$ for the complex case

Gives the space of matrices a geometry — angles, lengths and projections, exactly as the dot product does for vectors. Positive definiteness holds because

\langle A, A \rangle_F

is the sum of every entry squared, so the induced norm is the Frobenius norm.

Read the full section

Two of these are load-bearing for the rest. Linearity makes the trace a functional rather than merely a formula, and the cyclic property is what similarity invariance, the eigenvalue sum and the commutator identity are all derived from.

Trace properties at a glance·/linear-algebra/matrix/traceLearn Math Class

Matrix Trace FAQ

Is $\operatorname{tr}(ABC)$ the same as $\operatorname{tr}(BAC)$ ?

+

No, and this is the most over-applied rule on the topic. The cyclic property permits rotation only, moving the front factor to the back:

\operatorname{tr}(ABC) = \operatorname{tr}(BCA) = \operatorname{tr}(CAB)

. Swapping two adjacent factors, as

BAC

does, is a different move and generally changes the value. The two forms look almost identical written down.Read more →

Is $\operatorname{tr}(A^{T}B)$ a number or a matrix?

+

A number. The product

A^{T}B

is itself a matrix, and the trace is exactly what collapses it to a single scalar by summing the diagonal. Dropping the operator turns a scalar quantity into an array with nothing visibly wrong on the page, which makes it an easy error to carry through a derivation unnoticed.Read more →

Why is $\operatorname{tr}$ set in upright type rather than italics?

+

The roman type marks it as an operator name rather than a product of two variables

t

and

r

, the same convention that sets

\det

and

\operatorname{rank}

upright. Spellings vary by field: physics capitalises it as

\operatorname{Tr}

, while German and older Russian texts write

\operatorname{sp}

, from the word Spur.Read more →

Trace of a Matrix

The Simplest Matrix Invariant

Definition

Trace Notation

Trace Notation

Linearity

Trace of Special Matrices

The Cyclic Property

Trace and Eigenvalues

Trace and Similarity

The Frobenius Inner Product

Trace of Commutators

Trace Identities

Trace in Differentiation

Trace Properties at a Glance

Trace properties at a glance

Matrix Trace FAQ

Is tr⁡(ABC)\operatorname{tr}(ABC)tr(ABC) the same as tr⁡(BAC)\operatorname{tr}(BAC)tr(BAC)?

Is tr⁡(ATB)\operatorname{tr}(A^{T}B)tr(ATB) a number or a matrix?

Why is tr⁡\operatorname{tr}tr set in upright type rather than italics?

Is $\operatorname{tr}(ABC)$ the same as $\operatorname{tr}(BAC)$ ?

Is $\operatorname{tr}(A^{T}B)$ a number or a matrix?

Why is $\operatorname{tr}$ set in upright type rather than italics?