El rango $r$ de una matriz $A \in \mathbb{R}^{m \times n}$ como ha dicho es la dimensión del espacio de la columna ( $r$ es también la dimensión del espacio de filas), es decir, la dimensión del espacio abarcado por los vectores que se obtienen mediante una combinación lineal de las columnas de $A$ o, lo que es lo mismo, el rango de $A$ . (El uso de la palabra "mínimo" en la pregunta es innecesario). Sin embargo, cada vector columna tiene $m$ y los vectores en el rango de $A$ tiene $m$ componentes como tal, sino que abarcan sólo un $r (\leq m)$ subespacio dimensional en lugar de un $m$ espacio dimensional. Así que nos falta abarcar el resto de $m-r$ subespacio dimensional del $m$ espacio dimensional.
El espacio nulo de la izquierda juega ahora el papel de abarcar el resto de $m-r$ subespacio dimensional. Por eso el espacio nulo izquierdo es ortogonal al espacio de columnas. Así que el espacio nulo izquierdo, junto con el espacio de columnas, abarca ahora todo el $m$ espacio dimensional, es decir, si $C = \{y \in \mathbb{R}^{m \times 1}: y = Ax\text{ for some }x \in \mathbb{R}^{n \times 1} \}$ y $Z_L = \{z \in \mathbb{R}^{m \times 1}:z^T A = 0 \}$ ,
entonces $Z_L \cup C = \mathbb{R}^{m}$ y $Z_L \perp C$
El espacio nulo derecho desempeña el papel análogo para las filas. Las filas abarcan sólo un $r$ subespacio dimensional del $n$ espacio dimensional. El espacio nulo derecho juega ahora el papel de abarcar el resto de $n-r$ subespacio dimensional. Por eso el espacio nulo derecho es ortogonal al espacio de filas. Así que el espacio nulo derecho, junto con el espacio de las filas, abarca ahora todo el $n$ espacio dimensional, es decir, si $R = \{y \in \mathbb{R}^{n \times 1}: y = A^Tx\text{ for some }x \in \mathbb{R}^{m \times 1} \}$ y $Z_R = \{z \in \mathbb{R}^{n \times 1}: Az = 0 \}$ ,
entonces $Z_R \cup R = \mathbb{R}^{n}$ y $Z_R \perp R$
9 votos
Tu afirmación "el rango R de una matriz como el mínimo número de dimensiones que tendría una combinación lineal de sus columnas..." debería ser "el rango R de una matriz como el máximo número de dimensiones que tendría una combinación lineal de sus columnas...". El rango indica la dimensión de un espacio abarcado por las columnas.
2 votos
@SalvadorDali, he echado un vistazo a tu actividad en MSE y parece que consiste principalmente en ediciones menores e insignificantes. Por favor, deja de hacer esto, es un tipo de comportamiento que tratamos de desalentar aquí, en MSE. Gracias.