57

CAPTULO 4
ESPACIOS VECTORIALES
4.1 INTRODUCCIN
Teniendo presente que tanto en el conjunto de los vectores del plano y del espacio, adems en
n
como en L( n , m ) y tambin en Mmn ( ) la suma y el producto por un escalar verifican las
mismas propiedades resulta razonable asignarle un nombre a una estructura algebraica con tales
propiedades. De ah la siguiente definicin.
Definicin

Consideramos V un conjunto no vaco, una operacin en V, ( K , ,) un cuerpo,

: K V V una funcin (operacin externa).

Decimos que (V , , K ,) es un espacio vectorial si y slo si:

1) (V, ) es un grupo conmutativo.
2) i) a.(b.v) (ab).v , a, b K , v V .
ii) (a b).v a.v b.v , a, b K , v V .
iii) a. v u a.v a.u , a K , u, v V .
iv) 1.v v , v V .
Nota
Habitualmente ( K , ,) es el cuerpo de los reales o de los complejos. En el primer caso
hablamos de un espacio vectorial real (o un espacio vectorial) y en el segundo de espacio
vectorial complejo (o espacio vectorial).
Si (V , , K ,.) es un espacio vectorial a los elementos de V los denominaremos vectores y a los de
K escalares.
Ejemplos
1) Es inmediato que: ( , , ,) y ( , , ,)

son espacios vectoriales reales.

Tambin que ( , , ,) es un espacio vectorial complejo.

2) Por lo visto en el captulo 1,

, , , es un espacio vectorial real.

57

58
3)

X , , ,.

es un espacio vectorial real.

El conjunto de los polinomios de grado n forma un espacio vectorial real?

4) Si llamamos Pn al conjunto de los polinomios de grado menor o igual que n junto
al polinomio nulo es posible demostrar que ( Pn , , ,.) es un espacio vectorial real.

5) L

, , , es un espacio vectorial real.

6) (Mmn ( ), , ,) es un espacio vectorial real.

Proposicin
Consideramos (V , , K ,) un espacio vectorial sobre el cuerpo K
Entonces se cumple:
i) 0.v , v V , siendo 0 el neutro de ( K , ) y

el neutro de (V , ) .
ii) v (1).v , v V .
iii) a. , a K .
iv) (a).v a.(v) a.v , a K , v V .

a0

v) a.v o
v

Dem:

vi)

a.v a.u
v u.
a0

vii)

a.v b.v
a b.
v

0.v 0.v 0.v v v 0.v v v 0.v 1.v v 0 1 .v v

v v
Las restantes cinco demostraciones quedan a cargo del lector.
58

59

4.2 SUBESPACIOS
Sabemos qu Pn es un espacio vectorial y que K X tambin lo es. Adems Pn K X y las
operaciones de Pn son las operaciones de K X "restringidas" a Pn , pudiendo considerar

Pn , , K ,
Definicin

como una subestructura de

K X , , K , .

Esto motiva la siguiente definicin.

Consideramos (V , , K ,.) un espacio vectorial y S un subconjunto no vaco de V.

Decimos que S es un subespacio vectorial de V si y solo si (S , , K ,) es un K-espacio vectorial

siendo + y las operaciones en V restringidas a S.
Ejercicio

Probar que S ( x, 0)

es un subespacio vectorial de

Nota
Seguramente habr observado que al realizar el ejercicio anterior que muchas de la
propiedades que deba demostrar son consecuencia inmediata de que S 2 .
Por ejemplo:
( x, y),( x, y )
( x, y) ( x, y ) ( x, y ) ( x, y) ,
( x,0) ( x,0) ( x,0) ( x,0) , ( x,0),( x,0) S .

Recordemos que si ( A, ) es una estructura algebraica y B A ; B

Entonces:
i) ( A, ) es conmutativa ( B, ) es conmutativa.
ii) ( A, ) es asociativa ( B, ) es asociativa.
iii) ( A, ) tiene la propiedad de neutro y el elemento neutro se denomina n.
( B, ) tiene la propiedad de neutro n B .

iv) ( A, ) tiene la propiedad de inverso.

( B, ) tiene la propiedad de inverso x B , x1 B .

Proposiciones similares caben para estructuras algebraicas mas ricas (con ms de una operacin,
con una relacin de orden, etc). Tengamos en cuenta el anlisis hecho en el curso de
Fundamentos de Matemtica con respecto a , y en relacin a .

59

60
Aplicando estos comentarios a la estructura de espacio vectorial tenemos:
Siendo S V ; S con (V , , K ,) un espacio vectorial,

1) u v S u , v S
2) V

S es un subespacio vectorial de V
3) v S , v S
4) v V K y v S
Observemos adems que la proposicin 4) implica la 3) ya que v (1).v .
Tambin 1) y 3) implican 2) porque v S 3) v S y adems por 1) v (v) S .
En resumen:
Siendo S V , S con (V , , K ,) un espacio vectorial

i ) u v S u, v S

S es un subespacio vectorial de V si y slo si

.
ii ) v V K y v S

Ambas condiciones las podemos resumir en una sola como muestra la siguiente proposicin.
Proposicin
(V , , K ,) un espacio vectorial , S V , S .
S es un subespacio vectorial de V sii v u S , , K , u, v S .
Demostracin a cargo del lector.
Ejercicio
Analizar si los siguientes conjuntos son subespacios vectoriales de

S1 ( x, y )

/ 3x 2 y 0

S2 ( x, y )

/ x y 1 0

S3 ( x, y )

/ ax by c 0 con a, b, c ; a 2 b 2 0

S4 ( x, y )

/ x2 y 2 0

Interpretar geomtricamente.
A esta altura cabe preguntarse si podemos encontrar ejemplos de subespacios en los espacios
vectoriales que conocemos. En particular podemos preguntarnos cuales son los subespacios de
2

y
. Ms precisamente nos gustara dar una descripcin en trminos geomtricos de dichos
subespacios.

60

61
Supongamos que S es un subespacio de 3 . Para todo par de vectores u y v de S y todo par de
escalares y , se tiene que u v S . Notemos con w al vector u v . Si observamos la
siguiente figura vemos que si u y v no son colineales entonces w pertenece al plano que pasa
por el origen y tiene vectores directores u y v. Ms precisamente si notamos w OP se tiene que
P pertenece a dicho plano.

u v( a a',b b',c c')

v( a',b',c')

u( a,b,c )

Si notamos u , , , v , , y w x, y, z

tenemos y
z

que son las

ecuaciones paramtricas de dicho plano.

Qu sucede si u y v son colineales?
En este caso existe un real tal que v u y entonces w u v u u u y
por tanto w tambin es colineal con u, es decir que w pertenece a la recta que pasa por el origen y
tiene vector director u.
Formalicemos todo esto en las siguientes observaciones.
Observaciones
1) Los planos que pasan por el origen son subespacios de
2) Las rectas que pasan por el origen son subespacios de

61

3
3

62
Dem:
1) Sea el plano de ecuacin ax by cz 0 . Si u , , y v , , son dos
vectores , entonces a b c 0 y a b c 0 . Por lo tanto para todo par de reales

y , tenemos a b c 0 de lo cual se deduce que

u v . Concluimos que es un subespacio de

Queda a cargo del lector la prueba de 2).

Ejercicio
Probar que las rectas que pasan por el origen son subespacios de

Operaciones con subespacios

Al ser los subespacios conjuntos, podemos operar con ellos. Cabe preguntarse si los resultados de
tales operaciones son un subespacio.
Proposicin
Sea V un K-espacio vectorial y S y T dos subespacios de V. Entonces S
subespacio de V.

T es un

Dem:

S T es un subespacio de V sii , K y v, u S T se tiene v u S T .

Veamos, v, u S T , v, u S y v, u T entonces v u S , , K y v u T ,
, K ya que S y T son subespacios de V. Entonces v u S T , K ,
razonamiento vlido v, u S T . Concluimos que S T es un subespacio de V.
Ejercicios
1) Investigar si S

T es un subespacio. Para ello analizar la situacin si

1) S ( x, y)

: x y 0 y T ( x, y)

2) S ( x, y)

: x y 0 y T

: x y 0 .

2) Investigar si S T es un subespacio. (Con S T nos referimos a la diferencia de los conjuntos

S y T)
Proposicin
Sea V un K-espacio vectorial y S y T dos subespacios de V.
Definimos S T v V : v s t con s S y t T . Entonces S T es un subespacio de V.

62

63

Dem:

S T es un subespacio de V sii v u S T , K y v, u S T .
Ahora:
v s t con s S y t T
v, u S T
v u (s t ) (s t )
u s t con s S y t T
v u s s t t v u S T

, K y v, u S T .

En la proposicin recin probada definimos una nueva operacin entre subespacios que
llamaremos suma. Veamos un par de ejemplos.
Ejemplos
1) Sea V
S2 ( x, y, z )

, S1 ( x, y, z )

: x 3 , y 2, z 5 con

: x , y 2 , z 13 con

Sabemos de geometra analtica que

S1 es una recta que pasa por el origen y tiene vector director u 3, 2,5 y S 2 es una recta que

pasa por el origen y tiene vector director v 1, 2, 13 .

Entonces S1 S2 ( x, y, z )
un plano. Observemos que S1

: x 3 , y 2 2 , z 5 13 con ,

que es

S2 .

Por otra parte surge de la propia definicin de suma de subespacios que todo vector de S1 S2 se
puede escribir como suma de un vector de S1 y un vector de S 2 . En este caso si w S1 S2 se
tiene w s1 s2 con s1 3 , 2 ,5 S1 y s2 , 2 , 13 S2 .
Si tomamos un vector w S1 S2 con w a, b, c y queremos hallar s1 y s2 , debemos plantear

3 a

el sistema 2 2 b . Este sistema debe ser compatible pues partimos de la base de que w
5 1 c
3

pertenece a S1 S2 . Averigemos si es determinado. Si consideramos el sistema formado por las

primeras dos ecuaciones tenemos que su determinante es

3 1
9 0 . De modo que existe
2 2

un nico par , que verifica las primeras dos ecuaciones y por lo tanto un nico par ,
que verifica las tres. De modo que el sistema es compatible determinado.
Este hecho trae como consecuencia que para todo vector w S1 S2 existe un nico vector

s1 S1 y un nico vector s2 S2 tal que w s1 s2 .

63

64
2) Sea V

, S1 ( x, y, z )

S2 ( x, y, z )

: x 3 , y 2 5 , z 12 con ,

: x 2 , y 3 , z

1
2

+ con ,

Sabemos

de

geometra

analtica que S1 es un plano que pasa por el origen y tiene vectores directores 3, 2, 1 y

1,5, 12

y S 2 es un plano que pasa por el origen y tiene vectores directores 2,3, 21 y 1,0,1 .

Entonces:

S1 S2 ( x, y, z )

: x 3 2 , y 2 5 3 , z 12 21 + con , , ,

No resulta del todo claro como describir geomtricamente este subespacio. Nuevamente si
w S1 S2 con w a, b, c y queremos hallar s1 y s2 , debemos plantear el sistema

3 2 a

2 5 3 b . Escalerizando se obtiene
1 1 + c

2
2

2 5 3 b

3 4 2 b 2c
.

29 +28 6a 8b 34c

Igual que en el ejemplo anterior el hecho de que w S1 S2 nos asegura que el sistema es
compatible. Es sencillo ver que es indeterminado. De esto se deduce que existen infinitas
cuaternas , , , que verifican las cuatro ecuaciones. Esto es existen infinitos vectores

s1 S1 ( s1 3 , 2 5 , 12 ) e infinitos vectores s2 S2 ( s2 2 ,3 , 21 + )
tales que w s1 s2 .
De los ejemplos anteriores surge que es interesante destacar la suma de dos subespacios S y T ,
cuando estos cumplen que S

T . La suma en esas condiciones se denomina suma directa

y se anota S T . Tiene la particularidad de que todo vector de la suma se puede escribir de una
nica forma como la suma de un vector de S y de uno de T. Veamos que esto es efectivamente
cierto.

Si v s t
y
v s t

s t s t s s t t x s s t t S

Como en este caso S

T.

T x s s t t s s y t t .

64

65

4.3 GENERADORES
Consideramos (V , , K ,) un espacio vectorial. A V finito y no vaco. Anotamos L(A) al
conjunto formado por todos los vectores que se pueden expresar como combinacin lineal de los
elementos de A.
En otras palabras si A v1 , v2 , , vn anotamos
n

L( A) v V : v 1v1 2 v2 n vn i vi con i K i de 1 a n
i 1

Tenemos la intencin de definir a L(A) como el subespacio generado por A. Para ello debemos
demostrar primeramente la siguiente

Proposicin

(V , , K ,) un espacio vectorial

A v1 , v2 , , vn V
L( A) es un subespacio de V.

L( A) v V : v i vi con i K i de 1 a n
i 1

Dem:
Volveremos a utilizar la condicin necesaria y suficiente:
L( A) es un subespacio sii u v L( A) , , K y u, v L( A) .
n

u, v L( A) , u i vi
i 1

y v i vi . Por tanto
i 1

i 1

i 1

u v u i vi i vi

i i vi .
i 1

Entonces el vector u v se puede expresar como combinacin lineal de los elementos de A.

Por lo cual u v L( A) , , K y u, v L( A) y de aqu que L(A) es un subespacio de
V.
Ejemplo
Consideramos en

al conjunto A (1, 2) .

En este caso L( A) (1, 2) :

( , 2 ) : ( x, y)

podemos considerar como el conjunto solucin en

: y 2 x , conjunto que

de la ecuacin y 2 x al cual podemos

interpretar geomtricamente como la recta de ecuacin y 2 x .

65

66
Ejercicio
1) Siendo B (1, 2),(1,1) probar que L( B)

2) Interpretar geomtricamente L (1,0,0),(1,1,0) .

Teorema

V es un espacio vectorial

H) A V , A
F S subespacio de V : A S

T) L( A)

S
SF

Dem:
Pretendemos demostrar que L( A)

S
SF

1) Si A v1 , v2 ,

1) L( A)
S

SF

S L( A)
2)
SF
n

, vn , v L( A) entonces v i vi con i K , i de 1 a n.
i 1

Como A S y S es un subespacio de V, S F , se tiene v i vi S , S F y entonces

i 1

S . En resumen: v L( A) , v

S.
SF

SF

2) L( A) F pues como vimos que es un subespacio de V y adems contiene a A y como la

S L( A) .

interseccin de conjuntos est incluida en cada uno de ellos tenemos que

SF

Corolario
Consideramos V un K-espacio vectorial y A un subconjunto finito y no vaco de V.
Se cumple que L( A) S para todo S subespacio de V que contenga a A.
En un lenguaje ms coloquial el subespacio generado por A es el menor de los subespacios que
contienen al conjunto A.
Ejercicio

Consideramos S L (1, 2,0),(2,1,1),(5,0, 2) . Verificar que el tercer vector es

combinacin lineal de los dos primeros. Probar que S L (1, 2,0),(2,1,1) .

66

67
Del ejercicio anterior se desprende que al "quitar" un vector que es combinacin lineal de los
dems "no se pierde informacin".
Proposicin
Consideramos V un espacio vectorial, A v1 , v2 ,

, vn un subconjunto de V y

vk A . Si vk es combinacin lineal de los dems vectores de A entonces L( A) L A vk .

Dem:

Es inmediato que L A vk L( A) , puesto que toda combinacin lineal de A vk

tambin lo es de A (basta agregar al vector vk multiplicado por 0).

Nos queda por demostrar que L( A) L A vk , esto es que u L( A) , u L A vk .

u L( A) , u 1v1

Por

hiptesis

vk

k 1vk 1 k vk k 1vk 1
es

combinacin

vk 1v1

k 1vk 1 k 1vk 1

u 1v1

k 1vk 1 1v1

lineal

n vn . (*)
de

los

dems

vectores

de

A.

n vn . Sustituyendo en (*) nos queda:

k 1vk 1 k 1vk 1

n vn k 1vk 1

n vn

Agrupando convenientemente obtenemos:

u 1 1 v1

k 1 k 1 vk 1 k 1 k 1 vk 1

n n vn

y entonces u L A vk .

4.4 DEPENDENCIA LINEAL

Recordemos el ejemplo previo al ltimo teorema de la seccin precedente.
En l consideramos el subespacio S L (1, 2,0),(2,1,1),(5,0, 2) y comprobamos que el vector
(5, 0, 2) es combinacin lineal de los otros dos, (5,0, 2) 1.(1, 2,0) 2.(2,1,1) . Esta igualdad la

podemos reescribir como 1.(1, 2,0) 2.(2,1,1) 1.(5,0, 2) 0,0,0 . Es decir, que un vector sea
combinacin lineal de los restantes es equivalente a que exista una combinacin lineal nula cuyos
coeficientes no son todos 0.
Ms en general, consideramos V un espacio vectorial y A v1 , v2 ,......, vn un subconjunto finito
no vaco de V. Observemos que siempre podemos hacer una combinacin lineal nula con los
elementos de A, esto es existen escalares x1 , x2 , , xn tales que x1 .v1 x2 v2 xn vn , basta
con tomar todos los escalares iguales a cero x1 x2

67

xn 0 . Esta combinacin lineal se

68
denomina habitualmente trivial. Cuando sta es la nica opcin diremos que el conjunto es
linealmente independiente y cuando no lo es, linealmente dependiente.
Ms precisamente:
Definicin

Consideramos V un espacio vectorial y A v1 , v2 ,

, vn un subconjunto finito no

vaco de V. Decimos que A es linealmente dependiente (LD) si y slo si existen x1 , x2 ,

, xn

xn vn .

escalares de K no todos nulos tal que x1 .v1 x2 v2

Si A no es linealmente dependiente se denomina linealmente independiente (LI).

En otros trminos: A es LI x1v1 x2 v2

xn 0 , o tambin

xn vn x1 x2

A es LI si y slo si la nica combinacin lineal nula que podemos realizar es la trivial.

Ejemplos
Analicemos la dependencia lineal (si es LI o LD) de los siguientes conjuntos:
1) A (1, 1,0),(1,3, 1),(3,1, 1) en
2) B (1,1,0),(1,0,1),(0,1,1) en

3) C f , g , h en F con f : f ( x) x , g : g ( x) cos x y h : h( x) sen x

siendo F el conjunto de todas las funciones de

en

1) Para poder decidir si A es LI o LD nos tomamos una combinacin lineal nula y vemos si
necesariamente los escalares deben ser cero o no.

(1, 1,0) (1,3, 1) (3,1, 1) (0,0,0) ( 3 , 3 , ) (0,0,0)

3 0
3 0
2

3 0
4 4 0

0
0

En consecuencia 2 (1, 1,0) (1,3, 1) (3,1, 1) (0,0,0) ,

y por ende A es LD.

2) (1,1,0) (1,0,1) (0,1,1) (0,0,0) ( , , ) (0,0,0)

68

69

0 0 . Por lo tanto B es LI.

0

3) f g h

f g h ( x) ( x) , x

f ( x) g ( x) h( x) 0 , x

Si (*) se cumple x

x cos x sen x 0 , x

. (*)

se cumple para x 0 . Entonces 0 cos 0 sen 0 0 0 .

Sustituyendo el valor de en (*) nos queda: x sen x 0 x

Si (**) se cumple x
2 sen 2 0 0 .

se

cumple

en

particular

. (**)

para

Sustituyendo el valor hallado de en (**) resulta: sen x 0 , x

x 2

tenemos:

. (***)

se cumple para x 2 y se tiene: sen 2 0 0 .

Si (***) se cumple x

Por lo tanto la nica combinacin lineal nula que podemos formar con los elementos de C es la
trivial. Por lo tanto C es LI.
Ejercicio
Consideramos V un espacio vectorial y A un subconjunto de V finito no vaco.
Probar:
1) Si A entonces A es LD.
2) Si existe A A tal que A es LD, entonces A es LD.
3) Si A es unitario, A es LD sii A .
4) Si A no es unitario, A es LD sii existe un vector de A que es combinacin
lineal de los otros elementos de A.
Proposicin
V es un espacio vectorial. A u1 , u2 ,
A es LD sii existe k

, un V con n 2 y ui , i de 1 a n.

con 2 k n tal que uk es combinacin lineal de u1 ,

Dem:
() Si A u1 , u2 ,

, un es LD entonces H i

de naturales no vaco pues n H .

69

: u1 ,

, uk 1 .

, ui es LD es un conjunto

70
Por el principio de buena ordenacin podemos afirmar que existe min H al que denominaremos
k. Por lo tanto k H , es decir que u1 ,
todos nulos tales que x1u1

, uk es LD y se tiene que existen escalares x1 ,

, xk no

xk uk .

Para poder "despejar" uk deberamos asegurarnos de que xk 0 . Lo cual demostraremos por

absurdo. Si xk 0 , existen x1 ,

u1 ,

ende

, xk 1 K no todos nulos tales que x1u1

xk 1uk 1 y por

, uk 1 es LD por lo cual k 1 H lo que es contradictorio puesto que

k 1 k min H .

Por lo tanto tenemos certeza de que xk 0 . Despejando uk de la igualdad queda

x
uk 1
xk

x2
u1

xk

de u1 , u2 ,

, uk 1 .

u2

x
k 1 uk 1 . Tenemos entonces que uk es combinacin lineal
xk

La demostracin del recproco queda a cargo del lector.

Hemos probado que un conjunto es L.D. sii existe un vector que es combinacin lineal de los
"anteriores".

4.5 BASES Y DIMENSIN

En

consideremos B (1,1,1),(1,1,0),(1,0,0) .

Nos proponemos 1) Hallar L(B) . 2) Estudiar la dependencia lineal de B.

1) ( x, y, z) L( B) , ,

,
Entonces

para

tales que ( x, y, z) (1,1,1) (1,1,0) (1,0,0)

; y

todo

( x, y, z )

x y

yz
z

existen

z , y z, x y

tales

( x, y, z) (1,1,1) (1,1,0) (1,0,0) .

Por lo tanto L( B)

0
0
0

2) (1,1,1) (1,1,0) (1,0,0) (0,0,0)

En consecuencia B es LI.

70

que

71
Tenemos pues un conjunto B que genera a 3 y adems es LI. Si prescindimos de uno de los
vectores de B, continuamos teniendo un generador de 3 ?
Tomemos por ejemplo B B (1,0,0) (1,1,1),(1,1,0) .
Si (1,0,0) L B existen ,

tales que (1,0,0) (1,1,1) (1,1,0) o lo que es lo mismo

(1,1,1) (1,1,0) (1)(1,0,0) (0,0,0) . Por ende B es LD (formamos una combinacin lineal
nula en donde al menos uno de los escalares es distinto de cero (-1)) lo cual es contradictorio con
lo demostrado en la parte 2). En consecuencia L( B) 3 .
Observemos que el razonamiento hecho no depende del vector excluido; sino de la condicin de
LI de B. Parece entonces que si tenemos un generador que simultneamente es LI, al quitarle un
vector perdemos su condicin de generador. Es inmediato que conservamos su condicin de LI.
Intente generalizar lo afirmado.
Podramos decir que B es un generador "minimal" en el sentido que no nos es posible encontrar
un generador de 3 estrictamente incluido en B.
Nos preguntamos ahora que ocurre si en lugar de quitar agregamos algn vector en B.
Consideramos B B u con u 3 B .
Como

L( B )

para

todo

vector

( x, y, z )

existen

( x, y, z) (1,1,1) (1,1,0) (1,0,0) y entonces ( x, y, z )

, ,

tales

existen , , ,0

que ( x, y, z) (1,1,1) (1,1,0) (1,0,0) 0 u y concluimos que L B

que
tales

Por lo tanto al agregarle un vector a B no perdemos su condicin de generador. Analicemos ahora

la dependencia lineal.
tales que u (1,1,1) (1,1,0) (1,0,0)
L( B ) 3 , u 3
, ,
(1,1,1) (1,1,0) (1,0,0) (1) u (0,0,0) y B es LD.
Al agregar un vector perdimos la condicin de L.I. En este sentido podemos decir que B es un
L.I. "maximal".
Definicin

Consideramos: V un espacio vectorial, B V , B , B finito.

L( B ) V
Decimos que B es una base de V
.
B es LI
Nota
Consideramos V un espacio vectorial y B v1 , v2 ,

, vn una base ordenada de V.

Como B es base, tambin es generador. En consecuencia todo vector de V se puede escribir como
combinacin lineal de B v1 , v2 ,

, vn . Analicemos de cuantas maneras ello es posible.

71

72

u x1v1 x2 v2
y
u y1v1 y2 v2

xn vn

x1v1 x2 v2
yn vn

x1 y1 v1 x2 y2 v2

xn vn u y1v1 y2 v2

yn vn

xn yn vn . Teniendo en cuenta que B es L.I. esto nos

x1 y1 0
x1 y1
x y 0
x y
2

2
2
2
lleva a que:
.
..................
............

xn yn 0
xn yn
Por lo tanto: si B v1 , v2 ,

, vn es una base ordenada del espacio vectorial V, entonces todo

vector de V puede escribirse de manera nica como combinacin lineal de los elementos de
B. Es decir u V existe x1 , x2 , , xn K n nica tal que u x1v1 x2 v2 xn vn .
A la n-pla x1 , x2 ,
Ejercicio

, xn la denominaremos coordenadas de u en la base B .

1) Probar que: B (1,1),(1,0) es una base de

2) Hallar las coordenadas de (3,4) en dicha base.

3) Hallar las coordenadas de a, b en la base B.
4) dem. con C (1,0),(0,1) .
5) Probar que D 1,1 x, (1 x)2 es base de P2 y hallar las coordenadas de
A ax 2 bx c en la base D.

1) Para demostrar que es base debemos probar que es L.I. y adems genera a 2 .
0
(1,1) (1, 0) (0, 0)
0 Lo cual demuestra que B es LI.
0
Nos falta probar que: ( x, y)
( x, y) (1,1) (1,0)

, ,

tales que ( x, y) (1,1) (1,0) .

x
y

y
x y

En resumen: ( x, y) 2 , y, x y
completa la demostracin de que B es base.

72

tales que ( x, y) (1,1) (1,0) lo cual

73

3
4

4
1
As que (3, 4) 4(1,1) (1) (1,0) .
2) (3, 4) (1,1) (1,0)

En consecuencia las coordenadas de (3, 4) en la base B son (4, 1) .

x
y

y
x y
Por lo tanto ( x, y) y (1,1) ( x y) (1,0) y entonces las coordenadas de ( x, y) en la base B son
3) ( x, y) (1,1) (1,0)

( y, x y ) .

0
4) (1, 0) (0,1) (0, 0)
. Lo cual demuestra que C es L.I.
0
Observemos que ( x, y)

se tiene ( x, y) x (1,0) y (0,1) y entones C genera a

adems las coordenadas del vector ( x, y) en la base C es el mismo par ( x, y) . Este es uno de los
motivos por el cual C se denomina base cannica de
Anlogamente se demuestra que C e1 , e2 ,

en (0,0,

,1) es una base de

n-pla ( x1 , x2 ,

, en con e1 (1,0,

,0) , e2 (0,1,0,

y que las coordenadas de la n-pla ( x1 , x2 ,

,0) , ...,

, xn ) es la propia

, xn ) .

A C se le denomina base cannica de

5) 1 (1 x) (1 x)2 1 (1 x) (1 2 x x2 )

( 2 ) x x 2 0 0
0

Lo cual nos asegura que D es L.I. Probemos ahora que es tambin un generador.

1 (1 x) (1 x)2 a x2 b x c 1 (1 x) (1 2 x x 2 ) c b x a x 2
( 2 ) x x c b x a x
2

c
a bc

2 b 2a b
a
a

Por lo tanto para todo ax 2 bx c P2 , ax2 bx c a.1 (2a b) (1 x) (a b c) (1 x)2 ,

lo que implica que D es un generador de P2 y que adems las coordenadas de ax2 bx c
en la base D son (a b c, 2a b, a) .

73

74
Teorema
Consideramos V un espacio vectorial, B v1 , v2 ,

A u1 , u2 ,

, vn un generador de V y

, um V . Si A es LI, entonces m n .

Dem:
Consideremos el conjunto
combinacin lineal de B v1 , v2 ,

um , v1 , v2 , , vn . Dicho conjunto es
, vn por ser este un generador de V.

LD ya que um es

Adems um puesto que A es L.I.

Entonces vi um , v1 , v2 ,

, vn que es combinacin lineal de los anteriores vectores del

conjunto, por tanto V L( B) L um , v1 , v2 ,

, vn L um , v1 ,

, vn .

, vi 1 , vi 1 ,

En otras palabras se ha obtenido un generador de V, que es el conjunto um , v1 ,

, vi 1 , vi 1 ,

, vn ,

sustituyendo vi por um .
Repetimos ahora el mismo razonamiento tomando um1 , um , v1 ,

, vi 1 , vi 1 ,

, vn que

tambin es un conjunto LD que genera a V. Existe entonces v j um1 , um , v1 ,

, vi 1 , vi 1 ,

, vn

que es combinacin lineal de los anteriores vectores de este conjunto. Observemos que v j um
ya que

um1 , um

es LI.

Podemos entonces

construir un generador de V sustituyendo

v j por um1 .

Si m n , reiterando el procedimiento anterior n veces, obtendramos un conjunto formado

exclusivamente por algunos "u" (pero no todos) que genera V. Por ende u1 es combinacin lineal
de otros "u" lo que contradice la hiptesis de que A es L.I.
En consecuencia m n .
Corolario
Si V es un espacio vectorial y B v1 , v2 ,.

, vn es una base de V. Entonces todo

subconjunto de V con ms de n vectores es LD.

La demostracin es inmediata y queda a cargo del lector.
Teorema
Si un espacio vectorial V tiene una base con n elementos entonces todas las bases de V
tienen n elementos.
Dem:
Consideremos V un espacio vectorial, B v1 , v2 ,.

74

, vn y B u1 , u2 ,

, um bases de V.

75
L( B ) V

B es LI
L( B) V

B es LI

mn

m n .
nm

Si todas las bases de un mismo espacio vectorial tienen la misma cantidad de elementos podemos
dar la siguiente:
Definicin
Consideramos V un espacio vectorial.
1) Si V decimos que V es de dimensin 0. Notamos dimV = 0.
2) Si B v1 , v2 ,

, vn es una base de V decimos que V es un espacio de dimensin n.

Anotamos dimV n .
En ambos casos decimos que V es un espacio vectorial de dimensin finita.
Ejemplos
Como C (1,0),(0,1) es base de
Teniendo en cuenta que C e1 , e2 ,

,entonces dim

, en con ei (0,

2.

, 0, 1 , 0,

, 0) es una base de

, se

lugar i

tiene dim

n.

Ahora D 1,1 x, (1 x)2 es una base de P2 , por lo tanto dim P2 3 .

Ejercicio

Probar que dim Pn n 1. (Sugerencia: considerar C 1, x, x 2 ,

base cannica de Pn ).

, x n denominada

X es un espacio vectorial real de dimensin finita?

Proposicin
V es un espacio vectorial de dimensin n. Entonces todo conjunto LI de n elementos
es base de V.
Dem:
Consideramos A u1 , u2 ,

, un V tal que A es LI. Para probar que A es base nos

quedara demostrar que es generador, o sea que v V , v es combinacin lineal de A. Lo cual

haremos por absurdo.
Supongamos entonces que existe v0 V que no es combinacin lineal de A. Entonces

v0 , u1 , u2 ,

, un es LI.

75

76
Obtenienemos as un subconjunto LI de V con n 1 vectores, lo cual es contradictorio pues como
vimos todo conjunto LI debe tener menor o igual cantidad de elementos que la dimensin del
espacio.
Proposicin
Sea V un espacio vectorial de dimensin n, n 1 . Si B un generador de V, entonces
existe B B tal que B es base de V.
Dem:
Sea B v1 , v2 ,

, vk . Si B es LI, tomamos B B .

Si B es LD existe un vector de B (llammoslo vi ) que es combinacin lineal de los dems

elementos de B. Observemos que las condiciones de hiptesis descartan la posibilidad de que

B . Consideramos ahora B1 B vi . Al obtener B1 de quitarle a B el vector vi que es

combinacin lineal de los otros elementos de B, tenemos que L( B1 ) L( B) V .
Si B1 es LI tomamos B B1 . En caso de que B1 sea LD repitiendo el mismo procedimiento nos
construimos B2 B1 B tal que L( B2 ) V . Si B2 es LI tomamos B2 B . En caso de que B2
sea LD, construimos B3 , etc.
Se repite este procedimiento (que es finito pues tiene k n pasos) hasta obtener el conjunto B
deseado.
Proposicin

Sea V un espacio vectorial de dimensin n, n 1 . Entonces todo conjunto generador

de n elementos es base de V.
Dem:
Consideramos A u1 , u2 ,

, un V , L( A) V . Queremos probar que A es base de V,

para lo cual faltara demostrar que A es LI. Lo demostraremos por absurdo.

Supongamos que A es LD entonces aplicando el teorema inmediato anterior podemos afirmar que
existe A estrictamente incluido en A que es base de V.
Pero si A A , cardinal ( A) cardinal ( A) n teniendo as una base que tiene menos vectores
que la dimensin del espacio. Generando de esta forma la contradiccin buscada.
Proposicin
Sean V un espacio vectorial de dimensin n y S un subespacio de V. Entonces S es un
espacio vectorial de dimensin finita y dim S n .

76

77
Dem:
Si S , S es un espacio vectorial de dimensin 0.
Si S , alcanzara con probar que existe una base de S, pues se tratara de un conjunto LI en
V (ya que S V ) y por lo tanto su cardinal es menor o igual que n.
Como S , existe u1 S , u1 . Consideramos ahora B1 u1 teniendo en cuenta que B1
es LI, si B1 genera a S, obtenemos la base buscada.
En caso de que B1 no genere a S podemos afirmar que existe u2 S , u2 , u2 u1 que no
es combinacin lineal de B1 . Tomamos B2 u1 , u2 que es un conjunto LI.
Si B2 genera a S, entonces es la base buscada. En caso contrario nos podremos construir

B3 u1 , u2 , u3 S que sea LI. En caso de que L( B3 ) S tenemos que B3 es base de S.

Si B3 no genera a S,,etc. Este razonamiento lo repetimos hasta obtener una base de S.
Tengamos en cuenta que dicho proceso es finito, tiene menos de n + 1 pasos pues de lo contrario
obtendramos un conjunto LI con mas vectores que la dimensin del espacio.
Corolario
Consideremos V un espacio vectorial de dimensin n y S un subespacio de V.
Entonces S V sii dim S dimV .
Dem:

Inmediato

Sabemos que S es un espacio vectorial de dimensin finita.

Si S , dim S 0 y como dimV dim S , entonces dimV 0 , obtenindose V S .
Si S , existe B u1 , u2 , , un base de S (observemos que necesariamente debe tener n
elementos ya que por hiptesis dim S dimV n ).
Tenemos entonces B S V . Probemos ahora que L( B) V ; como L( B) S , esto nos llevara
a S V .
Para demostrar que L( B) V debemos probar que: v V , v es combinacin lineal de B, lo que
haremos por absurdo. Supongamos entonces que existe v0 V tal que v0 no es combinacin
lineal de B. Entonces v0 , u1 , u2 ,

, un es un conjunto LI. Obteniendo as un conjunto LI con

n 1 vectores, lo cual es contradictorio ya que dimV n .

77

78
Proposicin
V es un espacio vectorial de dimensin n y S y T son subespacios vectoriales de V.
Entonces:
1) dim(S T ) dim S dim T dim(S T ) .
2) Si V S T , dimV dim S dimT .
Le encargamos al lector que busque la demostracin de esta proposicin.

78