Las matrices definidas positivas son la generalización de números reales positivos al caso de la matriz, y las matrices semidefinidas positivas son la generalización de números no negativos. Voy a citar una de mis respuestas anteriores aquí para más detalles:
Una matriz simétrica real [matemática] A [/ matemática] es positiva definida si la forma cuadrática [matemática] x ^ TAx [/ matemática] es positiva para cada vector distinto de cero [matemática] x [/ matemática]. Esta es una condición difícil de verificar, pero si [math] x [/ math] es un vector propio de [math] A [/ math] con longitud uno, entonces la forma cuadrática es igual a [math] \ lambda [/ math] , el valor propio asociado con [matemáticas] x [/ matemáticas]. Por lo tanto, una matriz es positiva definida si y solo si todos sus valores propios son positivos.
Las matrices definidas positivas son como números positivos en el sentido de que la suma y el producto de dos matrices definidas positivas también son definidas positivas. Sin embargo, no es el caso de que [matemática] A [/ matemática] o [matemática] -A [/ matemática] sea positiva definida para cada matriz [matemática] A [/ matemática].
También existe la noción de una matriz definida semidefinida positiva o no negativa. Esta es una matriz cuyos valores propios son todos no negativos, pero no estrictamente mayores que cero.
- Álgebra lineal: ¿Cuáles son las ventajas y desventajas de las diversas descomposiciones de matriz?
- ¿Qué representa realmente el determinante de una matriz, tanto matemática como físicamente?
- Álgebra lineal: ¿Se pueden determinar las propiedades del permanente de una matriz 0-1 sin calcular explícitamente el permanente?
- Álgebra lineal: ¿Cómo definimos el determinante de un endomorfismo de forma independiente de la base?
- ¿Cuál es una explicación técnica laica de la descomposición armónica de Pisarenko, su utilidad y su diferencia con una transformada de Fourier?
Editar: Esto apareció en los comentarios, pero vale la pena mencionarlo en la respuesta también. Si [math] A [/ math] y [math] B [/ math] son dos matrices simétricas con la misma dimensión y [math] A – B [/ math] es positivo definido, entonces podemos decir que [math] A > B [/ matemáticas]. Esto nos da un orden parcial en el conjunto de matrices simétricas. No es demasiado difícil mostrar que [matemática] A> B [/ matemática] si y solo si [matemática] x ^ TAx> x ^ TBx [/ matemática] para cada [cero] x [/ matemática].