Alphabeta Math
PropositionStatement: AI-adaptedProof: AI-generatedprecheck passaudited 2026-08-31
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 A, let x,y be compatible eigenvectors normalized by yx=1, and let P=xy. Then the restriction of AλI to kery is a bijection kerykery. If S is its inverse on kery and Sx=0, then

SP=PS=0,S(AλI)=(AλI)S=IP,

and this S is unique.

Facts & Assumptions

Given: A simple eigenvalue λ, normalized compatible eigenvectors x,y, and the projector P=xy.

[F1]

Under the normalization yx=1, the simple spectral projector is P=xy (The simple spectral projector P=xy/(yx)).

Proof

technique · direct
1.1

Every vector v decomposes uniquely as v=(yv)x+(v(yv)x), with the second term in kery. If zkery and (AλI)z=0, then z is a right eigenvector for the simple eigenvalue λ, so z=cx for some scalar c. Applying y gives 0=yz=cyx=c, hence z=0. Therefore the restriction of AλI to kery is injective, and since both domain and codomain have dimension n1, it is bijective.

givenalgebra
2.1

Define S to be the inverse of that restriction on kery and to vanish on span{x}. Then SP=PS=0 by construction. For v=αx+z with zkery, [F1] gives Pv=(yv)x=(α+yz)x=αx, so (IP)v=z. Therefore S(AλI)v=S(AλI)z=z=(IP)v, and similarly (AλI)Sv=(AλI)Sz=z=(IP)v. Thus all displayed identities hold.

F1constructstep 1.1algebra
3.1

If S is another linear map with the same identities, then Sx=0 because SP=0 and Px=x. On kery one has (AλI)Sz=z=(AλI)Sz, and the injectivity from step 1.1 gives Sz=Sz. Hence S=S, 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.

step 1.1step 2.1algebra

Depends on

Used by

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