SUB ESPACIO VECTORIAL.

Definicin
En lgebra lineal, un subespacio vectorial es el subconjunto de un espacio
vectorial, que satisface por s mismo la definicin de espacio vectorial con
las mismas operaciones que V.
Sea H un subconjunto no vaco de un espacio vectorial V y suponga que H
es en s un espacio vectorial bajo las operaciones de suma y multiplicacin
por un escalar definidas en V. Entonces se dice que H es un sub espacio de
V.
Existen mltiples ejemplos de sub espacio, sin embargo, en primer lugar, se
demostrar un resultado que hace relativamente sencillo determinar si un
subconjunto de V es en realidad sub espacio de V
Teorema de sub espacio
Un subconjunto no vaco de H de un espacio vectorial V es un sub espacio
de V si se cumplen las dos reglas de cerradura:
Reglas de cerradura para ver si un subconjunto no vaci es un sub
espacio
i)

Si x H y y H, entonces x + y H.

ii)

Si x H, entonces x H para todo escalar .

Es obvio que si H es un espacio vectorial, entonces las dos reglas de

cerradura se debern cumplir. De lo contrario, para demostrar que es un
espacio vectorial, se deber demostrar
Teorema 2
Sea V un espacio vectorial sobre IK y S V un subconjunto no vaco. S es un
subespacio vectorial precisamente si se verifica:
1. x + y S, para cualesquiera x, y S.
2. x S, para cualquier IK, x S.
Equivalente, si se verifica:
a. x + y S, para cualesquiera x, y S, , IK.

OPERACIONES CON SUBESPACIOS VECTORIALES

Sea (V, +, K, *) un espacio vectorial; (S, +, K, *) y (W, +, K, *) subespacios
de V, se definen las siguientes operaciones:

UNION
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. S pertenece de forma segura la unin a V en los casos en que S

este contenido en W o viceversa.

INTERSECCIION
La interseccin de dos subespacios es un subespacio de V.
SUMA
La suma de dos subespacios es un subespacio de V.

SUMA DIRECTA
Si la interseccin entre S y W es el subespacio trivial (es decir, el vector
nulo), entonces a la suma se la llama "suma directa".1
Es decir que si
Lo que quiere decir tambin que todo vector de S+W, se escribe de
manera nica como la suma de un vector de S y otro de W.