Resumen.

lgebra Lineal y Geometra: Espacios vectoriales, por Eugenio Hernndez.

Sinopsis: se introducen los fundamentos de los espacios vectoriales.

1.- Definicin.
El conjunto de los nmeros reales y el conjunto de los nmeros complejos tienen
propiedades similares. En ambos pueden definirse dos operaciones suma y
producto que satisfacen unas propiedades concretas, en el caso de la suma: la
asociativa, la conmutativa, la existencia del elemento neutro y la existencia del
elemento opuesto, y en el caso del producto: la asociativa, la conmutativa, la
existencia del elemento unidad, la existencia de inverso para todo nmero distinto
del nulo, y la distributiva con respecto a la suma. Esto sugiere la definicin de una
estructura algebraica ms general y abstracta que abarque todos estos casos
particulares, el cuerpo.
De la misma manera, los conjuntos formados por vectores en el espacio, por las
matrices, por las aplicaciones lineales de R n en Rm tienen propiedades parecidas.
En todos ellos se puede definir la suma y el producto por un elemento de un
cuerpo (un nmero real o complejo, por ejemplo) que satisfacen tambin unas
determinadas propiedades. Este tipo de estructura algebraica se denomina
espacio vectorial. Su definicin axiomtica es la siguiente:
Un espacio vectorial sobre un cuerpo K es una estructura algebraica que consiste
en un conjunto V dotado de dos operaciones, suma, que a cada par de elementos
u y v de V le hace corresponder otro elemento u+v de V, y producto por un
escalar, que a cada par elementos k de K y v de V le hace corresponder un
elemento kv de V, que satisfacen respectivamente las mismas propiedades que la
suma y el producto de un cuerpo.

2.- Base y dimensin de un espacio vectorial.

Se dice que un vector v es combinacin lineal de otros vectores v1, v2, v3... si
existen escalares k1, k2, k3... tales que k1 v1 + k2v2 + k3v3 + + knvn =v.
Un sistema generador de un espacio vectorial es un conjunto de vectores cuya
combinacin lineal da lugar a todos los vectores del espacio. Un sistema de
generadores es una base de un espacio vectorial si todos los vectores que la
forman son linealmente independientes.
Se tiene que toda base de un mismo espacio vectorial tiene el mismo nmero de
elementos. Este nmero de elementos coincide con el nmero de vectores
linealmente independientes que puede existir en el subespacio vectorial (es decir,
con su dimensin).

3.- Cambio de base.

Un mismo espacio vectorial V puede tener varias bases. Sean B 1 y B2 dos de ellas.
Ambas estn relacionadas por medio de una aplicacin lineal f.

f :V B1V B2
Por lo tanto, la matriz de cambio de base entre B 1 y B2 coincide con la matriz

asociada a dicha aplicacin lineal. Esto es, si (v1, v2, v3, ,vn) es una base de B 1 y
(w1, w2, w3, ,wn) de B1, entonces:

} ( )

f (v 1 )=a 1=a11 w1 +...+a n1 w n

a11 ... a n1
f (v 2 )=a2 =a12 w1 +...+a n2 w n M
a12 ... an2
B1B2 =
...
...
a1n ... a nn
f (v n)=an =a1n w 1+...+ ann wn

Dado que f es una aplicacin lineal biyectiva, la matriz de cambio de base de B 1 a

B2 es invertible. Por lo tanto:
1

M B1B2 =M B2B1
4.- Subespacios vectoriales. Interseccin y suma de subespacios
vectoriales.
Un subespacio vectorial W de un espacio vectorial V es un subconjunto de V que
tambin es un espacio vectorial.
Para demostrar que un subconjunto de V es un subespacio vectorial es necesario y
suficiente demostrar que:

k 1 v 1 +k 2 v 2 =v W , v 1, v 2W
Se define la interseccin y la suma de subespacios vectoriales V 1 y V2 de la
siguiente forma:
V 1V 2 ={u t.q. uV 1 y uV 2 }
V 1 +V 2={u1+ u2 t.q. uV 1 y uV 2 }
Estos conjuntos son, adems, subespacios vectoriales de V. Se verifica que:

dim(V 1)+dim(V 2)=dim(V 1 +V 2)+ dim(V 1V 2 )

Un espacio vectorial es suma directa de sus subespacios Vi cuando se cumple
que:
n

V 1=V
i=1

V 1

( V )=0, i=1,2, ... , n

ki

Cuando un espacio vectorial V se expresa como suma directa de sus subespacios

Vi, entonces cada vector v de V se puede descomponer de una nica forma v
= v1 + v2 + v3 + + vn.