He aquí una prueba más elemental.
Teorema: La inversa de una matriz (no singular) totalmente unimodular es totalmente unimodular.
En la demostración se utilizarán los siguientes lemas.
Lema 1: La permutación de filas y columnas preserva la unimodularidad total.
Lema 2: Matriz A es totalmente unimodular si y sólo si la matriz \begin{bmatrix} A & I \\ \end{bmatrix} es totalmente unimodular (donde I es la matriz de identidad del tamaño adecuado).
Lema 3: El operación de pivote preserva la unimodularidad total.
(Operación de pivote: elegir un elemento no nulo a_{i,j} , llamado pivote. Multiplica el i -ésima fila por un escalar para que el pivote se convierta en 1. A continuación, añada los múltiplos de la i -a todas las demás filas para que todos los elementos de la columna j excepto el pivote se convierten en 0.)
Prueba del teorema:
Dejemos que A sea una matriz no singular totalmente unimodular. Por el lema 2, \begin{bmatrix} A & I \end{bmatrix} es totalmente unimodular. Aplicando repetidamente las operaciones de pivote obtenemos \begin{bmatrix} I & A^{-1} \end{bmatrix} (básicamente haciendo una eliminación gaussiana en A ). Por el lema 3, esta matriz es totalmente unimodular, y por los lemas 1 y 2, A^{-1} es totalmente unimodular. \blacksquare
Prueba del lema 1: Dejemos que A sea totalmente unimodular, y que \tilde A obtenido de A permutando filas y columnas y que \tilde B sea una submatriz cuadrada de \tilde A . Entonces \tilde B también se obtiene permutando alguna submatriz B de A . La permutación de filas y columnas cambia como mucho el signo del determinante. Así, \det(\tilde B) = \pm\det(B) \in \{-1,0,1\} \blacksquare
Prueba del lema 2: Dejemos que A sea totalmente unimodular. Cualquier submatriz cuadrada B de \begin{bmatrix} A & I\end{bmatrix} puede permutarse a la forma \tilde B = \begin{bmatrix} A_1 & 0 \\ A_2 & I_k \\ \end{bmatrix}. donde A_1 es una sub-matriz cuadrada de A y así \det(A_1) \in \{-1,0,1\} .
Tenemos
\det(B) = \pm\det(\tilde B) = \det(A_1) \in \{-1,0,1\}.
Por otro lado, si \begin{bmatrix} A & I\end{bmatrix} es totalmente unimodular, entonces como la eliminación de columnas preserva la unimodularidad total, A también es totalmente unimodular. \blacksquare
Prueba del lema 3: Dejemos que A sea totalmente unimodular y que \tilde A se obtenga de A mediante la operación de pivote con pivote a_{i,j} . Sea \tilde B sea una submatriz cuadrada de \tilde A . Distinguimos tres casos:
- \tilde B contiene la fila pivote i .
Entonces \tilde B se obtuvo de algunos B una submatriz cuadrada de A (i) multiplicando una fila por \pm1 y (ii) añadiendo múltiplos de esa fila a otras filas. Las operaciones (i) y (ii) preservan el determinante hasta el signo, por lo que tenemos \det(\tilde B) = \pm\det(B) \in \{-1, 0, 1\} .
- \tilde B no contiene la fila pivote i pero contiene la columna pivote j . Dado que la columna de \tilde B correspondiente al pivote es todo cero, tenemos \det(\tilde B) = 0 .
- \tilde B no contiene ni la fila ni la columna pivote. Sea \tilde B_1 sea la matriz obtenida de \tilde B añadiendo la fila y la columna de \tilde A correspondiente al pivote. Dado que la columna de \tilde B_1 correspondiente al pivote tiene exactamente un 1 y todo lo demás 0, tenemos \det(\tilde B) = \pm\det(\tilde B_1) . Pero \tilde B_1 se obtuvo de alguna submatriz B_1 de A mediante operaciones (como en 1.) que preservan el determinante hasta el signo. Así que tenemos \det(\tilde B) = \pm\det(\tilde B_1) = \pm\det(B_1) \in \{-1,0,1\} . \blacksquare
0 votos
Creo que esto es cierto, pero no puedo dar un enlace. Tampoco recuerdo el argumento. Creo que si eliges un k\times k menor de A^{-1} es igual a (hasta el signo y un factor que es una potencia de \det A - así que sólo firma aquí) el (n-k)\times (n-k) menor de A formado por los conjuntos complementarios de filas y columnas. Tengo un vago recuerdo de que se puede encontrar una demostración en Jacobson, BA I-II en un capítulo sobre álgebra exterior, pero no puedo comprobarlo ahora, ya que mi copia está en mi despacho.
0 votos
@JyrkiLahtonen: Gracias por tu comentario. Me resulta muy útil. Con la herramienta del álgebra exterior creo que ahora puedo demostrar tu afirmación.