Em álgebra linear, uma matriz definida positiva é uma matriz que, em muitos aspectos, é análoga a um número real positivo. A noção é parecida com a de uma forma bilinear simétrica positiva-definida (ou uma forma sesquilinear no caso complexo).
A definição adequada de definida positiva não tem ambiguidades no caso de matrizes Hermitianas, mas não há consenso na literatura a respeito de como ela deve ser estendida para matrizes não Hermitianas, se é que isso deve ser feito. (Consulte a seção sobre Matrizes não Hermitianas abaixo)
Uma matriz real de ordem é definida positiva se para todos os vetores não-nulos com entradas reais (isto é, , em que denota o transposto de .
Uma matriz complexa de ordem é definida positiva se para todos os vetores complexos não-nulos , em que denota o transposto conjugado de e é a parte real de um número complexo .
Uma matriz complexa Hermitiana de ordem é definida positiva se para todos os vetores complexos não-nulos . A quantidade é sempre um número real porque é uma matriz hermitiana.
Seja uma matriz hermitiana . As seguintes propriedades são equivalentes a ser positiva definida:
| 1. | Todos os autovalores de são positivos. Lembre-se que que qualquer Hermitiana possui uma decomposição espectral em que é uma matriz unitária cujas linhas são autovetores ortonormais de , formando uma base, e é uma matriz diagonal. Portanto pode ser considerada como uma matriz diagonal real que foi expressa em um outro sistema de coordenadas. Esta caracterização significa que é positiva definida se e somente se os elementos da diagonal de (os autovalores) são todos positivos. Em outras palavras, na base que consiste de autovetores de , a ação de é a multiplicação componente a componente com um elemento (fixo) de com entradas positivas. |
| 2. | A forma sesquilinear define um produto interno em Cn. (De fato, todo produto interno em Cn é obtido desta forma a partir de uma matriz Hermitiana definida positiva.) Em particular, a propriedade de uma matriz Hermitiana ser positiva definida é equivalente ao fato de que para todo x diferente de zero. |
| 3. | M é a matriz de Gram de alguma coleção de vetores linearmente independentes para algum k. Em outras palavras, M tem a seguinte propriedade:
Opcionalmente, pode-se impor que os vetores xi pertençam a Cn. Em outras palavras, M é da forma A*A onde A não é necessariamente quadrada, mas deve ser injetora em geral. |
| 4. | Todas as matrizes a seguir possuem determinante positivo (o critério de Sylvester):
Em outras palavras, todos os menores principais líderes são positivos. Para matrizes semidefinidas positivas, todos os menores principais devem ser não-negativos. Considerar apenas os menores principais líderes não garante que a matriz seja semidefinida positiva, como pode se ver no exemplo |
| 5. | Existe uma única matriz triangular inferior com elementos da diagonal estritamente positivos, que permite a fatoração de como
em que é a conjugada transposta de Esta fatoração é conhecida como a fatoração de Cholesky. |
| 6. | A função quadrática associada a
é, indiferente ao valor de b, uma função estritamente convexa. Nesse caso, possui um mínimo global, e isso explica porque as matrizes definidas positivas são tão comuns em problemas de otimização. |
Para matrizes simétricas reais, estas propriedades podem ser simplificadas trocando-se por e "transposição conjugada" por "transposição".
Expandindo a condição 2 acima, pode-se formular a definição do que é ser "definida positiva" em termos de formas quadráticas. Seja K o corpo R ou C, e V um espaço vetorial sobre K. Uma forma Hermitiana
é uma aplicação bilinear tal que é sempre o conjugado complexo de . Uma função deste tipo é chamada definida positiva se para todo não-zero em .
O n × n diz-se que a matriz Hermitiana é negativa definida se para todo não-zero (ou, analogamente, todo não-zero).
A matriz m será negativa definida se e somente se:
A matriz é definida negativa se todos os auto-valores são negativos, é semi-definida positiva se todos são maiores ou iguais a zero, e semi-definida negativa se todos são menores ou iguais a zero.
A matriz quadrada M é chamada semidefinida-negativa se para todo (ou ).
A matriz quadrada M é chamada positiva-semidefinida se para todo (ou ).
A matriz M é positiva semi-definida se e somente se ela se sobressai como Gram matriz de alguns vetores fixos. Ao contrário do caso definido positivo, estes vetores não precisam ser linearmente independentes.
Seja A uma matriz simétrica n X n e x um vetor (ou escalar, que é um vetor 1X1) em Então:
| A matriz A é... | Se e somente se... | Ou, equivalentemente, se o valor dos autovalores de | Determinante das submatrizes principais | Se esta condição valer, então a matriz inversa | |
|---|---|---|---|---|---|
| Semidefinida | Não negativa (matriz positiva semi-definida) | Forem não-negativos | São todos não negativos | e | |
| Não-positiva (matriz semi-definida negativa) | são não positivas | Alternam os sinais, sendo não positivos nas impares e não negativos nas pares | e | ||
| Definida (e portanto também semidefinida) | Positiva | Forem todos positivos | São todos positivos | existe e é positiva definida | |
| Negativa | Forem todos negativos | Alternam os sinais, sendo negativos nas impares e positivos nas pares | e | ||
| Indefinida | para alguns x e para outros x | Exemplo | e | e | |
Note que a quantidade é sempre real. Esta expressão é conhecida como forma quadrática de M .
Reorganizando os elementos da soma acima, temos:
, que é um número sempre positivo por ser uma soma de quadrados.