El proceso de encontrar una base en la que un operador lineal o matriz se represente por una matriz triangular superior; las entradas diagonales muestran los valores propios (con multiplicidad algebraica) y las entradas encima de la diagonal codifican interacciones entre espacios propios generalizados.

Principio

La triangularización existe una vez que el polinomio característico (o minimal) se descompone sobre el campo base: se construye una bandera de subespacios invariantes tal que el operador envía cada subespacio en sí mismo y actúa por escalares en los cocientes sucesivos, produciendo mediante semejanza una matriz triangular superior.

Demostración

Sobre C, el teorema de Schur garantiza una matriz unitaria U tal que U* A U es triangular superior con los valores propios en la diagonal; en cálculo numérico proporciona una reducción estable que revela el espectro sin requerir diagonalización completa.

Aplicación incorrecta

Tratar una matriz triangular superior como si fuera diagonal — suponer que la diagonal por sí sola determina la clase de semejanza — ignora los acoplamientos nilpotentes por encima de la diagonal y conduce a conclusiones erróneas sobre potencias o exponenciales.

Consecuencia

La forma triangular hace explícitos los valores propios y facilita el cálculo del polinomio característico y de algoritmos numéricos iterativos; es una simplificación más débil pero más generalmente disponible que la diagonalización.

Inversión

La inversión es la diagonalización: cuando las entradas por encima de la diagonal desaparecen en alguna representación triangular, el operador es diagonalizable y la forma triangular colapsa a una diagonal.

Límite

La triangularización suele requerir que los polinomios se descompongan en el campo base; en campos donde los valores propios están en extensiones puede necesitarse pasar a una extensión. No proporciona en general bloques canónicos (a diferencia de las formas de Jordan o racional).

Tensión semántica

Tensión entre triangularización y forma de Jordan: ambas colocan los valores propios en la diagonal, pero Jordan refina la estructura triangular en bloques nilpotentes canónicos mientras la triangularización deja entradas superiores no canónicas.

Síntesis

La triangularización reduce un operador a una acción triangular que refleja una bandera invariante: expone el espectro en la diagonal y codifica las relaciones de los espacios propios generalizados por encima de la diagonal, sirviendo como una simplificación robusta cuando la diagonalización falla o no está disponible.