Deje AA ser una matriz cuadrada de más de C, y deje AT denotar su transpuesta.
No es difícil ver que A e AT tienen el mismo conjunto de valores propios, por lo que da Ax=λx para algunos vectores x∈V y autovalor λ∈C, sabemos que siempre debe haber algunos otros y∈V tal que también se ATy=λy.
También sabemos que, si Ax=λx e ATy=μy con λ≠μ, a continuación, ⟨y∗,x⟩=0, donde y∗ denota el vector cuyos elementos son complejas conjugadas de los de y, como se desprende de ⟨y∗,Ax⟩=λ⟨y∗,x⟩=μ⟨y∗,x⟩.
El mismo argumento, sin embargo, no proporciona toda la información para el caso de μ=λ. Hay relación con la celebración, en general, para tal caso?
Más precisamente, dado Ax=λx e ATy=λy, hay en general la relación entre los x e y?