Rango (álgebra lineal)

En álgebra lineal, se refiere al rango de una aplicación lineal f entre dos espacios X e Y vectoriales y se define como la dimensión del conjunto imagen:

${displaystyle {mbox{dim}}f(X),quad f(X)subset Y}$

Frecuentemente la noción se aplica a aplicaciones lineales entre espacios de dimensión finita, lo cual da lugar a la noción de rango de una matriz

El rango de una matriz es el número máximo de columnas (filas respectivamente) que son linealmente independientes. El rango fila y el rango columna siempre son iguales: este número es llamado simplemente rango de A (prueba más abajo). Comúnmente se expresa como rg(A).

El número de columnas independientes de una matriz A de m filas y n columnas es igual a la dimensión del espacio columna de A. También la dimensión del espacio fila determina el rango. El rango de A será, por tanto, un número no negativo, menor o igual que el mínimo entre m y n:

${displaystyle Ain {mathcal {M}}_{m imes n}Rightarrow 0leq { ext{rang}}(A)leq min(m,n)}$

El rango es una propiedad no sólo de las matrices sino extensible a las aplicaciones lineales de las cuales las matrices son una representación fijada la base. Definamos en primer lugar el concepto de rango de una aplicación lineal de forma genérica. Dada aplicación o transformación lineal:

${displaystyle f:mathbb {K} ^{n} o mathbb {L} ^{m}}$

Se define el rango simplemente como la dimensión del conjunto imagen de la aplicación:

${displaystyle {mbox{rang}} f={mbox{dim}}({mbox{Im}}f)leq min(m,n)}$

Una propiedad muy importante del rango así definido y el rango de matrices definido anteriormente, es que ambos coinciden. Es decir, dada una base arbitraria la aplicación lineal se puede representar mediante esa base en forma de matriz resultando el rango de esa matriz idéntico al rango de la aplicación lineal que representa.

Para establecer más claramente la relación entre el rango de una aplicación lineal y una matriz que represente dicha aplicación lineal, deben fijarse dos bases vectoriales en cada uno de los dos espacios ${displaystyle {mathcal {E}}={mathbf {e} _{1},dots ,mathbf {e} _{n}}}$ y ${displaystyle {mathcal {U}}={mathbf {u} _{1},dots ,mathbf {u} _{m}}}$, podemos expresar la transformación lineal por una matriz ${displaystyle A_{mathcal {E,U}}=[a_{ij}]}$ como una en una cierta base:

${displaystyle mathbf {y} =f(mathbf {x} )Longrightarrow {egin{bmatrix}y_{1}\dots \y_{m}end{bmatrix}}={egin{bmatrix}a_{11}&dots &a_{1n}\dots &dots &dots \a_{m1}&dots &a_{mn}end{bmatrix}}{egin{bmatrix}x_{1}\dots \x_{n}end{bmatrix}}}$

Siendo:

Como se dijo anteriormente, puede demostrarse que el rango de ${displaystyle A_{mathcal {E,U}}}$ coincide con la dimensión de la imagen de f (véase transformación lineal para más detalles acerca de la imagen y el kernel).

Dada una aplicación lineal su rango puede calcularse fácilmente considerando una base cualquiera y determinando el rango de la matriz que representa la aplicación en dicha base, ya que el número obtenido no dependerá de la elección de la base.

Dada una matriz su rango puede determinarse sencillamente a partir del cálculo de determinantes. Dada la matriz ${displaystyle mathbf {A} _{f}}$ de una aplicación lineal ${displaystyle f:mathbb {K} ^{n} o mathbb {K} ^{m}}$:

${displaystyle mathbf {A} _{f}{egin{bmatrix}a_{11}&dots &a_{1n}\dots &dots &dots \a_{m1}&dots &a_{mn}end{bmatrix}}}$

se define el rango como el máximo entero r tal que existe un menor no nulo de orden r:

${displaystyle {egin{vmatrix}a_{i_{1}j_{1}}&dots &a_{i_{1}j_{r}}\dots &dots &dots \a_{i_{r}j_{1}}&dots &a_{i_{r}j_{r}}end{vmatrix}} eq 0,qquad {egin{cases}1leq i_{1}<i_{2}<dots <i_{r}leq n\1leq j_{1}<j_{2}<dots <j_{r}leq mend{cases}}}$

Otra forma de obtener el rango de una matriz es mediante el método de Gauss-Jordan, y será igual al número de filas no nulas de la matriz obtenida con este método.

La prueba es un resultado importante del teorema fundamental del álgebra lineal y es válida para cualquier cuerpo:^[1]​

Sea A una matriz de tamaño m × n (con m filas y n columnas). Sea r el rango columna de A y sea c₁,...,c_r una base para el espacio columna de A. Pónganse estas como columnas de una matriz C de tamaño m × r. Cada columna de A puede ser expresada como una combinación lineal de r columnas en C. Esto significa que hay una matriz R de tamaño r × n tal que A = CR. R es la matriz cuya columna i-ésima está formada a partir de los coeficientes que dan la i-ésima columna de A como una combinación lineal de las r columnas de C. También cada fila de A viene dada por una combinación lineal de las r filas de R. Por lo tanto, las filas de R forman un sistema generador del espacio fila de A y, entonces, el rango fila de A no puede exceder r. Esto prueba que el rango fila de A es menor o igual que el rango columna de A. Este resultado puede ser aplicado a cualquier matriz, así que aplíquese a la matriz transpuesta de A. Dado que el rango fila de la transpuesta de A es el rango columna de A y el rango columna de la transpuesta de A es el rango fila de A, esto establece la desigualdad inversa y se obtiene la igualdad del rango fila y el rango columna de A.

Una útil aplicación de calcular el rango de una matriz es la de determinar el número de soluciones al sistema de ecuaciones lineales, enunciado del Teorema de Rouché–Frobenius. El sistema tiene por lo menos una solución si el rango de la matriz de coeficientes equivale al rango de la matriz aumentada. En ese caso, ésta tiene exactamente una solución si el rango equivale al número de incógnitas; en otro caso, la solución general tiene k parámetros libres, donde k es la diferencia entre el número de incógnitas y el rango.

Una matriz de ${displaystyle scriptstyle n imes n}$ es invertible (tiene inversa) si y sólo si su rango es máximo, es decir, igual a ${displaystyle scriptstyle n}$.

En teoría de control, el rango de una matriz se puede usar para determinar si un sistema lineal es controlable u observable.

En análisis funcional la noción de rango se puede aplicar a aplicaciones lineales entre espacios vectoriales de dimensión infinita. En muchas aplicaciones como la mecánica cuántica, el espacio de dimensión infinita suele ser un espacio de Hilbert separable. El rango de operador definido sobre un espacio de Hilbert usualmente será también infinito, aunque el operador es acotado cuando este rango es finito el operador resulta ser un operador compacto, con propiedades análogas a las aplicaciones lineales sobre espacios de dimensión finita.

---