How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A normal endomorphism is a sum of its eigenvalues times pairwise orthogonal projections, and each spectral projection is a polynomial in the endomorphism
Statement
Let be a finite-dimensional complex inner product space and let be normal. If are the distinct eigenvalues of , then there are pairwise orthogonal projections such that
each projects onto the eigenspace , and every is a polynomial in .
Facts & Assumptions
Given: A finite-dimensional complex inner product space and a normal endomorphism with distinct eigenvalues .
A normal complex endomorphism has an orthonormal eigenbasis (Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely).
Self-adjoint idempotents are exactly orthogonal projections (An endomorphism is an orthogonal projection exactly when it is idempotent and self-adjoint).
In the primary decomposition, each primary projection is a polynomial in the endomorphism (Each projection in the primary decomposition is a polynomial in the endomorphism).
Proof
By [L1], has an orthonormal eigenbasis. If , then there are no eigenvalues and is the empty sum. Otherwise with the summands pairwise orthogonal; if is the orthogonal projection onto and with , then , hence .
Because the eigenspaces are pairwise orthogonal and the are the corresponding orthogonal projections, one has , , and for , so the are pairwise orthogonal projections in the sense of [L2].
Since is diagonalisable with distinct eigenvalues, its primary decomposition is exactly the direct sum of the eigenspaces . Therefore [L3] identifies each projection onto with a polynomial in .
Depends on
- Complex spectral theorem: a normal endomorphism of a finite-dimensional complex inner product space has an orthonormal eigenbasis, and conversely
- Each projection in the primary decomposition is a polynomial in the endomorphism
- The orthogonal projection $P_Wv$ is the $W$-component in $V=W\oplus W^\perp$
- An endomorphism is an orthogonal projection exactly when it is idempotent and self-adjoint
Used by
Dependency tree · two levels
16 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Sheldon Axler, Linear Algebra Done Right, fourth edition (standard reference, not scraped)