Arrel quadrada d'una matriu

En matemàtiques, lPlantilla:'arrel quadrada d'una matriu amplia la noció d'arrel quadrada dels nombres a les matrius. Es diu que una matriu Plantilla:Mvar és una arrel quadrada de Plantilla:Mvar si el producte de la matriu Plantilla:Math és igual a Plantilla:Mvar.

Alguns autors utilitzen el nom d'arrel quadrada o la notació Plantilla:Math només per al cas concret en què Plantilla:Mvar és semidefinida positiva, per indicar la matriu única Plantilla:Mvar que és semidefinida positiva i tal que Plantilla:Math (per a valors reals). matrius, on Plantilla:Math és la transposició de Plantilla:Mvar).

Amb menys freqüència, el nom d'arrel quadrada es pot utilitzar per a qualsevol factorització d'una matriu semidefinida positiva Plantilla:Mvar com Plantilla:Mvar, com en la factorització de Cholesky, encara que Plantilla:Math.

Exemples

En general, una matriu pot tenir diverses arrels quadrades. En particular, si $A=B^2$ aleshores $A=(-B{)}^2$ també.

La matriu d'identitat 2×2 $\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)$ té infinites arrels quadrades. Estan donats per

$\left(\begin{array}{cc}\pm 1& 0\\ 0& \pm 1\end{array}\right)$ i $\left(\begin{array}{cc}a& b\\ c& -a\end{array}\right)$

on $(a,b,c)$ són qualsevol nombre (real o complex) tal que $a^2+bc=1$. En particular si $(a,b,t)$ és qualsevol triple pitagòric, és a dir, qualsevol conjunt de nombres enters positius tals que $a^2+b^2=t^2$, doncs $\frac{1}{t}\left(\begin{array}{cc}a& b\\ b& -a\end{array}\right)$ és una matriu d'arrel quadrada de $I$ que és simètric i té entrades racionals. Així

$\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)={\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)}^2={\left(\begin{array}{cc}\frac{4}{5}& \frac{3}{5}\\ \frac{3}{5}& -\frac{4}{5}\end{array}\right)}^2.$

La identitat menys té una arrel quadrada, per exemple:

$-\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)={\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)}^2,$

que es pot utilitzar per representar la unitat imaginària Plantilla:Mvar i, per tant, tots els nombres complexos utilitzant matrius reals 2×2, vegeu Representació matricial de nombres complexos.

Igual que amb els nombres reals, una matriu real pot no tenir una arrel quadrada real, però tenir una arrel quadrada amb entrades de valors complexos. Algunes matrius no tenen arrel quadrada. Un exemple és la matriu $\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right).$

Mentre que l'arrel quadrada d'un nombre enter no negatiu és de nou un nombre enter o un nombre irracional, en canvi una matriu enter pot tenir una arrel quadrada les entrades de la qual són racionals, però no integrals, com en els exemples anteriors.

Matrius semidefinides positives

Una matriu real simètrica n × n s'anomena semidefinida positiva si $x^{\mathsf{\text{T}}}Ax\ge 0$ per a tot $x\in {ℝ}^n$ (aquí $x^{\mathsf{\text{T}}}$ denota la transposició, canviant un vector columna Plantilla:Mvar en un vector fila). Una matriu real quadrada és semidefinida positiva si i només si $A=B^{\mathsf{\text{T}}}B$ per a alguna matriu Plantilla:Mvar Hi pot haver moltes matrius diferents Plantilla:Mvar. Una matriu semidefinida positiva Plantilla:Mvar també pot tenir moltes matrius Plantilla:Mvar de tal manera que $A=BB$. Tanmateix, Plantilla:Mvar sempre té precisament una arrel quadrada Plantilla:Mvar que és semidefinida positiva i simètrica. En particular, com que cal que Plantilla:Mvar sigui simètric, $B=B^{\mathsf{\text{T}}}$, per tant les dues condicions $A=BB$ o $A=B^{\mathsf{\text{T}}}B$ són equivalents.

Per a matrius de valors complexos, la transposició conjugada $B^{*}$ s'utilitza en el seu lloc i les matrius semidefinides positives són hermitianes, és a dir $B^{*}=B$.

Teorema —  Sigui A una matriu semidefinida positiva i simètrica (tingueu en compte que A pot ser semidefinida positiva però no simètrica). Aleshores hi ha exactament una matriu B semidefinida i simètrica positiva tal que A=BB. Tingueu en compte que hi pot haver més d'una matriu semidefinida positiva i no simètrica B de tal manera que A=BTB

Aquesta matriu única s'anomena arrel quadrada principal, no negativa o positiva (aquesta última en el cas de matrius definides positives).

L'arrel quadrada principal d'una matriu semidefinida positiva real és real. L'arrel quadrada principal d'una matriu definida positiva és definida positiva; de manera més general, el rang de l'arrel quadrada principal d' Plantilla:Mvar és el mateix que el rang d' Plantilla:Mvar.

L'operació de prendre l'arrel quadrada principal és contínua en aquest conjunt de matrius. Aquestes propietats són conseqüències del càlcul funcional holomòrfic aplicat a les matrius. L'existència i la singularitat de l'arrel quadrada principal es pot deduir directament de la forma normal de Jordan.