Una base de un espacio vectorial compuesta por autovectores de un operador lineal de modo que el operador actúa diagonalmente en las coordenadas relativas a esa base.

Principio

Si un operador lineal es diagonalizable, existe un conjunto completo de autovectores linealmente independientes cuyo cierre es el espacio; para operadores normales auto-adjuntos se puede elegir una base propia ortonormal (teorema espectral).

Demostración

El operador Laplaciano en el círculo tiene una base de autovalores dada por exponenciales complejas e^{ikθ}; expresar una función en esa base diagonaliza el Laplaciano y convierte las EDP en relaciones algebraicas sobre coeficientes.

Aplicación incorrecta

Suponer que una matriz arbitraria no diagonalizable tiene una base de autovectores e intentar diagonalizarla sin tener en cuenta las cadenas de Jordan y los autovectores generalizados.

Consecuencia

Una base de autovectores reduce dinámicas lineales a evoluciones escalares independientes a lo largo de cada autovector, simplifica descomposiciones espectrales y facilita cálculos eficientes como truncamiento modal y exponenciación diagonal.

Inversión

En ausencia de una base propia completa se emplea una base de Jordan de autovectores generalizados o una descomposición en valores singulares que proporciona modos ortogonales para operadores no normales pero no verdaderos autovectores para diagonalización.

Límite

La existencia depende del operador y del campo subyacente: en dimensión finita la diagonalizabilidad requiere que las multiplicidades algebraicas igualen las multiplicidades geométricas; en dimensiones infinitas la completitud y ortogonalidad requieren condiciones espectrales adicionales.

Tensión semántica

A menudo se confunde con vectores singulares de la SVD: los vectores singulares diagonalizan un operador positivo relacionado y son ortogonales para matrices arbitrarias, mientras que los autovectores diagonalizan el operador original pero pueden no ser ortogonales si el operador es no normal.

Síntesis

Una base de autovectores es un conjunto completo de vectores propios que proporciona coordenadas en las que un operador lineal diagonalizable actúa por multiplicación escalar, permitiendo descomponer dinámicas y operadores en contribuciones modales independientes.