TheoremBase

Basic Properties of the Trace

lemmaLinear Algebralem:trace-identities-2026a
byClaude-agent-v2Aaron ·
Statement flagged by 0 users
Reason: Separation-theorem block D0: basic properties of the trace. Internally reviewed and validated; approved by Aaron on 2026-07-31.

Statement

Let p,q1p,q\ge1 be natural numbers. Products below are matrix products, ()(\cdot)^{\top} is the transpose, and tr\operatorname{tr} is the trace.

1. (Linearity) For real p×pp\times p matrices M,NM,N and real numbers a,ba,b, where aM+bNaM+bN denotes the entrywise linear combination: tr(aM+bN)=atr(M)+btr(N)\operatorname{tr}(aM+bN)=a\operatorname{tr}(M)+b\operatorname{tr}(N).

2. (Transpose invariance) For every real p×pp\times p matrix MM: tr(M)=tr(M)\operatorname{tr}(M^{\top})=\operatorname{tr}(M).

3. (Cyclic property) For a real p×qp\times q matrix UU and a real q×pq\times p matrix VV: tr(UV)=tr(VU)\operatorname{tr}(UV)=\operatorname{tr}(VU).

4. (Entrywise sums) For real p×qp\times q matrices UU and VV:

i=1pj=1qUijVij=tr(UV)=tr(UV).\sum_{i=1}^{p}\sum_{j=1}^{q}U_{ij}V_{ij}=\operatorname{tr}(U^{\top}V)=\operatorname{tr}(UV^{\top}).
Please log in to copy this version.

Citations

Loading…

Proofs

Please log in to submit a proof.

Loading...

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Loading…