Diferencia entre revisiones de «Teorema rango-nulidad»
Contenido eliminado Contenido añadido
m Mantenimiento de Control de autoridades |
|||
Línea 17:
Sea ''T : V → W'' una aplicación lineal. Supongamos que el conjunto <math>\{\color{red}\mathbf{u}_1, \ldots, \mathbf{u}_m\color{black}\} \in V</math> forma una [[base (álgebra)|base]] del núcleo de ''T'', (''ker T''). Por el [[teorema de extensión de la base]], podemos extender este conjunto para formar una base de ''V'': <math> \{\color{red}\mathbf{u}_1, \ldots, \mathbf{u}_m\color{black}, \color{blue}\mathbf{w}_1, \ldots, \mathbf{w}_n\color{black}\} \in V</math>. Puesto que la dimensión del núcleo de ''T'' es ''m'' y la dimensión de ''V'' es ''m + n'', solo se necesita demostrar que la dimensión de la imagen de ''T'' (''im T'') es n.
Veamos que el conjunto <math>\{\color{blue}T\mathbf{w}_1, \ldots, T\mathbf{w}_n\color{black} \} \in W</math> es una base de ''im T''.
Sea ''v'' un vector arbitrario en ''V''. Existen escalares únicos tales que:
: <math>\mathbf{v}=\color{red}a_1 \mathbf{u}_1 + \cdots + a_m \mathbf{u}_m \color{black} +\color{blue} b_1 \mathbf{w}_1 +\cdots + b_n \mathbf{w}_n</math>
Línea 23 ⟶ 25:
: <math>\Rightarrow T\mathbf{v} = \color{red} a_1 T\mathbf{u}_1 + \cdots + a_m T\mathbf{u}_m \color{black} + \color{blue} b_1 T\mathbf{w}_1 +\cdots + b_n T\mathbf{w}_n</math>
:
Por lo tanto, <math>\{ \color{blue} T\mathbf{w}_1, \ldots, T\mathbf{w}_n \color{black} \}</math> genera la ''im T''.
Ahora, solo se necesita demostrar que el conjunto <math>\{ \color{blue} T\mathbf{w}_1, \ldots, T\mathbf{w}_n \color{black} \}</math> es
:
:
Entonces, puesto que {{Font color|red|'''u'''<sub>''i''</sub>}} genera a ker ''T'', existe un conjunto de escalares {{Font color|red|''d<sub>i</sub>''}} tales que:
|