Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1 Ecuaciones de un subespacio
Tema 3 Ecuaciones implı́ticas de un subespacio
Ecuaciones paramétricas de un subespacio
Espacios vectoriales (parte 3)
2 Subespacios vectoriales asociados a una matriz
Núcleo de una matriz
Algebra Subespacios fila y columna de una matriz
5 Complementos ortogonales en Rn
Proyección ortogonal
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 1 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 2 / 38
Ecuaciones de un subespacio Ecuaciones de un subespacio
5 Complementos ortogonales en Rn
Proyección ortogonal
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 3 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 4 / 38
Ecuaciones de un subespacio Ecuaciones implı́ticas de un subespacio Ecuaciones de un subespacio Ecuaciones implı́ticas de un subespacio
Cálculo de las ecuaciones paramétricas a partir de la envoltura lineal (x, y , z) = α(3, 2, 0) + β(1, 2, 0) = (3α + β, 2α + 2β, 0)
Para expresar un subespacio H dado como envoltura lineal en ecuaciones
paramétricas: Luego E = {(3α + β, 2α + 2β, 0) : α, λ ∈ R} es la forma paramétrica del
subespacio vectorial.
Extraemos la base del subespacio H de la envoltura lineal
Expresamos los vectores ~x ∈ H como combinación lineal de la base
que hemos encontrado. Esta expresión será la forma paramétrica de H
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 5 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 6 / 38
Ecuaciones de un subespacio Ecuaciones implı́ticas de un subespacio Ecuaciones de un subespacio Ecuaciones implı́ticas de un subespacio
Cálculo de las ecuaciones implı́citas a partir de las Ejemplo Calcula las ecuaciones implı́citas del subespacio
paramétricas E = {(3α + β, 2α + 2β, 0) : α, λ ∈ R} ⊂ R3
Podemos expresar las ecuaciones paramétricas que definen al subespacio E
Para expresar un subespacio de forma paramétrica en forma implı́cita:
como el sistema:
H = {x ∈ Rn : A · x = 0}, tenemos que eliminar los parámetros en las
ecuaciones paramétricas. 3α + β = x
Como el vector ~x ∈ H pertenece al subespacio si y sólo si se cumplen sus 2α + 2β = y
ecuaciones paramétricas, esto equivale a decir que el sistema de ecuaciones 0 = z
paramétricas es compatible.
donde α, y λ son las incógnitas.
Cálculo de las ecuaciones implı́citas a partir de las paramétricas Para eliminar los parámetros resolvemos el sistema
Para expresar un subespacio H dado en forma paramétrica en ecuaciones
implı́citas:
3 1 x 1 1/3 x/3 1 1/3 x/3
Planteamos el sistema de ecuaciones paramétricas y escalonamos la 2 2 y E1−→
(1/3) E21 (−2)
2 2 y −→ 0 4/3 y − 2x/3
matriz de coeficientes
0 0 z 0 0 z 0 0 z
Estudiamos la compatibilidad del sistema. Las relaciones que hacen al
sistema compatible son las ecuaciones implı́citas de H
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 7 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 8 / 38
Ecuaciones de un subespacio Ecuaciones implı́ticas de un subespacio Ecuaciones de un subespacio Ecuaciones paramétricas de un subespacio
1 Ecuaciones de un subespacio
Ecuaciones implı́ticas de un subespacio
Ecuaciones paramétricas de un subespacio
Observaciones
Los vectores que determinan la envoltura lineal obtenida serán 2 Subespacios vectoriales asociados a una matriz
siempre una base del subespacio vectorial, y no sólo un sistema Núcleo de una matriz
generador. Subespacios fila y columna de una matriz
El conjunto de soluciones de un sistema de ecuaciones lineal
homogéneo m × n es un subespacio vectorial de Rn (o Cn ) que tiene 3 Intersección de subespacios vectoriales
como dimensión el número de variables libres del sistema.
4 Suma de subespacios vectoriales
5 Complementos ortogonales en Rn
Proyección ortogonal
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 11 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 12 / 38
Subespacios vectoriales asociados a una matriz Núcleo de una matriz Subespacios vectoriales asociados a una matriz Subespacios fila y columna de una matriz
Para calcular una base del subespacio fila podemos realizar operaciones
Ejemplo elementales a los vectores fila (es decir, escalonar la matriz A) hasta
obtener un sistema escalonado de vectores:
Ejemplo Dada la matriz 3 × 4:
1 1 2 2 1 1 2 2
A= 0 1 1 1 ∼ 0 1 1 1
1 1 2 2 2 0 2 2 0 0 0 0
A= 0 1 1 1
2 0 2 2 Vemos ahora que una base de F (A) es:
El espacio fila de A será el subespacio de R4 generado por sus filas: {(1, 1, 2, 2), (0, 1, 1, 1)}.
F (A) = h(1, 1, 2, 2), (0, 1, 1, 1), (2, 0, 2, 2)i Para calcular una base de C (A) podemos hacer lo mismo: realizar
operaciones elementales a los vectores columna (es decir, escalonar la
El espacio columna de A será el subespacio de R3 generado por sus matriz At ):
columnas: 1 0 2 1 0 2
1 1 0 0 1 −2
At = 2 1 2 ∼ 0 0
C (A) = h(1, 0, 2), (1, 1, 0), (2, 1, 2), (2, 1, 2)i = h(1, 0, 2), (1, 1, 0), (2, 1, 2)i 0
2 1 2 0 0 0
Vemos ahora que una base de C (A) es: {(1, 0, 2), (0, 1, −2)}.
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 15 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 16 / 38
Subespacios vectoriales asociados a una matriz Subespacios fila y columna de una matriz Subespacios vectoriales asociados a una matriz Subespacios fila y columna de una matriz
Otro método
A partir sólo de una forma escalonada de A se pueden calcular también
una base del subespacio columna (es decir, que no resulta necesario
Obsérvese que: escalonar también At ). Para ello, si S es el conjunto de los vectores
columna de A, calcularemos una base de C (A) = hSi usando la
La dimensión de F (A) es igual a rang (A). “distribución por columnas”, en lugar de la “distribución por filas”.
La dimensión de C (A) es igual a rang (At ), que es igual a rang (A). Debemos, pues, escalonar la matriz M(S) (los vectores de S distribuidos
Aunque ambos son subespacios de espacios “ambiente” distintos, por columnas). Pero M(S) es precisamente la matriz A:
ambos tienen la misma dimensión, rang (A).
1 1 2 2 1 1 2 2
A= 0 1 1 1 ∼ 0 1 1 1
2 0 2 2 0 0 0 0
Como las columnas principales son la primera y la segunda, resulta que las
dos primeras columnas de A formarán una base de hSi = C (A). (¡Ojo!, de
A, pero no de la matriz escalonada final). Ası́ pues, una base de C (A) es
{(1, 0, 2), (1, 1, 0)}.
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 17 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 18 / 38
Intersección de subespacios vectoriales Intersección de subespacios vectoriales
1 Ecuaciones de un subespacio
Ecuaciones implı́ticas de un subespacio
Ecuaciones paramétricas de un subespacio Subespacio intersección
Sean H y T dos subespacios vectoriales de un espacio vectorial V .
2 Subespacios vectoriales asociados a una matriz El subespacio intersección de H y T , que denotamos por H ∩ T ,
Núcleo de una matriz está definido por
Subespacios fila y columna de una matriz
H ∩ T = {~v ∈ V : ~v ∈ H y ~v ∈ T }
3 Intersección de subespacios vectoriales
La intersección de dos subespacios vectoriales es un subespacio vectorial.
4 Suma de subespacios vectoriales Para calcular el espacio intersección de los subespacios H y T utilizamos
las ecuaciones implı́citas.
5 Complementos ortogonales en Rn
Proyección ortogonal
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 19 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 20 / 38
Intersección de subespacios vectoriales Intersección de subespacios vectoriales
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 21 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 22 / 38
Intersección de subespacios vectoriales Intersección de subespacios vectoriales
Los vectores de H ∩ T serán aquellos que pertenecen a H y a T , luego Resolvemos por sustitución regresiva el sistema equivalente obtenido:
serán los vectores que verifican ambas ecuaciones implı́citas:
x − 2y + z = 0
H ∩ T = {(x, y , z) ∈ R3 : z + x − 2y = 0, x + 3z − 3y = 0}. − y + 2z = 0
Como z es variable libre le asignamos un parámetro z = α.
Ası́, para obtener una base de H ∩ T bastará con resolver el sistema de Despejando las variables principales x e y en cada ecuación y sustituyendo
ecuaciones formado por las ecuaciones implı́citas de los dos subespacios: de abajo a arriba obtenemos:
x − 2y + z = 0 y = 2z = 2α ⇒ x = 2y − z = 2 · (2α) − α = 4α − α = 3α
x − 3y + 3z = 0
Luego las soluciones del sistema son de la forma:
Escalonamos para ello la matriz ampliada del sistema
(x, y , z) = (3α, 2α, α) = α(3, 2, 1).
1 −2 1 0 E21 (−1) 1 −2 1 0
−→
1 −3 3 0 0 −1 2 0 Por tanto, H ∩ T = h(3, 2, 1)i y {(3, 2, 1)} es una base de H ∩ T .
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 23 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 24 / 38
Intersección de subespacios vectoriales Suma de subespacios vectoriales
5 Complementos ortogonales en Rn
Proyección ortogonal
Vemos como la interseccion, H ∩ T , es una linea recta formada por todos
los múltiplos del vector (3, 2, 1).
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 25 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 26 / 38
Suma de subespacios vectoriales Suma de subespacios vectoriales
Propiedad
Si F y G son dos subespacios vectoriales de un espacio vectorial V tales
que F = hS1 i y G = hS2 i entonces F + G = hS1 ∪ S2 i.
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 27 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 28 / 38
Suma de subespacios vectoriales Suma de subespacios vectoriales
Suma directa
Ejercicio 4: Calcula una base y la dimensión de la suma de los subespacios
vectoriales de R4 : F = h(1, 0, 1, 0), (−2, 3, 1, 0)i y
G = h(0, −3, 1, 0), (1, 1, 1, 1)i. En ciertas circunstancias la suma de subespacios vectoriales se denomina
suma directa y se utiliza el sı́mbolo ⊕ en lugar de +.
Teorema: Fórmula de Grassman
Si F y G son dos subespacios vectoriales de un espacio vectorial V Suma directa
entonces: Si F y G son dos subespacios vectoriales de un espacio vectorial V ,
diremos que la suma F + G es directa (y la denotaremos por F ⊕ G ) si
dim(F + G ) = dim(F ) + dim(G ) − dim(F ∩ G ). F ∩ G = {0}.
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 29 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 30 / 38
Suma de subespacios vectoriales Complementos ortogonales en Rn
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 31 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 32 / 38
Complementos ortogonales en Rn Complementos ortogonales en Rn
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 33 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 34 / 38
Complementos ortogonales en Rn Complementos ortogonales en Rn Proyección ortogonal
Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 37 / 38 Algebra (Ingenierı́a Informática) Tema 4 7 de mayo de 2011 38 / 38