Aplicaciones lineales: conceptos y propiedades
Una aplicación lineal es una función entre espacios vectoriales que «respeta» las dos operaciones que definen un espacio vectorial: la suma y el producto por escalares. En este tema aprenderás a reconocerlas (¿es lineal o no?), a usar sus propiedades básicas ($f(0)=0$, imágenes de combinaciones lineales, qué pasa con libres y ligados) y a calcular la imagen de cualquier vector conociendo solo las imágenes de unos pocos.
0Antes de empezar U p.101
En el módulo 2 estudiaste espacios vectoriales (conjuntos donde se puede sumar y multiplicar por números). Ahora estudias las funciones entre ellos que se llevan bien con esas dos operaciones. Piensa en una fotocopiadora que amplía al 200 %: si fotocopias «dos dibujos pegados» obtienes «las dos copias pegadas», y si amplías «un dibujo tres veces más grande» obtienes «la copia tres veces más grande». Una aplicación lineal es exactamente eso: transformar primero y sumar después, o sumar primero y transformar después, da lo mismo; y lo mismo con los múltiplos. En cambio, una máquina que además «añade 1» (como una fotocopiadora que siempre imprime una marca) rompe esa propiedad.
Qué necesitas saber ya
- Del tema 2.1: qué es un espacio vectorial y un subespacio (con la caracterización $u+\lambda v\in U$, U p.66); que en cualquier espacio vectorial $0\cdot v=0$ y $\lambda\cdot0=0$ (U p.74) y que $(-1)v$ es el opuesto de $v$ (se deduce de los axiomas E2 y E4, U p.58; ver la demostración de P2 en §3). El tema 1.5 recoge las propiedades de las operaciones en las que se apoya.
- Del tema 2.2: combinación lineal, sistema libre y ligado (Def. 2.5 y 2.6, U p.73-74): $\lambda_1u_1+\dots+\lambda_pu_p=0$ solo con todos los $\lambda_i=0$ significa «libre».
- Del tema 2.3: base y coordenadas (Def. 2.9 y 2.10, U p.82-85): todo vector se escribe de forma única como combinación lineal de los vectores de una base; «dos vectores libres en $\mathbb R^2$ son base» (Teor. 2.6, U p.88).
- Del tema 1: resolver sistemas $2\times2$ y $3\times3$ y calcular un determinante para ver si es distinto de cero.
- Notación de funciones: $f:V\to W$ (espacio inicial o de partida $V$, espacio final o de llegada $W$). U recomienda repasar el módulo Conjuntos del «Curso 0» (U p.101). Notación: Lay dice «transformación $T$», «dominio», «codominio» y «rango» donde U dice «aplicación $f$», «espacio inicial», «espacio final» e «imagen»; usamos la de U.
Mapa del tema
| Apartado | Qué contiene | Dónde está en los libros |
|---|---|---|
| 1 Definición | Def. 3.1, «conserva la suma y el producto por escalares», endomorfismo (Ej. U 3.1-3.2) | U p.101-103 · L §1.8 p.65 y §4.2 p.204 |
| 2 Ejemplos y no ejemplos | Constantes, traslaciones, cuadrados, productos… (Ej. U 3.3, 3.7) | U p.103-104 · L §1.8 p.66 |
| 3 Propiedades | P1-P5 y sus demostraciones (Ej. U 3.4-3.7) | U p.103-104 · L §1.8 p.66 |
| 4 Imagen de una combinación lineal | Calcular $f(w)$ escribiendo $w$ como combinación de vectores cuya imagen se conoce; imagen de libres y ligados | U p.103 (P3) · adelanto de U p.114 |
| 5 Ejercicios del libro | E 3.1–3.14 (los catorce) + 3 ejemplos propios | E pp.79-91 |
| 6 Ejemplos de examen | 6 preguntas de convocatorias anteriores + 2 ejemplos propios, resueltos | X |
Cuatro tareas que se repiten con distinto disfraz: (a) «¿es lineal esta aplicación?» (si sí, demostrarlo con la definición; si no, dar un contraejemplo, casi siempre $f(0)\neq0$); (b) «¿es endomorfismo?» (lineal y mismo espacio inicial y final); (c) «verdadero o falso» sobre las propiedades (neutro, opuestos, libres y ligados, imagen de un subespacio); y, la más frecuente en examen, (d) «sabiendo que $f$ es lineal y que $f(a)=\dots$, $f(b)=\dots$, calcula $f(w)$»: se escribe $w$ como combinación lineal de $a,b,\dots$ y se aplica la linealidad. Los resultados sin justificar «no podrán ser valorados»: hay que escribir el proceso.
- Símbolos perdidos en el texto digital. En las versiones de texto de E y de U se pierden varios $\neq$, que aparecen como «$=$»: E 3.1 B, 3.3 (p.83: la frase sobre «$f(x)+\lambda f(y)=f(x+\lambda y)$» es en realidad $\neq$), 3.5, 3.6, 3.7, 3.9 A y C; U Ej. 3.5 y 3.7. En E 3.7 B, «Si $\lambda=1$» debe ser «si $\lambda\neq1$». En E 3.9 C el enunciado es «puede ocurrir $f(0)\neq0$». El sentido lógico lo exige y así se escribe aquí.
- U no define «endomorfismo» en §3.1: la palabra aparece por primera vez en la autoevaluación del tema (U p.138) y se usa desde el capítulo 4 (U p.147). La definición operativa la da E en la solución del Ej. 3.1 C (p.80): $f$ es endomorfismo si es lineal y el espacio inicial coincide con el final ($f:V\to V$).
- U no numera las propiedades como «Teorema»: las cinco propiedades de la p.103 se citan aquí como P1-P5; los Ejemplos 3.4-3.7 (p.104) son sus demostraciones o contraejemplos.
- E es escueto: en 3.1 B no dice que basta un caso concreto; en 3.8 escribe «es evidente»; en 3.11 no justifica que $\{(1,1),(2,-1)\}$ sea base; en 3.13 D no explica por qué $x+\lambda y\in S$. Se completa en cada ejercicio («Nota sobre el libro»). En 3.2 C hay además una errata tipográfica (una cuarta componente repetida).
- Maxima (E 3.9 D y nota al margen de U p.104) no entra en examen: se menciona y no se desarrolla.
1Qué es una aplicación lineal U p.101-103
Una aplicación $f:V\to W$ asigna a cada vector $v$ de $V$ un único vector $f(v)$ de $W$. Ahora bien, $V$ y $W$ no son simples conjuntos: tienen suma y producto por escalares. Una aplicación es lineal si lleva esas operaciones de $V$ a las de $W$ sin estropearlas:
- conserva la suma: la imagen de una suma es la suma de las imágenes, $f(u+v)=f(u)+f(v)$;
- conserva el producto por escalares: la imagen de un múltiplo es el múltiplo de la imagen, $f(\lambda u)=\lambda f(u)$.
Analogía: pasar de euros a dólares con un cambio fijo. Si pagas 3 € + 5 € y conviertes, es igual que convertir 3 €, convertir 5 € y sumar; y convertir «el doble» es «el doble de lo convertido». Ahora bien, si el banco te cobra además una comisión fija de $1$ por operación, ya no se cumple (convertir 0 € te cuesta $1$): la conversión pasa de ser lineal a ser afín.
Sean $V$ y $W$ espacios vectoriales (sobre $\mathbb R$). Una aplicación $f:V\to W$ es lineal si para todo $v,u\in V$ y todo escalar $\lambda\in\mathbb R$: $$f(v+\lambda u)=f(v)+\lambda f(u).$$ A las aplicaciones lineales también se las llama transformaciones lineales. Si además $V=W$ (el mismo espacio de partida y de llegada) se dice que $f$ es un endomorfismo (definición operativa de E, p.80; ver «Erratas»).
U p.101 U p.103 E p.80$f$ es lineal $\iff$ se cumplen a la vez:
(i) $f(u+v)=f(u)+f(v)$ (conserva la suma) y (ii) $f(\lambda u)=\lambda f(u)$ (conserva el producto por escalares).
Por qué. ($\Rightarrow$) Con $\lambda=1$ en la Def. 3.1 sale (i). Para (ii): tomando el primer vector igual a $0$, $f(0+\lambda u)=f(0)+\lambda f(u)$, y como $f(0)=0$ (P1, §3), $f(\lambda u)=\lambda f(u)$. ($\Leftarrow$) $f(v+\lambda u)=f(v)+f(\lambda u)=f(v)+\lambda f(u)$ usando primero (i) y luego (ii). Por eso E y Lay comprueban (i) y (ii) por separado, y U las junta en una sola igualdad: es lo mismo.
U p.103 L §1.8 p.65 L §4.2 p.204Sea $f:\mathbb R^2\to\mathbb R^2$, $f(x,y)=(x+y,\ 2x-y)$. Tomemos $u=(1,2)$, $v=(3,-1)$ y $\lambda=2$ y comprobemos la igualdad de la Def. 3.1 con números (no es una demostración, solo «ver» qué afirma):
- Primer miembro. $u+\lambda v=(1,2)+2(3,-1)=(7,0)$, y $$f(7,0)=(7+0,\ 2\cdot7-0)=(7,14).$$
- Segundo miembro. $f(u)=(3,0)$, $f(v)=(2,7)$, luego $$f(u)+\lambda f(v)=(3,0)+2(2,7)=(7,14).$$
- Coinciden. Transformar la combinación o combinar las transformadas da lo mismo. (Para demostrar que $f$ es lineal hay que hacerlo con $u,v,\lambda$ genéricos, como en los Ejemplos U 3.1-3.2 de abajo.)
Y una aplicación que no lo cumple: $g(x,y)=(x+1,\ y)$ (una traslación). Con los mismos $u,v,\lambda$: $g(u+\lambda v)=g(7,0)=(8,0)$, pero $g(u)+\lambda g(v)=(2,2)+2(4,-1)=(10,0)$. Distintos: $g$ no es lineal. (Un solo caso que falle basta para negar la linealidad; un solo caso que cuadre no la prueba.)
PElige una aplicación del desplegable y mueve $\alpha$ y $\beta$: a la izquierda ves $w=\alpha u+\beta v$ en el espacio de partida; a la derecha, $f(w)$ (flecha verde) y $\alpha f(u)+\beta f(v)$ (flecha morada discontinua). En una aplicación lineal las dos flechas siempre coinciden; en las no lineales (traslación, cuadrados, productos) se separan para casi todos los valores de $\alpha,\beta$. Ojo: en la traslación $g(x,y)=(x+1,y)$ las flechas sí coinciden cuando $\alpha+\beta=1$ (p. ej. $\alpha=\beta=0{,}5$); por eso un caso que cuadra no demuestra la linealidad.
P$M$ es el espacio de las matrices cuadradas de orden 2 con $a_{22}=0$; $f:M\to\mathbb R^4$ se define como $$f\begin{pmatrix}a_{11}&a_{12}\cr a_{21}&0\end{pmatrix}=(a_{11}+a_{12},\ a_{12}-a_{11},\ a_{21},\ 0).$$ Intervienen tres cosas (U p.101-102): el espacio inicial $M$, el espacio final $\mathbb R^4$ y la regla $f$. Para comprobar que es lineal (U p.102: «una técnica es desarrollar independientemente los dos miembros y compararlos») se toman $v=\begin{pmatrix}a_{11}&a_{12}\cr a_{21}&0\end{pmatrix}$, $w=\begin{pmatrix}b_{11}&b_{12}\cr b_{21}&0\end{pmatrix}$ y $\lambda\in\mathbb R$:
- Primer miembro. $v+\lambda w$ tiene entradas $a_{11}+\lambda b_{11}$, $a_{12}+\lambda b_{12}$, $a_{21}+\lambda b_{21}$ y $0$, luego $$\begin{gathered}f(v+\lambda w)=\big(\cr{}a_{11}+\lambda b_{11}+a_{12}+\lambda b_{12},\cr{}a_{12}+\lambda b_{12}-a_{11}-\lambda b_{11},\cr{}a_{21}+\lambda b_{21},\ 0\big).\end{gathered}$$
- Segundo miembro. $$\begin{gathered}f(v)+\lambda f(w)=\big(\cr{}a_{11}+a_{12}+\lambda(b_{11}+b_{12}),\cr{}a_{12}-a_{11}+\lambda(b_{12}-b_{11}),\cr{}a_{21}+\lambda b_{21},\ 0\big).\end{gathered}$$
- Conclusión. Ambos miembros son idénticos, luego $f$ es lineal. (La imagen de una suma es la suma de imágenes y la de un múltiplo, el múltiplo de la imagen: U p.103.)
Nota: en el texto digital de U los miembros del Ej. 3.2 salen entremezclados por la extracción; aquí están reconstruidos a partir de la fórmula del Ej. 3.1.
U p.101-102- Escribe los vectores genéricos $v=(x_1,\dots)$, $u=(y_1,\dots)$ y el escalar $\lambda$, y calcula $v+\lambda u$ componente a componente.
- Desarrolla por separado el primer miembro $f(v+\lambda u)$ (aplicando la fórmula de $f$ a $v+\lambda u$) y el segundo $f(v)+\lambda f(u)$.
- Compara: si son iguales para todo $v,u,\lambda$, $f$ es lineal. Señal rápida: si cada componente de $f(x)$ es una combinación $a_1x_1+\dots+a_nx_n$ sin término independiente ni productos, potencias, valores absolutos…, la igualdad saldrá siempre.
Escribir como primer paso «$f(v+\lambda u)=f(v)+\lambda f(u)$» y seguir: eso es lo que hay que demostrar, no puede darse por supuesto. Y confundir «lineal» con «endomorfismo»: $f:\mathbb R^2\to\mathbb R^3$ puede ser perfectamente lineal y, sin embargo, no es endomorfismo porque $\mathbb R^2\neq\mathbb R^3$ (ver Ej. 3.2 y la autoevaluación de U p.138).
2Ejemplos y no ejemplos U p.103-104
Una aplicación lineal «de verdad» es la que aparece al escribir cada componente de la imagen como suma de las coordenadas multiplicadas por números fijos: $(x,y)\mapsto(3x-y,\ 2y)$. Todo lo que meta una constante suelta (traslación), una potencia ($x^2$), un producto de coordenadas ($xy$), un valor absoluto o una función como $\sin x$ rompe la linealidad. En el plano, lo que hace una aplicación lineal es estirar, girar, reflejar, proyectar o inclinar, siempre dejando el origen quieto y llevando rectas a rectas.
$f:\mathbb R\to\mathbb R$, $f(x)=k$ con $k\neq0$ fijo. Primer miembro: $f(x+\lambda y)=k$. Segundo: $f(x)+\lambda f(y)=k+\lambda k$. Como $k\neq k+\lambda k$ en cuanto $\lambda k\neq0$ (p. ej. $\lambda=1$: $k\neq2k$), no hay igualdad: no es lineal. (La aplicación constante $f(x)=0$ sí es lineal: es la aplicación nula.)
U p.103 E p.79Para el Ej. 3.3 hay un camino más corto: $f(0)=k\neq0$, y como toda aplicación lineal cumple $f(0)=0$ (P1, §3), no puede ser lineal. U lo dice así: «a veces es más cómodo utilizar alguna de las propiedades anteriores que la definición para comprobar que una aplicación no es lineal» y, al margen, «para comprobar que una afirmación es falsa es suficiente que lo sea en algún caso, llamado contraejemplo».
U p.104Catálogo de «sí» y «no» (todos en $\mathbb R^2$ o $\mathbb R$)
| Aplicación | ¿Lineal? | Por qué (contraejemplo o razón) |
|---|---|---|
| $f(x,y)=(x+y,\ 2x-y)$ | Sí | Cada componente es combinación de $x,y$ sin término independiente |
| $f(x)=rx$ (contracción/dilatación) | Sí | $f(x+\lambda y)=r(x+\lambda y)=rx+\lambda ry$ (L §1.8 Ej. 4, p.66) |
| $f(x,y)=(x+1,\ y)$ (traslación) | No | $f(0,0)=(1,0)\neq0$ (el origen se mueve) |
| $f(x)=k\neq0$ (constante) | No | $f(0)=k\neq0$ (Ej. U 3.3) |
| $f(x)=x^2$ | No | $f(1+1)=4\neq f(1)+f(1)=2$ |
| $f(x,y)=(xy,\ x)$ | No | $f(0,0)=0$ pero $f(2,2)=(4,2)\neq2f(1,1)=(2,2)$: el producto $xy$ crece como $\lambda^2$ |
| $f(x)=|x|$ | No | $f(1+(-1))=0\neq f(1)+f(-1)=2$ |
| $f(x)=\sin x$ | No | $f(\pi/2+\pi/2)=0\neq1+1$ |
| $\det:\mathcal M_{2\times2}\to\mathbb R$ | No | $\det(2I)=4\neq2\det I=2$ |
| $A\mapsto A^t$ (traspuesta) | Sí | $(A+\lambda B)^t=A^t+\lambda B^t$ |
| $A\mapsto a_{11}+a_{22}$ (traza) | Sí | La diagonal de $A+\lambda B$ es la suma de diagonales |
(a) «Es de primer grado, luego es lineal»: $f(x)=x+1$ es de primer grado y no es lineal en Álgebra (es afín); lo que cuenta es que no haya término independiente. (b) El error recíproco: comprobar $f(0)=0$ y concluir «es lineal». P1 es condición necesaria, no suficiente: $f(x,y)=(xy,x)$ y $\det$ cumplen $f(0)=0$ y no son lineales. (c) Probar con un solo ejemplo numérico que sí se cumple y «demostrar» con ello la linealidad: un ejemplo confirma, solo un contraejemplo refuta.
- Calcula $f(0)$. Si $\neq0$, no es lineal (una línea, citando P1 y Ej. U 3.7).
- Si $f(0)=0$ y la fórmula es «de combinaciones de coordenadas», demuéstralo con la Def. 3.1 (receta de §1).
- Si $f(0)=0$ pero hay productos, potencias, valores absolutos…, busca un contraejemplo con números pequeños: $f(2v)$ frente a $2f(v)$, o $f(u+v)$ frente a $f(u)+f(v)$.
3Propiedades de las aplicaciones lineales U p.103-104
La definición es muy poca cosa, pero tiene consecuencias inmediatas que usarás todo el tiempo: la aplicación deja quieto el origen, respeta opuestos, respeta combinaciones lineales completas (esta es la más potente) y, como una máquina que puede «aplastar» información, conserva la dependencia pero no necesariamente la independencia. Piensa en una sombra: si dos objetos estaban alineados (dependientes), sus sombras también lo están; pero dos objetos independientes pueden proyectarse sobre la misma recta y sus sombras ser dependientes.
Si $f:V\to W$ es una aplicación lineal:
- P1. $f(0_V)=0_W$ (el neutro de $V$ va al neutro de $W$).
- P2. $f(-v)=-f(v)$.
- P3. $f(a_1v_1+a_2v_2+\dots+a_nv_n)=a_1f(v_1)+a_2f(v_2)+\dots+a_nf(v_n)$, con $a_i\in\mathbb R$ y $v_i\in V$.
- P4. Si $v,u\in V$ son linealmente dependientes, sus imágenes $f(v),f(u)$ también lo son.
- P5. Aunque $v,u\in V$ sean linealmente independientes, sus imágenes $f(v)$ y $f(u)$ pueden no serlo.
Demostraciones cortas
- El neutro es suma de sí mismo: $0=0+0$.
- Aplicando que $f$ conserva la suma: $f(0)=f(0+0)=f(0)+f(0)$.
- Sumando a ambos lados el opuesto $-f(0)$ (existe en $W$, que es espacio vectorial): $f(0)-f(0)=f(0)+f(0)-f(0)$, es decir $0_W=f(0)$. ∎
Otra prueba: $f(0_V)=f(0\cdot v)=0\cdot f(v)=0_W$, usando $0\cdot v=0$ (U p.74, al margen) y que $f$ conserva el producto por escalares. (En lo que sigue, como hace U, se escribe $0$ para los dos neutros si no hay confusión.)
U p.104Primero, en cualquier espacio vectorial $-v=(-1)v$: en efecto, $v+(-1)v=(1+(-1))v=0\cdot v=0$ (axiomas E2 y E4, U p.58, y $0\cdot v=0$, U p.74), así que $(-1)v$ es el opuesto de $v$. Entonces $f(-v)=f((-1)v)=(-1)f(v)=-f(v)$, usando que $f$ conserva el producto por escalares. ∎
PSe aplica la definición de forma repetida: $f(a_1v_1+a_2v_2)=f(a_1v_1)+f(a_2v_2)=a_1f(v_1)+a_2f(v_2)$, y con tres o más sumandos se repite (inducción en $n$): se «abre» el primer sumando, luego el segundo, etc. ∎ Es la propiedad más utilizada del tema: permite calcular $f$ en cualquier vector conociendo $f$ solo en unos pocos (§4). Lay la llama principio de superposición.
U p.103 L §1.8 p.66Si $v,u$ son ligados, existe una relación $\lambda v+\mu u=0$ con $\lambda\neq0$ o $\mu\neq0$ (Def. 2.5, U p.73). Aplicando $f$ y P3, P1: $$\lambda f(v)+\mu f(u)=f(\lambda v+\mu u)=f(0)=0.$$ Es una relación entre $f(v)$ y $f(u)$ con los mismos coeficientes, no todos nulos: $f(v),f(u)$ son ligados. ∎ (La misma prueba vale para $n$ vectores.)
U p.104Basta un contraejemplo. $f:\mathbb R^2\to\mathbb R$, $f(x_1,x_2)=x_1$ (es lineal). El sistema $S=\{(2,1),(1,3)\}$ es libre (no son proporcionales: $\begin{vmatrix}2&1\cr1&3\end{vmatrix}=5\neq0$). Sus imágenes son $f(2,1)=2$ y $f(1,3)=1$, y $\{2,1\}$ es ligado en $\mathbb R$ porque $2=2\cdot1$ (dos vectores en un espacio de dimensión 1 siempre son ligados).
U p.104«$x,y$ ligados $\Rightarrow f(x),f(y)$ ligados» equivale a su contrarrecíproca: $$\{f(x),f(y)\}\ \text{libre}\ \Longrightarrow\ \{x,y\}\ \text{libre}.$$ Si las imágenes son independientes, los originales también lo eran. Prueba directa: si $\lambda x+\mu y=0$, aplicando $f$: $\lambda f(x)+\mu f(y)=f(0)=0$, y como $\{f(x),f(y)\}$ es libre, $\lambda=\mu=0$. Cuidado: la recíproca de P4 («$f(x),f(y)$ ligados $\Rightarrow x,y$ ligados») es falsa (es justo P5); se ve en E 3.14.
P¿Cuándo uso cada propiedad?
| Propiedad | Se usa para… | Aparece en |
|---|---|---|
| P1 $f(0)=0$ | Refutar la linealidad ($f(0)\neq0\Rightarrow$ no lineal); nunca para probarla | E 3.1, 3.3, 3.4 A, 3.6, 3.7, 3.9, 3.11 B, 3.13 A |
| P2 $f(-v)=-f(v)$ y $f(x-y)=f(x)-f(y)$ | Simplificar diferencias; «si $f(x)=f(y)$ entonces $f(x-y)=0$» | E 3.13 |
| P3 combinación lineal | Calcular $f(w)$ conociendo $f$ en otros vectores; probar que las imágenes cumplen una ecuación | E 3.4, 3.10, 3.11, 3.12; examen (método A) |
| P4 / contrarrecíproca | «Ligados $\to$ ligados»; «imágenes libres $\Rightarrow$ originales libres» | E 3.14 |
| P5 contraejemplo | Responder «falso» a «libres $\to$ libres» | E 3.14 A y B; ejemplo propio de tipo examen (c) |
Creer que una aplicación lineal siempre conserva la independencia. Lo que sí es cierto: $f$ lleva todo sistema libre a uno libre $\iff$ $f$ es inyectiva ($\operatorname{Nuc}f=\{0\}$, tema 3.2); si no lo es, unos sistemas libres se conservan y otros no (E 3.14 lo ilustra). Y confundir «imagen de dependientes» (P4, siempre cierto) con su recíproca (falsa).
4La imagen de una combinación lineal: calcular $f(w)$ con pocos datos U p.103 y p.114
Una aplicación lineal es una «máquina» que, por ser tan rígida, queda totalmente determinada por lo que hace a unos pocos vectores: los de una base. Es como un decorado montado sobre unos cuantos postes: si sabes dónde caen los postes y que la tela entre ellos es «elástica y proporcional», sabes dónde cae cualquier punto. Matemáticamente: todo $w$ es $w=a_1e_1+\dots+a_ne_n$ (de forma única, Def. 2.10), y por P3 $f(w)=a_1f(e_1)+\dots+a_nf(e_n)$. Los $a_i$ se calculan en el espacio inicial y se reutilizan tal cual en el final.
- Plantea $w=a_1v_1+\dots+a_kv_k$ con los vectores del espacio inicial cuya imagen conoces; igualando coordenadas sale un sistema para $a_1,\dots,a_k$.
- Resuelve y comprueba la combinación (sustituyendo): ¡es el paso donde más se falla!
- Aplica P3: $f(w)=a_1f(v_1)+\dots+a_kf(v_k)$ con esos mismos coeficientes y las imágenes dadas.
Casos. (a) Si los $v_i$ forman una base, la combinación existe y es única (una base es generadora y libre, Def. 2.9-2.10, U p.82-85) y $f(w)$ queda determinada: es el contenido del Teorema 3.2 de U p.114 (§3.3), que solo afirma que la imagen de cualquier vector está determinada por las imágenes de una base. (Que para cualesquiera imágenes de la base exista una aplicación lineal que las tome es cierto, pero U no lo enuncia aquí; es una observación propia.) (b) Si los $v_i$ generan pero son ligados: la combinación existe, no es única, y $f(w)$ solo está bien definida si los datos son compatibles (cualquier combinación debe dar el mismo resultado; ver «Datos incompatibles» abajo). (c) Si no generan, puede no haber combinación y entonces los datos no determinan $f(w)$.
U p.103 y p.114$f:\mathbb R^2\to\mathbb R^2$ lineal con $f(1,0)=(2,1)$ y $f(0,1)=(-1,3)$. Calcula $f(4,-3)$.
- $(4,-3)=4(1,0)-3(0,1)$ (las coordenadas en la base canónica son las componentes).
- Por P3: $f(4,-3)=4f(1,0)-3f(0,1)=4(2,1)-3(-1,3)=(8,4)+(3,-9)=(11,-5)$.
- En general, $f(a,b)=a(2,1)+b(-1,3)=(2a-b,\ a+3b)$: las imágenes de la base canónica son las «columnas» de la fórmula (esto se formaliza en 3.3).
$f:\mathbb R^2\to\mathbb R^2$ lineal con $f(1,1)=(3,0)$ y $f(1,-1)=(1,2)$. Calcula $f(5,1)$.
- ¿Es base $\{(1,1),(1,-1)\}$? $\begin{vmatrix}1&1\cr1&-1\end{vmatrix}=-2\neq0$: son libres y, siendo 2 vectores en $\mathbb R^2$, base (Teor. 2.6). Así que la combinación existe y es única.
- Coordenadas de $(5,1)$. $a(1,1)+b(1,-1)=(5,1)$ da $$\begin{aligned}a+b&=5\cr a-b&=1\end{aligned}\quad\Rightarrow\quad a=3,\ b=2.$$ Comprobación: $3(1,1)+2(1,-1)=(5,1)$ ✓.
- P3 con esos coeficientes: $f(5,1)=3f(1,1)+2f(1,-1)=3(3,0)+2(1,2)=(9,0)+(2,4)=(11,4)$.
Error típico: usar las componentes $(5,1)$ como coeficientes: $5f(1,1)+1\cdot f(1,-1)$ está mal (eso sería si la base fuera la canónica). Primero hay que pasar a coordenadas en la base dada.
P¿Existe una aplicación lineal $f:\mathbb R^2\to\mathbb R^2$ con $f(1,2)=(1,0)$ y $f(2,4)=(3,1)$? No. Como $(2,4)=2(1,2)$ son ligados, por P3 tendría que ser $f(2,4)=2f(1,2)=(2,0)\neq(3,1)$. Las imágenes solo se pueden dar libremente sobre los vectores de una base (o de un sistema libre); sobre vectores ligados, la linealidad las fija (P3, P4).
PImagen de un sistema libre o ligado
$g:\mathbb R^3\to\mathbb R^3$, $g(x,y,z)=(x+y,\ 2x+2y,\ z)$ (lineal: sin términos independientes). El sistema $S=\{a,b,c\}$ con $a=(1,0,0)$, $b=(0,1,0)$, $c=(1,1,0)$ es ligado: $c=a+b$, es decir $a+b-c=0$. Sus imágenes son $g(a)=(1,2,0)$, $g(b)=(1,2,0)$, $g(c)=(2,4,0)$, y se cumple la misma relación: $g(a)+g(b)-g(c)=(1,2,0)+(1,2,0)-(2,4,0)=0$. Es P4: la relación se conserva con los mismos coeficientes, así que sigue siendo ligado.
PCon el mismo $g$: $\{a,b\}=\{(1,0,0),(0,1,0)\}$ es libre, pero $\{g(a),g(b)\}=\{(1,2,0),(1,2,0)\}$ es ligado (son iguales). La aplicación «aplasta» todo el plano $z=0$ sobre una recta (U Ej. 3.6 hace lo mismo con $f(x_1,x_2)=x_1$: $\{(2,1),(1,3)\}\mapsto\{2,1\}$). Es P5.
P| Pregunta | Respuesta | Propiedad |
|---|---|---|
| Originales ligados $\Rightarrow$ imágenes… | ligadas (siempre) | P4 |
| Originales libres $\Rightarrow$ imágenes… | pueden ser ligadas (no siempre libres) | P5 |
| Imágenes libres $\Rightarrow$ originales… | libres (siempre) | contrarrecíproca de P4 |
| Imágenes ligadas $\Rightarrow$ originales… | pueden ser libres (no siempre ligados) | P5 |
5Ejercicios del libro, resueltos E p.79-91
Los catorce ejercicios de E para esta sección (3.1–3.14; el 3.15, p.93, ya es de §3.2-3.3). Cada uno enseña un método reutilizable (recuadro «Receta»). Orden de estudio sugerido, de fácil a difícil: 3.2 → 3.8 → 3.1 → 3.3 → 3.7 → 3.9 → 3.4 → 3.5 → 3.6 → 3.13 → 3.10 → 3.11 → 3.12 → 3.14. Aquí se presentan en el orden del libro; las soluciones están plegadas, pulsa «Mostrar soluciones» o el ejercicio. Todos los cálculos están comprobados con sympy.
Ejercicio 3.1 — $f(x_1,x_2)=x_1-x_2+1$: imágenes, ¿lineal?, ¿endomorfismo? E p.80
Si $f:\mathbb R^2\to\mathbb R$ es la aplicación definida por $f(x_1,x_2)=x_1-x_2+1$, se pide: A) Calcular las imágenes de algunos vectores de $\mathbb R^2$. B) Comprobar si la aplicación dada, $f$, es lineal. C) Justificar si $f$ es un endomorfismo.
- Qué me piden
- Calcular imágenes de $f(x_1,x_2)=x_1-x_2+1$ y decidir si es lineal y endomorfismo.
- Cómo lo pienso
- Veo un «$+1$» suelto: una aplicación lineal tiene que mandar el cero al cero, y aquí $f(0,0)$ valdrá $1$. Es la señal típica de que no es lineal. Endomorfismo exige además mismo espacio de salida y llegada.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Propiedad P1: si $f$ es lineal, $f(\bar0_V)=\bar0_W$. Si no se cumple, $f$ no es lineal.
- Por dónde empiezo
- Evalúo $f(0,0)$; si no da $0$, concluyo; comparo $\mathbb R^2$ y $\mathbb R$ para lo de endomorfismo.
- A) Imágenes. Se sustituye en $x_1-x_2+1$: $$f(5,2)=4,\quad f(0,0)=1,\quad f(-3,-2)=-3+2+1=0,$$ $$f(4,-2)=4+2+1=7,\quad f(-2,1)=-2-1+1=-2,\quad f(-7,-3)=-7+3+1=-3.$$
- B) Atajo con el neutro. Toda aplicación lineal cumple $f(0)=0$ (P1). Aquí
$$f(0,0)=1\neq0,$$
luego $f$ no es lineal (Ej. U 3.7: basta $f(0)\neq0$).
- B) Por la definición (lo que hace E). Con $x=(x_1,x_2)$, $y=(y_1,y_2)$:
$$f(x+\lambda y)=x_1+\lambda y_1-x_2-\lambda y_2+1,$$
$$f(x)+\lambda f(y)=(x_1-x_2+1)+\lambda(y_1-y_2+1)=x_1-x_2+1+\lambda y_1-\lambda y_2+\lambda.$$
La diferencia es $\lambda$, que no es $0$ si $\lambda\neq0$. Omisión de E: para concluir hay que decir que la igualdad falla para algún caso concreto, p. ej. $x=y=(0,0)$, $\lambda=1$:
$$f(0,0)=1,\qquad f(0,0)+1\cdot f(0,0)=2.$$(La definición exige la igualdad para todos; un caso que falle basta.)
- C) Endomorfismo = lineal y espacio inicial = final (E p.80). Aquí fallan las dos: no es lineal y $\mathbb R^2\neq\mathbb R$. No es endomorfismo.
Resultado: B) no lineal; C) no endomorfismo.
Nota sobre el libro. El resultado coincide; en B concluye sin indicar el caso concreto y en el texto digital el «$\neq$» se pierde.
Error típico: pensar que es lineal «porque es de grado 1»; el $+1$ la hace afín. Y al revés, deducir «es lineal» de $f(0)=0$.
Teoría: Def. 3.1, U p.101 · P1, U p.103 · Ej. U 3.4 y 3.7, U p.104
Ejercicio 3.2 — $f(x_1,x_2)=(2x_1,\,3x_1+x_2,\,x_1+x_2)$: describir, definición simbólica, lineal, endomorfismo E p.81
Si $f:\mathbb R^2\to\mathbb R^3$ es la aplicación definida por $f(x_1,x_2)=(2x_1,3x_1+x_2,x_1+x_2)$, se pide: A) Describir en qué consiste la aplicación dada. B) Escribir con lenguaje simbólico la definición de aplicación lineal entre los espacios vectoriales $V$ y $W$. C) Comprobar si la aplicación dada, $f$, es lineal. D) Justificar si $f$ es un endomorfismo.
- Qué me piden
- Describir una aplicación $\mathbb R^2\to\mathbb R^3$, escribir la definición de lineal y comprobarla.
- Cómo lo pienso
- Cada componente es una combinación de $x_1,x_2$ sin términos constantes ni productos: huele a lineal. Hay que demostrarlo con vectores genéricos, no con ejemplos.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$.
- Por dónde empiezo
- Desarrollo por separado $f(x+\lambda y)$ y $f(x)+\lambda f(y)$ y comparo.
- A) Leer la aplicación. El espacio inicial es $\mathbb R^2$ (pares) y el final $\mathbb R^3$ (ternas). A cada par $(x_1,x_2)$ le asocia la terna cuya 1.ª componente es el doble de $x_1$, la 2.ª es $3x_1+x_2$ y la 3.ª es $x_1+x_2$. Por ejemplo $f(1,0)=(2,3,1)$ y $f(0,1)=(0,1,1)$. Es una aplicación porque cada par tiene una única imagen (U p.103).
- B) Definición simbólica. $f:V\to W$ es lineal si $$f(x+\lambda y)=f(x)+\lambda f(y)\qquad\forall x,y\in V,\ \forall\lambda\in\mathbb R$$ (Def. 3.1, U p.101), o, por separado, $f(x+y)=f(x)+f(y)$ y $f(\lambda x)=\lambda f(x)$.
- C) Vectores genéricos. $x=(x_1,x_2)$, $y=(y_1,y_2)$, $\lambda\in\mathbb R$; $x+\lambda y=(x_1+\lambda y_1,\ x_2+\lambda y_2)$.
- Primer miembro (se aplica la fórmula a las componentes de $x+\lambda y$): $$f(x+\lambda y)=\begin{pmatrix}2(x_1+\lambda y_1)\cr3(x_1+\lambda y_1)+(x_2+\lambda y_2)\cr(x_1+\lambda y_1)+(x_2+\lambda y_2)\end{pmatrix}.$$
- Segundo miembro: $$\begin{gathered}f(x)+\lambda f(y)=\cr\begin{pmatrix}2x_1\cr3x_1+x_2\cr{}x_1+x_2\end{pmatrix}\cr+\lambda\begin{pmatrix}2y_1\cr3y_1+y_2\cr{}y_1+y_2\end{pmatrix}\cr=\cr\begin{pmatrix}2x_1+2\lambda y_1\cr3x_1+x_2+3\lambda y_1+\lambda y_2\cr{}x_1+x_2+\lambda y_1+\lambda y_2\end{pmatrix}.\end{gathered}$$ Al desarrollar los paréntesis del primer miembro (propiedad distributiva) sale exactamente lo mismo componente a componente. Por la Def. 3.1, $f$ es lineal. (Técnica del Ej. U 3.2: desarrollar por separado los dos miembros.)
- Alternativa por separado (como hace E). Suma: $f(x+y)=\big(2(x_1+y_1),\,3(x_1+y_1)+x_2+y_2,\,x_1+y_1+x_2+y_2\big)=f(x)+f(y)$. Escalares: $f(\lambda x)=(2\lambda x_1,\,3\lambda x_1+\lambda x_2,\,\lambda x_1+\lambda x_2)=\lambda f(x)$.
- D) $f$ es lineal, pero el espacio inicial $\mathbb R^2$ no coincide con el final $\mathbb R^3$: no es endomorfismo.
Resultado: $f$ es lineal y no es endomorfismo.
Nota sobre el libro. En C, E escribe la imagen de $x+y$ con cuatro componentes (la tercera repetida): errata tipográfica; debe tener tres.
Error típico: escribir directamente $f(x+\lambda y)=f(x)+\lambda f(y)$ como primer paso, y confundir «lineal» con «endomorfismo».
Teoría: Def. 3.1, U p.101 · Ej. U 3.2, U p.102
Ejercicio 3.3 — $f(x_1,x_2,x_3,x_4)=(x_1,1,x_3,1)$ no es endomorfismo E p.83
Compruébese que no es endomorfismo la aplicación $f(x_1,x_2,x_3,x_4)=(x_1,1,x_3,1)$.
- Qué me piden
- Probar que $f(x_1,x_2,x_3,x_4)=(x_1,1,x_3,1)$ no es endomorfismo.
- Cómo lo pienso
- Mismo espacio de partida y llegada: la única forma de no ser endomorfismo es no ser lineal. Hay constantes $1$ en dos componentes; el origen se irá a un punto distinto del origen.
- Qué uso
- Propiedad P1: si $f$ es lineal, $f(\bar0_V)=\bar0_W$. Si no se cumple, $f$ no es lineal.
- Por dónde empiezo
- Evalúo $f$ en el vector nulo.
- Espacios. Se sobreentiende $f:\mathbb R^4\to\mathbb R^4$ (el enunciado no lo dice). Como coinciden, la única forma de que no sea endomorfismo es que no sea lineal.
- Atajo. $f(0,0,0,0)=(0,1,0,1)\neq(0,0,0,0)$. Por P1 una aplicación lineal lleva el neutro al neutro: $f$ no es lineal (Ej. U 3.7).
- Por la definición (como E): $$\begin{gathered}f(x+\lambda y)=\cr\begin{pmatrix}x_1+\lambda y_1\cr1\cr{}x_3+\lambda y_3\cr1\end{pmatrix},\cr{}f(x)+\lambda f(y)=\cr\begin{pmatrix}x_1+\lambda y_1\cr1+\lambda\cr{}x_3+\lambda y_3\cr1+\lambda\end{pmatrix}.\end{gathered}$$ Las componentes 2.ª y 4.ª difieren en $\lambda$; con $\lambda=1$ no coinciden.
- Conclusión. Al no ser lineal, no es endomorfismo.
Resultado: $f$ no es lineal, luego no es endomorfismo.
Nota sobre el libro. El enunciado no indica los espacios y la solución del libro tiene un paréntesis de más («$1))$»), errata tipográfica. Además se pierde un «$\neq$»: la frase que describe lo que no se verifica, «$f(x)+\lambda f(y)=f(x+\lambda y)$», debe leerse con $\neq$.
Error típico: creer que como $x_2$ y $x_4$ «desaparecen» es una proyección lineal: las componentes constantes $1$ la estropean.
Teoría: Def. 3.1, U p.101 · P1, U p.103 · Ej. U 3.7, U p.104
Ejercicio 3.4 — $f(0)=0$ y qué igualdades con $5f(3,2)$ son ciertas E p.83
Siendo $f$ cualquier aplicación lineal de $\mathbb R^2$ en $\mathbb R^3$, se pide: A) Demostrar que $f(0,0)=(0,0,0)$. B) Comprobar si es cierta alguna de las igualdades: $5f(3,2)=f(15,2)$; $5f(3,2)=f(3,10)$; $5f(3,2)=f(15,10)$.
- Qué me piden
- Demostrar que $f(0,0)=(0,0,0)$ sin conocer $f$, y decidir cuáles de tres igualdades con $5f(3,2)$ son ciertas.
- Cómo lo pienso
- Solo sé que $f$ es lineal. Truco clásico: el cero es suma de sí mismo, $0=0+0$, y la linealidad lo traslada. Para las igualdades: la linealidad me deja sacar escalares, y $5(3,2)=(15,10)$, nada más.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Homogeneidad: $f(\lambda v)=\lambda f(v)$.
- Por dónde empiezo
- Uso $0=0\cdot v$ o $0=0+0$; en B comparo $5\cdot(3,2)$ con cada argumento.
- A) Idea. Solo sabemos que $f$ es lineal (no su fórmula), así que hay que usar la definición. Truco: el neutro es suma de sí mismo, $(0,0)=(0,0)+(0,0)$.
- Aplicar la linealidad ($\lambda=1$): $$f(0,0)=f\big((0,0)+(0,0)\big)=f(0,0)+f(0,0).$$
- Despejar. Sumando a ambos lados el opuesto $-f(0,0)\in\mathbb R^3$:
$$f(0,0)-f(0,0)=f(0,0)+f(0,0)-f(0,0)\ \Rightarrow\ (0,0,0)=f(0,0).$$
(Es la demostración del Ej. U 3.4.) Alternativa:
$$f(0,0)=f(0\cdot(1,1))=0\cdot f(1,1)=(0,0,0).$$ - B) Qué dice la linealidad. $f(\lambda y)=\lambda f(y)$, así que
$$5f(3,2)=f\big(5\cdot(3,2)\big)=f(15,10):$$
la tercera igualdad es siempre cierta.
- Las otras dos. $5(3,2)=(15,10)$ es distinto de $(15,2)$ y de $(3,10)$; la linealidad no obliga a que $f(15,2)$ o $f(3,10)$ valgan $5f(3,2)$. No son ciertas en general (el Ej. 3.5 da un $f$ concreto en que fallan). Matiz: para alguna $f$ particular (la nula) podrían cumplirse.
Resultado: $f(0,0)=(0,0,0)$; solo $5f(3,2)=f(15,10)$ es cierta en general.
Error típico: multiplicar por el escalar solo una componente del vector original, como si $f$ fuera «lineal en cada variable por separado».
Teoría: Def. 3.1, U p.101 · P1, U p.103 · Ej. U 3.4, U p.104 · opuesto (S3), U p.58
Ejercicio 3.5 — comprobar el 3.4 con la aplicación del 3.2 E p.84
Si $f$ es la aplicación lineal definida en el Ejercicio 3.2, se pide: comprobar que se verifican las respuestas dadas en el Ejercicio 3.4.
$f(x_1,x_2)=(2x_1,\,3x_1+x_2,\,x_1+x_2)$, lineal por el Ejercicio 3.2.
- Qué me piden
- Comprobar con la $f$ concreta del 3.2 lo que se dedujo en general en el 3.4.
- Cómo lo pienso
- Es una verificación: sé qué debe salir (una sola igualdad cierta). Si no sale, he cometido un error.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$.
- Por dónde empiezo
- Calculo $f$ en los cuatro vectores y comparo con $5f(3,2)$.
- (A) $f(0,0)=(0,0,0)$ ✓ (concuerda con P1).
- (B) Con la fórmula del Ej. 3.2: $$f(3,2)=(6,\ 9+2,\ 3+2)=(6,11,5)\ \Rightarrow\ 5f(3,2)=(30,55,25).$$
- Comparo con las tres imágenes: $$f(15,2)=(30,\ 45+2,\ 17)=(30,47,17)\neq(30,55,25),$$ $$f(3,10)=(6,\ 9+10,\ 13)=(6,19,13)\neq(30,55,25),$$ $$f(15,10)=(30,\ 45+10,\ 25)=(30,55,25)=5f(3,2)\ ✓$$
- Solo la tercera, como se predijo.
Resultado: se confirma lo del Ej. 3.4.
Nota sobre el libro. En el texto digital de E los «$\neq$» de los pasos 3 y 4 aparecen como «$=$» (símbolo perdido); la frase del libro («No es cierto») confirma que son desigualdades.
Error típico: un solo caso numérico que cumple la igualdad no demuestra linealidad: un ejemplo confirma, solo un contraejemplo refuta.
Teoría: Def. 3.1, U p.101 · P1, U p.103
Ejercicio 3.6 — verdadero/falso con la aplicación no lineal del 3.3 E p.84
Si $f$ es la aplicación del Ejercicio 3.3, se pide responder verdadero o falso a las siguientes cuestiones: A) Se tiene que verificar $f(0,0,0,0)=(0,0,0,0)$. B) Se tiene que verificar $f(5(2,3,1,0))=5f(2,3,1,0)$. C) Se tiene que verificar $f(2,3,1,0)=f(1,2,1,0)+f(1,1,0,0)$.
Aquí $f(x_1,x_2,x_3,x_4)=(x_1,1,x_3,1)$, que no es lineal (Ej. 3.3). Por tanto ninguna propiedad «tiene que verificarse»: se comprueba calculando.
- Qué me piden
- Responder verdadero o falso a tres propiedades con la aplicación no lineal del 3.3.
- Cómo lo pienso
- Como $f$ no es lineal, espero que falle lo que las lineales cumplen: $f(0)=0$, homogeneidad, aditividad. Basta ver cuál falla y cómo.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Propiedad P1: si $f$ es lineal, $f(\bar0_V)=\bar0_W$. Si no se cumple, $f$ no es lineal.
- Por dónde empiezo
- Calculo cada miembro con la fórmula y los comparo.
- (A) Falsa. $$f(0,0,0,0)=(0,1,0,1)\neq(0,0,0,0).$$
- (B) Falsa.
$$f(5(2,3,1,0))=f(10,15,5,0)=(10,1,5,1),$$
$$5f(2,3,1,0)=5(2,1,1,1)=(10,5,5,5).$$
Distintos.
- (C) Falsa. $(2,3,1,0)=(1,2,1,0)+(1,1,0,0)$, pero
$$f(2,3,1,0)=(2,1,1,1),$$
$$f(1,2,1,0)+f(1,1,0,0)=(1,1,1,1)+(1,1,0,1)=(2,2,1,2).$$
Distintos.
- Lectura. Son las tres propiedades de una lineal (P1, conserva escalares, conserva sumas) y las tres fallan: cualquiera de ellas, por sí sola, demuestra que $f$ no es lineal.
Resultado: A, B y C son falsas.
Nota sobre el libro. Mismo problema de «$\neq$» perdido en la extracción del texto.
Error típico: responder «verdadero» por reflejo porque «las aplicaciones cumplen $f(0)=0$»: eso solo vale para las lineales.
Teoría: Def. 3.1, U p.101 · P1, U p.103
Ejercicio 3.7 — $f(x)=(x,1,-x)$: suma, escalares, neutro, lineal E p.85
Si $f:\mathbb R\to\mathbb R^3$ es la aplicación $f(x)=(x,1,-x)$, se pide comprobar si $f$ verifica: A) Conserva la suma de vectores. B) Conserva el producto de escalar por vector. C) Transforma el neutro de $(\mathbb R,+)$ en el neutro de $(\mathbb R^3,+)$. D) Es una aplicación lineal. E) Ninguna de las anteriores.
- Qué me piden
- Para $f(x)=(x,1,-x)$, comprobar cuatro propiedades.
- Cómo lo pienso
- La segunda componente es constante $1$: en la suma aparecerá $1+1=2$, el producto dará $\lambda$ frente a $1$, y el cero irá al $(0,1,0)$.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Propiedad P1: si $f$ es lineal, $f(\bar0_V)=\bar0_W$. Si no se cumple, $f$ no es lineal.
- Por dónde empiezo
- Pruebo cada propiedad por separado con valores genéricos.
- (A) Suma.
$$f(x+y)=(x+y,\ 1,\ -x-y),$$
$$f(x)+f(y)=(x,1,-x)+(y,1,-y)=(x+y,\ 2,\ -x-y).$$
La 2.ª componente es $1$ frente a $2$: no conserva la suma (para ningún par $x,y$).
- (B) Escalares.
$$f(\lambda x)=(\lambda x,\ 1,\ -\lambda x),\qquad\lambda f(x)=(\lambda x,\ \lambda,\ -\lambda x).$$
Coinciden solo si $\lambda=1$; si $\lambda\neq1$ (p. ej. $\lambda=2$) son distintos: no conserva el producto.
- (C) Neutro.
$$f(0)=(0,1,0)\neq(0,0,0):$$
no lleva el neutro al neutro.
- (D) Una aplicación lineal cumple las tres anteriores (suma: $\lambda=1$ en la definición; neutro: P1). Como fallan, no es lineal; bastaría una cualquiera (por ejemplo C, Ej. U 3.7).
- (E) Como A, B, C y D son falsas, la correcta es E.
Resultado: la respuesta es E.
Nota sobre el libro. En el texto digital la frase «Si $\lambda=1\Rightarrow\lambda f(x)=f(\lambda x)$» contradice lo que sigue: es «si $\lambda\neq1$»; el «$\neq$» se perdió, igual que en A y C.
Error típico: comprobar el producto por escalares solo con $\lambda=1$ y concluir que sí se conserva: hay que mirar todos los $\lambda$.
Teoría: Def. 3.1, U p.101 · conserva suma y escalares, U p.103 · P1, U p.103 · Ej. U 3.7, U p.104
Ejercicio 3.8 — $f(x)=(x,0,-x)$ es lineal E p.86
Compruébese que la aplicación $f:\mathbb R\to\mathbb R^3$, tal que $f(x)=(x,0,-x)$, es lineal.
- Qué me piden
- Probar que $f(x)=(x,0,-x)$ es lineal.
- Cómo lo pienso
- Cada componente es un múltiplo de $x$ (o $0$): lineal sin duda. Hay que escribirlo.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$.
- Por dónde empiezo
- Tomo $x,y,\lambda$ genéricos y comparo $f(x+\lambda y)$ con $f(x)+\lambda f(y)$.
- Datos genéricos. $x,y\in\mathbb R$ (los vectores del espacio inicial son números reales) y $\lambda\in\mathbb R$.
- Primer miembro. $f(x+\lambda y)=\big(x+\lambda y,\ 0,\ -(x+\lambda y)\big)=(x+\lambda y,\ 0,\ -x-\lambda y)$.
- Segundo miembro. $$\begin{gathered}f(x)+\lambda f(y)=(x,0,-x)\cr+\lambda(y,0,-y)\cr=(x+\lambda y,\ 0+\lambda\cdot0,\cr-x-\lambda y)\cr=(x+\lambda y,\ 0,\ -x-\lambda y).\end{gathered}$$ Clave: la 2.ª componente es $0+\lambda\cdot0=0$.
- Comparación. Coinciden para todo $x,y,\lambda$: por la Def. 3.1, $f$ es lineal.
Resultado: $f$ es lineal.
Nota sobre el libro. E dice «es evidente» y omite el paso 3; en el examen hay que escribirlo.
Error típico: despachar con «es evidente»: en el examen «los resultados que no estén debidamente justificados no podrán ser valorados».
Teoría: Def. 3.1, U p.101
Ejercicio 3.9 — verdadero/falso «sin hacer operaciones» (traslación, endomorfismo, $f(0)$) E p.86
Sin hacer operaciones, se pide responder verdadero o falso a las siguientes afirmaciones: A) La aplicación $f:\mathbb R^2\to\mathbb R^2$, tal que $f(x_1,x_2)=(x_1+2,x_2)$, es lineal. B) $f$ es un endomorfismo de $\mathbb R^2$. C) En algún endomorfismo de $\mathbb R^2$ puede ocurrir $f(0)\neq0$. D) Con MAXIMA se puede saber si una aplicación dada es lineal.
- Qué me piden
- Cuatro afirmaciones rápidas sobre una traslación y los endomorfismos.
- Cómo lo pienso
- «Sin hacer operaciones»: la clave es que todo lineal manda $0$ a $0$. La aplicación dada suma un $2$ constante: mueve el origen.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Propiedad P1: si $f$ es lineal, $f(\bar0_V)=\bar0_W$. Si no se cumple, $f$ no es lineal.
- Por dónde empiezo
- Uso $f(0)=0$ en las tres primeras; la cuarta es de Maxima y no entra.
- (A) Falsa. $f(0,0)=(2,0)\neq(0,0)$; por P1 y el Ej. U 3.7, $f$ no es lineal. Es una traslación de vector $(2,0)$: mueve el origen.
- (B) Falsa. Aunque $V=W=\mathbb R^2$, un endomorfismo debe ser lineal, y por A no lo es.
- (C) Falsa. Un endomorfismo es, en particular, lineal, y toda aplicación lineal cumple $f(0)=0$ (P1). En ningún endomorfismo ocurre $f(0)\neq0$.
- (D) Trata de Maxima, que no entra en examen: E la da por cierta (encadenando varias instrucciones) y U p.104 dice al margen que Maxima «no tiene ninguna instrucción que determine si una aplicación es lineal»; no se contradicen (no hay una instrucción específica). No se desarrolla.
Resultado: A falsa, B falsa, C falsa (D, fuera de examen).
Nota sobre el libro. En el texto digital A y C pierden el «$\neq$» (aparecen como «$f(0,0)=(2,0)=(0,0)$» y «$f(0)=(0)$»).
Error típico: pensar que una traslación $x\mapsto x+c$ es lineal porque «conserva la forma» de las figuras: no conserva el origen.
Teoría: P1, U p.103 · Ej. U 3.7 y nota de Maxima, U p.104
Ejercicio 3.10 — $f$ fijada por $f(1,0)$ y $f(0,1)$: imágenes y plano que las contiene E p.87
Si $f:\mathbb R^2\to\mathbb R^3$ es una aplicación lineal que verifica $f(1,0)=(1,2,0)$ y $f(0,1)=(0,3,1)$, se pide comprobar si es cierto que: A) $f(5,7)=(5,31,7)$. B) $f(1,1)=(1,0,1)$. C) Las imágenes de todos los vectores de $\mathbb R^2$ están en el plano de ecuación $2x_1-x_2+3x_3=0$. D) Ninguna de las anteriores.
- Qué me piden
- Conocidas $f(1,0)$ y $f(0,1)$, calcular imágenes y ver dónde caen.
- Cómo lo pienso
- Una lineal queda determinada por las imágenes de una base; con la canónica es inmediato. Para la afirmación del plano, tengo que ver si toda imagen cumple su ecuación.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$.
- Por dónde empiezo
- Escribo cada vector como combinación de $(1,0),(0,1)$; para el plano, fórmula general de $f(a,b)$.
- Base conocida. $\{(1,0),(0,1)\}$ es la base canónica de $\mathbb R^2$ y conocemos las imágenes de sus dos vectores.
- (A) $(5,7)=5(1,0)+7(0,1)$. Por P3:
$$f(5,7)=5(1,2,0)+7(0,3,1)=(5,\ 10+21,\ 7)=(5,31,7).$$
Cierta.
- (B) $(1,1)=1(1,0)+1(0,1)$, luego
$$f(1,1)=(1,2,0)+(0,3,1)=(1,5,1)\neq(1,0,1).$$
Falsa.
- (C) Fórmula general. Para $(a,b)\in\mathbb R^2$:
$$f(a,b)=a(1,2,0)+b(0,3,1)=(a,\ 2a+3b,\ b).$$
Llamando $(x_1,x_2,x_3)$ a la imagen: $x_1=a$, $x_2=2a+3b$, $x_3=b$.
- Sustituir en el plano:
$$2x_1-x_2+3x_3=2a-(2a+3b)+3b=0\quad\text{para todos }a,b.$$
Luego toda imagen está en el plano: Cierta.
- (D) Falsa, porque A y C son ciertas.
Resultado: son ciertas A y C.
Error típico: en C, comprobar solo con uno o dos vectores: hay que verificarlo para el vector genérico $(a,b)$. (C es un anticipo de la imagen, tema 3.2.)
Teoría: P3, U p.103 · base canónica y coordenadas, U p.82-85 (Def. 2.9, 2.10) · Teor. 3.2, U p.114
Ejercicio 3.11 — endomorfismo de $\mathbb R^2$ dado en una base no canónica: $f(3,-1)$ E p.88
Si $f$ es un endomorfismo de $\mathbb R^2$, tal que $f(1,1)=(1,4)$ y $f(2,-1)=(-2,3)$, se pide: A) Calcular la imagen de $(3,-1)$. B) Comprobar que $f(0,0)=(0,0)$.
- Qué me piden
- Calcular $f(3,-1)$ sabiendo $f$ en una base no canónica.
- Cómo lo pienso
- Primero hay que asegurarse de que los dos vectores dados son base; después expreso $(3,-1)$ en esa base y aplico linealidad.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$. Necesita que los vectores dados sean una base (libres).
- Por dónde empiezo
- Determinante para la base, sistema $2\times2$ para los coeficientes y combino las imágenes.
- ¿Es $B=\{(1,1),(2,-1)\}$ base de $\mathbb R^2$? (E lo afirma sin justificar.) Son 2 vectores en un espacio de dimensión 2: basta que sean libres (Teor. 2.6). Si $\alpha(1,1)+\beta(2,-1)=(0,0)$:
$$\alpha+2\beta=0,\qquad\alpha-\beta=0\ \Rightarrow\ \beta=0,\ \alpha=0.$$
Libres, luego base. Equivalente:
$$\begin{vmatrix}1&2\\1&-1\end{vmatrix}=-3\neq0.$$ - Coordenadas de $(3,-1)$ en $B$. Buscamos $\alpha,\beta$ con $(3,-1)=\alpha(1,1)+\beta(2,-1)$:
$$\begin{aligned}\alpha+2\beta&=3\\\alpha-\beta&=-1\end{aligned}$$
Restando la 2.ª a la 1.ª, $3\beta=4$, o sea $\beta=\tfrac43$; entonces $\alpha=\beta-1=\tfrac13$. Comprobación:
$$\tfrac13+\tfrac83=3\ ✓,\qquad\tfrac13-\tfrac43=-1\ ✓$$ - Aplicar P3:
$$\begin{aligned}f(3,-1)&=\tfrac13f(1,1)+\tfrac43f(2,-1)\\&=\tfrac13(1,4)+\tfrac43(-2,3)\\&=\left(\tfrac13-\tfrac83,\ \tfrac43+4\right)\\&=\left(-\tfrac73,\ \tfrac{16}3\right).\end{aligned}$$
Comprobación independiente: de la misma forma $f(1,0)=\left(-\tfrac13,\tfrac73\right)$ y $f(0,1)=\left(\tfrac43,\tfrac53\right)$, y
$$3f(1,0)-f(0,1)=\left(-\tfrac73,\ \tfrac{16}3\right)\ ✓$$ - B) $f$ es lineal (es endomorfismo), luego por P1 $f(0,0)=(0,0)$. Directamente: $(0,0)=0\cdot(1,1)$, así que $$f(0,0)=0\cdot f(1,1)=(0,0).$$
Resultado: $f(3,-1)=\left(-\tfrac73,\tfrac{16}3\right)$ y $f(0,0)=(0,0)$.
Nota sobre el libro. E no justifica que $B$ sea base, y en B usa $f(1,0)$ y $f(0,1)$, que el enunciado no da (vale porque van multiplicados por 0, pero es más limpio usar un vector cuya imagen se conoce).
Error típico: usar las componentes $3,-1$ como coeficientes: $3f(1,1)-f(2,-1)$ está mal. Primero hay que pasar a coordenadas en $B$.
Teoría: P1, P3, U p.103 · independencia, U p.74 · Teor. 2.6, U p.88 · Def. 2.10 (coordenadas), U p.85
Ejercicio 3.12 — $f$ conocida en una base: ¿se conoce todo?, ¿es $\operatorname{Im}f=\mathbb R^3$? E p.89
Si $f:\mathbb R^2\to\mathbb R^3$ es una aplicación lineal en la que se conocen las imágenes de los elementos de una base de $\mathbb R^2$, se pide analizar si es correcta alguna de las afirmaciones siguientes: A) Es posible obtener la imagen de cualquier vector de $\mathbb R^2$. B) Cualquier vector de $\mathbb R^3$ tiene un original en $\mathbb R^2$. C) $\operatorname{Im}(f)$ es $\mathbb R^3$. D) Ninguna de las anteriores.
- Qué me piden
- Qué se puede afirmar de una lineal $\mathbb R^2\to\mathbb R^3$ conocida en una base.
- Cómo lo pienso
- Conocer la imagen de una base basta para todos los vectores. Pero desde un espacio de dimensión 2 es imposible llenar uno de dimensión 3.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$. Una aplicación $\mathbb R^2\to\mathbb R^3$ no puede ser sobreyectiva (la imagen tiene dimensión $\le2$).
- Por dónde empiezo
- Propiedad 3 para A; argumento de dimensión para B y C.
- (A) Correcta. Sea $\{e_1,e_2\}$ la base cuyas imágenes conocemos. Todo $v\in\mathbb R^2$ se escribe $v=a_1e_1+a_2e_2$ (la base es generadora; las coordenadas son únicas, Def. 2.9-2.10). Por P3, $f(v)=a_1f(e_1)+a_2f(e_2)$: calculable con los datos. Vale para cualquier base (el Ej. 3.11 lo hace con una no canónica).
- (B) Falsa. Por el paso anterior, toda imagen es combinación lineal de dos vectores $f(e_1),f(e_2)$ de $\mathbb R^3$. El conjunto de esas combinaciones tiene dimensión $\le2$ (Teor. 2.5), y $\mathbb R^3$ tiene dimensión 3: siempre hay vectores de $\mathbb R^3$ sin original. Contraejemplo concreto (el de E): la aplicación nula $f(x_1,x_2)=(0,0,0)$, que es lineal y en la que solo $(0,0,0)$ tiene original.
- (C) Falsa. $\operatorname{Im}(f)=\{w\in\mathbb R^3: w=f(v)\text{ para algún }v\}$ (Def. 3.2, U p.106, tema 3.2). Decir $\operatorname{Im}f=\mathbb R^3$ es lo mismo que B. Matiz que E omite: la afirmación falla para toda $f:\mathbb R^2\to\mathbb R^3$ lineal, no solo para la nula.
- (D) Falsa, porque A es correcta.
Resultado: solo A es correcta.
Error típico: confundir «conocer $f$ en todo $V$» (A, cierto) con «$f$ llega a todo $W$» (B/C): son cosas distintas.
Teoría: P3, U p.103 · Def. 2.9-2.10, U p.82-85 · Teor. 2.5, U p.88 · (adelanto) Def. 3.2, U p.106 y Teor. 3.2, U p.114
Ejercicio 3.13 — $f(0)=0$, $f(-x)=-f(x)$, $f(x-y)$ y $f(S)$ subespacio E p.90
Si $f$ es un endomorfismo de $V$, se pide justificar si son ciertas o falsas las afirmaciones siguientes: A) Es falso que $f(0)=0$, con $0\in V$. B) Es falso que $f(-x)=-f(x)$, con $x\in V$. C) Es falso que $f(x)=f(y)\Rightarrow f(x-y)=0$, con $x,y,0\in V$. D) Si $S$ es subespacio de $V$, entonces $f(S)$ es subespacio de $V$.
Ojo con la lógica: A, B y C afirman «es falso que …». Si lo de dentro es cierto, la afirmación es falsa (negación de una verdad).
- Qué me piden
- Cuatro afirmaciones teóricas sobre endomorfismos.
- Cómo lo pienso
- Hay que demostrarlas con elementos genéricos. Las tres primeras son consecuencias directas de la definición. La imagen de un subespacio es un subespacio: usaré la caracterización de subespacio.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Propiedad P1: si $f$ es lineal, $f(\bar0_V)=\bar0_W$. Si no se cumple, $f$ no es lineal. Consecuencias: $f(-x)=-f(x)$, $f(x-y)=f(x)-f(y)$; la imagen de un subespacio es subespacio.
- Por dónde empiezo
- Argumento para cada una con $x,y,\lambda$ genéricos.
- (A) Falsa, porque $f(0)=0$ es cierto: $$f(0)=f(0\cdot x)=0\cdot f(x)=0\quad\text{(P1)}.$$
- (B) Falsa, porque $f(-x)=-f(x)$ es cierto:
$$f(-x)=f((-1)x)=(-1)f(x)=-f(x)\quad\text{(P2)}.$$
Se usa que $(-1)x$ es el opuesto de $x$:
$$x+(-1)x=(1+(-1))x=0\cdot x=0$$(E2 y E4, U p.58; $0\cdot x=0$, U p.74).
- (C) Falsa, porque la implicación es cierta: $x-y=x+(-1)y$ y, por la Def. 3.1 con $\lambda=-1$,
$$f(x-y)=f(x)-f(y).$$
Si $f(x)=f(y)$, esto vale $0$.
- (D) Cierta. Por definición $f(S)=\{f(s): s\in S\}$ (el conjunto de las imágenes) y, como $f:V\to V$, $f(S)\subseteq V$. Usamos la caracterización de subespacio (2.2, U p.66): no vacío y cerrado para $w_1+\lambda w_2$.
- No vacío: $0\in S$ (todo subespacio contiene al neutro), luego $f(0)=0\in f(S)$.
- Cerrado: sean $w_1,w_2\in f(S)$ y $\lambda\in\mathbb R$. Por definición de $f(S)$ existen $x,y\in S$ con $w_1=f(x)$, $w_2=f(y)$. Entonces $$w_1+\lambda w_2=f(x)+\lambda f(y)=f(x+\lambda y),$$ y $x+\lambda y\in S$ porque $S$ es subespacio. Luego $w_1+\lambda w_2$ es la imagen de un vector de $S$: está en $f(S)$.
Por tanto $f(S)$ es subespacio.
Resultado: A, B y C falsas; D cierta.
Nota sobre el libro. En D, E escribe solo «$f(x+\lambda y)=f(x)+\lambda f(y)\in f(S)$» sin decir que $x+\lambda y\in S$ ni comprobar que $f(S)\neq\emptyset$.
Error típico: contestar «verdadero» a «es falso que $f(0)=0$» por leer solo la fórmula; y, en D, olvidar decir que $x+\lambda y\in S$: es justo ahí donde se usa que $S$ es subespacio.
Teoría: P1, P2, U p.103 · Def. 2.2 y caracterización (2.2), U p.62 y p.66 · $0\cdot v=0$, U p.74 · (anticipo: imagen de un subespacio, tema 3.2)
Ejercicio 3.14 — proyección $f(x_1,x_2,x_3)=(x_1,x_2)$: ¿se conserva la independencia? E p.91
Si $f$ es la aplicación lineal $f(x_1,x_2,x_3)=(x_1,x_2)$, se pide decir si son ciertas o falsas las implicaciones siguientes: A) $\{x,y\}$ libre $\Rightarrow\{f(x),f(y)\}$ libre. B) $\{f(x),f(y)\}$ ligado $\Rightarrow\{x,y\}$ ligado. C) $\{f(x),f(y)\}$ libre $\Rightarrow\{x,y\}$ libre. D) Ninguna de las anteriores.
($f$ es la proyección de $\mathbb R^3$ sobre el plano $x_1x_2$: «olvida» la tercera coordenada.)
- Qué me piden
- Decidir si una proyección conserva la independencia lineal.
- Cómo lo pienso
- La proyección «borra» una coordenada: vectores que difieren solo en esa coordenada tendrán la misma imagen y pasarán a ser dependientes.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Libre: $\lambda x+\mu y=0\Rightarrow\lambda=\mu=0$.
- Por dónde empiezo
- Busco un contraejemplo con dos vectores que solo difieran en la tercera componente.
- (A) Falsa. Contraejemplo: $x=(0,1,0)$, $y=(0,1,1)$. Son libres:
$$\lambda x+\mu y=(0,\ \lambda+\mu,\ \mu)=0\ \Rightarrow\ \mu=0,\ \lambda=0.$$
Sus imágenes $f(x)=(0,1)$ y $f(y)=(0,1)$ son iguales, luego ligadas:
$$1\cdot f(x)-1\cdot f(y)=0.$$Es P5 (como el Ej. U 3.6).
- (B) Falsa. El mismo ejemplo: $\{f(x),f(y)\}$ ligado y $\{x,y\}$ libre. B es la recíproca de P4, y la recíproca de una implicación cierta no tiene por qué serlo.
- (C) Cierta, para cualquier aplicación lineal. C es la contrarrecíproca de P4 (apartado «La contrarrecíproca de P4» de §3). Prueba directa: supongamos $\{f(x),f(y)\}$ libre y sea $\lambda x+\mu y=0$. Aplicando $f$ y usando la linealidad y P1:
$$\lambda f(x)+\mu f(y)=f(\lambda x+\mu y)=f(0)=0.$$
Como $\{f(x),f(y)\}$ es libre, $\lambda=\mu=0$: $\{x,y\}$ es libre. (E lo hace con coordenadas; este argumento es más general y no depende de la fórmula de $f$.)
- (D) Falsa, porque C es cierta.
Resultado: solo C es cierta.
Error típico: creer que una aplicación lineal conserva la independencia (solo si $f$ es inyectiva, $\operatorname{Nuc}f=\{0\}$, tema 3.2; si no, unos libres se conservan y otros no, como se ve en A y B), y confundir la recíproca (B) con la contrarrecíproca (C) de P4.
Teoría: P1, P4, P5, U p.103 · Ej. U 3.5-3.6, U p.104 · Def. 2.5-2.6, U p.73-74
Ejemplos propios, de dificultad creciente
Ejemplo propio 1 (fácil) — ¿lineal o no? $g(x,y)=(x+y,\,2x-y)$ y $h(x,y)=(x+y,\,xy)$ P
¿Son lineales $g,h:\mathbb R^2\to\mathbb R^2$, $g(x,y)=(x+y,\ 2x-y)$ y $h(x,y)=(x+y,\ xy)$?
- Qué me piden
- Decidir si dos aplicaciones de $\mathbb R^2$ en $\mathbb R^2$ son lineales.
- Cómo lo pienso
- En la primera todo es lineal. En la segunda hay un producto $xy$ (grado 2): al multiplicar por un escalar saldrá $\lambda^2$.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$.
- Por dónde empiezo
- Compruebo las dos condiciones en la primera; en la segunda busco un contraejemplo numérico.
- $g$. Con $u=(x,y)$, $v=(x',y')$: $$\begin{gathered}g(u+\lambda v)=\cr\begin{pmatrix}x+y+\lambda(x'+y')\cr2x-y+\lambda(2x'-y')\end{pmatrix},\cr{}g(u)+\lambda g(v)=\cr\begin{pmatrix}x+y\cr2x-y\end{pmatrix}+\lambda\begin{pmatrix}x'+y'\cr2x'-y'\end{pmatrix}\cr=\cr\begin{pmatrix}x+y+\lambda(x'+y')\cr2x-y+\lambda(2x'-y')\end{pmatrix}.\end{gathered}$$ Las dos componentes coinciden: lineal (Def. 3.1) y además endomorfismo ($\mathbb R^2\to\mathbb R^2$).
- $h$. $h(0,0)=(0,0)$: el atajo de P1 no decide. Probamos escalares con $\lambda=2$, $u=(1,1)$: $h(2,2)=(4,4)$, pero $2h(1,1)=2(2,1)=(4,2)$. Distintos: no lineal. El culpable es el producto $xy$ (al multiplicar por $\lambda$ sale $\lambda^2xy$).
Ejemplo propio 2 (medio) — determinar $f$ por una base no canónica: $f(x,y)$ y $f(2,4)$ P
$f:\mathbb R^2\to\mathbb R^3$ es lineal con $f(1,1)=(2,0,2)$ y $f(1,-1)=(0,2,4)$. Halla $f(x,y)$ y $f(2,4)$.
- Qué me piden
- Determinar $f(x,y)$ a partir de dos imágenes en una base no canónica.
- Cómo lo pienso
- Pido expresar un vector genérico $(x,y)$ en la base dada: eso me da los coeficientes en función de $x,y$ y de ahí la fórmula.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$.
- Por dónde empiezo
- Resuelvo $(x,y)=a(1,1)+b(1,-1)$ y aplico linealidad.
- Base. $\begin{vmatrix}1&1\cr1&-1\end{vmatrix}=-2\neq0$: libre y, al ser 2 vectores en $\mathbb R^2$, base (Teor. 2.6).
- Coordenadas. $(x,y)=a(1,1)+b(1,-1)$: $a+b=x$, $a-b=y\Rightarrow a=\tfrac{x+y}2$, $b=\tfrac{x-y}2$.
- P3. $$\begin{aligned}f(x,y)&=\tfrac{x+y}2(2,0,2)\cr&\quad+\tfrac{x-y}2(0,2,4)\cr&=\big(x+y,\ x-y,\cr&\qquad(x+y)+2(x-y)\big)\cr&=(x+y,\ x-y,\ 3x-y).\end{aligned}$$
- Comprobación. $f(1,1)=(2,0,2)$ ✓, $f(1,-1)=(0,2,4)$ ✓. Y $f(2,4)=(6,-2,2)$.
Ejemplo propio 3 (tipo examen) — traza, determinante y datos incompatibles P
(a) ¿Son lineales $t,d:\mathcal M_{2\times2}\to\mathbb R$, $t(A)=a_{11}+a_{22}$ (traza) y $d(A)=\det A$? (b) ¿Existe una aplicación lineal $f:\mathbb R^2\to\mathbb R^2$ con $f(1,2)=(1,0)$ y $f(2,4)=(3,1)$?
- Qué me piden
- Linealidad de traza y determinante; existencia de $f$ con dos datos.
- Cómo lo pienso
- La traza suma las entradas diagonales: lineal. El determinante es de grado 2 en las entradas: no. En (b) observo que un dato es múltiplo del otro vector: la linealidad impondría una relación entre las imágenes.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Si $v_2=\lambda v_1$ entonces $f(v_2)=\lambda f(v_1)$ para cualquier $f$ lineal.
- Por dónde empiezo
- Compruebo la traza, busco un contraejemplo para el determinante y miro si $(2,4)=2(1,2)$ obliga a algo.
- (a) Traza: sí. $\mathcal M_{2\times2}$ es espacio vectorial (U p.62). La diagonal de $A+\lambda B$ es $a_{11}+\lambda b_{11}$, $a_{22}+\lambda b_{22}$, luego
$$t(A+\lambda B)=(a_{11}+a_{22})+\lambda(b_{11}+b_{22})=t(A)+\lambda t(B).$$
Lineal.
- (a) Determinante: no. $d(0)=0$, así que P1 no decide. Escalares:
$$d(2I_2)=\begin{vmatrix}2&0\\0&2\end{vmatrix}=4,\qquad2\,d(I_2)=2.$$
No lineal (en orden 2, $\det(\lambda A)=\lambda^2\det A$).
- (b) No existe. $(2,4)=2(1,2)$: los dos vectores son ligados. Si $f$ fuera lineal,
$$f(2,4)=2f(1,2)=(2,0)\neq(3,1).$$
Los datos son incompatibles con la linealidad.
6Ejemplos de examen X
Preguntas de exámenes de otros años que caen en este tema (los 24 exámenes disponibles han sido revisados). Las soluciones oficiales son muy breves; aquí se desarrolla el razonamiento completo (el examen puntúa el proceso) y se señalan sus omisiones. Se agrupan por método: A (imagen de un vector conocida la de otros: es la pregunta estrella, cae casi todos los años) y B (¿es lineal?). La pregunta de Feb. 2024 (1.ª sem.), p.3 («¿la imagen de todo vector está en un plano?», que se resuelve con la misma P3) se desarrolla en el tema 3.2.
Método A — escribir el vector como combinación lineal de aquellos cuya imagen se conoce
Feb. 2019 (tipo B), ejercicio 3 — $f(1,2)=(2,3)$, $f(2,1)=(1,1)$: calcular $f(1,1)$ X Feb. 2019 (B)
Si $f$ es una aplicación lineal tal que $f(1,2)=(2,3)$ y $f(2,1)=(1,1)$, calcular el valor de $f(1,1)$.
- Qué me piden
- Calcular $f(1,1)$ sabiendo $f(1,2)$ y $f(2,1)$.
- Cómo lo pienso
- Dos vectores independientes de $\mathbb R^2$ forman base. Escribo $(1,1)$ como combinación de ellos y aplico la linealidad.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$.
- Por dónde empiezo
- Sistema $2\times2$ y combinación de imágenes.
- Qué sabemos y qué no. Solo conocemos la imagen de dos vectores; no tenemos fórmula de $f$. Lo único utilizable es que $f$ es lineal (Def. 3.1) y su consecuencia P3 (U p.103).
- Combinación lineal. Buscamos $\alpha,\beta$ con $\alpha(1,2)+\beta(2,1)=(1,1)$:
$$\begin{aligned}\alpha+2\beta&=1\\2\alpha+\beta&=1\end{aligned}$$
Restando la 2.ª a la 1.ª, $-\alpha+\beta=0$, o sea $\alpha=\beta$; sustituyendo, $3\alpha=1$, así que $\alpha=\beta=\tfrac13$. Comprobación:
$$\tfrac13(1,2)+\tfrac13(2,1)=\tfrac13(3,3)=(1,1)\ ✓$$(Hay solución porque $\begin{vmatrix}1&2\\2&1\end{vmatrix}=-3\neq0$: son base de $\mathbb R^2$.)
- Linealidad (P3 con $n=2$): $$\begin{aligned}f(1,1)&=f\!\left(\tfrac13(1,2)+\tfrac13(2,1)\right)\\&=\tfrac13f(1,2)+\tfrac13f(2,1)\\&=\tfrac13(2,3)+\tfrac13(1,1)\\&=\tfrac13(3,4)=\left(1,\tfrac43\right).\end{aligned}$$
Resultado: $f(1,1)=\left(1,\tfrac43\right)$.
Sobre la solución oficial. Correcta, sin errata; solo que no muestra de dónde salen los coeficientes $\tfrac13$.
Error típico: «sumar los datos» sin más: $f(1,2)+f(2,1)=(3,4)$ es $f(3,3)$, no $f(1,1)$. Otro: creer que hace falta la fórmula de $f$ (o la matriz); no hace falta.
Feb. 2024 (2.ª sem.), pregunta 3 — $f:\mathbb R^2\to\mathbb R^4$, calcular $f(0,42)$ X Feb. 2024 (2.ª) P3
Sea $f:\mathbb R^2\to\mathbb R^4$ una aplicación lineal tal que $f(1,3)=(4,-6,0,7)$ y $f(-4,2)=(1,-1,0,2)$. Halle $f(0,42)$.
- Qué me piden
- Calcular $f(0,42)$ sabiendo $f(1,3)$ y $f(-4,2)$.
- Cómo lo pienso
- Igual idea: el vector pedido es combinación de los dos conocidos.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$.
- Por dónde empiezo
- Sistema $2\times2$ y combino las imágenes.
- Combinación lineal. Buscamos $\alpha,\beta$ con $\alpha(1,3)+\beta(-4,2)=(0,42)$:
$$\begin{aligned}\alpha-4\beta&=0\\3\alpha+2\beta&=42\end{aligned}$$
De la 1.ª, $\alpha=4\beta$. En la 2.ª:
$$12\beta+2\beta=14\beta=42\ \Rightarrow\ \beta=3,\quad\alpha=12.$$Comprobación:
$$12(1,3)+3(-4,2)=(12-12,\ 36+6)=(0,42)\ ✓$$ - Linealidad (P3): $$f(0,42)=12f(1,3)+3f(-4,2)=12(4,-6,0,7)+3(1,-1,0,2)$$ $$=(48+3,\ -72-3,\ 0,\ 84+6)=(51,\ -75,\ 0,\ 90).$$
Resultado: $f(0,42)=(51,-75,0,90)$.
Sobre la solución oficial. Correcta; da directamente los coeficientes $12$ y $3$ sin el sistema que los produce (en el examen hay que escribirlo: «lo que no se justifica no se puntúa»).
Error típico: intentar «dividir»: $(0,42)$ no es múltiplo de ninguno de los dos vectores dados; hay que combinar los dos. Y equivocarse de orden: los coeficientes salen de los originales $(1,3)$, $(-4,2)$ y se aplican a las imágenes.
Feb. 2025 (2.ª sem.), pregunta 3 — $f:\mathbb R^2\to\mathcal M_{2\times2}$, calcular $f(-7,0)$ X Feb. 2025 (2.ª) P3
Sea $f:\mathbb R^2\to\mathcal M_{2\times2}$ una aplicación lineal tal que $f(5,1)=\begin{pmatrix}1&3\cr-2&4\end{pmatrix}$ y $f(3,2)=\begin{pmatrix}0&1\cr7&-2\end{pmatrix}$. Halle $f(-7,0)$.
- Qué me piden
- Calcular $f(-7,0)$ cuando $f$ da matrices.
- Cómo lo pienso
- Que el espacio de llegada sea de matrices no cambia nada: la linealidad vale igual.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$. Las matrices $2\times2$ forman un espacio vectorial.
- Por dónde empiezo
- Combinación en $\mathbb R^2$ y suma de matrices.
- Los «vectores» de llegada son matrices, pero no cambia nada: $\mathcal M_{2\times2}$ es un espacio vectorial (U §2.1) y P3 vale para cualquier $W$.
- Combinación lineal en $\mathbb R^2$. $\alpha(5,1)+\beta(3,2)=(-7,0)$:
$$\begin{aligned}5\alpha+3\beta&=-7\\\alpha+2\beta&=0\end{aligned}$$
De la 2.ª, $\alpha=-2\beta$. En la 1.ª:
$$-10\beta+3\beta=-7\beta=-7\ \Rightarrow\ \beta=1,\quad\alpha=-2.$$Comprobación: $-2(5,1)+(3,2)=(-7,0)$ ✓.
- Linealidad (P3), con suma de matrices y producto por escalar entrada a entrada: $$\begin{aligned}f(-7,0)&=-2\begin{pmatrix}1&3\\-2&4\end{pmatrix}+\begin{pmatrix}0&1\\7&-2\end{pmatrix}\\&=\begin{pmatrix}-2&-6\\4&-8\end{pmatrix}+\begin{pmatrix}0&1\\7&-2\end{pmatrix}\\&=\begin{pmatrix}-2&-5\\11&-10\end{pmatrix}.\end{aligned}$$
Resultado: $f(-7,0)=\begin{pmatrix}-2&-5\cr11&-10\end{pmatrix}$.
Sobre la solución oficial. Correcta; como en el ejercicio anterior, no muestra cómo se obtienen $-2$ y $1$.
Error típico: multiplicar matrices (producto matricial) en lugar de combinarlas linealmente; o aplicar el $-2$ solo a una fila.
Feb. 2026 (2.ª sem.), pregunta 3 — $f:\mathcal M_{2\times2}\to\mathbb R^3$ dada en cuatro matrices X Feb. 2026 (2.ª) P3
Sea $f:\mathcal M_{2\times2}\to\mathbb R^3$ una aplicación lineal tal que $f\begin{pmatrix}1&2\cr0&-1\end{pmatrix}=(1,2,3)$, $f\begin{pmatrix}3&1\cr-2&4\end{pmatrix}=(2,3,4)$, $f\begin{pmatrix}-1&0\cr5&2\end{pmatrix}=(3,4,5)$, $f\begin{pmatrix}2&-3\cr1&1\end{pmatrix}=(4,5,6)$. Halle $f\begin{pmatrix}5&0\cr4&6\end{pmatrix}$.
Llamamos $M_1,M_2,M_3,M_4$ a las cuatro matrices dadas y $N=\begin{pmatrix}5&0\cr4&6\end{pmatrix}$.
- Qué me piden
- Calcular $f$ de una matriz dada en función de otras cuatro con imágenes conocidas.
- Cómo lo pienso
- Cuatro ecuaciones y cuatro incógnitas. Antes de escalonar, pruebo coeficientes sencillos: quizá la matriz sea la suma de las cuatro.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$.
- Por dónde empiezo
- Pruebo $a=b=c=d=1$; si no, Gauss.
- Planteamiento. Buscamos $a,b,c,d$ con $aM_1+bM_2+cM_3+dM_4=N$. Igualando entrada a entrada (posiciones 11, 12, 21, 22): $$\begin{cases}a+3b-c+2d=5\\2a+b-3d=0\\-2b+5c+d=4\\-a+4b+2c+d=6\end{cases}$$
- Probar primero los coeficientes más sencillos. Es un sistema $4\times4$; antes de escalonar conviene probar $a=b=c=d=1$ (la suma de las cuatro):
$$1+3-1+2=5\ ✓,\quad2+1+0-3=0\ ✓,\quad0-2+5+1=4\ ✓,\quad-1+4+2+1=6\ ✓$$
Luego $N=M_1+M_2+M_3+M_4$. (Si no se ve, se resuelve por Gauss; la solución es única porque el determinante de la matriz del sistema vale $215\neq0$, es decir, $\{M_1,\dots,M_4\}$ es base de $\mathcal M_{2\times2}$. Para calcular $f(N)$ basta una combinación cualquiera.)
- Linealidad (P3): $$\begin{aligned}f(N)&=f(M_1)+f(M_2)+f(M_3)+f(M_4)\\&=(1,2,3)+(2,3,4)+(3,4,5)+(4,5,6)\\&=(10,14,18).\end{aligned}$$
Resultado: $f\begin{pmatrix}5&0\cr4&6\end{pmatrix}=(10,14,18)$.
Sobre la solución oficial. Correcta, pero da la descomposición $N=M_1+M_2+M_3+M_4$ sin decir cómo se encuentra ni comprobarla entrada a entrada; en el examen hay que escribir esa comprobación.
Error típico: aplicar $f$ entrada a entrada, o «sumar las matrices dadas» y olvidar comprobar que la suma es exactamente $N$.
Método B — ¿es lineal esta aplicación?
Feb. 2025 (1.ª sem.), problema 7, 1.er apartado — ¿es lineal $f(x)=(x,\,2+x,\,3x,\,4x,\,5x)$? X Feb. 2025 (1.ª) P7
Consideremos las aplicaciones $f:\mathbb R\to\mathbb R^5$, $g:\mathbb R^3\to\mathbb R^2$ y $h:\mathbb R^2\to\mathbb R^4$ definidas por $f(x)=(x,2+x,3x,4x,5x)$, $g(x,y,z)=(x+y+z,-5x-5y-5z)$ y $h(x,y)=(4x-5y,y,x,-3x+7y)$. Indique de manera razonada si $f$ es aplicación lineal (1 punto). (Los otros dos apartados —núcleo e imagen de $g$, matriz de $h\circ g$— son de los temas 3.2 y 3.4.)
- Qué me piden
- Decidir si $f(x)=(x,2+x,3x,4x,5x)$ es lineal.
- Cómo lo pienso
- Una constante suelta ($2+\ldots$) en una componente: el cero no irá al cero.
- Qué uso
- Propiedad P1: si $f$ es lineal, $f(\bar0_V)=\bar0_W$. Si no se cumple, $f$ no es lineal.
- Por dónde empiezo
- Evalúo $f(0)$.
- Recordar P1 (U p.103, demostrada en el Ej. U 3.4): toda aplicación lineal cumple $f(0_V)=0_W$. Leída al revés: si $f(0_V)\neq0_W$, $f$ no puede ser lineal.
- Calcular $f(0)$. Aquí $0_V=0\in\mathbb R$ y $0_W=(0,0,0,0,0)\in\mathbb R^5$: $$f(0)=(0,\ 2+0,\ 0,\ 0,\ 0)=(0,2,0,0,0)\neq(0,0,0,0,0).$$
- Conclusión. $f$ no es lineal. El culpable es el término independiente «$2+$» de la 2.ª componente.
- Comprobación alternativa con la Def. 3.1 (contraejemplo directo): con $v=u=1$, $\lambda=1$:
$$f(1+1)=f(2)=(2,4,6,8,10),\qquad f(1)+f(1)=2(1,3,3,4,5)=(2,6,6,8,10).$$
No coinciden.
Resultado: $f$ no es lineal porque $f(0)=(0,2,0,0,0)\neq0$.
Comentario sobre $g$ y $h$ (para los otros apartados): el enunciado no dice que sean lineales, pero lo son: cada componente es una combinación sin término independiente, es decir $g(v)=A_gv$ y $h(v)=A_hv$ con $A_g=\begin{pmatrix}1&1&1\cr-5&-5&-5\end{pmatrix}$ y $A_h=\begin{pmatrix}4&-5\cr0&1\cr1&0\cr-3&7\end{pmatrix}$, y $A(v+\lambda u)=Av+\lambda Au$ por la distributividad del producto de matrices (tema 1.2).
Sobre la solución oficial. Correcta y suficiente («$f$ no es lineal porque $f(0)=(0,2,0,0,0)$»); en el examen conviene citar la propiedad que se usa ($f$ lineal $\Rightarrow f(0)=0$).
Error típico: ver que cada componente «es de primer grado» y concluir que es lineal: $2+x$ lo es, pero no en el sentido del álgebra lineal (es afín). Y el error recíproco: comprobar $f(0)=0$ y concluir que sí es lineal.
Feb. 2022 (tipo A), ejercicio 3 (parte de linealidad) — $f(x,y)=\begin{pmatrix}x&0\cr0&x-y\end{pmatrix}$ es lineal X Feb. 2022 (A) E3
Sea $D_{2\times2}$ el conjunto de matrices diagonales de orden 2 y $f:\mathbb R^2\to D_{2\times2}$ una aplicación tal que $f(x,y)=\begin{pmatrix}x&0\cr0&x-y\end{pmatrix}$. Calcule los subespacios núcleo e imagen de $f$.
Por qué se incluye aquí. El enunciado dice «una aplicación», no «una aplicación lineal»; hablar de subespacios núcleo e imagen solo tiene sentido si $f$ es lineal (U §3.2), así que lo primero es comprobarlo. La solución oficial lo hace en una nota. Es el único ejercicio de examen en que se demuestra que una aplicación sí es lineal: modelo del método B en sentido positivo. (Los apartados de núcleo e imagen se desarrollan en el tema 3.2; aquí solo se demuestra la linealidad.)
- Qué me piden
- Probar que una $f$ a matrices diagonales es lineal.
- Cómo lo pienso
- Cada entrada es combinación lineal de $x,y$: lineal.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$.
- Por dónde empiezo
- Comparo $f(v+\lambda u)$ y $f(v)+\lambda f(u)$ entrada a entrada.
- Vectores genéricos. $v=(x_1,y_1)$, $u=(x_2,y_2)$, $\lambda\in\mathbb R$; $v+\lambda u=(x_1+\lambda x_2,\ y_1+\lambda y_2)$.
- Primer miembro. $$\begin{gathered}f(v+\lambda u)=\cr\begin{pmatrix}x_1+\lambda x_2&0\cr0&c\end{pmatrix},\cr{}c=(x_1+\lambda x_2)-(y_1+\lambda y_2).\end{gathered}$$
- Segundo miembro. $$\begin{gathered}f(v)+\lambda f(u)=\cr\begin{pmatrix}x_1&0\cr0&x_1-y_1\end{pmatrix}\cr+\lambda\begin{pmatrix}x_2&0\cr0&x_2-y_2\end{pmatrix}\cr=\begin{pmatrix}x_1+\lambda x_2&0\cr0&c_2\end{pmatrix},\cr{}c_2=x_1-y_1+\lambda x_2-\lambda y_2.\end{gathered}$$
- Comparar. La entrada $(2,2)$ del primer miembro, reordenada, es $x_1-y_1+\lambda x_2-\lambda y_2$: ambos miembros coinciden para todo $v,u,\lambda$. Además $f(x,y)$ es diagonal, así que $f$ va de verdad a $D_{2\times2}$ (subespacio de $\mathcal M_{2\times2}$). Por tanto $f$ es lineal.
Resultado: $f$ es lineal. (Resto del ejercicio, con resultado oficial verificado: $\operatorname{Nuc}f=\{(0,0)\}$ y $\operatorname{Im}f=D_{2\times2}$, de dimensión 2; se razona en el tema 3.2.)
Sobre la solución oficial. Correcta. Comprueba por separado $f(v)+f(u)=f(v+u)$ y $\lambda f(v)=f(\lambda v)$, lo que equivale a la Def. 3.1 de U (que lo junta en una sola condición).
Ejemplos propios de tipo examen
Ejemplo propio — polinomios: $f(p)=(p(0),\,p'(1))$ es lineal P
Sea $f:\wp_2\to\mathbb R^2$, $f(p)=(p(0),\ p'(1))$. Pruebe que es lineal y calcule $f(1+x+x^2)$.
- Qué me piden
- Probar que $f(p)=(p(0),p'(1))$ es lineal.
- Cómo lo pienso
- Evaluar un polinomio en un punto y derivarlo son operaciones lineales; las dos componentes lo serán.
- Qué uso
- Aplicación lineal (Def. 3.1, U p.101): $f:V\to W$ es lineal si $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ para todos $u,v\in V$, $\lambda\in\mathbb R$ (equivale a $f(u+\lambda v)=f(u)+\lambda f(v)$). Endomorfismo: lineal con $V=W$. Evaluar y derivar respetan sumas y escalares.
- Por dónde empiezo
- Uso $(p+\lambda q)(0)=p(0)+\lambda q(0)$ y lo mismo para $p'(1)$.
- Linealidad. Para $p,q\in\wp_2$ y $\lambda\in\mathbb R$, evaluar respeta sumas y escalares y la derivada es lineal:
$$(p+\lambda q)(0)=p(0)+\lambda q(0),\qquad(p+\lambda q)'(1)=p'(1)+\lambda q'(1).$$
Luego $f(p+\lambda q)=f(p)+\lambda f(q)$: lineal.
- Imagen. Para $p=1+x+x^2$:
$$p(0)=1,\qquad p'(x)=1+2x,\qquad p'(1)=3,$$
así que $f(p)=(1,3)$.
Ejemplo propio — método A más propiedades 4 y 5: $f(3,1)$, $f(0,1)$ y V/F sobre libres P
Sea $f:\mathbb R^2\to\mathbb R^3$ lineal con $f(1,1)=(1,0,2)$ y $f(1,-1)=(3,2,0)$. (a) Halle $f(3,1)$. (b) Halle $f(0,1)$. (c) Verdadero o falso: «si $\{v_1,v_2\}$ es libre, $\{f(v_1),f(v_2)\}$ también lo es, para cualquier aplicación lineal».
- Qué me piden
- Calcular $f(3,1)$ y $f(0,1)$ con datos en una base no canónica y estudiar la independencia.
- Cómo lo pienso
- Cada vector se expresa en la base dada. En (c) pienso en una lineal que «colapse» dos vectores independientes en uno solo.
- Qué uso
- Una aplicación lineal queda determinada por las imágenes de una base (P3): si $v=\sum a_ie_i$ entonces $f(v)=\sum a_if(e_i)$.
- Por dónde empiezo
- Coeficientes por sistema $2\times2$ y un contraejemplo para (c).
- (a) Busco $\alpha(1,1)+\beta(1,-1)=(3,1)$:
$$\alpha+\beta=3,\quad\alpha-\beta=1\ \Rightarrow\ \alpha=2,\ \beta=1.$$
Entonces:
$$f(3,1)=2(1,0,2)+(3,2,0)=(5,2,4).$$ - (b) $$(0,1)=\tfrac12(1,1)-\tfrac12(1,-1)\ \Rightarrow\ f(0,1)=\tfrac12\big[(1,0,2)-(3,2,0)\big]=(-1,-1,1).$$
- (c) Falso (P5; Ej. U 3.6). Contraejemplo: $g:\mathbb R^3\to\mathbb R^2$, $g(x,y,z)=(x+y,\ x+y)$ es lineal (cada componente es combinación de coordenadas sin término independiente); $\{(1,0,0),(0,1,0)\}$ es libre y sus imágenes son $(1,1)$ y $(1,1)$, ligadas. Lo que sí es siempre cierto es lo contrario: imágenes de vectores dependientes son dependientes (P4). Para que lo libre se conserve hace falta $\operatorname{Nuc}f=\{0\}$ (tema 3.2).
Los siguientes ejercicios de examen usan aplicaciones lineales pero su contenido principal es de otro tema; se desarrollan allí (no se duplican aquí).
- Imagen de todo vector en un plano → tema 3.2: Feb. 2024 (1.ª sem.), pregunta 3 (con $f(1,0)=(0,5,1)$, $f(0,1)=(-2,0,1)$: se escribe $f(u,v)=u\,f(1,0)+v\,f(0,1)$ por P3 y se sustituye en la ecuación del plano).
- Núcleo, imagen y dimensiones → tema 3.2: Feb. 2019 (tipo B), problema c) ($\operatorname{Dim}\operatorname{Nuc}f=0\Rightarrow$ imágenes de un sistema libre son libres; la solución oficial tiene un hueco: de «ligado» deduce «existe $\alpha$ con $f(v_1)=\alpha f(v_2)$», que falla si $f(v_2)=0$); Feb. 2022 (tipo A), ejercicio 3 (núcleo e imagen); Feb. 2025 (1.ª sem.), problema 7, 2.º apartado; Feb. 2018 (tipo A), ej. 3; Sept. 2019 (tipo A), ej. 3; Feb. 2023 (2.ª sem.), p.3; Sept. 2022, ej. 3; Feb. 2020 (1.ª sem., tipo B), ej. 3; Sept. 2025, p.2 y p.3; Feb. 2026 (2.ª sem.), problema 7 (base del núcleo); Feb. 2023 (1.ª sem.), problema 7 (i); Feb. 2017 (2.ª sem., tipo A), problema c); Sept. 2018 (tipo A), problema b); Sept. 2017 (tipo A), problema b); Feb. 2019 (tipo A), problema a); Sept. 2023, problema 7; Feb. 2026 (1.ª sem.), problema 7 (a).
- Matriz asociada → tema 3.3 (ya desarrollados allí): Feb. 2018 (tipo B), ejercicio 3 (matriz canónica de $f$ con $f(1,2)=(2,3)$, $f(2,0)=(4,0)$; errata oficial: «hallar $f(0,1)$ y $f(0,1)$», el primero es $f(1,0)$); Ene. 2022 (tipo A), ejercicio 3; Feb. 2019 (tipo A), ejercicio 3 (bases no canónicas); Feb. 2026 (1.ª sem.), pregunta 2; Feb. 2023 (1.ª sem.), problema 7 (ii) (derivada tercera $\wp_4\to\wp_1$); Sept. 2017 (tipo A), ejercicio 3 (test del tema 3: «todas las lineales son endomorfismos» es falso, como se vio en este tema); Feb. 2026 (2.ª sem.), problema 7 (apartados de matriz y forma escalonada; el de la base del núcleo va a 3.2) y problema 8 (la matriz en las bases dadas va aquí, en 3.3; el cambio de base, en 3.5).
- Composición y combinación de aplicaciones → tema 3.4 (ya desarrollados allí): Ene. 2020 (tipo A), ej. 3; Feb. 2023 (1.ª sem.), p.3; Sept. 2018 (tipo A), ej. 3; Sept. 2024, p.3; Sept. 2023, p.3 ($3g-5h$); Feb. 2024 (2.ª sem.), problema 7; Feb. 2026 (1.ª sem.), problema 7 (b)-(c) ($f\circ f$, $g\circ f$); Feb. 2025 (1.ª sem.), problema 7, 3.er apartado ($h\circ g$).
- Cambio de base → tema 3.5: Sept. 2017 (tipo A), ejercicio 3, opción A; Feb. 2026 (2.ª sem.), problema 8 (solo el apartado de cambio de base; la matriz en las bases dadas va a 3.3).
- Diagonalización de aplicaciones lineales → tema 4.x (aún no existe): Sept. 2017 (tipo A), ej. 4; Feb. 2018 (tipo B), problema a) (vectores propios de la derivada).
7Chuleta, lista de comprobación y errores frecuentes
| Resultado | Fórmula / idea | Hipótesis |
|---|---|---|
| Def. 3.1 | $f(v+\lambda u)=f(v)+\lambda f(u)$ $\iff$ $f(u+v)=f(u)+f(v)$ y $f(\lambda u)=\lambda f(u)$ | $V,W$ espacios vectoriales sobre $\mathbb R$; para todos $v,u,\lambda$ |
| Endomorfismo | $f$ lineal con $V=W$ (E p.80) | Hay que verificar las dos condiciones |
| P1 | $f(0)=0$. Si $f(0)\neq0$, no es lineal | Condición necesaria, no suficiente: $f(0)=0$ no prueba linealidad |
| P2 | $f(-v)=-f(v)$; $f(x-y)=f(x)-f(y)$ | $f$ lineal |
| P3 | $f(\sum a_iv_i)=\sum a_if(v_i)$ → calcular $f(w)$ si $w=\sum a_iv_i$ | Los $a_i$ se calculan en el espacio inicial; con una base siempre se puede |
| P4 | $v,u$ ligados $\Rightarrow$ $f(v),f(u)$ ligados (con la misma relación). Contrarrecíproca: imágenes libres $\Rightarrow$ originales libres | $f$ lineal |
| P5 | Libres pueden ir a ligados (p. ej. proyecciones) | $f$ lleva todo libre a libre $\iff$ $f$ inyectiva ($\operatorname{Nuc}f=\{0\}$, 3.2); si no, unos libres se conservan y otros no |
| No lineales típicas | constante $\neq0$, traslación $x+c$, $x^2$, $xy$, $|x|$, $\sin x$, $\det$ | Un solo contraejemplo basta |
| $f$ determinada por una base | Dadas $f(e_1),\dots,f(e_n)$ ($e_i$ base) $f(w)=\sum a_if(e_i)$ queda determinada (Teor. 3.2, U p.114); que exista una $f$ lineal para cualesquiera imágenes de la base es observación propia (P) | Los $e_i$ deben ser base (libres): sobre ligados las imágenes no son libres de elegir |
| $f(S)$ | Si $S$ es subespacio, $f(S)$ es subespacio (E 3.13 D) | $f$ lineal |
- Sé enunciar la Def. 3.1 y expresarla como «conserva la suma y el producto por escalares».
- Sé demostrar que una aplicación es lineal desarrollando por separado los dos miembros con vectores genéricos.
- Sé refutar la linealidad con un contraejemplo y empiezo siempre por $f(0)$; sé que $f(0)=0$ no basta.
- Distingo lineal de endomorfismo y de «de primer grado».
- Sé demostrar P1, P2, P3 y P4 y dar el contraejemplo de P5.
- Sé calcular $f(w)$ conociendo $f$ en otros vectores: planteo $w=\sum a_iv_i$, resuelvo, compruebo y aplico P3 (con base canónica y con base no canónica).
- Sé decidir si unos datos de imágenes son compatibles con una aplicación lineal (vectores ligados).
- Sé responder V/F sobre libres y ligados y sobre la imagen de un subespacio, distinguiendo recíproca y contrarrecíproca.
- Escribo cada resultado como pide el examen: con el proceso, la propiedad citada (p. ej. «por P3, U p.103») y la comprobación.
- Demostrar linealidad comprobando un par de ejemplos numéricos, o escribir como primer paso lo que hay que demostrar.
- Concluir «es lineal» porque $f(0)=0$ o porque las componentes son «de primer grado».
- Olvidar que un término independiente ($x+1$, $2+x$), un producto $xy$ o una potencia rompen la linealidad.
- Confundir «lineal» con «endomorfismo» (exige además $V=W$).
- Calcular $f(w)$ usando como coeficientes las componentes de $w$ cuando los datos están dados en una base que no es la canónica.
- «Sumar los datos» sin comprobar que la combinación da exactamente el vector pedido ($f(1,2)+f(2,1)$ no es $f(1,1)$).
- Asignar imágenes arbitrarias a vectores ligados: no existe tal aplicación lineal.
- Afirmar que la linealidad conserva la independencia (falso: P5) o tomar la recíproca de P4 por cierta.
- Responder «verdadero» a «es falso que $f(0)=0$» sin leer la negación; leer mal el «$\neq$» perdido en el texto digital de E.