La descomposición polar es una representación de una matriz cuadrada como producto de matrices hermitianas y unitarias . Es un análogo de la descomposición de cualquier número complejo en la forma .
Probemos que cualquier matriz cuadrada sobre puede representarse como el producto de una matriz definida no negativa simétrica y una matriz ortogonal .
Como , la matriz es simétrica. Hay [2] una base, que se puede denotar por , que consta de vectores propios ortonormales de la matriz , dispuestos en orden descendente de valores propios.
Dado que , entonces para cualquier vector y base , . Esto significa que la imagen de la base con respecto a la transformación es ortogonal (se conservan los ángulos entre los vectores de la base, pero no sus longitudes). Durante la transformación, los vectores base se transforman en vectores .
Los valores singulares de una matriz son las raíces cuadradas de los valores propios de la matriz .
Por lo tanto, es obvio que . Dado que en la base considerada los vectores están dispuestos en orden descendente de sus valores propios, existe un número tal que .
Sea un sistema de vectores en , suplementado a una base ortonormal arbitrariamente. Sea la matriz de transición de base a base . Como ambas bases son ortonormales, la matriz es ortogonal. Dado que existe una base ortonormal de vectores propios de la matriz . Esto significa que la matriz en la base tiene forma diagonal y, por lo tanto, es simétrica en una base ortonormal arbitraria.
Entonces, donde la matriz es ortogonal y la matriz es simétrica.