43 votos

Inversa de una definida positiva

Sea K una matriz simétrica no singular, demuestre que si K es una matriz positiva definida también lo es $K^{-1}$ .

Mi intento:

Tengo eso $K = K^T$ así que $x^TKx = x^TK^Tx = (xK)^Tx = (xIK)^Tx$ y entonces no sé qué hacer después.

1 votos

Bueno, en algún lugar tienes que usar la definición de, o algún hecho sobre, matrices definidas positivas --- entonces, ¿qué sabes sobre matrices definidas positivas?

63voto

mikemurf22 Puntos 817

Si $K$ es positiva definida entonces $K$ es invertible, por lo que se define $y = K x$ . Entonces $y^T K^{-1} y = x^T K^{T} K^{-1} K x = x^T K x >0$ por lo que es positiva definida.

1 votos

Muchas gracias. ¿Cómo supiste definir y = Kx?

4 votos

@diimension Lo que sabes es $K$ es PD. Así que quieres tener una forma de $x^T K x$ porque sabemos que es positivo.

1 votos

Entonces, ¿esencialmente estamos siendo creativos? ¿No es una identidad o un axioma, sólo creatividad?

19voto

user8269 Puntos 46

Esta es una manera: $K$ es positiva definida si y sólo si todos sus valores propios son positivos. ¿Qué sabes de los valores propios de $K^{-1}$ ?

16voto

Sholeh Yasini Puntos 11

K es definida positiva por lo que todos sus valores propios son positivos. Los valores propios de $K^{-1}$ son inversos de los valores propios de K, es decir $\lambda_i (K^{-1}) = \frac{1}{\lambda_i (K)}$ lo que implica que es una matriz definida positiva.

1 votos

¿Por qué los valores propios de la inversa de $K$ el recíproco de los de $K$ ?

0 votos

@AbhishekBhatia Porque la inversa de una matriz diagonal con entradas distintas de cero es la matriz diagonal de los recíprocos.

3 votos

@AbhishekBhatia $Av = \lambda v \implies \frac{1}{\lambda}v = A^{-1}v$

2voto

Jakub Homola Puntos 11

Inspirado en el respuesta de kjetil b halvorsen

Para recapitular, matriz $A \in \mathbb{R}^{n \times n}$ es HPD (hermitiana positiva definida), si $\forall x \in \mathbb{C}^n, x \neq 0 : x^*Ax > 0$ .

Las matrices HPD tienen rango completo, por lo que son invertibles y $A^{-1}$ existe. También las matrices de rango completo representan una biyección, por lo tanto $\forall x \in \mathbb{R}^n \enspace \exists y \in \mathbb{R}^n : x = Ay$ .

Queremos saber si $A^{-1}$ es también HPD, es decir, nuestro objetivo es $\forall x \in \mathbb{C}^n, x \neq 0 : x^*A^{-1}x > 0$ .

Sea $x \in \mathbb{C}^n, x \neq 0$ . Porque $A$ es una biyección, existe $y \in \mathbb{C}^n$ tal que $x=Ay$ . Por lo tanto, podemos escribir

$$x^*A^{-1}x = (Ay)^*A^{-1}(Ay) = y^*A^*A^{-1}Ay = y^*A^*y = y^*Ay > 0,$$

que es lo que queríamos probar.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X