Espacios Vectoriales

*
28 de Agosto de 2012.
Resumen
Este documento contiene introduccin a los espacios vectoriales y algunos
conceptos que dentro de el se denen.
1. Espacios Vectoriales
Denicin 1.1. Sea V un conjunto, y sean + y dos operaciones binarias internas
denidas sobre V, llamadas suma y producto, respectivamente. Se dice que V, con estas
operaciones, es un cuerpo si se satisfacen los siguientes axiomas:
(A1) La suma es una operacin asociativa, esto es,
a, b, c V, a + (b + c) = (a + b) + c.
(A2) La suma es una operacin conmutativa, esto es,
a, b V, a + b = b +a.
(A3) Existe en V un elemento neutro para la operacin suma, es decir, existe 0 V
tal que
a V, a +0 = a.
(A4) Para cada a V, existe a V, llamado el negativo de a, tal que
a + (a) = 0
(A5) El producto es una operacin asociativa, esto es,
a, b, c V, a (b c) = (a b) c.
*
Este material ha sido preparado para Matemtica I
1
(A6) Existe en V un elemento neutro para la operacin producto, es decir, existe
1 V, 1 = 0, tal que
a V, a 1 = 1 a = a.
Usualmente, 1 se llama el elemento unidad de V
(A7) Para todo elemento a V, a = 0, existe a
1
V, llamado el recproco de a. tal
que
a a
1
= a
1
a = 1.
(A8) La operacin producto es distributiva con respecto a la operacin suma, esto es,
a, b, c V,

a (b + c) = a b +a c.
(a + b) c = a c + b c.
Observaciones.
(1) Se dice que V es un cuerpo conmutativo, si adems se satisface:
a, b K, a b = b a
(2) Se escribe la terna (K, +, ) para indicar que el conjunto V con las operaciones +
y es un cuerpo.
(3) Los conjuntos C, y de los nmeros complejos, reales y racionales, respectiva-
mente, constituyen cuerpos conmutativos con las operaciones de suma y produc-
to usuales.
Denicin 1.2. Sean E un conjunto, K un cuerpo y
+ : E E E
(x, y) x + y
una operacin binaria interna llamada suma, y
: KE E
(a, x) a x
una operacin binaria externa llamada producto por escalar (usualmente se escriba ax
en vez de a x). Se dice que E con las operaciones + y es un espacio vectorial sobre
K o un V-espacio vectorial, si se santisfacen los siguientes axiomas:
(E1) x, y, z E, x + (y + z) = (x + y) + z.
2
(E2) x, y E, x + y = y + x.
(E3) Existe un elemento
E
, llamado el vector nulo de E, tal que
x E, x +
E
= x.
(E4) Para cada x E, existe x E, llamado el negativo de x, tal que
x + (x) =
E
.
(E5) a, b K, x E, a(b x) = (ab)x.
(E6) a K, x, y E, a(x + y) = ax +ay.
(E7) a, b K, x E, (a + b)x = ax + b x.
(E8) x E, 1 x = x, donde 1 es el elemento unidad del cuerpo K.
Observaciones.
(1) Los elementos de E se denominan vectores y los de K se llaman escalares.
(2) Del axioma (E3), se deduce que E =.
(3) Si K=, se dice que E es un espacio vectorial real. Si K=C, se dice que E es un
espacio vectorial complejo.
(4) Cualesquiera sean los vectores x e y de E, x + (y) se escribe x y y se llama la
diferencia entre x e y.
Ejemplo 1.1 (Espacio vectorial trivial). Sea E = {0}. Es decir, E consiste slo en el
nmero cero. Como 0 +0 = 1 0 = 0 + (0 +0) = (0 +0) +0 = 0, se ve que E es un
espacio vectorial. Con frecuencia se le otrorga el nombre de espacio vectorial trivial.
Ejemplo 1.2. Sea E= 1. Es decir E consiste unicamente en el nmero uno. ste no es
un espacio vectorial ya que no cumple con la operacin binaria interna. Para verlo con
ms claridad basta con observar que 1 +1 = 2 / E. Tambin viola algunos axiomas,
pero basta slo demostrar que almenos una de las condiciones no se cumple y queda
probado que E no es un espacio vectorial.
Teorema 1.1. Sea E un espacio vectorial. Entonces
0 = 0 para todo escalar
0 x = 0 para todo x E
Si x = 0, entonces = 0 o x = 0 o ambos.
(1)x =x para todo x E
3
2. Subespacios Vectoriales
Denicin 2.1. Sea H un subconjunto no vacio de un espacio vectorial E y suponga
que H es en s un espacio vectorial bajo las operaciones de suma y multiplicacin por
escalar denidas en E. Entonces se dice que H es un subespacio de E.
Se puede decir que H hereda las operaciones del espacio vectorial E.
Teorema 2.1. Un subconjunto no vacio H de un espacio vectorial E es un subespacio de
E si se cumplen las dos reglas de cerradura:
Reglas de cerradura para ver si un subconjunto no vacio es un subespacio vectorial.
Si x H y y H, entonces x + y H
Si x H, entonces x H para todo escalar .
Este teorema contiene un hecho que por su importancia merece ser mencionado:
Todo subespacio vectorial de un espacio vectorial E contiene al cero (0)
Ejemplo 2.1. El subespacio trivial. H= 0.
Ejemplo 2.2. Un espacio vectorial E es un subespacio de si mismo.
3. Combinacin Lineal
Denicin 3.1. Dados los vectores x
i
E, 1 i n y los escalares
i
K, 1 i n,
se denomina combinacin lineal de los vectores x
1
, x
2
, ..., x
n
E a toda expresin del
tipo:
a
1
x
1
+a
2
x
2
+ +a
n
x
n
en notacin abreviada
n

i =1
a
i
x
i
Denicin 3.2. Se dice que x Ees una combinacin lineal de los vectores x
1
, x
2
, ..., x
n
de E si existen a
1
, a
2
, ..., a
n
K tales que:
x =
n

i =1
a
i
x
i
Ejemplo 3.1. En
3
; x = (7, 7, 7) es una combinacin lineal de x
1
= (1, 2, 4) y
x
2
= (5, 3, 1) ya que (7, 7, 7) = 2(1, 2, 4) (5, 3, 1)
4
Denicin 3.3 (Conjunto Generador). Se dice que los vectores x
1
, x
2
, ..., x
n
de un
espacio vectorial E generan a E si todo vector en E se puede escribir como una com-
binacin lineal de los mismos. Es decir, para todo x E, existen escalares a
1
, a
2
, ..., a
3
tales que:
v = a
1
x
1
+a
2
x
2
+ +a
n
x
n
Denicin 3.4 (Espacio generado por un conjunto de vectores). Sea x
1
, x
2
, ..., x
k
k
vectores de un espacio vectorial E. El espacio generado por {x
1
, x
2
, ..., x
k
} es el con-
junto de combinaciones lineales x
1
, x
2
, ..., x
k
. Es decir
g en{x
1
, x
2
, ..., x
k
} ={x : x = a
1
x
1
+a
2
x
2
+ +a
k
x
k
}
donde a
1
, a
2
, ..., a
k
son escalares arbitrarios.
Ejemplo 3.2. Los vectores i , j generan a
2
y los vectores i , j , k generan a
3
Denicin 3.5. Un conjunto nito de vectores S ={x
1
, x
2
, ..., x
k
} siendo S Ese dice
linealmente dependiente o que forman un sistema ligado, si existen a
1
, a
2
, ..., a
k
K,
no todos nulos, tales que
n

i =1
a
i
x
i
= a
1
x
1
+a
2
x
2
+ +a
k
x
k
= 0
Teorema 3.1. Un conjunto nito de vectores S = {x
1
, x
2
, ..., x
k
} es linealmente depen-
diente si y slo si, al menos, uno de los vectores depende linealmente de los restantes. Es
decir, es un multiplo escalar de otros.
4. Base y Dimensin
Denicin 4.1. Un conjunto E={u
1
, u
2
, ..., u
n
} de vectores de un espacio vectorial E
de tipo nito y denido sobre un cuerpo Kse dice que constituye una base si cumple:
E es un sistema generador de .
E es un sistema libre.
Teorema 4.1. Todo espacio vectorial E nito y no nulo posee, al menos, una base.
Teorema 4.2. Todas las bases de un espacio vectorial poseen el mismo nmero de vectores
Denicin 4.2. Si el espacio vectorial E tiene una base con un nmero nito de ele-
mentos, entonces la dimensin de E es el nmero de vectores de todas las bases y E se
denomina espacio vectorial de dimensin nita. De otra manera, E se denomina espa-
cio vectorial de dimensin innita. Si E={0}, entonces se dice que E tiene dimensin
cero.
Observaciones. La dimensin E se denota por dimE
5