Saltar al contenido

Diario de clases

Clases de Jesús Soto

Menú
  • Home
  • Equation Editor
  • Generador de tablas
Menú

Navegación de entradas

ALG: Determinantes, factorización LU y espacios vectoriales con maxima ←

ALG: Aplicaciones lineales

Posted on 21 de octubre de 2026

Al hablar de grupos se introdujo la definición de homomorfismo y con ella la de núcleo. Ahora extendemos esta definición a espacios vectoriales para definir la aplicación lineal: un homomorfismo entre espacios vectoriales. Así diremos que una aplicación (en algunos libros le dicen Transformación) entre dos espacios vectoriales, \(f:V\to W\), sobre el mismo cuerpo\(\mathbb{K}\), es lineal si se cumple que para todo par de vectores \(\vec{v},\vec{u}\in V\) y todo par de escalares \(\lambda,\mu\in\mathbb{K}\) se verifica que: \[f(\lambda\vec{v}+\mu\vec{u})=\lambda f(\vec{v})+\mu f(\vec{u}).\]

Para este tema podéis consultar el capítulo 6 del libro ÁLGEBRA LINEAL Definiciones, Teoremas y Resultados, Juan De Burgos Román, ingebook

Ejercicio: Sea la aplicación \(tr:\mathcal{M}_2(\mathbb{R})\to\mathbb{R}\) dada por \[tr\begin{bmatrix}a & b \\
c & d\end{bmatrix}=a+d,\] ¿es lineal?

\(\forall \begin{bmatrix}a_{11} & a_{12} \\ a_{21} & a_{22} \end{bmatrix},\begin{bmatrix}b_{11} & b_{12} \\ b_{21} & b_{22} \end{bmatrix}\in \mathcal{M}_2(\mathbb{R})\) y \(\forall \lambda,\mu\in\mathbb{R}\)
\[tr\left(\lambda\begin{bmatrix}a_{11} & a_{12} \\ a_{21} & a_{22} \end{bmatrix}+\mu\begin{bmatrix}b_{11} & b_{12} \\ b_{21} & b_{22} \end{bmatrix}\right)=tr\begin{bmatrix}\lambda a_{11}+\mu b_{11} & \lambda a_{12}+\mu b_{12} \\ \lambda a_{21}+\mu b_{21} & \lambda a_{22}+\mu b_{22} \end{bmatrix}=\]

\[\begin{multline*}=\lambda a_{11}+\mu b_{11} + \lambda a_{22}+\mu b_{22}=\lambda (a_{11}+a_{22}) + \mu (b_{11}+b_{22})=\\ \lambda\ tr\begin{bmatrix}a_{11} & a_{12} \\ a_{21} & a_{22} \end{bmatrix}+\mu \ tr\begin{bmatrix}b_{11} & b_{12} \\ b_{21} & b_{22} \end{bmatrix}\end{multline*}\]


Ejercicio: Sea la aplicación \(f:\mathbb{R}^3\to\mathcal{M}_2(\mathbb{R})\) dada por \[f(x,y,z)=\begin{bmatrix}x & y \\ z & x\end{bmatrix}\] ¿es lineal?


Ejercicio: Sea la aplicación \(f:\mathbb{R}_2[X]\to\mathbb{R}_2[X]\) dada por \[\forall p\in\mathbb{R}_2[X];\ f(p(X))=1-p(X)-\frac{d}{dX}p(X)\] ¿es lineal?


Matriz asociada a un aplicación lineal

Dada una aplicación lineal, \(f:V\to W\), entre dos espacios vectoriales finitamente generados sobre el mismo cuerpo \(\mathbb{K}\), con \(\mathbf{dim}(V)=n\) y \(\mathbf{dim}(W)=m\) entonces existe una matriz \(M\in\mathcal{M}_{m\times n}(\mathbb{K})\) tal que \[\forall \mathbf{v}\in V;\ f(\mathbf{v})\sim M\mathbf{v}\]

Esta equivalencia se puede ver en el siguiente diagrama:
\[\begin{matrix}
f:V &\rightarrow & W \\
\downarrow & & \downarrow \\
M:\mathbb{K}^n & \rightarrow & \mathbb{K}^m \\
\end{matrix}\]

Dada una aplicación lineal, \(f:V\to W\), entre dos espacios vectoriales definimos la matriz asociada de la aplicación respecto de una base \(B_V\subseteq V\) como la matriz cuyas columnas son las coordendas respecto de otra base \(B_W\subseteq W\) de las imágenes de los vectores de \(B_V\); es decir, si \(B_V=\{\vec{v}_1,\ldots,\vec{v}_n\}\), \(B_W=\{\vec{w}_1,\ldots,\vec{w}_m\}\), y
\[
\begin{matrix}
f(\vec{v}_1)=k_{11}\vec{w}_1+k_{21}\vec{w}_2+k_{31}\vec{w}_3+\ldots+k_{m1}\vec{w}_m;\\
f(\vec{v}_2)=k_{12}\vec{w}_1+k_{22}\vec{w}_2+k_{32}\vec{w}_3+\ldots+k_{m2}\vec{w}_m;\\
f(\vec{v}_3)=k_{13}\vec{w}_1+k_{23}\vec{w}_2+k_{33}\vec{w}_3+\ldots+k_{m3}\vec{w}_m;\\
\vdots \quad \vdots \quad \vdots\\
f(\vec{v}_n)=k_{1n}\vec{w}_1+k_{2n}\vec{w}_2+k_{3n}\vec{w}_n+\ldots+k_{mn}\vec{w}_m;
\end{matrix}
\]
llamamos matriz asociada de \(f\), a la matriz
\[
M_f=\begin{bmatrix}
k_{11} & k_{12} & k_{13} &\ldots & k_{1n}\\
k_{21} & k_{22} & k_{23} &\ldots & k_{2n}\\
k_{31} & k_{32} & k_{33} &\ldots & k_{3n}\\
\vdots & \vdots & \vdots & \ldots & \vdots \\
k_{m1} & k_{n2} & k_{n3} &\ldots & k_{mn}\\
\end{bmatrix}
\]

Ejercicio: Sea la aplicación lineal \(f:\mathbb{R}^4\to\mathbb{R}^4\) dada por \[f(x,y,z,t)=(x-y+t,y+3x-z,t-2x+y,t+z-y).\] ¿Cuál es la traza de la matriz asociada?

Recordemos de no indicar bases se considerará las bases canónicas en ambos espacios vectoriales. Luego \[\begin{align*}
f(1,0,0,0)&=(1,3,-2,0), & f(0,1,0,0)&=(-1,1,1,-1), \\
f(0,0,1,0)&=(0,-1,0,1), & f(0,0,0,1)&=(1,0,1,1).
\end{align*}\]
Por tanto, \[M_f=\begin{bmatrix}1 & -1 & 0 & 1\\
3 & 1 & -1 & 0\\
-2 & 1 & 0 & 1\\
0 & -1 & 1 & 1\end{bmatrix}\]

Ejercicio: Sea la aplicación lineal \(f:\mathbb{R}^3\to\mathbb{R}^2\) dada por \[f(x,y,z)=(x-y,y+3x-z).\] Sea la matriz asociada \(M_f\) respecto de la base \(B=\{(1,1,0),(0,-1,1),(3,1,1)\}\). ¿Cuál es la traza de \(M_f.M_f^t\)?

Recordemos que planteamos el problema considerando la base \(B=\{(1,1,0),(0,-1,1),(3,1,1)\}\) como base del espacio vectorial de partida.

(%i2) f(v):=[v[1]−v[2],v[2]+3·v[1]−v[3]];
B:[[1,1,0],[0,−1,1],[3,1,1]]$

\[\operatorname{ }\operatorname{f}(v)\operatorname{:=}\left[ {v_1}-{v_2}\operatorname{,}{v_2}+3 {v_1}-{v_3}\right] \]

(%i3) M:transpose(matrix(
       f(B[1]),
       f(B[2]),
       f(B[3])
   ));

\[\operatorname{ }\begin{bmatrix}0 & 1 & 2\\4 & -2 & 9\end{bmatrix}\]

(%i4) mat_trace(M.transpose(M));

\[\operatorname{ }106\]


Ejercicio: Sea la aplicación lineal \(f:\mathbb{R}_2[X]\to\mathbb{R}_2[X]\) dada por \[\forall p(X)\in\mathbb{R}_2[X];\ f(p(X))=p(X)-\frac{d}{dX}p(X).\] ¿Cuál es la traza de la matriz asociada \(M_f\) respecto de la base \(B=\{1,1-X,1-X^2\}\)?

Recordemos que planteamos el problema considerando la base \(B=\{1,1-X,1-X^2\}\) como base del espacio vectorial partida, y sus imágenes las consideramos respecto de la base canónica.

Acabamos de ver como una matriz puede representar una aplicación lineal. De hecho podemos establecer una aplicación entre el conjunto de aplicaciones lineales entre dos \(\mathbb{K}\)-espacios vectoriales \(V\) y \(W\), de dimensiones \(n\) y \(m\) (respectivamente) y el espacio vectorial de las matrices \(M_{m\times n}(\mathbb{K})\) que sea un isomorfismo de espacios vectoriales; es decir, una aplicación lineal biyectiva. Esto nos equipara las operaciones con aplicaciones a las operaciones con sus matrices asociadas.

Sabemos que si \(M_f\) es la matriz asociada a la aplicación lineal \(f:V\to W\), entonces
\[f(v_1,v_2,\ldots,v_n)=(w_1,w_2,\ldots,w_m)\Leftrightarrow M_f \begin{pmatrix}v_1\\v_2\\ \vdots\\v_n\end{pmatrix}=\begin{pmatrix}w_1\\w_2\\ \vdots\\w_n\end{pmatrix}.\]

Esto nos permite deducir propiedades de la aplicación con sus correspondientes en la matriz. Por ejemplo, una aplicación lineal entre dos espacios vectoriales de la misma dimensión es un isomorfismo si, y solo si, su matriz asociada es regular.

Así, podemos considerar la matriz asociada a una aplicación lineal, \(f:V\to W\), entre dos espacios vectoriales respecto de una base \(B_V\subseteq V\) como la matriz cuyas columnas contiene las coordenadas respecto de otra base \(B_W\subseteq W\) de las imágenes de los vectores de \(B_V\).

Ejemplo

Ejercicio: Sea \(S=\left\{\begin{bmatrix}a&a-b\\b-a&a+b\end{bmatrix};a,b\in\mathbb{R}\right\}\), determinar una base del subespacio vectorial.

Consideremos la aplicación \(f:\mathbb{R}^2\to\mathcal{M}_2(\mathbb{R})\) dada por \[f(a,b)=\begin{bmatrix}a&a-b\\b-a&a+b\end{bmatrix}\]

Esta aplicación es lineal. Por tanto, se cumple que transforma bases de \(f:\mathbb{R}^2\) en sistema generadores de las imágenes. Luego, dado la base \(\{(1,0),(0,1)\}\), vemos que

\[f(1,0)=\begin{bmatrix}1&1\\-1&1\end{bmatrix},\mbox{ y, } f(0,1)=\begin{bmatrix}0&-1\\1&1\end{bmatrix}.\]
Por tanto, \(\left\{\begin{bmatrix}1&1\\-1&1\end{bmatrix},\begin{bmatrix}0&-1\\1&1\end{bmatrix}\right\}\) es un sistema generador que contiene una base. Solo necesitamos probar cuales son l.i.


 

Matriz del cambio de base

¿Y si cambiamos las bases? Es decir, si tengo nuevas bases \(B’_V\) y \(B’_W\), y deseo encontrar la relación entre la matriz asociada aplicación \(M_{f_{B_VB_W}}\), y la matriz \(M_{f_{B’_VB’_W}}\). Veamos primero que ocurre cuando dentro de un mismo espacio vectorial cambiamos la base.

Recordemos que todo espacio vectorial finitamente generado tiene una base. Sea \(V\) nuestro \(\mathbb{K}\)-espacio vectorial y \(\mathcal{B}=\{\vec{v}_1,\ldots, \vec{v}_n\}\), una base del mismo. Para cualquier vector de \(V\), \(\vec{v}\in V\), existirán unos únicos escalares \(k_i\in \mathbb{K}\), tales que \[\vec{v}=k_1\vec{v}_1+k_2\vec{v}_2+\cdots+k_n\vec{v}_n.\] Pues bien, a esos escalares los denominamos coordenadas de \(\vec{v}\) respecto de la base \(\mathcal{B}\). Así, representado mediante sus coordenadas, expresamos que \[\vec{v}=\begin{bmatrix}k_1\\ k_2\\ \vdots \\ k_n\end{bmatrix}_\mathcal{B}\]
Qué ocurre si tenemos otra base \(\mathcal{B}’\), entonces las coordenadas de \(\vec{v}\) serán otras, pero habrá una relación entre ambas. Vamos a utilizar las matrices para encontrar la relación entre ambas coordenadas.

Cuando tenemos dos bases podemos calcular cómo pasar de las coordenadas de una base a la otra. Para ello utilizamos la matriz del cambio de base.

Veamos cómo podemos calcular esta matriz del cambio de base. Sólo tenemos que darnos cuenta como representamos los vectores respecto de cada base. Pongamos dos bases \(B=\{\vec{v}_1,\vec{v}_2,\ldots,\vec{v}_n\}\) y \(B’=\{\vec{u}_1,\vec{u}_2,\ldots,\vec{u}_n\}\). Que un vector cualquiera \(\vec{w}\) tenga por coordenadas \((c_1,c_2,\ldots,c_n)_{B}\) respecto de la base \(B\) significa que \[\vec{w}=c_1\vec{v}_1+c_2\vec{v}_2+\ldots+c_n\vec{v}_n\]

Si cada \(\vec{v}_i\) tiene por coordenadas respecto de una base canónica \((v_{1i},v_{2i},\ldots,v_{ni},)\), podemos escribir lo anterior en forma matricial:

\[\vec{w}=\begin{bmatrix} v_{11} &v_{12}&v_{13}&\cdots &v_{1n}\\ v_{21} &v_{22}&v_{23}&\cdots &v_{2n}\\ \vdots & \vdots & \vdots &\cdots & \vdots\\
v_{n1} &v_{12}&v_{13}&\cdots &v_{1n}\\ \end{bmatrix}\begin{bmatrix}c_1\\c_2\\c_3\\ \vdots \\c_n \end{bmatrix}_{B}\]

Del mismo modo que \(\vec{w}\) tenga por coordenadas \((c’_1,c’_2,\ldots,c’_n)_{B’}\) respecto de la base \(B’\) significa que

\[\vec{w}=c’_1\vec{u}_1+c’_2\vec{u}_2+\ldots+c’_n\vec{u}_n\]
Escrito en forma matricial
\[\vec{w}=\begin{bmatrix}
u_{11} &u_{12}&u_{13}&\cdots &u_{1n}\\
u_{21} &u_{22}&u_{23}&\cdots &u_{2n}\\
\vdots & \vdots & \vdots &\cdots & \vdots\\
u_{n1} &u_{12}&u_{13}&\cdots &u_{1n}\\
\end{bmatrix}\begin{bmatrix}c’_1\\c’_2\\c’_3\\ \vdots \\c’_n \end{bmatrix}_{B’}\]

La igualdad de ambos productos nos ofrece la posibilidad de conocer las coordenadas de un vector una base respecto de la otra:

\[\begin{bmatrix}
v_{11} &v_{12}&v_{13}&\cdots &v_{1n}\\
v_{21} &v_{22}&v_{23}&\cdots &v_{2n}\\
\vdots & \vdots & \vdots &\cdots & \vdots\\
v_{n1} &v_{12}&v_{13}&\cdots &v_{1n}\\
\end{bmatrix}\begin{bmatrix}c_1\\c_2\\ \vdots \\c_n \end{bmatrix}_{B}=\begin{bmatrix}
u_{11} &u_{12}&u_{13}&\cdots &u_{1n}\\
u_{21} &u_{22}&u_{23}&\cdots &u_{2n}\\
\vdots & \vdots & \vdots &\cdots & \vdots\\
u_{n1} &u_{12}&u_{13}&\cdots &u_{1n}\\
\end{bmatrix}\begin{bmatrix}c’_1\\c’_2\\ \vdots \\c’_n \end{bmatrix}_{B’}\]
Si el sistema matricial lo escribimos así: \(P\, C_{B}=Q\,C’_{B’}\), tendremos
\[C_{B}=(P^{-1}Q)\,C’_{B’},\] o \[(Q^{-1}P)\,C_{B}=C’_{B’}.\]

A la matriz \(Q^{-1}P\), la llamamos matriz del cambio de bases de \(B\) a \(B’\), y la notamos como \[C_{BB’}=Q^{-1}P.\]
Como se observa \(C_{B’B}\) es la inversa de \(C_{BB’}\).

Ejemplo

Démosle la vuelta a lo dicho antes y supongamos que ahora deseamos expresar el vector \((-3,1,2)\), dado en la base canónica de \(\mathbb{R}^3\), en sus coordenadas respecto de la base \(B=\{(1,1,1),(1,1,0),(1,0,-1)\}\). La matriz que expresa cualquier coordenada dada respecto de \(B\) en la base canónica es:
\[M_B=\begin{bmatrix}1 & 1 & 1\\ 1 & 1 & 0\\ 1 & 0 & -1\end{bmatrix}.\] Luego buscamos \((a,b,c)\) tal que
\[\begin{bmatrix}1 & 1 & 1\\ 1 & 1 & 0\\ 1 & 0 & -1\end{bmatrix}\begin{bmatrix}a\\ b\\ c\end{bmatrix}=\begin{bmatrix}-3\\ 1\\ 2\end{bmatrix}.\]
Nos basta con
\[\begin{bmatrix}1 & 1 & 1\\ 1 & 1 & 0\\ 1 & 0 & -1\end{bmatrix}^{-1}\begin{bmatrix}-3\\ 1\\ 2\end{bmatrix}=\begin{bmatrix}-2\\ 3\\ -4\end{bmatrix};\]
Es decir, \[-2(1,1,1)+3(1,1,0)-4(1,0,-1)=(-3,1,2).\]

Supongamos que \((2,-1,4)\), está dado respecto de la base \(B^\prime=\{(1,-1,2),(0,2,1),(-1,0,1)\}\), entonces las coordenadas de \((2,-1,4)\) respecto de la base \(B\) serán
\[\begin{bmatrix}1 & 0 & -1\\ -1 & 2 & 0\\ 2 & 1 & 1\end{bmatrix}\begin{bmatrix}1 & 1 & 1\\ 1 & 1 & 0\\ 1 & 0 & -1\end{bmatrix}^{-1}\begin{bmatrix}2\\ -1\\ 4\end{bmatrix}=\begin{bmatrix}9\\ -13\\ 2\end{bmatrix};\]


Para calcular la matriz del cambio de bases podemos utilizar un resultado que nos dice: si a la matriz ampliada \([Q|P]\) le hacemos transformaciones elementales por fila, de modo que obtengamos
\[[Q|P]\to [I_n|C],\]
entonces la matriz \(C=C_{BB’}\).

Matriz del cambio de base para aplicaciones

Ahora veamos cómo afecta el cambio de base entre la matriz asociada aplicación \(M_{f_{B_VB_W}}\), y la matriz \(M_{f_{B’_VB’_W}}\). Esta relación nos la ofrece el siguiente gráfico:

cambio_base_apli

En este diagrama \(A=M_{f_{B_VB_W}}\) y \(C=M_{f_{B’_VB’_W}}\) es la matriz que desconocemos y buscamos. \(P=M_{B’_VB_V}\) es la matriz del cambio de base de \(B’_V\) a \(B_V\) y \(Q=M_{B’_WB_W}\). Así la matriz que buscamos es \[C=Q^{-1}\,A\,P.\]

Ejemplo

En el pasado ejercicio consideramos la aplicación lineal \(f:\mathbb{R}_2[X]\to\mathbb{R}_2[X]\) dada por \[\forall p(X)\in\mathbb{R}_2[X];\ f(p(X))=p(X)-\frac{d}{dX}p(X).\] Ahora buscamos su matriz asociada \(M_f\) respecto de la base \(B=\{1,1-X,1+X-X^2\}\). Si consideramos la misma aplicación sobre las bases canónicas, en este caso la misma al ser el mismo espacio vectorial, tendremos:
\[M_{fc}=\begin{bmatrix} f(1)\\ f(X)\\ f(X^2)\end{bmatrix}^t=\begin{bmatrix}1 & -1 & 0\\0 & 1 & -2\\ 0 & 0 & 1\end{bmatrix}\]
Del mismo modo,
\[M_{B}=\begin{bmatrix} 1\\ 1-X\\ 1+X-X^2\end{bmatrix}^t=\begin{bmatrix}1 & 1 & 1\\
0 & -1 & 1\\ 0 & 0 & -1\end{bmatrix}\]

Luego la matriz buscada es: \[M_{f_B}=M_{fc}M_B=\begin{bmatrix}1 & 2 & 0\\ 0 & -1 & 3\\ 0 & 0 & -1\end{bmatrix}.\]

Esto significa que si \((3,-2,5)\) son las coordenadas de un polinomio respecto de la base \(B=\{1,1-X,1+X-X^2\}\), cuando calculamos su imagen \(f(3,-2,5)=-5X^2+17X-1\) respecto de la base canónica, ya que \[\begin{bmatrix}1 & 2 & 0\\ 0 & -1 & 3\\ 0 & 0 & -1\end{bmatrix}\begin{bmatrix}3\\ -2\\ 5\end{bmatrix}=\begin{bmatrix}-1\\ 17\\ -5\end{bmatrix}.\]

Consideremos que queremos expresar la imagen respecto de una base \(B^\prime=\{1+2X,X-X^2,1+X^2\}\). Calculamos \[M_{B^\prime}=\begin{bmatrix} 1+2X\\ X-X^2\\ 1+X^2\end{bmatrix}^t=\begin{bmatrix}1 & 0 & 1\\ 2 & 1 & 0\\ 0 & -1 & 1\end{bmatrix}\]

Ahora la imagen respecto de esta base \(B^\prime\) será \[\begin{bmatrix}1 & 0 & 1\\
2 & 1 & 0\\ 0 & -1 & 1\end{bmatrix}^{-1}\begin{bmatrix}1 & 2 & 0\\ 0 & -1 & 3\\ 0 & 0 & -1\end{bmatrix}\begin{bmatrix}3\\ -2\\ 5\end{bmatrix}=\begin{bmatrix}13\\ -9\\ -14\end{bmatrix}\]

Supongamos que queremos saber qué polinomio, con coordenadas \((a,b,c)\) en la base \(B\), tiene por imagen \(f(a,b,c)=1\cdot(1+2X)+(-2)\cdot (X-X^2)+(-1)\cdot(1+X^2)\); es decir, tiene por coordenadas \((1,-2,-1)\) en la base \(B^\prime\). Entonces \[\begin{bmatrix}1 & 1 & 1\\
0 & -1 & 1\\ 0 & 0 & -1\end{bmatrix}^{-1} \begin{bmatrix}1 & 0 & 1\\
2 & 1 & 0\\ 0 & -1 & 1\end{bmatrix} \begin{bmatrix}1\\ -2\\ -1\end{bmatrix}=\begin{bmatrix}5 & -4 & 7\\ -2 & 2 & -3\\ 0 & 1 & -1\end{bmatrix}\begin{bmatrix}1\\ -2\\ -1\end{bmatrix}=\begin{bmatrix}6\\ -3\\ -1\end{bmatrix}\]


 

Como habitualmente tratamos los espacios vectoriales \(\mathbb{R}^n\) (recordad que todo espacio vectorial finitamente generado, de dimensión \(n\), es isomorfo a \(\mathbb{R}^n\)), este gráfico se representaría como

matriz_aplic_base

donde \(E_n\) y \(E_m\) son las bases canónicas respectivas.

Núcleo e imagen de una aplicación lineal

Recordemos que, dada una aplicación lineal, \(T\), se define el núcleo (ker) y la imagen (Im) de \(T:V\to W\) como:

\(\mathbf{ker}(T)=\{\,v\in V:T(v)=0_W\,\}\)
\(\mathbf{Im}(T)=\{\,w\in W: \exists v\in V:T(v)=w\,\}\)

Es decir, que el núcleo de una aplicación lineal está formado por el conjunto de todos los vectores del dominio que tienen por imagen al vector nulo del codominio.

El núcleo de toda aplicación lineal es un subespacio vectorial del dominio.

Así, si \(M_f\) es la matriz asociada a la aplicación lineal \(f:V\to W\), entonces el sistema dado por \[M_f\,\textbf{X}=\textbf{0},\] \(\textbf{X}\) la matriz columna de incógnitas y \(\textbf{0}\) la matriz columna de coordenadas de \(0_W\), nos proporciona los elementos del núcleo de \(f\) que buscamos.

Para obtener \(\mathbf{Im}(f)\), es suficiente con ver que, dada una base \(B=\{v_1\,\ldots,v_r\}\subset V \), la imagen de los vectores de la base forma un sistema generador de \(\mathbf{Im}(f)\); es decir, \(\mathbf{Im}(f)=\mathbf{Gen}\{f(v_1)\,\ldots,f(v_r)\}\). Así pues, solo necesitamos los vectores l.i. de \(\{f(v_1)\,\ldots,f(v_r)\}\).

Otra forma bastaría con determinar el rango de la matriz asociada y elegir un número igual al rango, de vectores columna de la matriz, linealmente independientes. Dicho subconjunto formará una base de \(\mathbf{Im}(f)\)

Ejercicio: Sea \(f : \mathbb{R}^2\to\mathbb{R}^3\) la aplicación lineal definida por \(f(x, y) = (−x + 2y, x, 2x − y)\). Encontrar su núcleo y su imagen.

Para encontrar su núcleo vemos que \(\mathbf{ker}(f)=\{\,(x,y)\in \mathbb{R}^2;f(x,y)=(0,0,0)\,\}\); es decir
\[\begin{matrix}
−x + 2y=0\\
x=0\\
2x − y=0
\end{matrix}\]
Como vemos, la solución del sistema es (0,0), luego \(\mathbf{ker}(f)=(0,0)\).

Para calcular la imagen, calculamos la imagen de una base de \(\mathbb{R}^2\), si no nos dicen lo contrario: la canónica. De esta forma \(\mathbf{Im}(f)=\mathbf{Gen}\{f(1,0),f(0,1)\}\). Como
\[\mathbf{rank}\begin{bmatrix} -1 & 1& 2\\ 2 &0& -1 \end{bmatrix}=2,\]
entonces ambos vectores son l.i. y forman base de \(\mathbf{Im}(f)\).


Ejercicio: Sea la aplicación lineal \(f:\mathbb{R}_2[X]\to\mathbb{R}_2[X]\) dada por \[\forall p(X)\in\mathbb{R}_2[X];\ f(p(X))=p(X)-\frac{d}{dX}p(X).\] Determinar el núcleo de la aplicación.

Como no nos dicen bases, consideramos que trabajamos respecto de la base canónica. Luego, la matriz asociada será la obtenida por las imágenes de los vectores de la base canónica: \[ f(1)=1,\ f(X)=X-1,\ f(X^2)=X^2-2X.\] Por tanto,
\[\begin{bmatrix}
1 & -1 & 0\\
0 & 1 & -2\\
0 & 0 & 1
\end{bmatrix}\]
Así pues, \[\mathbf{Ker}(f)=\left\{p_0+p_1X+p_2X^2\in\mathbb{R}_2[X];\ \begin{bmatrix}
1 & -1 & 0\\
0 & 1 & -2\\
0 & 0 & 1
\end{bmatrix}\begin{bmatrix}
p_1\\
p_2\\
p_3
\end{bmatrix}=\begin{bmatrix}
0\\
0\\
0
\end{bmatrix}\right\}\]

Ejercicio: Sea la aplicación lineal \(f:\mathbb{R}_2[X]\to\mathbb{R}_2[X]\) dada por \[\forall p(X)=p_0+p_1X+p_2X^2\in\mathbb{R}_2[X];\] \[f(p(X))=(p_0+p_1+p_2)+(p_0+p_1)X+p_2X^2.\] Determinar el núcleo de la aplicación.


Ejercicio: Sea la aplicación lineal \(f:\mathbb{R}_3[X]\to\mathbb{R}_2[X]\) dada por \[\forall p(X)=p_0+p_1X+p_2X^2+p_3X^3\in\mathbb{R}_3[X];\] \[f(p(X))=(p_0+p_1+p_2)+(p_0-p_3)X^2.\] ¿Cuál es la dimensión de su núcleo más tres veces la dimensión de su imagen? Es decir, ¿\(\mathbf{dim}\,\mathbf{Ker}(f)+3\,\mathbf{dim}\,\mathbf{Im}(f)\)?.


Ejercicio: Sea la aplicación lineal \(f:\mathcal{M}_2(\mathbb{R})\to\mathbb{R}^2\) dada por \[f\begin{bmatrix}a&b\\ c&d\end{bmatrix}=(a-b,c-d).\] Determinar el núcleo de la aplicación.


Ejercicio: Sea la aplicación lineal \(f:\mathbb{R}^3\to\mathcal{M}_2(\mathbb{R})\) dada por \[f(x,y,z)=
\begin{bmatrix}x-y&y-z\\ z-x&x-y\end{bmatrix}.\] ¿Cuál \(\mathbf{dim}\,\mathbf{Im}(f)\)?


Corolario: Sea \(\mathbf{Im}(f)=\mathbf{Gen}\{\vec{v}_1,\vec{v}_2,\ldots,\vec{v}_r\}\), vectores linealmente independientes. Entonces \(\vec{u}\in\mathbf{Im}(f)\Leftrightarrow \mathbf{rank}(\vec{v}_1,\vec{v}_2,\ldots,\vec{v}_r,\vec{u})=r \)

Definición: Llamamos rango de una aplicación lineal \(f\), \(\mathbf{rank}\ (f)\), al rango de su matriz asociada.

Proposición: \(\mathbf{rank}\ (f)=\mathbf{dim}\,\mathbf{Im}(f)\)

Un resultado importante nos dice que si \(f:V\to W\), es lineal entre dos espacios vectoriales finitos sobre el mismo cuerpo, entonces

\[dim\,\mathbf{Ker}(f) + dim\,\mathbf{Im}(f)=dim\, V\]

 

Propiedades de la matriz asociada a una aplicación

Hemos visto que si \(M_f\) es la matriz asociada a la aplicación lineal \(f:V\to W\), entonces
\[f(v_1,v_2,\ldots,v_n)=(w_1,w_2,\ldots,w_m)\Leftrightarrow M_f \begin{pmatrix}v_1\\v_2\\ \vdots\\v_n\end{pmatrix}=\begin{pmatrix}w_1\\w_2\\ \vdots\\w_n\end{pmatrix}.\]

Esto nos permite deducir interesantes propiedades de la aplicación analizando sus correspondientes matrices asociadas.

Llamamos rango de una aplicación lineal \(f\) al rango de su matriz asociada. Propiedades para aplicar. Si \(f:V\to W\) es lineal

  1. \(f\) es inyectiva si, y sólo si, \(\mathbf{rank}\, f=\mathbf{dim}(V)\)
  2. \(f\) es sobreyectiva si, y sólo si, \(\mathbf{rank}\, f=\mathbf{dim}(W)\)
  3. \(\mathbf{dim}(\mathbf{Im}\,f)=\mathbf{rank}\, f\)

Otra aplicación es en la composición:

Dadas dos aplicaciones lineales \(f:V\to V’\) y \(g:V’\to W\) se define la aplicación lineal \(f\) compuesta con \(g\), \((g\circ f):V\to W\), como \[(g\circ f)(\vec{v})=g(f(\vec{v})),\quad \forall\vec{v}\in V.\]

De este modo la composición de aplicaciones se puede realizar mediante multiplicación de matrices

\[(g\circ f)(\vec{v})=g(f(\vec{v}))\Leftrightarrow M_g(M_f\vec{v})\Leftrightarrow (M_g\cdot M_f)\vec{v}\]

Ejercicio: Sean las aplicaciones lineales \(f:\mathbb{R}^3\to\mathbb{R}^4\) dada por \[f(x,y,z)=(x+2y,y-z,x-z,2z-x-y),\] y \(g:\mathbb{R}^4\to\mathbb{R}^2\) dada por \[g(x,y,z,t)=(x-3y,2t-5z).\] ¿Cuál es la \(\sum a_{ii}\) de la matriz asociada a \(g\circ f\)?

\[\begin{split}(g\circ f)(x,y,z)&=\begin{bmatrix}1&0&2&-5\\ 0&-3&0&0\end{bmatrix}\begin{bmatrix}1&2&0\\ 0&1&-1\\ 1&0&-1\\ -1&-1&2\end{bmatrix}\begin{bmatrix}x\\y\\z\end{bmatrix}\\ &=\begin{bmatrix}8&7&-12\\ 0&-3&3\end{bmatrix}\begin{bmatrix}x\\y\\z\end{bmatrix}\end{split}\]

Si consideramos lo que hemos visto, al hecho de que podemos establecer un isomorfismo entre un \(\mathbb{R}\)-espacios vectoriales \(V\), de dimensión \(n\), y \(\mathbb{R}^n\), resultará que podremos tratar los elementos del \(\mathbb{R}\)-espacio vectorial como si fuesen vectores de \(\mathbb{R}^n\). Esto nos ayudará a resolver problemas diversos; por ejemplo, determinar la independencia lineal de un conjunto de polinomios mediante su matriz como vectores en \(\mathbb{R}^n\).

Ejercicio: Sean las aplicaciones lineales \(f:\mathbb{R}_{2}[X]\to\mathbb{R}^2\) dada por \[f(p_0+p_1X+p_2X^2)=(p_0-p_2,p_1-p_2),\] y \(g:\mathbb{R}^2\to\mathcal{M}_2(\mathbb{R})\) dada por \[g(x,y)=\begin{bmatrix}x&x-y\\ y-x&y\end{bmatrix}.\] ¿Cuál es el valor del determinante de \((g\circ f)(1-2X)\)?

\[\begin{split}(g\circ f)(p_0+p_1X+p_2X^2)&=\begin{bmatrix}1&0\\ 1&-1\\ -1&1\\ 0& 1\end{bmatrix}\begin{bmatrix}1&0&-1\\ 0&1&-1 \end{bmatrix} \begin{bmatrix}p_0\\p_1\\p_2\end{bmatrix}\\ &=\begin{bmatrix}1&0&-1\\ 1&-1&0\\ -1&1&0\\ 0&1&-1 \end{bmatrix}\begin{bmatrix}p_0\\p_1\\p_2\end{bmatrix}\end{split}\]
Recordad que el resultado está dado en \(\mathbf{R}^4\), la expresión matricial sería:
\[\begin{bmatrix}
\begin{bmatrix}1&0\\0&0\end{bmatrix} &
\begin{bmatrix}0&1\\0&0\end{bmatrix} &
\begin{bmatrix}0&0\\1&0\end{bmatrix} &
\begin{bmatrix}0&0\\0&1\end{bmatrix}
\end{bmatrix}(g\circ f)(p_0+p_1X+p_2X^2)\]

Ejercicio: Sean las aplicaciones lineales \(f:\mathbb{R}^3\to\mathbb{R}_{3}[X]\) dada por \[f(a,b,c)=a+(b-a)X+(c-a)X^2+(2a-b)X^3,\] y \(g:\mathbb{R}_3[X]\to\mathcal{M}_2(\mathbb{R})\) dada por \[g(p_0+p_1X+p_2X^2+p_3X^3)= \begin{bmatrix}p_0&p_2-p_1\\ p_1-p_2&p_3\end{bmatrix}.\] ¿Cuál es el valor del determinante de \((g\circ f)(-1,3,1)\)?

\[\begin{split}(g\circ f)(a,b,c)&=\begin{bmatrix}1&0&0&0\\ 0&1&-1&0\\0&-1&1&0\\ 0&0&0&1 \end{bmatrix} \begin{bmatrix}1&0&0\\ -1&1&0\\ -1&0&1\\ 2& -1 & 0\end{bmatrix}\begin{bmatrix}a\\b\\b\end{bmatrix}\\ &=\begin{bmatrix}1&0&0\\ 0&1&-1\\ 0&-1&1\\ 2&-1&0 \end{bmatrix}\begin{bmatrix}a\\b\\c\end{bmatrix}\end{split}\]
Recordad que el resultado está dado en \(\mathbf{R}^4\), la expresión matricial sería:
\[\begin{bmatrix}
\begin{bmatrix}1&0\\0&0\end{bmatrix} &
\begin{bmatrix}0&1\\0&0\end{bmatrix} &
\begin{bmatrix}0&0\\1&0\end{bmatrix} &
\begin{bmatrix}0&0\\0&1\end{bmatrix}
\end{bmatrix}(g\circ f)(a,b,c)\]

Ejercicio: Sean las aplicaciones lineales \(f:\mathbb{R}_2[X]\to\mathbb{R}_{2}[X]\) dada por \[f(p(X))=\frac{d}{dX}p(X),\] y \(g:\mathbb{R}_2[X]\to\mathcal{M}_2(\mathbb{R})\) dada por \[g(p_0+p_1X+p_2X^2)= \begin{bmatrix}p_0&p_1\\ p_2&p_0\end{bmatrix}.\] ¿Cuál es el valor del determinante de \((g\circ f)(1-X+X^2)\)?


Imagen recíproca

Para terminar, tratamos la imagen recíproca de un vector.

Si tenemos una aplicación lineal \(f:V\to W\), entre dos espacios vectoriales sobre el mismo cuerpo, y consideramos un vector fijo \(\vec{w}\in W\), llamamos conjunto imagen recíproca al conjunto \[f^{-1}(\vec{w})=\{\vec{v}\in V;\,f(\vec{v})=\vec{w}\}\subset V.\]
Para este conjunto pueden ocurrirle dos propiedades interesantes.

  1. Si \(\vec{w}\notin \operatorname{Im}(f)\), entonces \(f^{-1}(\vec{w})=\varnothing\)
  2. Si \(\vec{w}\in \operatorname{Im}(f)\); es decir, existe algún \(\vec{v}_0\in V\) tal que \(f(\vec{v}_0)=\vec{w}\), entonces \(f^{-1}(\vec{w})\) es la variedad lineal dada por \[f^{-1}(\vec{w})=\vec{v}_0+\operatorname{ker}(f)\]

Veamos cómo aplicamos esto. Consideremos la aplicación \(f(x,y,z)=(2x-y,-x+z)\). La imagen recíproca del vector \((1,3)\in\mathbb{R}^2\) está formada por los vectores de \((x,y,z)\in\mathbb{R}^3\) tales que
\[\left.\begin{array}{r}
2x-y=1 \\ -x+z=3
\end{array}\right\}
\]
Si resolvemos el sistema tendremos
\[\left\{\begin{array}{l}
x=k \\ y=-1+2k \\z=3+k
\end{array}\right.\]
Por tanto, la imagen recíproca la podremos poner como

\[f^{-1}(1,3)=\{(k,-1+2k,3+k);k\in\mathbb{R}\}=(0,1,3)+\{(k,2k,k);k\in\mathbb{R}\},\]
donde \[\operatorname{ker}(f)=\{(k,2k,k);k\in\mathbb{R}\}.\]

Ejercicio: Sea la aplicación lineal \(f:\mathbb{R}^3\to\mathbb{R}^3\) dada por \[f(x,y,z)=(2x-y+z,3x-2y+z,2x+2y-2z),\] determinar la imagen recíproca de (-5,-9,-8).


Ejercicio: Dada la aplicación lineal \(f\begin{bmatrix} a & b \\ c & d\end{bmatrix}=a+(b-c)X+dX^2\), ¿cuál de las matrices dadas pertenece a la imagen recíproca del vector \(5+X-X^2\in\mathbb{R}_2[X]\)?
\[A:\begin{bmatrix} 5 & 2 \\ 1 & 1\end{bmatrix},\,B:\begin{bmatrix} 5 & 3 \\ 2 & -1\end{bmatrix},\, C:\begin{bmatrix} 2 & 1 \\ 0 & -1\end{bmatrix} \]

Podemos resolverlo por el método directo:

(%i1) f(v):=[v[1],v[2]−v[3],v[4]].[1,X,X^2]$

(%i3) lt:[[5,2,1,1],[5,3,2,−1],[2,1,0,−1]]$
makelist(f(lt[i]),i,1,3);

\[\left[ {{X}^{2}}+X+5\operatorname{,}-{{X}^{2}}+X+5\operatorname{,}-{{X}^{2}}+X+2\right] \]

Como vemos el segundo polinomio es el vector del enunciado, con lo cual la matriz B es la solución.

Resolvámoslo viendo si la matriz pertenece a la imagen. Como la imagen recíproca es \[f^{-1}(5+X-X^2)=\left\{M+\lambda v\right\}=\left\{\begin{bmatrix}5&2\\ 1&-1\end{bmatrix}+\lambda\begin{bmatrix}0&1\\ 1&0\end{bmatrix}\right\}(*)\]
la matriz, D, que pertenezca verificará que el rango de las coordenadas de \[rank[M-D,v]=1\]

(%i6) M:[5,2,1,−1]$
v:[0,1,1,0]$
lt:[[5,2,1,1],[5,3,2,−1],[2,1,0,−1]]$

(%i7) makelist(matrix(v,M−lt[i]),i,1,3);

\[\left[ \begin{bmatrix}0 & 1 & 1 & 0\\0 & 0 & 0 & -2\end{bmatrix}\operatorname{,}\begin{bmatrix}0 & 1 & 1 & 0\\0 & -1 & -1 & 0\end{bmatrix}\operatorname{,}\begin{bmatrix}0 & 1 & 1 & 0\\3 & 1 & 1 & 0\end{bmatrix}\right] \]

(%i8) makelist(rank(matrix(v,M−lt[i])),i,1,3);

\[\left[ 2\operatorname{,}1\operatorname{,}2\right] \]


Esto nos confirma que B es la matriz buscada.

(*) Aquí se explica cómo obtenemos la imagen recíproca.


 

Ejercicio: Sean los subespacios vectoriales \(S=\textbf{Gen}\{[[1,2],[2,1]],[[0,-1],[1,1]]\}\in\mathcal{M}_2(\mathbb{R})\) y \(T=\textbf{Gen}\{[[-1,0],[3,-1]],\)\([[1,9],[9,-2]],\)\([[3,10],[2,-1]]\}\in\mathcal{M}_2(\mathbb{R})\). ¿\(\textbf{dim}(S+T)\)?

  • 2
  • 3
  • 4


B.) y D.)

En efecto, nos basta con determinar el rango de:

[ 1 2 2 1 0 − 1 1 1 − 1 0 3 − 1 3 10 2 − 1 1 9 9 − 2 ]

Navegación de entradas

MathBio: Sistemas, mínimos cuadrados, autovalores, autovectores y funciones reales
MathBio: Funciones reales de una variable real

Novela

La Loba, la lucha fraticida por un reino

La Loba, la lucha fratricida por un reino.

Urraca, señora de Zamora, acusada de instigar la muerte de su hermano, el rey Sancho de Castilla, deberá defenderse de la acusación, al tiempo que luchará por mantener la cohesión entre los hermanos y los reinos cristianos: una lobera de fieros lobeznos.

👉 En amazon

Entradas recientes

  • MathBio: Funciones reales de una variable real
  • ALG: Aplicaciones lineales
  • MathBio: Sistemas, mínimos cuadrados, autovalores, autovectores y funciones reales
  • ALG: Determinantes, factorización LU y espacios vectoriales con maxima
  • ALG: Subespacios vectoriales
octubre 2026
L M X J V S D
 1234
567891011
12131415161718
19202122232425
262728293031  
« Sep    
  • álgebra
  • bioestadistica
  • matematica discreta
  • mathbio

Prácticas mathbio Prácticas álgebra

Meta

  • Acceder
  • Feed de entradas
  • Feed de comentarios
  • WordPress.org
©2026 Diario de clases | Diseño: Tema de WordPress Newspaperly