Bases y Dimensiones
Bases y Dimensiones
Bases y Dimensiones
Bases
Definici
on de bases. Considere un espacio vectorial V sobre un campo K. Una base, B, del espacio
vectorial V es un conjunto linealmente independiente1 de V que genera a V.
Teorema. Sea V un espacio vectorial sobre un campo K. Suponga que V tiene una base {~v1 , ~v2 , . . . , ~vm }
que contiene un n
umero finito de elementos y sean w
~ 1, w
~ 2, . . . , w
~ n elementos del espacio vectorial V con
n > m. Entonces el conjunto S = {w
~ 1, w
~ 2, . . . , w
~ n } es linealmente dependiente.
En lugar de probar este teorema que es un cuanto tanto complicado, ilustraremos el significado de
este teorema mediante un ejemplo.
Considere el espacio vectorial R3 sobre el campo R, primeramente se mostrara que BR3 = {
e1 , e2 , e3 }
donde
e1 = (1, 0, 0), e2 = (0, 1, 0), e3 = (0, 0, 1)
es una base para R3 . Primeramente, se mostrara que BR3 es un conjunto linealmente independiente, la
ecuaci
on vectorial
1 e1 + 2 e2 + 3 e3 = ~0
condude a
1 = 0 2 = 0
3 = 0.
(1)
(2)
2 = x 2
3 = x 3 .
importante adem
as que que conjunto sea ordenado.
Por lo tanto,
e1 = w
~ 1 3 e2 2 e3
Considere ahora el conjunto
1
BR
3
(3)
dado por
1
~ 1 , e2 , e3 }
BR
3 = {w
1
es necesario probar que BR
en es una base. En primer lugar, por la ecuacion (3), e1 [w
~ 1 , e2 , e3 ]
3 tambi
1
1
por lo tanto BR3 es un conjunto generador, falta probar que BR
3 es linealmente independiente. Considere
la ecuaci
on
1 w
~ 1 + 2 e2 + 3 e3 = ~0
=
=
0
0
2 1 + 0 2 + 1 3
conduce a la soluci
on
1 = 0 2 = 0
3 = 0,
1
en, una base.
y, por lo tanto, BR
3 es linealmente independiente y es, tambi
Considere ahora
w
~ 2 = 2 e1 + 1 e2 + 5 e3 ,
(4)
sustituyendo la ecuaci
on (3) se tiene que
w
~ 2 = 2 (w
~ 1 3 e2 2 e3 ) + 1 e2 + 5 e3 = 2 w
~ 1 + 7 e2 + 9 e3
Por lo tanto,
e2 =
1
[2 w
~1 + w
~ 2 9 e3 ]
7
(5)
(6)
2
Considere ahora el conjunto BR
3 dado por
2
BR
~ 1, w
~ 2 , e3 }
3 = {w
2
es necesario probar que BR
en es una base. En primer lugar, por la ecuacion (6), e2 [w
~ 1, w
~ 2 , e3 ]
3 tambi
2
2
por lo tanto BR3 es un conjunto generador, falta probar que BR
3 es linealmente independiente. Considere
la ecuaci
on
1 w
~ 1 + 2 w
~ 2 + 3 e3 = ~0
1 1 2 2 + 0 3
0 1 + 7 2 + 0 3
=
=
0
0
0 1 + 9 2 + 1 3
conduce a la soluci
on
1 = 0 2 = 0
2
BR
3
3 = 0,
y, por lo tanto,
es linealmente independiente y es, tambien, una base.
Finalmente considere
w
~ 3 = e2 + 3 e3
2
sustituyendo la condici
on (6) se reduce a
w
~3 =
2
1
9
1
[2 w
~1 + w
~ 2 9 e3 ] + 3 e3 = w
~1 + w
~ 2 e3
7
7
7
7
Por lo tanto,
2
1
1
w
~1 + w
~2 w
~3
9
9
9
dado por
e3 =
3
Considere ahora el conjunto BR
3
(7)
(8)
3
BR
~ 1, w
~ 2, w
~ 3}
3 = {w
3
es necesario probar que BR
en es una base. En primer lugar, por la ecuacion (8), e3 [w
~ 1, w
~ 2, w
~ 3]
3 tambi
3
3
por lo tanto BR3 es un conjunto generador, falta probar que BR
es
linealmente
independiente.
Considere
3
la ecuaci
on
1 w
~ 1 + 2 w
~ 2 + 3 w
~ 3 = ~0
2
3
7
1
0 1 + 1 2 + 3
7
9
0 1 + 0 2 + 3
7
1 1 + 0 2
3 = 0,
3
BR
3
Por lo tanto,
es linealmente independiente y es, tambien, una base.
3
3
Finalmente, puesto que BR
yw
~ 4 R3 entonces existen escalares 1 , 2 , 3 R
3 es una base de R
tales que
w
~ 4 = 1 w
~ 1 + 2 w
~ 2 + 3 w
~3
o, finalmente
1 w
~ 1 + 2 w
~ 2 + 3 w
~ 3 1w
~ 4 = ~0.
Por lo tanto S = {w
~ 1, w
~ 2, w
~ 3, w
~ 4 } es un conjunto linealmente dependiente.
Corolario. Sea V un espacio vectorial sobre un campo K. Si V tiene una base finita, todas las bases
de V tienen el mismo n
umero de elementos.
Prueba: Sean {~v1 , ~v2 , . . . , ~vm } y {w
~ 1, w
~ 2, . . . , w
~ n } dos bases del espacio vectorial V. Entonces es
imposible que n > m pues {~v1 , ~v2 , . . . , ~vm } es una base y por el teorema anterior, si n > m entonces
{w
~ 1, w
~ 2, . . . , w
~ n } es linealmente dependiente y no puede ser una base. De manera semejante es imposible
que m > n pues {w
~ 1, w
~ 2, . . . , w
~ n } es una base y por el teorema anterior, si m > n entonces {~v1 , ~v2 , . . . , ~vm }
es linealmente dependiente y no puede ser una base. Por lo tanto, n = m.
Definici
on de Dimensi
on. Sea V un espacio vectorial sobre un campo K. Si V tiene una base
que contiene un n
umero finito de elementos, digamos n, el espacio vectorial V se denomina un espacio
vectorial finito dimensional y la dimensi
on del espacio vectorial es n. En caso contrario, es decir si
las posibles bases del espacio vectorial V tienen un n
umero infinito de elementos, el espacio vectorial se
denomina infinito dimensional.
Existen dos diferentes metodos para obtener una base de un espacio vectorial, V.
1. Iniciando con un subconjunto S V que sea linealmente independiente. En este caso, es necesario
probar que S no es un conjunto generador, pues si lo es, ya tenemos una base del espacio vectorial
V. Si S no es un conjunto generador, es necesario a
nadir elemento por elemento al subconjunto
extender el subconjunto de manera que los nuevos subconjuntos continuen siendo linealmente
independiente hasta que el subconjunto sea tambien un conjunto generador.
2. Iniciando con un subconjunto S V que sea un conjunto generador del espacio vectorial. En este
caso, es necesario probar que S no es linealmente independiente, pues si lo es, ya tenemos una base
del espacio vectorial V. Si S no es linealmente independiente, es necesario eliminar elemento por
elemento al subconjunto reducir el subconjunto de manera que los nuevos subconjuntos continuen siendo conjuntos generadores hasta que el subconjunto sea tambien un conjunto linealmente
independiente.
Los dos esquemas se muestran, de manera gr
afica en la figura 1
Por lo tanto, S es linealmente dependiente. En la otra direccion, suponga que S es linealmente dependiente entonces existen escalares no todos 0, c0 , c1 , c2 , . . . , cm , tales que
c0~v + c1~v1 + c2~v2 + . . . + cm~vm = ~0.
Entonces, c0 6= 0, pues en caso contrario, es decir si c0 = 0, entonces, la ecuacion anterior se reduce a
c1~v1 + c2~v2 + . . . + cm~vm = ~0.
puesto que los escalares c1 , c2 , . . . , cm no son todos 0, el conjunto S es linealmente dependiente. Una
contradicci
on de la suposicion. Por lo tanto,
c0 6= 0
Por lo tanto,
~v =
c1
c2
cm
~v1 + ~v2 + +
~vm
c0
c0
c0
Si la u
nica soluci
on de la ecuaci
on es la trivial, 1 = 2 = = n = 0, el conjunto generador
es linealmente independiente y es, por lo tanto, una base. Con este resultado termina
la prueba. Si existe un escalar 6= 0, entonces, sin perdida de generalidad, suponga que es n ,
por lo tanto
n ~vn = 1 ~v1 2 ~v2 + n1 ~vn1
y
~vn =
2
n1
1
~v1
~v2
~vn1
n
n
n
(9)
4. Considere ahora S/~vn ; es decir, el conjunto formado removiendo de S al vector ~vn . Puesto que S
es un conjunto generador de V, para cualquier ~v V arbitrario, se tiene que
~v = 1 ~v1 + 2 ~v2 + + n1 ~vn1 + n ~vn
Pero por la ecuaci
on (9), se tiene que
~v
=
=
1
2
n1
~v2
~vn1
1 ~v1 + 2 ~v2 + + n1 ~vn1 + n ~v1
n
n
n
1
2
n
1 n
~v1 + 2 n
~v2 + + n1 n 1 ~vn1
n
n
n
(10)
Por lo tanto S/~vn es tamben un conjunto generador de V que contiene n 1 vectores. Repitiendo
este proceso un n
umero finito de veces, se obtiene la base de V.
Finalmente, el siguiente teorema muestra que en un espacio vectorial de dimension n, un conjunto
formado por n vectores solo necesita satisfacer una de las dos condiciones para ser una base.
Teorema. Sea V un espacio vectorial de dimension n 1 y sea S = {~v1 , ~v2 , . . . , ~vn } un subconjunto
de n vectores. Entonces
1. Si S es linealmente independiente, S es una base para V.
2. Si S genera a V, S es una base para V.
Prueba: Suponga que S = {~v1 , ~v2 , . . . , ~vn } es linealmente independiente, entonces puesto que dimV =
n, cualquier conjunto S = S ~v , para ~v V arbitrario, es linealmente dependiente. Por lo tanto, existen
escalares no todos 0, c0 , c1 , c2 , . . . , cn tales que
c0~v + c1~v1 + c2~v2 + . . . + cn~vn = ~0.
Entonces, c0 6= 0, pues en caso contrario, es decir si c0 = 0, entonces, la ecuacion anterior se reduce a
c1~v1 + c2~v2 + . . . + cn~vn = ~0.
puesto que los escalares c1 , c2 , . . . , cn no son todos 0, el conjunto S es linealmente dependiente. Una
contradicci
on de la suposicion. Por lo tanto,
c0 6= 0.
De aqu que,
~v =
c2
cn
c1
~v1 ~v2 ~vn
c0
c0
c0
c2
cn
~v2 + + ~vn ,
c1
c1
Por lo tanto ~v1 [~v2 , . . . , ~vn ], puesto que S = {~v1 , ~v2 , . . . , ~vn } genera a V y ~v1 [~v2 , . . . , ~vn ] entonces
{~v2 , . . . , ~vn } genera a V y dimV n una contradicci
on a la suposicion de dim V = n.
6
Problemas Resueltos.
Ejemplo 1. Muestre que el conjunto {~v1 = (1, 1, 0, 0), ~v2 = (1, 1, 1, 2), ~v3 = (1, 1, 1, 3), ~v4 =
(0, 1, 1, 3)} es una base de R4 y muestre que ~v = (a, b, c, d) R4 puede escribirse como una combinacion lineal de la base.2
Prueba: Por el cuarto teorema de estas notas es suficiente probar que el conjunto es linealmente
independiente. Considere la ecuaci
on
1 ~v1 + 2 ~v2 + 3 ~v3 + 4 ~v4 = ~0
La matriz aumentada del sistema de ecuaciones resultante est
a dada por
1 1 1
0 0
1 1 1 1 0
0 1
1 1 0
0 2
3 3 0
(11)
1 0
3 0
1
Note que el elemento (2, 2) es cero, de manera que las filas de An deben rearreglarse como
1 1 1
0 0
0 1
1 1 0
0 0 2 1 0
0 2
3 3 0
El segundo paso conduce a
1 0
1 0
1 0
Es evidente que la u
nica soluci
on posible es la trivial 1 = 2 = 3 = 4 = 0. Por lo tanto, el conjunto
es linealmente independiente y es una base para R4 .
2 Tomado
de Algebra Through Practice, Blyth, T.S. and Robertson, E.F., Cambridge: Cambridge University Press, 1984.
1 1 1
0 1
1
F=
0 0 2
ba
1 2 d 4 c + b a
La u
ltima ecuaci
on est
a dada por
4 = a b + 4 c 2 d.
La tercera ecuaci
on est
a dada por
2 3 + 4 = b a
23 = b a (a b + 4 c 2 d) = 2 a + 2 b 4 c + 2 d
Por lo tanto
3 = a b + 2 c d.
La segunda ecuaci
on est
a dada por
2 + 3 4 = c
2 = c (a b + 2 c d) + (a b + 4 c 2 d) = 3 c d
1 = a + 2 3 = a + (3 c d) (a b + 2 c d) = b + c.
Por lo tanto
(a, b, c, d) = (b+c) (1, 1, 0, 0)+(3 cd) (1, 1, 1, 2)+(ab+2 cd) (1, 1, 1, 3)+(ab+4 c2 d)(0, 1, 1, 3).
Ejemplo 2. Considere el espacio vectorial P3 (x) de polinomios con coeficientes reales de grado menor
o igual que 3 con las operaciones usuales de adicion y multiplicaci
on por un escalar real y considere el
siguiente subconjunto de P3 (x)
S =
p1 (x) = x2 + 2 x, p2 (x) = x3 + 3 x, p3 (x) = x3 + x2 , p4 (x) = x + 1,
p5 (x) = x2 + 3 x + 1, p6 (x) = x3 + 2 x + 1
de Messer, R. [1994], Linear Algebra: Gateway to Mathematics, New Tork: Harper and Collins.
=
=
0
0
2 1 + 3 2 + 0 3 + 1 4 + 3 5 + 2 6
0 1 + 0 2 + 0 3 + 1 4 + 1 5 + 1 6
=
=
0
0
0 1
1 0
M=
2 3
por
0 1
1 0
1 0
3 2
1 1
0 1
0 0
1 0
0 1
1 0 1 0 1 0
0 1 1 0 0 1
M1 =
0 3 2 1 1 2
0 0 0 1 1 1
El siguiente paso consiste en sumar menos tres veces la segunda fila a la tercera de manera que se obtiene
1
0
1
0
1
0
0 1 1 0 0 1
M2 =
0 0 5 1 1 1
0 0 0 1 1 1
El sistema ya se encuentra en forma escalonada, tiene soluciones m
ultiples, y las variables libres son 5
y 6 . La soluci
on se obtiene mediante sustitucion inversa y est
an dados por
4 = 5 6
3
2 = 6
5
2
3 = 6
5
1 =
2
6 5 .
5
6 = 0
Por lo tanto
4 = 1
3 = 0
2 = 0
1 = 1
Esta soluci
on conduce a la siguiente igualdad entre los polinomios
1 p1 (x) 1 p4 (x) + 1 p5 (x) = 0
o
1 x2 + 2 x, 1 (x + 1) + 1 x2 + 3 x + 1 = 0 (12)
2. Segundo caso
5 = 0
Por lo tanto
4 = 1
3 =
y
2
5
6 = 1
2 =
3
5
1 =
2
5
Esta soluci
on conduce a la siguiente igualdad entre los polinomios
2
3
2
p1 (x) p2 (x) p3 (x) 1 p4 (x) + p6 (x) = 0
5
5
5
o
3 3
2 3
2 2
x + 2x
x + 3x
x + x2 1 (x + 1) + 1 x3 + 2 x + 1 = 0
5
5
5
(13)
De la ecuaci
on (12) es posible eliminar p5 (x), mientras que de la ecuacion (13) es posible eliminar
p6 (x). Estas selecciones aseguran que el conjunto
{p1 (x), p2 (x), p3 (x), p4 (x)}
forman un conjunto generador de bf P3 (x) y por lo tanto una base para P3 (x).
Problemas Propuestos.
En esta seccion se proponen algunos ejercicios acerca de bases de diferentes espacios vectoriales.
Ejemplo 1. Considere el espacio vectorial R3 de triadas ordenadas de n
umeros reales, sobre el campo
de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar real. Encuentre dos bases B y B de R3 que no tengan ning
un elemento en com
un.
Ejemplo 2. Considere el espacio vectorial P3 (x) de polinomios de coeficientes reales, sobre el campo
de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar real.
Considere el conjunto
B = {p1 (x) = 1, p2 (x) = 1 x, p3 (x) = (1 x)2 , p4 (x) = (1 x)3 }
Determine si el conjunto B es o no una base de P3 .
Ejemplo 3. Considere el espacio vectorial M22 de matrices 2 2 de coeficientes reales, sobre el
campo de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar
real. Considere el conjunto
0 1
0 1
1 0
1 0
, M4 =
, M3 =
, M2 =
B = M1 =
1 0
1 0
0 1
0 1
Determine si el conjunto B es o no una base de M22 .
Ejemplo 4. Considere el espacio vectorial P2 (x) de polinomios de coeficientes reales, sobre el campo
de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar real.
Considere el conjunto
B = {p1 (x) = 1, p2 (x) = x, p3 (x) = x2 , p4 (x) = (1 x)2 }
muestre que B genera P2 (x) y encuentre un subconjunto de B que sea una base de P2 (x).
Ejemplo 5. Considere el espacio vectorial P3 (x) de polinomios de coeficientes reales, sobre el campo
de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar real.
Considere el conjunto
B = {p1 (x) = 1 + x, p2 (x) = 1 x, p3 (x) = x2 , p4 (x) = (1 x)2 , p5 (x) = x3 }
10
muestre que B genera P3 (x) y encuentre un subconjunto de B que sea una base de P3 (x).
Ejemplo 6. Considere el espacio vectorial P2 (x) de polinomios de coeficientes reales, sobre el campo
de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar real.
Considere el conjunto
S = {p1 (x) = 1, p2 (x) = (1 x)2 }.
muestre que S es linealmente independiente y extienda el conjunto S para formar una base B para P2 (x).
Ejemplo 7. Considere el espacio vectorial M22 de matrices 2 2 de coeficientes reales, sobre el
campo de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar
real. Considere el conjunto
0 1
1 0
, M2 =
S = M1 =
1 0
0 1
muestre que S es linealmente independiente y extienda el conjunto S para formar una base B para M22 .
Ejemplo 8. Considere el espacio vectorial R3 de triadas ordenadas de n
umeros reales, sobre el
campo de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar
real. Considere el conjunto
B = {(1, 0, 0), (1, 1, 0), (1, 1, 1), (1, 0, 1)}
muestre que B genera R3 y encuentre un subconjunto de B que sea una base de R3 .
Ejemplo 9. Considere el espacio vectorial R3 de triadas ordenadas de n
umeros reales, sobre el
campo de los n
umeros reales R, con las operaciones usuales de adicion y multiplicaci
on por un escalar
real. Considere el conjunto
B = {(1, 0, 0), (1, 1, 0), (1, 1, 1), (1, 2, 0)}
muestre que B genera R3 y encuentre un subconjunto de B que sea una base de R3 .
11