SUBESPACIOS VECTORIALES

- En lgebra lineal, un subespacio vectorial es el subconjunto de un

espacio vectorial, que debe cumplir ciertas caractersticas especficas.
-Sean V y S dos espacios vectoriales definidos en el campo K,
entonces S es un subespacio vectorial de V, si y solo si, S V.
-De hecho, todos los espacios vectoriales tienen subconjuntos que
tambin son espacios vectoriales.
V

Condicin de existencia de
subespacio
El criterio para la verificacin de que S sea subespacio de V, es que ambas
operaciones (+ entre elementos del conjunto S y * con escalares del cuerpo
K) sean cerradas, es decir, den como resultado elementos que tambin
pertenezcan a S.
Para ello se definen 4 axiomas que de cumplirse, garantizan la existencia
del subespacio vectorial. Sea V un espacio vectorial, se define S como
subespacio vectorial si y solo si:

1. S no es un conjunto vaco.

2. S es igual o est incluido en V.

3. La suma es ley de composicin interna.

4. El producto es ley de composicin externa.

-Si estos cuatro axiomas se cumplen entonces el conjunto es un

subespacio.

TEOREMA
-Sea (V, K, +, *) un espacio vectorial S V, S ,

S es un subespacio vectorial de V si y solo si cumple que:

1.

u, v S / u+v S

2. K, u S / u S

Interseccin:
Se define la interseccin ( ) de dos subespacios
vectoriales S1 y S2 de V, como el subconjunto de V que
verifica:

a S1 S2 a S1 y a S2
Teorema : La interseccin de un nmero cualquiera de
subespacios vectoriales de un espacio vectorial V es, a
su vez, un subespacio vectorial de V.

Suma:
Sea (V ; K ; +; ) y sean S1 y S2 dos subespacios de V.
Se llama suma
de S1 y S2 al conjunto:

S1 +S2 = {s1 + s2 / s1 S1, s2 S2}

Teorema : El conjunto S1 + S2 es un subespacio de V;
es el menor
de todos los subespacios que contienen a S1 y S2.

Suma directa:
Sean S1 y S2 subespacios de un espacio vectorial (V; K
;+; ) y sea L V , decimos que L es suma directa de S1
y S2; lo que se denota L = S1 S2, si se verifica que :
L = S1 + S2 y S1S2 = .
Si L = V; a los subespacios S1 y S2 se les
denominan subespacios complementarios.

Unin :
S1

S2 = {

V / S1 ^ S2}

En la gran mayora de los casos la unin de dos subespacios no es

un subespacio de V, pues no se cumple con la ley de composicin
interna. Pertenece de forma segura la unin a V en los casos en que
S1 este contenido en S2 o viceversa.