.2 Definicin de subespacio vectorial y sus propiedades.

Sea W un subconjunto de un espacio vectorial V sobre un cuerpo K. W se denomina un

subespacio de V si es a su vez un espacio vectorial sobre K con respecto a las operaciones de V,
suma vectorial y producto por un escalar. Un criterio simple para identificar subespacios es el
siguiente.

Teorema: supongamos que W es un subconjunto de un espacio vectorial V. entonces W es un
subespacio de V si y solo si se cumple:
1. 0W
2. W es cerrado bajo la suma de vectores, es decir: para todo par de vectores u, vW, la
suma u+vW.
3. W es cerrado bajo el producto por un escalar, esto es: para todo uW y para todo kK el
mltiplo kuW.


Corolario: W es un subespacio de V si y solo si:
1. 0W.
2. au+bvW para todos los u, vW y a, bK.


Ejemplo: sean U y W subespacios de un espacio vectorial V. probemos que la interseccin UW
es tambin subespacio de V. claramente, 0U y 0W, porque U y W son subespacios, de donde
0UW. supongamos ahora que u, vUW. entonces u, vU y u, vE y, dado que U y W son
subespacios, u+v, kuU y u+v, kuW para cualquier escalar k. as u+v, kuUW y por
consiguiente UW es un subespacio de V. El resultado del ejemplo precedente se generaliza como
sigue.

Teorema: la interseccin de cualquier nmero de subespacios de un espacio vectorial V es un
subespacio de V.

Recurdese que toda solucin de un sistema de ecuaciones lineales con n incgnitas AX=B puede
verse como un punto en Kn y por tanto el conjunto solucin de tal sistema es un subconjunto de
Kn. Supongamos que el sistema homogneo, es decir, supongamos que el sistema tiene la forma
AX=0. Denotemos por W su conjunto solucin. Como A0=0, el vector cero 0W adems, si u y v
pertenecen a W, esto es, si u y v son soluciones de AX=0, necesariamente Au=0 y Av=0. Por esta
razn, para todo par de escalares a y b en K, tendremos A(au+bv)=aAu+bAv=a0+b0=0+0=0. De
esta manera, au + bv es tambin una solucin de AX=0 o, dicho de otro modo, au+bvW. En
consecuencia, segn el corolario, hemos demostrado:

Teorema: el conjunto solucin W de un sistema homogneo con n incgnitas AX=0 es un
subespacio de kn.

Hacemos nfasis en que el conjunto solucin de un sistema inhomogneo AX=B no es subespacio
de Kn. De hecho, el vector cero, 0, no pertenece a dicho conjunto solucin.



1 'u' y 'v' pertenecen a 'W', entonces 'u+v' pertenece a 'W'
2 'u' pertenece a 'W' y 'a' a los reales, entonces 'a.u' pertenece a W.

sea R^2 el espacio vectorial usual

sea W={ (x,y) pertenecen a R^2 : y=x}

la pregunta es W es un subespacio vectorial de R^2?

W es un subconjunto de R^2

X y Y son vectores ok?

sean X y Y pertenecientes a W y t pertenece a R entonces:

X=(x, y) con x=y
Y=(z, k) con z=k

ahora desmostramos si tX +Y pertenece a W

tX+Y=t(x,y) + (z,k) // estamos sustituyendo
= (tx, ty) + (tz, tk)
= (tx +z, ty + k)
// estos si son una pareja de numeros reales, ya que por las propiedades dichas al principio si se
sustituyen las variables y se resuelve la operacion nos da una pareja de numeros reales y se
cumple la 1 CONDICION

ahora:
como x=y y k=z implica que:

ty=tx y k=z entonces

(ty + k = tx + z) por lo tanto

tX y Y pertenecen a W y W es un subespacio vectorial de R^2 y se cumple la 2 CONDICION