Álgebra lineal Base y dimensión de un EV

Profs. Claudio del Pino & Cristian Mardones

1. Base y dimensión
Hemos visto que en R2 y en R3 es conveniente
  escribir
  vectores  como
 una combinación lineal de los
    1 0 0
1 ~ 0
vectores ~i = ,j= y ~i =  0  , ~j =  1  , ~k =  0 .
0 1
0 0 1

Respectivamente. Por consiguiente, podemos enunciar la siguiente definición que involucra los temas
visto con anterioridad.

Definicion 1.1 (Base) Un conjunto finitio de vectores B = {v1 , v2 , . . . , vn } es una base para un
espacio vectorial V si

1. B = {v1 , v2 , . . . , vn } es l.i

2. B = {v1 , v2 , . . . , vn } generan a V o bien h{v1 , v2 , . . . , vn }i = V o bien hBi = V

Observacion 1.1 Todo conjunto de n vectores l.i en Rn es una base en Rn . Se define los siguientes
vectores:
       
1 0 0 0
 0   1   0   0 
       
e1 =  0  , e2 =  0  , e3 =  1  , . . . , en =  0 
       
 ..   ..   ..   .. 
 .   .   .   . 
0 0 0 1

entonces, como los vectores ei con i = 1, . . . , n son las columnas de una matriz identidad In , el
determinante queda:

det(In ) = 1 6= 0 =⇒ {e1 , e2 , e3 , . . . , en } es l.i y por lo tanto una base en Rn .

Ejemplo 1.1

1. (Base canónica para Pn [x])

Los polinomios B1 = {1, x, x2 , x3 } son l.i en P3 [x], además generan a P3 [x], es decir, hB1 i =
P3 [x]. Entonces {1, x, x2 , x3 } es una base para P3 [x].

En general, los monomios {1, x, x2 , x3 , . . . , xn } constituyen una base para Pn [x].

Depto. de Matemática, Fı́sica y Est. 7 Universidad Católica del Maule

Álgebra lineal Base y dimensión de un EV
Profs. Claudio del Pino & Cristian Mardones

2. (Base canónica para M2×2 (R))

       
1 0 0 1 0 0 0 0
Las matrices B2 = , , , generan a M2×2 (R), es decir
0 0 0 0 1 0 0 1

hB2 i = M2×2 (R)

Además, si
         
1 0 0 1 0 0 0 0 c1 c2
c1 · + c2 · + c3 · + c4 · =
0 0 0 0 1 0 0 1 c3 c4

se tiene que c1 = c2 = c3 = c4 = 0, luego B2 es l.i.

Por lo tanto, forman una base para M2×2 (R).

3. Una base para un subespacio de R3

Encontrar una base para el conjunto de vectores que están en el plano:

B = {(x, y, z) ∈ R3 : 2x − y + 3z = 0}

Solución: Claramente B es un espacio vectorial. Tomemos un vector arbitrario (x, y, z) ∈ B.

Entonces:
2x − y + 3z = 0 =⇒ y = 2x − 3z =⇒ (x, y, z) = (x, 2x − 3z, z) = x(1, 2, 0) + z(0, 3, 1)
Luego, h(1, 2, 0), (0, 3, 1)i = B. Claramente estos vectores son l.i, pues uno no es múltiplo del
otro. Por lo tanto forman una base para B

4. Escrı́base una base para el subespacio de R4 cuyas ecuaciones paramétricas son:

x1 = a + b + c, x2 = a − b + 3c, x3 = a + 2b, x4 = 2a + 3b + c

Solución: Un vector (x1 , x2 , x3 , x4 ) del subespacio en cuestión, tendrá la forma:

(a + b + c, a − b + 3c, a + 2b, 2a + 3b + c)

donde hemos sustituido cada componente por su valor en función de los parámetros. El vector
obtenido se puede poner como suma de otros vectores:

(a + b + c, a − b + 3c, a + 2b, 2a + 3b + c) = (a, a, a, 2a) + (b, −b, 2b, 3b) + (c, 3c, 0, c)
= a(1, 1, 1, 2) + b(1, −1, 2, 3) + c(1, 3, 0, 1)

Esto significa que los vectores (1, 1, 1, 2), (1, −1, 2, 3) y (1, 3, 0, 1) son un sistema generador
del subespacio. De dicho sistema generador podemos extraer una base tomando el mayor
conjunto de vectores linealmente independientes. Una buena técnica para conseguir esto es
tomar los vectores como vectores fila de una matriz, es decir:

Depto. de Matemática, Fı́sica y Est. 8 Universidad Católica del Maule

Álgebra lineal Base y dimensión de un EV
Profs. Claudio del Pino & Cristian Mardones

     
1 1 1 2 1 1 1 2 1 1 1 2
 1 −1 2 3  ∼  0 −2 1 1  ∼  0 −2 1 1 
1 3 0 1 0 2 −1 −1 0 0 0 0

Esto significa que el vector (1, 3, 0, 1) es combinación lineal de los vectores (1, 1, 1, 2) y (1, −1, 2, 3).
En definitiva, tales vectores son la base buscada.

Pregunta: Si v1 , v2 , . . . , vn forman una base para V , entonces cualquier otro vector v ∈ V se puede
escribir como v = c1 v1 + c2 v2 + . . . + cn vn
¿Puede escribirse de otra manera como una combinación lineal de los vectores l.i?.
La respuesta es NO, para ello veamos el siguiente teorema.

Teorema 1.1 Si {v1 , v2 , . . . , vn } es una base para V y si v ∈ V , entonces existe un conjunto único
de escalares c1 , c2 , . . . , cn tales que v = c1 v1 + c2 v2 + . . . + cn vn

dem: Supongamos que v se puede escribir de 2 maneras como una combinación lineal de los vectores
de la base. Es decir

v = c1 v1 +c2 v2 +. . .+cn vn = v = d1 v1 +d2 v2 +. . .+dn vn =⇒ (c1 −d1 )v1 +(c2 −d2 )v2 +. . .+(cn −dn )vn = 0

pero como los vectores vi con i = 1, . . . , n son l.i, luego

c1 − d1 = c2 − d2 = . . . = cn − dn = 0 ⇐⇒ c1 = d1 , c2 = d2 , . . . , cn = dn

Observacion 1.2 Un espacio vectorial tiene muchas bases, pero ¿Contienen todas las bases el
mismo número de vectores?

1. En R3 sı́ (pues, cualquiera tres vectores l.i en R3 forman una base).

2. Menos vectores en R3 no forman una base.

3. Un conjunto de 4 vectores o más en R3 no puede ser l.i, pues si los 3 primeros vectores son
l.i. Entonces conforman una base, los demás vectores en el conjunto se puede escribir como
una combinación lineal de los tres primeros.

4. Todas bases en R3 contienen tres vectores.

Teorema 1.2 Si {u1 , u2 , . . . , um } y {v1 , v2 , . . . , vn } son bases en un espacio vectorial V entonces

m = n, es decir, cualquiera 2 bases en un espacio vectorial V tienen el mismo número de vectores.

Definicion 1.2 Si el espacio vectorial V tiene una base finita, entonces la dimensión de V es el
número de vectores en todas las bases y V se llama espacio vectorial de dimensión finita. De otra
manera V se llama espacio vectorial de dimensión infinita.

Notación: La dimensión de V se denota dim(V )

Depto. de Matemática, Fı́sica y Est. 9 Universidad Católica del Maule

Álgebra lineal Base y dimensión de un EV
Profs. Claudio del Pino & Cristian Mardones

Ejemplo 1.2
1. En Rn : Como n vectores l.i en Rn constituyen una base =⇒ dim(Rn ) = n

2. En Pn : Los polinomios {1, x, x2 , . . . , xn } constituyen una base en Pn

=⇒ dim(Pn ) = n + 1

3. En Mm×n : Sea (Aij )m×n con un uno en la posición ij y cero en otra parte. Claramente, las
matrices Aij para i = 1, . . . , m y j = 1, . . . , n forman una base

=⇒ dim(Mm×n ) = m · n

4. En P: Vimos que ningún conjunto finito de polinomios genera a P. Entonces P no tiene una
base finita =⇒ dim(P) = ∞

5. Sea V = h(1, 0, 1), (0, 1, 0), (2, −1, 2)i. Probar que la dim(V ) = 2

Solución: (2, −1, 2) = 2(1, 0, 1) − 1(0, 1, 0). Entonces (2, −1, 2) es combinación lineal de
{(1, 0, 1), (0, 1, 0)}. Luego
h{(1, 0, 1), (0, 1, 0)}i = V

Además, el conjunto {(1, 0, 1), (0, 1, 0)} es linealmente indepeniente. En efecto:

Sean a, b ∈ R tal que a(1, 0, 1) + b(0, 1, 0) = (0, 0, 0) ⇐⇒ a = 0, b = 0

Por lo tanto {(1, 0, 1), (0, 1, 0)} es base de V =⇒ dim(V ) = 2.

Ejemplo 1.3 Sea W = {(x, y, z) ∈ R3 : x + y − z = 0} E R3

a) Demuestre que α = {(1, 1, 2), (2, 1, 3)} es una base de W .

b) Determine v ∈ R3 tal que β = {(1, 1, 2), (2, 1, 3), v} es una base de R3 .

Solución:

a) 1 + 1 − 2 = 0 =⇒ (1, 1, 2) ∈ W y 2 + 1 − 3 = 0 =⇒ (2, 1, 3) ∈ W

Por demostrar: α = {(1, 1, 2), (2, 1, 3)} es linealmente independiente.

Sean a, b ∈ R tales que:

 a + 2b = 0
a(1, 1, 2) + b(2, 1, 3) = (0, 0, 0) ⇔ a + b = 0 ⇔ a = b = 0 ⇔ α es l.i
2a + 3b = 0


Depto. de Matemática, Fı́sica y Est. 10 Universidad Católica del Maule

Álgebra lineal Base y dimensión de un EV
Profs. Claudio del Pino & Cristian Mardones

Por demostrar: α = {(1, 1, 2), (2, 1, 3)} genera a W .

Sea u = (x, y, z) ∈ W ⇔ ∃ a, b ∈ R : (x, y, z) = a(1, 1, 2) + b(2, 1, 3)

 a + 2b = x
(x, y, z) = a(1, 1, 2)+b(2, 1, 3) ⇔ a + b = y ⇒ x+y−z = (a+2b)+(a+b)−(2a+3b) = 0
2a + 3b = z


Luego hαi = W .

Por lo tanto α = {(1, 1, 2), (2, 1, 3)} es base de W .

b) Tomemos v = (0, 0, 1) ⇒ β = {(1, 1, 2), (2, 1, 3), (0, 0, 1)} ⊂ R3

Basta demostrar que β = {(1, 1, 2), (2, 1, 3), (0, 0, 1)} ⊂ R3 es linealmente independiente. Sean
a, b ∈ R tales que:

 a + 2b = 0
a(1, 1, 2) + b(2, 1, 3) + c(0, 0, 1) = (0, 0, 0) ⇔ a + b = 0 ⇔ a = b = 0 ⇔ β es l.i
2a + b + c = 0


Luego, β es l.i y dim hβi = 3. Entonces β es base de R3 .

Depto. de Matemática, Fı́sica y Est. 11 Universidad Católica del Maule