Professional Documents
Culture Documents
Teórico 06 3004 Espacios Vectoriales 2020
Teórico 06 3004 Espacios Vectoriales 2020
ESPACIOS VECTORIALES
1) Ellas asocian a pares de elementos de , otro elemento de por lo cual se las llama
operaciones binarias internas.
2) Cumplen las siguientes propiedades:
Sean a, b, c
De la Suma:
1) Asociatividad: (a b) c a (b c)
2) Conmutatividad: ab ba
3) Existencia de elemento neutro “0” (cero) tal que: a 0 0 a a
4) Existencia del elemento (a) opuesto de a tal que: a (a) (a) a 0
De la Multiplicación:
1) Asociatividad: (a b) c a (b c)
2) Conmutatividad: a b b a
3) Existencia de elemento neutro “1” (uno) tal que: a 1 1 a a
4) Existencia para todo a 0 , del elemento a1 inverso de a tal que: a a1 a1 a 1
5) Distributividad de la multiplicación respecto a la suma: a (b c) a b a c
Espacios Vectoriales
De la suma: u v
1) Asociatividad: u+ v + w = u+ v+ w
2) Conmutatividad: u+ v = v+ u
3) Existencia de elemento neutro “ 0 ” (vector nulo) tal que: u+ 0 = 0 + u 0
4) Existencia del elemento u opuesto de u tal que: u+ u = u + u 0
De ese modo el conjunto V tiene estructura algebraica de, o es, un -espacio vectorial o
un espacio vectorial sobre , y sus elementos se denominan vectores. En el caso
particular que sea el conjunto de los números reales, se denominará “espacio vectorial
real”.
Debe tenerse en cuenta que en la definición de espacio vectorial no se especifica la
naturaleza de los elementos de V ni de las operaciones con ellos realizadas. El único
requisito es que cumplan con los ocho axiomas de la definición.
Polinomios de grado n
a x
0
n
a1 x n 1 .... an b0 x n b1 x n 1 .... bn a0 b0 x n a1 b1 x n 1 .... an bn
y la multiplicación por escalar
a0 x n a1 x n 1 .... an a0 x n a1 x n 1 .... an
Se demuestra que es un espacio vectorial, es decir, que se cumplen los axiomas (1) a
(8). (Ejercicio)
129
MATEMÁTICA II-3004- (Ciencias Biológicas)-Teórico
Matrices m n
Funciones continuas de
Se define f g : x f ( x) g ( x) y
f : x f ( x) con
Se demuestra que estas dos nuevas funciones son también funciones continuas.
Además como
f g h:
x f ( x ) g ( x ) h( x )
pero como f ( x); g ( x); h( x) son números reales, su suma es asociativa
f ( x ) g ( x ) h( x ) f ( x ) g ( x ) h( x )
f f : x f ( x) f ( x) f ( x) f ( x) 0 f f 0 f
130
ESPACIOS VECTORIALES
Además se satisfacen:
(5) k f g : x k f ( x ) g ( x ) k . f ( x ) k .g ( x ) k f g k f k g
(6) k1 k2 f : x k1 k2 f ( x) k1 f ( x) k2 f ( x) k1 k2 f k1 f k 2 f
(7) k1 k2 f : x k1 k2 f ( x) k1 k2 f ( x) k1 k2 f k1 k2 f
(8) 1 f : x 1 f ( x) f ( x) 1 f f
SUBESPACIOS
Puede demostrarse:
Sea V un espacio vectorial sobre el cuerpo y W un subconjunto no vacío de V, entonces
W es un subespacio de V si y sólo si:
a) La suma de dos vectores de W pertenece a W.
b) El producto de un vector de W por cualquier escalar pertenece a W.
A veces resulta útil, por su sencillez, verificar si el vector nulo del espacio vectorial V
pertenece a W, porque en caso negativo es seguro que W no es un subespacio vectorial de
V.
En cualquier espacio vectorial V:
V mismo y el conjunto 0 son subespacios de V.
V es el subespacio más amplio en el sentido de que incluye a cualquier otro subespacio de
V.
El subespacio 0 está incluido en cualquier otro. Con frecuencia se le da el nombre de
subespacio trivial.
En 2
el conjunto Wu k u/ k con u 0, 0 , que también puede escribirse
u 0 representa geométricamente una recta por el origen. Luego, los subespacios de 2
131
MATEMÁTICA II-3004- (Ciencias Biológicas)-Teórico
son: 2
mismo, cualquier recta por el origen y el conjunto 0, 0 . Se prueba que éstos
2
son los únicos subespacios de .
r
si y sólo si v = k1 v1 + k2 v 2 +...+ kr v r k j v j
j 1
EJEMPLO 6.1
Sean v1 2,1, 3 ; v2 1, 4, 2 vectores de 3
y k1 2 ; k2 3
Luego v = 2 2,1, 3 3 1, 4, 2 7, 10, 0
es combinación lineal de los vectores v 1 y v 2 según los escalares k1 , k2 .
EJEMPLO 6.2
0 2
Sea v
2×2
3 1
1 2 2 2
¿Es v combinación lineal de v1 y v2 ?
1 3 1 5
1 2 2 2 0 2
k1. k2 .
1 3 1 5 3 1
queda planteado el sistema de ecuaciones
132
ESPACIOS VECTORIALES
k1 2k2 0
2 k 2 k 2
1 2
1k1 k2 3
3k1 5k2 1
que tiene solución única k1 , k2 = 2,1 . Luego el vector v es combinación lineal de los
vectores v 1 y v 2 según los escalares k1 2 y k2 1 .
El subespacio generado por los vectores v1 , v 2 , ..., vr puede ser el mismo V; en ese caso
diremos que el conjunto S v1 , v 2 , ..., v r genera al espacio vectorial V, o bien que
S v1 , v 2 , ..., v r es un generador de V.
Observación
Se han usado las palabras generador y subespacio generado cuyo significado preciso
debe ser tenido en cuenta.
Un generador es un conjunto de vectores tales que todo vector del espacio vectorial se
puede expresar como combinación lineal de ellos.
El subespacio generado es el conjunto formado por todas las combinaciones lineales
que se pueden realizar con los vectores del generador.
2 3
EJEMPLO 6.3: Si u es un vector no nulo de ó de , el subespacio generado por u ,
133
MATEMÁTICA II-3004- (Ciencias Biológicas)-Teórico
EJEMPLO 6.6: 2
gen 1, 0 , 0,1 , 2, 3
En efecto, todo v x, y 2 se expresa como:
x, y x 2k 1, 0 y 3k 0,1 k 2, 3 para cualquier k
0 = 0 v1 + 0 v 2 + ... + 0 v r
o sea con todos los coeficientes iguales a cero, a la cual se denomina combinación lineal
trivial.
La pregunta es si es posible escribir el vector nulo como combinación lineal de los
vectores dados en forma distinta a la trivial, es decir con coeficientes no todos nulos. Al
menos en 2 y 3 la respuesta depende de cuáles son los vectores v1 , v 2 , ..., vr . Así por
3
ejemplo en si:
0, 0, 0 k1 1, 0, 0 k2 1,1,1 k1 k2 , k2 , k2 k1 k2 0
En el primer caso los vectores dados son linealmente dependientes, mientras que en casos
como el segundo, los vectores son linealmente independientes.
134
ESPACIOS VECTORIALES
k1 v1 k2 v 2 kr v r 0 k1 k2 kr 0
Propiedades:
Observaciones:
son paralelos, es decir que al trasladarlos quedan ubicados en la misma recta y resultan ser
múltiplos escalares.
y y
u u
v
v
x x
z z
y
y
w
w
u
v
u
v x x
z z
Figura 6.2: a) vectores l.i b) vectores l.d.
136
ESPACIOS VECTORIALES
En cualquier espacio vectorial V, el conjunto 0 es un subespacio. Se asigna a este
subespacio la dimensión cero.
2×2
El espacio vectorial tiene dimensión cuatro, pues:
1 0 0 1 0 0 0 0
0 0 0 0 1 0 0 1
2×2
es una base de , como se verifica fácilmente.
Propiedades:
Demostración:
Puesto que hacer operaciones elementales sobre las filas es hacer combinaciones lineales
de los vectores fila, el subespacio generado es el mismo, lo que vale también para las
columnas.
137
MATEMÁTICA II-3004- (Ciencias Biológicas)-Teórico
b) Los vectores no nulos de una matriz escalonada equivalente por filas a la matriz
AT forman una base de Ec A .
Demostración:
Basta probar que los vectores no nulos de una forma escalonada son linealmente
independientes, pero eso se comprueba fácilmente ya que debajo de cada elemento
conductor solo hay ceros.
k1 3k2 k3 0
2k1 6k2 0
k3 0
1 3 1 0
2 6 0 0
0 0 1 0
138
ESPACIOS VECTORIALES
1 F3
1 3 1
0 0 2
0 0 1
1 3 1
0 0 2
0 0 1
F2 F3
1 3 1
0 0 1
0 0 2
F1 1 F2
F3 2 F2
1 3 0
0 0 1
0 0 0
k1 3k2 0
k3 0
k1 3k2 k3 x
2k1 6k2 y
k3 z
Cuya matriz ampliada es:
1 3 1 x
2 6 0 y
0 0 1 z
140
ESPACIOS VECTORIALES
F1 1 F2
F3 2 F2
1 3 0 xz
0 0 1 z
0 0 0 y 2 x 2 z
x, y, z 12 y z , y , z
x, y, z y 12 ,1,0 z 1,0,1
Así: W gen 12 ,1,0 , 1,0,1
BW 12 ,1,0 , 1,0,1 es una base de W.
dim W 2
x, y, z x , y , 12 y x
x, y, z x 1,0, 1 y 0,1, 12
Así: W gen 1,0, 1 , 0,1, 12
BW 1,0, 1 , 0,1, 12 es una base de W.
dim W 2
Nótese que se han resuelto separadamente dos sistemas de ecuaciones con la misma matriz
de coeficientes, uno homogéneo y el otro no. El sistema resolvente en ambos casos se
obtuvo mediante la aplicación de la misma sucesión de operaciones elementales de fila.
Por tal motivo resulta práctico resolverlos simultáneamente.
1 3 1 0 x
2 6 0 0 y
0 0 1 0 z
Llegando a la reducida
1 3 0 0 xz
0 0 1 0 z
0 0 0 0 y 2 x 2 z
142
ESPACIOS VECTORIALES
F2 1 / 2
1 2 0
0 1 1 / 2
0 0 0
F1 2 F2
1 0 1
0 1 1 / 2
0 0 0
143
MATEMÁTICA II-3004- (Ciencias Biológicas)-Teórico
c2
f x g x
c1
Si dos funciones son l.d. en un intervalo, entonces una es múltiplo escalar de la otra para
todo x a, b .
Si se tiene que f x c2 g x , se comprueba que: 1 f x c2 g x 0 para todo
x a, b . Por lo tanto las funciones f y g son l.d. en a, b .
Se concluye que dos funciones son l.i. en un intervalo cuando ninguna es múltiplo escalar
de la otra.
Así, si se conocen las dos funciones en estudio y sus derivadas, es posible hallar los
coeficientes resolviendo el sistema de ecuaciones lineales homogéneo:
c1 f x c2 g x 0 f x g x c1 0
c1 f ' x c2 g ' x 0 f ' x g ' x c2 0
Este sistema tendrá solución única (la trivial) si el determinante de la matriz de Wronski es
distinto de cero. En ese caso el único valor que admiten c1 y c 2 es cero, lo que implica que
las funciones f y g son linealmente independientes, en caso contrario son linealmente
dependientes.
Wronskiano
Sean f y g funciones derivables en un intervalo a, b . A la función definida por el
determinante
f x g x
f x g ' x f ' x g x
f ' x g ' x
se la denomina Wronskiano de f x y g x y se denota por W f , g , que valuada en x
es W f , g x .
EJEMPLO 6.8:
Comprobar que f x x y g x x 2 son l.i. en
c1 x c2 x 2 0
derivando respecto a x:
c1 2c2 x 0
144
ESPACIOS VECTORIALES
Con las dos ecuaciones anteriores se conforma un sistema de ecuaciones lineales, cuyas
incógnitas son c1 y c 2
c1 x c2 x 2 0 x x 2 c1 0
c1 2c2 x 0 1 2 x c2 0
Al ser un sistema de ecuaciones homogéneo, siempre admite la solución trivial, pero
interesa determinar si tiene soluciones no triviales, si fuera así las funciones serían l.d. Para
que esto suceda el determinante de la matriz del sistema debe ser igual a cero.
x x2
2 x 2 x 2 x 2 0 para todo x .
1 2x
La suposición de que f y g sean l.d. llevó a concluir que x2 0 para todo x , lo que es
claramente falso. En consecuencia f y g son l.i. para todo x .
TEOREMA
Sean f y g funciones derivables en un intervalo a, b , si el Wronskiano W f , g es
distinto de cero en por lo menos un punto x0 a, b , entonces f y g son funciones
linealmente independientes en ese intervalo.
f x g x c1 0
f ' x g ' x c2 0
f x g x
f x g ' x f ' x g x 0 x a, b
f ' x g ' x
f x g x h x
f ' x g ' x h ' x
f '' x g '' x h '' x
siendo su determinante:
145
MATEMÁTICA II-3004- (Ciencias Biológicas)-Teórico
f x g x h x
W f , g, h f ' x g ' x h ' x
f '' x g '' x h '' x
f1 f2 fn
f1 f 2 f n
1 1 1
W f1 , f 2 , , fn
f1
n 1
f 2
n 1
f n
n 1
x
146