← Índice de temas
Módulo 3 · Aplicaciones lineales y matrices · Tema 3.1

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.

Libro oficial: Álgebra para Ingenieros, §3.1 (pp. 101-104)Ejercicios: E Ej. 3.1–3.14 (pp. 80-91)⏱ ~5 h de estudio
U oficial E ejercicios L Lay X examen P propio — pasa el ratón (o toca) por cada etiqueta para ver libro y página; en pantallas anchas aparecen en el margen derecho.

0Antes de empezar U p.101

La idea del tema en una frase

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

Mapa del tema

ApartadoQué contieneDónde está en los libros
1 DefiniciónDef. 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 ejemplosConstantes, traslaciones, cuadrados, productos… (Ej. U 3.3, 3.7)U p.103-104 · L §1.8 p.66
3 PropiedadesP1-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 linealCalcular $f(w)$ escribiendo $w$ como combinación de vectores cuya imagen se conoce; imagen de libres y ligadosU p.103 (P3) · adelanto de U p.114
5 Ejercicios del libroE 3.1–3.14 (los catorce) + 3 ejemplos propiosE pp.79-91
6 Ejemplos de examen6 preguntas de convocatorias anteriores + 2 ejemplos propios, resueltosX
Qué se pide en los ejercicios y en el examen

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.

Erratas y omisiones de los libros (para no despistarte)
  • 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

Idea intuitiva: «respeta sumas y múltiplos»

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.

Definición 3.1 — aplicación lineal

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
La definición equivale a dos condiciones por separado

$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.204
Primer ejemplo numérico en $\mathbb R^2$

Sea $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):

  1. Primer miembro. $u+\lambda v=(1,2)+2(3,-1)=(7,0)$, y $$f(7,0)=(7+0,\ 2\cdot7-0)=(7,14).$$
  2. Segundo miembro. $f(u)=(3,0)$, $f(v)=(2,7)$, luego $$f(u)+\lambda f(v)=(3,0)+2(2,7)=(7,14).$$
  3. 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.)

P
Interactivo: «transformar la combinación» frente a «combinar las transformadas»

Elige 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
V (espacio inicial) W (espacio final) u v u+v f(u) f(v) f(u)+f(v) = f(u+v) f ⟶ f lleva paralelogramos en paralelogramos
Una aplicación lineal respeta la suma: el paralelogramo que forman $u$, $v$ y $u+v$ se transforma en el que forman $f(u)$, $f(v)$ y $f(u)+f(v)$, y la diagonal $u+v$ va a la diagonal $f(u+v)=f(u)+f(v)$. Que ambos sean paralelogramos es lo que significa «conservar la suma». Figura propia (ejemplo ilustrativo; $f$ no es una aplicación concreta del texto). P
Ej. U 3.1-3.2 — una aplicación lineal entre matrices y vectores

$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$:

  1. 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}$$
  2. 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}$$
  3. 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
Cómo demostrar que una aplicación es lineal (receta)
  1. 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.
  2. 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)$.
  3. 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.
Error típico

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

Idea intuitiva

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.

Ej. U 3.3 — una aplicación constante no nula no es lineal

$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.79
Ej. U 3.7 — un atajo: basta $f(0)\neq0$

Para 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.104

Catá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
Error típico

(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.

Truco de examen: el orden de ataque
  1. Calcula $f(0)$. Si $\neq0$, no es lineal (una línea, citando P1 y Ej. U 3.7).
  2. Si $f(0)=0$ y la fórmula es «de combinaciones de coordenadas», demuéstralo con la Def. 3.1 (receta de §1).
  3. 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

Idea intuitiva

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.

Propiedades de las aplicaciones lineales

Si $f:V\to W$ es una aplicación lineal:

  1. P1. $f(0_V)=0_W$ (el neutro de $V$ va al neutro de $W$).
  2. P2. $f(-v)=-f(v)$.
  3. 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$.
  4. P4. Si $v,u\in V$ son linealmente dependientes, sus imágenes $f(v),f(u)$ también lo son.
  5. P5. Aunque $v,u\in V$ sean linealmente independientes, sus imágenes $f(v)$ y $f(u)$ pueden no serlo.
U p.103 L §1.8 p.66 E p.79

Demostraciones cortas

P1 (Ej. U 3.4): $f(0)=0$
  1. El neutro es suma de sí mismo: $0=0+0$.
  2. Aplicando que $f$ conserva la suma: $f(0)=f(0+0)=f(0)+f(0)$.
  3. 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.104
P2: $f(-v)=-f(v)$

Primero, 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. ∎

P
P3: la imagen de una combinación lineal es la combinación de las imágenes

Se 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.66
P4 (Ej. U 3.5): dependientes van a dependientes

Si $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.104
P5 (Ej. U 3.6): independientes pueden ir a dependientes

Basta 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
La contrarrecíproca de P4 (muy útil)

«$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?

PropiedadSe usa para…Aparece en
P1 $f(0)=0$Refutar la linealidad ($f(0)\neq0\Rightarrow$ no lineal); nunca para probarlaE 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 linealCalcular $f(w)$ conociendo $f$ en otros vectores; probar que las imágenes cumplen una ecuaciónE 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 contraejemploResponder «falso» a «libres $\to$ libres»E 3.14 A y B; ejemplo propio de tipo examen (c)
Error típico

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

Idea intuitiva

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.

Receta: hallar $f(w)$ conociendo $f(v_1),\dots,f(v_k)$
  1. 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$.
  2. Resuelve y comprueba la combinación (sustituyendo): ¡es el paso donde más se falla!
  3. 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
Ejemplo con la base canónica

$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)$.

  1. $(4,-3)=4(1,0)-3(0,1)$ (las coordenadas en la base canónica son las componentes).
  2. Por P3: $f(4,-3)=4f(1,0)-3f(0,1)=4(2,1)-3(-1,3)=(8,4)+(3,-9)=(11,-5)$.
  3. 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).
P
Ejemplo con una base no canónica

$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)$.

  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.
  2. 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)$ ✓.
  3. 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
Datos incompatibles: no se pueden dar imágenes libremente sobre vectores ligados

¿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).

P

Imagen de un sistema libre o ligado

Los ligados conservan la misma relación

$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.

P
Los libres pueden perder la independencia

Con 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
PreguntaRespuestaPropiedad
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.

Antes de calcular
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.
  1. 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.$$
  2. 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$).

  3. 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.)

  4. 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.

Receta: antes de nada calcula $f(0)$: si no es el vector nulo, «no es lineal» en una línea. Si $f(0)=0$ el atajo no decide y hay que ir a la definición.

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.

Antes de calcular
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.
  1. 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).
  2. 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)$.
  3. 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)$.
  4. 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}.$$
  5. 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.)
  6. 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)$.
  7. 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.

Receta: ¿es lineal? Escribe $x+\lambda y$ en componentes, calcula $f(x+\lambda y)$ y $f(x)+\lambda f(y)$ por separado, desarrolla y compara.

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)$.

Antes de calcular
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.
  1. 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.
  2. 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).
  3. 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.
  4. 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$.

Receta: «no es endomorfismo» se demuestra viendo que falla una de las dos condiciones: la linealidad o $V=W$.

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)$.

Antes de calcular
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.
  1. 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)$.
  2. Aplicar la linealidad ($\lambda=1$): $$f(0,0)=f\big((0,0)+(0,0)\big)=f(0,0)+f(0,0).$$
  3. 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).$$
  4. 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.

  5. 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.

Receta: un escalar «sale fuera» multiplicando todas las componentes del vector: $\lambda f(a,b)=f(\lambda a,\lambda b)$, nunca $f(\lambda a,b)$.

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.

Antes de calcular
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)$.
  1. (A) $f(0,0)=(0,0,0)$ ✓ (concuerda con P1).
  2. (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).$$
  3. 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)\ ✓$$
  4. 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.

Receta: para comprobar una propiedad general en un caso concreto, calcula los dos miembros por separado con la fórmula y compáralos componente a componente.

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.

Antes de calcular
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.
  1. (A) Falsa. $$f(0,0,0,0)=(0,1,0,1)\neq(0,0,0,0).$$
  2. (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.

  3. (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.

  4. 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.

Receta: si $f$ no es lineal, ninguna propiedad de U p.103 está garantizada: hay que calcular con la fórmula.

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.

Antes de calcular
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.
  1. (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$).

  2. (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.

  3. (C) Neutro. $$f(0)=(0,1,0)\neq(0,0,0):$$

    no lleva el neutro al neutro.

  4. (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).
  5. (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.

Receta: en los test de «¿qué verifica $f$?», comprueba cada propiedad por separado con la fórmula; recuerda que lineal $\Rightarrow$ suma + escalares + neutro, así que fallar una basta para negar «lineal».

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.

Antes de calcular
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)$.
  1. Datos genéricos. $x,y\in\mathbb R$ (los vectores del espacio inicial son números reales) y $\lambda\in\mathbb R$.
  2. Primer miembro. $f(x+\lambda y)=\big(x+\lambda y,\ 0,\ -(x+\lambda y)\big)=(x+\lambda y,\ 0,\ -x-\lambda y)$.
  3. 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$.
  4. 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.

Receta: un $0$ fijo en una componente no estropea la linealidad ($\lambda\cdot0=0$); una constante no nula sí (compárese con el Ej. 3.7).

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.

Antes de calcular
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.
  1. (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.
  2. (B) Falsa. Aunque $V=W=\mathbb R^2$, un endomorfismo debe ser lineal, y por A no lo es.
  3. (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$.
  4. (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)$»).

Receta: «sin hacer operaciones» = usa las propiedades: $f(0)\neq0\Rightarrow$ no lineal $\Rightarrow$ no endomorfismo; y en un endomorfismo siempre $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.

Antes de calcular
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)$.
  1. Base conocida. $\{(1,0),(0,1)\}$ es la base canónica de $\mathbb R^2$ y conocemos las imágenes de sus dos vectores.
  2. (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.

  3. (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.

  4. (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$.

  5. 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.

  6. (D) Falsa, porque A y C son ciertas.

Resultado: son ciertas A y C.

Receta: conocidas las imágenes de la base canónica, $f(a,b)=a\,f(1,0)+b\,f(0,1)$: escribe esa fórmula general y úsala para todo (imágenes concretas y ecuaciones que cumplen las imágenes).

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)$.

Antes de calcular
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.
  1. ¿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.$$
  2. 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\ ✓$$
  3. 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)\ ✓$$
  4. 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).

Receta: si conoces las imágenes de una base no canónica: (1) comprueba que es base; (2) halla las coordenadas del vector en esa base resolviendo un sistema; (3) $f(v)=\sum(\text{coordenada})\cdot f(\text{vector de la base})$.

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.

Antes de calcular
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.
  1. (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).
  2. (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.
  3. (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.
  4. (D) Falsa, porque A es correcta.

Resultado: solo A es correcta.

Receta: una aplicación lineal queda totalmente determinada por las imágenes de una base. La imagen es el conjunto de combinaciones de esas imágenes y no puede tener más dimensión que el espacio inicial.

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).

Antes de calcular
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.
  1. (A) Falsa, porque $f(0)=0$ es cierto: $$f(0)=f(0\cdot x)=0\cdot f(x)=0\quad\text{(P1)}.$$
  2. (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).

  3. (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$.

  4. (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$.

Receta: P1, P2 y $f(x-y)=f(x)-f(y)$ salen de la definición eligiendo bien el escalar ($0$, $-1$). Para «$f(S)$ es subespacio»: escribe los vectores de $f(S)$ como $f(x),f(y)$ con $x,y\in S$ y usa que $S$ es cerrado.

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.)

Antes de calcular
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.
  1. (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).

  2. (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.
  3. (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$.)

  4. (D) Falsa, porque C es cierta.

Resultado: solo C es cierta.

Receta: ligado $\to$ ligado siempre (P4) y, equivalente, imágenes libres $\Rightarrow$ originales libres. Pero libre $\to$ libre puede fallar (P5): busca dos vectores que solo difieran en lo que $f$ «olvida».

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)$?

Antes de calcular
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.
  1. $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$).
  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$).
Receta: $f(0)=0$ no basta; con productos o potencias busca un contraejemplo con $\lambda=2$.
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)$.

Antes de calcular
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.
  1. 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).
  2. 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$.
  3. 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}$$
  4. Comprobación. $f(1,1)=(2,0,2)$ ✓, $f(1,-1)=(0,2,4)$ ✓. Y $f(2,4)=(6,-2,2)$.
Receta: coordenadas genéricas $(x,y)$ en la base dada $\Rightarrow$ fórmula completa de $f$.
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)$?

Antes de calcular
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.
  1. (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.

  2. (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$).

  3. (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.

Receta: las imágenes solo se pueden elegir libremente sobre una base; sobre vectores ligados la linealidad las fija (P3, P4).

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)$.

Antes de calcular
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.
  1. 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).
  2. 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$.)

  3. 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$.

Receta (método A): (1) plantear $w=\sum a_iv_i$ con los vectores cuya imagen se conoce y resolver el sistema (probando antes coeficientes sencillos); (2) comprobar la combinación; (3) $f(w)=\sum a_if(v_i)$ (P3). Si los $v_i$ son base, la combinación existe y es única (Def. 2.9-2.10, U p.82-85) y $f(w)$ está determinada (Teor. 3.2, U p.114); si solo generan y son ligados, la combinación no es única y los datos deben ser compatibles.

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)$.

Antes de calcular
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.
  1. 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)\ ✓$$
  2. 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»).

Receta: método A (ver Feb. 2019 B).

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)$.

Antes de calcular
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.
  1. 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$.
  2. 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)$ ✓.

  3. 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$.

Receta: método A; el espacio de llegada puede ser de matrices, polinomios… y se opera con sus propias operaciones.

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}$.

Antes de calcular
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.
  1. 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}$$
  2. 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.)

  3. 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.

Receta (método A): (1) plantear $w=\sum a_iv_i$ y resolver el sistema (probando antes coeficientes sencillos: $\pm1$, sumas); (2) comprobar la combinación; (3) $f(w)=\sum a_if(v_i)$. Con espacio inicial de matrices, «coordenadas» = coeficientes entrada a entrada.

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.)

Antes de calcular
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)$.
  1. 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.
  2. 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).$$
  3. Conclusión. $f$ no es lineal. El culpable es el término independiente «$2+$» de la 2.ª componente.
  4. 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$).

Receta (método B): ¿lineal? Mira primero $f(0)$: si $\neq0$, no (P1). Si $f(0)=0$, sospecha de productos, potencias, valores absolutos, $\det$…: prueba un contraejemplo con números ($f(2v)$ frente a $2f(v)$). Si todo es «combinación de coordenadas sin término independiente», demuestra la Def. 3.1 con vectores genéricos.

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.)

Antes de calcular
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.
  1. 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)$.
  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}$$
  3. 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}$$
  4. 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).

Receta (método B, positivo): vectores genéricos, desarrolla los dos miembros por separado y compara; comprueba además que la imagen cae en el espacio de llegada.

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)$.

Antes de calcular
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)$.
  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.

  2. 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)$.

Receta: en espacios de polinomios, funciones o matrices, la linealidad se prueba con las propiedades de la operación (evaluar, derivar, trasponer…) sin necesidad de coordenadas.
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».

Antes de calcular
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).
  1. (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).$$
  2. (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).$$
  3. (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).
Receta: «sabiendo que $f$ es lineal y…» $\Rightarrow$ método A; «¿se conserva la independencia?» $\Rightarrow$ P4 sí, P5 no.
Para practicar (de otros temas) X varios

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

ResultadoFórmula / ideaHipó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 linealCondició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
P5Libres 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ípicasconstante $\neq0$, traslación $x+c$, $x^2$, $xy$, $|x|$, $\sin x$, $\det$Un solo contraejemplo basta
$f$ determinada por una baseDadas $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
Errores frecuentes
  1. Demostrar linealidad comprobando un par de ejemplos numéricos, o escribir como primer paso lo que hay que demostrar.
  2. Concluir «es lineal» porque $f(0)=0$ o porque las componentes son «de primer grado».
  3. Olvidar que un término independiente ($x+1$, $2+x$), un producto $xy$ o una potencia rompen la linealidad.
  4. Confundir «lineal» con «endomorfismo» (exige además $V=W$).
  5. 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.
  6. «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)$).
  7. Asignar imágenes arbitrarias a vectores ligados: no existe tal aplicación lineal.
  8. Afirmar que la linealidad conserva la independencia (falso: P5) o tomar la recíproca de P4 por cierta.
  9. 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.

★Fuentes de este tema

Ver todas las fuentes citadas