Caracterización de subespacios vectoriales

Enunciamos un teorema de caracterización de subespacios vectoriales y da-

mos ejemplos. En el último de ellos se demuestra el teorema.

Teorema 1. (De caracterización de subespacios vectoriales)

Sea E espacio vectorial sobre el cuerpo K. Sea F ⊂ E. Entonces, F es subes-

pacio vectorial de E si y solo si se verifican las tres siguientes condiciones:

(i) 0 ∈ F.
(ii ) Para todo x ∈ F y para todo y ∈ F se verifica x + y ∈ F.
(iii ) Para todo λ ∈ K y para todo x ∈ F se verifica λx ∈ F.

1. Se considera el espacio vectorial real usual Rn (n ≥ 2.) Analizar si los

siguientes subconjuntos de Rn son o no subespacios.

(a) F1 = {(x1 , . . . , xn ) ∈ Rn : x1 x2 = 0}
(b) F2 = {(x1 , . . . , xn ) ∈ Rn : x1 + . . . + xn = 1}
(c) F3 = {(x1 , . . . , xn ) ∈ Rn : x1 + . . . + xn = 0}
(d ) F4 = {(x1 , . . . , xn ) ∈ Rn : x1 ∈ Z}

Resolución (a) (i ) El vector cero de Rn esto es (0, . . . , 0) pertenece a F1 pues

x1 x2 = 0 · 0 = 0.
(ii ) Elijamos x = (1, 0, . . . , 0), y = (0, 1, . . . , 0). Evidentemente x e y per-
tenecen a F1 , sin embargo x + y = (1, 1, . . . , 0) 6∈ F1 . Es decir, F1 no es
subespacio de Rn .

(b) (i ) (0, . . . , 0) 6∈ F2 pues x1 + . . . + xn = 0 + . . . + 0 = 0 6= 1, por tanto F2

no es subespacio de Rn .

(c) (i) (0, . . . , 0) ∈ F3 pues x1 + . . . + xn = 0 + . . . + 0 = 0.

(ii ) Consideremos los vectores x = (x1 , . . . , xn ) ∈ F3 , y = (y1 , . . . , yn ) ∈ F3 .
Entonces por la definición de F3 se verifica x1 +. . .+xn = 0 e y1 +. . .+yn = 0.
Tenemos x + y = (x1 + y1 , . . . , xn + yn ) y además

(x1 + y1 ) + . . . + (xn + yn ) = (x1 + . . . + xn ) + (y1 + . . . + yn ) = 0 + 0 = 0

1
es decir, x + y ∈ F3 .
(iii ) Sea λ ∈ R y x = (x1 , . . . , xn ) ∈ F3 , entonces x1 + . . . + xn = 0 y además
λx = (λx1 , . . . , λxn ). Por tanto λx1 + . . . + λxn = λ(x1 + . . . + xn ) = λ0 = 0
es decir, λx ∈ F3 . Concluimos que F3 es subespacio de Rn .

(d ) (i) (0, . . . , 0) ∈ F4 pues x1 = 0 ∈ Z.

(ii ) Sean x = (x1 , . . . , xn ) ∈ F4 e y = (y1 , . . . , yn ) ∈ F4 , entonces x1 ∈
Z, y1 ∈ Z. Tenemos x + y = (x1 + y1 , . . . , xn + yn ) y además x1 + y1 ∈ Z, es
decir x + y ∈ F4 .
(iii ) Elijamos λ = 1/2 ∈ R y x = (1, 0, . . . , 0). Evidentemente x ∈ F4 , sin
embargo λx = (1/2, 0, . . . ,0) 6∈ F4 . Concluimos que F4 no es subespacio de
Rn .

2. Sea E = Kn×n el espacio vectorial usual de las matrices cuadradas de

ordenes n × n y con elementos en el cuerpo K. Sea el subconjunto de E dado
por F = {A ∈ Kn×n : At = A}, es decir el subconjunto de E formado por
las matrices simétricas. Demostrar que F es subespacio de E.
Resolución (i ) La matriz nula 0 pertenece a F pues 0t = 0.
(ii ) Sean A, B matrices de F , entonces At = A y B t = B. Como la traspuesta
de la suma es la suma de las traspuestas, tenemos (A+B)t = At +B t = A+B
es decir, A + B ∈ F.
(iii ) Sea λ ∈ K y A ∈ F , entonces At = A. Como la traspuesta de un es-
calar por una matriz es el escalar por la traspuesta de la matriz, tenemos
(λA)t = λAt = λA por tanto λA ∈ F. Concluimos pues que F es subespacio
de Kn×n .

Nota De manera totalmente análoga se demostrarı́a que el subconjunto de

E = Kn×n formado por las matrices antisimétricas es también subsespacio
de E.

3. Sea E = F(R, R) el espacio vectorial real usual de las funciones f de R en

R. Se considera el subconjunto de E : F = {f ∈ E : f (−x) = f (x) ∀x ∈ R}
es decir, el subconjunto de las funciones pares. Demostrar que F es subespacio
de E.
Resolución (i ) El vector cero de E es la función 0 : R → R definida mediante
0(t) = 0 ∀t ∈ R, por tanto 0(−x) = 0(x) = 0 ∀x ∈ R. Es decir, 0 ∈ F.

2
(ii ) Sean f, g ∈ F. Usando la definición de suma de funciones tenemos para
todo x ∈ R

(f + g)(−x) = f (−x) + g(−x) = f (x) + g(x) = (f + g)(x)

En consecuencia f + g ∈ F.

(iii ) Sean λ ∈ R, f ∈ F. Usando la definición de producto de un escalar por

una función tenemos para todo x ∈ R

(λf )(−x) = λf (−x) = λf (x) = (λf )(x)

Es decir, λf ∈ F. Concluimos pues que F es subespacio de E.

Nota De manera análoga se demostrarı́a que el subconjunto de E = F(R, R)

formado por las funciones impares es también subespacio de E.

4. Demostrar el teorema de caracterización de subespacios vectoriales.

Resolución Supongamos que F ⊂ E es subespacio vectorial de E, entonces

(por definición de subespacio) F es espacio vectorial sobre el cuerpo K. Como
consecuencia inmediata de los axiomas de espacio vectorial, se verifican las
condiciones (i ) , (ii ) y (iii ) del teorema.

Recı́procamente, supongamos que se verifican las condiciones (i ), (ii ) y (iii )

del teorema. De (i ) deducimos que F 6= ∅. Por otra parte para todo y ∈ F
tenemos por (iii ) que −y = (−1)y ∈ F. De (ii ) deducimos x+(−y) = x−y ∈
F. Es decir, (F, +) es grupo abeliano. También de (ii ) deducimos que la ley
externa está bien definida sobre F y se cumplen sus correspondientes cuatro
axiomas de igualdad. Todo esto implica que F es un espacio vectorial sobre
K y por tanto, subespacio de E.

Autor: Fernando Revilla