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.
The reduced resolvent satisfies the standard projector and inverse identities on the complementary invariant subspace
Statement
Let be a simple eigenvalue of , let be compatible eigenvectors normalized by , and let . Then the restriction of to is a bijection . If is its inverse on and , then
and this is unique.
Facts & Assumptions
Given: A simple eigenvalue , normalized compatible eigenvectors , and the projector .
Under the normalization , the simple spectral projector is (The simple spectral projector ).
Proof
Every vector decomposes uniquely as , with the second term in . If and , then is a right eigenvector for the simple eigenvalue , so for some scalar . Applying gives , hence . Therefore the restriction of to is injective, and since both domain and codomain have dimension , it is bijective.
Define to be the inverse of that restriction on and to vanish on . Then by construction. For with , [F1] gives , so . Therefore , and similarly . Thus all displayed identities hold.
If is another linear map with the same identities, then because and . On one has , and the injectivity from step 1.1 gives . Hence , so the reduced resolvent of The reduced resolvent, or group inverse, on the complementary invariant subspace of a simple eigenvalue is well defined and unique.
Depends on
Used by
- In a fixed gauge, the derivative of a simple right eigenvector is obtained by applying the reduced resolvent to the perturbation Theorem
- The derivative of the simple spectral projector is expressed by the reduced resolvent and the perturbation Theorem
Cited to discharge well-definedness by The reduced resolvent, or group inverse, on the complementary invariant subspace of a simple eigenvalue.
Dependency tree · two levels
4 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
- G. W. Stewart and Ji-guang Sun, Matrix Perturbation Theory (standard reference, not scraped)