Espacios vectoriales · Definición
Combinación lineal y span
Antes de empezar necesitas conocer
Combinar vectores con sumas y escalares es la única operación que ofrece un espacio vectorial; el span dice qué se alcanza con ella.
Definición
Una combinación lineal de varios vectores es una suma de múltiplos escalares de ellos; el span es el conjunto de todas las combinaciones lineales posibles.
Dados vectores \(v_1,\dots,v_k\) y escalares \(c_1,\dots,c_k\), el vector \(c_1v_1+\cdots+c_kv_k\) es una combinación lineal; los escalares se llaman coeficientes. Por ejemplo, \(2(1,2)+3(0,-1)=(2,1)\). Preguntar si un vector \(b\) es combinación lineal de otros es preguntar si cierto sistema de ecuaciones tiene solución, y se resuelve con eliminación gaussiana.
El span (o espacio generado) de \(v_1,\dots,v_k\) reúne todas sus combinaciones lineales. Siempre contiene a \(0\), a cada \(v_i\) y a cualquier suma o múltiplo de sus elementos. Geométricamente, el span de un vector no nulo es una recta por el origen; el de dos vectores que no son múltiplos entre sí en \(\mathbb{R}^3\) es un plano por el origen.
No todos los vectores aportan algo nuevo: como \((2,4)=2(1,2)\), el span de \((1,2)\) y \((2,4)\) es la misma recta que el de \((1,2)\). En cambio, \((1,1)\) y \((1,2)\) generan todo \(\mathbb{R}^2\). Que unos vectores generen un espacio dado y que algunos sobren son las dos preguntas que dan origen a la independencia lineal y a la base.
Un error común es pensar que los coeficientes deben ser positivos o enteros; pueden ser cualquier real. Otro es olvidar que, en un espacio general (matrices, polinomios, funciones), las combinaciones se hacen con las mismas reglas: por ejemplo, \(x^2\) y \(1\) generan los polinomios \(ax^2+b\).
Para pensar
¿Está \((1,1,1)\) en el span de \((1,0,0)\) y \((0,1,0)\)?
No: toda combinación \(a(1,0,0)+b(0,1,0)=(a,b,0)\) tiene tercera coordenada \(0\).
Si \(w\) es combinación lineal de \(v_1\) y \(v_2\), ¿cambia el span al añadir \(w\) a la lista?
No: cualquier combinación que use a \(w\) se reescribe usando solo \(v_1\) y \(v_2\), así que el span es el mismo.
Ejercicios 10
- Calcula \(2(1,2)+3(0,-1)\).
- ¿Con qué coeficientes se escribe \((5,-2)\) como \(c_1(1,0)+c_2(0,1)\)?
- En \(\mathbb{R}^3\), ¿qué conjunto es \(\operatorname{span}\{(1,0,0),(0,1,0)\}\)?
- Si \(v\ne 0\) está en \(\mathbb{R}^2\), ¿qué es \(\operatorname{span}\{v\}\)?
- Encuentra \(a,b\) tales que \((4,5)=a(1,1)+b(1,-1)\).
- ¿Cuál de estos vectores pertenece a \(\operatorname{span}\{(1,0,1),(0,1,1)\}\)?
- ¿Para qué valor de \(k\) el vector \((2,5,k)\) está en \(\operatorname{span}\{(1,2,3),(0,1,1)\}\)?
- ¿Qué es \(\operatorname{span}\{(1,2),(2,4)\}\) en \(\mathbb{R}^2\)?
- ¿Para qué vectores \((x,y)\) tiene solución \(a(1,1)+b(1,2)=(x,y)\)?
- Sean \(v_1,\dots,v_k\) vectores cualesquiera. ¿Cuál afirmación sobre su span es siempre verdadera?
Después de esto
Referencias
- Gilbert Strang, Introduction to Linear Algebra, 6th edition, Wellesley-Cambridge Press, 2023. §1.1 y §3.1
- Sheldon Axler, Linear Algebra Done Right, 4th edition, Springer, 2024. §2.A
- David C. Lay, Steven R. Lay, Judi J. McDonald, Linear Algebra and Its Applications, 6th edition, Pearson, 2021. §1.3