Clase 21 Coordenadas y Dimensin

lgebra Lineal Escuela de Matemticas - Facultad de Ciencias

Cdigo 1000 003 Universidad Nacional de Colombia

Coordenadas
Teorema 1 Sea B una base para un espacio vectorial V. Para todo v 2 V existe una nica forma de expresar el vector v como
combinacin lineal de los vectores de B .

Definicin 2 Sea B = fv1 , v2 , . . . , vn g una base para un espacio vectorial V. Sea v 2 V tal que v = c1 v1 + c2 v2 + + cn vn .
Los escalares c1 , c2 , . . . , cn se conocen como las coordenadas de v con respecto a B , y el vector
2 3
c1
6 7
[v]B = 4 ... 5
cn

se denomina el vector coordenado de v con respecto a B .

Ejemplo. Sea p ( x ) = 2 + 3x 4x2 . Halle [ p]B , donde B = 1, x, x2 es la base estndar de P2 . Si q ( x ) 2 P2

2 3
2
cumple que [q]B = 4 0 5 , halle q ( x ) .
2
2 3 2 3
2 2
Solucin. Por definicin, [ p]B = 4 3 5 . Por otro lado, si [q]B = 4 0 5 , q ( x ) = 2 1 + 0 x + 2 x2 = 2 + 2x2 .
4 2

1 3
Ejemplo. Sea A = . Halle [ A]B , donde B = f E11 , E12 , E21 , E22 g es la base estndar de M2 2.
2 0
2 3
1
6 3 7
Solucin. Por definicin, A = E11 + 3E12 + 2E21 + 0E22 . Luego, [ A]B = 6 4 2 5.
7

Teorema 3 Sea B una base para un espacio vectorial V. Para todo u, v 2 V y c 2 R :

(a) [u + v]B = [u]B + [v]B . (b) [cu]B = c [u]B .

Teorema 4 Sea B = fv1 , v2 , . . . , vn g una base para un espacio vectorial V y sean u1 , . . . , uk 2 V. Entonces

fu1 , . . . , uk g es L.I. en V si y slo si f[u1 ]B , . . . , [uk ]B g es L.I. en Rn .

Dimensin
Teorema 5 Sea B = fv1 , v2 , . . . , vn g una base para un espacio vectorial V.

1. Cualquier conjunto con ms de n vectores en V debe ser linealmente dependiente.

2. Cualquier conjunto con menos de n vectores en V no puede generar a V.

Teorema 6 Si un espacio vectorial V tiene una base con n vectores, entonces toda base para V tiene exactamente n vectores.

de V, denotada dim (V ) , es el nmero de vectores en una base para

Definicin 7 Sea V un espacio vectorial. La dimension
V. Por convecin, dim f0g = 0.

1
Ejemplo. Halle la dimensin de los siguientes subespacios del espacio vectorial dado.

(a) W = A 2 M2 2 j AT = A , V = M2 2. (b) W = A 2 M3 3 j AT = A , V = M3 3.

(c) S = A 2 M2 2 j AT = A , V = M2 2. (d) H = espacio (sen ( x ) , cos ( x ) , sen (2x )) , V = F.

0 1
Solucin. (a) Sabemos que una base para W es B = . Por tanto, dim (W ) = 1.
1 0
(b) Si A 2 W, entonces existen a, b, c 2 R tales que
B1 B2 B3
2 3 z2 }| 3{ z2 }| 3{ z2 }| 3{
0 a b 0 1 0 0 0 1 0 0 0
A=4 a 0 c 5 = a4 1 0 0 5 + b4 0 0 0 5 + c4 0 0 1 5.
b c 0 0 0 0 1 0 0 0 1 0

As, B = f B1 , B2 , B3 g genera a W. Es fcil, verificar que B es L.I. en M3 3. Luego, B es una base para W. Por tanto,
dim (W ) = 3. Qu puede decir para el caso general n n?

1 0 0 0 0 1
(c) Procediendo de forma anloga que (b), se prueba que B = , , es base para S.
0 0 0 1 1 0
Con lo que dim S = 3. Qu puede decir para el caso n n?

(d) Sea B = fsen ( x ) , cos ( x ) , sen (2x )g . Es claro que B genera a H. Veamos que B es L.I. en F : sean a, b, c tales que
a sen ( x ) + b cos ( x ) + c sen (2x ) = 0, para todo x 2 R. Entonces

Para x = , se tiene que a = 0; para x = , se tiene que b=0 y para x = , se tiene que c = 0.
2 4
Con lo que B es L.I. y, por tanto, una base para H. As, dim ( H ) = 3.

Ejemplo. dim (Rn ) = n. dim (Pn ) = n + 1. dim ( Mm n) = m n.

Teorema 8 Sea V un espacio vectorial con dim(V ) = n. Entonces

1. Cualquier conjunto linealmente independiente con exactamente n vectores en V es una base para V.

2. Cualquier conjunto generador de V compuesto con exactamente n vectores es una base para V.

Ejemplo. Verifique si el conjunto B dado es una base para el espacio vectorial V correspondiente.

1 2 1 1
(a) B = 2, 1 + x, 1 + x2 , V = P2 . (b) B = , , V = A 2 M2 2 j AT = A .
2 1 1 0
Solucin. (a) Notemos que dim (P2 ) = 3 y que B tiene exactamente 3 vectores. Luego, B es una base para P2
si y slo si B es L.I. en P2 . Ahora bien, sean a, b, c tales que 2a + b(1 + x ) + c(1 + x2 ) = 0. Luego,

f1,x,x2 g es L.I. 2a + b + c = 0
(2a + b + c) + bx + cx2 = 0 =) ) a = b = c = 0..
b=c=0

Por lo tanto, B es una base para V.

(b) Notemos que dim (V ) = 3 y que B slo tiene 2 elementos. Por tanto, B no es una base para V.

Teorema 9 Sea W un subespacio de un espacio vectorial de dimensin finita V. Entonces

(a) W es de dimensin finita y dim W dim V. (b) dim W = dim V si y slo si W = V.