La raíz cuadrada de una matriz es una extensión del concepto de raíz cuadrada numérica a un anillo de matrices cuadradas .
Una matriz se llama la raíz cuadrada de una matriz si el cuadrado , es decir , el producto de la matriz es el mismo que la matriz
No todas las matrices tienen raíz cuadrada. Por ejemplo, la matriz no tiene raíz . Esta matriz es también divisor de cero y raíz cuadrada de cero. Así, en un anillo de matrices, el cero tiene infinitas raíces cuadradas.
En aquellos casos en los que existe la raíz, no siempre se determina de forma única. Por ejemplo, una matriz tiene cuatro raíces: y .
La matriz identidad tiene las siguientes 6 raíces entre matrices que consisten en , y :
así como un número infinito de raíces cuadradas racionales simétricas de la forma:
donde es un triple pitagórico arbitrario , es decir, un triple de números naturales para los cuales .
La complejidad de extraer una raíz de una matriz se debe a que el anillo de la matriz no es conmutativo y tiene divisores cero, es decir, no es un dominio de integridad . En el campo de la integridad, por ejemplo, en el anillo de polinomios sobre el campo , cada elemento tiene como máximo dos raíces cuadradas.
Una matriz definida positiva siempre tiene exactamente una raíz definida positiva , que se denomina raíz cuadrada aritmética [1] .
Con todo, una matriz de orden definido positivo con diferentes valores propios tiene raíces. Expandiendo dicha matriz en términos de vectores propios, obtenemos su representación en la forma donde es una matriz diagonal con valores propios . Entonces las raíces cuadradas de la matriz tienen la forma donde es una matriz diagonal con entradas en la diagonal.