Professional Documents
Culture Documents
2.3.-
Material N7
SUBESPACIOS VECTORIALES.
DEFINICION:
Dado un espacio vectorial V(IK), se dice que un subconjunto S de V, es un
subespacio vectorial (s.e.v.) de V si y slo si:
1) S .
2) S(IK) es espacio vectorial con las mismas operaciones de V(IK)
Notacin: S V S s.e.v. de V
Observacin: En cualquier espacio vectorial V(IK), existen al menos dos s.e.v. llamados
triviales:
a) V V, pues
1) V V, con 0v V, V
2) V (IK) es espacio vectorial.
Material N7
Material N7
: IK, s, t S: s + t S
: S 0 S(IK) V(IK)
Material N7
s + t = (a, b, a + b) + (c, d, c + d )
= [ a + c, b + d, (a + b) + (c + d)]
= [ a + c, b + d, (a + c) + (b + d)]
que respeta la condicin para estar en W.
Luego, s + t W. Por lo cual, W es s.e.v. de IR3.
2) Demostremos que S = {fF/ f(a) = 0, para aIR, fijo} es un s.e.v. de F,
conjunto de las funciones reales cotinuas sobre IR.
Dem.: 1) 0F = f0 S, pues f0(x) = 0, x IR, y en particular se tiene que
f0(a) = 0. Luego S .
2) Consideremos IR, s = f y t = g dos vectores de S. Por lo tanto
f(a) = 0 y g(a) = 0.
Debemos probar que s + t S, es decir, (s + t)(a) = 0.
Vemoslo: (s + t)(a) = (f + g)(a)
= (f)(a) + g(a)
= f(a) + g(a)
= 0 + 0
=0
Luego, s + t S, y concluimos que S es s.e.v. de F.
3) Sea IP2 = {ax2 + bx + c , con a, b, cIR } el espacio vectorial de polinomios
de grado menor o igual que 2 , sobre IR, con las operaciones habituales.
Si definimos W = { p(x) = ax2 + bx + c / p(1) = 0}, demuestre que W IP2.
Dem.: Si p(x) = ax2 + bx + c W, entonces p(1) = a + b + c = 0.
Es decir, p(x)W si y slo si c = (a + b), a, bIR.
W = {ax 2 + bx (a + b)IP2, a, bIR}es una definicin de W de
acue0rdo a una forma caracterstica de sus vectores.
Ahora usamos el teorema 2.3.1.2.1) Si a = b = 0, entonces p(x) = 0x2 + 0x (0 + 0) = 0.
0W y entonces W .
2) Sea IR y consideremos p(x) = ax2 + bx (a + b) y
q(x) = ax2 + bx (a + b)W.
Debemos probar que p(x) + q(x) W. Vemoslo:
p(x) + q(x) = [ax2 + bx (a + b)] + ax2 + bx (a+ b)
= (a + a)x2 + (b + b)x (a + b + a + b)
= (a + a)x2 + (b + b)x (a + a + b + b )
=
Ax2 +
Bx
(A + B)
con A = a + a y B = b + b
p(x) + q(x)W ya que tiene la forma tpica de sus vectores.
W IP2
Material N7
Dem.:
1)
2)
De 1 y 2, se concluye que W1 W2 V.
2.3.2.2.- Subespacio Suma:
Si W1 y W2 son s.e.v. de un espacio vectorial V(IK), y se define la Suma de ellos
como el conjunto W1 + W2 = {w V/ w = w1 + w2, con w1W1 y w2 W2 }, entonces
W1 + W2 V.
Demostracin: 1) W1 + W2 , pues 0v W1 + W2 ya que 0v W1 (W1 V) y 0v
W2 (W2 V).
2) Probaremos que K; s, t W1 + W2: s + t W1 + W2.
Sea IK y consideremos s y t W1 + W2.
Luego, s1 y t1 W1 , s2 y t2 W2 tales que s = s1 + s2 y t = t1 + t2.
De aqu que s + t = (s1 + s2) + (t1 + t2), y por el lgebra en V,
= s1 + s2 + t1 + t2
= s1 + t1 + s2 + t2 , donde s1 + t1 W1
s2 + t2 W2
s + t W1 + W2
Luego, W1 + W2 V.
5
2.4.-
Material N7
DEFINICION:
En un espacio vectorial V(IK), consideremos un conjunto S =
{v k }
m
k =1
de
L(S) = i v i ,con i IK , v i S
i =1
{v k }
m
k =1
Luego, s + t =
=
, sean en IK, s = k vk y t =
k vk +
k =1
m
k =1
k vk
L(S).
k =1
k vk
k =1
(k vk ) + k vk
k =1
m
(k )vk + k vk
k =1
m
k =1
s + t L(S)
L(S) V
Material N7
Observacin: Cuando se dice que L(S) es el s.e.v. ms pequeo que contiene a S, se afirma
p
j = 1, .... ,p. Es fcil ver que si S Wj entonces Wj contiene a todas las c.l. de S,
para cada j variando de 1 a p.
Al s.e.v. de las combinaciones lineales de S le llamaremos tambin s.e.v.
generado por S y le anotaremos < S >.
Ejemplo: Si S = {(1, 0, 1), (1, 1, 1), (0, 1, 0)} IR3 entonces el espacio generado por S ser
< S > = {(x, y, z) IR3 / (x, y , z) = (1, 0, 1) + (1, 1, 1) + (0, 1, 0)}, para
ciertos , , IR. Luego, ( x, y, z ) = ( + , + , )
x = ( ) ; y = + ; z = = x, Por esto, los vectores de S tienen la
forma (x, y, x) IR3, x, yIR (Pruebe que S es s.e.v. usando esta forma
caracterstica y el teorema fundamental 2.3.1.2.-)
Observacin: Note que el tercer vector de S es combinacin lineal de los otros dos:
(1, 1, 1) = 1(1, 0 , 1) + 1(0, 1, 0 )
Diremos que si un vector es c.l. de un conjunto T de vectores, entonces es
generado por T o, como veremos luego, que es linealmente dependiente de los
vectores de T. Luego, (1,1,1) es generado por T = {(1, 0, 1), (0, 1, 0)}.
Ms an, en el ejemplo anterior, si descomponemos la forma caracterstica de
los vectores de S como c.l., (x, y, x) = x(1, 0, 1) + y(0, 1, 0) , x, y IR,
se obtiene que < S > = <{(1, 0, 1), (0, 1, 0)}> = < T >.
Por otro lado, si recordamos nuestro punto de partida:
(x, y , z) = (1, 0, 1) + (1, 1, 1) + (0, 1, 0)
= (1, 0, 1) + (0, 1, 0 ) + [(1, 0, 1) + (0, 1, 0)]
= ( ) (1, 0, 1 ) + ( + ) ( 0, 1, 0 )
= x (1, 0, 1 ) + y ( 0, 1, 0 ), llegamos a la misma conclusin.
Terminemos los alcances a la definicin de s.e.v. generado por un conjunto S
diciendo que:
a) Por convencin, diremos que < > = {0v}. Este acuerdo evitar una
laguna conceptual, sin introducir contradiccin alguna en la teora general.
b) En el espacio geomtrico tridimensional IR3(IR) se distinguen tres tipos de
s.e.v. generado:
i) Un vector no nulo v, genera un s.e.v. lineal (recta por el origen ):
L(v) = <{v}> = { v , IR}
ii)
2.5.-
Material N7
DEFINICIN:
{ }m
k vk = 0 v [k = 0, k = 1,..., m]
k =1
k =1
+
Pero, por definicin del polinomio cero: 2 + +
=
=
0 .
0
Material N7
{ }m