Diferencia entre revisiones de «Matriz definida positiva»

Contenido eliminado Contenido añadido
Enlaces Externos
SeroBOT (discusión · contribs.)
m Revertidos los cambios de Nicolás Duque Báez (disc.) a la última edición de SeroBOT
Etiqueta: Reversión
Línea 1:
En el [[álgebra lineal]], una '''matriz definida positiva''' es una [[matriz hermitiana]] que en muchos aspectos es similar a un [[número real]] positivo, también puede tratarse de una matriz simétrica real cuyos menores principales son positivos ([[James Joseph Sylvester|Criterio de Sylvester]]).
En el [[álgebra lineal]], una [[matriz hermitiana]] <math>A</math> es '''definida positiva''' si cumple con la siguiente condición:<blockquote><big> <math>\forall x \in \mathbb{C}, x^{*}Ax > 0.</math></big></blockquote>Teniendo en cuenta que denotamos la transpuesta de una matriz <math>A</math> como <math>A^T</math>, y su conjugado transpuesto como <math>A^*</math>. Si <math>A</math> es definida positiva lo denotamos de la siguiente forma: <math>A \succ 0.</math>
 
== Definiciones equivalentes ==
Además de esta definición existen diversas maneras para determinar si una matriz es definida positiva, esto lo veremos a continuación.
UnaSea ''M'' una [[matriz hermitiana]] cuadrada ''n'' × ''n''. De ahora en adelante denotaremos la transpuesta de una matriz o vector <math>Aa</math> como <math>a^{T}</math>, y el conjugado transpuesto, <math>a^{*}</math>. Esta matriz ''M'' se dice '''definida positiva''' si cumple con una (y por lo tanto, las demás) de las siguientesiguientes formulaciones equivalentes:
 
Una [[matriz hermitiana]] <math>A</math> se dice definida positiva si cumple con una (y por lo tanto, las demás) de las siguiente formulaciones equivalentes:
 
{| cellspacing="0" cellpadding="2"
|-
|valign="top"| '''1.''' || TodosPara todos los [[autovalor]]esvectores deno nulos <math>Az \in \mathbb{C}^n</math> son positivos. (Recordamostenemos que los autovalores de una matriz hermitiana son reales.)
:<math>\textbf{z}^{*} M \textbf{z} > 0</math>.
Nótese que <math>z^{*} M z</math> es siempre real.
|-
|valign="top"| '''2.''' || Todos los [[autovalor]]es <math>A\lambda_i</math> es de [[Matriz<math>M</math> deson diagonalpositivos. estrictamente(Recordamos dominante|diagonalque estrictamentelos dominante]]autovalores yde todouna elementomatriz dehermitiana lao diagonalen essu defecto, simétrica, son positivoreales.)
|-
|valign="top"| '''3.''' || La función
|valign="top"| '''3.''' ||Todos los [[menores principales]] de <math>A</math> son positivos, esto resulta de la segunda proposición del [[Criterio de Sylvester|Criterio de Sylvester.]]
:<math>\langle \textbf{x},\textbf{y}\rangle = \textbf{x}^{*} M \textbf{y}</math>
define un [[producto interno]] <math>\mathbb{C}^n</math>.
|-
|valign="top"| '''34.''' || Todos los [[menores principales]] de <math>AM</math> son positivos, esto resulta([[Criterio de laSylvester]]). segundaO proposiciónlo delque [[Criterioes deequivalente; Sylvester|Criteriotodas delas Sylvestersiguientes matrices tienen determinantes positivos.]]
 
* la superior izquierda de M de dimensión 1x1
* la superior izquierda de M de dimensión 2x2
* la superior izquierda de M de dimensión 3x3
* ...
* la superior izquierda de M de dimensión (n-1)x(n-1)
* <math>M</math> en sí misma
|-
|valign="top"| ||Para matrices semidefinidas positivas, todos los [[menores principales]] tienen que ser no negativos.
|}
 
Análogamente, si ''M'' es una matriz real [[matriz simétrica|simétrica]], se reemplaza <math>\mathbb{C}^n</math> por <math>\mathbb{R}^n</math>, y la conjugada transpuesta por la transpuesta.
 
== Propiedades ==
* Toda matriz definida positiva es invertible (su determinante es positivo), y su inversa es definida positiva.
 
* Si <math>AM</math> es una matriz definida positiva y <math>\alpha \in \mathbb{R}, \alphar > 0</math> es un número real, entonces <math>\alpha ArM</math> es definida positiva.
 
* Si <math>AM</math> y <math>BN</math> son matrices definidas positivas, entonces la suma <math>AM + BN</math> también lo es. Además si
*Si <math>AM BN = BN AM</math>, entonces <math>ABMN</math> es también definida positiva.
 
* Toda matriz definida positiva <math>M</math>, tiene al menos una matriz [[raíz cuadrada de una matriz|raíz cuadrada]] <math>N</math> tal que <math>N^2 = M</math>.
 
== Matrices definidas negativas, semidefinidas positivas e indefinidas ==
La matriz hermitiana <math>AM</math> se dice que si:
 
* '''definida negativa''' si <math>x^{*} M x < 0\,</math><!-- The \, is to keep the formula rendered as PNG instead of HTML. Please don't remove it.--> para todos los vectores <math>x \in \mathbb{R}^n</math> (ó <math>\mathbb{C}^n</math>) no nulos
 
* '''semidefinida positiva''' si <math>x^{*}Ax <M 0,x \forallgeq 0</math> para todo <math>x \in \mathbb{CR}^n},</math> x <math>\neq 0 \Rightarrow A \prec 0. mathbb{C}^n</math>) (definidano negativa)nulo.
 
* '''semidefinida negativa''' si <math>x^{*}Ax M x \geqleq 0,</math> \forallpara todo <math>x \in \mathbb{CR}^n},</math> x <math>\neq 0 \Rightarrow A \succeq 0. mathbb{C}^n</math>) (semidefinidano positiva)nulo.
 
<math>AUna </math>matriz hermitiana se dice '''indefinida''' si no entra en ninguna de las clasificaciones anteriores.
*<math>x^{*}Ax \leq 0, \forall x \in \mathbb{C^n}, x \neq 0 \Rightarrow A \preceq 0. </math> (semidefinida negativa)
 
== Caso no hermitiano ==
<math>A </math> se dice '''indefinida''' si no entra en ninguna de las clasificaciones anteriores.
Una matriz real ''M'' puede tener la propiedad ''x''<sup>T</sup>''Mx'' > 0 para todo vector real no nulo sin ser [[matriz simétrica|simétrica]]. La matriz
:<math> \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix} </math>
es un ejemplo. En general, tendremos ''x''<sup>T</sup>''Mx'' > 0 para todo vector real no nulo ''x'' si la [[matriz simétrica]] (''M'' + ''M''<sup>T</sup>) / 2, es definida positiva.
 
== Enlaces externos ==
* {{springer|title=Positive-definite form|id=p/p073880}}
* {{MathWorld|PositiveDefiniteMatrix|Positive Definite Matrix}}
*Roger A. Horn, Charles R. Johnson, ed. (1990). Matrix Analysis (en inglés), Cambridge University Press, ISBN 978-0-521-54823-6.
 
{{Control de autoridades}}