APUNTES DE ALGEBRA LINEAL

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Para Curso LGEBRA II- USACH

2.6.-

Material N8

Bases y Dimensin en Espacios Vectoriales Finitos.

En este subttulo haremos una teora de los conjuntos generadores ms ptimos y su
relacin con la dimensin de un espacio vectorial. Aprenderemos a escribir los vectores en
funcin de estos generadores y estudiaremos los subespacios de acuerdo a sus bases y
dimensiones. Relacionaremos a los espacios con el Cuerpo de escalares mediante el
lenguaje de vectores coordenados y quedaremos a un paso de la idea de Isomorfismos de
espacios vectoriales.

Definicin:
Sea V(IK) un espacio vectorial y B =

{bk }

n
k =1

un subconjunto de V.

Diremos que B es una base del espacio V si y slo si:

1.- < B > = V (B genera al espacio V)
2.- B es conjunto l.i.
Observaciones: a)

Por la convencin que deca que genera a { 0v} podemos decir que es
base de { 0v} ya que, adems, es l.i.

b) Si S genera a V, pero es l.d., entonces S posee al menos un subconjunto que

es base de V.
Ejemplo:

B = {(1, 1, 1), (2, 1, 0), (0, 1, 1)} es una base de IR3, pues:
1) es l.i. ya que
+ 2
+ +
+

(1, 1, 1) + (2, 1, 0) + (0, 1, 1) = (0, 0, 0), significa que:

= 0
= 0 , cuyo determinante principal resulta:
= 0

2 0

1 2 1 2
2 =

1
= 5,
1
2

|A| = 1 1 1 = 1 1
1 0

1 0

de donde, necesariamente, = = = 0. Luego, B es l.i.

2) Consideremos cualquier v = (x, y, z)IR3. Si existen , , IR para los cuales
(x, y, z) = (1, 1, 1) + (2, 1, 0) + (0, 1, 1), podremos decir que < B > = IR3.
= x
+ 2
Luego, debemos resolver + + = y .
+ = z

Pero, como |A| 0, segn lo hecho arriba, el sistema Ax = v, tiene solucin nica
que se expresa en trminos de x, y, z. Resuelva Usted el sistema lineal y obtendr
que cualquiera sea el vector (x, y, z) de IR3, existen escalares
x 2 y + 2 z
2 x+ y z
x + 2 y + 3 z con los cuales (x, y, z) se escribe:
=
, =
, =
5
5
5
x2 y + 2 z (1, 1, 1) + 2 x+ y z (2, 1, 0) + x + 2 y +3 z (0, 1, 1)
5
5
5

En conclusin, < B > = IR3. De 1) y 2) se deduce que B es una base para IR3.
1

APUNTES DE ALGEBRA LINEAL

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Para Curso LGEBRA II- USACH

Material N8

2.6.1.- Teoremas de Bases y Dimensin.

De la definicin de bases y de las propiedades de ellas como conjuntos l.i. surgen varios
teoremas que facilitan y organizan el estudio y caracterizacin de los espacios vectoriales y
sus subespacios propios. Expondremos y demostraremos los de uso ms frecuente.
2.6.1.1.- En un espacio vectorial finito, ningn conjunto l.i. tiene ms vectores que una de
sus bases.
Sea V un espacio vectorial generado por un conjunto finito B =

{bk }

n
k =1

de

vectores independientes (B es una base de V). Afirmamos que todo conjunto S

en V que sea l.i. ser finito y con un nmero de vectores nunca superior a n, que
es la cardinalidad de B.
Demostracin:

{}

Debemos probar que todo conjunto en V, con ms de n vectores, ser l.d.

m

Consideremos T = v j

j =1

con m > n.

Como B es base de V, existen escalares aij en IK tales que:

n

vj =

a b . Y, para cualesquiera escalares 1, 2,..... , m se tiene:

i =1

ij i

1v1 + 2v2 + ... + mvm =

v
j

j =1

= j aij bi
j =1

i =1

(a
m

j =1 i =1

ij

a
i =1

j )bi

j =1

ij

j bi

Si exigimos que

v
j =1

= 0 entonces

i =1

Y, como B es l.i., se concluye que

a
i =1

ij

a
j =1

ij

j bi = 0

j = 0, j = 1,...,m

Pero sabemos que en un sistema homogneo con menos ecuaciones que

incgnitas (m > n) la solucin es mltiple y, por lo tanto, los escalares j
no son necesariamente ceros.
m

En conclusin, j v j = 0, con al menos un escalar k 0, lo cual

j =1

significa que T es l.d. cuando tiene ms vectores que una base de V.

En definitiva, no puede haber conjuntos l.i. con ms vectores que
cualquier base de V.

APUNTES DE ALGEBRA LINEAL

Para Curso LGEBRA II- USACH

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Material N8

Consecuencias: Es posible destacar al menos dos consecuencias interesantes de este teorema:

a)

Si B es base de V, entonces B es conjunto l.i. maximal en V.

Es inmediato que todo conjunto T que contenga a B y tenga ms de n
vectores, ser l.d. pues, el vector que se le agregue a B ser
obviamente dependiente. Luego, las bases son los ms grandes
conjuntos l.i. del espacio vectorial.

b)

Las bases de un mismo espacio tienen igual nmero de vectores.

Por el teorema 2.6.1.1.-, si B1 es base con n vectores y B2 es base con

m vectores, entonces:
i) como B1 es l.i., y B2 es base, se concluye que n m;
ii) como B2 es l.i., y B1 es base, se concluye que m n;
por lo tanto, m = n.
De esta consecuencia surge la posibilidad de definir la dimensin de
un espacio vectorial. Ella nos indicar el nmero de vectores
necesarios para generar al espacio y tambin el nmero de escalares
o coordenadas suficientes para caracterizar a un vector del espacio
como c.l. de una determinada base de l.
Definicin:
Si todas las bases de un espacio vectorial V tienen la
misma cantidad de vectores, es posible definir la
Dimensin de V como el nmero de vectores que
contiene cualquier base de V. Se anotar dimV.
c)

Sea V es un espacio vectorial con base de n vectores y S V,

1.- Si S contiene ms de n vectores, ser l.d.
2.- Si S contiene menos de n vectores no puede generar a V.
Note que si B es base de un espacio vectorial V entonces, si se le
quita un vector ya no es capaz de generar a V y si se le agrega un
vector ya no ser l.i.

APUNTES DE ALGEBRA LINEAL

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Para Curso LGEBRA II- USACH

Material N8

2.6.1.2.- Si a un conjunto l.i. que no genera al espacio vectorial que lo contiene se le

agrega un vector que no genera, se obtiene un nuevo conjunto l.i.
Consideremos un conjunto S que siendo l.i. no llega a generar al espacio
vectorial V que lo contiene. Afirmamos que, al agregar a S un vector v que
no pertenece a < S >, se obtiene un nuevo conjunto l.i.
Demostracin:

{}

Con S = v
y v< S >. Veamos si S {v} es conjunto l.i.
i i=1
Sean 1, 2, ..., m y escalares tales que:
1v1 + 2v2 + ... + mvm + v = 0
Necesariamente = 0, pues en caso contrario se despejara v como c.l. de
S negando el hecho de que v no es generado por S.
Pero, si = 0, tenemos que 1v1 + 2v2 + ... + mvm = 0 y como S es l.i.
concluimos que 1 = 2 = ... = m = 0.
Consecuencias: Podemos destacar tres situaciones derivadas de este teorema, unas ms
directas que las otras.
a)

Consideremos un subespacio W en un espacio vectorial V de dimensin

finita. Afirmamos que todo conjunto l.i. de W es finito y forma parte de
alguna base de W.
Baste decir que todo conjunto l.i. de W lo es tambin de V, y entonces debe
tener a lo ms tantos vectores como una base de V. Lo que demuestra que
ese conjunto es finito.
Adems, usando el teorema 2.6.1.2.-, si agregamos vectores no generados
por ese conjunto llegaremos, en algn momento, a tener un conjunto l.i. con
tantos vectores como la dimensin finita de W, es decir, tendremos una base
de W que contiene a nuestro conjunto.

b)

Si W es subespacio propio de V, espacio vectorial de dimensin finita,

entonces dimW < dimV.
Por la consecuencia a) anterior y el teorema 2.6.1.2.-, una base de W no
puede tener ms vectores que dimV. Luego, dimW es finita y dimW dimV.
Y como W es subespacio propio de V, existe vector v de V que no es
generado por una base B de W y al agregarlo a esa base se tiene un conjunto
B{v} que es l.i. en V. Por esta razn, dimW < dimV.

c)

En un espacio vectorial V de dimensin finita, todo conjunto S de vectores

l.i. forma parte de una base de V o de una base de cualquier subespacio de
V que lo contenga.
4

APUNTES DE ALGEBRA LINEAL

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Para Curso LGEBRA II- USACH

Material N8

En particular, si S es l.i. entonces es base de < S >.

Si S tiene k vectores y no genera a V entonces se puede expandir
agregndole dimV k vectores como indica el teorema 2.6.1.2.-, hasta que
junto a S lleguen a generar a V.
Si S es subconjunto de W, s.e.v. de V, y S no genera a W, se agregarn
dimW k vectores, como se hizo para V.
2.6.1.3.- En un espacio vectorial, la dimensin de la suma de dos s.e.v. finitos se
relaciona con las dimensiones de esos s.e.v. y de su interseccin.
Si W1, W2 V, entonces dim(W1+W2) = dimW1+dimW2 dim(W1W2).
Demostracin:
Por las consecuencias a) y c) del teorema 2.6.1.2.- podemos afirmar que
W1W2 tiene una base finita {u1, u2, ..., uk} que se puede expandir hasta
llegar a {u1, u2, ..., uk, v1, v2, ..., vm}, base de W1, y tambin expandir a
{u1, u2, ..., uk, w1, w2, ..., wn}, base de W2.
Si probamos que {u1, u2, ..., uk, v1, v2, ..., vm, w1, w2, ..., wn} es l.i.
tendremos una base para W1+W2, pues ya es un generador.
k

Supongamos que

i ui +
i =1

i vi +
i =1

Entonces, al despejar i wi =
i =1

w = 0.
i

i =1

i ui +
i =1

i vi resulta que
i =1

w
i =1

pertenecera a W1. Pero, como tambin est en W2, se deduce

n

i =1

i =1

que i wi = i ui para ciertos escalares 1, 2, ...k.

Pero como sabemos que {u1, u2, ..., uk, w1, w2, ..., wn} es l.i., resulta que
i = 0, i = 1,...,n.
k

As, en el despeje de arriba se tiene que i u i +

i =1

v
i =1

i i

= 0, y como

{u1, u2, ..., uk, v1, v2, ..., vm} tambin es l.i., llegamos a que los escalares
i = 0, i = 1,..., k ; i = 0, i = 1,..., m.
Y hemos probado que {u1, u2, ..., uk, v1, v2, ..., vm, w1, w2, ..., wn} es base
de W1+W2.
Finalmente: dimW1+dimW2 = (k + m) + (k + n)
= k + (m + k + n)
= dim(W1W2) + dim(W1+W2)
Con lo que, ordenando la identidad, demostramos el teorema.

APUNTES DE ALGEBRA LINEAL

Para Curso LGEBRA II- USACH

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Material N8

Consecuencias: Podemos destacar cuatro situaciones derivadas de este teorema.

a)

Se hace razonable la convencin para el s.e.v. trivial {0v} respecto de

su base , que lo lleva a tener dim{0v} = 0, por cuanto es coherente
con la teora de dimensiones.

b)

Si W1W2 = {0v} entonces dim(W1+W2) = dimW1+dimW2.

c)

Si ocurre que W1+W2 = V, con W1W2 = {0v}, diremos que W1 + W2

es Suma Directa y anotaremos W1 W2.

d)

Si B1 es base de W1 y B2 es base de W2 , y tanto W1 como W2 son s.e.v.

de V entonces:
i) <B1 > = W1 y <B2 > = W2.
ii) <B1B2 > = W1 + W2. Note que B1B2 genera al espacio suma
pero no es necesariamente una base pues podra no ser l.i. Lo que
se puede asegurar es que un subconjunto de B1B2 s ser base.
Bastar con eliminar los vectores dependientes uno a uno hasta
obtener un conjunto l.i. maximal.
iii) Teniendo una base para W1 + W2, se puede obtener dim(W1W2)
= dimW1+dimW2 dim(W1+W2), con lo que se sabe cuantos
vectores buscar para una base de W1W2.

Ejemplo:

Dados W1 = {(x, y, z, u)IR4 / x 2y = 0 y + z u = 0}, y

W2 = {(x, y, z, z x)IR4, x, y, z IR }, dos s.e.v. de IR4(IR),
a) Obtengamos una base y la dimensin para W1 y para W2.
b) Obtengamos una base y la dimensin para W1 W2.
c) Determinemos la dimensin de W1 + W2, una forma caracterstica para sus vectores y
una base para W1 + W2.
Respondamos de acuerdo a lo indicado en las consecuencias de arriba:
a) Para W1, una forma caracterstica para sus vectores surge de despejar las variables
que aparezcan slo en una de sus condiciones, es decir:
de 1 ecuacin, x = 2y; de 2 ecuacin, u = y + z, y, z IR
Luego, (2y, y, z, y + z) W1, y, z IR
Y, al descomponer como c.l.: (2y, y, z, y + z) = y(2, 1, 0, 1) + z(0, 0, 1, 1), y, z IR
Luego, W1 = <{(2, 1, 0, 1), (0, 0, 1, 1)}>, con generadores l.i. por construccin.
De lo cual, B1 = {(2, 1, 0, 1), (0, 0, 1, 1)} es base de W1 y dimW1 = 2.
6

APUNTES DE ALGEBRA LINEAL

Para Curso LGEBRA II- USACH

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Material N8

Para W2, como nos dan una forma caracterstica para los vectores de W2, podemos
descomponer de inmediato:
(x, y, z, z x) = x(1, 0, 0, 1) + y(0, 1, 0, 0) + z(0, 0, 1, 1), x, y, zIR
Luego, W2 = <{(1, 0, 0, 1), (0, 1, 0, 0), (0, 0, 1, 1)}>, con generadores l.i. por
construccin.
De lo cual, B2 = {(1, 0, 0, 1), (0, 1, 0, 0), (0, 0, 1, 1)} es base de W2 y dimW2 = 3.
b) Para obtener W1W2:
1.- Por condiciones o formas generadas:
Si v = (x, y, z, u)W1W2, entonces cumple condicin para estar en W1 y en W2
por separado,
(x, y, z, u) es tal que x 2y = 0 y + z u = 0 (por estar en W1),
y, u = z x (por estar en W2).
Luego, (x, y, z, u)W1W2, si y slo si x = 2y y + z = z x;
de donde x = y = 0 u = z.
(0, 0, z, z) W1W2, zIR
Por lo tanto, W1W2 = <{(0, 0, 1, 1)}> y dim(W1W2) = 1.
2.- Por bases:
Los vectores de W1W2 son c.l. de ambas bases a la vez y con distintos
escalares, en general:
(2,1,0,1) + (0,0,1,1) = (1,0,0, 1) + (0,1,0,0) + (0,0,1,1)
de donde: 2 = = = + = +
y se concluye que: = = 0 = .
Por lo cual: (0, 0, , )W1W2, IR
Por lo tanto, W1W2 = <{(0, 0, 1, 1)}> y dim(W1W2) = 1.
c) Para la dimensin de W1 + W2:
Por teorema:
dim (W1 + W2) = dim W1 + dim W2 dim (W1W2)
=
2
+ 3
1
= 4
dim(W1 + W2) = 4 = dimIR4
W1 + W2 = IR4
Una base puede ser: 1.- la cannica: BW1 + W2 = {e1, e2, e3, e4}
2.- Conociendo bases de W1 y W2:
W1 + W2 = <B1B2>
W1+W2 =<{(2,1,0,1),(0,0,1,1),1,0,0,1),(0,1,0,0)}>.
Ud. puede ver si son l.i. por determinantes o por rango.
BW1+W2 = {(2,1,0,1),(0,0,1,1),1,0,0,1),(0,1,0,0)}
7

APUNTES DE ALGEBRA LINEAL

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Para Curso LGEBRA II- USACH

Material N8

2.6.2.- Bases Ordenadas y Vectores Coordenados.

Si imponemos un orden determinado a los vectores de una base B de un espacio vectorial
V(IK), podremos establecer un lenguaje relativo a esa base para representar a cada uno de
los vectores v de dicho espacio vectorial. Veremos un teorema que nos permitir relacionar
un juego nico de escalares de IK con un nico vector v de V, segn esa especfica base
ordenada B. Esto permitir establecer una correspondencia biunvoca entre dos espacios
vectoriales que estn definidos sobre un mismo cuerpo de escalares y que tengan igual
dimensin, llevndonos al concepto de Isomorfismo entre espacios vectoriales.
2.6.2.1.- Si B es una base ordenada de un espacio vectorial V(IK), entonces cada vector de
V se escribe de modo nico como c.l. de la base B.
Si B = {b1, b2, ..., bn} es una base ordenada de un espacio vectorial V(IK),
entonces: vV, ! {1, 2, ..., n} IK/ v =

b
i =1

i i

Demostracin:
Supongamos que para un cierto vector vV existen al menos dos conjuntos de
escalares distintos que permiten escribirlo como c.l. de B.
Sean {1, 2,..., n} y { 1, 2,..., n} IK esos dos conjuntos de escalares y las c.l.
n

respectivas v = i bi y v = i bi con i i al menos para un valor de i.

i =1

i =1

Luego,

b = b
i =1

i i

i =1
n

b
i =1

i i

( b

i i

(
i =1

b
i =1

i =1

y, sucesivamente se deduce que:

i i

i i

=0

i bi ) = 0

i )bi

= 0, pero B es base y, por tanto, es l.i.

Luego, i i = 0, i = 1,..., n. Y, en definitiva, i = i , i = 1,..., n.

Con lo cual, hemos llegado a una contradiccin puesto que partimos asumiendo
que i i, al menos para un valor de i.
Y como lo que nos llev a este absurdo fue suponer que haba dos c.l. de B que
podan representar a v, debemos dar por demostrado que la representacin de v
como c.l. de B es nica.

APUNTES DE ALGEBRA LINEAL

MARCEL SAINTARD VERA

SEGUNDO SEMESTRE 2011

Para Curso LGEBRA II- USACH

Definicin:
Sea B =

{bi }

Material N8

una base ordenada del espacio vectorial V(IK). Por el teorema de arriba,

i=1

sabemos que para cada vector vV existir una nica n upla en IKn que representar al
vector v en el lenguaje de la base B y le llamaremos Vector Coordenado de v, segn la base
B, anotndolo vB = (1, 2, 3,...., n) si se tiene que

b = v.
i =1

i i

Ejemplo: Sea B = {b1 = x2 + 1, b2 = x + 2, b3 = x2 3x} una base ordenada para el espacio

vectorial P2[x] = {ax2 + bx + c / a, b, cIR}. Escribamos a p(x) = 5x2 4x + 3 como
vector coordenado [p(x)]B y verifiquemos desarrollando la c.l. segn la base B.
Respuesta: Consideremos que existen escalares , , en IR tales que p(x), como c.l. de B, se
escribe: b1 + b2 + b3 = p(x). Luego, sustituyendo, se tiene que

(x2 + 1) + (x + 2) + (x2 3x) = 5x2 4x + 3, lo que nos lleva al sistema

5
+
=
3 = 4 cuya solucin es = 19 , = 2 , = 6 .
5
5
5
=
3
+ 2
19
2 6
, ,
) es el vector coordenado de p(x) en base B y Ud.
5
5 5
Verifique haciendo el desarrollo de la c.l. pedido.

Luego, [p(x)]B = (

2.6.2.1.-

Cambio de Base. Si B y C son bases ordenadas de un espacio vectorial V(IK),y se

conoce el vector coordenado vB de un vector v de V, segn la base B, entonces se puede
obtener el vector coordenado vC para ese mismo vector.
Si se conoce vB = ( 1, 2, ..., n), entonces para obtener vC se resuelve el sistema
de ecuaciones lineales con incgnitas escalares x1, x2, ..., xn que surge de la
igualdad de c.l. para v:

i =1

i =1

xi ci = i bi

Ejemplo: En IR3 sean B = {b1 = (1, 1, 1), b2 = (1, 1, 2), b3 = (0, 1, 1)} y
C = {c1 = (1, 0, 1), c2 = (0, 1, 1), c3 = (1, 1, 0)}.
Obtenga vC sabiendo que vB = (1, 2, 3). Determine v en base cannica.
Respuesta: Sea vC = (x, y, z). Luego, v se escribe como c.l. de B y de C, generando la ecuacin:
v = xc1 + yc2 + zc3 = 1b1 + 2b2 + 3b3. Es decir: (x + z, y + z, x + y) = (3, 6, 6).
3
9
3
3 9 3
,y=
,z=
. Luego, vC = (
,
,
), y
Que al resolver, entrega: x =
2
2
2
2 2 2
(3, 6, 6) era v en base cannica.