Subespacios

Introduccin
3

En muchas aplicaciones es necesario emplear subconjuntos de espacios vectoriales,

que son a su vez espacios vectoriales. En el mdulo 1 vimos que el conjunto de
ternas ordenadas que forman un plano que pasa por el origen es un espacio vecto-

En \ las rectas y los planos que pasan por el origen son

subespacios.

rial, as que tanto \ 3 como este subconjunto son espacios vectoriales.

Objetivos
1. Reconocer en V aquellos subconjuntos que tienen estructura de espacio vectorial.
2. Aplicar el criterio de subespacio para determinar subespacios en un espacio
vectorial V.
3. Aplicar las propiedades de los subespacios.

Preguntas bsicas
1. Qu es un subespacio?
2. Si H es un subespacio de V, el elemento neutro de V pertenece a H?
3. Es la interseccin de subespacios de V un subespacio de V? Lo es la unin?
4. En todo espacio vectorial hay subespacios?

Contenidos
2.1 Definicin y criterio de subespacio
2.2 Ejemplos
2.3 Propiedades

Vea el mdulo 2 del programa de televisin

lgebra lineal.

lgebra lineal elemental y aplicaciones

37

Captulo 1: Espacios vectoriales

2.1 Definicin y criterio de subespacio

Sea H un subconjunto no vaco de un espacio vectorial V y supngase que H en s
mismo es un espacio vectorial con las operaciones de suma y multiplicacin por un
escalar definidas en V. Entonces se dice que H es un subespacio de V.
El siguiente teorema nos mostrar un resultado que simplificar notablemente el
trabajo para determinar si un subconjunto de V es o no un subespacio de V.
Teorema 1: Criterio de subespacio
Un subconjunto no vaco H del espacio vectorial V es un subespacio de V si se
cumplen las dos reglas de cerradura. Esto es:
1.

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

2.

Si x H , entonces x H para todo escalar .

La demostracin del teorema consiste en verificar que al darse las dos reglas de
cerradura se verifican los dems axiomas de la definicin de espacio vectorial.
Como los vectores de H tambin estn en V, las leyes de asociatividad, conmutatividad,
de distribucin y de identidad multiplicativa (axiomas ii, v, vii, viii, ix y x) se cumplen.
Ahora, si x H , entonces 0x H por (2) y 0 x = 0 (teorema 1, mdulo 1). De igual
manera, (1)x H y ( 1) x = x (teorema 1, mdulo1), verificndose el axioma iv.
Con esto queda completa la demostracin.
El teorema anterior establece que para probar si un conjunto H, H V es o no un
subespacio de V, basta con probar las dos reglas de cerradura.
Como consecuencia del teorema podemos expresar lo siguiente:
i.

Todo subespacio de un espacio vectorial V contiene el 0.

ii.

Todo espacio vectorial tiene dos subespacios triviales: el mismo espacio

(V V) y el conjunto que tiene como nico elemento el mdulo. Por qu?

Los subespacios distintos a V y {0} se llaman subespacios propios.

2.2 Ejemplos
1.

Sea H = {( x, y) / y = mx, m es un real fijo y x\} .

H \ 2 y H .

Sean (x1 , y1 ) y (x2 y2 ) elementos de H; entonces,

38

Mdulo 2: Subespacios
(x1 , y1 ) = ( x1 , m x1 ) y (x2 , y2 ) = ( x2 , m x2 ).
( x1 + x2 , y1 + y2 ) = ( x1 + x2 , mx1 + mx2 )
= ( x1 + x2 , m ( x1 + x2 )).

Luego:
( x1 + x2 , y1 + y2 ) H .

Ahora, sea ( x , y ) H y veamos si ( x , y ) H .

( x, y ) = ( x, m x),

( x, y ) = ( x, mx) = ( x, mx) = ( x, m( x) ) ,
( x, m( x)) H .
Por lo tanto:
( x, y ) H .

En consecuencia, el conjunto de puntos del plano que estn sobre una recta
que pasa por el origen forma un subespacio de \2 .
2.

2
2
Sea H = {( x, y ) \ / y = mx + b} , H \ , H

Veamos si H es un subespacio de \2 .
H est formado por los puntos sobre una recta de pendiente m e intercepto
con el eje y igual a b; es decir, una recta que no pasa por el origen.
Sean (x1 , y1 ) y (x2 , y2 ) elementos de H. Veamos si (x1 , y1 ) + (x2 , y2 ) H .
(x1 , y1 ) = ( x1 , m x1 + b), (x2 , y2 ) = ( x2 , m x2 + b).
(x1 , y1 ) + (x2 , y2 ) = ( x1 + x2 , y1 + y2 ) = (x1 + x2 , m x1 + b + mx2 + b)
= (x1 + x2 , m ( x1 + x2 ) + 2b).

Luego (x1 , y1 ) + (x2 , y2 ) H ; por lo tanto, H no es un subespacio de \2 .

3.

3
Sea H = {( x, y, z ) \ / x = at , y = bt , z = ct ; a, b, c, t \} .

H es el conjunto de puntos de \ 3 que estn sobre una recta del espacio que
pasa por el origen. Comprobemos para H las dos reglas de cerradura.
Sean ( x1 , y1 , z1 ) y ( x2 , y2 , z2 ) H ; entonces,
( x1 , y1 , z1 ) = (at1 , bt1 , ct1 ), t1 \ ,
( x2 , y2 , z2 ) = (at2 , bt2 , ct2 ), t2 \ ,

lgebra lineal elemental y aplicaciones

39

Captulo 1: Espacios vectoriales

( x1 , y1 , z1 ) + ( x2 , y2 , z2 ) = (at1 + at2 , bt1 + bt2 , ct1 + ct2 )
= (a(t1 + t2 ), b(t1 + t2 ), c(t1 + t2 )), (t1 + t2 ) \.
Luego (( x1 , y1 , z1 ) + ( x2 , y2 , z2 )) H y

( x1 , y1 , z1 ) = ( (at1 ), (bt1 ), (ct1 ))

= (a( t1 ), b( t1 ), c( t1 )) H , ( t1 \).

As que H es un subespacio de \3 .
En \ 2 tenemos los siguientes subespacios: los subespacios triviales \ 2 y

{0} , y un subespacio propio, las rectas que pasan por el origen.

Los subespacios propios de \ 3 son las rectas y los planos que pasan por el
origen.
4.

Sabemos que todo polinomio es una funcin continua, as que el conjunto

de polinomios de grado menor o igual que n en el intervalo cerrado
[ a, b], Pn [ a, b] es un subconjunto del conjunto de funciones continuas
dentro del mismo intervalo.
Pn [a, b] C [a, b].

Como Pn es un espacio vectorial para todo entero n, entonces es un

subespacio de C[a, b] .
5.

Sea C [a, b] el conjunto de funciones con primera derivada continua,

definidas en [a, b] .
Como toda funcin derivable es continua, entonces C [a, b] C [ a, b]. Adems, la suma de funciones diferenciables es una funcin diferenciable, y un
mltiplo constante de una funcin diferenciable es diferenciable. Se ve
entonces que C [a, b] es un subespacio propio de C [a, b] , ya que no toda
funcin continua es diferenciable.

2.3 Propiedades
Teorema 2
Sean H1 y H 2 subespacios de un espacio vectorial V. Entonces H1 H 2 es un
subespacio de V.

40

Mdulo 2: Subespacios
Demostracin
H1 H 2 ya que 0 H1 H 2 .

Sean x1 y x2 elementos de H1 H 2 , luego x1 H1 y x1 H 2 . Igualmente,

x 2 H1 y x 2 H 2 . Como H1 y H 2 son subespacios, se cumple que
(x1 + x 2 ) H1 y (x1 + x 2 ) H 2 .

Es decir:
(x1 + x2 ) H1 H 2 .

Ahora, x1 H1 y x1 H 2 , ya que x1 H1 y x1 H 2 .
Luego:

x1 H1 H 2 .
Por lo tanto, se cumplen las dos reglas de cerradura y H1 H 2 es un subespacio.
La interseccin de subespacios es un subespacio, pero la unin ( H1 H 2 ) no
necesariamente es un subespacio.
Ejemplo
H1 = {( x, y )\ 2 / y = x} .

H 2 = {( x, y )\ 2 / y = 2 x} .

(1, 1) H1 y (1, 2) H 2 .

Entonces:
(1, 1) ( H1 H 2 ) y (1, 2) H1 H 2 .

Pero (1, 1) + (1, 2) = (2, 3) ( H1 H 2 ) ya que (2, 3) H1 y (2, 3) H 2 . As que

H1 H 2 no es cerrado bajo la suma ; por lo tanto, no es un subespacio.

lgebra lineal elemental y aplicaciones

41

Ejercicios del captulo 1 (mdulo 2)

En los ejercicios 1 a 12 se dan un espacio V y un subconjunto W. Determine si W es un subespacio.

1.

V = \2 , W = {( x, y) : x = y} .

2.

V = M nn , W = { A M nn : A es simtrica} .

3.

V = \ 3 , W = {( x, y , z ) \ 3 : ( x, y , z ) es perpendicular a ( a, b, c)} .

4.

V = P4 , W = { p P4 : p(0) = 0} .

5.

V = P4 , W = { p P4 : p(0) = 1} .

6.

V = P4 , W = { p P4 : grado de p = 4} .

7.

La traza de una matriz An n se define como:

tr A = a11 + a22 + ... + ann .

Sean V = M nn y W = { A M nn : tr A = 0} .
8.

a 0

V = M 22 , W = A M 22 : A =
.
0 b

9.

a b
V = M 23 , W = A M 23 : A =
d e

10.

a b c
V = M 23 , W = A M 23 : A =
, donde b = a + c .

d 0 0

11.

V = C [0, 1], W = { f C [0, 1] : f (0) = f (1) = 0} .

12.

V = C[0, 1], W = { f C[0, 1] : f (0) = 1} .

13.

0 b

Sean V = M 23 , W1 = A M 23 : A =
d e

14.

, donde a = 2c + 1 .

c
a b c

con b = a + c .
y W2 = A M 23 : A =

d e 0

a.

Demuestre que W1 y W2 son subespacios.

b.

Describa el subconjunto W = W1 W2 y demuestre que es un subespacio.

Sea W = {x \ n : AX = 0, con A M m n } .
Demuestre que W es un subespacio de \ n . W se llama espacio nulo de la matriz A.

42

15.

Sean x = (1, 2, 4) e y = (3, 2, 0) dos vectores en \ 3 y sea

W = {u \ 3 : u = x + y , con , \} .

Demuestre que W es un subespacio de \ 3 .

16.

Sean W1 y W2 subespacios de un espacio vectorial V.

Sea W1 + W2 = { v : v = v1 + v 2 con v1 W1 y v 2 W2 } .
Demuestre que W1 + W2 es un subespacio de V.

lgebra lineal elemental y aplicaciones

43