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.