Real eigenvalues and nonzero eigenvectors of 2×2 matrices
An eigenvector must be nonzero, whereas a candidate-scalar kernel includes zero; a real 2×2 matrix may have no real eigenvalues.
atlas-eigenvalue · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
An eigenvector must be nonzero, whereas a candidate-scalar kernel includes zero; a real 2×2 matrix may have no real eigenvalues.
atlas-eigenvalue · canonical_mko