Condiciones necesarias y suficientes para caracterizar subespacios

Sea W un subconjunto de un espacio vectorial V (W⊆V).

Wes subespacio de V si y sólo si se cumplen las siguientes condiciones:
a. 0V0V está en W.
b. Si u y v están en W, entonces u+v está en W.
c. Si u está en W y k es un escalar, ku está en W.
Observaciones

1. La condición (a) asegura que W no es vacío. La mejor manera de comprobar si

W es un subespacio es buscar primero si contiene al vector nulo. Si 0V está en W,
entonces deben verificarse las propiedades (b) y (c). Si 0V no está en W, W no
puede ser un subespacio y no hace falta verificar las otras propiedades.
2. Las propiedades a, b y c corresponden a los axiomas 4, 1 y 6 de espacios
vectoriales.

3. Los axiomas 2, 3, 7, 8, 9 y 10 de espacio vectorial se cumplen para W porque

éste es un subconjunto de V. Puede decirse que W «hereda» esas propiedades
de V.
4. Faltaría comprobar que cada vector de W tiene su opuesto en W (axioma 5 de
espacios vectoriales):
Teniendo en cuenta la condición (c) de subespacios,
c. Si u está en W y k es un escalar, ku está en W.
Si tomamos k=–1, resulta:
Para cada u∈W, (–1)u=–u ∈W,(–1)
Y por lo tanto cada vector de W tiene su opuesto en W.
De las observaciones anteriores se deduce que las condiciones (a), (b) y (c) son
suficientes para demostrar que W es un espacio vectorial, y por lo tanto
subespacio de V.