Recuerde que una matriz puede descomponerse en un producto de matrices elementales (donde una matriz elemental es una matriz que difiere de la matriz de identidad en una operación de fila) si y solo si es una matriz invertible.
Entonces, [matemática] A [/ matemática] es invertible [matemática] \ Leftrightarrow [/ matemática] existen matrices elementales [matemática] E_ {1}, \ cdots, E_ {m} [/ matemática] tal que [matemática] A = E_ {1} E_ {2} \ cdots E_ {m} [/ math].
Por lo tanto, si buscamos encontrar el inverso de la matriz [matemática] A [/ matemática], podemos hacerlo encontrando [matemática] E_ {m} ^ {- 1}, E_ {m-1} ^ {- 1 }, \ cdots, E_ {1} ^ {- 1} [/ math] y luego multiplicándolos para obtener la matriz [math] E_ {m} ^ {- 1} E_ {m-1} ^ {- 1} \ cdots E_ {1} ^ {- 1} [/ math]. Encontrar las matrices elementales [matemáticas] E_ {m} ^ {- 1}, E_ {m-1} ^ {- 1}, \ cdots, E_ {1} ^ {- 1} [/ matemáticas] es fácil: simplemente necesita “deshacer” la operación que se realizó en [math] E_ {m}, E_ {m-1}, \ cdots, E_ {1} [/ math], respectivamente. Entonces, por ejemplo, si cambiamos la primera fila de [matemáticas] I [/ matemáticas] con la segunda fila para obtener una matriz elemental [matemáticas] E [/ matemáticas], para encontrar [matemáticas] E ^ {- 1} [ / math], simplemente necesitamos cambiar la segunda fila de [math] I [/ math] con la primera fila, “deshacer” lo que hizo [math] E [/ math]; Esto se deduce de la intuición de una matriz inversa.
La razón por la que podemos encontrar el inverso de [matemáticas] A [/ matemáticas] al encontrar [matemáticas] E_ {m} ^ {- 1}, E_ {m-1} ^ {- 1}, \ cdots, E_ {1 } ^ {- 1} [/ math] y luego multiplicándolos para obtener la matriz [math] E_ {m} ^ {- 1} E_ {m-1} ^ {- 1} \ cdots E_ {1} ^ {- 1} [/ math] se debe a [math] AE_ {m} ^ {- 1} \ cdots E_ {1} ^ {- 1} = (E_ {1} \ cdots E_ {m}) E_ {m} ^ { -1} \ cdots E_ {1} ^ {- 1} [/ math] y como [math] E_ {m} E_ {m} ^ {- 1} = I [/ math], podemos simplificar para obtener [math ] AE_ {m} ^ {- 1} \ cdots E_ {1} ^ {- 1} = E_ {1} \ cdots E_ {m-1} E_ {m-1} ^ {- 1} \ cdots E_ {1 } ^ {- 1} [/ math] y continuando así, eventualmente vemos que [math] AE_ {m} ^ {- 1} \ cdots E_ {1} ^ {- 1} = I [/ math]. Del mismo modo, [matemáticas]
E_ {m} ^ {- 1} \ cdots E_ {1} ^ {- 1} A = E_ {m} ^ {- 1} \ cdots E_ {1} ^ {- 1} (E_ {1} \ cdots E_ {m}) [/ matemáticas]. Y observando que [matemáticas] E_ {1} ^ {- 1} E_ {1} = I [/ matemáticas], podemos simplificar nuestra expresión a [matemáticas]
E_ {m} ^ {- 1} \ cdots E_ {1} ^ {- 1} A = E_ {m} ^ {- 1} \ cdots E_ {2} ^ {- 1} E_ {2} \ cdots E_ { m} [/ matemáticas]. Continuando de esta manera, vemos que [matemáticas]
E_ {m} ^ {- 1} \ cdots E_ {1} ^ {- 1} A = I [/ math]
- ¿Cómo visito todos los de una matriz cuadrada (0,1)?
- ¿Qué es una transformación de Lorentz en términos simples?
- ¿Qué técnicas utiliza el marco petsc para la multiplicación de matriz dispersa?
- ¿Hay alguna familia de ecuaciones de parámetros bajos que pueda aproximarse a una ecuación polinómica de alto grado?
- ¿Cómo puede la multiplicidad geométrica superar la multiplicidad algebraica?
Entonces, en el párrafo anterior, hemos demostrado que [matemáticas] E_ {m} ^ {- 1} \ cdots E_ {1} ^ {- 1} = A ^ {- 1} [/ matemáticas]. Pero lo más importante, hemos visto que cuando tomamos el producto de [matemáticas] A ^ {- 1} [/ matemáticas] con [matemáticas] A [/ matemáticas], cada matriz elemental en la descomposición de [matemáticas] A ^ { -1} [/ math] está “deshaciendo” cada matriz elemental en la descomposición de [math] A [/ math], en orden. (También podríamos haber usado simplemente la propiedad [matemáticas] A = BC \ Rightarrow A ^ {- 1} = B ^ {- 1} C ^ {- 1} [/ matemáticas] pero solo hacer referencia a esta propiedad sin pruebas lo haría más difícil de ver la intuición).
Por lo tanto, podemos encontrar el inverso de [math] A [/ math] simplemente encontrando las operaciones de fila que “deshacen” las operaciones de fila involucradas en la transformación de la matriz de identidad en la matriz A. Cuando configura la matriz [matemática] (A | I) [/ matemática] y luego encuentra la matriz [matemática] (I | A ^ {- 1}) [/ matemática] para obtener la inversa [matemática] A ^ { -1} [/ math], esencialmente está deshaciendo las operaciones de fila utilizadas para hacer [math] A [/ math] de [math] I [/ math] y luego “recordando” el producto de las matrices elementales que consisten en esas filas operaciones en el lado derecho que, como vimos arriba, le da [matemáticas] A ^ {- 1} [/ matemáticas].
Espero haber explicado la intuición detrás de calcular el inverso de una matriz; ¡También espero haber mostrado cómo puedes descubrir la intuición detrás de varias técnicas matemáticas al observar cosas que ya sabías que eran ciertas! 🙂