Facultad de Economa y Empresa

Grado en Economa, 2013-14

lgebra
Tema 2: Espacios Vectoriales

M. Dolores Garca Sanz <dgarcia@usal.es>

Bernardo Garca-Bernalt Alonso <bgarcia@usal.es>
J. Manuel Cascn <casbar@usal.es>

29/10/2014

Esquema
Espacios Vectoriales. Subespacios
Definicin
Subespacios
Combinaciones Lineales. Sistema generador
Dependencia e Independencia Lineal
Vectores linealmente independientes/dependientes
Teorema de independencia lineal
Bases y Dimensin
Bases y sus propiedades
Teoremas de la base y base incompleta
Coordenadas y rango
Suma de Subespacios
Definicin
Suma directa y Suplementarios
Frmula de Grassmann
Bibliografa
lgebra

Pg. 2

Esquema
Espacios Vectoriales. Subespacios
Definicin
Subespacios
Combinaciones Lineales. Sistema generador
Dependencia e Independencia Lineal
Vectores linealmente independientes/dependientes
Teorema de independencia lineal
Bases y Dimensin
Bases y sus propiedades
Teoremas de la base y base incompleta
Coordenadas y rango
Suma de Subespacios
Definicin
Suma directa y Suplementarios
Frmula de Grassmann
Bibliografa
lgebra

Pg. 3

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E
lgebra

e, e 0 E

, R, e E

Pg. 4

Espacio Vectorial. Definicin

Definicin Sea E un conjunto. Se dice que (E,+,) es un espacio vectorial
sobre R (o un R- espacio vectorial) si + y son dos operaciones definidas
sobre E que verifican:
+ es una operacin interna
(suma de vectores):
+ : E E E
0

(e, e ) e + e

1.

Asociativa :
e + (e 0 + e 00 ) = (e + e 0 ) + e 00 ,

e, e 0 , e 00 E

2.

Elemento neutro :
0 E : e + 0 = 0 + e = e,

3.

Elemento opuesto :
e E, e E : e + (e) = (e) + e = 0

4.
es una operacin externa
(producto por escalar):

5.

: R E E

6.

(, e) e = e

eE

Conmutativa : e + e 0 = e 0 + e
Distributiva I :
(e + e 0 ) = e + e 0 ,
Distributiva II :
( + )e = e + e,

e, e 0 E

R, e, e 0 E
, R, e E

7.

Mixta : ()e = (e),

8.

Identidad : 1e = e, e E

, R, e E

Ejemplos: Rn , Mnm (R), Pn (R)

lgebra

Pg. 4

Subespacios.
Definicin Sea E un R-espacio vectorial. E 0 E es
subespacio vectorial de E si E 0 es un R-espacio vectorial
con las operaciones de E.

las operaciones de E son estables en E 0

Proposicin
E 0 E es subespacio

1. e, e 0 E 0

e + e0 E0

2. e E , R
e, e 0 E 0 , , R

e E 0 ,
e + e 0 E 0

Toda combinacin lineal de elementos de E 0 pertenece a E 0

lgebra

Pg. 5

Subespacios.
Definicin Sea E un R-espacio vectorial. E 0 E es
subespacio vectorial de E si E 0 es un R-espacio vectorial
con las operaciones de E.

las operaciones de E son estables en E 0

Proposicin
E 0 E es subespacio

1. e, e 0 E 0

e + e0 E0

2. e E , R
e, e 0 E 0 , , R

e E 0 ,
e + e 0 E 0

Toda combinacin lineal de elementos de E 0 pertenece a E 0

lgebra

Pg. 5

Subespacios.
Definicin Sea E un R-espacio vectorial. E 0 E es
subespacio vectorial de E si E 0 es un R-espacio vectorial
con las operaciones de E.

las operaciones de E son estables en E 0

Proposicin
E 0 E es subespacio

1. e, e 0 E 0

e + e0 E0

2. e E , R
e, e 0 E 0 , , R

e E 0 ,
e + e 0 E 0

Toda combinacin lineal de elementos de E 0 pertenece a E 0

lgebra

Pg. 5

Subespacios. Propiedades

El vector 0 pertenece a todos los subespacios.

La interseccin de subespacios es subespacio.
La union de subespacios NO es en general
subespacio.
La unin de dos subespacios es subespacio
Uno est contenido en el otro.

lgebra

Pg. 6

Combinaciones Lineales
Definiciones
Sea E un R espacio vectorial. Sean e1 , e2 , . . . , ep E
Se llama combinacin lineal de los vectores
e1 , e2 , . . . , ep a todo vector de la forma:
1 e1 + 2 e2 + . . . + p ep
donde 1 , 2 , . . . , p R son escalares cualesquiera.
Se llama subespacio generado por los vectores
e1 , e2 , . . . , ep al conjunto de sus combinaciones lineales
he1 , e2 , . . . , ep i = {1 e1 +2 e2 +. . .+p ep : 1 , 2 , . . . , p R}
Se dice que {e1 , e2 , . . . , ep } son generadores de E si
E = he1 , e2 , . . . , ep i
es decir, cualquier elemento de E es combinacin lineal
de {e1 , e2 , . . . , ep }.
lgebra

Pg. 7

Combinaciones Lineales
Definiciones
Sea E un R espacio vectorial. Sean e1 , e2 , . . . , ep E
Se llama combinacin lineal de los vectores
e1 , e2 , . . . , ep a todo vector de la forma:
1 e1 + 2 e2 + . . . + p ep
donde 1 , 2 , . . . , p R son escalares cualesquiera.
Se llama subespacio generado por los vectores
e1 , e2 , . . . , ep al conjunto de sus combinaciones lineales
he1 , e2 , . . . , ep i = {1 e1 +2 e2 +. . .+p ep : 1 , 2 , . . . , p R}
Se dice que {e1 , e2 , . . . , ep } son generadores de E si
E = he1 , e2 , . . . , ep i
es decir, cualquier elemento de E es combinacin lineal
de {e1 , e2 , . . . , ep }.
lgebra

Pg. 7

Combinaciones Lineales
Definiciones
Sea E un R espacio vectorial. Sean e1 , e2 , . . . , ep E
Se llama combinacin lineal de los vectores
e1 , e2 , . . . , ep a todo vector de la forma:
1 e1 + 2 e2 + . . . + p ep
donde 1 , 2 , . . . , p R son escalares cualesquiera.
Se llama subespacio generado por los vectores
e1 , e2 , . . . , ep al conjunto de sus combinaciones lineales
he1 , e2 , . . . , ep i = {1 e1 +2 e2 +. . .+p ep : 1 , 2 , . . . , p R}
Se dice que {e1 , e2 , . . . , ep } son generadores de E si
E = he1 , e2 , . . . , ep i
es decir, cualquier elemento de E es combinacin lineal
de {e1 , e2 , . . . , ep }.
lgebra

Pg. 7

Combinaciones Lineales
Definiciones
Sea E un R espacio vectorial. Sean e1 , e2 , . . . , ep E
Se llama combinacin lineal de los vectores
e1 , e2 , . . . , ep a todo vector de la forma:
1 e1 + 2 e2 + . . . + p ep
donde 1 , 2 , . . . , p R son escalares cualesquiera.
Se llama subespacio generado por los vectores
e1 , e2 , . . . , ep al conjunto de sus combinaciones lineales
he1 , e2 , . . . , ep i = {1 e1 +2 e2 +. . .+p ep : 1 , 2 , . . . , p R}
Se dice que {e1 , e2 , . . . , ep } son generadores de E si
E = he1 , e2 , . . . , ep i
es decir, cualquier elemento de E es combinacin lineal
de {e1 , e2 , . . . , ep }.
lgebra

Pg. 7

Subespacios. Subespacio generado

Proposicin Sea E un R espacio vectorial y sean
e1 , e2 , . . . , ep E.
Entonces he1 , e2 , . . . , ep i es el menor subespacio de E
que contiene a {e1 , e2 , . . . , ep }
Dem.
1. he1 , e2 , . . . , ep i es subespacio. (Basta comprobar
que toda combinacin lineal de elementos de
he1 , e2 , . . . , ep i est en he1 , e2 , . . . , ep i ).
2. Si E 0 es un subespacio de E que contiene a
{e1 , e2 , . . . , ep } debe al menos contener a sus
combinaciones lineales por lo tanto:
he1 , e2 , . . . , ep i E 0
lgebra

Pg. 8

Subespacios. Subespacio generado

Proposicin Sea E un R espacio vectorial y sean
e1 , e2 , . . . , ep E.
Entonces he1 , e2 , . . . , ep i es el menor subespacio de E
que contiene a {e1 , e2 , . . . , ep }
Dem.
1. he1 , e2 , . . . , ep i es subespacio. (Basta comprobar
que toda combinacin lineal de elementos de
he1 , e2 , . . . , ep i est en he1 , e2 , . . . , ep i ).
2. Si E 0 es un subespacio de E que contiene a
{e1 , e2 , . . . , ep } debe al menos contener a sus
combinaciones lineales por lo tanto:
he1 , e2 , . . . , ep i E 0
lgebra

Pg. 8

Esquema
Espacios Vectoriales. Subespacios
Definicin
Subespacios
Combinaciones Lineales. Sistema generador
Dependencia e Independencia Lineal
Vectores linealmente independientes/dependientes
Teorema de independencia lineal
Bases y Dimensin
Bases y sus propiedades
Teoremas de la base y base incompleta
Coordenadas y rango
Suma de Subespacios
Definicin
Suma directa y Suplementarios
Frmula de Grassmann
Bibliografa
lgebra

Pg. 9

Dependencia e Independencia Lineal

Definiciones Sea E un R espacio vectorial.
Se dice que los vectores e1 , e2 , . . . , ep son linealmente
independientes (l.i.) si la nica combinacin lineal de
ellos igual al vector cero es la trivial (todos los
coeficientes nulos).
1 e1 + 2 e2 + . . . + p ep = 0 1 = 2 = . . . = p = 0
Se dice que los vectores e1 , e2 , . . . , ep son linealmente
dependientes (l.d.) si existe una combinacin lineal no
trivial igual al vector cero.
1 , . . . , p con algn i 6= 0 tal que 1 e1 + . . . + p ep = 0
Se dice que e depende linealmente de e1 , e2 , . . . , ep si y
slo si
e he1 , e2 , . . . , ep i
Ejemplos
lgebra

Pg. 10

Dependencia e Independencia Lineal.

Proposicin
Sea E un R espacio vectorial.
1. {e1 , e2 , . . . , ep } es l.d alguno de ellos es
combinacin del resto.
2. {e1 , e2 , . . . , ep } es l.i ninguno de ellos es
combinacin del resto.
Dem.
1. Basta despejar ei siendo i 6= 0 para obtener:
ei =

p
1
e1 + . . . + ep .
i
i

Supongamos e1 he2 , . . . , ep i, por tanto:

e1 = 2 e2 + . . . + p ep e1 + 2 e2 + . . . + p ep = 0
lgebra

Pg. 11

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i
{e1 , . . . , ep , e} es l.i.

e no depende linealmente de {e1 , . . . , ep }


e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Dependencia e Independencia Lineal.

Propiedades
Sea E un R espacio vectorial.
Todo sistema de vectores es l.i. o l.d.
Todo sistema que contiene al vector cero es l.d.
{e} es l.i. e 6= 0
{e1 , e2 } es l.d. uno de los vectores es proporcional al otro
{e1 , . . . , ep } son l.d. {e1 ,. . . , ep , e } es l.d e E
{e1 , . . . , ep } son l.i {e1 , . . . , ebi , . . . , ep } es l.i. i = 1, . . . , p

{e1 , . . . , ep } es l.i

e depende linealmente de {e1 , . . . , ep }

{e1 , . . . , ep , e} es l.d.

{e1 , . . . , ep } es l.i

{e1 , . . . , ep , e} es l.i.
e no depende linealmente de {e1 , . . . , ep }

e he1 , . . . , ep i

e he10 , . . . , eq0 i
ei he10 , . . . , eq0 i, i = 1, . . . , p
Todo vector de he1 , . . . , ep i
{e1 , . . . , ep } son l.i

se escribe de forma nica como

combinacin lineal de {e1 , . . . , ep }
lgebra

Pg. 12

Teorema de Independencia Lineal

Teorema. Sea E un R espacio vectorial.


{e1 , . . . , eq } es generador
{e10 , . . . , ep0 } es l.i.

lgebra

p6q

Pg. 13

Teorema de Independencia Lineal

Teorema. Sea E un R espacio vectorial.

{e1 , . . . , eq } es generador
{e10 , . . . , ep0 } es l.i.

p6q

Demo. Supongamos p > q. Trabajando por etapas es

posible demostrar que (eventualmente es necesario
reordenar los vectores):
{e1 , . . . , eq } s.g.
{e10 , . . . , ep0 } l.i.
...

{e10 , . . . , eq } s.g.
{e10 , . . . , ep0 } l.i.

{e10 , e20 , . . . , eq0 } s.g.

{e10 , . . . , ep0 }

l.i.

{e10 , e20 , . . . , eq } s.g.

{e10 , . . . , ep0 } l.i.

mientras p > q resulta:

0
eq+1
he10 , . . . , eq0 i

Lo cual es una contradiccin pues {e10 , . . . , ep0 } son l.i. Por

tanto debe ser p 6 q
lgebra

Pg. 13

Esquema
Espacios Vectoriales. Subespacios
Definicin
Subespacios
Combinaciones Lineales. Sistema generador
Dependencia e Independencia Lineal
Vectores linealmente independientes/dependientes
Teorema de independencia lineal
Bases y Dimensin
Bases y sus propiedades
Teoremas de la base y base incompleta
Coordenadas y rango
Suma de Subespacios
Definicin
Suma directa y Suplementarios
Frmula de Grassmann
Bibliografa
lgebra

Pg. 14

Bases
Sea E un R- espacio vectorial.
Definicin E se dice de tipo finito si existe un sistema
generador formado por un nmero finito de vectores.
Definicin Sea E de tipo finito. Se dice que los
vectores {e1 , . . . , en } forman una base si
1. Son generadores
2. Son linealmente independientes
Nota: En este curso slo trataremos con espacios
vectoriales de tipo finito. Es decir, E siempre ser un
R espacio vectorial de tipo finito.
lgebra

Pg. 15

Base. Caracterizacin

Proposicin Las siguientes condiciones son equivalentes.

1. {e1 , . . . , en } es base.
2. Todo vector de E se escribe de forma nica como
combinacin lineal de {e1 , . . . , en }
3. {e1 , . . . , en } son l.i. y dejan de serlo al aadir otro
vector.
4. {e1 , . . . , en } son generadores y dejan de serlo al
prescindir de alguno de ellos.
Demo.

lgebra

Pg. 16

Base. Caracterizacin
Proposicin Las siguientes condiciones son equivalentes.
1. {e1 , . . . , en } es base.
2. Todo vector de E se escribe de forma nica como
combinacin lineal de {e1 , . . . , en }
3. {e1 , . . . , en } son l.i. y dejan de serlo al aadir otro
vector.
4. {e1 , . . . , en } son generadores y dejan de serlo al
prescindir de alguno de ellos.
Demo.

12


{e1 , . . . , en } es base


son generadores
son l.i.

todo e E se escribe como c.l. {e1 , . . . , en }

e he1 , . . . , en i se escribe de forma nica
lgebra

Pg. 16

Base. Caracterizacin
Proposicin Las siguientes condiciones son equivalentes.
1. {e1 , . . . , en } es base.
2. Todo vector de E se escribe de forma nica como
combinacin lineal de {e1 , . . . , en }
3. {e1 , . . . , en } son l.i. y dejan de serlo al aadir otro
vector.
4. {e1 , . . . , en } son generadores y dejan de serlo al
prescindir de alguno de ellos.
Demo.
23
{e1 , . . . , en } son l.i. pues el vector 0 se escribe de forma
nica.
{e1 , . . . , en } dejan de ser l.i al aadir otro pues el nuevo
vector e se puede escribir como combinacin lineal de
{e1 , . . . , en } por hiptesis.
lgebra

Pg. 16

Base. Caracterizacin
Proposicin Las siguientes condiciones son equivalentes.
1. {e1 , . . . , en } es base.
2. Todo vector de E se escribe de forma nica como
combinacin lineal de {e1 , . . . , en }
3. {e1 , . . . , en } son l.i. y dejan de serlo al aadir otro
vector.
4. {e1 , . . . , en } son generadores y dejan de serlo al
prescindir de alguno de ellos.
Demo.
3 4 Veamos que {e1 , . . . , en } son generadores. Sea e E,
por 3 tenemos:
1 e1 + . . . + n en + e = 0
con 6= 0 despejando se tiene e he1 , . . . , en i = E.
Si se prescinde de uno dejan de ser generadores, pues el
eliminado no puede ser generado por los dems, ya que por
3 son l.i.
lgebra

Pg. 16

Base. Caracterizacin
Proposicin Las siguientes condiciones son equivalentes.
1. {e1 , . . . , en } es base.
2. Todo vector de E se escribe de forma nica como
combinacin lineal de {e1 , . . . , en }
3. {e1 , . . . , en } son l.i. y dejan de serlo al aadir otro
vector.
4. {e1 , . . . , en } son generadores y dejan de serlo al
prescindir de alguno de ellos.
Demo.
4 1 Razonado por reduccin al absurdo supongamos
que {e1 , . . . , en } no son l.i.. Es decir, existe una combinacin
lineal:
1 e1 + . . . i ei + . . . + n en = 0,

con i 6= 0

despejando tenemos ei he1 , . . . , ebi . . . , en i = E. Lo cual

contradice 4 .
lgebra

Pg. 16

Teoremas

Teorema de la base
Todo R-espacio vectorial de tipo finito tiene una base.

lgebra

Pg. 17

Teoremas

Teorema de la base
Todo R-espacio vectorial de tipo finito tiene una base.
Demo. Por ser de tipo finito tiene un sistema generador
formado por un nmero finito de vectores. Para obtener
una base basta utilizar la propiedad 4 de la proposicin
anterior.

lgebra

Pg. 17

Teoremas

Teorema de la base
Todo R-espacio vectorial de tipo finito tiene una base.

Teorema de la dimensin
Todas las bases de un R-espacio vectorial de tipo finito
tienen el mismo nmero de vectores.

lgebra

Pg. 17

Teoremas
Teorema de la base
Todo R-espacio vectorial de tipo finito tiene una base.

Teorema de la dimensin
Todas las bases de un R-espacio vectorial de tipo finito
tienen el mismo nmero de vectores.
0
Demo. Sean {e1 , . . . , en } y {e10 , . . . , em
} veamos que n = m.
Por el teorema de independencia lineal (ambos cojuntos son
generadores y l.i):

m6n
n=m

n6m

lgebra

Pg. 17

Teoremas
Teorema de la base
Todo R-espacio vectorial de tipo finito tiene una base.

Teorema de la dimensin
Todas las bases de un R-espacio vectorial de tipo finito
tienen el mismo nmero de vectores.

Definicin Se llama dimensin de un R espacio vectorial,

E, al nmero de vectores que la componen. Se denota
dim E .
Nota: Si E = {0}, dim E = 0
Ejemplos
lgebra

Pg. 17

Propiedades
Sea E un R espacio vectorial de dimensin finita.
Si {e1 , . . . , ep } es un s.g. p > dim E
Si {e1 , . . . , ep } son l.i. p 6 dim E
Si {e1 , . . . , ep } es s.g. y p = dim E {e1 , . . . , ep } es base.
Si {e1 , . . . , ep } son l.i. y p = dim E {e1 , . . . , ep } es base.
dim E es el nmero mximo de vectores de E l.i
dim E es el nmero mnimo de vectores de E que
forman un s.g.

Demo. Todas los resultados anteriores son consecuencia

directa del teorema de independencia lineal y de la
proposicin de la pg. 16.
lgebra

Pg. 18

Propiedades
Sea E un R espacio vectorial de dimensin finita.
Si {e1 , . . . , ep } es un s.g. p > dim E
Si {e1 , . . . , ep } son l.i. p 6 dim E
Si {e1 , . . . , ep } es s.g. y p = dim E {e1 , . . . , ep } es base.
Si {e1 , . . . , ep } son l.i. y p = dim E {e1 , . . . , ep } es base.
dim E es el nmero mximo de vectores de E l.i
dim E es el nmero mnimo de vectores de E que
forman un s.g.

Demo. Todas los resultados anteriores son consecuencia

directa del teorema de independencia lineal y de la
proposicin de la pg. 16.
lgebra

Pg. 18

Propiedades
Sea E un R espacio vectorial de dimensin finita.
Si {e1 , . . . , ep } es un s.g. p > dim E
Si {e1 , . . . , ep } son l.i. p 6 dim E
Si {e1 , . . . , ep } es s.g. y p = dim E {e1 , . . . , ep } es base.
Si {e1 , . . . , ep } son l.i. y p = dim E {e1 , . . . , ep } es base.
dim E es el nmero mximo de vectores de E l.i
dim E es el nmero mnimo de vectores de E que
forman un s.g.

Demo. Todas los resultados anteriores son consecuencia

directa del teorema de independencia lineal y de la
proposicin de la pg. 16.
lgebra

Pg. 18

Propiedades
Sea E un R espacio vectorial de dimensin finita.
Si {e1 , . . . , ep } es un s.g. p > dim E
Si {e1 , . . . , ep } son l.i. p 6 dim E
Si {e1 , . . . , ep } es s.g. y p = dim E {e1 , . . . , ep } es base.
Si {e1 , . . . , ep } son l.i. y p = dim E {e1 , . . . , ep } es base.
dim E es el nmero mximo de vectores de E l.i
dim E es el nmero mnimo de vectores de E que
forman un s.g.

Demo. Todas los resultados anteriores son consecuencia

directa del teorema de independencia lineal y de la
proposicin de la pg. 16.
lgebra

Pg. 18

Propiedades
Sea E un R espacio vectorial de dimensin finita.
Si {e1 , . . . , ep } es un s.g. p > dim E
Si {e1 , . . . , ep } son l.i. p 6 dim E
Si {e1 , . . . , ep } es s.g. y p = dim E {e1 , . . . , ep } es base.
Si {e1 , . . . , ep } son l.i. y p = dim E {e1 , . . . , ep } es base.
dim E es el nmero mximo de vectores de E l.i
dim E es el nmero mnimo de vectores de E que
forman un s.g.

Demo. Todas los resultados anteriores son consecuencia

directa del teorema de independencia lineal y de la
proposicin de la pg. 16.
lgebra

Pg. 18

Propiedades
Sea E un R espacio vectorial de dimensin finita.
Si {e1 , . . . , ep } es un s.g. p > dim E
Si {e1 , . . . , ep } son l.i. p 6 dim E
Si {e1 , . . . , ep } es s.g. y p = dim E {e1 , . . . , ep } es base.
Si {e1 , . . . , ep } son l.i. y p = dim E {e1 , . . . , ep } es base.
dim E es el nmero mximo de vectores de E l.i
dim E es el nmero mnimo de vectores de E que
forman un s.g.

Demo. Todas los resultados anteriores son consecuencia

directa del teorema de independencia lineal y de la
proposicin de la pg. 16.
lgebra

Pg. 18

Propiedades
Sea E un R espacio vectorial de dimensin finita.
Si {e1 , . . . , ep } es un s.g. p > dim E
Si {e1 , . . . , ep } son l.i. p 6 dim E
Si {e1 , . . . , ep } es s.g. y p = dim E {e1 , . . . , ep } es base.
Si {e1 , . . . , ep } son l.i. y p = dim E {e1 , . . . , ep } es base.
dim E es el nmero mximo de vectores de E l.i
dim E es el nmero mnimo de vectores de E que
forman un s.g.

Demo. Todas los resultados anteriores son consecuencia

directa del teorema de independencia lineal y de la
proposicin de la pg. 16.
lgebra

Pg. 18

Teorema de la base incompleta

Teorema Sea E un R-espacio vectorial de dimensin n.

Todo sistema linealmente independiente puede ampliarse
hasta obtener una base de E.
Demo La demostracin se basa en aadir vectores de una
base al sistema l.i. hasta completar una base.

Proposicin Si E 0 es un subespacio de E entonces:

dim E 0 6 dim E
dim E = dim E 0

lgebra

E 0 = E.

Pg. 19

Coordenadas y rango
Definicin Sea E un R-espacio vectorial, y B = {e1 , . . . , en }.
Se llaman coordenadas de un vector e en la base B a la
n-tupla (1 , 2 , . . . , n ) tal que:
e = 1 e1 + 2 e2 + . . . + n en
Nota Las coordenadas en una base son nicas.
Ejemplos Base cannica.
Definicin Sea E un R-espacio vectorial, y {e1 , . . . , ep } un
sistema de vectores. Se llaman rango de {e1 , . . . , ep } a la
dimensin del espacio que generan, i.e.
rang(e1 , . . . , ep ) = dim he1 , . . . , ep i
Propiedad (Clculo efectivo del rango)
rang(e1 , . . . , ep ) = rang(A)
siendo A la matriz de coordenadas de {e1 , . . . , ep }
lgebra

Pg. 20

Coordenadas y rango
Definicin Sea E un R-espacio vectorial, y B = {e1 , . . . , en }.
Se llaman coordenadas de un vector e en la base B a la
n-tupla (1 , 2 , . . . , n ) tal que:
e = 1 e1 + 2 e2 + . . . + n en
Nota Las coordenadas en una base son nicas.
Ejemplos Base cannica.
Definicin Sea E un R-espacio vectorial, y {e1 , . . . , ep } un
sistema de vectores. Se llaman rango de {e1 , . . . , ep } a la
dimensin del espacio que generan, i.e.
rang(e1 , . . . , ep ) = dim he1 , . . . , ep i
Propiedad (Clculo efectivo del rango)
rang(e1 , . . . , ep ) = rang(A)
siendo A la matriz de coordenadas de {e1 , . . . , ep }
lgebra

Pg. 20

Rango. Propiedades

Propiedades Sea E un R-espacio vectorial, y {e1 , . . . , ep }

un sistema de vectores.
rang(e1 , . . . , ep ) es el mayor nmero de vectores l.i.
en {e1 , . . . , ep }
{e1 , . . . , ep } son l.i. rang(e1 , . . . , ep ) = p
{e1 , . . . , ep } es s.g. rang(e1 , . . . , ep ) = dim E
Demo. Es consecuencia directa de la definicin de rango.

lgebra

Pg. 21

Esquema
Espacios Vectoriales. Subespacios
Definicin
Subespacios
Combinaciones Lineales. Sistema generador
Dependencia e Independencia Lineal
Vectores linealmente independientes/dependientes
Teorema de independencia lineal
Bases y Dimensin
Bases y sus propiedades
Teoremas de la base y base incompleta
Coordenadas y rango
Suma de Subespacios
Definicin
Suma directa y Suplementarios
Frmula de Grassmann
Bibliografa
lgebra

Pg. 22

Suma de Subespacios
Definicin Sea E un R-espacio vectorial y sean E1 y E2
subespacios de E. Se llama suma de E1 y E2 , y se denota
E1 + E2 , al conjunto:
E1 + E2 = {e1 + e2 : e1 E1 , e2 E2 }
Proposicin E1 + E2 es el menor subespacio que contiene a
E1 y E2 .
Demo
1. E1 + E2 es subespacio. Es fcil comprobar que cualquier
combinacin lineal de elementos de E1 + E2 pertenece a E1 + E2 .
2. E1 + E2 es el menor subespacio que contiene a E1 y a E2 . Si E 0 es un
subespacio que contiene a E1 y a E2 debe contener sus
combinaciones lineales, en particular a
e1 + e2 con e1 E1 , e2 E2
es decir, E1 + E2 E 0 .
lgebra

Pg. 23

Suma de subespacios
Proposicin Sea E un R-espacio vectorial y sean E1 y E2
dos subespacios vectoriales de E.
Si {e1 , . . . , ep } es un sistema generador de E1 y {e10 , . . . , eq0 }
es un sistema generador de E2 , entonces
{e1 , . . . , ep , e10 , . . . , eq0 }
es un sistema generador de E1 + E2
Demo Dado e E1 + E2 , por definicin e = e1 + e2 , siendo
e1 E1 y e2 E2 . Utilizando que los sistemas {e1 , . . . , ep } y
{e10 , . . . , eq0 } son generadores podemos escribir:
e = e1 + e2 = (1 e1 + . . . + p ep ) + (1 e10 + . . . + q eq0 )
Lo cual prueba el resultado.

lgebra

Pg. 24

Suma directa
Definicin Sea E un R-espacio vectorial y sean E1 y E2 dos
subespacios vectoriales de E. Se dice que E1 y E2 estn en
posicin de suma directa y se denota E1 E2 si todo vector
de E1 + E2 se escribe de forma nica como suma de un
vector de E1 y otro de E2
e1 , e10 E1 , e2 , e20 E2 : e1 +e2 = e10 +e20 e1 = e10 y e2 = e20
Proposicin
E1 E2 E1 E2 = {0}
Demo Sea e E1 E2 veamos que e = 0. Notar que e se puede
escribir
e = e + 0 = 0 + e,
y por definicin de suma directa e = 0.
Sean e1 , e10 E1 y e2 , e20 E2 tales que
e1 + e2 = e10 + e20
veamos que e1 = e10 y e2 = e20 . Operando tenemos:
e1 + e2 = e10 + e20

e1 e10 = e2 e20 E1 E2

y por hiptesis resulta e1 = e1 y e2 = e20

lgebra

Pg. 25

Suma directa
Definicin Sea E un R-espacio vectorial y sean E1 y E2 dos
subespacios vectoriales de E. Se dice que E1 y E2 estn en
posicin de suma directa y se denota E1 E2 si todo vector
de E1 + E2 se escribe de forma nica como suma de un
vector de E1 y otro de E2
e1 , e10 E1 , e2 , e20 E2 : e1 +e2 = e10 +e20 e1 = e10 y e2 = e20
Proposicin
E1 E2 E1 E2 = {0}
Demo Sea e E1 E2 veamos que e = 0. Notar que e se puede
escribir
e = e + 0 = 0 + e,
y por definicin de suma directa e = 0.
Sean e1 , e10 E1 y e2 , e20 E2 tales que
e1 + e2 = e10 + e20
veamos que e1 = e10 y e2 = e20 . Operando tenemos:
e1 + e2 = e10 + e20

e1 e10 = e2 e20 E1 E2

y por hiptesis resulta e1 = e1 y e2 = e20

lgebra

Pg. 25

Suma directa

Propiedades Sea E un R-espacio vectorial y sean E1 y E2

dos subespacios vectoriales de E.
1. E1 E2 si y slo si la nion de una base de E1 y una
base de E2 es una base de E1 + E2
2. dim E1 E2 = dim E1 + dim E2
Demo

lgebra

Pg. 26

Suma directa
Propiedades Sea E un R-espacio vectorial y sean E1 y E2
dos subespacios vectoriales de E.
1. E1 E2 si y slo si la nion de una base de E1 y una
base de E2 es una base de E1 + E2
2. dim E1 E2 = dim E1 + dim E2
Demo

1. Si {e1 , . . . , ep } es base de E1 , y {e10 , . . . , eq0 } es base de E2 , veamos

que {e1 , . . . , ep , e10 , . . . , eq0 } es base de E1 + E2 . Basta comprobar que son
l.i. En efecto:
1 e1 + . . . + p ep + 1 e10 + . . . + q eq0 = 0
1 e1 + . . . + p ep = (1 e10 + . . . + q eq0 )

1 e1 + . . . + p ep = 0
======
E1 E2 ={0}
1 e10 + . . . + q eq0 = 0

1 = . . . = p = 0,
===============
1 = . . . = q = 0,
{e1 , . . . , ep }
son l.i.
{e10 , . . . , eq0 }

lgebra

Pg. 26

Suma directa
Propiedades Sea E un R-espacio vectorial y sean E1 y E2
dos subespacios vectoriales de E.
1. E1 E2 si y slo si la nion de una base de E1 y una
base de E2 es una base de E1 + E2
2. dim E1 E2 = dim E1 + dim E2
Demo

1. Si {e1 , . . . , ep } es base de E1 , {e10 , . . . , eq0 } es base de E2 , y

{e1 , . . . , ep , e10 , . . . , eq0 } es base de E1 + E2 , veamos que E1 E2 .
Sea e E1 E2 , basta probar que e = 0. Por estar e en la interseccin
tenemos:

e = 1 e1 + . . . + p ep
1 e1 + . . . p ep (1 e10 + . . . + q eq0 ) = 0
e = 1 e10 + . . . + q eq0
y por ser {e1 , . . . , ep , e10 , . . . , eq0 } base de E1 E2 y en particular l.i.
concluimos que 1 = . . . = p = 1 = . . . = q = 0 y por tanto
e=0

lgebra

Pg. 26

Suma directa

Propiedades Sea E un R-espacio vectorial y sean E1 y E2

dos subespacios vectoriales de E.
1. E1 E2 si y slo si la nion de una base de E1 y una
base de E2 es una base de E1 + E2
2. dim E1 E2 = dim E1 + dim E2
Demo
2. Es una consecuencia directa de 1.

lgebra

Pg. 26

Suplementario
Definicin Sea E un R-espacio vectorial y sean E1 y E2 dos
subespacios vectoriales de E. Se dice que E1 y E2 son
suplementarios si todo vector de E se escribe de forma
nica como suma de un vector de E1 y otro de E2
Proposicin

(1)

(2)

E1 y E2 son suplementarios
E1 E2 = E

E1 + E2 = E
E1 E2 = {0}

Demo
1

Por definicin se deducen ambas implicaciones.

2

La demostracin es la misma que la homloga para el

caso de suma directa con la observacin de que
E = E1 + E2 .

lgebra

Pg. 27

Suplementario
Definicin Sea E un R-espacio vectorial y sean E1 y E2 dos
subespacios vectoriales de E. Se dice que E1 y E2 son
suplementarios si todo vector de E se escribe de forma
nica como suma de un vector de E1 y otro de E2
Proposicin

(1)

(2)

E1 y E2 son suplementarios
E1 E2 = E

E1 + E2 = E
E1 E2 = {0}

Demo
1

Por definicin se deducen ambas implicaciones.

2

La demostracin es la misma que la homloga para el

caso de suma directa con la observacin de que
E = E1 + E2 .

lgebra

Pg. 27

Suplementario
Proposicin
1. E1 y E2 son suplementarios si y slo si la nion de una
base de E1 y una base de E2 es una base de E
2. Si E1 y E2 son suplementarios:
dim E = dim E1 + dim E2
3. Todo subespecio vectorial E 0 de E tiene algn
subespacio suplementario.
Demo
1. La demostracin es la misma que la homloga para el
caso de suma directa con la observacin de que E1 + E2 = E
2. Es consecuencia de 1.
3. Basta usar el teorema de la base incompleta.

lgebra

Pg. 28

Suplementario
Proposicin
1. E1 y E2 son suplementarios si y slo si la nion de una
base de E1 y una base de E2 es una base de E
2. Si E1 y E2 son suplementarios:
dim E = dim E1 + dim E2
3. Todo subespecio vectorial E 0 de E tiene algn
subespacio suplementario.
Demo
1. La demostracin es la misma que la homloga para el
caso de suma directa con la observacin de que E1 + E2 = E
2. Es consecuencia de 1.
3. Basta usar el teorema de la base incompleta.

lgebra

Pg. 28

Frmula de Grassmann

Proposicion Sea E1 y E2 dos subespacios vectoriales de E.

Entonces:
dim E1 + E2 = dim E1 + dim E2 dim E1 E2
Demo Sea {e1 , . . . , ep } una base de E1 E2 . Utilizando el teorema de la
base incompleta, se construyen sendas bases de E1 y E2 :

{e1 , . . . , ep } base de E1 E2

{e1 , . . . , ep , u1 , . . . , ur } base de E1
{e1 , . . . , ep , v1 , . . . , vq } base de E2

Veamos que {e1 , . . . , ep , u1 , . . . , ur , v1 , . . . , vq } es base de E1 + E2 .

lgebra

Pg. 29

Frmula de Grassmann

Proposicion Sea E1 y E2 dos subespacios vectoriales de E.

Entonces:
dim E1 + E2 = dim E1 + dim E2 dim E1 E2
Demo Sea {e1 , . . . , ep } una base de E1 E2 . Utilizando el teorema de la
base incompleta, se construyen sendas bases de E1 y E2 :

{e1 , . . . , ep } base de E1 E2

{e1 , . . . , ep , u1 , . . . , ur } base de E1
{e1 , . . . , ep , v1 , . . . , vq } base de E2

Veamos que {e1 , . . . , ep , u1 , . . . , ur , v1 , . . . , vq } es base de E1 + E2 .

lgebra

Pg. 29

Frmula de Grassmann
Proposicion Sea E1 y E2 dos subespacios vectoriales de E.
Entonces:
dim E1 + E2 = dim E1 + dim E2 dim E1 E2
Demo Sea {e1 , . . . , ep } una base de E1 E2 . Utilizando el teorema de la
base incompleta, se construyen sendas bases de E1 y E2 :

{e1 , . . . , ep , u1 , . . . , ur } base de E1
{e1 , . . . , ep } base de E1 E2
{e1 , . . . , ep , v1 , . . . , vq } base de E2
Veamos que {e1 , . . . , ep , u1 , . . . , ur , v1 , . . . , vq } es base de E1 + E2 . Es claro
que son generadores (por construccin). Ademas son l.i.
1 e1 + . . . + p ep + 1 u1 + . . . + r ur + 1 v1 + . . . + r vr = 0

(1)

E1 3 1 e1 + . . . + p ep + 1 u1 + . . . + r ur = 1 v1 . . . r vr E2
Luego 1 v1 . . . r vr E1 E2 y por tanto se puede escribir:
1 v1 . . . r vr = 10 e1 + . . . + p0 ep
Por ser {e1 , . . . , ep , u1 , . . . , ur } base de E2 , se obtiene 1 = . . . = r = 0.
Sustituyendo esto en (1) y usando que {e1 , . . . , ep , u1 , . . . , ur } es base de
E2 , deducimos: 1 = . . . = p = 1 = . . . = r = 0 y conclumos la l.i.
lgebra

Pg. 29

Frmula de Grassmann
Proposicion Sea E1 y E2 dos subespacios vectoriales de E.
Entonces:
dim E1 + E2 = dim E1 + dim E2 dim E1 E2
Demo Sea {e1 , . . . , ep } una base de E1 E2 . Utilizando el teorema de la
base incompleta, se construyen sendas bases de E1 y E2 :

{e1 , . . . , ep } base de E1 E2

{e1 , . . . , ep , u1 , . . . , ur } base de E1
{e1 , . . . , ep , v1 , . . . , vq } base de E2

Veamos que {e1 , . . . , ep , u1 , . . . , ur , v1 , . . . , vq } es base de E1 + E2 .

Para finalizar basta observar:
p + r + q = (p + r) + (p + q) p

dim E1 + E2 = dim E1 + dim E2 dim E1 E2

lgebra

Pg. 29

Esquema
Espacios Vectoriales. Subespacios
Definicin
Subespacios
Combinaciones Lineales. Sistema generador
Dependencia e Independencia Lineal
Vectores linealmente independientes/dependientes
Teorema de independencia lineal
Bases y Dimensin
Bases y sus propiedades
Teoremas de la base y base incompleta
Coordenadas y rango
Suma de Subespacios
Definicin
Suma directa y Suplementarios
Frmula de Grassmann
Bibliografa
lgebra

Pg. 30

Bibliografa

M. D. G ARCA . B. G ARCA B ERNALT, M. A. M ANRIQUE Y J.

C. R ODRGUEZ. Manual prctico de Matemticas para
Economa y Empresa . Delta Publicaciones 2006

lgebra

Pg. 31