Unidad 4

Consideremos una combinacin lineal de ellos igual a cero, entonces

a1 + a2 x + a3x2 + a4 x3 = 0, esto implica que a1 = a2 = a3 = a4 = 0 por lo cual
tambin son linealmente independientes.
Esto nos lleva a asegurar que {1, x, x2, x3} es una base para P3, llamada
base cannica de P3.

Ejercicio 1
1. Detemina si el conjunto de vectores dado es base para el espacio vectorial
referido:
a) En P2, {x21, x22, x2 3}
3 1 3 2 5 1 0
1
b) En M22
,
,
,

0 0 0 0 0 6 0 7
2. Encuentra una base para cada uno de los espacios vectoriales:
a) {(x, y, z) en R3 tales que 2x y z = 0}
b) {(x, y) en R2 tales que x + y = 0}
3. Encuentra una base para el espacio solucin del sistema homogneo
dado:
a) x 2 y 0
3x y 0
b)

x 3y z 0

2 x 2 y 3 z 0
4 x 8 y 5 z 0

4. Encuentra una base cannica para el espacio vectorial M22.

5. Encuentra una base cannica para el espacio vectorial R4.

4.3. Coordenadas de un vector, relativas a

alguna base
Como vimos anteriormente, si un espacio vectorial V tiene al menos una
base que genera a todo el espacio vectorial, entonces cualquier vector se puede
escribir como combinacin lineal de los vectores de la base; sin embargo, surge

140

lgebralineal
la pregunta: esta combinacin lineal es nica o hay varias? Consideremos el
siguiente resultado.
Teorema 4.1. Si {v1, v2, . . . , vn} es una base para el espacio vectorial V y si
v est en V, entonces existe un conjunto nico de escalares c1, c2, . . ., cn tales
que
v = c1v1 + c2v2 + . . . + cnvn
Este teorema nos indica que la expresin de un vector como combinacin
lineal de los vectores de una base es nica. A continuacin veremos algunos
ejemplos de ello.

Ejemplo 2
a) En R2 {(1, 0), (0, 1)} forman la base cannica, por lo tanto
(x, y) = x (1, 0) + y (0, 1)
Supongamos que hay otra combinacin lineal de estos vectores que nos dan
el vector (x, y)
(x, y) = a (1, 0) + b(0, 1), como ambas combinaciones dan el mismo
vector tenemos que x (1, 0) + y (0, 1) = a (1, 0) + b(0, 1) de donde tenemos
que (x, y) = (a, b) por lo tanto x = a, y = b y la combinacin lineal es nica.
b) Veamos ahora cmo podemos encontrar las coordenadas de un vector
con respecto a una base dada.
Consideremos el conjunto {(1, 3), (1, 2)}, veremos que es base de R2.
Para ello lo nico que tenemos que hacer es mostrar que es linealmente
independiente, ya que el teorema 3.9. nos indicara que generan R2.
Sea a (1, 3) + b(1, 2) = 0 una combinacin lineal, entonces a b= 0,
3a + 2b = 0 de donde obtenemos que a = b = 0; por lo que es linealmente
independiente y por tanto base de R2.
Tomemos ahora un vector cualquiera de R2 (x, y), por el teorema 4.1. existen
escalares c1 y c2 nicos de manera que (x, y) = c1 (1, 3) + c2 (1, 2). Entonces
tenemos que

141

Unidad 4
x c1 c2 , y 3c1 2c2 ; al resolver el sistema para c1 y c2 obtenemos que
2x y
3 x y
, c2
que son las coordenadas de (x, y) con respecto a la
5
5
base {(1, 3), (1, 2)}.
c1

c) Usando el ejemplo anterior vamos a encontrar las coordenadas del vector

(1, 2) con respecto a la base {(1, 3), (1, 2)}.
2(1) 2
4

Sean c1 y c2 las coordenadas, entonces c1

5
5
3(1) 2
1
c2

, de tal manera que, para (x, y) = (1, 2) obtenemos

5
5
(1, 2) = 4/5 (1, 3) 1/5 (1, 2).

Ejercicio 2
1. Encuentra las coordenadas de los vectores dados relativas a la base
indicada:
a) x = (3, 2); {(1, 3), (1, 2)}
b) x = (2, 4); {(2,5), (0, 3)}
c) x = (3, 5, 1); {(1, 0, 3), (0, 2, 0), (0, 0, 1)}

4.4. Dimensin de un espacio vectorial

Si hablamos de que un espacio vectorial puede tener muchas bases surge
la pregunta: contienen todas las bases el mismo nmero de vectores? La
respuesta para Rn es s, ya que el teorema 3.9. nos indica que cualquier conjunto
de n vectores linealmente independientes en Rn lo generan, y el corolario
3.1. nos dice que un conjunto linealmente independiente contiene a lo ms
n vectores. Al unir ambos resultados obtenemos que todas las bases de Rn
contienen n vectores.
El siguiente teorema nos da la respuesta para todos los espacios
vectoriales.
Teorema 4.2. Si {u1, u2, . . ., um} y {v1, v2, ..., vn} son bases de un espacio
vectorial V, entonces m = n; es decir, cualesquiera dos bases en un espacio
vectorial V tienen el mismo nmero de vectores.

142

lgebralineal
Y debido a l podemos definir el siguiente concepto que es uno de los ms
importantes del lgebra lineal.
Definicin 4.2. Si el espacio vectorial V tiene una base finita, entonces la
dimensin de V es el nmero de vectores de todas sus bases y se dice que V es
un espacio vectorial de dimensin finita. A la dimensin de V se le denota por
dim V.

En los siguientes ejemplos encontraremos la dimensin de varios espacios

vectoriales.

Ejemplo 3
a) Si V = {0} entonces se dice que V tiene dimensin cero y dim V = 0. ste
es el nico espacio con esta dimensin.
b) Consideremos el espacio vectorial de todos los polinomios de grado
menor o igual a 3, P3.
Probaremos que el conjunto {1, x, x2, x3} es una base para P3.
Consideremos una combinacin lineal de ellos igual a cero, entonces
a(1) + b(x) + c(x2) + d(x3) = 0, entonces a = b = c = d = 0, por lo tanto
es linealmente independiente. Es obvio que el conjunto genera P3; por lo tanto
podemos afirmar que {1, x, x2, x3} es una base para P3 y por lo tanto dim P3 = 4.
c) Como las bases de R n contienen n vectores podemos afirmar que dim
R = n.
n

d) Consideremos el espacio vectorial de las matrices de orden 32, (M32)

y el conjunto formado por las matrices
1 0 0 1 0 0 0 0 0 0 0 0

0 0 , 0 0 , 1 0 , 0 1 , 0 0 , 0 0 , comprobaremos que
0 0 0 0 0 0 0 0 1 0 0 1
son una base para M32.
Tomemos una combinacin lineal igual a cero.

143

Unidad 4
a
c
e

b
1 0
0 1 0 0
0 0 0 0
0 0
d a 0 0 b 0 0 c1 0 d 0 1 e 0 0 f 0 0
0 0
0 0 0 0
0 0 1 0
0 1
f

lo que indica que generan a M32.

1 0
0 1 0 0
0 0 0 0
a 0 0 b 0 0 c1 0 d 0 1 e 0 0
0 0
0 0 0 0
0 0 1 0

a
c
e

0 0
f 0 0
0 1

b 0 0
d 0 0
f 0 0

esto implica claramente que a = b = c = d = e = f = 0 y que el conjunto

es linealmente independiente.
Por lo anterior podemos afirmar que forma una base para M32 y que
dim M32 = 6.
Consideremos en R 3 el subespacio vectorial H = {(x, y, z) tales que
2x y +3z = 0
1 0
En el ejemplo 1 de la seccin 4.2. se demostr que 2 y 3 son una base
0 1

para H; podemos concluir que dim H = 2 y sabemos que dim R3 = 3; suceder
esto con todos los subespacios vectoriales? El siguiente resultado nos da la
respuesta.
Teorema 4.3. Sea H un subespacio de un espacio vectorial V de dimensin
finita. Entonces H es de dimensin finita y dim H dim V.
Usaremos el teorema anterior para encontrar todos los subespacios de R3.

Ejemplo 4
Como dim R3 = 3, entonces los subespacios de R3 tendrn dimensiones 0, 1,
2 y 3.
El nico subespacio de dimensin 0 es {0}.

144

lgebralineal
Vamos a encontrar todos los subespacios de dimensin 1.
Sea H un subespacio de R3 de dimensin 1, por lo tanto tiene una base
formada por un solo vector v = (a, b, c). Sea x = (x, y, z) en H, entonces existe
t escalar tal que x = t (a, b, c), por lo tanto (x, y, z) = t (a, b, c) = (ta, tb, tc) de
donde x = ta, y = tb, z = tc. Pero esta es la ecuacin de una recta en R3 que
pasa por el origen.
Vamos a encontrar todos los subespacios de dimensin 2.
Sea H un subespacio de R3 de dimensin 2, por lo tanto tiene una base
formada por dos vectores v1 = (a1, b1, c1) y v2 = (a2, b2, c2) . Sea x = (x, y, z) en
H, entonces existen escalares s y t tales que x = s (a1, b1, c1) + t (a2, b2, c2), por
lo tanto (x, y, z) = s (a1, b1, c1) + t (a2, b2, c2) de donde x =sa1+ ta2, y = sb1 + tb2,
z = sc1+ tc2.
Esta es la ecuacin de un plano en R3 que pasa por el origen.
Por lo tanto los nicos subespacios de R3 son los vectores que estn en una
recta o en un plano que pasa por el origen.
Ser necesario probar que un conjunto de vectores linealmente
independientes genera a un espacio vectorial para asegurar que es una base?
El siguiente teorema nos da una condicin para asegurarnos que tenemos una
base.
Teorema 4.4. Cualesquiera n vectores linealmente independientes en un
espacio vectorial V de dimensin n forman una base para V.

Veamos algunos ejemplos donde usaremos este resultado para encontrar

bases de espacios vectoriales.

Ejemplo 5
Consideremos a R3, el conjunto {(2, 3, 5), (1,0,0), (2, 1, 0)} es una base
de R3?
Por el teorema anterior basta probar que es linealmente independiente ya
que dim R3 = 3.

145