Deficiones y teoremas

M. Flores
18 de septiembre de 2016
Def.:Un espacio vectorial V sobre un campo F, es un conjunto en el que estan definidas dos operaciones
(adici
on y multiplicaci
on por un escalar) tal que para cualquier par de elementos x
y y en V, existe un u
nico
elemento x
+ y en V, y para cada elemnto a en F y cada elemento x
en V, existe un u
nico elemento a
x em
V, de manera que cumple con las siguientes condiciones:
1.
x, y en V, x
+ y = y + x

2.
x, y, z en V, (
x + y) + z = x
+ (
x + z)
3. Existe un elemento en V llamado
0, tal que x
+ 0 = x
,
x en V
4.
x en V, existe un elemento y en V, tal que x
+ y = 0
5.
x en V, 1
x=x
en V
6. a, b en F y cada elemento
x en V, (ab)
x = a(
xb)
7. a en F y
x, y en V, a(
x + y) = (a
x + a
y)
8. a, b en F y
x en V, (a + b)
x = (a
x + b
x)
Teo 1: Si x
, y, z son elementos de un espacio vectorial V, tal que x
+ z = y + z x
= y
Cor 1: El vector
0 descrito en 3.- es u
nico
Cor 2: El vector y descrito en 4.- es u
nico
Teo 2: En cualquier espacio vectorial V son verdaderos los siguientes enunciados:
a) 0
x=
0,
xV
b) a
x = (a
x), a F
xV
c) a
0=
0a F
Def: Un subconjunto W de un espacio vectorial V sobre un campo F. Se llama un subespacio vectorial
sobre F, bajo las operaciones de suma y multiplicacion por escalares definidas en V, deben satisfacer las
condiciones:
1. x
+ y W siempre y cuando x
, y W
2. a
x W siempre que a F x
W
3. El vector cero de V W
4. El inverso aditivo de cada elemento de W W,
x W
xW
Teo 3: Sea V un espacio vectorial y W un subconjunto de V. Entonces, W es un subespacio de V, si y s
olo
si, se satisfacen las condiciones siguientes:
1.
0W
2. x
+ y W siempre y cuando x
, y W

3. a
x W siempre que a F, x
W
Teo 4: Cualquier intersecci
on de subespacios d eun espacio vectorial V, es un subespacio de V
Def: Si S1 y S2 son dos subconjuntos no vacos de un espacio vectorial V, entonces la suma de S1 y S2 que
se expresa como S1 + S2 , es el conjunto {
x + y | x
S1 , y S2 }. La suma de cualquier n
uumero finito de
subconjuntos no vacos de V S1 , ...Sn , se define analogamente como el conjunto:
S1 + ... + Sn = {
x1 ... + n
n | x
i S1 , i = 1, 2, ..., n}
Teo 5: Si W1 y W2 son subespacios de V. como 0 W1 y 0 W2 , 0 = 0 + 0 W1 + W2 entonces existir
a,
x1 , y1 W1 , x2 , y2 W2 , tales que x
= x1 + x2 y = y1 + y2 . Ahora bien, x
+ y = (x1 + x2 ) + (y1 + y2 ) =
(x1 +y1 )+(x2 +y2 ) es un elemento de W1 +W2 ya que x1 , y1 W1 x2 , y2 W2 y a
x = a(x1 +x2 ) = ax1 +ax2
es un elemento de W1 + W2 ya que ax1 W1 ax2 W2 . Luego entonces,W1 + W2 es por el teorema 1.3,
un subespacio vectorial de V.
Cor:La suma de cualquier n
umero finito de subespacios de V, es un subespacio de V.
Def: Se dice que un espacio vectorial V,es la suma directa de W1 W2 , expresada como V = W1 W2 , si
W1 W2 son subespacios de V, tales que, W1 W2 = {0} W1 + W2 = V
Teo 6: Sea W1 W2 subespacios del espacio vectorial V, entonces V es la suma indirecta de W1 W2 , si y
s
olo si, cada elemento de V puede ser escrito de manera u
nica como x1 + x2 , x1 W1 x2 W2
Def: Sea V un espacio vectorial no vaco de V, se dices que un vector x
de V es una combinacion lineal de
elementos de S, si existe un n
umero finito de elementos y1 , ..., yn en S y escalares a1 , ..., an en F, tales que
x
= a1 y1 + ... + an yn . En este caso, es compun decir que x
es una combinacion lineal de y1 , ..., yn .
Teo 7: Si S es un subconjunto no vaco de un espacio vectorial V, entonces el conjunto W, integrado por
todas las combinaciones lineales de elementos S, es un subespacio de V mas peque
no que contiene a S en el
sentido que W es un subconjunto de cualquier subespacio de V que contiene a S.
Def: Al subespacio definido en el teorema 7, se le llama subespacio generado por los elementos de S y se
denota por L(S). Por conveniencia, definiremos: L(Q) = {0}
Def: Un conjunto S de un espacio vectorial V, genera a V,si L(S)=V. En esta situacion tambien podemos
decir que los elementos de S generan a V.
Def: Un subconjunto S de un espacio vectorial V es linealmente independiente si existe un n
umero finito de
vectores distintos x
1 , x
2 , ..., x
n en S y escalare a1 , a2 , ..., an en F, todos cero, tales que, a1 x
1 +a2 x
2 ...+an x
n =

0. Tambien se puede describir esta situaci

on diciendo que los elementos de S son linealmente dependientes.
Def: Se dice que un subconjunto S de un subespacio vectorial que no es linealmente dependienre, es linealmente independiente. Como anteriormente describiremos a menudo esta situacion diciendo que los elementos
de S son linealmente independientes.
Teo 8: Sea V un espacio vectorial y sea S1 S2 V . Si S1 es linealmente dependiente, entonces S2 tambien
lo es.
Cor 1: Sea V un espacio vectorial y sea S1 S2 V . Si S2 es linealmente independiente, entonces S1
tambien lo es.
Def: Una base para un espacio vectorial V,es un subconjunto linealmente independiente de V que genera
a V. (Si es una base de V, diremos a menudo que los elementos de forman una base de V).

Teo 9: Sea V un espacio vectorial y = {

x1 , ...
xn } un subconjunto de V. Luego es una base de V, si y s
olo
si, cada vector y en V puede ser expresado de manera u
nica como una combinacion lineal de vectores de ,
es decir, puede ser expresado de la forma: y = a1 x
+ ... + an x
n
Lema: Sea S un subconjunto linealmente independiente de un espacio vectorial V y sea x
un elemento de V,
que no est
a en S. Luego, S {
x} es linealmente independiente, si y solo si, x
L(s).
Teo 10: Si un espacio vectorial V es generado por un conjunto finito So , entonces un subconjunto de So es
una base para V y por tanto, V tiene una base finita.
Teo 11: Sea V un espacio vectorial que tiene una base con exactamente n elementos. Sea S = {
y1 , ...
ym } un
subconjunto linealmente independiente de V que contenga exactamnte m elementos, donde m n. Entonces,
existe un subconjunto de S1 de que contiene exactamente n-m elementos, tales que: S S1 genera a V.
Cor 1: Sea V un espacio vectorial que tiene una base que contenga exactamente n elementos, entonces,
cualquier subconjunto linealmente indeendiente de V que contenga exactamente n elementos, es una base de
V.
Cor 2: Sea V un espacio vectorial que tiene una base con exactamente n elementos, entonces cualquer
subconjunto de V que contenga m
as de n elementos, es linealmente depediente. Consecuentemente, cualquier
subconjunto de V linealmente independiente contiene como maximo n elementos.
Cor 3: Sea V un espacio vectorial que tiene una base con exactamente n elementos, entonces toda base
para V, contendr
a exactamente, n elementos.