Matriz unimodular
# Matriz unimodular

En matemáticas, una matriz unimodular es una matriz cuadrada de enteros con determinante +1 o -1.

Una matriz es totalmente unimodular, TUM , si cada submatriz cuadrada no singular (invertible) B es también unimodular. Como consecuencia, una matriz totalmente unimodular está formada solo por los elementos -1, 0 y +1.

    ${\begin{vmatrix}B\end{vmatrix}}\in \ \{{-1,0,1}\}$

## Ejemplo

La siguiente matriz es totalmente unimodular (TUM):

    $A={\begin{bmatrix}-1&-1&0&0&0&+1\\+1&0&-1&-1&0&0\\0&+1&+1&0&-1&0\\0&0&0&+1&+1&-1\\\end{bmatrix}}$

Esta matriz surge como la matriz restrictiva de la formulación del problema lineal (sin la restricción ) del problema del flujo máximo en la siguiente red:

Esta matriz $A$ tiene las siguientes propiedades:

* todos sus elementos $\in \ \{{-1,0,1}\}$;
* cualquier columna tiene como máximo dos elementos distintos de cero;
* las columnas con dos elementos distintos de cero tienen elementos de distinto signo.

Estas propiedades son suficientes para que la matriz sea totalmente unimodular (TUM) (pero no son necesarias). Cualquier problema de red de flujo produciría una matriz restrictiva con la susodicha estructura (por esto es que cualquier problema de redes de flujo con capacidades acotadas enteras tiene un valor óptimo entero).

## Teoremas

### Primer teorema

Sea A una matriz totalmente unimodular y b entero, entonces el poliedro $P=\{x\geq {\big |}Ax=b\}$ tiene vértices enteros.

### Segundo teorema

Sea A una matriz con $a_{i,j}\in \ \,$$\{{-1},0,1\}\,$ $\forall _{i,j}\,$ A es totalmente unimodular si:

       1)Cada columna de A tiene como mucho dos elementos no nulos

Demostración:

       2)Existe una partición $(I_{1},I_{2})\,$ de las filas de A tal que cada columna con dos elementos no nulos tiene estos dos elementos pertenecientes a un conjunto $I_{1}\,$ y $I_{2}\,$ distintos sí y solo sí los dos elementos tienen el mismo signo.

### Proposición

    $A\,$ es TUM $\Longleftrightarrow A^{T}$ es TUM

## Álgebra abstracta lineal

En álgebra abstracta, las matrices son consideradas con elementos de cualquier anillo, y no exactamente enteros. En este contexto, una matriz de dimensiones $m\times n\ (m\leq n)$ es unimodular si el determinante de cada submatriz cuadrada no singular B es un anillo.

