Linear algebra MOC

Eigenvectors, eigenvalues, and eigenspaces

The eigenvectors of a Linear map are the vectors with images parallel to themselves under the transformation, i.e. the vectors which remain on their span. linalg Geometrically, such vectors are never rotated by the transformation, but are scaled by some factor πœ†, called the eigenvalue. linalg

Formally, the eigenvectors of a transformation 𝐴 are the vectors satisfying

𝐴⃗𝐯=πœ†βƒ—π―

for some scalar πœ†. The set of all such vectors for a given πœ† is called an eigenspace, as it necessarily forms a vector subspace.

π”Όπœ†β‘(𝐴)={βƒ—π―βˆˆπ‘‰βˆ£(π΄βˆ’πœ†πΌ)⃗𝐯=βƒ—πŸŽ}

The computation of eigenvalues uses the determinant

𝐴⃗𝐯=πœ†βƒ—π―βŸΉ(π΄βˆ’πœ†πΌ)⃗𝐯=βƒ—πŸŽβŸΉdet(π΄βˆ’πœ†πΌ)=0

to form the characteristic polynomial. Once eigenvalues are known, eigenspaces can be found using Gaußian elimination on the augmented matrix [π΄βˆ’πœ†πΌβˆ£βƒ—πŸŽ].

An important process is Diagonalization, by which any diagonalisable matrix is turned into a diagonal matrix with its eigenvalues as entries along the diagonal.

Properties1

det(𝐴) =βˆπ‘›π‘–=1πœ†π‘– ^P1 2. Tr(𝐴) =βˆ‘π‘›π‘–=1πœ†π‘– ^P2 3. πœ†π‘–(π΄βˆ’1) =πœ†βˆ’1𝑖(𝐴) 4. πœ†π‘–(𝐴𝖳) =πœ†π‘–(𝐴) 5. πœ†π‘–(𝐴 +π‘˜πΌ) =πœ†π‘–(𝐴) +π‘˜ 6. πœ†π‘–(π΄π‘˜) =πœ†π‘–(𝐴)π‘˜ 7. Cayley-Hamilton Theorem β€” A matrix 𝐴 satisfies its own characteristic equation (by replacing πœ†π‘› with 𝐴𝑛). 8. Any β„“ vectors from β„“ different eigenspaces form a linearly independent set.

For 2 Γ—2 matrices, properties ^P1 and ^P2 allow for 3b1b’s eigenvalue trick.

Multiplicity

For each of a transformations eigenvalues we define algebraic and geometric multiplicity as follows

  • Algebraic multiplicity is how many roots of the characteristic polynomial correspond to that eigenvalue. linalg
  • Geometric multiplicity is the dimensions of the eigenspace dim⁑(πΈπœ†(𝐴)) linalg

Geometric multiplicity is at most the algebraic multiplicities.1 It is clearly impossible for an eigenspace to have dimension 0, so we have the inequality

1≀geometric multiplicity≀algebraic multiplicity


tidy | SemBr

Footnotes

  1. 2022. MATH1012: Mathematical theory and methods, pp. 103–102 ↩ ↩2