Tiza Las materias del CBC
Practicar →

Álgebra A (62) · Unidad 6 — Matrices, sistemas y subespacios

Combinaciones lineales y generadores

Generar es armar todo un subespacio a partir de unos pocos vectores. Es la forma más compacta de describirlo, y se puede ir y volver entre generadores y ecuaciones.

Practicar este tema →7 ejercicios que te corrigen paso a paso · gratis, sin cuenta

La explicación

Combinación lineal

w es combinación lineal de v₁, …, vs si
    w = λ₁v₁ + λ₂v₂ + … + λsvs    con λi ∈ ℝ

Es "armar w mezclando los otros". Los λ pueden ser cualquier real, incluido 0 y negativos.

Subespacio generado

⟨v₁, …, vs⟩ = { todas las combinaciones lineales de v₁, …, vs }

Ese conjunto siempre es un subespacio —no hace falta verificar las tres condiciones— y {v₁, …, vs} es un sistema de generadores de él.

⟨v⟩         → la recta por el origen en la dirección de v
⟨v, w⟩     → el plano por el origen que contiene a los dos
                 (salvo que sean paralelos: ahí vuelve a ser una recta)

¿Pertenece un vector al subespacio?

Es la pregunta más frecuente, y siempre se convierte en un sistema lineal: se plantea w como combinación con incógnitas λ y se resuelve.

S = ⟨(1,0,1), (0,1,1)⟩,  ¿(2, 3, 5) ∈ S?

λ(1,0,1) + μ(0,1,1) = (2, 3, 5)
    λ = 2      μ = 3      λ + μ = 5

Las dos primeras dan λ = 2 y μ = 3, y la tercera se cumple: 2 + 3 = 5 ✔. Entonces sí pertenece, y además queda escrito: (2,3,5) = 2(1,0,1) + 3(0,1,1).

Si el sistema es incompatible, no pertenece. Y fijate que el ejercicio suele pedir las dos cosas: decidir y escribir la combinación. Los λ que resolviste son la respuesta a la segunda parte — no los tires.

De generadores a ecuaciones

Se escribe el vector genérico y se elimina el parámetro:

S = ⟨(1,0,1), (0,1,1)⟩
(x, y, z) = λ(1,0,1) + μ(0,1,1) = (λ, μ, λ + μ)
x = λ,  y = μ,  z = λ + μ  →  z = x + y
S = {(x,y,z) : x + y − z = 0}

De ecuaciones a generadores

Al revés: se resuelve el sistema homogéneo y se factorizan los parámetros.

S = {(x,y,z) : x + y − z = 0}  →  z = x + y
(x, y, x+y) = x·(1, 0, 1) + y·(0, 1, 1)
S = ⟨(1,0,1), (0,1,1)⟩

Los generadores salen de los coeficientes de cada parámetro libre, y por eso la cantidad de generadores que aparece es igual a la cantidad de variables libres. Ese ida y vuelta —ecuaciones ⟷ generadores— es media unidad.

Ejemplo resuelto

Sea S = ⟨(1, 0, 1), (0, 1, 1)⟩. Decidir si v = (2, 3, 5) y u = (1, 1, 3) pertenecen a S, y hallar ecuaciones para S.

¿v = (2, 3, 5) ∈ S? Se plantea el sistema:

λ(1,0,1) + μ(0,1,1) = (2, 3, 5)

1ª coordenada:  λ = 2
2ª coordenada:  μ = 3
3ª coordenada:  λ + μ = 5

Las dos primeras despejan λ y μ directo, y la tercera hay que verificarla: 2 + 3 = 5 ✔.

Sí pertenece, y (2,3,5) = 2(1,0,1) + 3(0,1,1)

¿u = (1, 1, 3) ∈ S? Mismo planteo:

λ = 1,  μ = 1,  y la tercera pide λ + μ = 3
pero 1 + 1 = 2 ≠ 3  ✘  →  no pertenece
La tercera ecuación es la que decide. Las dos primeras siempre se van a poder despejar; lo que hace que el sistema sea compatible o no es que la última cierre. Si resolvés las primeras y no volvés a verificar, vas a decir que todo pertenece.

Ecuaciones de S. Se escribe el vector genérico:

(x, y, z) = λ(1,0,1) + μ(0,1,1) = (λ, μ, λ + μ)

De donde x = λ, y = μ, z = λ + μ. Reemplazando las dos primeras en la tercera se elimina el parámetro:

z = x + y    →    S = {(x,y,z) : x + y − z = 0}

Control con los dos vectores. Es la mejor verificación, porque usa la otra descripción de S:

v = (2,3,5): 2 + 3 − 5 = 0 ✔   (pertenece, como habíamos dicho)
u = (1,1,3): 1 + 1 − 3 = −1 ≠ 0 ✔  (no pertenece, coincide)

Las dos respuestas cierran por los dos caminos. Y encontrar la ecuación, además, te da una forma de responder "¿pertenece?" en un renglón en vez de con un sistema.

Dónde se cae la mayoría

Hasta acá la explicación. La práctica es la otra mitad: 7 ejercicios de este tema, en cuatro niveles, que no te dicen sólo si está bien al final sino que te corrigen en cada paso y te explican por qué. Además trae una animación que muestra la idea en movimiento.

Practicar Combinaciones lineales y generadores →

Ver todos los temas de Álgebra A