ESPACIOS VECTORIALES

4.1 Definicin de espacios vectoriales

Sean K un cuerpo dado y V un conjunto no vaco, con reglas de suma y
producto por un escalar que asignan a cada par u, v V una suma u + v V y k
cada par u V, k K un producto ku V.
Un espacio vectorial (o espacio lineal) consta de lo siguiente:
1. Un cuerpo F de escalares
2. Un conjunto V de objetos llamados vectores
3. Una regla (u operacin) llamada adicin, que asocia a cada par de
vectores , de V un vector a + de V, que se llama suma de y , de
tal modo que:
a. La adicin es conmutativa, + = +
b. La adicin es asociativa, + ( + y) = (a + ) + y
c. existe un nico vector 0 de V, llamado vector nulo, tal que
+ 0 = , para todo de V
d. para cada vector de V, existe un nico vector - de V, tal que
+ (- ) = 0.
4. una regla (u operacin), llamada multiplicacin escalar que asocia a
cada escalar c de F y cada vector de V a un vector c en V, llamado
producto de c y , de tal modo que:
a) 1 = para todo de V
b) (c
1
c
2
) = c
1
(c
2
);
c) c( + ) = c + c;
d) (c
1
+ c
2
) = c
1
+ c
2
.
V recibe el nombre de espacio vectorial sobre K (y los elementos de V se
llaman vectores) si se satisfacen los siguientes axiomas.
Para toda terna de vectores u, v, w V, (u + v) + w = u + (v + w).
Existe un vector en V, denotado por 0 y denominado el vector cero, tal
que u + 0 = u para todo vector u V
Para todo vector u V existe un nico vector en V, denotado por - u, tal
u + (- u) = 0.
Para todo par de vectores u, v V, u + v= v + u.
Para todo escalar k K y todo par de vectores u, v V, k (u + v) = ku +
kv.
Para todo par de escalares a, b K y todo vector u V, (a + b) u = au +
bu.
Para todo par de escalares a, b K y todo vector u V, (ab) u = a (bu).
El escalar unidad 1 K cumple 1u = u para todo vector u V.
Los axiomas precedentes se desdoblan de
forma natural en dos categoras. Los cuatro
primeros ataen nicamente a la estructura
aditiva de V y pueden resumirse diciendo que V
es un grupo conmutativo bajo la suma. De ello
se deriva que cualquier suma de vectores de la
forma
V
1
+ v
2
+.....+ v
m
No requiere parntesis y no depende del orden de los sumandos, que el vector
cero, 0, es nico que el opuesto -u de u es nico y que se verifica la ley de
cancelacin; esto es, para tres vectores cualesquiera u, v, w V.
u + w = v + w implica u = v
Asimismo, la resta se define segn
u- v = u + (- v)
Por otra parte, los cuatro axiomas restantes se refieren a la accin del
cuerpo K sobre V

Teorema 5.1: Sea V un espacio vectorial sobre un cuerpo K.
i. Para todo escalar k K y 0 V, k0 = 0.
ii. Para O K y todo vector u V, 0u = 0.
iii. Si ku = 0, donde k K y u V, entonces k = 0 o u = 0.
iv. Para todo k K y todo u V, (- k) u = k (-u) = - ku.

Ejemplos de espacios vectoriales.
Espacio K
n

Sea K un cuerpo arbitrario. La notacin K
n
se usa frecuentemente para
designar el conjunto de todas las n-plas de elementos de K. Aqu K
n
se ve
como un espacio vectorial sobre K, en el que la suma vectorial y el producto
por un escalar se definen segn

(a
1
, a
2
,..., a
n
) + (b
1
, b
2
,..., b
n
) = (a
1
+ b
1
, a
2
, +b
2
,..., a
n
+b
n
)
k (a
1;
a
2
,..., a
n
) = (ka
1
, ka
2
,..., ka
n
)
El vector cero en K
n
es la n-pla de ceros
0 = (0, 0,..., 0)
y el opuesto de un vector se define por
- (a1, a2,..., an) = (-a1, -a2,..., -an)
ESPACIO DE MATRICES M
m, n
La notacin M
m, n
o simplemente M, se utilizar para designar el conjunto de
todas las matrices m x n sobre un cuerpo arbitrario K. M
m, n
es un espacio
vectorial sobre K con respecto a las operaciones usuales de suma matricial y
producto por un escalar.
ESPACIO DE POLINOMIOS P(t)
Denotemos por P(t) el conjunto de todos los polinomios
a
0
+ a
1
t + a
2
t
2
+....+ a
n
t
n

Con coeficientes a
i
en algn cuerpo K. P(t) es un espacio vectorial sobre K con
respecto a las operaciones usuales de suma de polinomios y producto de un
polinomio por una constante.
ESPACIO DE FUNCIONES F(X)
Sean X un conjunto no vaco y K un cuerpo arbitrario. Consideremos el
conjunto F(X) de todas las funciones de X en K. [Ntese que F(X) es no vaco
por serlo X.] La suma de dos funciones f, g F(X) es la funcin f + g F(X)
definida por:
(f + g)(x) =f(x) + g(x) x X
y el producto de un escalar k K por una funcin f F(X) es la funcin k f F(X)
definida por
(kf) (x) = kf (x) x X
(El smbolo significa para todo.) F(X), con las operaciones anteriores, es un
espacio vectorial sobre K
El vector cero en F(X) es la funcin cero, 0, que aplica cada x X en 0 K, es
decir,
0(x) = 0 x X
Asimismo, para cualquier funcin f F(X), la funcin -f definida por
(-f)(x)= -f (x) x X
es la opuesta de la funcin f.



CUERPOS Y SUBCUERPOS
Supongamos que E es un cuerpo que contiene un subcuerpo K. E puede verse
como un espacio vectorial sobre K como sigue. Tomemos como suma vectorial
la suma usual en E, y como producto kv del escalar k K por el vector v E el
producto de k y v como elementos del cuerpo. En tal caso, E es un espacio
vectorial sobre K, esto es, E y K satisfacen los ocho axiomas de espacio
vectorial precedentes.




4.2 Subespacio Vectorial y sus propiedades
Sea V un espacio vectorial sobre el cuerpo F. Un subespacio de V es un
subconjunto W de V que, con las operaciones de adicin vectorial y
multiplicacin escalar sobre V, es el mismo un espacio vectorial sobre F.
Una comprobacin directa de los axiomas para un espacio vectorial, demuestra
que el subconjunto W de V es un subespacio si, para todos los y de W, el
vector + est tambin en W; el vector 0 est en W; para todo de W, el
vector (-) est en W para todo de W y todo escalar c, el vector c est en W.
La conmutatividad y asociatividad de la adicin vectorial y las propiedades
(4) (a), (b), (c) y (d) de la multiplicacin escalar no necesitan ser comprobadas,
ya que stas son propiedades de las operaciones en V. Se pueden simplificar
an ms las cosas.
Teorema 1. Un subconjunto no vaco W de V es un subespacio de V si, y solo
si, para todo par de vectores , de W y todo escalar c de F, el vector c +
est en W.
Teorema 2. Sea V un espacio vectorial sobre el cuerpo F. La interseccin de
cualquier coleccin de subespacios de V es un subespacio de V.
Demostracin. Sea {W
a
} una coleccin de subespacios de V, y sea W = W
a

su interseccin. Recurdese que W est definido como el conjunto de todos los
elementos pertenecientes a cada W
a
. Dado que todo W
a
es un subespacio,
cada uno contiene el vector nulo. As que el vector nulo est en la interseccin
W, y W no es vaco. Sean y vectores de W y sea c un escalar. Por
definicin de W ambos, y , pertenecen a cada W
a
, y por ser cada W
a
un
subespacio el vector (c + ) est en cada W
a
. As (c + ) est tambin en W.
Por el Teorema 1, W es un subespacio de V.
3
Del Teorema 2 se deduce que si S es cualquier coleccin de vectores de
V, entonces existe un subespacio mnimo de V que contiene a S; esto es,
un subespacio que contiene a S y que est contenido en cada uno de
los otros subespacios que contienen a S.
Definicin. Sea S un conjunto de vectores de un espacio vectorial V. El sub-
espacio generado por S se define como interseccin W de todos los
subespacios de V que contienen a S. Cuando S es un conjunto finito de
vectores, S = {
1
,
2
,...,
n
} se dice simplemente que W es el subespacio
generado por los vectores
1
,
2
,...,
n
.

Teorema 3. El subespacio generado por un subconjunto S no vaco de un
espacio vectorial V es el conjunto de todas las combinaciones lineales de los
vectores de S.
Definicin. Si S
1
, S
2
,..., S
k
son subconjuntos de un espacio vectorial V, el
conjunto de todas las sumas

1
+
2
+.....+
k

de vectores
1
de S
i
se llama suma de los subconjuntos S
1
, S
2
,...,S
k
y se repre-
senta por
S
1
+ S
2
+. . . + S
k

o por

Si W
1
, W
2
,. . ., W
k
son subespacios de V, entonces la suma
W = W
1
+ W
2
+. + W
k

como es fcil ver, es un subespacio de V que contiene cada uno de los
subespacios W
i
. De esto se sigue, como en la demostracin del Teorema 3,
que W es el subespacio generado por la unin de W
1
, W
2
,. . ., W
k
.